A338948 -id:A338948 - cp's OEIS frontend

A338964 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 subsets of a set of n colors.

1, 184614999414571937405905419562272, 249584763877004334779608333505026056531601345365910986, 245395425663664490219902430658740012166428009430164733569180712873472

Offset: 1

Robert A. Russell, Dec 04 2020

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. There are 7200 elements in the rotation group of the 120-cell. They divide into 41 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   Even Cycle Indices      Count   Even Cycle Indices
           1   x_1^120                   400   x_2^3x_6^19
         450   x_1^4x_2^58             20+20   x_6^20
           1   x_2^60                144+144   x_2^5x_10^11
         400   x_1^6x_3^38        4*12+2*144   x_10^12
       20+20   x_3^40                600+600   x_12^10
     144+144   x_1^10x_5^22            4*240   x_15^8
       30+30   x_4^30                  4*360   x_20^6
  4*12+2*144   x_5^24                  4*240   x_30^4
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   Even Cycle Indices      Count   Even Cycle Indices
           1   x_1^600                   400   x_2^6x_6^98
         450   x_1^4x_2^298            20+20   x_6^100
           1   x_2^300            4*12+4*144   x_10^60
         400   x_1^12x_3^196         600+600   x_12^50
       20+20   x_3^200                 4*240   x_15^40
       30+30   x_4^150                 4*360   x_20^30
  4*12+4*144   x_5^120                 4*240   x_30^20
The formula is (960*n^20 + 1440*n^30 + 960*n^40 + 1200*n^50 + 624*n^60 + 40*n^100 + 400*n^104 + 624*n^120 + 60*n^150 + 40*n^200 + 400*n^208 + n^300 + 450*n^302 + n^600) / 7200.
For the 720 pentagonal faces of the 120-cell (edges of the 600-cell), the cycle indices are:
       Count   Even Cycle Indices      Count   Even Cycle Indices
           1   x_1^720              2*20+400   x_6^120
         450   x_1^8x_2^356          144+144   x_2^5x_10^71
           1   x_2^360            4*12+2*144   x_10^72
    2*20+400   x_3^240               600+600   x_12^60
       30+30   x_4^180                 4*240   x_15^48
     144+144   x_1^10x_5^142           4*360   x_20^36
  4*12+2*144   x_5^144                 4*240   x_30^24
The formula is (960*n^24 + 1440*n^36 + 960*n^48 + 1200*n^60 + 336*n^72 + 288*n^76 + 440*n^120 + 336*n^144 + 288*n^152 + 60*n^180 + 440*n^240 + n^360 + 450*n^364 + n^720) / 7200.
For the 1200 edges of the 120-cell (triangular faces of the 600-cell), the cycle indices are:
       Count   Even Cycle Indices      Count   Even Cycle Indices
           1   x_1^1200                  400   x_2^3x_6^199
         450   x_1^8x_2^596            20+20   x_6^200
           1   x_2^600            4*12+4*144   x_10^120
         400   x_1^6x_3^398          600+600   x_12^100
       20+20   x_3^400                 4*240   x_15^80
       30+30   x_4^300                 4*360   x_20^60
  4*12+4*144   x_5^240                 4*240   x_30^40
The formula is (960*n^40 + 1440*n^60 + 960*n^80 + 1200*n^100 + 624*n^120 + 40*n^200 + 400*n^202 + 624*n^240 + 60*n^300 + 40*n^400 + 400*n^404 + n^600 + 450*n^604 + n^1200) / 7200.

Robert A. Russell, Table of n, a(n) for n = 1..30
Index entries for linear recurrences with constant coefficients, order 121.

Cf. A338965 (unoriented), A338966 (chiral), A338967 (achiral), A338980 (exactly n colors), A337895 (5-cell), A337952 (8-cell vertices, 16-cell facets), A337956(16-cell vertices, 8-cell facets), A338948 (24-cell).

Table[(960n^4+1440n^6+960n^8+1200n^10+336n^12+288n^16+40n^20+400n^22+336n^24+60n^30+288n^32+40n^40+400n^44 +n^60+450n^62 +n^120)/7200,{n,10}]

a(n)=(960*n^4+1440*n^6+960*n^8+1200*n^10+336*n^12+288*n^16+40*n^20+400*n^22+336*n^24+60*n^30+288*n^32+40*n^40+400*n^44+n^60+450*n^62+n^120)/7200 \\ Charles R Greathouse IV, Jul 05 2024

a(n) = (960*n^4 + 1440*n^6 + 960*n^8 + 1200*n^10 + 336*n^12 + 288*n^16 + 40*n^20 + 400*n^22 + 336*n^24 + 60* n^30 + 288*n^32 + 40*n^40 + 400*n^44 + n^60 + 450*n^62 + n^120) / 7200.
a(n) = Sum_{j=1..Min(n,120)} A338980(n) * binomial(n,j).
a(n) = A338965(n) + A338966(n) = 2*A338965(n) - A338967(n) = 2*A338966(n) + A338967(n).

A338949 Number of unoriented 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, 18736, 249563343, 245072692820, 51780391393325, 4114243321427946, 166320182540310771, 4099464588809407728, 69243270244113372390, 868065984969662449300, 8550173137863803682016, 69007957379144017626756

Offset: 1

Robert A. Russell, Nov 17 2020

Each chiral pair is counted as one when enumerating unoriented arrangements. The Schläfli symbol of the 24-cell is {3,4,3}. It is self-dual.

Robert A. Russell, Table of n, a(n) for n = 1..30
Index entries for linear recurrences with constant coefficients, signature (25, -300, 2300, -12650, 53130, -177100, 480700, -1081575, 2042975, -3268760, 4457400, -5200300, 5200300, -4457400, 3268760, -2042975, 1081575, -480700, 177100, -53130, 12650, -2300, 300, -25, 1).

Cf. A338948 (oriented), A338950 (chiral), A338951 (achiral), A338953 (edges, faces), A000389 (5-cell), A128767 (8-cell vertices, 16-cell facets), A337957 (16-cell vertices, 8-cell facets), A338965 (120-cell, 600-cell).

Table[(96n^2+144n^3+144n^4+140n^6+300n^7+120n^8+36n^9+45n^12+84n^13+18n^14+12n^15+12n^18+n^24)/1152,{n,15}]
LinearRecurrence[{25,-300,2300,-12650,53130,-177100,480700,-1081575,2042975,-3268760,4457400,-5200300,5200300,-4457400,3268760,-2042975,1081575,-480700,177100,-53130,12650,-2300,300,-25,1},{1,18736,249563343,245072692820,51780391393325,4114243321427946,166320182540310771,4099464588809407728,69243270244113372390,868065984969662449300,8550173137863803682016,69007957379144017626756,471182396311499869193288,2790108355121570273031710,14612960014479438426745050,68774495831757984888966336,294660451484256436406752191,1161683435155207577365494648,4252399462403852518286044405,14563558286595288907896687700,46968928774940328123724865031,143447144215320073513164583826,416884377543198363455158598933,1157756823443195554136397711600,3083952997773835021725260467500},20] (* Harvey P. Dale, Mar 24 2024 *)

a(n) = (96*n^2 + 144*n^3 + 144*n^4 + 140*n^6 + 300*n^7 + 120*n^8 + 36*n^9 + 45*n^12 + 84*n^13 + 18*n^14 + 12*n^15 + 12*n^18 + n^24) / 1152.
a(n) = 1*C(n,1) + 18734*C(n,2) + 249507138*C(n,3) + 244074551860*C(n,4) + 50557523375300*C(n,5) + 3807232072474470*C(n,6) + 138599298699649830*C(n,7) + 2881219380682352640*C(n,8) + 37996512548398853085*C(n,9) + 341001760994302265550*C(n,10) + 2186424231002014796100*C(n,11) + 10365985337974980021000*C(n,12) + 37236922591331944681200*C(n,13) + 103077062953464218018400*C(n,14) + 222282219864764987928000*C(n,15) + 375541967632270447008000*C(n,16) + 497391180994576316448000*C(n,17) + 513995707397665741248000*C(n,18) + 409785508676334510720000*C(n,19) + 247034122336026305280000*C(n,20) + 108861226736398456320000*C(n,21) + 33078014473191367680000*C(n,22) + 6193712343691192320000*C(n,23) + 538583682060103680000*C(n,24), where the coefficient of C(n,k) is the number of unoriented colorings using exactly k colors.
a(n) = A338948(n) - A338950(n) = (A338948(n) + A338951(n)) / 2 = A338950(n) + A338951(n).

A338950 Number of chiral pairs of 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

12232, 241146903, 243616903380, 51700252145825, 4112117375683170, 166286156041490247, 4099088542944703728, 69240138924298950135, 868045130573811864300, 8550057218442459279340, 69007402402972868503812

Offset: 2

Robert A. Russell, Nov 17 2020

Each member of a chiral pair is a reflection but not a rotation of the other. The Schläfli symbol of the 24-cell is {3,4,3}. It is self-dual.

Robert A. Russell, Table of n, a(n) for n = 2..30
Index entries for linear recurrences with constant coefficients, signature (25, -300, 2300, -12650, 53130, -177100, 480700, -1081575, 2042975, -3268760, 4457400, -5200300, 5200300, -4457400, 3268760, -2042975, 1081575, -480700, 177100, -53130, 12650, -2300, 300, -25, 1).

Cf. A338948 (oriented), A338949 (unoriented), A338951 (achiral), A338954 (edges, faces), A000389 (5-cell), A337954 (8-cell vertices, 16-cell facets), A234249(16-cell vertices, 8-cell facets), A338966 (120-cell, 600-cell).

Table[(96n^2+144n^3-48n^4-52n^6-228n^7-24n^8+36n^9+21n^12+60n^13+18n^14-12n^15-12n^18+n^24)/1152,{n,2,15}]

a(n) = (96*n^2 + 144*n^3 - 48*n^4 - 52*n^6 - 228*n^7 - 24*n^8 + 36*n^9 + 21*n^12 + 60*n^13 + 18*n^14 - 12*n^15 - 12*n^18 + n^24) / 1152.
a(n) = 12232*C(n,2) + 241110207*C(n,3) + 242652389160*C(n,4) + 50484578975635*C(n,5) + 3805565293604340*C(n,6) + 138578521555036815*C(n,7) + 2881060406691096840*C(n,8) + 37995709352029326765*C(n,9) + 340998954354320550750*C(n,10) + 2186417251809922893300*C(n,11) + 10365972799754686653000*C(n,12) + 37236906263669699386800*C(n,13) + 103077047681129825503200*C(n,14) + 222282209861028829512000*C(n,15) + 375541963275099452832000*C(n,16) + 497391179860822639392000*C(n,17) + 513995707264282955712000*C(n,18) + 409785508676334510720000*C(n,19) + 247034122336026305280000*C(n,20) + 108861226736398456320000*C(n,21) + 33078014473191367680000*C(n,22) + 6193712343691192320000*C(n,23) + 538583682060103680000*C(n,24), where the coefficient of C(n,k) is the number of chiral pairs of colorings using exactly k colors.
a(n) = A338948(n) - A338949(n) = (A338948(n) - A338951(n)) / 2 = A338949(n) - A338951(n).

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

Robert A. Russell, Nov 17 2020

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
   x_1^12x_2^6             72     x_2^2x_4^5
   x_1^6x_2^9              96     x_1^2x_2^2x_6^3
   x_1^2x_2^11             96     x_2^3x_3^2x_6^2
   x_2^12                  96     x_3^4x_6^2
   x_1^2x_2^1x_4^5         96     x_6^4

Robert A. Russell, Table of n, a(n) for n = 1..30
Index entries for linear recurrences with constant coefficients, signature (19, -171, 969, -3876, 11628, -27132, 50388, -75582, 92378, -92378, 75582, -50388, 27132, -11628, 3876, -969, 171, -19, 1).

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

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

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

A338952 Number of oriented colorings of the 96 edges (or triangular faces) of the 4-D 24-cell using subsets of a set of n colors.

Original entry on oeis.org

1, 137548893254081168086800768, 11046328890861011039111168376671536861388643, 10897746068379654103881579020805286236644252743361724416

Offset: 1

Robert A. Russell, Nov 17 2020

Each chiral pair is counted as two when enumerating oriented arrangements. The Schläfli symbol of the 24-cell is {3,4,3}. It has 24 octahedral facets. It is self-dual. There are 576 elements in the rotation group of the 24-cell. They divide into 20 conjugacy classes. The first formula is obtained by averaging the edge (or face) cycle indices after replacing x_i^j with n^j according to the Pólya enumeration theorem.
   Count   Even Cycle Indices      Count   Even Cycle Indices
       1   x_1^96              6+6+36+36   x_4^24
      72   x_1^4x_2^46                32   x_2^3x_6^15
    1+18   x_2^48                 8+8+32   x_6^16
      32   x_1^6x_3^30             72+72   x_8^12
  8+8+32   x_3^32                  48+48   x_12^8

Robert A. Russell, Table of n, a(n) for n = 1..30
Index entries for linear recurrences with constant coefficients, order 97.

Cf. A338953 (unoriented), A338954 (chiral), A338955 (achiral), A338956 (exactly n colors), A338948 (vertices, facets), A331350 (5-cell), A331358 (8-cell edges, 16-cell faces), A331354 (16-cell edges, 8-cell faces), A338964 (120-cell, 600-cell).

Table[(96n^8+144n^12+48n^16+32n^18+84n^24+48n^32+32n^36+19n^48+72n^50+n^96)/576,{n,15}]

a(n) = (96*n^8 + 144*n^12 + 48*n^16 + 32*n^18 + 84*n^24 + 48*n^32 + 32*n^36 + 19*n^48 + 72*n^50 + n^96) / 576.
a(n) = Sum_{j=1..Min(n,96)} A338956(n) * binomial(n,j).
a(n) = A338953(n) + A338954(n) = 2*A338953(n) - A338955(n) = 2*A338954(n) + A338955(n).

A337895 Number of oriented colorings of the tetrahedral facets (or vertices) of a regular 4-dimensional simplex using n or fewer colors.

Original entry on oeis.org

1, 6, 21, 56, 127, 258, 483, 848, 1413, 2254, 3465, 5160, 7475, 10570, 14631, 19872, 26537, 34902, 45277, 58008, 73479, 92114, 114379, 140784, 171885, 208286, 250641, 299656, 356091, 420762, 494543, 578368, 673233

Offset: 1

Robert A. Russell, Sep 28 2020

nonn

Each chiral pair is counted as two when enumerating oriented arrangements. Also called a 5-cell or pentachoron. The Schläfli symbol is {3,3,3}, and it has 5 tetrahedral facets (vertices).
There are 60 elements in the rotation group of the 4-dimensional simplex. Each is an even permutation of the vertices and can be associated with a partition of 5 based on the conjugacy class of the permutation. The first formula is obtained by averaging their cycle indices after replacing x_i^j with n^j according to the Pólya enumeration theorem.
  Partition  Count  Even Cycle Indices
  5          24     x_5^1
  311        20     x_1^2x_3^1
  221        15     x_1^1x_2^2
  11111      1      x_1^5

			For a(2)=6, the colors are AAAAA, AAAAB, AAABB, AABBB, ABBBB, and BBBBB.

Index entries for linear recurrences with constant coefficients, signature (6, -15, 20, -15, 6, -1).

Cf. A000389(n+4) (unoriented), A000389(chiral), A132366(n-1) (achiral), A331350 (edges, faces), A337952 (8-cell vertices, 16-cell facets), A337956(16-cell vertices, 8-cell facets), A338948 (24-cell), A338964 (120-cell, 600-cell).

Row 4 of A324999 (oriented colorings of facets or vertices of an n-simplex).

Table[n (24 + 35 n^2 + n^4)/60, {n, 40}]

a(n) = n * (24 + 35*n^2 + n^4) / 60.
a(n) = binomial[4+n,5] + binomial[n,5].
a(n) = 1*C(n,1) + 4*C(n,2) + 6*C(n,3) + 4*C(n,4) + 2*C(n,5), where the coefficient of C(n,k) is the number of oriented colorings using exactly k colors.
a(n) = A000389(n+4) + A000389(n) = 2*A000389(n+4) - A132366(n-1) = 2*A000389(n) + A132366(n-1).

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

Robert A. Russell, Oct 03 2020

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
        6      8x_8^2
       8      4x_1^4x_3^4 + 4x_2^2x_6^2
       3      4x_1^4x_2^6 + 4x_4^4
      6      4x_2^8 + 4x_4^4
     1      x_1^16 + 7x_2^8

Index entries for linear recurrences with constant coefficients, signature (17, -136, 680, -2380, 6188, -12376, 19448, -24310, 24310, -19448, 12376, -6188, 2380, -680, 136, -17, 1).

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

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

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

A337956 Number of oriented 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, 730, 3270, 11991, 37450, 102726, 253485, 573265, 1205556, 2384460, 4475926, 8031765, 13858860, 23106196, 37372545, 58837851, 90421570, 135971430, 200486286, 290376955, 413769126, 580852650, 804281725

Offset: 1

Robert A. Russell, Oct 03 2020

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.

Index entries for linear recurrences with constant coefficients, signature (9,-36,84,-126,126,-84,36,-9,1).

Cf. A337957 (unoriented), A234249(n+1) (chiral), A337958 (achiral).
Other elements: A331354 (hyperoctahedron edges, tesseract faces), A331358 (hyperoctahedron faces, tesseract edges), A337952 (hyperoctahedron facets, tesseract vertices).
Other polychora: A337895 (5-cell), A338948 (24-cell), A338964 (120-cell, 600-cell).
Row 4 of A325004 (orthotope facets, orthoplex vertices).

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

a(n) = binomial(binomial(n+1,2)+3,4) + binomial(binomial(n,2),4).
a(n) = n * (n+1) * (n^6 - n^5 + 7*n^4 + 29*n^3 + 16*n^2 - 4*n + 48) / 192.
a(n) = 1*C(n,1) + 13*C(n,2) + 84*C(n,3) + 312*C(n,4) + 735*C(n,5) + 1020*C(n,6) + 735*C(n,7) + 210*C(n,8), where the coefficient of C(n,k) is the number of oriented colorings using exactly k colors.
a(n) = A337957(n) + A234249(n+1) = 2*A337957(n) - A337958(n) = 2*A234249(n+1) + A337958(n).
From Stefano Spezia, Oct 04 2020: (Start)
G.f.: x*(1 + 6*x + 27*x^2 + 52*x^3 + 102*x^4 + 21*x^5 + x^6)/(1 - x)^9.
a(n) = 9*a(n-1)-36*a(n-2)+84*a(n-3)-126*a(n-4)+126*a(n-5)-84*a(n-6)+36*a(n-7)-9*a(n-8)+a(n-8) for n > 8.
(End)

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

Robert A. Russell, Dec 13 2020

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.

Robert A. Russell, Table of n, a(n) for n = 0..120

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

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]

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.

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

Original entry on oeis.org

1, 137548893254081168086800766, 11046328890861010626464488614428032600986342, 10897746068335468788318134977474134922662053604436974448, 21912802868317153141871319582922663027477920477404414535105616050

Offset: 1

Robert A. Russell, Nov 17 2020

nonn

Each chiral pair is counted as two when enumerating oriented arrangements. The Schläfli symbol of the 24-cell is {3,4,3}. It has 24 octahedral facets. It is self-dual. For n>96, a(n) = 0.

Robert A. Russell, Table of n, a(n) for n = 1..96

Cf. A338957 (unoriented), A338958 (chiral), A338959 (achiral), A338952 (up to n colors), A338948 (vertices, facets), A331350 (5-cell), A331358 (8-cell edges, 16-cell faces), A331354 (16-cell edges, 8-cell faces), A338980 (120-cell, 600-cell).

bp[j_] := Sum[k! StirlingS2[j, k] x^k, {k, 0, j}] (* binomial series *)
Drop[CoefficientList[bp[8]/6+bp[12]/4+bp[16]/12+bp[18]/18+7bp[24]/48+bp[32]/12+bp[36]/18+19bp[48]/576+bp[50]/8+bp[96]/576,x],1]

A338952(n) = Sum_{j=1..Min(n,96)} a(n) * binomial(n,j).

a(n) = A338957(n) + A338958(n) = 2*A338957(n) - A338959(n) = 2*A338958(n) + A338959(n).

cp's OEIS Frontend

A338964 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 subsets of a set of n colors.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

PARI

Formula

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

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

Formula

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

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

Formula

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.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

Formula

A338952 Number of oriented colorings of the 96 edges (or triangular faces) of the 4-D 24-cell using subsets of a set of n colors.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

Formula

A337895 Number of oriented colorings of the tetrahedral facets (or vertices) of a regular 4-dimensional simplex using n or fewer colors.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

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

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

Formula

A337956 Number of oriented colorings of the 8 cubic facets of a tesseract or of the 8 vertices of a hyperoctahedron.

Views

Author

Keywords

Comments

Links

Crossrefs