OFFSET
1,2
COMMENTS
a(2) + 1 = 3 is prime. a(3) - 1 = 53 is prime. a(5) - 1 = 98999 is prime. a(7) + 1 = 655678801 is prime. a(8) - 1 = 80103945599 is prime, and part of a twin prime, as a(8) + 1 = 80103945601 is prime. a(13) - 1 = 49191138900262719359999 is prime. - Jonathan Vos Post, Sep 01 2009
This seems to be the coefficient of t^2 in the quantum periods of some Fano manifolds, namely the generic hypersurface of degree n in the projective space P^n. For the generic quadric in P^2, the quantum period starts 1 + 2*t^2 + 6*t^4 + O(t^5). See page 36 of Coates et al. reference for the number 99000 in case n=5. - F. Chapoton, May 06 2026
LINKS
Alois P. Heinz, Table of n, a(n) for n = 1..238 (first 50 terms from T. D. Noe)
T. Coates, A. Kasprzyk and T. Prince, Four-Dimensional Fano Toric Complete Intersections, arXiv:1409.5030 [math.AG], 2014.
Eric Weisstein's World of Mathematics, Lattice Path
FORMULA
a(n) = (2n)!/2^n - (n!)^2.
MAPLE
a:= proc(n) option remember; `if`(n<3, (n-1)*n,
n*((3*n^2-7*n+3)*a(n-1)-(2*n-3)*(n-1)^3*a(n-2))/(n-2))
end:
seq(a(n), n=1..20); # Alois P. Heinz, Apr 26 2013
MATHEMATICA
Table[(2n)!/2^n-(n!)^2, {n, 10}]
PROG
(SageMath)
[factorial(2*n)//(2**n) - factorial(n)**2 for n in range(1, 20)]
CROSSREFS
KEYWORD
easy,nice,nonn
AUTHOR
T. D. Noe, Jun 06 2002
EXTENSIONS
More terms from Harvey P. Dale, May 26 2011
STATUS
approved
