A047780 -id:A047780 - cp's OEIS frontend

A100790 First differences of A047780.

1, 9, 47, 183, 560, 1426, 3164, 6322, 11643, 20095, 32901, 51569, 77922, 114128, 162730, 226676, 309349, 414597, 546763, 710715, 911876, 1156254, 1450472, 1801798, 2218175, 2708251, 3281409, 3947797, 4718358, 5604860

Offset: 0

N. J. A. Sloane, Jan 04 2005

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

Differences[CoefficientList[Series[x (1+3x+8x^2+16x^3+2x^4)/(1-x)^7,{x,0,50}],x]] (* or *) LinearRecurrence[{6,-15,20,-15,6,-1},{1,9,47,183,560,1426},50] (* Harvey P. Dale, Dec 18 2013 *)

a(n)=(n+1)(6*n^4+9*n^3+23*n^2+46*n+24)/24 \\ Charles R Greathouse IV, Oct 21 2022

(1/24)(n+1)(6n^4+9n^3+23n^2+46n+24). - Ralf Stephan, May 16 2007

a(0)=1, a(1)=9, a(2)=47, a(3)=183, a(4)=560, a(5)=1426, a(n)= 6*a(n-1)- 15*a(n-2)+ 20*a(n-3)-15*a(n-4)+6*a(n-5)-a(n-6). - Harvey P. Dale, Dec 18 2013

A060530 Number of inequivalent ways to color edges of a cube using at most n colors.

Original entry on oeis.org

0, 1, 218, 22815, 703760, 10194250, 90775566, 576941778, 2863870080, 11769161895, 41669295250, 130772947481, 371513523888, 970769847320, 2362273657030, 5406141568500, 11728193258496, 24276032182173, 48201464902410, 92221684354915

Offset: 0

N. J. A. Sloane, Apr 11 2001

Here inequivalent means under the action of the rotation group of the cube, of order 24, which in its action on the edges has cycle index (x1^12 + 3*x2^6 + 6*x4^3 + 6*x1^2*x2^5 + 8*x3^4)/24.
Also, number of inequivalent colorings of the edges of a regular octahedron using at most n colors. - José H. Nieto S., Jan 19 2012
From Robert A. Russell, Oct 08 2020: (Start)
Each chiral pair is counted as two when enumerating oriented arrangements. The Schläfli symbols for the regular octahedron and cube are {3,4} and {4,3} respectively. They are mutually dual.
There are 24 elements in the rotation group of the regular octahedron/cube. They divide into five conjugacy classes. The first formula is obtained by averaging the edge cycle indices after replacing x_i^j with n^j according to the Pólya enumeration theorem.
  Conjugacy Class    Count    Even Cycle Indices
  Identity              1     x_1^12
  Vertex rotation       8     x_3^4
  Edge rotation         6     x_1^2x_2^5
  Small face rotation   6     x_4^3
  Large face rotation   3     x_2^6 (End)
Also, number of ways of coloring the vertices of the truncated tetrahedron or faces of the triakis tetrahedron up to rotation and reflection. - Peter Kagey, Nov 27 2024

N. G. De Bruijn, Polya's theory of counting, in E. F. Beckenbach, ed., Applied Combinatorial Mathematics, Wiley, 1964, pp. 144-184 (see p. 147).

Harry J. Smith, Table of n, a(n) for n=0..200
Index entries for linear recurrences with constant coefficients, signature (13,-78,286,-715,1287,-1716,1716,-1287,715,-286,78,-13,1).

Cf. A199406 (unoriented), A337406 (chiral), A331351 (achiral).
Other elements: A000543 (cube vertices, octahedron faces), A047780 (cube faces, octahedron vertices).
Cf. A046023 (tetrahedron), A282670 (dodecahedron/icosahedron).
Row 3 of A337407 (orthotope edges, orthoplex ridges) and A337411 (orthoplex edges, orthotope ridges).

Table[(n^12+6n^7+3n^6+8n^4+6n^3)/24,{n,0,20}] (* Harvey P. Dale, Feb 13 2013 *)

{ for (n=0, 200, write("b060530.txt", n, " ", (n^12 + 6*n^7 + 3*n^6 + 8*n^4 + 6*n^3)/24); ) } \\ Harry J. Smith, Jul 06 2009

a(n) = (n^12 + 6*n^7 + 3*n^6 + 8*n^4 + 6*n^3)/24. (Replace all x_i's in the cycle index by n.)
G.f.: -x*(150*x^10 +19758*x^9 +425032*x^8 +2763481*x^7 +6769435*x^6 +6773089*x^5 +2763307*x^4 +423883*x^3 +20059*x^2 +205*x +1)/(x -1)^13. - Colin Barker, Aug 13 2012
From Robert A. Russell, Oct 08 2020: (Start)
a(n) = 1*C(n,1) + 216*C(n,2) + 22164*C(n,3) + 613804*C(n,4) + 6901425*C(n,5) + 39713430*C(n,6) + 131754420*C(n,7) + 267165360*C(n,8) + 336798000*C(n,9) + 257796000*C(n,10) + 109771200*C(n,11) + 19958400*C(n,12), where the coefficient of C(n,k) is the number of oriented colorings using exactly k colors.
a(n) = A199406(n) + A337406(n) = 2*A199406(n) - A331351(n) = 2*A337406(n) + A331351(n). (End)

Entry revised by N. J. A. Sloane, Jan 03 2005

A093566 a(n) = n(n-1)(n-2)(n-3)(n^2-3*n-2)/48.

Original entry on oeis.org

0, 0, 0, 0, 1, 20, 120, 455, 1330, 3276, 7140, 14190, 26235, 45760, 76076, 121485, 187460, 280840, 410040, 585276, 818805, 1125180, 1521520, 2027795, 2667126, 3466100, 4455100, 5668650, 7145775, 8930376, 11071620, 13624345, 16649480, 20214480

Offset: 0

Robert G. Wilson v and Santi Spadaro, Mar 31 2004

a(n+1) is the number of chiral pairs of colorings of the faces of a cube (vertices of a regular octahedron) using n or fewer colors. - Robert A. Russell, Sep 28 2020

			For a(3+1) = 1, each of the three colors is applied to a pair of adjacent faces of the cube (vertices of the octahedron). - _Robert A. Russell_, Sep 28 2020

Solomon W. Golomb, Iterated binomial coefficients, Amer. Math. Monthly, 87 (1980), 719-727.
Index entries for linear recurrences with constant coefficients, signature (7,-21,35,-35,21,-7,1).

From Robert A. Russell, Sep 28 2020: (Start)
Cf. A047780 (oriented), A198833 (unoriented), A337898 (achiral) colorings.
a(n+1) = A325006(3,n) (chiral pairs of colorings of orthotope facets or orthoplex vertices).
a(n+1) = A337889(3,n) (chiral pairs of colorings of orthotope faces or orthoplex peaks).
Other polyhedra: A000332 (tetrahedron), A337896 (cube/octahedron).
(End)

Table[ Binomial[ Binomial[n-1, 2], 3], {n,0,32}]
LinearRecurrence[{7,-21,35,-35,21,-7,1},{0,0,0,0,1,20,120},40] (* Harvey P. Dale, Feb 18 2016 *)

a(n)=n*(n-1)*(n-2)*(n-3)*(n^2-3*n-2)/48 \\ Charles R Greathouse IV, Jun 11 2015

[(binomial(binomial(n,2),3)) for n in range(-1, 33)] # Zerinvary Lajos, Nov 30 2009

a(n) = binomial(binomial(n-1, 2), 3).
G.f.: -x^4*(1+13*x+x^2)/(x-1)^7. - R. J. Mathar, Dec 08 2010
a(n+1) = 1*C(n,3) + 16*C(n,4) + 30*C(n,5) + 15*C(n,6), where the coefficient of C(n,k) is the number of chiral pairs of colorings using exactly k colors. - Robert A. Russell, Sep 28 2020
a(n) = A000217(n-1)*A239352(n-2)/6. - R. J. Mathar, Mar 25 2022

Edited (with a new definition) by N. J. A. Sloane, Jul 02 2008

A000543 Number of inequivalent ways to color vertices of a cube using at most n colors.

Original entry on oeis.org

0, 1, 23, 333, 2916, 16725, 70911, 241913, 701968, 1798281, 4173775, 8942021, 17930628, 34009053, 61518471, 106823025, 179003456, 290715793, 459239463, 707740861, 1066780100, 1576090341, 2286660783, 3263156073, 4586706576

Offset: 0

Clint. C. Williams (Clintwill(AT)aol.com)

Here inequivalent means under the action of the rotation group of the cube, of order 24, which in its action on the vertices has cycle index (x1^8 + 9*x2^4 + 6*x4^2 + 8*x1^2*x3^2)/24.
Also the number of ways to color the faces of a regular octahedron with n colors, counting mirror images separately.
From Robert A. Russell, Oct 08 2020: (Start)
Each chiral pair is counted as two when enumerating oriented arrangements. The Schläfli symbols for the regular octahedron and cube are {3,4} and {4,3} respectively. They are mutually dual.
There are 24 elements in the rotation group of the regular octahedron/cube. They divide into five conjugacy classes. The first formula is obtained by averaging the cube vertex (octahedron face) cycle indices after replacing x_i^j with n^j according to the Pólya enumeration theorem.
  Conjugacy Class    Count    Even Cycle Indices
  Identity              1     x_1^8
  Vertex rotation       8     x_1^2x_3^2
  Edge rotation         6     x_2^4
  Small face rotation   6     x_4^2
  Large face rotation   3     x_2^4 (End)

N. G. De Bruijn, Polya's theory of counting, in E. F. Beckenbach, ed., Applied Combinatorial Mathematics, Wiley, 1964, pp. 144-184 (see p. 147).

Vincenzo Librandi, Table of n, a(n) for n = 0..1000
Eric Weisstein's World of Mathematics, Polyhedron Coloring
Index entries for linear recurrences with constant coefficients, signature (9,-36,84,-126,126,-84,36,-9,1).

Cf. A128766 (unoriented), A337896 (chiral), A337897 (achiral).
Other elements: A060530 (edges), A047780 (cube faces, octahedron vertices).
Cf. A006008 (tetrahedron), A000545 (dodecahedron faces, icosahedron vertices), A054472 (icosahedron faces, dodecahedron vertices).
Row 3 of A325012 (orthotope vertices, orthoplex facets) and A337891 (orthoplex faces, orthotope peaks).

[(1/24)*n^2*(n^6+17*n^2+6): n in [0..30]]; // Vincenzo Librandi, Apr 15 2012

f:= n->(1/24)*n^2*(n^6+17*n^2+6); seq(f(n), n=0..40);

CoefficientList[Series[x*(1+x)*(1+13*x+149*x^2+514*x^3+149*x^4+13*x^5+x^6)/(1-x)^9,{x,0,30}],x] (* Vincenzo Librandi, Apr 15 2012 *)
Table[(n^8+17n^4+6n^2)/24,{n,0,30}] (* Robert A. Russell, Oct 08 2020 *)

a(n) = (1/24)*n^2*(n^6+17*n^2+6). (Replace all x_i's in the cycle index with n.)
G.f.: x*(1+x)*(1+13*x+149*x^2+514*x^3+149*x^4+13*x^5+x^6)/(1-x)^9. - Colin Barker, Jan 29 2012
a(n) = 1*C(n,1) + 21*C(n,2) + 267*C(n,3) + 1718*C(n,4) + 5250*C(n,5) + 7980*C(n,6) + 5880*C(n,7) + 1680*C(n,8), where the coefficient of C(n,k) is the number of oriented colorings using exactly k colors.
a(n) = A128766(n) + A337896(n) = 2*A128766(n) - A337897(n) = 2*A337896(n) + A337897(n). - Robert A. Russell, Oct 08 2020

Entry revised by N. J. A. Sloane, Jan 03 2005

A325004 Array read by descending antidiagonals: A(n,k) is the number of oriented colorings of the facets of a regular n-dimensional orthotope using up to k colors.

Original entry on oeis.org

1, 4, 1, 9, 6, 1, 16, 24, 10, 1, 25, 70, 57, 15, 1, 36, 165, 240, 126, 21, 1, 49, 336, 800, 730, 252, 28, 1, 64, 616, 2226, 3270, 2008, 462, 36, 1, 81, 1044, 5390, 11991, 11880, 5006, 792, 45, 1, 100, 1665, 11712, 37450, 56133, 38970, 11440, 1287, 55, 1

Offset: 1

Robert A. Russell, Mar 23 2019

Also called hypercube, n-dimensional cube, and measure polytope. For n=1, the figure is a line segment with two vertices. For n=2 the figure is a square with four edges. For n=3 the figure is a cube with six square faces. For n=4, the figure is a tesseract with eight cubic facets. The Schläfli symbol, {4,3,...,3}, of the regular n-dimensional orthotope (n>1) consists of a four followed by n-2 threes. Each of its 2n facets is an (n-1)-dimensional orthotope. 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 vertices of a regular n-dimensional orthoplex using up to k colors.

			Array begins with A(1,1):
1  4    9    16     25      36       49        64        81        100 ...
1  6   24    70    165     336      616      1044      1665       2530 ...
1 10   57   240    800    2226     5390     11712     23355      43450 ...
1 15  126   730   3270   11991    37450    102726    253485     573265 ...
1 21  252  2008  11880   56133   221725    756288   2283876    6228145 ...
1 28  462  5006  38970  235235  1161832   4873128  17838492   58208920 ...
1 36  792 11440 116400  894465  5495896  28162368 124122780  481650400 ...
1 45 1287 24310 319815 3114540 23739310 148116618 782798490 3596651740 ...
For A(1,2) = 4, the two achiral colorings use just one of the two colors for both vertices; the chiral pair uses two colors.

Robert A. Russell, Table of n, a(n) for n = 1..325
Robin Chapman, answer to Coloring the faces of a hypercube, Math StackExchange, September 30, 2010.

Cf. A325005 (unoriented), A325006 (chiral), A325007 (achiral), A325008 (exactly k colors)
Other n-dimensional polytopes: A324999 (simplex), A325012 (orthoplex)
Rows 1-3 are A000290, A006528, A047780.

Table[Binomial[Binomial[d-n+2,2]+n-1,n]+Binomial[Binomial[d-n+1,2],n],{d,1,11},{n,1,d}] // Flatten

A(n,k) = binomial(binomial(k+1,2) + n-1, n) + binomial(binomial(k,2),n).
A(n,k) = Sum_{j=1..2n} A325008(n,j) * binomial(k,j).
A(n,k) = A325005(n,k) + A325006(n,k) = 2*A325005(n,k) - A325007(n,k) = 2*A325006(n,k) + A325007(n,k).
G.f. for row n: Sum{j=1..2n} A325008(n,j) * x^j / (1-x)^(j+1).
Linear recurrence for row n: T(n,k) = Sum_{j=0..2n} binomial(-2-j,2n-j) * T(n,k-1-j).
G.f. for column k: 1/(1-x)^binomial(k+1,2) + (1+x)^binomial(k,2) - 2.

A198833 The number of inequivalent ways to color the vertices of a regular octahedron using at most n colors.

Original entry on oeis.org

1, 10, 56, 220, 680, 1771, 4060, 8436, 16215, 29260, 50116, 82160, 129766, 198485, 295240, 428536, 608685, 848046, 1161280, 1565620, 2081156, 2731135, 3542276, 4545100, 5774275, 7268976, 9073260, 11236456, 13813570, 16865705, 20460496, 24672560, 29583961

Offset: 1

Geoffrey Critzer, Oct 30 2011

The cycle index: 1/48 (s_1^6 + 3 s_1^4 s_2 + 9 s_1^2 s_2^2 +7 s_2^3 + 8 s_3^2 + 6 s_1^2 s_4 + 6 s_2 s_4 + 8 s_6) is returned in Mathematica by CycleIndex[ Automorphisms[ OctahedralGraph ], s].
One-sixth the area of the right triangles with sides 2b+2, b^2+2b, and b^2+2b+2 with b = A000217(n), the n-th triangular number. - J. M. Bergot, Aug 02 2013
Also the number of ways to color the faces of a cube with n colors, counting each pair of mirror images as one.

Vincenzo Librandi, Table of n, a(n) for n = 1..1000
Index entries for linear recurrences with constant coefficients, signature (7,-21,35,-35,21,-7,1)

Cf. A047780 (oriented), A093566(n+1) (chiral), A337898 (achiral), A199406 (edges), A128766 (octahedron faces, cube vertices), A000332(n+3) (tetrahedron), A128766 (octahedron faces, cube vertices), A252705 (dodecahedron faces, icosahedron vertices), A252704 (icosahedron faces, dodecahedron vertices), A000217 (triangular numbers).

Row 3 of A325005 (orthotope facets, orthoplex vertices) and A337888 (orthotope faces, orthoplex peaks).

[n*(n+1)*(n^2+n+2)*(n^2+n+4)/48: n in [1..35]]; // Vincenzo Librandi, Aug 04 2013

Table[(n^6 + 3 n^5 + 9 n^4 + 13 n^3 + 14 n^2 + 8 n)/48, {n, 25}]
CoefficientList[Series[-(1 + 3 x + 7 x^2 + 3 x^3 + x^4) / (x - 1)^7, {x, 0, 35}], x] (* Vincenzo Librandi, Aug 04 2013 *)
LinearRecurrence[{7,-21,35,-35,21,-7,1},{1,10,56,220,680,1771,4060},40] (* Harvey P. Dale, Nov 06 2024 *)

a(n)=n*(n+1)*(n^2+n+2)*(n^2+n+4)/48 \\ Charles R Greathouse IV, Aug 02 2013

a(n) = n*(n+1)*(n^2+n+2)*(n^2+n+4)/48.
G.f.: x*(1+3*x+7*x^2+3*x^3+x^4) / (1-x)^7. - R. J. Mathar, Oct 30 2011
a(n) = Sum_{i=1..A000217(n)} A000217(i). [Bruno Berselli, Sep 06 2013]
a(n) = 1*C(n,1) + 8*C(n,2) + 29*C(n,3) + 52*C(n,4) + 45*C(n,5) + 15*C(n,6), where the coefficient of C(n,k) is the number of unoriented colorings using exactly k colors.
a(n) = A047780(n) - A093566(n+1) = (A047780(n) + A337898(n)) / 2 = A093566(n+1) + A337898(n). - Robert A. Russell, Oct 19 2020

A000545 Number of ways of n-coloring a dodecahedron.

Original entry on oeis.org

1, 96, 9099, 280832, 4073375, 36292320, 230719293, 1145393152, 4707296613, 16666924000, 52307593239, 148602435840, 388302646355, 944900450144, 2162441849625, 4691253854208, 9710376716137, 19280531603808, 36888593841475, 68266682784000, 122597146773927

Offset: 1

Clint. C. Williams (Clintwill(AT)aol.com)

More explicitly, a(n) is the number of colorings with at most n colors of the faces of a regular dodecahedron, inequivalent under the action of the rotation group of the dodecahedron. It is also the number of inequivalent colorings of the vertices of a regular icosahedron using at most n colors. - José H. Nieto S., Jan 19 2012
From Robert A. Russell, Oct 03 2020: (Start)
Each chiral pair is counted as two when enumerating oriented arrangements. The Schläfli symbols for the regular icosahedron and regular dodecahedron are {3,5} and {5,3} respectively. They are mutually dual. There are 60 elements in the rotation group of the regular dodecahedron/icosahedron. They divide into five conjugacy classes. The first formula is obtained by averaging the dodecahedron face (icosahedron vertex) cycle indices after replacing x_i^j with n^j according to the Pólya enumeration theorem.
  Conjugacy Class    Count    Even Cycle Indices
  Identity              1     x_1^12
  Edge rotation        15     x_2^6
  Vertex rotation      20     x_3^4
  Small face rotation  12     x_1^2x_5^2
  Large face rotation  12     x_1^2x_5^2  (End)

T. D. Noe, Table of n, a(n) for n = 1..1000
Eric Weisstein's World of Mathematics, Polyhedron Coloring
Index entries for linear recurrences with constant coefficients, signature (13, -78, 286, -715, 1287, -1716, 1716, -1287, 715, -286, 78, -13, 1).

Cf. A252705 (unoriented), A337961 (chiral), A337962 (achiral).
Other elements: A054472 (dodecahedron vertices, icosahedron faces), A282670 (edges).
Other polyhedra: A006008 (tetrahedron), A047780 (cube faces, octahedron vertices), A000543 (octahedron faces, cube vertices).

Maple
```
(1/60)*n^12+(1/4)*n^6+(11/15)*n^4;
```

Table[n^12/60+n^6/4+11 n^4/15,{n,20}] (* or *) CoefficientList[Series[ -(((1+x) (1+x (82+x (7847+x (161900+x (943640+x (1764740+x (943640+x (161900+x (7847+x (82+x)))))))))))/(x-1)^13),{x,0,20}],x] (* Harvey P. Dale, Apr 25 2011 *)

G.f.: x*((1+x)*(1+x*(82+x*(7847+x*(161900+x*(943640+x*(1764740+x*(943640+x*(161900+x*(7847+x*(82+x)))))))))))/(1-x)^13. - Harvey P. Dale, Apr 25 2011
From Robert A. Russell, Oct 03 2020: (Start)
a(n) = (n^12 + 15*n^6 + 44*n^4) / 60.
a(n) = 1*C(n,1) + 94*C(n,2) + 8814*C(n,3) + 245008*C(n,4) + 2759250*C(n,5) + 15884004*C(n,6) + 52701264*C(n,7) + 106866144*C(n,8) + 134719200*C(n,9) + 103118400*C(n,10) + 43908480*C(n,11) + 7983360*C(n,12), where the coefficient of C(n,k) is the number of oriented colorings using exactly k colors.
a(n) = A252705(n) + A337961(n) = 2*A252705(n) - A337962(n) = 2*A337961(n) + A337962(n). (End)

A054472 Number of ways to color faces of an icosahedron using at most n colors.

Original entry on oeis.org

0, 1, 17824, 58130055, 18325477888, 1589459765875, 60935989677984, 1329871177501573, 19215358684143616, 202627758536996445, 1666666669200004000, 11212499922098481787, 63895999889747261952, 316749396282749868607, 1394470923827552301472, 5542094550277768379625

Offset: 0

Vladeta Jovovic, May 20 2000

More explicitly, a(n) is the number of colorings with at most n colors of the faces of a regular icosahedron, inequivalent under the action of the rotation group of the icosahedron. It is also the number of inequivalent colorings of the vertices of a regular dodecahedron using at most n colors. - José H. Nieto S., Jan 19 2012
From Robert A. Russell, Oct 19 2020: (Start)
Each chiral pair is counted as two when enumerating oriented arrangements. The Schläfli symbols for the regular icosahedron and regular dodecahedron are {3,5} and {5,3} respectively. They are mutually dual.
There are 60 elements in the rotation group of the regular dodecahedron/icosahedron. They divide into five conjugacy classes. The first formula is obtained by averaging the icosahedron face (dodecahedron vertex) cycle indices after replacing x_i^j with n^j according to the Pólya enumeration theorem.
  Conjugacy Class    Count    Even Cycle Indices
  Identity              1     x_1^20
  Vertex rotation      20     x_1^2x_3^6
  Edge rotation        15     x_2^10
  Small face rotation  12     x_5^4
  Large face rotation  12     x_5^4 (End)

Eric Weisstein's World of Mathematics, Polyhedron Coloring
Index entries for linear recurrences with constant coefficients, signature (21, -210, 1330, -5985, 20349, -54264, 116280, -203490, 293930, -352716, 352716, -293930, 203490, -116280, 54264, -20349, 5985, -1330, 210, -21, 1).

Cf. A252704 (unoriented), A337959 (chiral), A337960 (achiral), A282670 (edges), A000545 (dodecahedron faces, icosahedron vertices), A006008 (tetrahedron), A047780 (cube faces, octahedron vertices), A000543 (octahedron faces, cube vertices).

A054472:=n->(n^20 + 15*n^10 + 20*n^8 + 24*n^4)/60; seq(A054472(n), n=0..15); # Wesley Ivan Hurt, Jan 28 2014

Table[(n^20+15n^10+20n^8+24n^4)/60,{n,0,15}] (* Harvey P. Dale, Nov 04 2011 *)
LinearRecurrence[{21,-210,1330,-5985,20349,-54264,116280,-203490,293930,-352716,352716,-293930,203490,-116280,54264,-20349,5985,-1330,210,-21,1},{0,1,17824,58130055,18325477888,1589459765875,60935989677984,1329871177501573,19215358684143616,202627758536996445,1666666669200004000,11212499922098481787,63895999889747261952,316749396282749868607,1394470923827552301472,5542094550277768379625,20148763660520129167360,67737190111299199134361,212470603607497593076128,626499557627304397693519,1747626666669235200064000},20] (* Harvey P. Dale, Aug 11 2021 *)

a(n) = (1/60)*(n^20+15*n^10+20*n^8+24*n^4).
G.f.: -x*(x +1)*(x^18 +17802*x^17 +57738159*x^16 +17050750284*x^15 +1199757591558*x^14 +30128721042672*x^13 +329847884196810*x^12 +1749288479932404*x^11 +4727182539811968*x^10 +6598854419308684*x^9 +4727182539811968*x^8 +1749288479932404*x^7 +329847884196810*x^6 +30128721042672*x^5 +1199757591558*x^4 +17050750284*x^3 +57738159*x^2 +17802*x +1) / (x -1)^21. - Colin Barker, Jul 13 2013
a(n) = 1*C(n,1) + 17822*C(n,2) + 58076586*C(n,3) + 18093064608*C(n,4) + 1498413498750*C(n,5) + 51672950917308*C(n,6) + 936058547290608*C(n,7) + 10194866756893728*C(n,8) + 72644237439379200*C(n,9) + 357895538663241600*C(n,10) + 1264592451488446080*C(n,11) + 3281293750348373760*C(n,12) + 6337930306906598400*C(n,13) + 9157388718839961600*C(n,14) + 9858321678965760000*C(n,15) + 7794071905639219200*C(n,16) + 4394429252269056000*C(n,17) + 1672620130621440000*C(n,18) + 385209484627968000*C(n,19) + 40548366802944000*C(n,20), where the coefficient of C(n,k) is the number of oriented colorings using exactly k colors. - Robert A. Russell, Dec 03 2014
a(n) = A252704(n) + A337959(n) = 2*A252704(n) - A337960(n) = 2*A337959(n) + A337960(n). - Robert A. Russell, Oct 19 2020

More terms from James Sellers, May 23 2000

More terms from Colin Barker, Jul 12 2013

A337898 Number of achiral colorings of the 6 square faces of a cube or the 6 vertices of a regular octahedron using n or fewer colors.

Original entry on oeis.org

1, 10, 55, 200, 560, 1316, 2730, 5160, 9075, 15070, 23881, 36400, 53690, 77000, 107780, 147696, 198645, 262770, 342475, 440440, 559636, 703340, 875150, 1079000, 1319175, 1600326, 1927485, 2306080, 2741950, 3241360

Offset: 1

Robert A. Russell, Sep 28 2020

An achiral coloring is identical to its reflection. The Schläfli symbols for the cube and regular octahedron are {4,3} and {3,4} respectively. They are mutually dual.
There are 24 elements in the automorphism group of the regular octahedron/cube that are not in the rotation group. They divide into five conjugacy classes. The first formula is obtained by averaging the cube face (octahedron vertex) cycle indices after replacing x_i^j with n^j according to the Pólya enumeration theorem.
  Conjugacy Class     Count    Odd Cycle Indices
  Inversion              1     x_2^3
  Vertex rotation*       8     x_6^1           Asterisk indicates that the
  Edge rotation*         6     x_1^2x_2^2      operation is followed by an
  Small face rotation*   6     x_2^1x_4^1      inversion.
  Large face rotation*   3     x_1^4x_2^1

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

Cf. A047780 (oriented), A198833 (unoriented), A093566(n+1) (chiral).
Other elements: A331351 (edges), A337897 (cube vertices/octahedron faces).
Other polyhedra: A006003 (simplex), A337962 (dodecahedron faces, icosahedron vertices), A337960 (icosahedron faces, dodecahedron vertices).
Row 3 of A325007 (orthotope facets, orthoplex vertices) and A337890 (orthotope faces, orthoplex peaks).

Table[n(1+n)(2+n)(4-3n+3n^2)/24, {n, 35}]
LinearRecurrence[{6,-15,20,-15,6,-1},{1,10,55,200,560,1316},40] (* Harvey P. Dale, Feb 15 2022 *)

a(n)=n*(n+1)*(n+2)*(3*n^2-3*n+4)/24 \\ Charles R Greathouse IV, Oct 21 2022

a(n) = n * (n+1) * (n+2) * (3*n^2 - 3*n + 4) / 24.
a(n) = 1*C(n,1) + 8*C(n,2) + 28*C(n,3) + 36*C(n,4) + 15*C(n,5), where the coefficient of C(n,k) is the number of achiral colorings using exactly k colors.
a(n) = 2*A198833(n) - A047780(n) = A047780(n) - 2*A093566(n+1) = A198833(n) - A093566(n+1).
G.f.: x * (x + 4*x^2 + 10*x^3) / (1-x)^6.
a(n) = 6*a(n-1) - 15*a(n-2) + 20*a(n-3) - 15*a(n-4) + 6*a(n-5) - a(n-6). - Wesley Ivan Hurt, Sep 30 2020

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

Original entry on oeis.org

1, 2, 1, 3, 10, 1, 4, 57, 90054, 1, 5, 240, 1471640157, 629648865588086369152, 1, 6, 800, 1466049174160, 76983765319971901895960429658208179, 76686070519895153193719509580895099970955878067526648007224125292544, 1

Offset: 2

Robert A. Russell, Sep 28 2020

Each chiral pair is counted as two when enumerating oriented arrangements. Each face is a square bounded by four edges. For n=2, the figure is a square with one face. For n=3, the figure is a cube with 6 faces. For n=4, the figure is a tesseract with 24 faces. The number of faces is 2^(n-2)*C(n,2).

Also the number of oriented colorings of peaks of an n-dimensional orthoplex. A peak is an (n-3)-dimensional simplex.

			Array begins with T(2,1):
 1     2          3             4               5                 6 ...
 1    10         57           240             800              2226 ...
 1 90054 1471640157 1466049174160 310441584462375 24679078461920106 ...

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. A337888 (unoriented), A337889 (chiral), A337890 (achiral).
Other elements: A325012 (vertices), A337407 (edges).
Other polytopes: A337883 (simplex), A337891 (orthoplex).
Rows 2-4 are A000027, A047780, A331354.

m = 2;(* dimension of color element, here a square 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, 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}]], (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[]),0]);
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,6}, {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) = A337888(n,k) + A337889(n,k) = 2*A337888(n,k) - A337890(n,k) = 2*A337889(n,k) + A337890(n,k).

cp's OEIS Frontend

A100790 First differences of A047780.

Views

Author

Keywords

Links

Programs

Mathematica

PARI

Formula

A060530 Number of inequivalent ways to color edges of a cube using at most n colors.

Views

Author

Keywords

Comments

References

Links

Crossrefs

Programs

Mathematica

PARI

Formula

Extensions

A093566 a(n) = n*(n-1)*(n-2)*(n-3)*(n^2-3*n-2)/48.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Sage

Formula

Extensions

A000543 Number of inequivalent ways to color vertices of a cube using at most n colors.

Views

Author

Keywords

Comments

References

Links

Crossrefs

Programs

Magma

Maple

Mathematica

Formula

Extensions

A325004 Array read by descending antidiagonals: A(n,k) is the number of oriented colorings of the facets of a regular n-dimensional orthotope using up to k colors.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

A198833 The number of inequivalent ways to color the vertices of a regular octahedron using at most n colors.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Magma

Mathematica

PARI

Formula

A000545 Number of ways of n-coloring a dodecahedron.

Views

Author

Keywords

Comments

Links

A093566 a(n) = n(n-1)(n-2)(n-3)(n^2-3*n-2)/48.