OFFSET
0,3
COMMENTS
REFERENCES
E. B. Dynkin, Semisimple subalgebras of semisimple Lie algebras, Am. Math. Soc. Translations, Series 2, Vol. 6, 1957.
LINKS
Chao Ju, Chern-Simons Theory, Ehrhart Polynomials, and Representation Theory, arXiv:2304.11830 [math-ph], 2023. See p. 14.
Wikipedia, Hafnian
Wikipedia, Special unitary group
Wikipedia, Symmetric matrix
FORMULA
Conjecture: det(M(n)) = A000272(n+1).
The conjecture is true (see proof in Links). - Stefano Spezia, May 24 2023
EXAMPLE
a(2) = 17:
[4, 3, 2, 1]
[3, 6, 4, 2]
[2, 4, 6, 3]
[1, 2, 3, 4]
MATHEMATICA
M[i_, j_, n_]:=Part[Part[Table[Min[r, c](n+1)-r c, {r, n}, {c, n}], i], j]; a[n_]:=Sum[Product[M[Part[PermutationList[s, 2n], 2i-1], Part[PermutationList[s, 2n], 2i], 2n], {i, n}], {s, SymmetricGroup[2n]//GroupElements}]/(n!*2^n); Array[a, 6, 0]
PROG
(PARI) tm(n) = matrix(n, n, i, j, min(i, j)*(n + 1) - i*j);
a(n) = my(m = tm(2*n), s=0); forperm([1..2*n], p, s += prod(j=1, n, m[p[2*j-1], p[2*j]]); ); s/(n!*2^n); \\ Michel Marcus, May 02 2023
CROSSREFS
KEYWORD
nonn,hard,more
AUTHOR
Stefano Spezia, Apr 30 2023
EXTENSIONS
a(6) from Michel Marcus, May 02 2023
a(7)-a(10) from Pontus von Brömssen, Oct 15 2023
STATUS
approved