The OEIS Foundation is supported by donations from users of the OEIS and by a grant from the Simons Foundation.

 Hints (Greetings from The On-Line Encyclopedia of Integer Sequences!)
 A327084 Array read by descending antidiagonals: A(n,k) is the number of unoriented colorings of the edges of a regular n-dimensional simplex using up to k colors. 10
 1, 2, 1, 3, 4, 1, 4, 10, 11, 1, 5, 20, 66, 34, 1, 6, 35, 276, 792, 156, 1, 7, 56, 900, 10688, 25506, 1044, 1, 8, 84, 2451, 90005, 1601952, 2302938, 12346, 1, 9, 120, 5831, 533358, 43571400, 892341888, 591901884, 274668 (list; table; graph; refs; listen; history; text; internal format)
 OFFSET 1,2 COMMENTS An n-dimensional simplex has n+1 vertices and (n+1)*n/2 edges. For n=1, the figure is a line segment with one edge. For n=2, the figure is a triangle with three edges. For n=3, the figure is a tetrahedron with six edges. The SchlĂ¤fli symbol, {3,...,3}, of the regular n-dimensional simplex consists of n-1 threes. Two unoriented colorings are the same if congruent; chiral pairs are counted as one. A(n,k) is also the number of unoriented colorings of (n-2)-dimensional regular simplices in an n-dimensional simplex using up to k colors. Thus, A(2,k) also counts the number of unoriented colorings of the vertices (0-dimensional simplices) of an equilateral triangle. LINKS Robert A. Russell, Table of n, a(n) for n = 1..325 First 25 antidiagonals. Harald Fripertinger, The cycle type of the induced action on 2-subsets E. M. Palmer and R. W. Robinson, Enumeration under two representations of the wreath product, Acta Math., 131 (1973), 123-143. FORMULA The algorithm used in the Mathematica program below assigns each permutation of the vertices to a partition of n+1. It then determines the number of permutations for each partition and the cycle index for each partition. A(n,k) = Sum_{j=1..(n+1)*n/2} A327088(n,j) * binomial(k,j). A(n,k) = A327083(n,k) - A327085(n,k) = (A327083(n,k) + A327086(n,k)) / 2 = A327085(n,k) + A327086(n,k). A(n,k) = A063841(n+1,k-1). EXAMPLE Array begins with A(1,1):   1  2   3     4     5      6       7       8        9       10        11   1  4  10    20    35     56      84     120      165      220       286   1 11  66   276   900   2451    5831   12496    24651    45475     79376   1 34 792 10688 90005 533358 2437848 9156288 29522961 84293770 217993600 For A(2,3) = 10, the nine achiral colorings are AAA, AAB, AAC, ABB, ACC, BBB, BBC, BCC, and CCC. The chiral pair is ABC-ACB. MATHEMATICA CycleX[{2}] = {{1, 1}}; (* cycle index for permutation with given cycle structure *) CycleX[{n_Integer}] := CycleX[n] = If[EvenQ[n], {{n/2, 1}, {n, (n-2)/2}}, {{n, (n-1)/2}}] 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) CycleX[p_List] := CycleX[p] = compress[Join[CycleX[Drop[p, -1]], If[Last[p] > 1, CycleX[{Last[p]}], ## &[]], If[# == Last[p], {#, Last[p]}, {LCM[#, Last[p]], GCD[#, Last[p]]}] & /@ Drop[p, -1]]] pc[p_List] := Module[{ci, mb}, mb = DeleteDuplicates[p]; ci = Count[p, #] & /@ mb; Total[p]!/(Times @@ (ci!) Times @@ (mb^ci))] (* partition count *) row[n_Integer] := row[n] = Factor[Total[pc[#] j^Total[CycleX[#]][[2]] & /@ IntegerPartitions[n+1]]/(n+1)!] array[n_, k_] := row[n] /. j -> k Table[array[n, d-n+1], {d, 1, 10}, {n, 1, d}] // Flatten (* Using Fripertinger's exponent per Andrew Howroyd code in A063841: *) pc[p_] := Module[{ci, mb}, mb = DeleteDuplicates[p]; ci = Count[p, #] &/@ mb; Total[p]!/(Times @@ (ci!) Times @@ (mb^ci))] ex[v_] := Sum[GCD[v[[i]], v[[j]]], {i, 2, Length[v]}, {j, i-1}] + Total[Quotient[v, 2]] array[n_, k_] := Total[pc[#]k^ex[#] &/@ IntegerPartitions[n+1]]/(n+1)! Table[array[n, d-n+1], {d, 10}, {n, d}] // Flatten PROG (PARI) permcount(v) = {my(m=1, s=0, k=0, t); for(i=1, #v, t=v[i]; k=if(i>1&&t==v[i-1], k+1, 1); m*=t*k; s+=t); s!/m} edges(v) = {sum(i=2, #v, sum(j=1, i-1, gcd(v[i], v[j]))) + sum(i=1, #v, v[i]\2)} T(n, k) = {my(s=0); forpart(p=n+1, s+=permcount(p)*k^edges(p)); s/(n+1)!} \\ Andrew Howroyd, Sep 06 2019 CROSSREFS Cf. A327083 (oriented), A327085 (chiral), A327086 (achiral), A327088 (exactly k colors), A325000 (vertices). Rows 1-4 are A000027, A000292, A063842(n-1), A063843. Cf. A063841 (k-multigraphs on n nodes). Sequence in context: A133112 A247239 A198060 * A159856 A137649 A180915 Adjacent sequences:  A327081 A327082 A327083 * A327085 A327086 A327087 KEYWORD nonn,tabl,changed AUTHOR Robert A. Russell, Aug 19 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 | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

Last modified August 9 01:35 EDT 2020. Contains 336310 sequences. (Running on oeis4.)