login
The OEIS is supported by the many generous donors to the OEIS Foundation.

 

Logo
Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A325016 Triangle read by rows: T(n,k) is the number of oriented colorings of the facets of a regular n-dimensional orthoplex using exactly k colors. Row n has 2^n columns. 9
1, 2, 1, 4, 9, 6, 1, 21, 267, 1718, 5250, 7980, 5880, 1680, 1, 494, 228591, 21539424, 685479375, 10257064650, 86151316860, 449772354360, 1551283253100, 3661969537800, 6015983173200, 6878457986400, 5371454088000, 2733402672000, 817296480000, 108972864000 (list; graph; refs; listen; history; text; internal format)
OFFSET
1,2
COMMENTS
Also called cross polytope and hyperoctahedron. 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 an octahedron with eight triangular faces. For n=4, the figure is a 16-cell with sixteen tetrahedral facets. The Schläfli symbol, {3,...,3,4}, of the regular n-dimensional orthoplex (n>1) consists of n-2 threes followed by a four. Each of its 2^n facets is an (n-1)-dimensional simplex. 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 orthotope (cube) using exactly k colors.
LINKS
Robert A. Russell, Table of n, a(n) for n = 1..510, rows 1..8, flattened.
E. M. Palmer and R. W. Robinson, Enumeration under two representations of the wreath product, Acta Math., 131 (1973), 123-143.
Wikipedia, Cross-polytope
FORMULA
A325012(n,k) = Sum_{j=1..2^n} T(n,j) * binomial(k,j).
T(n,k) = A325017(n,k) + A325018(n,k) = 2*A325017(n,k) - A325019(n,k) = 2*A325018(n,k) + A325019(n,k).
EXAMPLE
Triangle begins with T(1,1):
1 2
1 4 9 6
1 21 267 1718 5250 7980 5880 1680
For T(2,2)=4, two squares have three edges the same color, one has opposite edges the same color, and one has opposite edges different colors.
MATHEMATICA
a48[n_] := a48[n] = DivisorSum[NestWhile[#/2&, n, EvenQ], MoebiusMu[#]2^(n/#)&]/(2n); (* A000048 *)
a37[n_] := a37[n] = DivisorSum[n, MoebiusMu[n/#]2^#&]/n; (* A001037 *)
CI0[{n_Integer}] := CI0[{n}] = CI[Transpose[If[EvenQ[n], p2 = IntegerExponent[n, 2]; sub = Divisors[n/2^p2]; {2^(p2+1) sub, a48 /@ (2^p2 sub) }, sub = Divisors[n]; {sub, a37 /@ sub}]]] 2^(n-1); (* even perm. *)
CI1[{n_Integer}] := CI1[{n}] = CI[sub = Divisors[n]; Transpose[If[EvenQ[n], {sub, a37 /@ sub}, {2 sub, (a37 /@ sub)/2}]]] 2^(n-1); (* odd perm. *)
compress[x : {{_, _} ...}] := (s = Sort[x]; For[i = Length[s], i > 1, i -= 1, If[s[[i, 1]]==s[[i-1, 1]], s[[i-1, 2]] += s[[i, 2]]; s = Delete[s, i], Null]]; s)
cix[{a_, b_}, {c_, d_}] := {LCM[a, c], (a b c d)/LCM[a, c]};
Unprotect[Times]; Times[CI[a_List], CI[b_List]] := (* combine *) CI[compress[Flatten[Outer[cix, a, b, 1], 1]]]; Protect[Times];
CI0[p_List] := CI0[p] = Expand[CI0[Drop[p, -1]] CI0[{Last[p]}] + CI1[Drop[p, -1]] CI1[{Last[p]}]]
CI1[p_List] := CI1[p] = Expand[CI0[Drop[p, -1]] CI1[{Last[p]}] + CI1[Drop[p, -1]] CI0[{Last[p]}]]
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[(CI0[#] pc[#]) & /@ IntegerPartitions[n]])/(n! 2^(n - 1))] /. CI[l_List] :> j^(Total[l][[2]])
array[n_, k_] := row[n] /. j -> k (* A325012 *)
Table[LinearSolve[Table[Binomial[i, j], {i, 1, 2^n}, {j, 1, 2^n}], Table[array[n, k], {k, 1, 2^n}]], {n, 1, 6}] // Flatten
CROSSREFS
Cf. A325017 (unoriented), A325018 (chiral), A325019 (achiral), A325012 (up to k colors).
Other n-dimensional polytopes: A325002 (simplex), A325008 (orthotope).
Sequence in context: A128058 A163236 A325008 * A362984 A077160 A228043
KEYWORD
nonn,tabf
AUTHOR
Robert A. Russell, May 28 2019
STATUS
approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recents
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified March 28 09:04 EDT 2024. Contains 371240 sequences. (Running on oeis4.)