cp's OEIS Frontend

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

Showing 1-8 of 8 results.

A006003 a(n) = n*(n^2 + 1)/2.

Original entry on oeis.org

0, 1, 5, 15, 34, 65, 111, 175, 260, 369, 505, 671, 870, 1105, 1379, 1695, 2056, 2465, 2925, 3439, 4010, 4641, 5335, 6095, 6924, 7825, 8801, 9855, 10990, 12209, 13515, 14911, 16400, 17985, 19669, 21455, 23346, 25345, 27455, 29679, 32020, 34481, 37065, 39775
Offset: 0

Views

Author

Keywords

Comments

Write the natural numbers in groups: 1; 2,3; 4,5,6; 7,8,9,10; ... and add the groups. In other words, "sum of the next n natural numbers". - Felice Russo
Number of rhombi in an n X n rhombus, if 'crossformed' rhombi are allowed. - Matti De Craene (Matti.DeCraene(AT)rug.ac.be), May 14 2000
Also the sum of the integers between T(n-1)+1 and T(n), the n-th triangular number (A000217). Sum of n-th row of A000027 regarded as a triangular array.
Unlike the cubes which have a similar definition, it is possible for 2 terms of this sequence to sum to a third. E.g., a(36) + a(37) = 23346 + 25345 = 48691 = a(46). Might be called 2nd-order triangular numbers, thus defining 3rd-order triangular numbers (A027441) as n(n^3+1)/2, etc. - Jon Perry, Jan 14 2004
Also as a(n)=(1/6)*(3*n^3+3*n), n > 0: structured trigonal diamond numbers (vertex structure 4) (cf. A000330 = alternate vertex; A000447 = structured diamonds; A100145 for more on structured numbers). - James A. Record (james.record(AT)gmail.com), Nov 07 2004
The sequence M(n) of magic constants for n X n magic squares (numbered 1 through n^2) from n=3 begins M(n) = 15, 34, 65, 111, 175, 260, ... - Lekraj Beedassy, Apr 16 2005 [comment corrected by Colin Hall, Sep 11 2009]
The sequence Q(n) of magic constants for the n-queens problem in chess begins 0, 0, 0, 0, 34, 65, 111, 175, 260, ... - Paul Muljadi, Aug 23 2005
Alternate terms of A057587. - Jeremy Gardiner, Apr 10 2005
Also partial differences of A063488(n) = (2*n-1)*(n^2-n+2)/2. a(n) = A063488(n) - A063488(n-1) for n>1. - Alexander Adamchuk, Jun 03 2006
In an n X n grid of numbers from 1 to n^2, select -- in any manner -- one number from each row and column. Sum the selected numbers. The sum is independent of the choices and is equal to the n-th term of this sequence. - F.-J. Papp (fjpapp(AT)umich.edu), Jun 06 2006
Nonnegative X values of solutions to the equation (X-Y)^3 - (X+Y) = 0. To find Y values: b(n) = (n^3-n)/2. - Mohamed Bouhamida, May 16 2006
For the equation: m*(X-Y)^k - (X+Y) = 0 with X >= Y, k >= 2 and m is an odd number the X values are given by the sequence defined by a(n) = (m*n^k+n)/2. The Y values are given by the sequence defined by b(n) = (m*n^k-n)/2. - Mohamed Bouhamida, May 16 2006
If X is an n-set and Y a fixed 3-subset of X then a(n-3) is equal to the number of 4-subsets of X intersecting Y. - Milan Janjic, Jul 30 2007
(m*(2n)^k+n, m*(2n)^k-n) solves the Diophantine equation: 2m*(X-Y)^k - (X+Y) = 0 with X >= Y, k >= 2 where m is a positive integer. - Mohamed Bouhamida, Oct 02 2007
Also c^(1/2) in a^(1/2) + b^(1/2) = c^(1/2) such that a^2 + b = c. - Cino Hilliard, Feb 09 2008
a(n) = n*A000217(n) - Sum_{i=0..n-1} A001477(i). - Bruno Berselli, Apr 25 2010
a(n) is the number of triples (w,x,y) having all terms in {0,...,n} such that at least one of these inequalities fails: x+y < w, y+w < x, w+x < y. - Clark Kimberling, Jun 14 2012
Sum of n-th row of the triangle in A209297. - Reinhard Zumkeller, Jan 19 2013
The sequence starting with "1" is the third partial sum of (1, 2, 3, 3, 3, ...). - Gary W. Adamson, Sep 11 2015
a(n) is the largest eigenvalue of the matrix returned by the MATLAB command magic(n) for n > 0. - Altug Alkan, Nov 10 2015
a(n) is the number of triples (x,y,z) having all terms in {1,...,n} such that all these triangle inequalities are satisfied: x+y > z, y+z > x, z+x > y. - Heinz Dabrock, Jun 03 2016
Shares its digital root with the stella octangula numbers (A007588). See A267017. - Peter M. Chema, Aug 28 2016
Can be proved to be the number of nonnegative solutions of a system of three linear Diophantine equations for n >= 0 even: 2*a_{11} + a_{12} + a_{13} = n, 2*a_{22} + a_{12} + a_{23} = n and 2*a_{33} + a_{13} + a_{23} = n. The number of solutions is f(n) = (1/16)*(n+2)*(n^2 + 4n + 8) and a(n) = n*(n^2 + 1)/2 is obtained by remapping n -> 2*n-2. - Kamil Bradler, Oct 11 2016
For n > 0, a(n) coincides with the trace of the matrix formed by writing the numbers 1...n^2 back and forth along the antidiagonals (proved, see A078475 for the examples of matrix). - Stefano Spezia, Aug 07 2018
The trace of an n X n square matrix where the elements are entered on the ascending antidiagonals. The determinant is A069480. - Robert G. Wilson v, Aug 07 2018
Bisections are A317297 and A005917. - Omar E. Pol, Sep 01 2018
Number of achiral colorings of the vertices (or faces) of a regular tetrahedron with n available colors. An achiral coloring is identical to its reflection. - Robert A. Russell, Jan 22 2020
a(n) is the n-th centered triangular pyramidal number. - Lechoslaw Ratajczak, Nov 02 2021
a(n) is the number of words of length n defined on 4 letters {b,c,d,e} that contain one or no b's, one c or two d's, and any number of e's. For example, a(3) = 15 since the words are (number of permutations in parentheses): bce (6), bdd (3), cee (3), and dde (3). - Enrique Navarrete, Jun 21 2025

Examples

			G.f. = x + 5*x^2 + 15*x^3 + 34*x^4 + 65*x^5 + 111*x^6 + 175*x^7 + 260*x^8 + ...
For a(2)=5, the five tetrahedra have faces AAAA, AAAB, AABB, ABBB, and BBBB with colors A and B. - _Robert A. Russell_, Jan 31 2020
		

References

  • J.-M. De Koninck, Ces nombres qui nous fascinent, Entry 15, p. 5, Ellipses, Paris 2008.
  • F.-J. Papp, Colloquium Talk, Department of Mathematics, University of Michigan-Dearborn, March 6, 2005.
  • N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

Crossrefs

Cf. A000330, A000537, A066886, A057587, A027480, A002817 (partial sums).
Cf. A000578 (cubes).
(1/12)*t*(n^3-n)+n for t = 2, 4, 6, ... gives A004006, A006527, this sequence, A005900, A004068, A000578, A004126, A000447, A004188, A004466, A004467, A007588, A062025, A063521, A063522, A063523.
Antidiagonal sums of array in A000027. Row sums of the triangular view of A000027.
Cf. A063488 (sum of two consecutive terms), A005917 (bisection), A317297 (bisection).
Cf. A105374 / 8.
Tetrahedron colorings: A006008 (oriented), A000332(n+3) (unoriented), A000332 (chiral), A037270 (edges).
Other polyhedron colorings: A337898 (cube faces, octahedron vertices), A337897 (octahedron faces, cube vertices), A337962 (dodecahedron faces, icosahedron vertices), A337960 (icosahedron faces, dodecahedron vertices).
Row 3 of A325001 (simplex vertices and facets) and A337886 (simplex faces and peaks).

Programs

  • GAP
    a_n:=List([0..nmax], n->n*(n^2 + 1)/2); # Stefano Spezia, Aug 12 2018
    
  • Haskell
    a006003 n = n * (n ^ 2 + 1) `div` 2
    a006003_list = scanl (+) 0 a005448_list
    -- Reinhard Zumkeller, Jun 20 2013
    
  • MATLAB
    % Also works with FreeMat.
    for(n=0:nmax); tm=n*(n^2 + 1)/2; fprintf('%d\t%0.f\n', n, tm); end
    % Stefano Spezia, Aug 12 2018
    
  • Magma
    [n*(n^2 + 1)/2 : n in [0..50]]; // Wesley Ivan Hurt, Sep 11 2015
    
  • Magma
    [Binomial(n,3)+Binomial(n-1,3)+Binomial(n-2,3): n in [2..60]]; // Vincenzo Librandi, Sep 12 2015
    
  • Mathematica
    Table[ n(n^2 + 1)/2, {n, 0, 45}]
    LinearRecurrence[{4,-6,4,-1}, {0,1,5,15},50] (* Harvey P. Dale, May 16 2012 *)
    CoefficientList[Series[x (1 + x + x^2)/(x - 1)^4, {x, 0, 45}], x] (* Vincenzo Librandi, Sep 12 2015 *)
    With[{n=50},Total/@TakeList[Range[(n(n^2+1))/2],Range[0,n]]] (* Requires Mathematica version 11 or later *) (* Harvey P. Dale, Nov 28 2017 *)
  • Maxima
    a(n):=n*(n^2 + 1)/2$ makelist(a(n), n, 0, nmax); /* Stefano Spezia, Aug 12 2018 */
    
  • PARI
    {a(n) = n * (n^2 + 1) / 2}; /* Michael Somos, Dec 24 2011 */
    
  • PARI
    concat(0, Vec(x*(1+x+x^2)/(x-1)^4 + O(x^20))) \\ Felix Fröhlich, Oct 11 2016
    
  • Python
    def A006003(n): return n*(n**2+1)>>1 # Chai Wah Wu, Mar 25 2024

Formula

a(n) = binomial(n+2, 3) + binomial(n+1, 3) + binomial(n, 3). [corrected by Michel Marcus, Jan 22 2020]
G.f.: x*(1+x+x^2)/(x-1)^4. - Floor van Lamoen, Feb 11 2002
Partial sums of A005448. - Jonathan Vos Post, Mar 16 2006
Binomial transform of [1, 4, 6, 3, 0, 0, 0, ...] = (1, 5, 15, 34, 65, ...). - Gary W. Adamson, Aug 10 2007
a(n) = -a(-n) for all n in Z. - Michael Somos, Dec 24 2011
a(n) = Sum_{k = 1..n} A(k-1, k-1-n) where A(i, j) = i^2 + i*j + j^2 + i + j + 1. - Michael Somos, Jan 02 2012
a(n) = 4*a(n-1) - 6*a(n-2) + 4*a(n-3) - a(n-4), with a(0)=0, a(1)=1, a(2)=5, a(3)=15. - Harvey P. Dale, May 16 2012
a(n) = 3*a(n-1) - 3*a(n-2) + a(n-3) + 3. - Ant King, Jun 13 2012
a(n) = A000217(n) + n*A000217(n-1). - Bruno Berselli, Jun 07 2013
a(n) = A057145(n+3,n). - Luciano Ancora, Apr 10 2015
E.g.f.: (1/2)*(2*x + 3*x^2 + x^3)*exp(x). - G. C. Greubel, Dec 18 2015; corrected by Ilya Gutkovskiy, Oct 12 2016
a(n) = T(n) + T(n-1) + T(n-2), where T means the tetrahedral numbers, A000292. - Heinz Dabrock, Jun 03 2016
From Ilya Gutkovskiy, Oct 11 2016: (Start)
Convolution of A001477 and A008486.
Convolution of A000217 and A158799.
Sum_{n>=1} 1/a(n) = H(-i) + H(i) = 1.343731971048019675756781..., where H(k) is the harmonic number, i is the imaginary unit. (End)
a(n) = A000578(n) - A135503(n). - Miquel Cerda, Dec 25 2016
Euler transform of length 3 sequence [5, 0, -1]. - Michael Somos, Dec 25 2016
a(n) = A037270(n)/n for n > 0. - Kritsada Moomuang, Dec 15 2018
a(n) = 3*A000292(n-1) + n. - Bruce J. Nicholson, Nov 23 2019
a(n) = A011863(n) - A011863(n-2). - Bruce J. Nicholson, Dec 22 2019
From Robert A. Russell, Jan 22 2020: (Start)
a(n) = C(n,1) + 3*C(n,2) + 3*C(n,3), where the coefficient of C(n,k) is the number of tetrahedron colorings using exactly k colors.
a(n) = C(n+3,4) - C(n,4).
a(n) = 2*A000332(n+3) - A006008(n) = A006008(n) - 2*A000332(n) = A000332(n+3) - A000332(n).
a(n) = A325001(3,n). (End)
From Amiram Eldar, Aug 21 2023: (Start)
Sum_{n>=1} 1/a(n) = 2 * (A248177 + A001620).
Product_{n>=2} (1 - 1/a(n)) = cosh(sqrt(7)*Pi/2)*cosech(Pi)/4.
Product_{n>=1} (1 + 1/a(n)) = cosh(sqrt(7)*Pi/2)*cosech(Pi). (End)

Extensions

Better description from Albert Rich (Albert_Rich(AT)msn.com), Mar 1997

A047780 Number of inequivalent ways to color faces of a cube using at most n colors.

Original entry on oeis.org

0, 1, 10, 57, 240, 800, 2226, 5390, 11712, 23355, 43450, 76351, 127920, 205842, 319970, 482700, 709376, 1018725, 1433322, 1980085, 2690800, 3602676, 4758930, 6209402, 8011200, 10229375, 12937626, 16219035, 20166832, 24885190, 30490050
Offset: 0

Views

Author

Keywords

Comments

Here inequivalent means under the action of the rotation group of the cube, of order 24, which in its action on the faces has cycle index (x1^6 + 3*x1^2*x2^2 + 6*x1^2*x4 + 6*x2^3 + 8*x3^2)/24.
a(n) is also the number of inequivalent colorings of the vertices 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 cube face (octahedron 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^6
Vertex rotation 8 x_3^2
Edge rotation 6 x_2^3
Small face rotation 6 x_1^2x_4^1
Large face rotation 3 x_1^2x_2^2 (End)

References

  • L. Comtet, Advanced Combinatorics, Reidel, 1974, p. 254 (corrected).
  • 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).
  • M. Gardner, New Mathematical Diversions from Scientific American. Simon and Schuster, NY, 1966, p. 246 (the formula given is incorrect but was corrected in the second printing).
  • J.-P. Delahaye, 'Le miraculeux "lemme de Burnside"','Le coloriage du cube' p. 147 in 'Pour la Science' (French edition of 'Scientific American') No.350 December 2006 Paris.
  • N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

Crossrefs

Cf. A198833 (unoriented), A093566(n+1) (chiral), A337898 (achiral).
Other elements: A060530 (edges), A000543 (cube vertices, octahedron faces).
Cf. A006008 (tetrahedron), A000545 (dodecahedron faces, icosahedron vertices), A054472 (icosahedron faces, dodecahedron vertices).
Row 3 of A325004 (orthoplex vertices, orthotope facets) and A337887 (orthotope faces, orthoplex peaks).

Programs

  • Magma
    [(n^6 + 3*n^4 + 12*n^3 + 8*n^2)/24: n in [1..30]]; // Vincenzo Librandi, Apr 27 2012
  • Mathematica
    CoefficientList[Series[x*(1+3*x+8*x^2+16*x^3+2*x^4)/(1-x)^7,{x,0,33}],x] (* Vincenzo Librandi, Apr 27 2012 *)

Formula

a(n) = (n^6 + 3*n^4 + 12*n^3 + 8*n^2)/24 = n+8*C(n, 2)+30*C(n, 3)+68*C(n, 4)+75*C(n, 5)+30*C(n, 6). Each term of the RHS indicates the number of ways to use n colors to color the cube faces (octahedron vertices) with exactly 1, 2, 3, 4, 5, or 6 colors.
G.f.: x*(1+3*x+8*x^2+16*x^3+2*x^4)/(1-x)^7. - Colin Barker, Jan 29 2012
a(n) = A198833(n) + A093566(n+1) = 2*A198833(n) - A337898(n) = 2*A093566(n+1) + A337898(n). - Robert A. Russell, Oct 08 2020

Extensions

Corrected version of A006550 and A006529.
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

Views

Author

Keywords

Comments

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

Examples

			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
		

Crossrefs

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)

Programs

  • Mathematica
    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 *)
  • PARI
    a(n)=n*(n-1)*(n-2)*(n-3)*(n^2-3*n-2)/48 \\ Charles R Greathouse IV, Jun 11 2015
  • Sage
    [(binomial(binomial(n,2),3)) for n in range(-1, 33)] # Zerinvary Lajos, Nov 30 2009
    

Formula

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

Extensions

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

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

Views

Author

Geoffrey Critzer, Oct 30 2011

Keywords

Comments

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.

Crossrefs

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

Programs

  • Magma
    [n*(n+1)*(n^2+n+2)*(n^2+n+4)/48: n in [1..35]]; // Vincenzo Librandi, Aug 04 2013
  • Mathematica
    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 *)
  • PARI
    a(n)=n*(n+1)*(n^2+n+2)*(n^2+n+4)/48 \\ Charles R Greathouse IV, Aug 02 2013
    

Formula

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

A337897 Number of achiral colorings of the 8 triangular faces of a regular octahedron or the 8 vertices of a cube using n or fewer colors.

Original entry on oeis.org

1, 21, 201, 1076, 4025, 11901, 29841, 66256, 134001, 251725, 445401, 750036, 1211561, 1888901, 2856225, 4205376, 6048481, 8520741, 11783401, 16026900, 21474201, 28384301, 37055921, 47831376, 61100625, 77305501, 96944121
Offset: 1

Views

Author

Robert A. Russell, Sep 28 2020

Keywords

Comments

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 vertex (octahedron face) 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^4
Vertex rotation* 8 x_2^1x_6^1 Asterisk indicates that the
Edge rotation* 6 x_1^4x_2^2 operation is followed by an
Small face rotation* 3 x_4^2 inversion.
Large face rotation* 6 x_2^4

Crossrefs

Cf. A000543 (oriented), A128766 (unoriented), A337896 (chiral).
Other elements: A331351 (edges), A337898 (cube faces, octahedron vertices).
Other polyhedra: A006003 (tetrahedron), A337962 (dodecahedron faces, icosahedron vertices), A337960 (icosahedron faces, dodecahedron vertices).
Row 3 of A337894 (orthoplex faces, orthotope peaks) and A325015 (orthotope vertices, orthoplex facets).

Programs

  • Mathematica
    Table[n^2(7+2n^2+3n^4)/12, {n,30}]

Formula

a(n) = n^2 * (7 + 2*n^2 + 3*n^4) / 12.
a(n) = 1*C(n,1) + 19*C(n,2) + 141*C(n,3) + 394*C(n,4) + 450*C(n,5) + 180*C(n,6), where the coefficient of C(n,k) is the number of achiral colorings using exactly k colors.
a(n) = 2*A128766(n) - A000543(n) = A000543(n) - 2*A337896(n) = A128766(n) - A337896(n).
G.f.: x * (1+x) * (1 + 13*x + 62*x^2 + 13*x^3 + x^4) / (1-x)^7.

A331351 Number of achiral colorings of the edges of a cube or regular octahedron.

Original entry on oeis.org

1, 70, 1407, 12480, 69050, 281946, 931490, 2632512, 6598935, 15041950, 31740841, 62830560, 117855192, 211141490, 363551700, 604679936, 975561405, 1531968822, 2348375395, 3522668800, 5181705606, 7487800650, 10646250902
Offset: 1

Views

Author

Robert A. Russell, Jan 14 2020

Keywords

Comments

A cube has 8 vertices and 12 edges. A regular octahedron has 6 vertices and 12 edges. An achiral coloring is identical to its reflection.
From Robert A. Russell, Oct 08 2020: (Start)
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 edge 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^6
Vertex rotation* 8 x_6^2 Asterisk indicates that the
Edge rotation* 6 x_1^2x_2^5 operation is followed by an
Small face rotation* 3 x_4^3 inversion.
Large face rotation* 6 x_1^4x_2^4 (End)

Crossrefs

Cf. A060530 (oriented), A199406 (unoriented), A337406 (chiral), A337897 (octahedron faces, cube vertices), A337898 (cube faces, octahedron vertices), A037270 (tetrahedron), A337953 (dodecahedron, icosahedron).
Row 3 of A337410 (orthotope edges, orthoplex ridges) and A337414 (orthoplex edges, orthotope ridges).

Programs

  • Mathematica
    Table[(8n^2 + 6n^3 + n^6 + 6n^7 + 3n^8)/24, {n, 1, 30}]
    LinearRecurrence[{9, -36, 84, -126, 126, -84, 36, -9, 1}, {1, 70, 1407, 12480, 69050, 281946, 931490, 2632512, 6598935}, 25]

Formula

a(n) = (8*n^2 + 6*n^3 + n^6 + 6*n^7 + 3*n^8) / 24.
a(n) = 1*C(n,1) + 68*C(n,2) + 1200*C(n,3) + 7268*C(n,4) + 20025*C(n,5) + 27750*C(n,6) + 18900*C(n,7) + 5040*C(n,8), where the coefficient of C(n,k) is the number of colorings using exactly k colors.
a(n) = 2*A199406(n) - A060530(n) = A060530(n) - 2*A337406(n) = A199406(n) - A337406(n). - Robert A. Russell, Oct 08 2020
G.f.: (x + 61*x^2 + 813*x^3 + 2253*x^4 + 1628*x^5 + 282*x^6 + 2*x^7) / (1-x)^9.
E.g.f.: (1/24)*exp(x)*x*(24 + 816*x + 4800*x^2 + 7268*x^3 + 4005*x^4 + 925*x^5 + 90*x^6 + 3*x^7). - Stefano Spezia, Jan 17 2020

A337960 Number of achiral colorings of the 30 triangular faces of a regular icosahedron or the 30 vertices of a regular dodecahedron using n or fewer colors.

Original entry on oeis.org

1, 1048, 133875, 4211872, 61198135, 545203800, 3465030541, 17197766272, 70665499413, 250166670040, 785039389519, 2230057075104, 5826818931739, 14178299017624, 32446195329465, 70387069393408, 145689159233737
Offset: 1

Views

Author

Robert A. Russell, Oct 03 2020

Keywords

Comments

An achiral coloring is identical to its reflection. The Schläfli symbols for the regular icosahedron and regular dodecahedron are {3,5} and {5,3} respectively. They are mutually dual.
There are 60 elements in the automorphism group of the regular dodecahedron/icosahedron that are not in the rotation group. They divide into five conjugacy classes. The first formula is obtained by averaging the 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^10
Edge rotation* 15 x_1^4x_2^8 Asterisk indicates that the
Vertex rotation* 20 x_2^1x_6^3 operation is followed by an
Small face rotation* 12 x_10^2 inversion.
Large face rotation* 12 x_10^2

Crossrefs

Cf. A054472 (oriented), A252704 (unoriented), A337959 (chiral).
Other elements: A337953 (edges), A337962 (dodecahedron faces, icosahedron vertices).
Other polyhedra: A006003 (tetrahedron), A337898 (cube faces, octahedron vertices), A337897 (octahedron faces, cube vertices).

Programs

  • Mathematica
    Table[(15n^12+n^10+20n^4+24n^2)/60,{n,30}]

Formula

a(n) = n^2 * (15*n^10 + n^8 + 20*n^2 + 24) / 60.
a(n) = 1*C(n,1) + 1046*C(n,2) + 130734*C(n,3) + 3682656*C(n,4) + 41467050*C(n,5) + 238531284*C(n,6) + 791012880*C(n,7) + 1603496160*C(n,8) + 2021060160*C(n,9) + 1546836480*C(n,10) + 658627200*C(n,11) + 119750400*C(n,12), where the coefficient of C(n,k) is the number of achiral colorings using exactly k colors.
a(n) = 2*A252704(n) - A054472(n) = A054472(n) - 2*A337959(n) = A252704(n) - A337959(n).

A337962 Number of achiral colorings of the 12 pentagonal faces of a regular dodecahedron or the 12 vertices of a regular icosahedron using n or fewer colors.

Original entry on oeis.org

1, 68, 1659, 16464, 97935, 420708, 1443197, 4198720, 10770597, 25016740, 53619335, 107545296, 204013251, 369072900, 640912665, 1074021632, 1744341865, 2755557252, 4246675123, 6401066960, 9457144599, 13720858404
Offset: 1

Views

Author

Robert A. Russell, Oct 03 2020

Keywords

Comments

An achiral coloring is identical to its reflection. The Schläfli symbols for the regular icosahedron and regular dodecahedron are {3,5} and {5,3} respectively. They are mutually dual.
There are 60 elements in the automorphism group of the regular dodecahedron/icosahedron that are not in the rotation group. 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 Odd Cycle Indices
Inversion 1 x_2^6
Edge rotation* 15 x_1^4x_2^4 Asterisk indicates that the
Vertex rotation* 20 x_6^2 operation is followed by an
Small face rotation* 12 x_2^1x_10^1 inversion.
Large face rotation* 12 x_2^1x_10^1

Crossrefs

Cf. A000545 (oriented), A252705 (unoriented), A337961 (chiral).
Other elements: A337960 (dodecahedron vertices, icosahedron faces), A337953 (edges).
Other polyhedra: A006003 (tetrahedron), A337898 (cube faces, octahedron vertices), A337897 (octahedron faces, cube vertices).

Programs

  • Mathematica
    Table[(15n^8+n^6+44n^2)/60,{n,30}]

Formula

a(n) = n^2 * (15*n^6 + n^4 + 44)/60.
a(n) = 1*C(n,1) + 66*C(n,2) + 1458*C(n,3) + 10232*C(n,4) + 31530*C(n,5) + 47892*C(n,6) + 35280*C(n,7) + 10080*C(n,8), where the coefficient of C(n,k) is the number of achiral colorings using exactly k colors.
a(n) = 2*A252705(n) - A000545(n) = A000545(n) - 2*A337961(n) = A252705(n) - A337961(n).
From Stefano Spezia, Oct 04 2020: (Start)
G.f.: x*(1+59*x+1083*x^2+3897*x^3+3087*x^4+1083*x^5+59*x^6+x^7)/(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)
Showing 1-8 of 8 results.