A331361 -id:A331361 - cp's OEIS frontend

A331359 Number of unoriented colorings of the edges of a tesseract with n available colors.

1, 11251322, 4825746875682, 48038446526132256, 60632984344185045000, 20725680132763499134746, 2876113738439693827763387, 206323339930086669420462592, 8941884949194537156253481511

Offset: 1

Robert A. Russell, Jan 14 2020

A tesseract is a regular 4-dimensional orthotope or hypercube with 16 vertices and 32 edges. Its Schläfli symbol is {4,3,3}. Two unoriented colorings are the same if congruent; chiral pairs are counted as one. Also the number of unoriented colorings of the triangular faces of a regular 4-dimensional orthoplex {3,3,4} with n available colors.

Index entries for linear recurrences with constant coefficients, signature (33, -528, 5456, -40920, 237336, -1107568, 4272048, -13884156, 38567100, -92561040, 193536720, -354817320, 573166440, -818809200, 1037158320, -1166803110, 1166803110, -1037158320, 818809200, -573166440, 354817320, -193536720, 92561040, -38567100, 13884156, -4272048, 1107568, -237336, 40920, -5456, 528, -33, 1)

Cf. A331358 (oriented), A331360 (chiral), A331361 (achiral).

Cf. A063843 (simplex), A331355 (orthoplex), A338953 (24-cell), A338965 (120-cell, 600-cell).

Table[(48n^4 + 64n^6 + 164n^8 + 32n^12 + 35n^16 + 24n^18 + 16n^20 + n^32)/384, {n, 1, 25}]

a(n) = (48*n^4 + 64*n^6 + 164*n^8 + 32*n^12 + 35*n^16 + 24*n^18 + 16*n^20 + n^32) / 384.
a(n) = C(n,1) + 11251320*C(n,2) + 4825713121719*C(n,3) + 48019143606137456*C(n,4) + 60392840368910627325*C(n,5) + 20362602706881512104770*C(n,6) + 2732305589004849709507320*C(n,7) + 183891356981584237730865120*C(n,8) + 7186781660980022442696996900*C(n,9) + 179941570950595830458653229400*C(n,10) + 3092495918800698593432175049200*C(n,11) + 38355721930679608007610435655200*C(n,12) + 356388702642082232961224416430400*C(n,13) + 2552262270629849366778056301033600*C(n,14) + 14398742619650679721666540905600000*C(n,15) + 65081946248235516086688061276416000*C(n,16) + 238774230958640327164289928460608000*C(n,17) + 718111905257279424242461614311808000*C(n,18) + 1783226074397879202567353905547520000*C(n,19) + 3674025240535453233878734112386560000*C(n,20) + 6297428247692138525542940292326400000*C(n,21) + 8984640042458034573900227275929600000*C(n,22) + 10651431202956156039912718487654400000*C(n,23) + 10448264801973961157855568414105600000*C(n,24) + 8418935641672774875938561280000000000*C(n,25) + 5510766716064148076659382317056000000*C(n,26) + 2882400456553496466714071801856000000*C(n,27) + 1175640370514915165746352603136000000*C(n,28) + 360177463966855890088916582400000000*C(n,29) + 77945658076061560043023564800000000*C(n,30) + 10621166594979816972895518720000000*C(n,31) + 685236554514826901477130240000000*C(n,32), where the coefficient of C(n,k) is the number of colorings using exactly k colors.
a(n) = A331358(n) - A331360(n) = (A331358(n) - A331361(n)) / 2 = A331360(n) + A331361(n).

A331360 Number of chiral pairs of colorings of the edges of a tesseract with n available colors.

Original entry on oeis.org

0, 11158298, 4825452718593, 48038354542204960, 60632976384183154375, 20725679827848535509690, 2876113731787568888218778, 206323339833986421110604288, 8941884948181243949620880070

Offset: 1

Robert A. Russell, Jan 14 2020

A tesseract is a regular 4-dimensional orthotope or hypercube with 16 vertices and 32 edges. Its Schläfli symbol is {4,3,3}. The chiral colorings of its edges come in pairs, each the reflection of the other. Also the number of chiral pairs of colorings of the triangular faces of a regular 4-dimensional orthoplex {3,3,4} with n available colors.

Index entries for linear recurrences with constant coefficients, signature (33, -528, 5456, -40920, 237336, -1107568, 4272048, -13884156, 38567100, -92561040, 193536720, -354817320, 573166440, -818809200, 1037158320, -1166803110, 1166803110, -1037158320, 818809200, -573166440, 354817320, -193536720, 92561040, -38567100, 13884156, -4272048, 1107568, -237336, 40920, -5456, 528, -33, 1).

Cf. A331358 (oriented), A331359 (unoriented), A331361 (achiral).

Cf. A331352 (simplex), A331356 (orthoplex), A338954 (24-cell), A338966 (120-cell, 600-cell).

Table[(48n^4 - 92n^8 + 32n^12 + 3n^16 + 24n^18 - 16n^20 + n^32)/384, {n, 1, 25}]

a(n) = (48*n^4 - 92*n^8 + 32*n^12 + 3*n^16 + 24*n^18 - 16*n^20 + n^32) / 384.
a(n) = 11158298*C(n,2) + 4825419243699*C(n,3) + 48019052798280376*C(n,4) + 60392832865887732525*C(n,5) + 20362602448352682660450*C(n,6) + 2732305584323178619545720*C(n,7) + 183891356930602707657018720*C(n,8) + 7186781660616776435004792900*C(n,9) + 179941570948806294173832581400*C(n,10) + 3092495918794375534919002047600*C(n,11) + 38355721930663201428803366004000*C(n,12) + 356388702642050543223746618030400*C(n,13) + 2552262270629803579790727658473600*C(n,14) + 14398742619650630430045069333120000*C(n,15) + 65081946248235477116326789514496000*C(n,16) + 238774230958640305192143667115328000*C(n,17) + 718111905257279415879360961204608000*C(n,18) + 1783226074397879200641306482407680000*C(n,19) + 3674025240535453233675992278371840000*C(n,20) + 6297428247692138525542940292326400000*C(n,21) + 8984640042458034573900227275929600000*C(n,22) + 10651431202956156039912718487654400000*C(n,23) + 10448264801973961157855568414105600000*C(n,24) + 8418935641672774875938561280000000000*C(n,25) + 5510766716064148076659382317056000000*C(n,26) + 2882400456553496466714071801856000000*C(n,27) + 1175640370514915165746352603136000000*C(n,28) + 360177463966855890088916582400000000*C(n,29) + 77945658076061560043023564800000000*C(n,30) + 10621166594979816972895518720000000*C(n,31) + 685236554514826901477130240000000*C(n,32), where the coefficient of C(n,k) is the number of colorings using exactly k colors.
a(n) = A331358(n) - A331359(n) = (A331358(n) - A331361(n)) / 2 = A331359(n) - A331361(n).

A331353 Number of achiral colorings of the edges (or triangular faces) of a regular 4-dimensional simplex with n available colors.

Original entry on oeis.org

1, 28, 387, 2784, 13125, 46836, 137543, 349952, 797769, 1667500, 3248971, 5973408, 10459917, 17571204, 28479375, 44742656, 68393873, 102041532, 148984339, 213340000, 300189141, 415735188, 567481047, 764423424

Offset: 1

Robert A. Russell, Jan 14 2020

A 4-dimensional simplex has 5 vertices and 10 edges. Its Schläfli symbol is {3,3,3}. An achiral coloring is identical to its reflection,
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 group 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  Odd Cycle Indices
  41         30     x_2^1x_4^2
  32         20     x_1^1x_3^1x_6^1
  2111       10     x_1^4x_2^3

Colin Barker, Table of n, a(n) for n = 1..1000
G. Royle, Partitions and Permutations
Index entries for linear recurrences with constant coefficients, signature (8,-28,56,-70,56,-28,8,-1).

Cf. A331350 (oriented), A063843 (unoriented), A331352 (chiral).
Other polychora: A331361 (8-cell), A331357 (16-cell), A338955 (24-cell), A338967 (120-cell, 600-cell).
Row 4 of A327086 (simplex edges and ridges) and A337886 (simplex faces and peaks).

Mathematica
```
Table[(5 n^3 + n^7)/6, {n, 1, 25}]
```

Vec(x*(1 + 20*x + 191*x^2 + 416*x^3 + 191*x^4 + 20*x^5 + x^6) / (1 - x)^8 + O(x^25)) \\ Colin Barker, Jan 15 2020

a(n) = (5*n^3 + n^7) / 6.
a(n) = C(n,1) + 26*C(n,2) + 306*C(n,3) + 1400*C(n,4) + 2800*C(n,5) + 2520*C(n,6) + 840*C(n,7), where the coefficient of C(n,k) is the number of colorings using exactly k colors.
a(n) = 2*A063843(n) - A331350(n) = A331350(n) - 2*A331352(n) = A063843(n) - A331352(n).
From Colin Barker, Jan 15 2020: (Start)
G.f.: x*(1 + 20*x + 191*x^2 + 416*x^3 + 191*x^4 + 20*x^5 + x^6) / (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)

A331357 Number of achiral colorings of the edges of a regular 4-dimensional orthoplex with n available colors.

Original entry on oeis.org

1, 8200, 9080559, 1503323520, 81461669375, 2146080958056, 34228350856910, 377534786525184, 3140004522270465, 20896479183085000, 116094911796177061, 555622588428635520, 2346039511676401359, 8903083257215729960

Offset: 1

Robert A. Russell, Jan 14 2020

A regular 4-dimensional orthoplex (also hyperoctahedron or cross polytope) has 8 vertices and 24 edges. Its Schläfli symbol is {3,3,4}. An achiral coloring is identical to its reflection. Also the number of achiral colorings of the square faces of a tesseract {4,3,3} with n available colors.
There are 192 elements in the automorphism group of the 4-dimensional orthoplex that are not in its rotation group. Each is associated with a partition of 4 based on the conjugacy group of the permutation of the axes. 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  Odd Cycle Indices
  4          6      8x_2^2x_4^5
  31         8      4x_3^4x_6^2 + 4x_6^4
  22         3      8x_1^2x_2^1x_4^5
  211        6      2x_1^2x_2^11 + 2x_1^6x_2^9 + 4x_2^2x_4^5
  1111       1      4x_1^12x_2^6 + 4x_2^12

G. Royle, Partitions and Permutations
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. A331354 (oriented), A331355 (unoriented), A331356 (chiral).
Other polychora: A331353 (5-cell), A331361 (8-cell), A338955 (24-cell), A338967 (120-cell, 600-cell).
Row 4 of A337414 (orthoplex edges, orthotope ridges) and A337890 (orthotope faces, orthoplex peaks).

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

a(n) = (8*n^4 + 8*n^6 + 18*n^7 + 6*n^8 + n^12 + 3*n^13 + 3*n^15 + n^18) / 48.
a(n) = C(n,1) + 8198*C(n,2) + 9055962*C(n,3) + 1467050480*C(n,4) + 74035775370*C(n,5) + 1679679306420*C(n,6) + 20864180531565*C(n,7) + 159341117375160*C(n,8) + 804216787965360*C(n,9) + 2808560520334800*C(n,10) + 6981656802951600*C(n,11) + 12540346820971200*C(n,12) + 16328843044113600*C(n,13) + 15272715797539200*C(n,14) + 10003790644848000*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 colorings using exactly k colors.
a(n) = 2*A331355(n) - A331354(n) = A331354(n) - 2*A331356(n) = A331355(n) - A331356(n).

A331358 Number of oriented colorings of the edges of a tesseract with n available colors.

Original entry on oeis.org

1, 22409620, 9651199594275, 96076801068337216, 121265960728368199375, 41451359960612034644436, 5752227470227262715982165, 412646679764073090531066880, 17883769897375781105874361581

Offset: 1

Robert A. Russell, Jan 14 2020

A tesseract is a regular 4-dimensional orthotope or hypercube with 16 vertices and 32 edges. Its Schläfli symbol is {4,3,3}. Two oriented colorings are the same if one is a rotation of the other; chiral pairs are counted as two. Also the number of oriented colorings of the triangular faces of a regular 4-dimensional orthoplex {3,3,4} with n available colors.
There are 192 elements in the rotation group of the tesseract. Each is associated with a partition of 4 based on the conjugacy group of the permutation of the axes. 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
  4          6      8x_8^4
  31         8      4x_1^2x_3^10 + 4x_2^1x_6^5
  22         3      4x_2^16 + 4x_4^8
  211        6      4x_1^4x_2^14 + 4x_4^8
  1111       1      x_1^32 + 7x_2^16

G. Royle, Partitions and Permutations
Index entries for linear recurrences with constant coefficients, signature (33, -528, 5456, -40920, 237336, -1107568, 4272048, -13884156, 38567100, -92561040, 193536720, -354817320, 573166440, -818809200, 1037158320, -1166803110, 1166803110, -1037158320, 818809200, -573166440, 354817320, -193536720, 92561040, -38567100, 13884156, -4272048, 1107568, -237336, 40920, -5456, 528, -33, 1).

Cf. A331359 (unoriented), A331360 (chiral), A331361 (achiral).

Cf. A331350 (simplex), A331354 (orthoplex), A338952 (24-cell), A338964 (120-cell, 600-cell).

Table[(48n^4 + 32n^6 + 36n^8 + 32n^12 + 19n^16 + 24n^18 + n^32)/192, {n, 1, 25}]

a(n) = (48*n^4 + 32*n^6 + 36*n^8 + 32*n^12 + 19*n^16 + 24*n^18 + n^32) / 192.
a(n) = C(n,1) + 22409618*C(n,2) + 9651132365418*C(n,3) + 96038196404417832*C(n,4) + 120785673234798359850*C(n,5) + 40725205155234194765220*C(n,6) + 5464611173328028329053040*C(n,7) + 367782713912186945387883840*C(n,8) + 14373563321596798877701789800*C(n,9) + 359883141899402124632485810800*C(n,10) + 6184991837595074128351177096800*C(n,11) + 76711443861342809436413801659200*C(n,12) + 712777405284132776184971034460800*C(n,13) + 5104524541259652946568783959507200*C(n,14) + 28797485239301310151711610238720000*C(n,15) + 130163892496470993203014850790912000*C(n,16) + 477548461917280632356433595575936000*C(n,17) + 1436223810514558840121822575516416000*C(n,18) + 3566452148795758403208660387955200000*C(n,19) + 7348050481070906467554726390758400000*C(n,20) + 12594856495384277051085880584652800000*C(n,21) + 17969280084916069147800454551859200000*C(n,22) + 21302862405912312079825436975308800000*C(n,23) + 20896529603947922315711136828211200000*C(n,24) + 16837871283345549751877122560000000000*C(n,25) + 11021533432128296153318764634112000000*C(n,26) + 5764800913106992933428143603712000000*C(n,27) + 2351280741029830331492705206272000000*C(n,28) + 720354927933711780177833164800000000*C(n,29) + 155891316152123120086047129600000000*C(n,30) + 21242333189959633945791037440000000*C(n,31) + 1370473109029653802954260480000000*C(n,32), where the coefficient of C(n,k) is the number of colorings using exactly k colors.
a(n) = A331359(n) + A331360(n) = 2*A331359(n) - A331361(n) = 2*A331360(n) + A331361(n).

A338955 Number of achiral 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, 24124751133507584, 883287060208158070437496209, 27692675763559261523047959805034496, 18070082615414169898334284655914306640625, 1018202231744161700740376040914469837333037056

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 has 24 octahedral facets. 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 edge (or face) 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^24x_2^36             96    x_1^2x_2^2x_3^2x_6^14
     12    x_1^8x_2^44              96    x_3^8x_6^12
  12+12    x_3^48                   96    x_2^3x_6^15
  72+72    x_4^24                   96    x_6^16

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

Cf. A338952 (oriented), A338953 (unoriented), A338954 (chiral), A338959 (exactly n colors), A338951 (vertices, facets), A331353 (5-cell), A331361 (8-cell edges, 16-cell faces), A331357 (16-cell edges, 8-cell faces), A338967 (120-cell, 600-cell).

Table[(8n^16+8n^18+16n^20+12n^24+2n^48+n^52+n^60)/48,{n,15}]

a(n) = (8*n^16 + 8*n^18 + 16*n^20 + 12*n^24 + 2*n^48 + n^52 + n^60) / 48.
a(n) = Sum_{j=1..Min(n,60)} A338959(n) * binomial(n,j).
a(n) = 2*A338953(n) - A338952(n) = A338952(n) - 2*A338954(n) = A338953(n) - A338954(n).

A337410 Array read by descending antidiagonals: T(n,k) is the number of achiral colorings of the edges of a regular n-dimensional orthotope (hypercube) using k or fewer colors.

Original entry on oeis.org

1, 2, 1, 3, 6, 1, 4, 18, 70, 1, 5, 40, 1407, 93024, 1, 6, 75, 12480, 294157089, 47823602694208, 1, 7, 126, 69050, 91983927296, 67514530382043163023924, 443077371786837979607993095063601152, 1

Offset: 1

Robert A. Russell, Aug 26 2020

An achiral arrangement is identical to its reflection. For n=1, the figure is a line segment with one edge. For n=2, the figure is a square with 4 edges. For n=3, the figure is a cube with 12 edges. The number of edges is n*2^(n-1).

Also the number of achiral colorings of the regular (n-2)-dimensional simplexes in a regular n-dimensional orthoplex.

			Table begins with T(1,1):
1  2    3     4     5      6      7       8       9       10 ...
1  6   18    40    75    126    196     288     405      550 ...
1 70 1407 12480 69050 281946 931490 2632512 6598935 15041950 ...
For T(2,2)=6, the arrangements are AAAA, AAAB, AABB, ABAB, ABBB, and BBBB.

K. Balasubramanian, Computational enumeration of colorings of hyperplanes of hypercubes for all irreducible representations and applications, J. Math. Sci. & Mod. 1 (2018), 158-180.

Cf. A337407 (oriented), A337408 (unoriented), A337409 (chiral).
Rows 1-4 are A000027, A002411, A331351, A331361.
Cf. A327086 (simplex edges), A337414 (orthoplex edges), A325015 (orthotope vertices).

m=1; (* dimension of color element, here an edge *)
Fi1[p1_] := Module[{g, h}, Coefficient[Product[g = GCD[k1, p1]; h = GCD[2 k1, p1]; (1 + 2 x^(k1/g))^(r1[[k1]] g) If[Divisible[k1, h], 1, (1+2x^(2 k1/h))^(r2[[k1]] h/2)], {k1, Flatten[Position[cs, n1_ /; n1 > 0]]}], x, n - m]];
FiSum[] := (Do[Fi2[k2] = Fi1[k2], {k2, Divisors[per]}];DivisorSum[per, DivisorSum[d1 = #, MoebiusMu[d1/#] Fi2[#] &]/# &]);
CCPol[r_List] := (r1 = r; r2 = cs - r1; If[EvenQ[Sum[If[EvenQ[j3], r1[[j3]], r2[[j3]]], {j3,n}]],0,(per = LCM @@ Table[If[cs[[j2]] == r1[[j2]], If[0 == cs[[j2]],1,j2], 2j2], {j2,n}]; Times @@ Binomial[cs, r1] 2^(n-Total[cs]) b^FiSum[])]);
PartPol[p_List] := (cs = Count[p, #]&/@ Range[n]; Total[CCPol[#]&/@ Tuples[Range[0,cs]]]);
pc[p_List] := Module[{ci, mb}, mb = DeleteDuplicates[p]; ci = Count[p, #]&/@ mb; n!/(Times@@(ci!) Times@@(mb^ci))] (*partition count*)
row[n_Integer] := row[n] = Factor[(Total[(PartPol[#] pc[#])&/@ IntegerPartitions[n]])/(n! 2^(n-1))]
array[n_, k_] := row[n] /. b -> k
Table[array[n,d+m-n], {d,7}, {n,m,d+m-1}] // Flatten

The algorithm used in the Mathematica program below assigns each permutation of the axes to a partition of n and then considers separate conjugacy classes for axis reversals. It uses the formulas in Balasubramanian's paper. If the value of m is increased, one can enumerate colorings of higher-dimensional elements beginning with T(m,1).

T(n,k) = 2*A337408(n,k) - A337407(n,k) = A337407(n,k) - 2*A337409(n,k) = A337408(n,k) - A337409(n,k).

A337955 Number of achiral colorings of the 16 tetrahedral facets of a hyperoctahedron or of the 16 vertices of a tesseract.

Original entry on oeis.org

1, 308, 34128, 1056576, 15303750, 136236276, 865711763, 4296782848, 17656466751, 62510672500, 196174554026, 557301826368, 1456216515468, 3543525156276, 8109415963125, 17592637669376, 36414622551373

Offset: 1

Robert A. Russell, Oct 03 2020

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

Index entries for linear recurrences with constant coefficients, signature (13, -78, 286, -715, 1287, -1716, 1716, -1287, 715, -286, 78, -13, 1).

Cf. A337952 (oriented), A128767 (unoriented), A337954 (chiral).
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).

Table[(3n^12+5n^8+12n^6+28n^4)/48,{n,30}]

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.
a(n) = 2*A128767(n) - A337952(n) = A337952(n) - 2*A337954(n) = A128767(n) - A337954(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

Robert A. Russell, Oct 03 2020

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.

Index entries for linear recurrences with constant coefficients, signature (8,-28,56,-70,56,-28,8,-1).

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

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

A337894 Array read by descending antidiagonals: T(n,k) is the number of achiral colorings of the faces of a regular n-dimensional orthoplex (cross polytope) using k or fewer colors.

Original entry on oeis.org

1, 2, 1, 3, 21, 1, 4, 201, 93024, 1, 5, 1076, 294157089, 199556208371776, 1, 6, 4025, 91983927296, 1370366433970979158839987, 346179533768149850758531729588224, 1

Offset: 2

Robert A. Russell, Sep 28 2020

An achiral arrangement is identical to its reflection. For n=2, the figure is a square with one square face. For n=3, the figure is an octahedron with 8 triangular faces. For higher n, the number of triangular faces is 8*C(n,3).

Also the number of achiral colorings of the peaks of an n-dimensional orthotope (hypercube). A peak is an (n-3)-dimensional orthotope.

			Table begins with T(2,1):
1     2         3           4             5               6 ...
1    21       201        1076          4025           11901 ...
1 93024 294157089 91983927296 7960001890625 304914963625056 ...

K. Balasubramanian, Computational enumeration of colorings of hyperplanes of hypercubes for all irreducible representations and applications, J. Math. Sci. & Mod. 1 (2018), 158-180.

Cf. A337891 (oriented), A337892 (unoriented), A337893 (chiral).
Other elements: A325007 (vertices), A337414 (edges).
Other polytopes: A337886 (simplex), A337890 (orthotope).
Rows 2-4 are A000027, A337897, A331361.

m=2; (* dimension of color element, here a face *)
Fi1[p1_] := Module[{g, h}, Coefficient[Product[g = GCD[k1, p1]; h = GCD[2 k1, p1]; (1 + 2 x^(k1/g))^(r1[[k1]] g) If[Divisible[k1, h], 1, (1+2x^(2 k1/h))^(r2[[k1]] h/2)], {k1, Flatten[Position[cs, n1_ /; n1 > 0]]}], x, m+1]];
FiSum[] := (Do[Fi2[k2] = Fi1[k2], {k2, Divisors[per]}];DivisorSum[per, DivisorSum[d1 = #, MoebiusMu[d1/#] Fi2[#] &]/# &]);
CCPol[r_List] := (r1 = r; r2 = cs - r1; If[EvenQ[Sum[If[EvenQ[j3], r1[[j3]], r2[[j3]]], {j3,n}]],0,(per = LCM @@ Table[If[cs[[j2]] == r1[[j2]], If[0 == cs[[j2]],1,j2], 2j2], {j2,n}]; Times @@ Binomial[cs, r1] 2^(n-Total[cs]) b^FiSum[])]);
PartPol[p_List] := (cs = Count[p, #]&/@ Range[n]; Total[CCPol[#]&/@ Tuples[Range[0,cs]]]);
pc[p_List] := Module[{ci, mb}, mb = DeleteDuplicates[p]; ci = Count[p, #]&/@ mb; n!/(Times@@(ci!) Times@@(mb^ci))] (*partition count*)
row[m]=b;
row[n_Integer] := row[n] = Factor[(Total[(PartPol[#] pc[#])&/@ IntegerPartitions[n]])/(n! 2^(n-1))]
array[n_, k_] := row[n] /. b -> k
Table[array[n,d+m-n], {d,7}, {n,m,d+m-1}] // Flatten

The algorithm used in the Mathematica program below assigns each permutation of the axes to a partition of n and then considers separate conjugacy classes for axis reversals. It uses the formulas in Balasubramanian's paper. If the value of m is increased, one can enumerate colorings of higher-dimensional elements beginning with T(m,1).

T(n,k) = 2*A337892(n,k) - A337891(n,k) = A337891(n,k) - 2*A337893(n,k) = A337892(n,k) - A337893(n,k).

cp's OEIS Frontend

A331359 Number of unoriented colorings of the edges of a tesseract with n available colors.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

Formula

A331360 Number of chiral pairs of colorings of the edges of a tesseract with n available colors.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

Formula

A331353 Number of achiral colorings of the edges (or triangular faces) of a regular 4-dimensional simplex with n available colors.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A331357 Number of achiral colorings of the edges of a regular 4-dimensional orthoplex with n available colors.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

Formula

A331358 Number of oriented colorings of the edges of a tesseract with n available colors.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

Formula

A338955 Number of achiral 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

A337410 Array read by descending antidiagonals: T(n,k) is the number of achiral colorings of the edges of a regular n-dimensional orthotope (hypercube) using k or fewer colors.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

A337955 Number of achiral colorings of the 16 tetrahedral facets of a hyperoctahedron or of the 16 vertices of a tesseract.

Views

Author

Keywords

Comments

Links

Crossrefs