OFFSET
0,2
COMMENTS
Given that the eigenvalues of the adjacency matrix of the tesseract graph are: {4,2,0,-2,-4} and their multiplicities are defined by binomial(4,k) for k = 0..4 which results in {1,4,6,4,1}, and the characteristic polynomial is given by P(x) = Prod_{k=1..j} (x-lambda_k)^m_k with j=5, substitute the eigenvalues and their multiplicities as:
k | eigenvalue(lambda_k) | multiplicity(m_k) | term
---+----------------------+-------------------+---------
1 | 4 | 1 | (x-4)^1
2 | 2 | 4 | (x-2)^4
3 | 0 | 6 | (x)^6
4 | -2 | 4 | (x+2)^4
5 | -4 | 1 | (x+4)^1
This results in the characteristic polynomial:
P(x) = (x-4) * (x-2)^4 * (x)^6 * (x+2)^4 * (x+4).
Also all terms are a(n) = 0 mod 5.
LINKS
Paolo Xausa, Table of n, a(n) for n = 0..10000
Eric Weisstein's World of Mathematics, Characteristic Polynomial.
Eric Weisstein's World of Mathematics, Tesseract Graph.
Eric Weisstein's World of Mathematics, Graph Spectrum.
Wikipedia, Hypercube Graph.
FORMULA
a(n) = -4096*n^6 + 4352*n^8 - 1792*n^10 + 352*n^12 - 32*n^14 + n^16.
MATHEMATICA
PROG
(Python)
a = lambda n: (n**6)*(n**2-16)*(n**2-4)**4
print([a(n) for n in range(0, 19)])
CROSSREFS
KEYWORD
sign,easy
AUTHOR
Darío Clavijo, Jan 13 2025
STATUS
approved
