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-5 of 5 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).

A338980 Number of oriented 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, 184614999414571937405905419562270, 249584763877004334779054488506782340719383629107224173, 245395425663663491880846922641400894840783985813370231599231766603156
Offset: 0

Views

Author

Robert A. Russell, Dec 13 2020

Keywords

Comments

Each chiral pair is counted as two when enumerating oriented arrangements. 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>120, 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 2*bp(20)/15 + bp(30)/5 + 2*bp(40)/15 + bp(50)/6 + 13*bp(60)/150 + bp(100)/180 + bp(104)/18 + 13*bp(120)/150 + bp(150)/120 + bp(200)/180 + bp(208)/18 + bp(300)/7200 + bp(302)/16 + bp(600)/7200.
For the 720 pentagonal faces of the 120-cell (edges of the 600-cell), the generating function is 2*bp(24)/15 + bp(36)/5 + 2*bp(48)/15 + bp(60)/6 + 7*bp(72)/150 + bp(76)/25 + 11*bp(120)/180 + 7*bp(144)/150 + bp(152)/25 + bp(180)/120 + 11*bp(240)/180 + bp(360)/7200 + bp(364)/16 + bp(720)/7200.
For the 1200 edges of the 120-cell (triangular faces of the 600-cell), the generating function is 2*bp(40)/15 + bp(60)/5 + 2*bp(80)/15 + bp(100)/6 + 13*bp(120)/150 + bp(200)/180 + bp(202)/18 + 13*bp(240)/150 + bp(300)/120 + bp(400)/180 + bp(404)/18 + bp(600)/7200 + bp(604)/16 + bp(1200)/7200.

Crossrefs

Cf. A338981 (unoriented), A338982 (chiral), A338983 (achiral), A338964 (up to n colors), A337895 (5-cell), A337952 (8-cell vertices, 16-cell facets), A337956 (16-cell vertices, 8-cell facets), A338948 (24-cell).

Programs

  • Mathematica
    bp[j_] := Sum[k! StirlingS2[j, k] x^k, {k, j}] (*binomial series*)
    CoefficientList[2bp[4]/15+bp[6]/5+2bp[8]/15+bp[10]/6+7bp[12]/150+bp[16]/25+bp[20]/180+bp[22]/18+7bp[24]/150+bp[30]/120+bp[32]/25+bp[40]/180+bp[44]/18+bp[60]/7200+bp[62]/16+bp[120]/7200,x]

Formula

A338964(n) = Sum_{j=1..Min(n,120)} a(n) * binomial(n,j).
a(n) = A338981(n) + A338982(n) = 2*A338981(n) - A338983(n) = 2*A338982(n) + A338983(n).
G.f.: 2*bp(4)/15 + bp(6)/5 + 2*bp(8)/15 + bp(10)/6 + 7*bp(12)/150 + bp(16)/25 + bp(20)/180 + bp(22)/18 + 7*bp(24)/150 + bp(30)/120 + bp(32)/25 + bp(40)/180 + bp(44)/18 + bp(60)/7200 + bp(62)/16 + bp(120)/7200, where bp(j) = Sum_{k=1..j} k! * S2(j,k) * x^k and S2(j,k) is the Stirling subset number, A008277.

A338981 Number of unoriented 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, 92307499707443390526727850063502, 124792381938502167392061689732085833655832902312754962, 122697712831831745940423467267565845711242845618544066030140191642464
Offset: 0

Views

Author

Robert A. Russell, Dec 13 2020

Keywords

Comments

Each chiral pair is counted as one when enumerating unoriented arrangements. 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>120, 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(20)/15 + bp(30)/10 + bp(40)/15 + bp(50)/12 + 43*bp(60)/300 + bp(66)/10 + bp(100)/360 + bp(104)/9 + bp(114)/12 + 13*bp(120)/300 + bp(150)/240 + bp(152)/8 + bp(200)/360 + bp(208)/36 + 61*bp(300)/14400 + bp(302)/32 + bp(330)/240 + bp(600)/14400.
For the 720 pentagonal faces of the 120-cell (edges of the 600-cell), the generating function is bp(24)/15 + bp(36)/10 + bp(48)/15 + bp(60)/12 + 7*bp(72)/300 + 3*bp(76)/25 + bp(84)/10 + 41*bp(120)/360 + bp(132)/12 + 7*bp(144)/300 + bp(152)/50 + bp(180)/240 + bp(182)/8 + 11*bp(240)/360 + 61*bp(360)/14400 + bp(364)/32 + bp(396)/240 + bp(720)/14400.
For the 1200 edges of the 120-cell (triangular faces of the 600-cell), the generating function is bp(40)/15 + bp(60)/10 + bp(80)/15 + bp(100)/12 + 43*bp(120)/300 + bp(128)/10 + bp(200)/360 + bp(202)/9 + bp(216)/12 + 13*bp(240)/300 + bp(300)/240 + bp(302)/8 + bp(400)/360 + bp(404)/36 + 61*bp(600)/14400 + bp(604)/32 + bp(640)/240 + bp(1200)/14400.

Crossrefs

Cf. A338980 (oriented), A338982 (chiral), A338983 (achiral), A338965 (up to n colors), A000389 (5-cell), A128767 (8-cell vertices, 16-cell facets), A337957 (16-cell vertices, 8-cell facets), A338949 (24-cell).

Programs

  • Mathematica
    bp[j_] := Sum[k! StirlingS2[j, k] x^k, {k, j}] (*binomial series*)
    CoefficientList[bp[4]/15+bp[6]/10+bp[8]/15+bp[10]/12+7bp[12]/300+bp[16]/50+bp[17]/10+bp[19]/10+bp[20]/360+bp[22]/36+bp[23]/12+7bp[24]/300+bp[27]/12+bp[30]/240+bp[31]/8+bp[32]/50+bp[40]/360+bp[44]/36+bp[60]/14400+bp[61]/240+bp[62]/32+bp[75]/240+bp[120]/14400,x]

Formula

A338965(n) = Sum_{j=1..Min(n,120)} a(n) * binomial(n,j).
a(n) = A338980(n) - A338982(n) = (A338980(n) + A338983(n)) / 2 = A338982(n) + A338983(n).
G.f.: bp(4)/15 + bp(6)/10 + bp(8)/15 + bp(10)/12 + 7bp(12)/300 + bp(16)/50 + bp(17)/10 + bp(19)/10 + bp(20)/360 + bp(22)/36 + bp(23)/12 + 7bp(24)/300 + bp(27)/12 + bp(30)/240 + bp(31)/8 + bp(32)/50 + bp(40)/360 + bp(44)/36 + bp(60)/14400 + bp(61)/240 + bp(62)/32 + bp(75)/240 + bp(120)/14400, where bp(j) = Sum_{k=1..j} k! * S2(j,k) * x^k and S2(j,k) is the Stirling subset number, A008277.

A338982 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, 0, 92307499707128546879177569498768, 124792381938502167386992798774696507063550726794469211, 122697712831831745940423455373835049129541140194826165569091574960692
Offset: 0

Views

Author

Robert A. Russell, Dec 13 2020

Keywords

Comments

Each member of a chiral pair is a reflection but not a rotation of the other. 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>120, 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(20)/15 + bp(30)/10 + bp(40)/15 + bp(50)/12 - 17*bp(60)/300 - bp(66)/10 + bp(100)/360 - bp(104)/18 - bp(114)/12 + 13*bp(120)/300 + bp(150)/240 - bp(152)/8 + bp(200)/360 + bp(208)/36 - 59*bp(300)/14400 + bp(302)/32 - bp(330)/240 + bp(600)/14400.
For the 720 pentagonal faces of the 120-cell (edges of the 600-cell), the generating function is bp(24)/15 + bp(36)/10 + bp(48)/15 + bp(60)/12 + 7*bp(72)/300 - 2*bp(76)/25 - bp(84)/10 - 19*bp(120)/360 - bp(132)/12 + 7*bp(144)/300 + bp(152)/50 + bp(180)/240 - bp(182)/8 + 11*bp(240)/360 - 59*bp(360)/14400 + bp(364)/32 - bp(396)/240 + bp(720)/14400.
For the 1200 edges of the 120-cell (triangular faces of the 600-cell), the generating function is bp(40)/15 + bp(60)/10 + bp(80)/15 + bp(100)/12 - 17*bp(120)/300 - bp(128)/10 + bp(200)/360 - bp(202)/18 - bp(216)/12 + 13*bp(240)/300 + bp(300)/240 - bp(302)/8 + bp(400)/360 + bp(404)/36 - 59*bp(600)/14400 + bp(604)/32 - bp(640)/240 + bp(1200)/14400.

Crossrefs

Cf. A338980 (oriented), A338981 (unoriented), A338983 (achiral), A338966 (up to n colors), A000389 (5-cell), A337954 (8-cell vertices, 16-cell facets), A234249 (16-cell vertices, 8-cell facets), A338950 (24-cell).

Programs

  • Mathematica
    bp[j_] := Sum[k! StirlingS2[j, k] x^k, {k, j}] (*binomial series*)
    CoefficientList[bp[4]/15+bp[6]/10+bp[8]/15+bp[10]/12+7bp[12]/300+bp[16]/50-bp[17]/10-bp[19]/10+bp[20]/360+bp[22]/36-bp[23]/12+7bp[24]/300-bp[27]/12+bp[30]/240-bp[31]/8+bp[32]/50+bp[40]/360+bp[44]/36+bp[60]/14400-bp[61]/240+bp[62]/32-bp[75]/240+bp[120]/14400,x]

Formula

A338966(n) = Sum_{j=2..Min(n,120)} a(n) * binomial(n,j).
a(n) = A338980(n) - A338981(n) = (A338980(n) - A338983(n)) / 2 = A338981(n) - A338983(n).
G.f.: bp(4)/15 + bp(6)/10 + bp(8)/15 + bp(10)/12 + 7*bp(12)/300 + bp(16)/50 - bp(17)/10 - bp(19)/10 + bp(20)/360 + bp(22)/36 - bp(23)/12 + 7*bp(24)/300 - bp(27)/12 + bp(30)/240 - bp(31)/8 + bp(32)/50 + bp(40)/360 + bp(44)/36 + bp(60)/14400 - bp(61)/240 + bp(62)/32 - bp(75)/240 + bp(120)/14400, where bp(j) = Sum_{k=1..j} k! * S2(j,k) * x^k and S2(j,k) is the Stirling subset number, A008277.

A338959 Number of achiral colorings of the 96 edges (or triangular faces) of the 4-D 24-cell using exactly n colors.

Original entry on oeis.org

1, 24124751133507582, 883287060135783817036973460, 27692672230411020835164184856095160, 18069944152044184972628509749308321354400, 1018093811663859334508633754250963606821400320
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 has 24 octahedral facets. It is self-dual. For n>60, a(n) = 0.

Crossrefs

Cf. A338956 (oriented), A338957 (unoriented), A338958 (chiral), A338955 (up to n colors), A338951 (vertices, facets), A331353 (5-cell), A331361 (8-cell edges, 16-cell faces), A331357 (16-cell edges, 8-cell faces), A338983 (120-cell, 600-cell).

Programs

  • Mathematica
    bp[j_] := Sum[k! StirlingS2[j, k] x^k, {k, 0, j}] (*binomial series*)
    Drop[CoefficientList[bp[16]/6+bp[18]/6+bp[20]/3+bp[24]/4+bp[48]/24+bp[52]/48+bp[60]/48,x],1]

Formula

A338955(n) = Sum_{j=1..Min(n,60)} a(n) * binomial(n,j).
a(n) = 2*A338957(n) - A338956(n) = A338956(n) - 2*A338958(n) = A338957(n) - A338958(n).
Showing 1-5 of 5 results.