Dmitri Tymoczko Princeton University dmitri@princeton.edu http://music.princeton.edu/~dmitri A Geometry of Music Dmitri Tymoczko Princeton University dmitri@princeton.edu http://music.princeton.edu/~dmitri/SIAM.ppt

What makes music sound good? http://music.princeton.edu/~dmitri What makes music sound good? Melodies move by short distances (horizontal) Auditory streaming Harmonies sound similar (vertical) chords, whatever they are, are structurally similar Chords sound intrinsically good (“acoustic consonance”) “Limited macroharmony” Music is limited to 5-8 pitch-classes over moderate stretches of time. Centricity (one note sounds “stable” or restful) Universality vs. cultural conditioning; possible contributions of biology

Elementary Music Theory I http://music.princeton.edu/~dmitri Elementary Music Theory I Notes can be represented numerically by the logarithms of their fundamental frequencies. (If done right, this corresponds to numbering piano keys.) We experience frequency space as being periodic, with notes an octave apart sounding similar

Elementary Music Theory II http://music.princeton.edu/~dmitri Elementary Music Theory II A musical staff is a two-dimensional graph

Elementary Music Theory III http://music.princeton.edu/~dmitri Elementary Music Theory III A musical object is an ordered sequence of notes. The ordering can represent ordering in time, or by instrument. = (64, 67, 70, 74)

Elementary Music Theory IV http://music.princeton.edu/~dmitri Elementary Music Theory IV A voice leading is a transition from one musical object to another. These are the atomic constituents of musical scores. Here, the music moves from a C major chord to an F major chord, articulating three individual melodies: G moves to A, E moves to F, while C stays fixied. We can write: (C4, E4, G4)(C4, F5, A5) or (60, 64, 67)(60, 65, 69)

Symmetry and Music http://music.princeton.edu/~dmitri Musicians are in the business of combining similar objects. What does it mean to say two objects are similar (or “functionally equivalent”)? Or in other words, what sorts of symmetries do musicians habitually recognize?

The OPTIC symmetries http://music.princeton.edu/~dmitri We’ve defined a musical object as an ordered series of pitches e.g. (C4, E4, G4) Musicians recognize five “OPTIC” symmetries, which allow you to transform an object without changing its essential identity. Octave: (C4, E4, G4) ~ (C5, E4, G2) Permutation: (C4, E4, G4) ~ (E4, G4, C4) Transposition (or translation): (C4, E4, G4) ~ (D4, F#4, A4) Inversion (or reflection): (C4, E4, G4) ~ (G4, Eb4, C4) Cardinality change: (C4, E4, G4) ~ (C4, E4, E4, G4)

Common Musical Terms expressed in terms of the OPTIC symmetries http://music.princeton.edu/~dmitri Common Musical Terms expressed in terms of the OPTIC symmetries Chord (e.g. “C major”) = OPC equivalence class Chord type (e.g. “major chord”) = OPTC equivalence class Many others: pitch, pitch-class, chord progression, voice leading, tone row, set, set class, etc.

http://music.princeton.edu/~dmitri Geometry Each combination of OPTIC symmetries produces its own geometrical space. These spaces are quotients of Rn. Example 1: two-note chords. Start with the Cartesian plane, R2. Identify all points (x, y), (y, x), (x+12, y) NB: (x, y) ~ (y, x) ~ (y+12, x) ~ (x, y + 12) The result is an orbifold: a Möbius strip whose singular “boundary” acts like a mirror.

Example 1 http://music.princeton.edu/~dmitri • Rotating the axes. • Mapping a score to R2. Second note First note

http://music.princeton.edu/~dmitri

http://music.princeton.edu/~dmitri

Geometry (2) Example 2: three-note chord types (OPT) http://music.princeton.edu/~dmitri Geometry (2) Example 2: three-note chord types (OPT) Start with the Cartesian plane, R3. Identify (x, y, z) with: (x+12, y, z) (y, x, z), (y, z, x) (x + c, y + c, z + c) The result is a cone whose “boundary” acts as a mirror, and whose tip is singular. Mathematically, this is the leaf space of a foliation of the bounded interior of a twisted triangular 2-torus.

Interpreting the Geometry http://music.princeton.edu/~dmitri Interpreting the Geometry Points represent equivalence classes: Chords, chord-types, and so on Ordered pairs of points sequences of objects with no implied mappings between their elements e.g. C majorG major Musicians call these “chord progressions.” Images of line segments represent particular mappings between chords’ elements For instance, in two note space, there is a line segment (C, E)(D, F) that represents the event in which C moves up by two semitones to D, and E moves up by one semitone to F. Musicians call these transitions “voice leadings.”

In three-note OP space these are represented by the same line segment. http://music.princeton.edu/~dmitri (C4, E4, G4)(C4, F5, A5) (E3, G4, C5)(F3, A4, C5) Here are two different voice leadings. In both cases, C stays fixed, E moves up by semitone to F, and G moves up by two semitones to A. In three-note OP space these are represented by the same line segment.

Some interesting math http://music.princeton.edu/~dmitri Our spaces are quotients of product spaces: we take several “copies” of R, representing the space of possible pitches, and then apply equivalence relations to the result. A musical scale provides a metric on the underlying one-dimensional space. (It tells us how to go up one.) This means that for a given path in the space, we can compute a set of distances, representing the total distances moved by each individual musical voice. However, this does not give a metric on the product space, since there are many ways to calculate a single distance from a given a set of distances (e.g. the Lp norms).

Some interesting math http://music.princeton.edu/~dmitri In other words, we’re somewhere between topology and geometry: we can assign a set of “distances” to every path in the space, but not a single distance. Which metric did Mozart use???

Some interesting math http://music.princeton.edu/~dmitri Rather than choosing a metric arbitrarily, we can try to find reasonable constraints that any acceptable distance metric must obey. • One such constraint is that voice crossings never make a path shorter. • A restricted form of the triangle inequality.

Some interesting math http://music.princeton.edu/~dmitri The principle that crossings not make a path shorter is (non-obviously) equivalent to the submajorization partial order, which originated in economics. An optimal redistribution of wealth never reorders individuals in terms of wealth. It’s been known for a century, and appears throughout mathematics. It provides us with the ability to compare some distances in our space: a partial-order geometry.

An open problem http://music.princeton.edu/~dmitri Define a chord type as an equivalence class under OPTC: a set of points on the circle modulo transposition (major chord, minor chord, diatonic scale, etc.). Define the distance between chord types as the shortest path between them in OPTC space; these paths can involve duplications. E.g. the shortest path between (0, 4, 6) and (6, 10, 0) is (0, 0, 4, 6)(10, 0, 6, 6) Q: Given the Euclidean metric, can you construct a polynomial-time algorithm for determining the distance between two chord-types? It’s easy for L1 and L∞, but hard for L2. This is a very practical problem, from a musical point of view; it amounts to quantifying a natural notion of similarity.

OK, so what? http://music.princeton.edu/~dmitri For 600+ years, Western music has a two-dimensional coherence. Melodies move by short distances Chords (simultaneously sounding notes) are heard to be structurally similar. Q: how is this possible?

Chords and Scales http://music.princeton.edu/~dmitri Furthermore, for 300+ years, Western music has been hierarchically self-similar, combining these two kinds of coherence in two different ways. When a classical composer moves from the key of D major to the key of A major, the note G moves up by semitone to G#, linking two structurally similar scales (D and A major) by a short melodic motion (GG#).

http://music.princeton.edu/~dmitri

http://music.princeton.edu/~dmitri

http://music.princeton.edu/~dmitri Western music is hierarchically self-similar, using the same procedures (short melodic motions linking structurally similar harmonies) at two time scales (that of the chord and that of the scale).

http://music.princeton.edu/~dmitri If we can understand how this is possible, we can perhaps demarcate the space of coherent musics — that is the range of possible styles exhibiting melodic and harmonic consistency!

http://music.princeton.edu/~dmitri Geometry to the rescue! Once you understand the geometry of the OPTIC spaces, it is obvious how to combine melodic and harmonic consistency. It’s a matter of exploiting the non-Euclidean features of chord space!

http://music.princeton.edu/~dmitri We can use visual pattern recognition to uncover interesting Musical relationships!

http://music.princeton.edu/~dmitri Chopin moves systematically through this four-dimensional space!

http://music.princeton.edu/~dmitri Using geometry, we can generalize many contemporary music-theoretical concepts. For instance, music theorists have been talking about lines and planes in the OPTIC spaces, without realizing it.

http://music.princeton.edu/~dmitri We can use geometrical distance to construct a notion of similarity that is more flexible than are traditional conceptions

More practically … http://music.princeton.edu/~dmitri • We can build new instruments. • We can provide simultaneous, real-time visualization of complex musical structures (at a concert, say). • New educational paradigms.

http://music.princeton.edu/~dmitri Thank you! D. Tymoczko, “The Geometry of Musical Chords.” Science 313 (2006): 72-74. C. Callender, I. Quinn, and D. Tymoczko, “Generalized Voice-Leading Spaces.” Science 320 (2008): 346-348.  BOOK NOW AVAILABLE FOR PREORDER AT AMAZON.COM!!!!