Tuesday, 19 June 2007

nt.number theory - Modular congruences related to sums of Catalan numbers

I am curious if somebody can be helpful concerning the following
experimental observation:



There exist two rational sequences alpha0,alpha1,dots and
beta0,beta1,dots, both with values in mathbbZ[1/3]
such that
sump1k=02kchoosekfrackjk+1equivalphaj+pbetajpmodp2
for every prime number pequiv1pmod6 and
sump1k=02kchoosekfrackjk+1equiv(1)jalphaj+pbetajpmodp2
for every prime number pequiv5pmod6.



(More precisely, the sequences 3nalphan and 3nbetan are seemingly integral.)



The sequence alpha0,alpha1,dots starts as
1,0,2/3,4/3,22/9,140/27,14,1316/27,17078/81,87860/81,1562042/243,31323292/729,dots
and the first terms beta0,beta1,dots are
0,0,2/3,2,14/3,34/3,98/3,350/3,1526/3,2622,46634/3,311734/3,2316158/3,18920018/3,dots



Let me end by remarking that one has as a special case a similar result when replacing Catalan numbers by central binomial coefficients.



Update: The existence of the sequence alphan is explained by the Zhi-Wei Sun paper,
see the answer by dke below.



Experimentally, the quotient sequence fracbetanalphan (defined for ngeq2)
seems to converge very quickly towards frac4sqrt3pi9=2.4183991523dots (the error is
smaller than 1078 for n=120).



The sequence fracalphan+1alphanfracalphanalphan1
converges perhaps (fairly slowly) towards something like .72dots.

No comments:

Post a Comment