Necklace (combinatorics)
Compare box(6,9) in the triangle.
In combinatorics, a k-ary necklace of length n is an equivalence class of n-character strings over an alphabet of size k, taking all rotations as equivalent. It represents a structure with n circularly connected beads which have k available colors.
A k-ary bracelet, also referred to as a turnover (or free) necklace, is a necklace such that strings may also be equivalent under reflection. That is, given two strings, if each is the reverse of the other, they belong to the same equivalence class. For this reason, a necklace might also be called a fixed necklace to distinguish it from a turnover necklace.
Formally, one may represent a necklace as an orbit of the cyclic group acting on n-character strings over an alphabet of size k, and a bracelet as an orbit of the dihedral group. One can count these orbits, and thus necklaces and bracelets, using Pólya's enumeration theorem.
Equivalence classes
Number of necklaces
There are
- [math]\displaystyle{ N_k(n)=\frac{1}{n}\sum_{d\mid n}\varphi(d)k^{n/d} = \frac{1}{n} \sum_{i=1}^n k^{\, {\rm gcd}(i, n)} }[/math]
different k-ary necklaces of length n, where [math]\displaystyle{ \varphi }[/math] is Euler's totient function.[1] This follows directly from Pólya's enumeration theorem applied to the action of the cyclic group [math]\displaystyle{ C_n }[/math] acting on the set of all functions [math]\displaystyle{ f : \{1,\ldots,n\} \to\{1,\ldots,k\} }[/math]. If all k colors must be used, the count is
- [math]\displaystyle{ L_k(n)=\frac{k!}{n}\sum_{d\mid n}\varphi(d)S\left(\frac{n}{d}, k\right)\;, }[/math]
where [math]\displaystyle{ S(n, k) }[/math] are the Stirling number of the second kind.
[math]\displaystyle{ N_k(n) }[/math] (sequence A054631 in the OEIS) and [math]\displaystyle{ L_k(n) }[/math] (sequence A087854 in the OEIS) are related via the Binomial coefficients:
- [math]\displaystyle{ N_k(n)=\sum_{j=1}^k\binom{k}{j} L_j(n) }[/math]
and
- [math]\displaystyle{ L_k(n)=\sum_{j=1}^k(-1)^{k-j}\binom{k}{j}N_j(n) }[/math]
Number of bracelets
There are a total of
- [math]\displaystyle{ B_k(n) = \begin{cases} \tfrac12 N_k(n) + \tfrac14 (k+1)k^{n/2} & \text{if }n\text{ is even} \\[10px] \tfrac12 N_k(n) + \tfrac12 k^{(n+1)/2} & \text{if }n\text{ is odd} \end{cases} }[/math]
different k-ary bracelets of length n, where Nk(n) is the number of k-ary necklaces of length n. This follows from Pólya's method applied to the action of the dihedral group [math]\displaystyle{ D_n }[/math].
Case of distinct beads
corresponding to the k-th integer partition
(set partitions up to rotation and reflection)
For a given set of n beads, all distinct, the number of distinct necklaces made from these beads, counting rotated necklaces as the same, is n!/n = (n − 1)!. This is because the beads can be linearly ordered in n! ways, and the n circular shifts of such an ordering all give the same necklace. Similarly, the number of distinct bracelets, counting rotated and reflected bracelets as the same, is n!/2n, for n ≥ 3.
If the beads are not all distinct, having repeated colors, then there are fewer necklaces (and bracelets). The above necklace-counting polynomials give the number necklaces made from all possible multisets of beads. Polya's pattern inventory polynomial refines the counting polynomial, using variable for each bead color, so that the coefficient of each monomial counts the number of necklaces on a given multiset of beads.
Aperiodic necklaces
An aperiodic necklace of length n is a rotation equivalence class having size n, i.e., no two distinct rotations of a necklace from such class are equal.
According to Moreau's necklace-counting function, there are
- [math]\displaystyle{ M_k(n)=\frac{1}{n}\sum_{d\mid n}\mu(d)k^{n/d} }[/math]
different k-ary aperiodic necklaces of length n, where μ is the Möbius function. The two necklace-counting functions are related by: [math]\displaystyle{ N_k(n) = \sum_{d|n} M_k(d), }[/math] where the sum is over all divisors of n, which is equivalent by Möbius inversion to [math]\displaystyle{ M_k(n) = \sum_{d|n} N_k(d)\,\mu\bigl(\tfrac{n}{d}\bigr). }[/math]
Each aperiodic necklace contains a single Lyndon word so that Lyndon words form representatives of aperiodic necklaces.
See also
- Lyndon word
- Inversion (discrete mathematics)
- Necklace problem
- Necklace splitting problem
- Permutation
- Proofs of Fermat's little theorem
- Forte number, a representation of binary bracelets of length 12 used in atonal music.
References
External links
- Weisstein, Eric W.. "Necklace". http://mathworld.wolfram.com/Necklace.html.
- Ruskey, Frank (2006). "Info on necklaces, Lyndon words, De Bruijn sequences". http://www.theory.csc.uvic.ca/~cos/inf/neck/NecklaceInfo.html.
- Ruskey, Frank; Savage, Carla; Wang, Terry Min Yih (1992). "Generating necklaces". Journal of Algorithms 13 (3): 414–430. doi:10.1016/0196-6774(92)90047-G.
 |  |
