# Survey papers of results (relevant to mathematics) produced during research on the relationship between mathematics and music theory

It is well-known that there is a relationship between music and mathematics, and there are many references that explore this topic (for example, Benson's book).

However, I would like to ask if there is any current research going on between the relationship between mathematics and music which produced results significative to the development of mathematics (other than to the development of music theory). In case, where can I find a comprehensive survey paper of such results?

• I doubt a comprehensive survey exists. Even to find one good example of what you seek may be a stretch... Jan 24, 2015 at 14:23
• Dear Prof. @JosephO'Rourke, still I really hope that some examples of 'useful' results exist.
– user60665
Jan 24, 2015 at 14:42
• You may be interested in the book "The topos of music". It seems that there are very few people in this world who can even assess whether any of it makes sense, but it seems like it may. At some point in my life I would like to tackle it, maybe when I am an old man... Jan 24, 2015 at 16:35
• @StevenGubkin I have heard of it, but I really couldn't understand what it is about. Could you tell me using simple (not-too-technical) terms, please?
– user60665
Jan 24, 2015 at 16:38
• There is also A Geometry of Music by Dimitri Tymoczko, but I don't think it illustrates what you seek. Jan 24, 2015 at 17:16

One narrow example is the Hexachordal Theorem, which in one version says that a chord composed of any six notes on a twelve-tone scale has the same "interval content" as the chord composed of the complementary six notes. Some believed this underpinned Schoenberg's use of hexachords. The short abstract below provides a number of references to proofs of the theorem, starting from Milton Babbitt in the 1950s, through to proofs by crystallographers interested in distinct point patterns that lead to the same X-ray diffraction patterns. This could be considered an example where the mathematics that developed out of a musical notion was perhaps more interesting than its musical origin.

Toussaint, Godfried. Abstract: "Interlocking rhythms, duration interval content, cyclotomic sets, and the hexachordal theorem." Fourth International Workshop on Computational Music Theory, Universidad Politecnica de Madrid, Escuela Universitaria de Informatica. 2006. (PDF download)

And this illustrates the meaning of "interval content":

• Very nice. I'll have a look at this. Thank you very much.
– user60665
Jan 24, 2015 at 16:40

if you allow computer science to be a branch of mathematics, the computational modeling of music similarity could fit your description; this workshop described the challenge of the field as follows:

The dramatic increase in the digitization of music calls for the development of computational methods in Music Information Research, such as content-based querying and retrieval, automatic music classification, music recommendation, and digital rights management. A fundamental topic involved in these different aspects of processing music information is the computational modeling of music similarity. Similarity in music is a highly context dependent notion and poses serious challenges for computational modeling, so much so that state-of-the-art retrieval methods have recently hit a glass ceiling.

For an overview of the literature, this Ph.D. thesis might be a good starting point.

• It is not quite what I have in mind. Still, it is interesting. Thank you.
– user60665
Jan 24, 2015 at 16:28

I suggest you look into the work of my colleague Jack Douthette.

I have spent some time in the combinatorial music space approaching the subjects of Euclidean rhythms, rhythm canons, and evenness. The musical interest has motivated the definition and theoretical exploration of these objects, which might be of interest to some.

Euclidean Rhythms

Euclidean rhythms are an object that is both ubiquitous in music (see Godfried Tousaint's "The Euclidean Algorithm Generates Traditional Musical Rhythms"), and also has interesting structure to them in combinatorial terms. Rhythms are binary necklaces where the digits represent beats, 1s denote "hits," and 0s "rests." Euclidean rhythms are those that have the 1s and 0s maximally evenly distributed with one another (aka maximally even rhythms).

I wrote a review on Euclidean rhythms in the first part of an undergraduate research paper found on my website: here.

To summarize: many papers have shown Euclidean rhythms (ERs) to be unique for any weight and length. When weight and length are not coprime, the ER is a concatenation of smaller ERs with coprime weight and length (primitive concatenation property). Several distinct algorithms exist that generate Euclidean rhythms (see Demaine et al. "The Distance Geometry of Music").

There is also Bjorklund's generating algorithm. A few papers found results about the object generated by Bjorklund's algorithm, which is assumed to be the Euclidean rhythm; however, in my research, I found that nobody had proved this fact. So, I frame the lit review in a way to prepare the reader for my proof of the fact in a proceeding section. That is, I had an agenda while writing the review haha, so keep that in mind.

"Euclidean Strings" (2003) by Ellis, Ruskey, Sawada, and Simpson discusses various results about Euclidean rhythms with coprime weight and length. They connect them to fibonacci strings, the stern-brocot tree, and a bunch of other stuff. It's a good read, though they reproduce some results of the following paper.

"Maximally Even Sets" (1991) by Clough and Douthett discuss Euclidean rhythms in different, mathematical music theoretic terms. While they are more concerned with the musical implications on maximally even scales, it is a theoretical work full of proofs of some neat facts.

Rhythm Canons

It is possible to represent the layering of rhythms of multiple voices (instruments) in a 2D binary array, where rows are voices, and columns are beats. When these rhythms repeat, the array becomes toroidal and some interesting mathematical questions arise with implications in both music composition and analysis: Given a rhythm, how might we tile this rhythm in each row such that the weight of each column is exactly 1. Given a set of distinct rhythms, are they tileable? What properties do tileable sets of rhythms have? etc.

I wrote a project proposal around this sort of tiling problem found here; the reference section might be of interest, as well as the definitions. A lot of fundamental work on rhythm layering appears to have been done by a Romanian mathematician D.T. Vuza.

Evenness

Continuing from rhythms, recall that Euclidean rhythms are maximally even. Along with characterizations of maximal and minimal evenness, there are measures and sorting algorithms for evenness as well. "The Distance Geometry of Music" linked above is a good place to find examples of such measures. Toussaint argued that the most common rhythms are those of high evenness.

My view: Music is a high dimensional landscape with ubiquitous structures and symmetries. Music has a lot of mathematically unexplored territory, which can provide insight into mathematical objects, music creation, and music analysis.

I hope this reply was of interest.