Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

May 31, 2009

The Mathematics of Music at Chicago

Posted by John Baez

As a card-carrying Pythagorean, I’m fascinated by the mathematics of music… even though I’ve never studied it very deeply. So, my fascination was piqued when I learned a bit of ‘neo-Riemannian theory’ from Tom Fiore, a topology postdoc who works on double categories at the University of Chicago.

Neo-Riemannian theory is not an updated version of Riemannian geometry… it goes back to the work of the musicologist Hugo Riemann. The basic idea is that it’s fun to consider things like the 24-element group generated by transpositions (music jargon for what mathematicians call translations in /12\mathbb{Z}/12) and inversion (music jargon for negation in /12\mathbb{Z}/12). And then it’s fun to study operations on triads that commute with transposition and inversion. These operations are generated by three musically significant ones called P, L, and R. Even better, these operations form a 24-element group in their own right! I explained why in week234 of This Week’s Finds. For more details try this:

Yes, that’s my student Alissa Crans, of Lie 2-algebra fame!

On June 11th, Thomas Noll is giving some interesting talks on music theory at Chicago, which will delve deeper into such issues. They’ll even get into some topos theory!

  • Thomas Noll (Escola Superior de Musica de Catalunya), The Triad as Place and Action: a Transformational Perspective on Stability, Thursday, June 11, 1:30 pm, Department of Mathematics, University of Chicago.

    Abstract: Recent transformational approaches to the study of triads are based on group actions on the set of the major and minor triads. A particular music-theoretical interest in this subject is driven by the possibility of parsimonious voice leadings between certain triads. To each triad X, say X = {C, E, G}, (considered modulo octave) there are three triads P(X)= {C, Eb, G}, L(X)= {E, G, B}, R(X)= {A, C, E}, each sharing two tones with X. What distinguishes triads from arbitrary 3-chords is the small amount by which the third tone has to be displaced: In the case of P(X) it is an augmented prime (E → Eb), in the case of L(X) it is a minor second (C → B) and in the case of R(X) it is a major second (G → A). Richard Cohn therefore speaks of the “over-determined triad”, as - traditionally - the music-theoretical prominence of the triad is explained in terms of consonance.

    My pre-talk is dedicated to yet another property which can be added to the list of over-determining decorations of the triad. This property provides a conceptual link between (the discussion about) Hugo Riemann’s concept of consonance on the one hand and the Neo-Hugo-Riemannian transformations P, L, R as mentioned above, on the other. This approach is based on a transformational investigation of the intervallic constitution of the triads. Each triad is studied as a sub-action of a monoid action of an 8-element monoid on /12\mathbb{Z}/12. Each transformation is a Twelve-Tone-Operation (an affine endomorphism of /12\mathbb{Z}/12) which stabilizes the triad in question and which extrapolates an association of an internal interval of the triad with its fifth. With this approach I hope to make a contribution to an abandoned discourse between Hugo Riemann and Carl Stumpf and in particular to an elaboration of Stumpf’s concept of the triad as a concord of consonances.

    Mathematically the approach is an application of elementary topos theory. The Neo-Riemannian transformations P, L, R can be studied as equivariant maps between monoid actions (i.e. as arrows in an associated topos). The structure of the sub-object classifier and its Lawvere–Tierney topologies allow to draw links between the different qualities of tones in the complement of a triad as such, and the roles of these tones as images of proper triad tones under the transformations P, L, R on the other. In a way, this approach is an attempt to actualize Hugo Riemann’s vision of the theory of harmony as a “musical logic”.

    I will refer to two musical examples and related discussions in music theory: the first movement of Schubert’s sonata in Bb (D 960) as discussed by Richard Cohn and by Balz Trümpy and the last study of Alexander Skriabin Op. 65 No. 3 as discussed by Clifton Callender.

  • Thomas Noll (Escola Superior de Musica de Catalunya), Diatonic and Tetractys Modes as instances of Christoffel Duality, Thursday, June 11, 3:00 pm, Department of Mathematics, University of Chicago.

    Abstract: A recent development in the mathematical and music-theoretical study of so called well-formed scales is closely related to research directions within the field of algebraic combinatorics on words, namely Sturmian words and their finite analogues, i.e. Christoffel words and their conjugates. I’m going to report on joint work with David Clampitt (Ohio), Karst de Jong (Barcelona) and Manuel Dominguez (Madrid). There is a general music-theoretical desire to understand the principles which guide or constrain the constitution of musical tone relations. Well-formed scales are generated by a fixed interval modulo some period (typically the octave) and thereby embody a concept of tone kinship - given by the generation order of the scale tones. A second concept of tone relation is given by the pitch height order of the scale (step order). The well-formedness condition (as introduced and studied by Carey and Clampitt 1989) requires that the conversion from step order to generation order is a linear automorphism of /n\mathbb{Z}/n (where nn is the number of tones). A refinement of this condition for musical modes (instead of scales) leads to Christoffel words and their conjugates and to a related concept of duality.

    This word-theoretic approach is tightly connected with traditional accounts to tone kinship. This connection is given trough the projection from the free non-commutative group F 2F_2 with two generators to the commutative group 2\mathbb{Z}^2. Traditionally, the mathematical investigation of tone kinship is based on the free commutative group over two (or more) musical intervals as linearly independent generators. In the case of the two generators fifth and octave this group is called the Pythagorean tone lattice PP. Pitch height enters into this picture as a linear form h:Ph: P \to \mathbb{R}. It is insightful to embed PP into the real plane 2\mathbb{R}^2 with respect to a basis, which is constituted by the gradient (pitch height axis) and the kernel (pitch width axis) of this linear form. Word theory enters here through the approximation of the pitch width axis though polygons in PP, i.e. though elements of F 2F_2. For each Christoffel prefix of the infinite “Pythagorean word” (along the pitch width axis) there is a natural candidate for a metric on PP, respective 2\mathbb{R}^2.

    I will summarize actual results about the interdependence of regions (such as the Guidonian hexachord aabaa) and standard modes (such as the authentic Ionian mode aaba|aab). The underlying duality has a clear expression in terms of Standard morphisms. The generalization of the diatonic case does not only include larger and/or musically counter-factual modes, but also simpler ones, such as the modes of the three note tetractys scale. I will conclude my talk with remarks on a “Neo-Riemannian” approach to the analysis of fundamental progressions.

I think anyone who encounters these ideas is likely to wonder: is topos theory being put to good use in the study of music, or is it just a form of ‘showing off’?

I don’t know! I have no opinion yet. I don’t think topos theory is inherently too abstract to shed light on harmony. And, after years of slow study, I finally understand enough topos theory to follow what’s being said above, at least in principle. But I haven’t understood it yet. One way to dig deeper would be to read this book:

  • Guerino Mazzola, The Topos of Music: Geometric Logic of Concepts, Theory, and Performance, Birkhäuser, 2002.

But reading and understanding Tom Fiore’s review of this paper:

would be much quicker… at least for anyone who already understands Lawvere–Tierney topologies!

Does anyone here dare to venture some comments?

Posted at May 31, 2009 8:58 PM UTC

TrackBack URL for this Entry:   https://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/1981

21 Comments & 1 Trackback

Re: The Mathematics of Music at Chicago

I tried once to read the Mazzola book. I sincerely hope that my impressions of the book are inaccurate, as that would restore some of my lost hopes for the use of topoi in interesting areas.

I found the book to be ghastly - to fluffy for mathematicians, and probably too mathematical for music theorists - and wrote a review for the Jena-based mathematics magazine that said as much. The review ended up not being published, because it was too harsh, but being widely circulated among the magazine staff, because it was amusingly so.

Posted by: Mikael Vejdemo Johansson on June 1, 2009 2:49 PM | Permalink | Reply to this

Re: The Mathematics of Music at Chicago

Mikael wrote:

I found the book to be ghastly — too fluffy for mathematicians, and probably too mathematical for music theorists…

That combination of properties does not necessarily imply the book is bad. Almost any book that applies topos theory to music would suffer from this problem. The real question in my mind is whether he’s found nontrivial applications of topos theory to music. That alone would make the book worthwhile to me.

Posted by: John Baez on June 3, 2009 6:58 AM | Permalink | Reply to this

Re: The Mathematics of Music at Chicago

I agree, and this was the reason I also wrote:

I sincerely hope that my impressions of the book are inaccurate, as that would restore some of my lost hopes for the use of topoi in interesting areas.

I desperately want to be proven wrong in my dislike of Mazzola’s book, and failing that, I would really like to read and then understand an exposition of using topos theory in music theory, as the idea of it sounds marvelous to me.

Posted by: Mikael Vejdemo Johansson on June 3, 2009 11:19 AM | Permalink | Reply to this

Re: The Mathematics of Music at Chicago

You may also be interested in the work of Dmitri Tymoczko, in the music department at Princeton. As I recall (mainly from a couple discussions at bars and parties during philosophy conferences) the idea is that there’s a natural representation of harmonies as points in some sort of orbifold, and that looking for paths on this orbifold with some nice properties helps explain the way that tonal harmony arises from the basic ideas of voice leading.

I think this paper is the one with the relevant interest.

Posted by: Kenny Easwaran on June 1, 2009 6:44 PM | Permalink | Reply to this

Re: The Mathematics of Music at Chicago

I’ve corresponded with Dmitri Tymoczko, and I talked a bit about his work in week234. Here’s what I wrote:

To study different tuning systems in a unified way, one first step is replace the group Z/12 by a continuous circle. Points on this circle are “frequencies modulo octaves”, since for many - though certainly not all - purposes it’s good to consider two notes “the same” if they differ by an octave. Mathematically this circle is R+/2, namely the multiplicative group of positive real numbers modulo doubling. As a group, it’s isomorphic to the usual circle group, U(1).

This “pitch class circle” plays a major role in the work of Dmitri Tymoczko, a composer and music theorist from Princeton, who emailed me after I left a grumpy comment on the discussion page for this fascinating but (at the time) slightly obscure article:

17) Wikipedia, Musical set theory, http://en.wikipedia.org/wiki/Musical_set_theory

He’s recently been working on voice leading and orbifolds. They’re related topics, because if you have a choir of n indistinguishable angels, each singing a note, the set of possibilities is:

Tn/Sn

where Tn is the n-torus - the product of n copies of the pitch class circle - and Sn is the permutation group, acting on n-tuples of notes in the obvious way. This quotient is not usually a manifold, because it has singularities at certain points where more than one voice sings the same note. But, it’s an orbifold. This kind of slightly singular quotient space is precisely what orbifolds were invented to deal with.

Tymoczko is coming out with an article about this in Science magazine. For now, you can learn more about the geometry of music by playing with his “ChordGeometries” software:

18) Dmitri Tymoczko, ChordGeometries, http://music.princeton.edu/~dmitri/ChordGeometries.html

As for “voice leading”, let me just quote his explanation, suitable for mathematicians, of this musical concept:

BTW, if you’re writing on neo-Riemannian theory in music, it might be helpful to keep the following basic distinction in mind. There are chord progressions, which are essentially functions from unordered chords to unordered chords (e.g. the chord progression (function) that takes C major to E minor).

Then there are voice leadings, which are mappings from the notes of one chord to the notes of the other E.g. “take the C in a C major triad and move it down by semitone to the B.” This voice leading can be written:

(C, E, G) |→ (B, E, G).

This distinction is constantly getting blurred by neo-Riemannian music theorists. But to really understand “neo-Riemannian chord progressions” you have to be quite clear about it.

To form a generalized neo-Riemannian chord progression, start with an ordered pair of chords, say (C major, E minor). Then apply all the transpositions and inversions to this pairs, producing (D major, F# minor), (C minor, Ab major), etc. The result is a function that commutes with the isometries of the pitch class circle. As a result, it identifies pairs of chords that can be linked by exactly similar collections of voice leading motions.

For example, I can transform C major to E minor by moving C down by semitone to B.

Similarly, I can transform D major to F# minor by moving D down by semitone to C#.

Similarly, I can transform C minor to Ab major by moving G up to Ab.

This last voice leading,

(C, Eb, G) |→ (C, Eb, Ab)

is just an inversion (reflection) of the voice leading

(C, E, G)| → (B, E, G).

As a result it moves one note up by semitone, rather than moving one note down by semitone.

More generally: if you give me any voice leading between C major and E minor, I can give you an exactly analogous voice leading between D major and F# minor, or C minor and Ab major, etc. So “neo-Riemannian” progressions identify a class of harmonic progressions (functions between unordered collections of points on the circle) that are interesting from a voice leading perspective. (They identify pairs of chord progressions that can be linked by the same voice leadings, to within rotation and reflection.)

You can learn more about this here:

19) Dmitri Tymoczko, Scale theory, serial theory, and voice leading, available at http://music.princeton.edu/~dmitri/scalesarrays.pdf

Posted by: John Baez on June 2, 2009 3:22 AM | Permalink | Reply to this

Re: The Mathematics of Music at Chicago

I work at UC and while I am neither a professional mathematician nor musician, I have some training in both fields, probably just enough that this talk won’t go completely over my head. I’m planning on attending and will post a summary here. Thanks for mentioning this, I probably would have missed it otherwise!

Posted by: Charles G Waldman on June 2, 2009 12:17 AM | Permalink | Reply to this

Re: The Mathematics of Music at Chicago

Cool. If you go, let me know what you think! I doubt anyone but the speaker and Tom Fiore will know much about both neo-Riemannian music theory and Lawvere-Tierney topologies. The first talk is what the topologists at Chicago call a ‘pretalk’ — the idea is that people are supposed to ask lots of questions to get ready for the second talk. So, that may be a good time to learn a lot of stuff.

Posted by: John Baez on June 2, 2009 3:29 AM | Permalink | Reply to this

Re: The Mathematics of Music at Chicago

I am a composer working in algorithmic composition.

First, a thanks to John Baez for his prior “This Weeks Find” week 234 on music theory, which was a gold mine for me.

Second, I have put some of the papers referenced by Professor Baez to practical use in algorithmic composition. If you are interested in the details, check out my personal Web site at http://www.michael-gogins.com.

I presume other composers are doing similar work, but the only one I personally know of is my friend Drew Krause.

Musically, I have found most useful the work of Tymoczko, but also neo-Riemannian transformations. I have tried to penetrate The Topos of Music, but I suspect that my self-taught mathematical background is not (yet?) adequate; it may also be that the concepts are not as useful for my style of composition as the ones mentioned above.

Regards,
Mike Gogins

Posted by: Michael Gogins on June 2, 2009 1:27 PM | Permalink | Reply to this

Re: The Mathematics of Music at Chicago

I’m delighted that week234 turned you on to some ideas you’ve found useful for actually composing music. You’ve more than repaid that favor by pointing us to your website.

From just a quick glance I’ve already learned about many interesting things: the Canadian Electroacoustic Society, Csound, TuneCore, the idea parametric composition, and more.

I’m glad you’ve made some samples of your music freely available under a Creative Commons copyright! I’ve just done the same for some of my own music, including some I created using Wolframtones. (I worked out a contract with WRI to make this possible.)

I have tried to penetrate The Topos of Music, but I suspect that my self-taught mathematical background is not (yet?) adequate; it may also be that the concepts are not as useful for my style of composition as the ones mentioned above.

This week Guerino Mazzola sent me a paper on ‘gestures’ and ‘metagestures’ which may be related to parametric composition. For Mazzola, a ‘gesture’ seems to be a 1-parameter family of positions of a hand (for example), while a ‘metagesture’ seems to be a 1-parameter family of gestures. A ‘gesture’ is analogous to a piece of music (and indeed this analogy is what an orchestra conductor exploits). So, a ‘metagesture’ is analogous to a 1-parameter family of pieces of music.

Would you like people to learn to appreciate parametrized families of pieces of music, much as they now appreciate pieces of music? It should be possible, with a little practice — and it could open up an interesting new form of art.

Posted by: John Baez on June 3, 2009 6:52 AM | Permalink | Reply to this

Re: The Mathematics of Music at Chicago

(I worked out a contract with WRI to make this possible.)

It's a bit disconcerting that this was necessary. I see this hidden away in their Terms of Use:

Copyrights–All content offered on this site is copyright Wolfram Research, Inc. All rights reserved. By using this Site, you disclaim any authorship rights to content presented at your request on this site.

And hidden even further away (although perhaps it is brought to the user's attention when a piece is created and downloaded) is an ironclad Content License Agreement that contradicts the open, breezy, ‘Sure you can!’ spirit (but not quite the letter!) of the rest of the site.

It will be interesting to see if this holds up in court. It's not clear that WRI provides any creative input to the piece of music that it calculates at the user's request. Of course, the user has agreed that WRI has copyright, but aside from the legally shaky nature of clickwrap agreements in general, the terms listed do not make it clear that the user is giving WRI rights that the user actually possesses, at least in part.

To be specific, both the Content License Agreement and the Terms of Use make it sound as if WRI already owns the content that it presents to the user at the user's direction; it seems as if the user is merely agreeing that they have been informed of this fact. While this makes sense for the CLA (which only comes in when WRI licenses the content back to the user), it doesn't really make sense for the ToU (which comes in before the user has instructed WRI to calculate the new piece of music). A court could rule that the user did not know what they were signing away.

On the other hand, WRI clearly seems to be happy to work out deals with people like John! They are probably not trying to be evil.

Posted by: Toby Bartels on June 3, 2009 7:51 AM | Permalink | Reply to this

Re: The Mathematics of Music at Chicago

(Maybe you want to move my comment to Treq Lila, where it's more directly relevant.)

Posted by: Toby Bartels on June 3, 2009 8:00 AM | Permalink | Reply to this

Re: The Mathematics of Music at Chicago

If you’re using WRI’s (or anyone’s) stuff for research/scholarly purposes, for your own enjoyment, or as long as it’s not commercial, you don’t need a license agreement thanks to FAIR USE (Section 107 of the Copyright Act, http://www.law.cornell.edu/uscode/17/107.html). But if you really want to be sure, permission is always the nicest way).

- Alex

Posted by: Alex Korbonits on August 10, 2009 2:28 AM | Permalink | Reply to this

Re: The Mathematics of Music at Chicago

Research and personal use, yes. But if you want to post it on your website, then you’re violating their copyright (if they really have one), whether it’s commercial or not.

Posted by: Toby Bartels on August 10, 2009 9:42 AM | Permalink | Reply to this

Re: The Mathematics of Music at Chicago

Thanks for the reference to Mazzola’s recent work on gestures and metagestures. I will certainly check it out!

I will ask Mazzola for this, if I can’t find it online somewhere.

Regards,
Mike

Posted by: Michael Gogins on June 3, 2009 1:29 PM | Permalink | Reply to this

Re: The Mathematics of Music at Chicago

I’m completely ignorant of even basic music theory, so I can’t tell how much Paul Hudak’s work on Haskore is about “just” expressing nuts-and-bolts musical ideas in a slightly more algorithmic way via functional language transformations, and how much it’s actually about enabling more sophisticated notions in actual compositions. To make matters worse the publications page on his website is “under reconstruction” so you’ve pretty much got to google around his name or Haskore to find stuff about it. However, the tutorial appears to give a rough idea of the kind of thing this music “domain specific language” appears to work with:
citeseer version of the tutorial.

(This is almost certainly much more elementary than the topos based stuff, but might be of interest.)

Posted by: bane on June 3, 2009 9:42 AM | Permalink | Reply to this

Re: The Mathematics of Music at Chicago

I do not know enough to make a qualified mathematical comment, but since you mention Pythagoras and admit to being a Pythagorean of sorts, I take this as an opportunity to point out a wiki-entry that I have written:

a href = “http://en.wikipedia.org/wiki/Pythagoreans”

(I’m responsible for the subsections “Natural Philosophy” and “Cosmology.”) The section “Natural Philosophy” discusses some Pythagorean music philosophy. The history of Pythagoreanism is one of my long-time hobbies.

Posted by: Johan Alm on June 3, 2009 8:34 AM | Permalink | Reply to this
Read the post Thomas Noll's Talks at Chicago on Mathematical Music Theory
Weblog: The n-Category Café
Excerpt: Thomas Fiore has written a guest post about Thomas Noll's talks on mathematical music theory.
Tracked: July 23, 2009 8:48 AM

Re: The Mathematics of Music at Chicago

I’ve always thought there should be Riemannian geometry associated with a sort of rubato.

There is a sort of rubato where the left hand keeps strict time, and the right is free. I imagine the strict time is like flat space.

There is another sort of rubato where both hands are free - perhaps some call these “agogic distortions”. I imagine these to be like curved space, where each little bit is approximately flat, but large portions. If there is an “Einstein Field Equation for this”, maybe the stress-energy tensor would be some of Mazzola’s “gestures”?

OK, I will try to read the Mazzola book.

Posted by: Andrew on September 5, 2009 5:16 AM | Permalink | Reply to this

Re: The Mathematics of Music at Chicago

Well, I’m about 14 years late to this discussion, but have some thoughts on Mazzola’s work.

I’m currently a graduate student in music composition, so much of my work consists of just writing music. But my compositional thinking has been for many years influenced by mathematics. One way that I see the difference between mathematics and music is that if mathematics provides a view of structure as “eternal”, then music is the temporalization of such structures. It’s like bringing the Platonic heavens down to earth.

Moving on to Mazzola. Much of the theories in Topos of Music are based on Mazzola’s form and denotator theories. Forms constitute the basic kind of object wherein lie musical “facts”. So a form may consist of (say) four parameters such as Onset, Duration, Pitch, and Loudness, and a point in in this space is like a note event. Hence points in this space consist of an onset coordinate, a duration coordinate, a pitch coordinate, and a loudness coordinate. Once you have such a form, call it NotesNotes, you can then take the “power set” 𝒫(Notes)\mathcal{P}(Notes), and this space consists of all subsets of note events. Hence you may conceive of a musical score as a point in 𝒫(Notes)\mathcal{P}(Notes).

To derive forms, Mazzola starts with the category Mod\mathbf{Mod} of modules for objects and affine transformations for morphisms. The idea is that many music-theoretic constructions are grounded in modules. For instance, the set of pitch-classes in Western music is the module 12\mathbb{Z}_{12} with multiplication ring {1,5,7,11}\{ 1, 5, 7, 11\}, the space of onset times is \mathbb{Q}, and so on. However, Mod\mathbf{Mod} is not really an adequate category to work in for a number of reasons. One of the most obvious reasons is that in music theory, we are often interested in taking power sets of certain sets. For instance, we have the set 12\mathbb{Z}_{12} of pitch-classes, but if we want the set of pitch-class sets, then we need to take the power set 𝒫( 12)\mathcal{P}(\mathbb{Z}_{12}). But Mod\mathbf{Mod} cannot accommodate such power set constructions. Therefore Mazzola takes instead the category of set-valued presheaves over Mod\mathbf{Mod}, which he calls Mod [at]\mathbf{Mod}^{[at]}, and this enables much more general constructions with modules, which are necessary for music-theoretical purposes. So (roughly) the presheaves in Mod [at]\mathbf{Mod}^{[at]} are called forms, and this category allows taking arbitrary limits, colimits, and power objects. (Although those familiar with size issues may be wary of this construction…)

Denotators are then the generalized elements of forms. So now we can do a whole bunch of music theory working with forms and denotators. For instance, what is usually called a set-class in music theory is a set of pitch-class sets that is invariant under the set of transpositions and inversions, otherwise known as the T/IT/I group. For instance, the pitch class set (037)(037) is the set of all major and minor triads, since any major/minor triad can be transformed into any other major/minor triad via some action in T/IT/I. Hence the set of set-classes is a subobject of 𝒫(𝒫( 12))\mathcal{P}(\mathcal{P}(\mathbb{Z}_{12})), and the points in this space are the set-classes.

While Mazzola’s theories work wonderfully for a great deal of music-theoretic constructions, the world of actually composing music tends to be much more complex. Compositional ideas very often do not comply with the simplistic algebraic nature of modules. Even the gestures that have been mentioned above are not accommodated by Mazzola’s form and denotator theories, which is why he had to invent a brand new gesture theory for such situations. Because of these inadequacies, and because I’m a composer, I thought it would be really interesting if Mazzola’s formalisms could be generalized to accommodate just about any kind of musical thought conceivable. The difficult thing is that music can really be anything whatsoever, so long as it’s sonified! I can’t imagine any mathematical structure, for instance, that couldn’t be sonified in some way. Not that all these would be interesting, of course, but in principle it would seem that a fully universal framework for conceiving of musical phenomena would have to provide a universal definition of structure as such. Because of all this, I developed my own theories that generalize Mazzola’s. Mazzola’s forms and denotators are replaced by what I call structures and compositions (the term “compositions” here is not specifically “musical compositions”). I devise a category Rel [at]\mathbf{Rel}^{[at]} that I claim consists of all structured sets for objects, and allowing any kind of (underlying) set function for morphisms. It is my belief that this category is a “universal concrete category”, in the sense that any structured set (such as e.g. topological spaces, groups, vector spaces, partial orders, and anything else that is called a “structured set”) exists in this category. Anyway, it subsumes Mazzola’s forms because modules exist in Rel [at]\mathbf{Rel}^{[at]}, and it accommodates colimit, limit, and power constructions. It also subsumes his gesture theories since topological spaces exist in Rel [at]\mathbf{Rel}^{[at]} as well. For what it’s worth, so far I have found it very useful in my own compositional thinking.

Anyway, if anyone is interested in this, I can send you my writings. Otherwise, I hope I was able provide some helpful information on Mazzola’s work!

Posted by: Drew Flieder on June 6, 2023 8:13 PM | Permalink | Reply to this

Re: The Mathematics of Music at Chicago

Well, I’m about 14 years late to this discussion, but have some thoughts on Mazzola’s work.

I’m currently a graduate student in music composition, so much of my work consists of just writing music. But my compositional thinking has been for many years influenced by mathematics. One way that I see the difference between mathematics and music is that if mathematics provides a view of structure as “eternal”, then music is the temporalization of such structures. It’s like bringing the Platonic heavens down to earth.

Moving on to Mazzola. Much of the theories in Topos of Music are based on Mazzola’s form and denotator theories. Forms constitute the basic kind of object wherein lie musical “facts”. So a form may consist of (say) four parameters such as Onset, Duration, Pitch, and Loudness, and a point in in this space is like a note event. Hence points in this space consist of an onset coordinate, a duration coordinate, a pitch coordinate, and a loudness coordinate. Once you have such a form, call it NotesNotes, you can then take the “power set” 𝒫(Notes)\mathcal{P}(Notes), and this space consists of all subsets of note events. Hence you may conceive of a musical score as a point in 𝒫(Notes)\mathcal{P}(Notes).

To derive forms, Mazzola starts with the category Mod\mathbf{Mod} of modules for objects and affine transformations for morphisms. The idea is that many music-theoretic constructions are grounded in modules. For instance, the set of pitch-classes in Western music is the module 12\mathbb{Z}_{12} with multiplication ring {1,5,7,11}\{ 1, 5, 7, 11\}, the space of onset times is \mathbb{Q}, and so on. However, Mod\mathbf{Mod} is not really an adequate category to work in for a number of reasons. One of the most obvious reasons is that in music theory, we are often interested in taking power sets of certain sets. For instance, we have the set 12\mathbb{Z}_{12} of pitch-classes, but if we want the set of pitch-class sets, then we need to take the power set 𝒫( 12)\mathcal{P}(\mathbb{Z}_{12}). But Mod\mathbf{Mod} cannot accommodate such power set constructions. Therefore Mazzola takes instead the category of set-valued presheaves over Mod\mathbf{Mod}, which he calls Mod [at]\mathbf{Mod}^{[at]}, and this enables much more general constructions with modules, which are necessary for music-theoretical purposes. So (roughly) the presheaves in Mod [at]\mathbf{Mod}^{[at]} are called forms, and this category allows taking arbitrary limits, colimits, and power objects. (Although those familiar with size issues may be wary of this construction…)

Denotators are then the generalized elements of forms. So now we can do a whole bunch of music theory working with forms and denotators. For instance, what is usually called a set-class in music theory is a set of pitch-class sets that is invariant under the set of transpositions and inversions, otherwise known as the T/IT/I group. For instance, the pitch class set (037)(037) is the set of all major and minor triads, since any major/minor triad can be transformed into any other major/minor triad via some action in T/IT/I. Hence the set of set-classes is a subobject of 𝒫(𝒫( 12))\mathcal{P}(\mathcal{P}(\mathbb{Z}_{12})), and the points in this space are the set-classes.

While Mazzola’s theories work wonderfully for a great deal of music-theoretic constructions, the world of actually composing music tends to be much more complex. Compositional ideas very often do not comply with the simplistic algebraic nature of modules. Even the gestures that have been mentioned above are not accommodated by Mazzola’s form and denotator theories, which is why he had to invent a brand new gesture theory for such situations. Because of these inadequacies, and because I’m a composer, I thought it would be really interesting if Mazzola’s formalisms could be generalized to accommodate just about any kind of musical thought conceivable. The difficult thing is that music can really be anything whatsoever, so long as it’s sonified! I can’t imagine any mathematical structure, for instance, that couldn’t be sonified in some way. Not that all these would be interesting, of course, but in principle it would seem that a fully universal framework for conceiving of musical phenomena would have to provide a universal definition of structure as such. Because of all this, I developed my own theories that generalize Mazzola’s. Mazzola’s forms and denotators are replaced by what I call structures and compositions (the term “compositions” here is not specifically “musical compositions”). I devise a category Rel [at]\mathbf{Rel}^{[at]} that I claim consists of all structured sets for objects, and allowing any kind of (underlying) set function for morphisms. It is my belief that this category is a “universal concrete category”, in the sense that any structured set (such as e.g. topological spaces, groups, vector spaces, partial orders, and anything else that is called a “structured set”) exists in this category. Anyway, it subsumes Mazzola’s forms because modules exist in Rel [at]\mathbf{Rel}^{[at]}, and it accommodates colimit, limit, and power constructions. It also subsumes his gesture theories since topological spaces exist in Rel [at]\mathbf{Rel}^{[at]} as well. For what it’s worth, so far I have found it very useful in my own compositional thinking.

Anyway, if anyone is interested in this, I can send you my writings. Otherwise, I hope I was able provide some helpful information on Mazzola’s work!

Posted by: Drew Flieder on June 6, 2023 8:13 PM | Permalink | Reply to this

Re: The Mathematics of Music at Chicago

Thanks for all this! Many years after writing the above post I became interested in Renaissance polyphony and then finally harmony theory, from modes to upper structures and all that jazz. I’m trying to get better at improvising on the piano, which is a frustrating yet rewarding activity. But I’d still like to see your work; you could either email it to me or — even better! — post a link to it here, so others could see it too.

If there is something like a ‘universal concrete category’, it would presumably good for much more than music. Since I’m about to embark on a quest to understand ‘agent-based models’ at a high level of generality, this sort of thing is on my mind.

Posted by: John Baez on June 6, 2023 8:41 PM | Permalink | Reply to this

Re: The Mathematics of Music at Chicago

I’m happy to post a link! It’s not published, but it’s the link titled Tools for Worldmaking: Universal Concepts for Mental Reality which can be found on my website here.

Re “a universal concrete category being good for much more than music”: Indeed, once I started realizing what an adequate formalism for musical structure would be, it became clear to me that such a project would be much more broad in scope than music alone. So the main objective became to provide a kind of “universal method” for encoding/describing phenomena – kind of like what metaphysicians do, except without the metaphysics. In fact, my composition theory is very similar in format to Aristotle’s hylomorphic theory of matter, where “beings” are hierarchies of matter and form. The big difference is that the “beings” in my composition theory are completely formal objects, rather than the actual entities in the physical world. In many ways I see my project as similar in spirit to Carnap’s Aufbau, attempting to provide the tools that enable us to rationally reconstruct “the world”. The result is what I think is a universal set of tools for those engaged in any kind of theoretical research. So whether someone is a composer, physicist, philosopher, etc., the hope is that this project can provide the necessary tools for each of them.

If you’re mainly interested in my idea about a “universal concrete category”, then Chapter 2 is where I formulate all that stuff. But here’s an overview of the rest of the chapters.

  • Chapter 1: Introductory Statements. This is just about a page and totally informal. I express a sort of philosophical attitude that I think frames the whole project. I make a distinction between two kinds of “reality”, which I call mental reality and psychic reality.
  • Chapter 2: Structures. I provide a mathematical formalism of “structure”, and claim that this allows one to construct any kind of structure whatsoever. For instance, graphs, groups, topological spaces, probability spaces, vector spaces, partially ordered sets, etc. can be encoded as structures. Moreover, there are “type constructors” which allow you to synthesize new structures from given structures. (For what it’s worth, I have found this to be actually useful for my own music-theoretical work. For instance, I just wrote a paper that encodes “networks” as structures. I conceive of a network as a graph whose edges are specific transformations. For instance, if vertices are elements of a set X, and you have a group G acting on X, then a network is a graph with vertices from X and edges from G. I was able to formulate this in terms of the structure theory, which enabled me to generalize Lewin’s work on Klumpenhouwer Networks.)
  • Chapter 3: Compositions. This has nothing to do with musical compositions. The main thing I’m trying to do here is provide a universal foundation for thinking of form and material. Basically, you have some set of materials, and then you form them by specifying how they are to combine with one another. Once you have a set of formed materials, then you can use this new set of formed materials as the material for a higher order construction. In other words, the formed materials of one level become the material of the next level. This recursive process may continue indefinitely, creating what I call a “composition hierarchy”.
  • Chapter 4: Aggregates. This is a specific study of compositions in terms of their material.
  • Chapter 5: On Meaning. Compared to the other chapters, this one is pretty informal. I discuss the concept of “meaning”, or basically try to answer What is the meaning of “meaning”? The reason for doing this is because in the next chapter I provide some actual formal methods for constructing rich and meaningful statements about structures and compositions.
  • Chapter 6: Concepts. This is a more formal theory of concepts, and how to construct rigorous and precise ones. Once you have a rigorous theory of concepts, then you can form more complex statements by synthesizing more basic concepts with the use of logical connectives and quantifiers. One way to think about this chapter in relation to the rest of the project is this: If structures and compositions constitute the “stuff” of the “universe”, then this chapter provides tools for reasoning about how all the “stuffs” may be related to one another, along with what properties they may have.

On another note, thanks for posting links to your music blogs! I read the three of them. Are you familiar with any of the contemporary “classical music”? As you mention, Bach was considered old-fashioned by his time, since he was looking to the past in Renaissance music. In some ways the current musical climate makes me think of that situation. The radical music of the 50s and 60s (I’m thinking composers like Babbitt, Boulez, Xenakis, Stockhausen, Carter, and others) was very complex, and starting in the 70s things started trending in the opposite direction toward decreasing complexity, and in many cases I would say superficiality. Yet there are few composers now who have an ear to the music of the past (particularly the postwar avant-garde) and are developing that line of thinking, still with a vision toward the future. My undergraduate professor Robert Morris is one of them. And indeed, many consider these people to be “old-fashioned”, but to me they seem like the people who are really still pushing music forward in radical ways.

If you are interested in hearing some of my music, some recordings are on soundcloud and I have scores and some other recordings on my website here.

Posted by: Drew Flieder on June 7, 2023 2:55 AM | Permalink | Reply to this

Post a New Comment