A213940 -id:A213940 - cp's OEIS frontend

A213943 Row sums of partition array A213939 and triangle A213940: number of representative bracelets with n beads and up to n colors.

1, 2, 3, 9, 28, 144, 832, 6012, 48447, 444198, 4469834, 49650464, 597810739, 7809600123, 109524985564, 1646900490716, 26373465572350, 448901183773766, 8083772124339442, 153686286512223573, 3074405841292532560, 64582422678961767945

Offset: 1

Wolfdieter Lang, Jul 20 2012

nonn

See A213939 for representative bracelets of a color class defined by a signature, given by a partition.
If color c[j] is written as j, for j from {1, 2, ... ,n}, the representative multisets, corresponding to the bracelets in question, are the ones with the least sum of their members.
E.g., n=4, m=3: signature [2,1,1] (partition of n with 4 parts), representative multiset (written as an ordered list by convention) [1,1,2,3], with the two representative bracelets 1123 and 1213, both taken cyclically.
Number of bracelets with n beads over a n-ary alphabet {a1,a2,...,an} such that #(w,a1) >= #(w,a2) >= ... >= #(w,ak) >= 0, where #(w,x) counts the letters x in word w. - Andrew Howroyd, Dec 21 2017

			The a(4)= 9 representative bracelets are (j for c[j]):  1111, 1112, 1122, 1212, 1123, 1213, 1234, 1324 and 1243, all taken cyclically.

Andrew Howroyd, Table of n, a(n) for n = 1..200

Row sums of A213940.
Row sums of A214609.
Cf. A072605 (representative necklaces).

a(n)={ if(n==0, 1,
  my(p=serlaplace(prod(k=1, n, 1/(1-x^k/k!) + O(x*x^n))));
  my(c=sumdiv(n, d, eulerphi(n/d)*polcoeff(p, d))/n);
  my(r=if(n%2, sum(d=0, (n-1)/2, binomial((n-1)/2, d)*polcoeff(p, d)), polcoeff(p, n/2) + sum(d=0, n/2-1, binomial(n/2-1, d)*polcoeff(p, n/2-1-d)*(2^d + if(d%2, 0, binomial(d, d/2))))/2));
  ( (c + r)/2 ) )
} \\ Andrew Howroyd, Dec 21 2017

a(n) = sum(A213939(n,k),k=1..p(n)), with p(n)=A000041(n), n >= 1.

a(n) = sum(A213940(n,m),m=1..n), n >= 1.

A213939 Partition array for the number of representative bracelets (dihedral symmetry D_n) with n beads, each available in n colors. Only the color type (signature) matters.

Original entry on oeis.org

1, 1, 1, 1, 1, 1, 1, 1, 2, 2, 3, 1, 1, 2, 2, 4, 6, 12, 1, 1, 3, 3, 3, 6, 11, 10, 16, 30, 60, 1, 1, 3, 4, 3, 9, 10, 18, 15, 30, 48, 60, 90, 180, 360, 1, 1, 4, 5, 8, 4, 12, 19, 33, 38, 21, 54, 70, 108, 171, 105, 210, 318, 420, 630, 1260, 2520, 1, 1, 4, 7, 10, 4, 16, 28, 38, 48, 76, 94

Offset: 1

Wolfdieter Lang, Jul 20 2012

The row lengths sequence is A000041(n), n >= 1.
The partitions are ordered like in Abramowitz-Stegun (A-St order). For the reference see A036036, where also a link to a work by C. F. Hindenburg from 1779 is found where this order has been used.
A bracelet with n beads (n-bracelet) has the dihedral D_n symmetry group of degree n (order 2n). In addition to cyclic C_n operations, also a turnover (in 3-space) or a reflection (in 2-space) is allowed. In the Harary-Palmer reference, p. 44, the term necklace is used instead of bracelet.
a(n,k) gives the number of representative n-bracelets, with up to n colors for each bead, belonging to the k-th partition of n in A-St order in the following way. Write this partition with nonincreasing parts (this is the reverse of the partition as given by A-St), e.g., [3,1^2], not [1^2,3], which is written as [3,1,1], a partition of n=5. In general a (reversed) partition of n is written as [p[1],p[2],...,p[m]], with p[1] >= p[2] >= ... >= p[m] >= 1, with m the number of parts. To each such partition of n corresponds an n-multiset obtained by 'exponentiation'. For more details see the W. Lang link in A213938 with more details as well as a list of multiset signatures and corresponding multiset representatives. For the given example the 5-multiset is {1^3,2^1,3^1}={1,1,1,2,3}. In general, {1^p[1],2^p[2],...,m^p[m]}. We will also use a list notation with square brackets for these multisets. Such an n-multiset representative (of a repetition class defined by the exponents, also called signature) encodes the representative n-bracelet color monomial by c[1]^p[1]*c[2]^p[2]*...*c[m]^p[m]. For the example one has c[1]^3*c[2]*c[3]. The number of 5-bracelets with this color assignment is a(5,4) because [3,1,1] is the 4th partition of 5 in A-St order. The a(5,4)=2 non-equivalent 5-bracelets with this color assignment are cyclic(c[1]c[1]c[1]c[2]c[3]) and cyclic(c[1]c[1]c[2]c[1]c[3]). For the necklace case c[1]c[1]c[1]c[3]c[2] and c[1]c[1]c[3]c[1]c[2] (both taken cyclically) also have to be counted, but due to a turn over (or a reflection) they become equivalent to the two given bracelets, respectively.
Such a set of a(n,k) n-bracelets for the given color signature stands for other sets of the same order when different colors from the repertoire {c[1],...,c[n]} are chosen. In the example, the partition [3,1,1] with the representative multiset [1^3,2,3] stands for all-together 5*binomial(4,2) = 30 such sets, each leading to 2 possible non-equivalent 5-bracelet arrangements. Thus one has all-together 30*2=60 5-bracelets with color signature determined from the partition [3,1,1]. See the partition array A213941 for these total bracelet numbers.
a(n,k) is computed from the cycle index Z(D_n) for the dihedral group (see A212355 and the link given there) after the variables x_j have been replaced by the j-th power sum sum(c[i]^j,i=1..n), abbreviated as Z(D_n,c_n) with c_n:=sum(c[i],i=1..n), n >= 1. The coefficient of the representative color multinomial determined by the k-th partition of n in A-St order, as explained above, is a(n,k). See the Harary-Palmer reference, p. 36, Theorem (PET) with A = D_n and p. 37 eq. (2.2.11) for the cycle index polynomial Z(D_n). See the W. Lang link for more details.
The row sums are given by A213943.

			n\k 1 2 3 4 5 6  7  8  9 10 11 12 13  14  15 ...
1   1
2   1 1
3   1 1 1
4   1 1 2 2 3
5   1 1 2 2 4 6 12
6   1 1 3 3 3 6 11 10 16 30 60
7   1 1 3 4 3 9 10 18 15 30 48 60 90 180 360
...
Row n = 8 is 1 1 4 5 8 4 12 19 33 38 21 54 70 108 171 105 210 318 420 630 1260 2520.
See the link for the rows n=1 to n=15, and the corresponding color polynomials for n=1 to n=10.
a(4,5) = 3 because the partition in question is [1^4]=[1,1,1,1], the corresponding representative color multinomial is c[1]*c[2]*c[3]*c[4] (all four colors are involved), and there are the 3 D_4 non-equivalent 4-bracelets (we use here j for color c[j]): 1234, 1324 and 1423 (all taken as cyclically). For this partition there is only one color choice. The necklace solutions 1243, 1342, 1432, taken cyclically, become equivalent to the given bracelets, respectively (for necklaces see A212359).
a(4,4) = 2 because the partition is [2,1^2]=[2,1,1], the color representative multinomial is c[1]^2*c[2]*c[3], and the bracelet arrangements are 1123 and 1213 (all taken cyclically). The necklace cyclic(1132) becomes equivalent to the first bracelet under reflection. In total, there are 4*binomial(3,2)=12 color multinomials of this signature (color type) in Z(D_4,c_4), each with a coefficient 2.

F. Harary and E. M. Palmer, Graphical Enumeration, Academic Press, NY, 1973

Wolfdieter Lang, Rows n=1..15 and color polynomials n = 1..10.

Cf. A212355 (Z(D_n)), A213943(row sums), A213940 (triangle with entries for fixed m summed).

a(n,k) is the number of representative bracelet arrangements with n beads (respecting the dihedral D_n symmetry) with color assignment given by the multiset representative obtained uniquely from the k-th partition of n in A-St order. See the comment for more details and the A-St reference.

A214309 a(n) is the number of representative four-color bracelets (necklaces with turning over allowed) with n beads, for n >= 4.

Original entry on oeis.org

3, 6, 26, 93, 424, 1180, 4844, 16165, 66953, 216804, 852822, 2949804, 12119134, 40886724, 160826008, 572457489, 2331396595, 8104270828, 32043699894, 115995102806, 471268872328, 1674576998468, 6641876380417, 24364816845446, 98894256728960, 357006263815751

Offset: 4

Wolfdieter Lang, Jul 31 2012

nonn

This is the fourth column (m=4) of triangle A213940.
The relevant p(n,4)= A008284(n,4) representative color multinomials have exponents (signatures) from the 4 part partitions of n, written with nonincreasing parts. E.g., n=6: [3,1,1,1] and [2,2,1,1] (p(6,4)=2). The corresponding representative bracelets have the four-color multinomials c[1]^3*c[2]*c[3]*c[4] and c[1]^2*c[2]^2*c[3]*c[4].
Compare this with A032275 where also bracelets with less than four colors are included, and not only representatives are counted.
Number of n-length bracelets w over a 4-ary alphabet {a1,a2,...,a4} such that #(w,a1) >= #(w,a2) >= ... >= #(w,a4) >= 1, where #(w,x) counts the letters x in word w (bracelet analog of A226883). The number of 4 color bracelets up to permutations of colors is given by A056359. - Andrew Howroyd, Sep 26 2017

			a(4) = A213939(4,5) = 3 from the representative bracelets (with colors  j for c[j], j=1, 2, ..., 4) 1234, 1342 and 1423, all taken cyclically. The necklace cyclic(1324), for example, becomes equivalent to cyclic(1423) under the dihedral D_4 turning over (or reflection) operation.
a(6) = A213939(6, 8) = A213939(6, 9) =  10 + 16 = 26. See the comment above for the representative color multinomials for each case.

Andrew Howroyd, Table of n, a(n) for n = 4..200

Cf. A213939, A213940, A214311 (m=5), A214312 (m=4, all bracelets).

Cf. A056359, A226883.

Cyc(v)={my(g=fold(gcd,v), s=vecsum(v)); sumdiv(g, d, eulerphi(d)*(s/d)!/prod(i=1, #v, (v[i]/d)!))/s}
CPal(v)={my(odds=#select(t->t%2,v), s=vecsum(v));  if(odds>2, 0, ((s-odds)/2)!/prod(i=1, #v, (v[i]\2)!))}
a(n)={my(t=0); forpart(p=n, t+=Cyc(Vec(p))+CPal(Vec(p)), [1,n], [4,4]); t/2} \\ Andrew Howroyd, Sep 26 2017

a(n) = A213940(n,4), n >= 4.

a(n) = sum(A213939(n,k),k=(2+floor(n/2) + p(n,3))..(p(n,4)+1+floor(n/2)+p(n,3))), n>=4, with p(n,m) = A008284(n,m) the number of partitions of n with m parts.

Terms a(26) and beyond from Andrew Howroyd, Sep 26 2017

A214311 a(n) is the number of representative five-color bracelets (necklaces with turning over allowed) with n beads, for n >= 5.

Original entry on oeis.org

12, 30, 150, 633, 3260, 16212, 66810, 298495, 1410402, 6403842, 31103899, 135342046, 633228696, 2936824916, 13676037486, 65355191817, 298065986582, 1398226666434, 6585151203697, 30958838054304, 148994847644780

Offset: 5

Wolfdieter Lang, Aug 08 2012

nonn

This is the fifth column (m=5) of triangle A213940.
The relevant p(n,5)= A008284(n,5) representative color multinomials have exponents (signatures) from the five-part partitions of n, written with nonincreasing parts. E.g., n=7: [3,1,1,1,1] and [2,2,1,1,1] (p(7,5)=2). The corresponding representative bracelets have the five-color multinomials c[1]^3*c[2]*c[3]*c[4]*c[5] and c[1]^2*c[2]^2*c[3]*c[4]*c[5].
Number of n-length bracelets w over a 5-ary alphabet {a1,a2,...,a5} such that #(w,a1) >= #(w,a2) >= ... >= #(w,a5) >= 1, where #(w,x) counts the letters x in word w (bracelet analog of A226884). The number of 5 color bracelets up to permutations of colors is given by A056360. - Andrew Howroyd, Sep 26 2017

			a(5) = A213940(5,5) = A213939(5,7) = 12 from the representative bracelets (with colors j for c[j], j=1,...,5) 12345, 12354, 12435, 12453, 12534, 12543, 13245, 13254, 13425, 13524, 14235 and 14325, all taken cyclically.

Andrew Howroyd, Table of n, a(n) for n = 5..200

Cf. A213939, A213940, A214309 (m=4 case), A214313 (m=5, all bracelets).

Cf. A056360, A226884.

a(n) = A213940(n,5), n >= 5.

a(n) = sum(A213939(n,k),k= b(n,5)..b(n,6)-1), n>=6, with b(n,m) = A214314(n,m) the position where the first m part partition of n appears in the Abramowitz-Stegun ordering of partitions (see A036036 for the reference and a historical comment). a(5) = A213939(5,b(5,5)) = A213939(5,7) = 12.

A214307 a(n) is the number of representative three-color bracelets (necklaces with turn over allowed) with n beads for n >= 3.

Original entry on oeis.org

1, 2, 6, 20, 40, 106, 304, 731, 1936, 5769, 14343, 39583, 117957, 305576, 855474, 2565922, 6793516, 19242857, 57827068, 155681341, 444461623, 1337436721, 3645877447, 10471728930, 31534868169, 86818242806, 250543852080, 754851821246, 2094887707000

Offset: 3

Wolfdieter Lang, Jul 31 2012

nonn

This is the third column (m=3) of triangle A213940.
The relevant p(n,3)= A008284(n,3) representative color multinomials have exponents (signatures) from the 3 part partitions of n, written with nonincreasing parts. E.g., n=6: [4,1,1], [3,2,1] and [2,2,2] (p(6,3)=3). The corresponding representative bracelets have the three-color multinomials c[1]^4*c[2]*c[3], c[1]^3*c[2]^2*c[3] and c[1]^2*c[2]^2*c[3]^2. Therefore, color c[1] is dominant, except for the last case.
Compare this with A027671 where also bracelets with less than three colors are included and not only three-color representatives are counted.
Number of n-length bracelets w over ternary alphabet {a,b,c} such that #(w,a) >= #(w,b) >= #(w,c) >= 1, where #(w,x) counts the letters x in word w (bracelet analog of A226882). The number of 3 color bracelets up to permutations of colors is given by A056358. - Andrew Howroyd, Sep 26 2017

			a(5) = A213939(5,4) + A213939(5,5) = 2 + 4 = 6 from the representative bracelets (with colors j for c[j], j=1,2,3) 11123, 11213, 11223, 11232, 12123 and 12213 , all taken cyclically. The first two have color signature (exponents) [3,1,1] and the other four ones have signature [2,2,1].
a(6) = A213939(6,5) + A213939(6,6) + A213939(6,7) = 3 + 6 + 11 = 20. The first three representative bracelets have color signature [4,1,1], the next six have signature [3,2,1] and the remaining 11 ones have signature [2,2,2]. The corresponding representative color multinomials are c[1]^4*c[2]*c[3], c[1]^3*c[2]^2*c[3] and c[1]^2*c[2]^2*c[3]^2.

Andrew Howroyd, Table of n, a(n) for n = 3..200

Cf. A213939, A213940, A214309 (m=4), A214310 (m=3, all bracelets).

Cf. A056358, A226882.

Cyc(v)={my(g=fold(gcd,v), s=vecsum(v)); sumdiv(g, d, eulerphi(d)*(s/d)!/prod(i=1, #v, (v[i]/d)!))/s}
CPal(v)={my(odds=#select(t->t%2,v), s=vecsum(v));  if(odds>2, 0, ((s-odds)/2)!/prod(i=1, #v, (v[i]\2)!))}
a(n)={my(t=0); forpart(p=n, t+=Cyc(Vec(p))+CPal(Vec(p)), [1,n], [3,3]); t/2} \\ Andrew Howroyd, Sep 26 2017

a(n) = A213940(n,3), n >= 3.

a(n) = sum(A213939(n,k),k=(2+floor(n/2))..p(n,3)+1+floor(n/2)), n >= 3, with p(n,3) = A008284(n,3) the number of partitions of n with three parts.

Terms a(26) and beyond from Andrew Howroyd, Sep 26 2017

A213934 Triangle with entry a(n,m) giving the number of necklaces of n beads (C_N symmetry) with n colors available for each bead, but only m distinct fixed colors, say c[1],...,c[m], are present, with m from {1,...,n} and n>=1.

Original entry on oeis.org

1, 1, 1, 1, 1, 2, 1, 3, 3, 6, 1, 3, 10, 12, 24, 1, 8, 31, 50, 60, 120, 1, 9, 71, 180, 300, 360, 720, 1, 22, 187, 815, 1260, 2100, 2520, 5040, 1, 29, 574, 2324, 6496, 10080, 16800, 20160, 40320, 1, 66, 1373, 9570, 32268, 58464, 90720, 151200, 181440, 362880

Offset: 1

Wolfdieter Lang, Jun 27 2012

This triangle is obtained from the partition array A212359 by summing in the row number n, for n>=1, all entries related to partitions of n with the same number of parts m.
a(n,m) is the number of necklaces of n beads (C_N symmetry) corresponding to the representative color multinomials obtained from all partitions of n with m parts by 'exponentiation', hence only m from the available n colors are present. As a representative multinomial of each of the p(n,m)=A008284(n,m) such m-color classes we take the one where the considered m part partition of n, [p[1],...,p[m]], written in a nonincreasing way, is distributed as exponents over c[1]^p[1]*...*c[m]^p[m]. That is only the first m colors from the n available ones are involved.
See the comments on A212359 for the Abramowitz-Stegun (A-St) order of partitions, and the 'exponentiation' to obtain multisets, used to encode color multinomials, from partitions.
The row sums of this triangle coincide with the ones of array A212359, and they are given by A072605.
Number of necklaces with n beads w over a k-ary alphabet {a1,a2,...,ak} such that #(w,a1) >= #(w,a2) >= ... >= #(w,ak) >= 1, where #(w,x) counts the letters x in word w (necklace analog of A226874). - Andrew Howroyd, Dec 20 2017

			n\m  1  2    3    4     5     6     7      8      9     10 ...
1    1
2    1  1
3    1  1    2
4    1  3    3    6
5    1  3   10   12    24
6    1  8   31   50    60   120
7    1  9   71  180   300   360   720
8    1 22  187  815  1260  2100  2520   5040
9    1 29  574 2324  6496 10080 16800  20160  40320
10   1 66 1373 9570 32268 58464 90720 151200 181440 362880
...
a(5,3) = 4 + 6 = 10, from A212359(5,4) + A212359(5,5), because k(5,3,1) = 4 and p(5,3) = 2.
a(2,1) = 1 because the partition [2] of n=2 with part number m=1 corresponds to the representative color multinomial (here monomial) c[1]^2=c[1]*c[1], and there is one such representative necklace. There is another necklace color monomial in this class of n=2 colors where only m=1 color is active: c[2]*c[2]. See the triangle entry A213935(2,1)=2.
a(3,1) = 1 from the color monomial representative c[1]^3. This class has 2 other members: c[2]^3 and c[3]^3. See A213935(3,1)=3.
In general a(n,1)=1 and A213935(n,1)=n from the partition [n] providing the color signature and a representative c[1]^n.
a(3,2)=1 from the representative color multinomial c[1]^2*c[2] (from the m=2 partition [2,1] of n=3) leading to just one representative necklace cyclic(112) (when one uses j for color c[j]). The whole class consists of A213935(3,2)=6 necklaces: cyclic(112), cyclic(113), cyclic(221), cyclic(223), cyclic(331) and  cyclic(332).
a(3,3)=2. The representative color multinomial is c[1]*c[2]*c[3] (from the m=3 partition [1,1,1]). There are the two non-equivalent representative necklaces cyclic(1,2,3) and cyclic(1,3,2) which constitute already the whole class (A213935(3,3)=2).
a(4,2) = 3 from two representative color multinomials c[1]^3*c[2] and c[1]^2*c[2]^2 (from the two m=2 partitions of n=4: [3,1] and [2,2]). The first one has one representative necklace, namely cyclic(1112), the second one originates from two representative necklaces: cyclic(1122) and cyclic(1212). Together these are the 3 necklaces counted by a(4,2). The class with the first representative consists of 4*3=12 necklaces, when all 4 colors are used. The class of the second representative consists of 2*6=12 necklaces. Together they sum up to the 24 necklaces counted by A213935(4,2).

Andrew Howroyd, Table of n, a(n) for n = 1..1275

Cf. A008284, A072605 (row sums), A212359, A213935.

Cf. A213940 (bracelets), A226874 (words).

b[n_, i_, t_] := b[n, i, t] = If[t == 1, 1/n!, Sum[b[n - j, j, t - 1]/j!, {j, i, n/t}]];
a226874[n_, k_] := If[n k == 0, If[n == k, 1, 0], n! b[n, 1, k]];
T[n_, k_] := (1/n) Sum[EulerPhi[n/d] a226874[d, k], {d, Divisors[n]}];
Table[T[n, k], {n, 1, 10}, {k, 1, n}] // Flatten (* Jean-François Alcover, Jul 06 2018, after Alois P. Heinz and Andrew Howroyd *)

\\ here U is A226874 as vector of polynomials.
U(n)={Vec(serlaplace(prod(k=1, n, 1/(1-y*x^k/k!) + O(x*x^n))))}
C(n)={my(t=U(n)); vector(n, n, vector(n, k, (1/n)*sumdiv(n, d, eulerphi(n/d) * polcoeff(t[d+1], k))))}
{ my(t=C(10)); for(n=1, #t, print(t[n])) } \\ Andrew Howroyd, Dec 20 2017

a(n,m) = Sum_{j=1..p(n,m)}A212359(n,k(n,m,1)+j-1), with k(n,m,1) the position where in the list of partitions of n in A-St order the first with m parts appears, and p(n,m) the number of partitions of n with m parts shown in the array A008284. E.g., n=5, m=3: k(5,3,1)=4, p(5,3)=2.

T(n,k) = (1/n)*Sum_{d|n} phi(n/d)*A226874(d, k). - Andrew Howroyd, Dec 20 2017

A213942 a(n) is the number of representative two-color bracelets (necklaces with turnover allowed) with n beads for n >= 2.

Original entry on oeis.org

1, 1, 3, 3, 7, 8, 18, 22, 46, 62, 136, 189, 409, 611, 1344, 2055, 4535, 7154, 15881, 25481, 56533, 92204, 204759, 337593, 748665, 1246862, 2762111, 4636389, 10253938, 17334800, 38278784, 65108061, 143534770, 245492243, 540353057, 928772649, 2041154125

Offset: 2

Wolfdieter Lang, Jul 31 2012

nonn

This is the second column (m=2) of triangle A213940.
The relevant floor(n/2) representative color multinomials are c[1]^(n-1)*c[2], c[1]^(n-2)*c[2]^2, ..., c[1]^(n-floor(n/2))* c[2]^(floor(n/2)). For such representative bracelets the color c[1] is therefore preferred. Only for even n can c[2] appear as often as c[1], namely, n/2 times.
Note that beads with different colors are always present. This is in contrast to, e.g., A000029, where not only representatives but also one-color bracelets are counted. This sequences gives the number of binary bracelets with at least as many 0's as 1's and at least one 1 (bracelet analog of A226881). The number of two-color bracelets up to permutations of colors is given by A056357. For odd n these two sequences are equal. For a(8), the bracelets 00011011 and 11100100 are equivalent in A056357 but distinct in this sequence. - Andrew Howroyd and Wolfdieter Lang, Sep 25 2017

			a(5) = A213939(5,2) + A213939(5,3) = 1 + 2 = 3 from the representative bracelets (with colors j for c[j], j=1,2) cyclic(11112), cyclic(11122) and cyclic(11212). The first one has color signature (exponents) [4,1] and the two others have signature [3,2]. For the number of all two-color 5-bracelets with beads of five colors available see A214308(5) = 60.
a(8) = 18 =  1 + 4 + 5 + 8 for the partitions of 8 with 2 parts (7,1), (6, 2), (5,3), (4,4), respectively. see A213939(5, k), k = 2..5). The 8 representative bracelets for the exponents (signature) from partition (4,4) are B1 = (11112222), B2 = (11121222), B3 = (11212122), B4 = (11212212), B5 = (11221122), B6 = (12121212), B7 = (11122122) and B8 = (11211222). B1 to B6 are color exchange (1 <-> 2) invariant (modulo D_8 symmetry, i.e., cyclic or anti-cyclic operations). B7 is equivalent to B8 under color exchange.
This explains why A056357(8) = 17. The difference between the present sequence and A056357 is that there, besides D_n symmetry, also color exchange is allowed. Here only color exchange compatible with D_n symmetry is allowed. - _Wolfdieter Lang_, Sep 28 2017

G. C. Greubel, Table of n, a(n) for n = 2..1000

Cf. A213939, A213940, A214307 (m=3), A214308 (m=2, all bracelets).

Cf. A056357, A226881.

a29[n_] := (1/4)*(Mod[n, 2] + 3)*2^Quotient[n, 2] + DivisorSum[n, EulerPhi[#]*2^(n/#)&]/(2*n);
a5648[n_] := 1/2*(Binomial[2*Quotient[n, 2], Quotient[n, 2]] + DivisorSum[n, EulerPhi[#]*Binomial[2*n/#, n/#]&]/(2*n));
a[n_] := a29[n]/2 - 1 + If[EvenQ[n], a5648[n/2]/2, 0];
Array[a, 37, 2] (* Jean-François Alcover, Nov 05 2017, after Andrew Howroyd *)

a(n) = A213940(n,2), n >= 2.
a(n) = Sum_{k=2..A008284(n,2)+1} A213939(n,k), n >= 2, with A008284(n,2) = floor(n/2).
a(2n) = (A000029(2n) + A005648(n)) / 2 - 1, a(2n+1) = A000029(2n+1) / 2 - 1. - Andrew Howroyd, Sep 25 2017

Terms a(26) and beyond from Andrew Howroyd, Sep 25 2017

A292223 a(n) is the number of representative six-color bracelets (necklaces with turning over allowed; D_6 symmetry) with n beads, for n >= 6.

Original entry on oeis.org

60, 180, 1050, 5040, 29244, 161340, 1046250, 4825800, 27790266, 145126548, 843333015, 4466836920, 26967624184, 137243187108, 789854179074, 4306147750200, 24711052977222, 134216193832908, 797987818325009, 4240082199867228

Offset: 6

Wolfdieter Lang, Sep 30 2017

nonn

This is the sixth column (m = 6) of triangle A213940.
The relevant p(n,6)= A008284(n, 6) representative color multinomials have exponents (signatures) from the six-part partitions of n, written with nonincreasing parts. E.g., n = 8: [3,1,1,1,1,1] and [2,2,1,1,1,1] (p(8,6)=2). The corresponding representative bracelets have the six-color multinomials c[1]^3*c[2]*c[3]*c[4]*c[5]*c[6] and c[1]^2*c[2]^2*c[3]*c[4]*c[5]*c[6].
See A056361 for the numbers if also color permutations for D_6 inequivalent bracelets are allowed. (Andrew Howroyd induced me to look at these bracelets.)

			a(6) = A213940(6,6) = A213939(6, 11) = 60 from the representative bracelets (with colors j for c(j), j=1..6) permutations of (1, 2, 3, 4, 5, 6) modulo D_6 (dihedral group) symmetry, i.e., modulo cyclic or anti-cyclic operations. E.g., (1, 2, 3, 4, 6, 5) == (2, 3, 4, 6, 5, 1) == (6, 4, 3, 2, 1, 5) == ..., but (1, 2, 3, 4, 6, 5) is not equivalent to (1, 2, 3, 4, 5, 6). If color permutation is also allowed, then there is only one possibility (see A056361(6) = 1).

Cf. A008284, A036036, A056361, A213940, A214311, A214314.

a(n) = A213940(n, 6), n >= 6.

a(n) = Sum_{k=b(n, 6)..b(n, 7)-1} A213939(n, k), for n >= 7, with b(n, m) = A214314(n, m) the position where the first m-part partition of n appears in the Abramowitz-Stegun ordering of partitions (see A036036 for the reference and a historical comment), and a(6) = A213939(6, b(6,6)) = A213939(6, 11) = 60.

cp's OEIS Frontend

A213943 Row sums of partition array A213939 and triangle A213940: number of representative bracelets with n beads and up to n colors.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

PARI

Formula

A213939 Partition array for the number of representative bracelets (dihedral symmetry D_n) with n beads, each available in n colors. Only the color type (signature) matters.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Formula

A214309 a(n) is the number of representative four-color bracelets (necklaces with turning over allowed) with n beads, for n >= 4.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

PARI

Formula

Extensions

A214311 a(n) is the number of representative five-color bracelets (necklaces with turning over allowed) with n beads, for n >= 5.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Formula

A214307 a(n) is the number of representative three-color bracelets (necklaces with turn over allowed) with n beads for n >= 3.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

PARI

Formula

Extensions

A213934 Triangle with entry a(n,m) giving the number of necklaces of n beads (C_N symmetry) with n colors available for each bead, but only m distinct fixed colors, say c[1],...,c[m], are present, with m from {1,...,n} and n>=1.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A213942 a(n) is the number of representative two-color bracelets (necklaces with turnover allowed) with n beads for n >= 2.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

Extensions

A292223 a(n) is the number of representative six-color bracelets (necklaces with turning over allowed; D_6 symmetry) with n beads, for n >= 6.