OFFSET
2,2
COMMENTS
If M is the n X n matrix filled with ones, a(n) is the upper left element of (M-Id)^n.
This is the middle primitive Betti number of Dwork hypersurfaces, see Theorem 2.2 in Goutet reference with d=n. - F. Chapoton, Sep 12 2025
The formula implies that a(p+1) is divisible by p for every odd prime p, and the quotients are A056852. - F. Chapoton, Sep 13 2025
LINKS
Philippe Goutet, Isotypic Decomposition of the Cohomology and Factorization of the Zeta Functions of Dwork Hypersurfaces, arXiv:0912.2075 [math.NT], 2009.
FORMULA
a(n) = floor((n-1)^n/n) + ((-1)^n+1)/2.
a(n) = floor((n-1)^n/n)+1 for n odd, a(n) = floor((n-1)^n/n) for n even.
a(n) = ((n-1)^n+(-1)^n*(n-1)) / n. - F. Chapoton, Sep 12 2025
EXAMPLE
In a complete graph in 5 nodes, there are 204 different cycles with a length of 5, from a point to itself.
PROG
(SageMath)
[((n-1)**n+(-1)**n*(n-1)) / n for n in range(2, 21)]
CROSSREFS
KEYWORD
easy,nonn
AUTHOR
Sébastien Dumortier, Dec 18 2012
STATUS
approved
