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
sump−1k=02kchoosekfrackjk+1equivalphaj+pbetajpmodp2
for every prime number pequiv1pmod6 and
sump−1k=02kchoosekfrackjk+1equiv−(−1)j−alphaj+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 10−78 for n=120).
The sequence fracalphan+1alphan−fracalphanalphan−1
converges perhaps (fairly slowly) towards something like −.72dots.
No comments:
Post a Comment