Abstract
Abstract scales are formalized as a cyclic group of classes of projection functions related to iterations of the scale generator. Their representatives in the frequency domain are used to built cyclic sequences of tone iterates satisfying the closure condition. The refinement of cyclic sequences with regard to the best closure provides a constructive algorithm that allows to determine cyclic scales avoiding continued fractions. New proofs of the main properties are obtained as a consequence of the generating procedure. When the scale tones are generated from the two elementary factors associated with the generic widths of the step intervals we get the partition of the octave leading to the fundamental Bézout's identity relating several characteristic scale indices. This relationship is generalized to prove a new relationship expressing the partition that the frequency ratios associated with the two sizes composing the different step-intervals induce to a specific set of octaves.
Acknowledgments
I would like to thank the Editors Emmanuel Amiot, Jason Yust and, in particular, Thomas Fiore and Clifton Callender for valuable remarks and comments. Clifton Callender pointed out the existence of a similar algorithm (CitationCarey 1998) for obtaining well-formed scales. I would also like to thank several anonymous referees for their thorough revision of this paper or earlier versions thereof, as well as pointing out crosslinks, helpful discussions, hints, and comments.
Disclosure statement
No potential conflict of interest was reported by the author(s).
Notes
1 This is an instance of a maximally even set, where each generic interval is either a single integer or two consecutive integers (CitationClough and Douthett 1991).
2 In a more formal context, we consider a GIS (CitationLewin 1987; CitationKolman 2004) and a canonical GIS , with the α-projection function defined as .
3 Two FCs α and β other than 1 are complementary if they satisfy . This definition is not valid for the FC 1.
4 For any and any positive , there exists integers p and q such that and .
5 The shortest distance between two FCs α, β is measured in the unit circle as . For a FC we have , while for its complementary FC, , we also have . Thus, .
6 In our approach, the scale remains composed of tones corresponding to positive powers of 3, and the 12-tone Pythagorean scale is formed by successive fifths of 1; while for these authors a natural scale is also composed by tones expressed as negative powers of 3, so that the Pythagorean scale is formed by successive fifths of .
7 It is worth remembering that has the same structure of commutative ring than the integers for the addition and product. In the ring of integers modulo n, 1 is the neutral element for the product. The invertible elements form the multiplicative group of units . Therefore, has an inverse if and only if there exists such that ab = 1, hence . Similarly, two integers , such that , belong to two classes of that are mutually inverse, or belong to the class of 1. This condition can be written using Bézout's identity. This leads to the property that the generators of , which are coprime with n, are just the elements of .
8 If we have . If , then and the value matches either or .
9 The Stern-Brocot tree is a full binary tree where the nodes are labeled in such a way that each positive rational number occurs exactly once. Vertically, it provides the usual ordering of the rationals. For and , the mediant is the fraction whose parents they are. Every row consists of the fractions that are mediants of elements of previous rows. Positive irrational numbers can be associated with a unique infinite pathway down the tree and the nodes which are passed by on such a finite or infinite path are called semi-convergents of the corresponding rational or irrational number.
10 The scale closure is an intrinsic parameter of the scale. However, comparing between scales according to the closeness of the closure to 1 (its logarithm closer to 0) is actually equivalent to evaluating the best comma as defined in CitationDouthett and Krantz (2007).
11 It will be notated as , corresponding to the width of the spectrum associated with the frequency ratios and (e.g. CitationDouthett and Krantz 2007).
12 Since , then , and . Hence, by taking integer parts, we get , from where . Usually, the chromatic length N is defined in this way. However, in the current paper such a relationship is not of particular interest. Instead, we are interested in the dependency of the scale properties on the indices m, M, and their respective octaves.
13 We know that, if k<n then . Nevertheless, if 1<h<2, in case (i) we have and , therefore ; hence, . Instead, in case (ii), and , therefore ; hence, . Thus, in both cases, for .
14 According to equations (Equation30(30) (30) ) and (Equation32(32) (32) ), the complementary tones of the scale (other than the fundamental) are given by , which do not match the tones of the scale . The inverse scale , built by starting at the fundamental by negative iterations of the h-interval, does not provide the same scale as . However, since the tones of and differ by excess or by default in one comma, they belong to the same classes of projection functions. It happened in a similar way with CitationHellegouarch's (Citation1999) natural scales, that were a particular choice of representatives of the abstract scale .
15 The terms “good” and “best” approximation, used in recent books such as CitationLoya (2017), are equivalent to best approximation “of the first kind” and “of the second kind”, respectively, used in CitationKhinchin (1964).
16 For the cyclic scale , with extreme tones of indices m and M, the value n provides a convergent or semi-convergent of according to one of these situations: or , depending on whether is a new minimum or maximum of the sequence . We shall see in Section 6.2 that equations (Equation45(45) (45) ) and (Equation46(46) (46) ) are satisfied. Therefore, we meet a situation such as , together with the Bézout's identity corresponding to pairs of coprime numbers, , which leads to a new improvement of the approximation. This situation is common to the continued fractions approach, the Farey sums, the structure of the Stern-Brocot tree, and its dual, the Raney tree (CitationBerstel and de Luca 1997; CitationRaney 1973), also known as Calkin-Wilf tree (CitationCalkin and Wilf 2000; CitationGibbons, Lester, and Bird 2006). Thus, for two consecutive approximations, by using the extended Euclidean algorithm (Appendix 4) it is possible from one to determine the other.
17 According to equation (Equation37(37) (37) ), the subsequent matrices of indices are obtained multiplying by a matrix in one of the forms or . These are equivalent to the matrices representing the branches of the Stern-Brocot tree (CitationNoll 2006, Citation2007; CitationJedrzejewski 2009, Citation2008), providing the strings of L's and R's that encode the subsequent nodes of the fractions . This is equivalent to the retrograde Euclidean algorithm along the path to the root from that node in the Raney tree. On the other hand, the fractions follow a similar path in the Raney tree, with the same strings as .
18 One consequence of the fundamental identity is that all the following pairs are coprime: ; ; ; ; ; ; ; ; .
19 The procedure to determine cyclic scales and their refinements is closely related to the concept of mechanical or Sturmian words used in the new approaches to the theory of well-formed scales and modes (CitationNoll 2008; CitationClampitt and Noll 2011; CitationNoll 2015) based on methods of combinatorics on words (e.g. CitationLothaire 2002). A cyclic scale can be defined as a Christoffel word of the alphabet with slope and length n. For cyclic scales, the first step of the octave after 1 must be U, and the last step before 2 must be D, although generic scales do not need to satisfy such a requirement. Given a scale whose factors satisfy , if U<D then, owing to Myhill's property, it can be refined by factorizing , otherwise by factorizing , and so on. The refinement of cyclic scales correspond to the binary tree of Christoffel words.
20 For , these variables are equivalent to duplicating equation (EquationA5(A5) (A5) ), dividing it by a and b, and defining , . As , the new variables are integers.