arxiv: v2 [math.co] 6 Jul 2017

Transcription

1 COUNTING WORDS SATISFYING THE RHYTHMIC ODDITY PROPERTY FRANCK JEDRZEJEWSKI arxiv: v2 [math.co] 6 Jul 2017 Abstract. This aer describes an enumeration of all words having a combinatoric roerty called rhythmic oddity roerty named ro-words. This roerty was introduced by Simha Aron in the 1990s. The set of ro-words is not a subset of the set of Lyndon words, but is very closed. We show that there is a bijection between some necklaces and ro-words. This leads to a formula for counting the ro-words of a given length. Keywords: Combinatoric on words. Lyndon words. Rhythmic oddity. Music formalization The rhythmic oddity roerty was discovered by ethnomusicologist Simha Aron [2] in the study of Aka ygmies music. The rhythms satisfying this roerty are refinement of aksak rhythms described by C. Brăiloiu [4] in 1952, and used also in Turkish and Bulgarian music. They have been studied by M. Chemillier and C. Truchet in [6] and André Bouchet in [3] who gave some nice characterizations. Related roblems of asymmetric rhythms have been studied by Rachael Hall and Paul Klingsberg [7, 8]. In this aer, we carry on these studies by showing a one to one corresondance between some necklaces and words satisfying the rhythmic oddity roerty. 1. The rhythmic oddity roerty Patterns with rhythmic oddity roerty are combinations of durations equal to 2 or 3 units, such as the famous Aka ygmies rhythm , and such that when lacing the sequence on a circle, one cannot break the circle into two arts of equal length whatever the chosen breaking oint. In the langage of combinatorics of words, this roerty in terms of words ω over the alhabet A = {2, 3} is defined as follows. The height h(ω of a word ω = ω 0 ω 1... ω n 1 of length n is by definition the sum of its letters h(ω = j=0,...,n 1 ω j. A word ω satisfies the rhythmic oddity roerty (ro if h(ω is even and no cyclic shift of ω can be factorized into two words uv such that h(u = h(v. For short, we call ro-word a word over the alhabet {2, 3} satisfying the rhythmic oddity roerty. For instance, the word of height 12 is a ro-word, as well as all words of the form 32 n 32 n+1 for all non-negative integers n, where the notation 2 n means the letter 2 is reeated n times. The roerties of ro-words have been outine in [6]. But contrary to what is sometimes written, the set of ro-words is not a subset of the set of Lyndon words. The words 222 and are ro-words, but not Lyndon words. A Lyndon word is a string that is strictly smaller in lexicograhic order than all of its rotations. Conversely, the set of Lyndon words is not included in the set of rowords, since 2233 is a Lyndon word, but not a ro-word (the words 23 and 32 have the same height and 2332 is a rotation of We call a Lyndon ro-word a word 1

2 2 FRANCK JEDRZEJEWSKI of the monoid {2, 3} that is both a Lyndon word and a ro-word. The aim of this aer is to count the number of Lyndon ro-words and the number of ro-words of length n. 2. A bijection between some necklaces and ro-words André Bouchet gave some characterizations of ro-words in [3]. We resent the main results of his aer. Let ε be the emty word and ω a word over {2, 3}. The cycle δ of ω is defined by δ(ε = ε and δ(aω = ωa, for a {2, 3}. The rotations of ω are the words δ k (ω, for all ositive integer k > 0. In his aer, Bouchet shows the following lemma. Lemma 1. Let ω = ω 0 ω 1... ω n 1 be a word over the alhabet A = {2, 3} of height 2h. The word ω is a ro-word if and only if the two conditions are satisfied: (i The length of ω is odd, say 2l + 1. (ii The height of the refixes of length l of the rotations of ω are equal to h 2 or h 1. From this lemma, André Bouchet shows the following theorem. Let ω be a word of length n and d be an integer such that 0 < d n/2. A d-airing of ω is a artition of the subset of indices {i : 0 i < n, ω i = 3} into airs of indices {j, j + d}. Arithmetic oerations on indices are to be understood mod n. Theorem 2. Let ω be a word of even height. ω is a ro-word if and only if the two conditions are satisfied: (i The length of ω is odd, say 2l + 1. (ii ω admits a l-airing. Let n 2 and n 3 be the number of symbols 2 and 3 in ω and n = n 2 + n 3 be the length of ω. For a given n 2, we will use the d-airing to show that there is a one to one corresondance between aeriodic necklaces of length n with n 2 black beads (reresented by letter 2 and (n n 2 white beads (reresented by letter 3 and Lyndon ro-words of length n = 2n n 2 with n 2 = n 2 letters 2 and n 3 = 2(n n 2 letters 3. And also a one-to-one corresondance between necklaces (eventually eriodic of length n with n 2 black beads (reresented by letter 2 and (n n 2 white beads (reresented by letter 3 and ro-words. The corresondance is obtained by adding or removing the letters 3 coming from the airing. Let us examine an examle. (See fig. 1 Fix n 2, for instance n 2 = 3, and let n be n = 5. The word is a (Lyndon ro-word with odd length 7 (n 2 = 3, n 3 = 4 since it has a 3-airing. Put the word on a circle, starting from the bottom and turn counterclockwise as shown on the figure 1. Now discard the second 3 of each airing (3, 3 turning counterclockwise. Reading the remaining word clockwise starting from the bottom gives the word 22332, one of the two necklaces of length 5 with 3 letters 2. Conversely, starting from the word 22233, it is easy to add a 3-airing by doubling each letter 3, with resect to the counterclockwise tour. Let ω = ω 0 ω 1... ω n 1 be a word of {2, 3} and corime with n. Denote by ω ( = x 0 x 1... x n 1 the word obtained by reading all letters of ω by ste, starting from ω 0. Namely, each letter of ω ( is x j = ω k with k = j mod, 0 j <. For instance, the word ω = deicted on fig. 1 with n = 7 and l = 3 becomes ω (2 = A. Bouchet shows

3 COUNTING WORDS SATISFYING THE RHYTHMIC ODDITY PROPERTY 3 Figure 1. Cyclic reresentation of ro-words Theorem 3. Let ω be a word of even height. ω is a ro-word if and only if the two conditions are satisfied: (i The length of ω is odd, say 2l + 1. (ii ω (l admits a 1-airing. In other words, we can always transform a (res. Lyndon ro-word ω of length 2l + 1 by a one-to-one ma φ such that the letters 3 in ω (l are always couled by subwords 33. The bijection ψ sending 2 0 and 33 1 mas ω (l to a word ω {0, 1} corresonding to a (res. aeriodic necklace. ω φ ω (l ψ ω The table 1 shows the first Lyndon ro-words for n 2 = 3 and the corresonding aeriodic necklaces Aeriodic Necklaces n Lyndon Ro-words n Table 1. Corresondance for n 2 = 3 Conversely, starting from the reresenting Lyndon word of a aeriodic necklace ω, we construct the word ω (l by the bijection ψ 1 sending 0 2 and 1 33, and the word ω by alying φ 1. By construction, the height h(ω (l is even and also h(ω. Moreover, ω has a l-airing and then is a ro-word.

4 4 FRANCK JEDRZEJEWSKI 3. Enumeration of the ro-words The number of necklaces (see [1] for details, and also [5] for alications to music theory with n 2 black beads and n 3 /2 white beads derives from the generating function of the action of the cyclic grou (1 Z(C n2, x = 1 ϕ(dx n2/d d n 2 d n 2 where the sum is over all divisors d of n 2 and ϕ is the Euler totient function, according to the substitution of x j by 1 1 x. The develoement gives the coefficients j of x j which are recisely the number of necklaces with n 2 black beads and j white beads. For examle, if n 2 = is rime, the develoement leads to the following equations: (2 Z(C, x = 1 (ϕ(1x 1 + ϕ(x = 1 1 (1 x x ( ( = 1 ( ( + n x n + 1 x n n! n=1 n=0 = ( + n 1 x n + 1 ( x + x 2 + x n n=1 = 1 + a n x n n=1 with { ( +n 1 (3 a n = ( n if n 0 mod +n if n 0 mod n The table 2 with n 2 on the horizontal axis and n 3 on the vertical axis shows the number of ro-words for n 2 and n 3 fixed. The number of ro-words of length n is given by summing along the diagonal n 2 + n 3 = n. Each column of the table is obtained from the develoement of the generating function Z(C n2, x. For n 2 rime, the coefficients agree with the formula of a n given above Table 2. Number of ro-words (n 2, n 3 In each column, we recover the number of binary necklaces with length n 2 + q and density q = n 3 /2 given by the rhs of the next formula. From the bijection of the revious section, it follows that the number R(n 2, n 3 of ro-words with n 2

5 COUNTING WORDS SATISFYING THE RHYTHMIC ODDITY PROPERTY 5 symbols 2 and n 3 symbols 3 is the number of binary necklaces of length n 2 + n 3 /2 and density n 3 /2, (4 R(n 2, 2q = 1 n 2 + q d gcd(n 2+q,q ( (n2 + q/d ϕ(d q/d, q = 1, 2, 3,... By comuting Lyndon words on alhabet {2, 3} and deleting those which are not ro-words, we get the table 3 of the number of Lyndon ro-words for n 2 and n 3 fixed, with n 2 on the horizontal axis and n 3 on the vertical axis. The total number of Lyndon ro-words of length n is obtained by summing along n 2 + n 3 = n. The differences between the tables 2 and 3 are in italics Table 3. Number of Lyndon ro-words (n 2, n 3 In each column of table 3, we recover the number of fixed density Lyndon words given by the following formula, with n 3 = 2q. It follows from the revious section, that the number L(n 2, n 3 of Lyndon ro-words with n 2 symbols 2 and n 3 symbols 3 is (5 L(n 2, 2q = 1 n 2 + q d gcd(n 2+q,q ( (n2 + q/d µ(d q/d, q = 1, 2, 3,... where µ is the Mobius function. By summing these formulas along a diagonal n = n 2 +n 3, we get the number L n of Lyndon ro-words of length n and the number R n of ro-words of the length n: (6 L n = and (7 R n = n 2+n 3=n n 2+n 3=n L(n 2, n 3 = (n 3/2 =0 (n 3/2 R(n 2, n 3 = 1 + =0 L(2 + 1, n 2q 1 R(2 + 1, n 2 1 These numbers are tabulated as follows: If n is rime, the difference between the n R n L n Table 4. Numbers of Lyndon ro-words and ro-words of length n

6 6 FRANCK JEDRZEJEWSKI cardinal of the two sets is 1, since the word 2 n (where the letter 2 is reeated n times is a ro-word but not a Lyndon word. If n is a roduct or a ower of rimes, some eriodic words aear that are ro-words but not Lyndon words. This exlains the differences between the set of ro-words and the set of Lyndon ro-words. For instance, if n = 9, (233 3 is a ro-word but not a Lyndon word. The same is true for the words ( , (233 5 and ( of length 15. For n 2 = 9 and n 3 = 12, there are 333 Lyndon ro-words and 335 ro-words. The two non Lyndon ro-words are: ( and ( Generalization: from ro to ra words 4.1. First generalization. Let s be an integer 2. The rhythmic oddity roerty could be generalized in two ways. The first way is as follows. Definition 4. A word ω {2, 3} is a s-ro word if (i h(ω 0 mod s (ii No cyclic shift of ω can be factorized into s words u 1, u 2,..., u s such that h(u 1 = h(u 2 =... = h(u s A Lyndon s-ro word is both a s-ro word and a Lyndon word. For instance, if s = 3, the first 3-ro words are: 2223, (3333, 22233, 22323, (33333, , , , , , , ( Non Lyndon words are given in arenthesis. A comutation of the number of the first 3-ro words of length n is given in table 5. n R (3 n L (3 n Table 5. Number of 3-ro words For s = 4, the first 4-ro words are: 22233, 22323, (222222, , , (233233, , , , Non Lyndon words are in arenthesis. The star indicates 2-ro words. A comutation of the number of the first 4-ro words of length n is given in table 6 n R (4 n L (4 n Table 6. Number of 4-ro words 4.2. Second generalization. The second way of generalization is to change the alhabet and to consider words over A = {1, 2,..., s}. Definition 5. A word ω {1, 2,..., s} has the rhythmic arity roerty (ra of order s if (i h(ω 0 mod s

7 (ii No cyclic shift of ω can be factorized into s non-emty words u 1, u 2,..., u s such that h(u 1 = h(u 2 =... = h(u s For short, we call s-ra-word a word with the rhythmic arity roerty of order s. For examle, on the alhabet {1,2,3}, the words 111 and 333 are not 3-ra-words, but 123 and 132 are. The word is not a 3-ra-word since the subwords u 1 = 111, u 2 = 3 and u 3 = 3 have the same height, but the word is a raword. A Lyndon s-ra-word is both a s-ra-word and a Lyndon word. For instance, 11133, 11313, are Lyndon 3-ra-words. Acknowledgements I would like to thank Harald Friertinger for valuable comments and remarks. References [1] Aigner M. A Course in Enumeration, Sringer, [2] Arom S., African Polyhony and Polyrhythm, Cambridge: Cambridge University Press, [3] Bouchet A. Imarité rythmique, Paris: ENS, Culturemath, [4] Brăiloiu C., Le rythme aksak, Revue de musicologie 33 ( [5] Case J., Necklaces and bracelets: Enumeration, algebraic roerties and their relationshi to music theory, Master Thesis, University of Maine, G. Markowsky, advisor, [6] Chemillier M., Truchet C. Comutation of words satisfying the rhythmic oddity roerty, Information Processing Letters 86: 5, (2003, [7] Hall R.W., Klingsberg P. Asymmetric Rhythms, Tiling Canons, and Burnside s Lemma, Bridges: Mathematical Connections in Art, Music, and Science. R. Sarhangi and C. Sequin, eds., Winfield, Kansas (2004, [8] Hall R.W., Klingsberg P. Asymetric Rhythms and Tiling Canons, Amer. Math. Monthly 113:10, (2006,