cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

Showing 1-8 of 8 results.

A338967 Number of achiral colorings of the 120 dodecahedral facets of the 4-D 120-cell (or 120 vertices of the 4-D 600-cell) using subsets of a set of n colors.

Original entry on oeis.org

1, 314843647550280564736, 5068890957390271123224826359979956, 11893730816857265534982913331475052373213184, 220581496716947452381892465686737251285705566406250
Offset: 1

Views

Author

Robert A. Russell, Dec 04 2020

Keywords

Comments

An achiral coloring is identical to its reflection. The Schläfli symbols of the 120-cell and 600-cell are {5,3,3} and {3,3,5} respectively. They are mutually dual. There are 7200 elements in the automorphism group of the 120-cell that are not in its rotation group. They divide into 9 conjugacy classes. The first formula is obtained by averaging the vertex (or facet) cycle indices after replacing x_i^j with n^j according to the Pólya enumeration theorem.
Count Odd Cycle Indices Count Odd Cycle Indices
60 x_1^30x_2^45 1200 x_1^2x_2^2x_6^19
60 x_1^2x_2^59 720+720 x_2^5x_5^6x_10^8
1800 x_2^2x_4^29 720+720 x_1^2x_2^4x_10^11
1200 x_2^3x_3^10x_6^14
Sequences for other elements of the 120-cell and 600-cell are not suitable for the OEIS as the first significant datum is too big. We provide formulas here.
For the 600 facets of the 600-cell (vertices of the 120-cell), the cycle indices are:
Count Odd Cycle Indices Count Odd Cycle Indices
60 x_1^60x_2^270 1200 x_2^6x_6^98
60 x_2^300 720+720 x_5^12x_10^54
1800 x_1^2x_2^1x_4^149 720+720 x_10^60
1200 x_2^6x_3^20x_6^88
The formula is (24*n^60 + 24*n^66 + 20*n^104 + 20*n^114 + 30*n^152 + n^300 + n^330) / 120.
For the 720 pentagonal faces of the 120-cell (edges of the 600-cell), the cycle indices are:
Count Odd Cycle Indices Count Odd Cycle Indices
60 x_1^72x_2^324 1200 x_6^120
60 x_2^360 720+720 x_1^2x_2^4x_5^14x_10^64
1800 x_2^4x_4^178 720+720 x_2^5x_10^71
1200 x_3^24x_6^108
The formula is (24*n^76 + 24*n^84 + 20*n^120 + 20*n^132 + 30*n^182 + n^360 + n^396) / 120.
For the 1200 edges of the 120-cell (triangular faces of the 600-cell), the cycle indices are:
Count Odd Cycle Indices Count Odd Cycle Indices
60 x_1^80x_2^560 1200 x_2^3x_6^199
60 x_2^600 720+720 x_5^16x_10^112
1800 x_2^4x_4^298 720+720 x_10^120
1200 x_1^2x_2^2x_3^26x_6^186
The formula is (24*n^120 + 24*n^128 + 20*n^202 + 20*n^216 + 30*n^302 + n^600 + n^640) / 120.

Crossrefs

Cf. A338964 (oriented), A338965 (unoriented), A338966 (chiral), A338983 (exactly n colors), A132366 (5-cell), A337955 (8-cell vertices, 16-cell facets), A337958(16-cell vertices, 8-cell facets), A338951 (24-cell).

Programs

  • Mathematica
    Table[(24n^17+24n^19+20n^23+20n^27+30n^31+n^61+n^75)/120,{n,10}]
  • PARI
    a(n)=(24*n^17+24*n^19+20*n^23+20*n^27+30*n^31+n^61+n^75)/120 \\ Charles R Greathouse IV, Jul 05 2024

Formula

a(n) = (24*n^17 + 24*n^19 + 20*n^23 + 20*n^27 + 30*n^31 + n^61 + n^75) / 120.
a(n) = Sum_{j=1..Min(n,75)} A338983(n) * binomial(n,j).
a(n) = 2*A338965(n) - A338964(n) =(A338964(n) - 2*A338966(n)) / 2 = A338965(n) - A338966(n).

A132366 Partial sum of centered tetrahedral numbers A005894.

Original entry on oeis.org

1, 6, 21, 56, 125, 246, 441, 736, 1161, 1750, 2541, 3576, 4901, 6566, 8625, 11136, 14161, 17766, 22021, 27000, 32781, 39446, 47081, 55776, 65625, 76726, 89181, 103096, 118581, 135750, 154721, 175616, 198561, 223686, 251125, 281016, 313501, 348726, 386841
Offset: 0

Views

Author

Jonathan Vos Post, Nov 09 2007

Keywords

Comments

From Robert A. Russell, Oct 09 2020: (Start)
a(n-1) is the number of achiral colorings of the 5 tetrahedral facets (or vertices) of a regular 4-dimensional simplex using n or fewer colors. An achiral arrangement is identical to its reflection. The 4-dimensional simplex is also called a 5-cell or pentachoron. Its Schläfli symbol is {3,3,3}.
There are 60 elements in the automorphism group of the 4-dimensional simplex that are not in its rotation group. Each is an odd permutation of the vertices and can be associated with a partition of 5 based on the conjugacy class of the permutation. The first formula for a(n-1) is obtained by averaging their cycle indices after replacing x_i^j with n^j according to the Pólya enumeration theorem.
Partition Count Odd Cycle Indices
41 30 x_1x_4^1
32 20 x_2^1x_3^1
2111 10 x_1^3x_2^1 (End)

Crossrefs

Cf. A337895 (oriented), A000389(n+4) (unoriented), A000389 (chiral), A331353 (5-cell edges, faces), A337955 (8-cell vertices, 16-cell facets), A337958 (16-cell vertices, 8-cell facets), A338951 (24-cell), A338967 (120-cell, 600-cell).
a(n-1) = A325001(4,n).

Programs

  • Mathematica
    Do[Print[n, " ", (n^4 + 4 n^3 + 11 n^2 + 14 n + 6)/6 ], {n, 0, 10000}]
    Accumulate[Table[(2n+1)(n^2+n+3)/3,{n,0,40}]] (* or *) LinearRecurrence[ {5,-10,10,-5,1},{1,6,21,56,125},40] (* Harvey P. Dale, Feb 26 2020 *)

Formula

a(n) = (n^4 + 4*n^3 + 11*n^2 + 14*n + 6)/6 = (n^2+2*n+6)*(n+1)^2/6.
G.f.: -(x+1)*(x^2+1) / (x-1)^5. - Colin Barker, May 04 2013
From Robert A. Russell, Oct 09 2020: (Start)
a(n-1) = n^2 * (5 + n^2) / 6.
a(n-1) = binomial(n+4,5) - binomial(n,5) = A000389(n+4) - A000389(n).
a(n-1) = 1*C(n,1) + 4*C(n,2) + 6*C(n,3) + 4*C(n,4), where the coefficient of C(n,k) is the number of achiral colorings using exactly k colors.
a(n-1) = 2*A000389(n+4) - A337895(n) = A337895(n) - 2*A000389(n) .
G.f. for a(n-1): x * (x+1) * (x^2+1) / (1-x)^5. (End)
From Amiram Eldar, Feb 14 2023: (Start)
Sum_{n>=0} 1/a(n) = Pi^2/5 + 3/25 - 3*Pi*coth(sqrt(5)*Pi)/(5*sqrt(5)).
Sum_{n>=0} (-1)^n/a(n) = Pi^2/10 - 3/25 + 3*Pi*cosech(sqrt(5)*Pi)/(5*sqrt(5)). (End)
a(n) = A006007(n) + A006007(n+1) = A002415(n) + A002415(n+2). - R. J. Mathar, Jun 05 2025

Extensions

Corrected offset, Mathematica program by Tomas J. Bulka (tbulka(AT)rodincoil.com), Sep 02 2009

A338951 Number of achiral colorings of the 24 octahedral facets (or 24 vertices) of the 4-D 24-cell using subsets of a set of n colors.

Original entry on oeis.org

1, 6504, 8416440, 1455789440, 80139247500, 2125945744776, 34026498820524, 376045864704000, 3131319814422255, 20854395850585000, 115919421344402676, 554976171149122944, 2343894146343268610, 8896568181794053320
Offset: 1

Views

Author

Robert A. Russell, Nov 17 2020

Keywords

Comments

An achiral coloring is identical to its reflection. The Schläfli symbol of the 24-cell is {3,4,3}. It is self-dual. There are 576 elements in the automorphism group of the 24-cell that are not in its rotation group. They divide into 10 conjugacy classes. The first formula is obtained by averaging the vertex (or facet) cycle indices after replacing x_i^j with n^j according to the Pólya enumeration theorem.
Count Odd Cycle Indices Count Odd Cycle Indices
12 x_1^12x_2^6 72 x_2^2x_4^5
12 x_1^6x_2^9 96 x_1^2x_2^2x_6^3
12 x_1^2x_2^11 96 x_2^3x_3^2x_6^2
12 x_2^12 96 x_3^4x_6^2
72 x_1^2x_2^1x_4^5 96 x_6^4

Crossrefs

Cf. A338948 (oriented), A338949 (unoriented), A338950 (chiral), A338955 (edges, faces), A132366 (5-cell), A337955 (8-cell vertices, 16-cell facets), A337958 (16-cell vertices, 8-cell facets), A338967 (120-cell, 600-cell).

Programs

  • Mathematica
    Table[(8n^4+8n^6+22n^7+6n^8+n^12+n^13+n^15+n^18)/48,{n,15}]

Formula

a(n) = (8*n^4 + 8*n^6 + 22*n^7 + 6*n^8 + n^12 + n^13 + n^15 + n^18) / 48.
a(n) = 1*C(n,1) + 6502*C(n,2) + 8396931*C(n,3) + 1422162700*C(n,4) + 72944399665*C(n,5) + 1666778870130*C(n,6) + 20777144613015*C(n,7) + 158973991255800*C(n,8) + 803196369526320*C(n,9) + 2806639981714800*C(n,10) + 6979192091902800*C(n,11) + 12538220293368000*C(n,12) + 16327662245294400*C(n,13) + 15272334392515200*C(n,14) + 10003736158416000*C(n,15) + 4357170994176000*C(n,16) + 1133753677056000*C(n,17) + 133382785536000*C(n,18), where the coefficient of C(n,k) is the number of achiral colorings using exactly k colors.
a(n) = 2*A338949(n) - A338948(n) = A338948(n) - 2*A338950(n) = A338949(n) - A338950(n).

A128767 Number of inequivalent n-colorings of the 4D hypercube under the full orthogonal group of the cube (of order 2^4*4! = 384).

Original entry on oeis.org

1, 402, 132102, 11756666, 405385550, 7416923886, 86986719477, 735192450952, 4834517667381, 26073250910950, 119759687845446, 481750080584202, 1733588303252702, 5673534527793146, 17109303241791825, 48047227408513056
Offset: 1

Views

Author

Ricardo Perez-Aguila (ricardo.perez.aguila(AT)gmail.com), Apr 04 2007

Keywords

Comments

I assume this refers to colorings of the vertices of the cube. - N. J. A. Sloane, Apr 06 2007
Number of unoriented colorings of the 16 tetrahedral facets of a hyperoctahedron or of the 16 vertices of a tesseract (4-D cube) using up to n colors. Each chiral pair is counted as one when enumerating unoriented arrangements. 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. - Robert A. Russell, Oct 03 2020

Examples

			a(2)=402 because there are 402 inequivalent 2-colorings of the 4D hypercube.
		

References

  • Banks, D. C.; Linton, S. A. & Stockmeyer, P. K. Counting Cases in Substitope Algorithms. IEEE Transactions on Visualization and Computer Graphics, Vol. 10, No. 4, pp. 371-384. 2004.
  • Perez-Aguila, Ricardo. Enumerating the Configurations in the n-Dimensional Orthogonal Polytopes Through Polya's Counting and A Concise Representation. Proceedings of the 3rd International Conference on Electrical and Electronics Engineering and XII Conference on Electrical Engineering ICEEE and CIE 2006, pp. 63-66.
  • Polya, G. & Read R. C. Combinatorial Enumeration of Groups, Graphs and Chemical Compounds. Springer-Verlag, 1987.

Crossrefs

Cf. A337952 (oriented), A337954 (chiral), A337955 (achiral).
Other elements: A331359 (tesseract edges, hyperoctahedron faces), A331355 (tesseract faces, hyperoctahedron edges), A337957 (tesseract facets, hyperoctahedron vertices).
Other polychora: A000389(n+4) (4-simplex facets/vertices), A338949 (24-cell), A338965 (120-cell, 600-cell).
Row 4 of A325013 (orthoplex facets, orthotope vertices).

Programs

  • Mathematica
    Table[(1/384)*( 48*n^2 + 180*n^4 + 48*n^6 + 83*n^8 + 12*n^10 + 12*n^12 + n^16),{n,30}]

Formula

a(n) = (1/384)*(48*n^2 + 180*n^4 + 48*n^6 + 83*n^8 + 12*n^10 + 12*n^12 + n^16)
G.f.: -x*(x +1)*(x^14 +384*x^13 +125020*x^12 +9439904*x^11 +213777216*x^10 +1821620108*x^9 +6527222787*x^8 +10098845160*x^7 +6527222787*x^6 +1821620108*x^5 +213777216*x^4 +9439904*x^3 +125020*x^2 +384*x +1) / (x -1)^17. [Colin Barker, Dec 04 2012]
From Robert A. Russell, Oct 03 2020: (Start)
a(n) = 1*C(n,1) + 400*C(n,2) + 130899*C(n,3) + 11230666*C(n,4) + 347919225*C(n,5) + 5158324560*C(n,6) + 43174480650*C(n,7) + 225086553300*C(n,8) + 775894225050*C(n,9) + 1831178115900*C(n,10) + 3008073915000*C(n,11) + 3439243962000*C(n,12) + 2685727044000*C(n,13) + 1366701336000*C(n,14) + 408648240000*C(n,15) + 54486432000*C(n,16), where the coefficient of C(n,k) is the number of unoriented colorings using exactly k colors.
a(n) = A337952(n) - A337954(n) = (A337952(n) + A337955(n)) / 2 = A337954(n) + A337955(n).
(End)

A337952 Number of oriented colorings of the 16 tetrahedral facets of a hyperoctahedron or of the 16 vertices of a tesseract.

Original entry on oeis.org

1, 496, 230076, 22456756, 795467350, 14697611496, 173107727191, 1466088119056, 9651378868011, 52083991149400, 239323201136866, 962942859342036, 3465720389989936, 11343525530430016, 34210497067620525
Offset: 1

Views

Author

Robert A. Russell, Oct 03 2020

Keywords

Comments

Each chiral pair is counted as two when enumerating oriented arrangements. 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 rotation group of the tesseract. 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 cycle indices for each rotation by partition. 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 Even Cycle Indices
4 6 8x_8^2
31 8 4x_1^4x_3^4 + 4x_2^2x_6^2
22 3 4x_1^4x_2^6 + 4x_4^4
211 6 4x_2^8 + 4x_4^4
1111 1 x_1^16 + 7x_2^8

Crossrefs

Cf. A128767 (unoriented), A337954 (chiral), A337955 (achiral).
Other elements: A331358 (tesseract edges, hyperoctahedron faces), A331354 (tesseract faces, hyperoctahedron edges), A337956 (tesseract facets, hyperoctahedron vertices).
Other polychora: A337895 (4-simplex facets/vertices), A338948 (24-cell), A338964 (120-cell, 600-cell).
Row 4 of A325012 (orthoplex facets, orthotope vertices).

Programs

  • Mathematica
    Table[(n^16+12n^10+63n^8+68n^4+48n^2)/192,{n,30}]

Formula

a(n) = n^2 * (n^14 + 12*n^8 + 63*n^6 + 68*n^2 + 48) / 192.
a(n) = 1*C(n,1) + 494*C(n,2) + 228591*C(n,3) + 21539424*C(n,4) + 685479375*C(n,5) + 10257064650*C(n,6) + 86151316860*C(n,7) + 449772354360*C(n,8) + 1551283253100*C(n,9) + 3661969537800*C(n,10) + 6015983173200*C(n,11) + 6878457986400*C(n,12) + 5371454088000*C(n,13) + 2733402672000*C(n,14) + 817296480000*C(n,15) + 108972864000*C(n,16), where the coefficient of C(n,k) is the number of oriented colorings using exactly k colors.
a(n) = A128767(n) + A337954(n) = 2*A128767(n) - A337955(n) = 2*A337954(n) + A337955(n).

A337954 Number of chiral pairs of colorings of the 16 tetrahedral facets of a hyperoctahedron or of the 16 vertices of a tesseract.

Original entry on oeis.org

0, 94, 97974, 10700090, 390081800, 7280687610, 86121007714, 730895668104, 4816861200630, 26010740238450, 119563513291420, 481192778757834, 1732132086737234, 5669991002636870, 17101193825828700, 48029634770843680
Offset: 1

Views

Author

Robert A. Russell, Oct 03 2020

Keywords

Comments

Each member of a chiral pair is a reflection, but not a rotation, of the other. 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.

Crossrefs

Cf. A337952 (oriented), A128767 (unoriented), A337955 (achiral).
Other elements: A331360 (tesseract edges, hyperoctahedron faces), A331356 (tesseract faces, hyperoctahedron edges), A234249(n+1) (tesseract facets, hyperoctahedron vertices).
Other polychora: A000389 (4-simplex facets/vertices), A338950 (24-cell), A338966 (120-cell, 600-cell).
Row 4 of A325014 (orthoplex facets, orthotope vertices).

Programs

  • Mathematica
    Table[(n^16-12n^12+12n^10+43n^8-48n^6-44n^4+48n^2)/384,{n, 30}]

Formula

a(n) = (n-1) * n^2 * (n+1) * (n^12 + n^10 - 11*n^8 + n^6 + 44 n^4 - 4 n^2 - 48) / 384.
a(n) = 94*C(n,2) + 97692*C(n,3) + 10308758*C(n,4) + 337560150*C(n,5) + 5098740090*C(n,6) + 42976836210*C(n,7) + 224685801060*C(n,8) + 775389028050*C(n,9) + 1830791421900*C(n,10) + 3007909258200*C(n,11) + 3439214024400*C(n,12) + 2685727044000*C(n,13) + 1366701336000*C(n,14) + 408648240000*C(n,15) + 54486432000*C(n,16), where the coefficient of C(n,k) is the number of chiral pairs of colorings using exactly k colors.
a(n) = A337952(n) - A128767(n) = (A337952(n) - A337955(n)) / 2 = A128767(n) - A337955(n).

A337958 Number of achiral colorings of the 8 cubic facets of a tesseract or of the 8 vertices of a hyperoctahedron.

Original entry on oeis.org

1, 15, 126, 700, 2850, 9261, 25480, 61776, 135675, 275275, 523446, 943020, 1623076, 2686425, 4298400, 6677056, 10104885, 14942151, 21641950, 30767100, 43008966, 59208325, 80378376, 107730000, 142699375, 186978051, 242545590
Offset: 1

Views

Author

Robert A. Russell, Oct 03 2020

Keywords

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.

Crossrefs

Cf. A337956 (oriented), A337956 (unoriented), A234249(n+1) (chiral).
Other elements: A331357 (hyperoctahedron edges, tesseract faces), A331361 (hyperoctahedron faces, tesseract edges), A337955 (hyperoctahedron facets, tesseract vertices).
Other polychora: A132366(n-1) (5-cell), A338951 (24-cell), A338967 (120-cell, 600-cell).
Row 4 of A325007 (orthotope facets, orthoplex vertices).

Programs

  • Mathematica
    Table[Binomial[Binomial[n+1,2]+3,4] - Binomial[Binomial[n,2],4],{n,30}]

Formula

a(n) = binomial(binomial(n+1,2)+3,4) - binomial(binomial(n,2),4).
a(n) = n^2 * (n+1)^2 * (n+3) * (n^2 -2n +4) / 48.
a(n) = 1*C(n,1) + 13*C(n,2) + 84*C(n,3) + 282*C(n,4) + 465*C(n,5) + 360*C(n,6) + 105*C(n,7), where the coefficient of C(n,k) is the number of achiral colorings using exactly k colors.
a(n) = 2*A337957(n) - A337956(n) = A337956(n) - 2 * A234249(n+1) = A337957(n) - A234249(n+1).
From Stefano Spezia, Oct 04 2020: (Start)
G.f.: x*(1 + 7*x + 34*x^2 + 56*x^3 + 8*x^4 - x^5)/(1 - x)^8.
a(n) = 8*a(n-1) - 28*a(n-2) + 56*a(n-3) - 70*a(n-4) + 56*a(n-5) - 28*a(n-6) + 8*a(n-7) - a(n-8) for n > 8.
(End)

A338983 Number of chiral pairs of colorings of the 120 dodecahedral facets of the 4-D 120-cell (or 120 vertices of the 4-D 600-cell) using exactly n colors.

Original entry on oeis.org

0, 1, 314843647550280564734, 5068890957389326592282175518285751, 11893730796581701705423717900461048616681772, 220581437248293418784474364671733389683204494492535
Offset: 0

Views

Author

Robert A. Russell, Dec 13 2020

Keywords

Comments

An achiral coloring is identical to its reflection. The Schläfli symbols of the 120-cell and 600-cell are {5,3,3} and {3,3,5} respectively. They are mutually dual. For n>75, a(n) = 0.
Sequences for other elements of the 120-cell and 600-cell are not suitable for the OEIS as the first significant datum is too big. We provide generating functions here using bp(j) = Sum_{k=1..j} k! * S2(j,k) * x^k.
For the 600 facets of the 600-cell (vertices of the 120-cell), the generating function is bp(60)/5 + bp(66)/5 + bp(104)/6 + bp(114)/6 + bp(152)/4 + bp(300)/120 + bp(330)/120.
For the 720 pentagonal faces of the 120-cell (edges of the 600-cell), the generating function is bp(76)/5 + bp(84)/5 + bp(120)/6 + bp(132)/6 + bp(182)/4 + bp(360)/120 + bp(396)/120.
For the 1200 edges of the 120-cell (triangular faces of the 600-cell), the generating function is bp(120)/5 + bp(128)/5 + bp(202)/6 + bp(216)/6 + bp(302)/4 + bp(600)/120 + bp(640)/120.

Crossrefs

Cf. A338980 (oriented), A338981 (unoriented), A338982 (chiral), A338967 (up to n colors), A132366 (5-cell), A337955 (8-cell vertices, 16-cell facets), A337958 (16-cell vertices, 8-cell facets), A338951 (24-cell).

Programs

  • Mathematica
    bp[j_] := Sum[k! StirlingS2[j, k] x^k, {k, j}] (*binomial series*)
    CoefficientList[bp[17]/5+bp[19]/5+bp[23]/6+bp[27]/6+bp[31]/4+bp[61]/120+bp[75]/120,x]

Formula

A338967(n) = Sum_{j=1..Min(n,75)} a(n) * binomial(n,j).
a(n) = 2*A338981(n) - A338980(n) = A338980(n) - 2*A338982(n) = A338981(n) - A338982(n).
G.f.: bp(17)/5 + bp(19)/5 + bp(23)/6 + bp(27)/6 + bp(31)/4 + bp(61)/120 + bp(75)/120, where bp(j) = Sum_{k=1..j} k! * S2(j,k) * x^k and S2(j,k) is the Stirling subset number, A008277.
Showing 1-8 of 8 results.