Musical Polygons

Musical Polygons


I read with fascination Michael Sewell’s article describing a ‘Coffee break problem’ [1]. It reminded me of a problem that Brian ‘Benny’ Leonard (computational fluid dynamicist and musician; see e.g. [2, 3]) raised in a coffee break during a visit to the Met Office, namely: ‘How many different (musical) chord types are there?’ Somewhat surprisingly, the musical chord problem and Michael Sewell’s coffee break problem turn out to be remarkably similar. Here we give some methods of calculating the solution to these problems.

The musical chord problem can be interpreted in various ways, but Benny Leonard had the following interpretation in mind. We regard a chord as a subset of the 12 notes of the chromatic scale, i.e. we ignore any information about which octave or octaves the notes are in, and we regard a chord type as an equivalence class of chords under (musical) transposition. If we depict the notes as points on a circle then, for example, the C major chord gives rise to the triangle in Figure 1 and the 12 chords of the same type (the 12 major chords) can be obtained by rotating the triangle.

Figure 1 Illustration of C major and C diminished chords
Figure 1: Illustration of C major and C diminished chords.

The problem of evaluating the number of chord types is then almost the same as Michael Sewell’s problem [1], in which he considered how many different polygon shapes could be made by joining a number of points chosen from a set of points spaced equally around a circle. If we extend the musical problem to equi-tempered scales with other than 12 notes to the octave (for example, some gamelan scales), then the only difference is that, in Michael Sewell’s problem, polygons are regarded as equivalent if they can be made the same by reflection and/or rotation, whereas in the musical scenario we are (mostly) interested only in rotations. If we reflect the triangle corresponding to a major chord, we get a minor chord, which one would not normally want to regard as the same type of chord.

The total number of chords is 2^{12} because each of the 12 notes is present or not (being mathematicians we count the ‘empty chord’ as a chord and we also include one- and two-note chords, although musicians generally think of a chord as having at least three notes). One might think the number of chord types is then 2^{12}/12, but this cannot be right as it is not an integer. The reason this simple calculation is wrong is that chords with some transpositional symmetry (i.e. in terms of our diagrammatic representation of chords, some rotational symmetry) generate fewer than 12 distinct chords under transposition. An example is the diminished chord shown in Figure 1.

The chord types containing fewer than 12 distinct chords play an important role in music. Examples are the diminished chord, the augmented triad (think equilateral triangle) and the notes of the diminished or octatonic scale (think octagon with alternate long and short sides – see Figure 2). Olivier Messiaen, in particular, often used a variety of ‘modes of limited transposition’ (i.e. modes with less than 12 transposed versions) in his compositions [4].

Let us consider an equi-tempered scale with p notes to the octave. Let us write J_t, where t divides p, for the number of chords that have t distinct transposed versions (there are no such chords if t does not divide p). The p and t notation is illustrated in Figure 2.

Figure 2: Illustration of the p, t, m and n notation for the octatonic chord
Figure 2: Illustration of the p, t, m and n notation for the octatonic chord.

A chord/polygon with t transposed/rotated versions is invariant under rotations of 2 \pi t/p. J_t is independent of p (provided t divides p) because, for any p, a chord with t distinct transpositions is determined by the on/off status of t consecutive notes.

Expressing the total number of chords 2^p in terms of J_t gives

    \[2^p = \sum_{t\mid p} J_t.\]

By using this equation repeatedly with different values of p, we can evaluate J_1 = 2, J_2 = 2, J_3 = 6, J_4 = 12, J_6 = 54 and J_{12} = \np{4020}, where we have focused on the cases relevant to the classical chromatic scale with p = 12. The number of chord types consisting of t transposed chords is then I_t = J_t / t.

For p = 12 (the classical chromatic scale) we then have I_1 = 2 (the empty and full chords), I_2 = 1 (the whole tone scale), I_3 = 2 (diminished chord and octatonic scale), I_4 = 3 (augmented triad, its complement and the combination of two augmented triads a semitone apart), I_6 = 9 and I_{12} = 335, giving the total number of chord types as I_1 + I_2 + I_3 + I_4 + I_6 + I_{12} = 352.

It is not immediately obvious from the equation for J_t that J_t is divisible by t, and there is an interesting connection here to Fermat’s little theorem. Suppose we allow each note, instead of being just on or off, to adopt one of a different volumes or tone colours. There are then a^p chords in total and, if p is prime, the only chords of limited transposition are the a chords in which all the p notes have the same tone colour. It follows that J_p = a^p - a must be divisible by p, which is just Fermat’s little theorem.

As well as considering the number of polygon shapes, Michael Sewell’s problem asked for the number of triangular, square, pentagonal etc. shapes separately. This also has musical relevance in that it relates to the number of n-note chord types. If we write J_{t,m} for the number of chords with t distinct transpositions and m notes per (p/t)th of an octave, so that there are n = mp/t notes altogether (see Figure 2), then J_{t,m}, regarded as a function of t and m, is independent of p (provided t\mid p) and

    \[\begin{pmatrix} p \\ n \end{pmatrix} = \sum_{t\mid p} J_{t,nt/p},\]

where J_{t,nt/p} is zero if nt/p is not an integer. The J_{t,m} can be evaluated by using this equation repeatedly as before. We can then calculate the number I^p_{t,n} of chord types consisting of chords with t transposed versions, each with n notes, in an equi-tempered scale with p notes per octave, by using I^p_{t,n} = J_{t,nt/p}/t. For p = 12 this gives the results shown in the table. Only non-zero entries are shown.

Table 1: Chord types table

Although the above approaches work, and can be extended to include equivalence under reflections as in Michael Sewell’s original problem, they are quite complicated and involve quite a lot of calculation. However (at least if we are not interested in classifying the chord types or polygon shapes by their degree of rotational symmetry t), a more abstract approach using Burnside’s lemma in the theory of group actions can give a simpler solution.

Burnside’s lemma is concerned with counting equivalence classes of objects where the equivalence is induced by a group of symmetry operations. As an example (but one much more complicated than the application considered here), it was used to count the number of ‘essentially different’ completed sudoku grids [5]. If G is the group of symmetry operations on the polygons (i.e. the group of p rotations, or of p rotations and p reflections) and X is the set of polygons, then an orbit in X generated by G is an equivalence class of polygons, all with the same shape. The number of polygon shapes is then the number of orbits |X/G| where X/G is the set of orbits. This can be calculated from Burnside’s lemma:

    \[|X/G| \, |G| = \sum_{x \in X} |G_x| = \sum_{g \in G} |X^g|,\]

where G_x is the set of elements of G that fix x and X^g is the set of elements of X that are fixed by g. The |X^g| are reasonably easy to compute and it follows that the number of chord types for a p-note scale is

    \[\sum_{g = 1}^p \frac{2^{\operatorname{hcf}(g,p)}}{p}.\]

The number of n-note chords and the results where we equate chord inversions (polygon reflections) are more complicated. However, with some familiarity with Burnside’s lemma and a pencil and paper, it is just about feasible to derive solutions to these problems during a coffee break (or two)!

The above is perhaps an illustration of how mathematical ideas, because of their abstract nature, often have applications to problems (e.g. chord types) that are very different from the problems where the ideas first arise (e.g. polygon shapes), and how taking a more general approach (in this context using the theory of group actions) can often lead to simpler solutions.

David Thomson CMath MIMA
Met Office

References

  1. Sewell, M. (2019) A coffee break problem, Math. Today, vol. 55, no. 2, p. 63.
  2. Leonard, B.P., Lock, A.P. and Macvean, M.K. (1996) Conservative explicit unrestricted-time-step multidimensional constancy-preserving advection schemes, Mon. Weather Rev., vol. 124, pp. 2588–2606.
  3. Leonard, B.P. (1994) In-line double attachment slide trombone, US Patent 5365823.
  4. Wikipedia (2021) Mode of limited transposition.
  5. Russell, E. and Jarvis, F. (2006) Mathematics of Sudoku II.

Reproduced from Mathematics Today, April 2021

Download the article, Musical Polygons (pdf)

Image credit: Smiling cello player © Mikaluk|Dreamstime.com
Published

1 thought on “Musical Polygons”

  1. Thanks for this interesting article. For reference, the Mathematics Today Letters cited below note additional results, including:
    • an alternative approach to the problem by noting that the musical polygons described for a p-note equi-tempered musical scale are isomorphic to p-bead necklaces with two colours;
    • explicit formulas for the article’s implicitly defined functions J(t) and J(t,m); and,
    • an alternative formula for the number of chord types that also allows for a direct proof of the article’s formula for this number.

    1. Ollerton, R.L. (2021) Musical necklaces, Math. Today, vol. 57, no.3, p. 109.
    2. Ollerton, R.L. (2021) Musical necklaces reprise, Math. Today, vol. 57, no.4, p. 158.

Comments are closed.