cp's OEIS Frontend

b(n)=a(n-3) is the number of asymmetric nonnegative integer 2 X 2 matrices with sum of elements equal to n, under action of dihedral group D_4(b(0)=b(1)=b(2)=0). G.f. for b(n) is x^3/((1-x)^2*(1-x^2)*(1-x^4)). - Vladeta Jovovic, May 07 2000

If the offset is changed to 5, this is the 2nd Witt transform of A004526 [Moree]. - R. J. Mathar, Nov 08 2008

a(n) is the number of partitions of 2*n into powers of 2 less than or equal to 2^3. First differs from A000123 at n=8. - Alois P. Heinz, Apr 02 2012

a(n) is the number of bracelets with 4 black beads and n+3 white beads which have no reflection symmetry. For n=1 we have for example 2 such bracelets with 4 black beads and 4 white beads: BBBWBWWW and BBWBWBWW. - Herbert Kociemba, Nov 27 2016

a(n) is the also number of aperiodic bracelets with 4 black beads and n+3 white beads which have no reflection symmetry. This is equivalent to saying that a(n) is the (n+7)th element of the DHK[4] (bracelet, identity, unlabeled, 4 parts) transform of 1, 1, 1, ... (see Bower's link about transforms). Thus, for n >= 1 , a(n) = (DHK[4] c){n+7}, where c = (1 : n >= 1). This is because every bracelet with 4 black beads and n+3 white beads which has no reflection symmetry must also be aperiodic. This statement is not true anymore if we have k black beads where k is even >= 6. - _Petros Hadjicostas, Feb 24 2019

a(n) is the number of bracelets with k = 5 black beads and n-k white beads which have no reflection symmetry. - Herbert Kociemba, Nov 27 2016

From Petros Hadjicostas, Feb 24 2019: (Start)

When k is odd >= 3, the DHK[k] transform of sequence c = (c(n): n >= 1), whose g.f. is C(x) = Sum_{n>=1} c(n)*x^n, has g.f. Sum_{n>=1} (DHK[k] c)n*x^n = (1/2)*Sum{d|k} mu(d)*((1/k)*C(x^d)^(k/d) - C(x^d)*C(x^(2*d))^((k/d) - 1)/2)).

For the current sequence we have k = 5 and c(n) = 1 for all n >= 1. Hence, C(x) = x/(1-x) and A(x) = Sum_{n>=1} a(n)*x^n = (x^k/2)*Sum_{d|k} mu(d)*((1/k)*(1-x^d)^(-k/d) - (1-x^d)^(-1)*(1-x^(2*d))^(-((k/d) - 1)/2)).

The latter g.f. agrees with Herbert Kociemba's formula found below only when k is an odd prime. The reason is that (DHK[k] c)_n, with c=(1,1,1,...), is the number of aperiodic bracelets without reflection symmetry with k black beads and n-k white beads, while Herbert Kociemba's formula counts all (periodic and aperiodic) bracelets without reflection symmetry with k black beads and n-k white beads. Hence, in the case k is an odd prime, the two formulas agree.

When k is even, the g.f. of the DHK[k] transform of sequence c = (c(n): n >= 1) is much more complicated.

Note that Herbert Kociemba's formula for counting all (periodic and aperiodic) bracelets with no reflection symmetry is still valid even when k is even; e.g., see sequence A008804 for the case k=4. For k = 4, all bracelets with 4 black beads and n-k = n-4 white beads that have no reflection symmetry are aperiodic, but this is not true anymore for k even >= 6.

(End)

Here, a(n) is the number of aperiodic bracelets with k = 6 black beads and n-k = n-6 white beads that have no reflection symmetry. We conjecture that we can use Herbert Kociemba's formula from the documentation of sequences A008804 and A032246 to derive the g.f. of (a(n): n >= 1). See below for more details. - Petros Hadjicostas, Feb 24 2019

Let Z_n = {0,1,...,n-1} denote the integers mod n.

Let S be a k-subset of Z_n.

Then S has multiplier -1 iff there is a z in Z_n for which S = -S + z. Otherwise, S doesn't have multiplier -1.

For example in Z_7 the set S = {0,1,2} has multiplier -1 since -S = {0,-1,-2} = {0,5,6} and then {0,1,2} = {0,5,6} + 2, so S = -S + 2. But S={0,1,3} doesn't have multiplier -1.

Let S and S' be two k-subsets of Z_n.

Define an equivalence relation on the set of k-subsets as follows: S is congruent to S' iff S=S'+z or S = -S' + z for some z in Z_n.

Then define OC(n, k) to be the number of such congruence classes.

And define OC(n, k; not -1) to be the number of such congruence classes in which the representative doesn't have -1 as a multiplier.

Then this sequence is the 'OC(n,k; not -1)' triangle read by rows.

For convenience we start the triangle at n = 0, and we have 0 <= k <= n.

See the McSorley and Schoen (2013) reference below for equivalent definitions of this sequence in terms of (n,k)-Ovals and k-compositions of n.

From Petros Hadjicostas, May 29 2019: (Start)

Here, T(n, k) is the number of bracelets (turnover necklaces) of length n that have no reflection symmetry and consist of k white beads and n - k black beads. (Bracelets that have no reflection symmetry are also known as chiral bracelets.)

It is also the number of dihedral compositions of n into k parts with no reflection symmetry. It is also the number of dihedral compositions of n into n - k parts with no reflection symmetry. (For a definition of a dihedral composition, see Knopfmacher and Robbins (2013) in the references.)

For MacMahon's method for transforming a cyclic composition into a necklace and vice versa, see the comments for sequence A308401. See also p. 273 in Sommerville (1909).

(End)

Here, a(n) is the number of aperiodic bracelets with k = 8 black beads and n-k = n-8 white beads that have no reflection symmetry. We conjecture that we can use Herbert Kociemba's formula from the documentation of sequences A008804 and A032246 to derive the g.f. of (a(n): n >= 1). See below for more details. - Petros Hadjicostas, Feb 24 2019

From Petros Hadjicostas, Feb 24 2019: (Start)

Let ff(k, x) = x^k/2 * ( (1/k)*Sum_{n|k} phi(n)/(1 - x^n)^(k/n) - (1 + x)/(1 -x^2)^floor(k/2 + 1) ) be Herbert Kociemba's formula for the g.f. of the number of all bracelets with k black beads and n-k white beads that have no reflection symmetry.

Let gg(k, x) be the generating function of the number of all aperiodic bracelets with k black beads and n-k white beads that have no reflection symmetry.

We conjecture that gg(k, x)= Sum_{d|k} mu(d)*ff(k/d, x^d).

For n >= 3, a(n) is the coefficient of x^(2*n) of the Taylor expansion of gg(n, x) around x=0. [Bower has special definitions for DHK[1] and DHK[2].]

(End)

Bracelets that have no reflection symmetry are also known as chiral bracelets.

Here, for n >= 6, a(n) is also the number of dihedral compositions of n with 6 parts that have no reflection symmetry. Taking the MacMahon conjugates of these dihedral compositions, we see that a(n) is also the number of dihedral compositions of n into n-6 parts that have no reflection symmetry.

A cyclic composition b_1 + b_2 + ... + b_k of n into k parts is an equivalent class of (linear) compositions of n into k parts (placed on a circle) such that two such (linear) compositions are equivalent iff one can be obtained from the other by a rotation. Such compositions were first studied extensively by Sommerville (1909).

A dihedral composition b_1 + b_2 + ... + b_k of n into k parts is an equivalent class of (linear) compositions of n into k parts (placed on a circle) such that two such (linear) compositions are equivalent iff one can be obtained from the other by a rotation or a reversal of order. Such compositions were studied, for example, by Knopfmacher and Robbins (2013).

Given a bracelet of length n with k white beads and n-k black beads, we may get the corresponding dihedral composition using MacMahon's correspondence: start with a white bead and count that bead and the black beads that follow (in one direction), and call that b_1; then start with the next white bead and count that one and the black beads that follow, and call that b_2; repeat this process until you reach the k-th white bead and count that one and the black beads that follow, and call that b_k. The corresponding dihedral composition is b_1 + b_2 + ... + b_k.

If in the previous paragraph (given a bracelet of length n with k white beads and n-k black beads), we replace the white beads with black beads and the black beads with white beads, we get a dihedral composition of n into n-k parts: c_1 + c_2 + ... + c_{n-k}. These two dihedral compositions (which correspond to the same bracelet) are called "conjugate" compositions. See p. 273 in Sommerville (1909) for an explanation of "conjugate" compositions in the context of cyclic compositions.

Symmetric cyclic compositions of a positive integer n were first studied by Sommerville (1909, pp. 301-304). It can be proved that the study of necklaces with reflection symmetry using beads of two colors is equivalent to the study of symmetric cyclic compositions of a positive integer. Clearly all the necklaces with reflection symmetry are all the bracelets (turnover necklaces) with reflection symmetry. See also the comments for sequences A119963, A292200, and A295925.

For k = 1, 4, or a prime, the columns of this triangular array are exactly the same as the corresponding columns for the triangular array A180472. In other words, all chiral bracelets with n beads, k of which are white and n - k are black, are aperiodic if k = 1, 4, or a prime.

Note that, T(n, k) is also the number of aperiodic dihedral compositions of n with k parts and no reflection symmetry. Since T(n, k) = T(n, n - k), T(n, k) is also the number of aperiodic dihedral compositions of n with n - k parts and no reflection symmetry.