login
This site is supported by donations to The OEIS Foundation.

 

Logo


Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A007757 Dwork-Kontsevich sequence evaluated at 2n. 3

%I

%S 1,2,36,144,1440,17280,241920,29030400,1567641600,156764160000,

%T 217275125760000,1738201006080000,45193226158080000,

%U 3796230997278720000,113886929918361600000,1822190878693785600000,22489479824838701875200000,28336744579296764362752000000,1076796294013277045784576000000,1679802218660712191423938560000000

%N Dwork-Kontsevich sequence evaluated at 2n.

%C For n positive, put A_n(z)= sum_j (nj)!/(j!^n) *z^j, B_n(z)= sum_j (nj)!/(j!^n) *z^j * (sum_{j<k<=jn} (1/k)) and let b(n) be the largest integer for which exp(B_n(z)/(b(n)A_n(z))) has integral coefficients. The sequence is b(2n).

%C A formula, conditional on a widely believed conjecture, can be found in the Krattenthaler-Rivoal paper; see Theorem 4 with k=1 and the remarks on top of page 8. Since Borcherds defined a sequence b(n), but then only entered b(2n) in the Encyclopedia, the formula has to be taken with n replaced by 2n. - Christian Krattenthaler (Christian.Krattenthaler(AT)univie.ac.at), Sep 12 2007

%H Christian Krattenthaler and Tanguy Rivoal, <a href="http://arxiv.org/abs/0709.1432">On the integrality of the Taylor coefficients of mirror maps</a>, preprint, arXiv:0709.1432 [math.NT], 2007-2009.

%e G.f. = x + 2*x^2 + 36*x^3 + 144*x^4 + 1440*x^5 + 17280*x^6 + 241920*x^7 + ...

%t a[n0_] := Module[{A, MM = 2, n = 2n0, c1, c2}, A = Exp[Sum[x^j (n j)!/ (j!^n) Sum[1/k, {k, j+1, j n}], {j, 0, MM}]/Sum[x^j (n j)!/(j!^n), {j, 0, MM}]]; c1 = SeriesCoefficient[A, {x, 0, 1}]; c2 = SeriesCoefficient[A, {x, 0, 2}]; GCD[c1, (c1 + c1^2)/2 - c2]];

%t Array[a, 20] (* _Jean-Fran├žois Alcover_, Dec 17 2018, from PARI *)

%o (PARI) {a(n) = my(A, MM=2, c1, c2); if(n<1, 0, n*=2; A = x * O(x^MM); A = exp( sum(j=0, MM, x^j * (n*j)! / (j!^n) * sum(k=j+1, j*n, 1/k), A) / sum(j=0, MM, x^j * (n*j)! / (j!^n), A)); c1 = polcoeff(A, 1); c2 = polcoeff(A, 2); gcd(c1, (c1 + c1^2)/2 - c2))}; /* _Michael Somos_, Nov 16 2006 */

%Y Cf. A131657, A131658, A056612.

%K nonn

%O 1,2

%A Richard E. Borcherds (reb(AT)math.berkeley.edu)

%E Definition in comment line, PARI code and terms of sequence corrected by Christian Krattenthaler (christian.krattenthaler(AT)univie.ac.at), Sep 30 2007

%E a(8) corrected by _Sean A. Irvine_, Jan 22 2018

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified July 20 05:43 EDT 2019. Contains 325168 sequences. (Running on oeis4.)