# TILING THE (MUSICAL) LINE WITH POLYNOMIALS: SOME THEORETICAL AND IMPLEMENTATIONAL ASPECTS

Skip other details (including permanent urls, DOI, citation information)This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License. Please contact mpub-help@umich.edu to use this work in a way not covered by the license. :

For more information, read Michigan Publishing's access and usage policy.

Page 00000001 TILING THE (MUSICAL) LINE WITH POLYNOMIALS: SOME THEORETICAL AND IMPLEMENTATIONAL ASPECTS Emmanuel Amiot CPGE Perpignan 1 rue du Centre F-66570 St Nazaire, France Moreno Andreatta Ircam-CNRS 1, place Stravinsky 75004 Paris, France Carlos Agon Ircam 1, place Stravinsky 75004 Paris, France ABSTRACT This paper aims at discussing the polynomial approach to the problem of tiling the (musical) time axis with translates of one tile. This mathematical construction naturally leads to a new family of rhythmic tiling canons having the property of being generated by cyclotomic polynomials (tiling cyclotomic canons). 1. INTRODUCTION Tiling problems in music theory, analysis and composition have a relatively old history in mathematical music theory. Surprisingly, despite the well-known canonical equivalence (isomorphism) between a well-tempered division of the octave and the cyclic character of any periodic rhythm [19], the study of some tiling properties of the time-line by means of translates of a given rhythmic tile (or some usual transformations of it) is a relatively new research area inside mathematical music theory. Dan Tudor Vuza's algebraic model of tiling canon construction by the factorization of a cyclic group into a direct sum of two subsets [20] gave a strong impulse to the implementation of algebraic methods in music composition. 1 In this paper we focus on cyclotomic polynomials. Some preliminary definitions about cyclotomic polynomials, tiling of the line process and rhythmic tiling canon construction will be provided in Section 2. In Section 3 we show how this approach has been implemented in OpenMusic visual programming language and discuss some difficulties in directly applying the cyclotomic factorization to the canon construction. In Section 4 we discuss some interesting connections between Vuza's original model of Regular Complementary Canons of Maximal Category [20] and the polynomial approach by also showing how both approaches are intimately related to some mathematical conjectures. 1 For a detailed presentation of the group factorization approach to the construction of tiling canons, together with the OpenMusic implementation, see [5]. For a combinatorial discussion of Vuza's model, also see [9] and [12]. For a different compositional approach to the problem tiling the line, see [13]. 2. SOME PRELIMINARY DEFINITIONS This section provides some definitions on cyclotomic polynomials and some general factorization theorems. 2.1. 0-1 polynomials and rhythmic tiling canons A rhythmic tiling canon is a decomposition of a cyclic group Z, into a direct sum of two subsets: Z,= AeB An enhancement of the ambient structure originates to [16]: put A(x) = CaEA xa, then the above equation becomes a relation between 0-1 polynomials, that is to say polynomials with coefficients being either 0 or 1: A(x)xB(x) - 1+x+x2 + +Xn-1 (mod xn-1) Factors of the polynomial A, (x) = 1+x+x2 +...n-1 are thus of paramount importance, especially those with 0 -1 coefficients. We find a number of them by considering the cyclotomic approach. 2.2. Cyclotomic polynomials Definition 1 The nth cyclotomic polynomial is n(x) = ([ (x-e2i k ) gcd(k,n)=l This the monic polynomial whose roots are the primitive units of order n, that is to say the ( E C for which z" = 1 though zXr 1 for 1 < r < n. A classical result states that these polynomials have integer coefficients, i.e. n,(x) E Z[x]. Another classical result states that they are irreducible in the euclidean ring Q[x], and hence in Z[x]. Another way to put it is that any polynomial in Z[x] having a primitive unit root of order n has ~, as a factor. Directly relevant to rhythmic canons is the fact that the product of a selection of cyclotomic polynomials can be expressed by the following equations: - 1 = d d() An (-) = dLn,d__1 d(x) (1)

Page 00000002 Formula (1) enables to compute efficiently all cyclotomic polynomials. Usually P, have integer coefficients which are often 0, 1 or -1. In particular the rhythm of a metronome is easily expressed as a product of cyclotomic polynomials: mk l+xk+2k(+...(m-l)k x -- I Xk - 11 dlmk,d\k Note that some of these cyclotomic factors are NOT 0-1 polynomials, though their product is. For instance: 46 X 3 = ( - + 2)(1 X + 2) = + 2 4 4 2.3. CYCLOTOMIC POLYNOMIALS AND THE RHYTHMIC TILING CANON CONSTRUCTION The importance of these particular polynomials lies in the following lemme: Lemme 1 If A B = Z,, then for all d \ n (d # 1) d is a divisor of either A(x) or B(x). Thus, cyclotomic polynomials occur in all rhythmic canons. Conversely, in the OpenMusic implementation we have tried to use these polynomials to build up some rhythmic canons. As we will see, some other rhythmic canons are left out of this schema, but nevertheless it gives an interesting degree of control over the canons construction. Except in special cases([3]), it is not known whether a given rhythmic motif enables to make a canon unless one is able to exhibit such a canon; but looking for the outer rhythm knowing only the inner rhythm is impractical as far as computing time is concerned. Since 1998, there is a useful sufficient condition (also necessary when the number of notes in the rhythmic pattern has at most two prime factors) dealing with the cyclotomic factors. Let A be an inner rhythm (i.e. a rhythmic pattern that tiles, see [3]) and A(x) the associated 0-1 polynomial. Put RA = {d, 4d divides A(x)} and SA = {pa E RA} the subset of prime powers. It is proved in [7] that if both following conditions (henceforth the Coven-Meyerowitz conditions) are true, then A enables to build a rhythmic canon: (TI): A(1) = Hnep AP The condition (Ti) is also always necessary. We will look again at these conditions in connection with the spectral conjecture and its relationship with Vuza canons in the final section. The next section deals with construction of rhythmic canons in OpenMusic using these conditions. 3. THE OPENMUSIC IMPLEMENTATION 3.1. The list of cyclotomic products having the T1 and T2 properties For periods n > 10 we need to test the two conditions of Coven and Meyerowitz in order to be sure that the associated rhythmic canon tiles the time axis. The algorithm thus tests all sublists of the list of divisors of n for conditions T1, T2 and computes the corresponding products of cyclotomic polynomials. We will discuss in detail the cases n = 12 and n = 16. 3.1.1. The case n=12 Since 12 has five divisors (2, 3, 4, 6, 12), the cyclotomic factors may be combined in several ways in order to tile the line. Apart from 4 =6 1 - x + x2 and P12 = 1 - x2 + x4 (which are not 0-1 polynomials), each cyclotomic polynomial of index k e {2, 3, 4} tiles the line by itself. We lose somehow the symmetric distribution of the simpler cases. For instance A = 2P4 A6 should tile, as conditions T1,T2 are fulfilled: SA= {2, 4} and there is only (Ti) to check, namely A(1) = 2 x 2. But the simple trick of multiplying the remaining cyclotomic factors of 1 + x + x2 +... 11 does not work this time, as 3 12 = 1+ X - X3 + 5 +x6 is not a 0-1 polynomial. The outer rhythm may still be produced with cyclotomic polynomials, following the proof of the Coven and Meyerowitz theorem, but the formula is more complicated: B(x) = 3(4) x 4 +x (see figure 1) 1316112 S 0 1 101) K1 00010001 LISP LiSi poLq2canon poltu2anon LI P LI F LIs5 transp-comb basicform basieform canons,~~i Figure 1. A 3 voices tiling rhythmic canon associated with the two polynomials A(x) and B(x). 3.1.2. The case n=16 All possible solutions for period n = 16 are given in Figure 2.

Page 00000003 P;======== =PERIOD 16= '(16 (( 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1) niL (2 4 8 16))) ((( (1 ) ( 1 0 1 0 1 0 1 0 1 0 1 0 1) (2))) (((1 0 1) (1 1 0 1 0 0 0 1 0 0 0 1) (4))) (((1 0 0 0 1)) ( 1 1 1 0 0 0 0 1 1 1 1) (8))) (((1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1) (1 ))) (((1 1 1 1) (1 0 0 0 1 0 0 0 1 0 0 0 1) (2 4))) (((1 1 0 0 1 1 0 1 0 0 0 0 0 1 0 1) (2 8))) (((1 1 0 0 0 0 0 0 1 1) (1 0 1 0 1 0 1) (2 16))) (((1 0 1 0 1 0 1) (1 1 0 0 0 0 0 0 1 ) (4 8))) (((1 0 1 0 00 0 0 1 0 1) (1 1 0 0 1 1) (4 16))) (((1 0 0 0 1 0 0 0 1 0 0 0 1) (1 1 1 1) (8 16))) (((1 1 1 1 1 1 1 1) (1 0 0 0 0 0 0 0 1) (2 4 8))) (((1 1 1 1 0 0 0 0 1 1 1 1) (1 0 0 0 1) (2 4 16))) (((1 1 0 0 1 1 0 0 1 1 0 0 1 1) (1 0 1) (2 8 16))) (((1 0 1 0 1 0 1 0 1 0 1 0 1 0 1) (1 1) (4 8 16))) Figure 2. Catalogue of tiling rhythmic canons of period n=16 that are directly given by simple cyclotomic factors (or any given product of them). Notice that there is a symmetry principle in the distribution of solutions for the "inner" and "outer" rhythm. Take for example the solution given by the cyclotomic polynomial 44. The "outer rhythm" is provided by the product 42 x 8 x 416 (see figure 3). Kl 1 0101001 1 001 1 001 11 I I LISP LISP po I 42ccinon pPo4wcpnon LISP LISp LISP transp-comb basicform basicform - no i.~i canons,! lished by Vuza independently of any consideration of geometric tiling conjectures. Nevertheless, as we have already shown, it is possible to directly link Vuza's model of rhythmic canons to Minkowski's original conjecture of the tiling of the n-dimensional space by unit cubes [5]. Enumeration techniques inspired by Polya and Burnside combinatorial algebra enabled H. Fripertinger to list all Vuza canons for periods 72 and 108; it is thus now known that Vuza canons are less than one out of a million. We now show that Vuza canons are related to a second famous conjecture, Fuglede's (or spectral) conjecture. 4.1. Vuza canons and the spectral conjecture Flugede's conjecture[10], still unsolved in dimension 1, asserts that a measurable set A of R' tiles R' by translations if and only if A is spectral i.e. the Lebesgue space L2(A) has an orthogonal basis {e2ixAx }AA. For the integers, the conjecture asserts that: Fuglede's Conjecture (1974). The finite set A c N tiles the integers Z by translations if and only if A is spectral, i.e. the set A {= Ao, A1,.., An-1} where Aj are distinct, Ao = 0, and n = A(1) verifies A(e27(Aj--A')) = 0 for all 0 < j, k < n - 1, and j k. This conjecture, not unlike the conjectures by Minkowski and Hajos [18], links geometry to harmonic analysis. It was noticed shortly after the discovery by CovenMeyerowitz discovery that the two conditions (Ti), (T2) are strongly linked to the spectral condition for a tiling: if a motif is spectral then (Ti) is true, if furthermore (T2) is true then the motif is spectral [14]. But a canon that is NOT a Vuza canon may be decomposed into an union of smaller canons. For instance, the rhythmic pattern (0, 1, 4, 5) tiling with period 8 is two copies of the rhythm (0, 1) which tiles Z4. It was proved [2] that this operation preserves condition (T2). Hence if a rhythmic canon tiles without being spectral, it shall be reduced to a Vuza canon with the same property. In other words: If the spectral conjecture is false then it is false for some Vuza canon. If all Vuza canons are spectral then so are all canons of any kind. The scarcity of Vuza canons is a further indication that the spectral conjecture might be true in dimension 1. Furthermore, all the algorithms currently used for producing Vuza canons are guaranteed to produce canons verifying (T2) (from other kinds of reduction techniques). But there is as yet no certainty as to the general Vuza canon, for there is no known way to produce or descript the cyclotomic structure of all of them. 5. CONCLUSIONS The OM implementation of the cyclotomic approach is a necessary step in our general search of all possible solutions of tiling rhythmic canons of a given period. We have Figure 3. A 8 voices tiling rhythmic canon associated with the two polynomial #4 and P2 x 8 x 416 4. RHYTHMIC TILING CANONS AND SOME MATHEMATICAL CONJECTURES As we mentioned, Vuza's original model of canons focused on a very special family of tiling rhythmic canons. These were group-theoretically formalized as the solution of factorizing a given cyclic group into the direct sum of two non-periodic subsets. This theory has been estab

Page 00000004 shown some connections between the classical approach based on the factorization of a cyclic group into two subsets and this new approach that makes use of the mathematical theory of tiling the line by translates of a cyclotomic polynomial (or of a product of cyclotomic polynomials). Coven-Meyerowitz conditions have been the starting point for implementing compositional algorhitms enabling to tile the musical line via cyclotomic polynomials. Although the two conditions are also necessary in some special cases, the problem of establishing necessary and sufficient conditions for the tiling of the line process remains open. We have shown some difficulties in trying to recover Vuza's original theory by the cyclotomic decomposition (and vice-versa). As in the case of the classical approach of rhythmic tiling canons construction by factorization of cyclic groups, the polynomial approach naturally leads to some still open mathematical conjectures, as the spectral (or Fuglede) conjecture. We suggest that the special family of Regular Complementary Canons of Maximal Category, originally conceived by Vuza in terms of factorizations of cyclic groups into non-periodic subsets, could play a major role in the musical interpretation (and mathematical solution) of the spectral conjecture. 6. REFERENCES [1] Amiot E. Why rhythmic Canons are interesting. Perspectives in Mathematical and Computational Music Theory, EpOs, 194-213, 2004. [2] Amiot, E. "Rhythmic canons and Galois theory", Colloquium on Mathematical Music Theory, Grazer Math. Ber., Nr. 347, 1-2 1, 2005. [3] Andreatta M, Agon, C. and Amiot, E. "Tiling problems in music composition: Theory and Implementation", International Computer Music Conference, G6teborg, 2002, 156-163. [4] Andreatta M. Mdthodes algibriques dans la musique et musicologie du XXe siecle: aspects thdoriques, analytiques et compositionnels. PhD Thesis, EHESS/IRCAM, 2003. [5] Andreatta M. On group-theoretical methods applied to music: some compositional and implementational aspects. Perspectives in Mathematical and Computational Music Theory, EpOs, 169-193, 2004. [6] Assayag G., Rueda C., Laurson M., Agon A., Delerue 0. "Computer Assisted Composition at Ircam: PatchWork and OpenMusic", Computer Music Journal, 23(3), 1999. [7] Coven E. and Meyerowitz A. "Tiling the integers with translates of one finite set.", J Algebra., 212, 161-174, 1999. [8] Fripertinger H. "Enumeration of nonisomorphic canons", Tatra Mt. Mathematical Publications, 23, 47-57, 2001. [9] Fripertinger H. Tilings Problems in Music Theory. Perspectives in Mathematical and Computational Music Theory, EpOs, 153-168, 2004. [10] Fuglede B. "Commuting Self-Adjoint Partial Differential Operators and a Group Theoretic Problem.", J Func. Anal., 16, 101-121, 1974. [11] Hajos G. "Uber einfache und mehrfache Bedeckung des n-dimensionalen Raumes mit einem Wilrfelgitter.", Math. Zeit., 47, 427467, 1942. [12] Jedrzejewski F. "Produits tensoriels de pavages et caracterisation des canons de Vuza et table des canons de pavage", Siminaire MaMuX (Mathematiques/Musique et relations avec d'autres disciplines), Ircam, 2004. [13] Johnson T. "Tiling the line (pavage de la ligne)", Journees d'Informatique Musicale, Bourges, June 2001. [14] Laba I. "The spectral set conjecture and multiplicative properties of roots of polynomials.", J. London Math. Soc., 65, 661-671, 2002. [15] Minkowski H. Diophantische Approximationen. Eine Einfiihrung in die Zahlentheorie, Chelsea Publishing Company, New York, 1907. [16] Redei L. "Zwei Liickensitze fiber Polynome in endlichen Primk6rpern mit Anwendung auf die endlischen Abelschen Gruppen und die Gaussischen Summen", Acta Math., 79, 273 -290, 1947. [17] Riemann, H. "Ideen zu einer Lehre von den Tonvorstellungen", Jahrbuch Peters, 21/22, 1 -26, 1914. [18] Stein S. and Szabo S. Algebra and Tiling. The Carus Mathematical Monographs, 25, 1994. [19] Vuza, D. T. "Sur le rythme periodique", Revue Roumaine de Linguistique, CLTA, XXII, 1, 73-103 1985. [20] Vuza, D. T. "Supplementary Sets and Regular Complementary Unending Canons", Perspectives of New Music, nos 29(2) 22-49; 30(1), 184-207; 30(2), 102-125; 31(1), 270 -305. 1991.