🔢 mathematics

Reconstructibility of Pitch Class Graphs and the Z-relation

This paper provides a structural explanation for the Z-relation in music theory by modeling pitch-class sets as weighted graphs, defining the Z-relation as the existence of multiple T/I-inequivalent compositions for the same interval multiset, and establishing key theorems regarding its occurrence, non-existence at cardinality three, and propagation across different modular systems.

Original authors: Aleksa Joksimović

Published 2026-05-25

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Aleksa Joksimović

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are a music detective trying to solve a mystery that has puzzled theorists for decades: The Z-Relation.

In the world of 12-tone music (like the standard piano keyboard), musicians group notes together into "chords" or "sets." Usually, if two chords sound different, they have a different "fingerprint" called an interval vector. This fingerprint counts how many times each distance (like a major third or a perfect fifth) appears between the notes in the chord.

The Mystery:
Sometimes, two chords that sound completely different and cannot be turned into each other by simply sliding them up or down the keyboard (transposition) or flipping them upside down (inversion) share the exact same fingerprint. They have the same distances between notes, but the notes themselves are arranged differently. These "twins" are called Z-related.

For a long time, mathematicians knew these twins existed (there are exactly 23 pairs in standard 12-tone music), but they couldn't explain why or how they happened. It was like finding two different houses that had the exact same number of windows, doors, and rooms, but a completely different floor plan.

The Paper's Solution: The "Step-Ladder" Analogy

Author Aleksa Joksimović solves this mystery by changing how we look at the problem. Instead of looking at the notes as a static list, he imagines them as a hiker walking up a mountain.

The Mountain (The Scale): Imagine a mountain that is exactly $n$ steps high (where $n$ is the number of notes in the scale, like 12).
The Steps (The Composition): To get from the bottom (note 0) to the top (note $n$ ), you take a series of steps. These steps add up to the total height.
The View (The Intervals): Every time you look back at a previous spot you visited, you see a "view" (an interval). The paper shows that the entire collection of views you see while hiking is determined entirely by the size of your steps.

The Big Discovery:
The paper proves that the "Z-relation" happens when two different hiking paths (different step sizes) produce the exact same collection of views.

Path A might take small steps, then a big jump, then a medium step.
Path B might take a medium step, then a small jump, then a big step.
Even though the order of steps is different, the "views" (intervals) between every pair of points end up being identical.

Key Findings in Simple Terms

1. The "Three-Note" Rule (Why it's impossible for small groups)
The paper proves that if you only have three notes (a trichord), this mystery is impossible.

Analogy: Imagine a triangle. If you know the lengths of the three sides, the shape is fixed. You can't rearrange the sides to make a different triangle with the same side lengths.
Result: You need at least four notes (a tetrad) for this "Z-mystery" to occur.

2. The "Copy-Paste" Rule (The Scaling Theorem)
The paper shows that if you find a Z-pair in a small world (say, a 10-note scale), you can automatically create a Z-pair in a larger world (say, a 20-note scale) just by stretching the steps.

Analogy: If you have a secret code for a 10-letter word, you can make a secret code for a 20-letter word by doubling every letter. The structure remains the same, just bigger. This means Z-pairs in small scales "inherit" their existence into larger scales.

3. The "Magic Four" (The General Construction)
The author found a specific recipe to build Z-pairs for any scale size that is divisible by 4 (like 8, 12, 16, 20).

The Recipe: There is a specific way to arrange four steps that guarantees two different hiking paths will have the same views. This explains why the famous Z-pair in 12-tone music (the "all-interval tetrachord") exists and shows us how to build infinite others.

4. The Computer Check
The author used a computer to check every possible combination in the standard 12-note scale ( $Z_{12}$ ) and a 19-note scale ( $Z_{19}$ ).

In the 12-note world, the computer confirmed there are exactly 23 pairs of these "twins," matching what musicians have known for 50 years.
In the 19-note world, the twins only start appearing when you have 6 or more notes. You can't find them with 3, 4, or 5 notes.

Why This Matters (According to the Paper)

This paper doesn't just say "they exist"; it explains the mechanism.

Old Way: Look at the music in the "frequency domain" (like looking at a sound wave). It tells you that they are the same, but not how.
New Way: Look at the "step composition" (the hiking path). It shows that the Z-relation is a combinatorial puzzle: it's about how many different ways you can arrange a set of numbers (steps) so that their partial sums (views) look the same.

The paper concludes that the "Z-relation" is simply the condition where a specific set of interval counts can be built in two or more different ways. If there is only one way to build it, the set is "reconstructible" (unique). If there are two or more ways, you have a Z-pair.

In a nutshell: The paper turns a musical mystery into a math puzzle about walking up stairs. It proves that sometimes, two different staircases can offer the exact same view from every landing, and it gives us the blueprints to build as many of these staircases as we want.

Technical Summary: Reconstructibility of Pitch-Class Graphs and the Z-relation

Problem Statement
The paper addresses the long-standing structural mystery of the Z-relation in music theory. Since Forte's 1973 classification, it has been known that distinct pitch-class sets (in $Z_{12}$ and other cyclic groups) can share identical interval vectors (interval multisets) without being related by transposition or inversion (T/I). While existing theories, such as those based on the Discrete Fourier Transform (DFT) and homometry, characterize these sets via frequency-domain magnitude spectra, they fail to explain the underlying combinatorial mechanism that forces two different configurations to produce identical interval counts. The central question is: What structural property of pitch-class sets allows for non-unique reconstruction from their interval content?

Methodology
The author proposes a structural framework that models pitch-class sets as complete weighted graphs and encodes their interval content through compositions of $n$ .

Pitch-Class Graphs: A pitch-class set $P \subseteq Z_n$ is represented as a graph where edge weights are interval classes. The set is defined by a sequence of steps (consecutive differences) that form a composition of $n$ .
Additivity Rule: The interval class between any two non-adjacent pitch classes is determined by the interval class of the sum of the steps between them. This reduces the entire interval structure to a function of the composition's partial sums.
Realization Number ( $R(\mu, n)$ ): The paper introduces a new invariant, $R(\mu, n)$ $R (μ, n)$ , defined as the count of T/I-inequivalent compositions of $n$ $n$ that produce the same interval multiset $\mu$ $μ$ .
- If $R(\mu, n) = 1$ , the set is reconstructible (uniquely determined by its interval vector).
- If $R(\mu, n) \ge 2$ , the set is non-reconstructible, and the condition $R(\mu, n) \ge 2$ is proven to be precisely the definition of the Z-relation.

Key Contributions and Results

Structural Characterization of Z-Relation: The paper establishes that Z-relation is not merely a spectral coincidence but a combinatorial phenomenon where multiple inequivalent compositions yield the same multiset of partial sums.
Cardinality Constraints ( $k=3$ ): It is proven that Z-relation cannot occur at cardinality $k=3$ in any $Z_n$ . For trichords, the mapping from composition to interval multiset is bijective up to T/I equivalence, meaning $R(\mu, n) = 1$ always.
General Construction for $k=4$ : The paper constructs an explicit primitive Z-related pair for every $n$ $n$ divisible by 4 (where $n \ge 8$ $n \geq 8$ ).
- For $n = 4q$ , the sets $P_1 = \{0, 1, q, 2q+1\}$ and $P_2 = \{0, 1, q+1, 2q\}$ are shown to be Z-related.
- This construction demonstrates that the minimum cardinality for Z-relation, $k_{min}(n)$ , is 4 for all $n \equiv 0 \pmod 4$ with $n \ge 8$ .
The Scaling Theorem: A theorem is proven showing that Z-relation propagates through the divisibility lattice. If a Z-pair exists in $Z_m$ , then a derived Z-pair exists in $Z_{dm}$ for all $d \ge 1$ via the mapping $p \mapsto dp$ . This distinguishes between derived pairs (scalings of smaller Z-pairs) and primitive pairs (intrinsic to the arithmetic of $Z_n$ ).
Computational Verification:
- $Z_{12}$ : Exhaustive enumeration confirms the known count of 23 Z-related pairs. The distribution of non-reconstructible multisets peaks at cardinality $k=6$ ( $n/2$ ) and is palindromic. No Z-groups larger than size 2 exist in $Z_{12}$ .
- $Z_{19}$ : Computations show that Z-relation does not occur for $k \le 5$ . The first Z-relations appear at $k=6$ , suggesting that for prime $n$ (like 19), the threshold for Z-relation may be higher than for composite $n$ .

Significance and Claims
The paper claims to provide the first structural explanation for the Z-relation, moving beyond the frequency-domain characterizations of homometry. By reframing the problem as one of reconstructibility in the context of compositions and partial sums, the author:

Proves the non-existence of Z-relation for trichords ( $k=3$ ).
Provides a general, explicit construction for Z-related tetrachords ( $k=4$ ) in even cyclic groups.
Clarifies the relationship between derived and primitive Z-pairs via the Scaling Theorem.
Identifies the Z-relation as a discrete instance of the phase retrieval problem, where distinct phase patterns (compositions) are compatible with the same magnitude spectrum (interval vector).

The paper concludes by noting open problems, including the complete characterization of which $n$ admit primitive Z-pairs at $k=4$ (specifically for $n \equiv 2 \pmod 4$ ) and finding a closed-form arithmetic criterion for $R(\mu, n) \ge 2$ without enumeration, a problem linked to the cyclic Turnpike problem.

The Paper's Solution: The "Step-Ladder" Analogy

Key Findings in Simple Terms

Why This Matters (According to the Paper)

Technical Summary: Reconstructibility of Pitch-Class Graphs and the Z-relation

More like this