OFFSET
0,2
COMMENTS
Equivalently,
1) the number of n-colorings of the faces of the triakis icosahedron, which is the polyhedral dual of the truncated dodecahedron.
2) the number of n-colorings of the faces of the pentakis dodecahedron, or n-colorings of the vertices of the truncated icosahedron, its polyhedral dual.
3) the number of n-colorings of the faces of the deltoidal hexecontahedron, or n-colorings of the vertices of the rhombicosidodecahedron, its polyhedral dual.
Colorings are counted up to the full icosahedral symmetry group of order 120.
LINKS
Wikipedia, Deltoidal hexecontahedron
Wikipedia, Pentakis dodecahedron
Wikipedia, Rhombicosidodecahedron
Wikipedia, Triakis icosahedron
Wikipedia, Truncated dodecahedron
Wikipedia, Truncated icosahedron
FORMULA
a(n) = (1/120)*(n^60 + 15*n^32 + 16*n^30 + 20*n^20 + 24*n^12 + 20*n^10 + 24*n^6).
Asymptotically, a(n) ~ n^60/120.
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Peter Kagey, Nov 27 2024
STATUS
approved