OFFSET
1,2
COMMENTS
An achiral coloring is identical to its reflection. The Schläfli symbols for the tesseract and the hyperoctahedron are {4,3,3} and {3,3,4} respectively. Both figures are regular 4-D polyhedra and they are mutually dual. There are 192 elements in the automorphism group of the tesseract that are not in its rotation group. Each involves a permutation of the axes that can be associated with a partition of 4 based on the conjugacy class of the permutation. This table shows the hyperoctahedron facet (tesseract vertex) cycle indices for each member of such a class. The first formula is obtained by averaging these cycle indices after replacing x_i^j with n^j according to the Pólya enumeration theorem.
Partition Count Odd Cycle Indices
4 6 8x_1^2x_2^1x_4^3
31 8 8x_2^2x_6^2
22 3 8x_4^4
211 6 2x_1^8x_2^4 + 2x_2^8 + 4x_4^4
1111 1 8x_2^8
LINKS
Index entries for linear recurrences with constant coefficients, signature (13, -78, 286, -715, 1287, -1716, 1716, -1287, 715, -286, 78, -13, 1).
FORMULA
a(n) = n^4 * (3*n^8 + 5*n^4 + 12*n^2 + 28) / 48.
a(n) = 1*C(n,1) + 306*C(n,2) + 33207*C(n,3) + 921908*C(n,4) + 10359075*C(n,5) + 59584470*C(n,6) + 197644440*C(n,7) + 400752240*C(n,8) + 505197000*C(n,9) + 386694000*C(n,10) + 164656800*C(n,11) + 29937600*C(n,12), where the coefficient of C(n,k) is the number of achiral colorings using exactly k colors.
MATHEMATICA
Table[(3n^12+5n^8+12n^6+28n^4)/48, {n, 30}]
CROSSREFS
Other elements: A331361 (tesseract edges, hyperoctahedron faces), A331357 (tesseract faces, hyperoctahedron edges), A337958 (tesseract facets, hyperoctahedron vertices).
Other polychora: A132366(n-1) (4-simplex facets/vertices), A338951 (24-cell), A338967 (120-cell, 600-cell).
Row 4 of A325015 (orthoplex facets, orthotope vertices).
KEYWORD
nonn,easy
AUTHOR
Robert A. Russell, Oct 03 2020
STATUS
approved