🔢 mathematics

Reconstructibility of Pitch Class Graphs and the Z-relation

Dieser Artikel liefert eine strukturelle Erklärung für die Z-Relation in der Musiktheorie, indem er Tonklassenmengen als gewichtete Graphen modelliert, die Z-Relation als Existenz mehrerer T/I-nichtäquivalenter Kompositionen für dasselbe Intervallmultiset definiert und zentrale Sätze bezüglich ihres Auftretens, ihres Nichtvorhandenseins bei der Kardinalität drei sowie ihrer Ausbreitung über verschiedene modulare Systeme aufstellt.

Ursprüngliche Autoren: Aleksa Joksimović

Veröffentlicht 2026-05-25

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Aleksa Joksimović

Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

Stellen Sie sich vor, Sie sind ein Musikdetektiv, der versucht, ein Rätsel zu lösen, das Theoretiker seit Jahrzehnten verwirrt: die Z-Relation.

In der Welt der 12-Ton-Musik (wie auf einer Standard-Klavierklaviatur) gruppieren Musiker Noten zu „Akkorden" oder „Mengen". Normalerweise haben zwei Akkorde, die unterschiedlich klingen, einen unterschiedlichen „Fingerabdruck", der als Intervallvektor bezeichnet wird. Dieser Fingerabdruck zählt, wie oft jede Distanz (wie eine große Terz oder eine reine Quinte) zwischen den Noten im Akkord vorkommt.

Das Rätsel:
Manchmal teilen zwei Akkorde, die völlig unterschiedlich klingen und nicht durch einfaches Verschieben auf der Tastatur (Transposition) oder Umkehren (Inversion) ineinander überführt werden können, den exakt gleichen Fingerabdruck. Sie haben dieselben Distanzen zwischen den Noten, aber die Noten selbst sind unterschiedlich angeordnet. Diese „Zwillinge" werden Z-verwandt genannt.

Lange Zeit wussten Mathematiker, dass diese Zwillinge existieren (es gibt genau 23 Paare in der Standard-12-Ton-Musik), aber sie konnten nicht erklären, warum oder wie sie entstehen. Es war, als würde man zwei verschiedene Häuser finden, die exakt die gleiche Anzahl an Fenstern, Türen und Räumen haben, aber einen völlig anderen Grundriss.

Die Lösung des Papiers: Die „Leiter"-Analogie

Der Autor Aleksa Joksimović löst dieses Rätsel, indem er die Art und Weise ändert, wie wir das Problem betrachten. Anstatt die Noten als statische Liste zu betrachten, stellt er sie sich als einen Wanderer vor, der einen Berg hinaufsteigt.

Der Berg (Die Tonleiter): Stellen Sie sich einen Berg vor, der genau $n$ Stufen hoch ist (wobei $n$ die Anzahl der Noten in der Tonleiter ist, wie 12).
Die Stufen (Die Komposition): Um vom Fuß (Note 0) zum Gipfel (Note $n$ ) zu gelangen, unternehmen Sie eine Reihe von Schritten. Diese Schritte summieren sich zur Gesamthöhe.
Die Aussicht (Die Intervalle): Jedes Mal, wenn Sie auf einen vorherigen Ort zurückblicken, den Sie besucht haben, sehen Sie eine „Aussicht" (ein Intervall). Das Papier zeigt, dass die gesamte Sammlung der Aussichten, die Sie beim Wandern sehen, ausschließlich durch die Größe Ihrer Schritte bestimmt wird.

Die große Entdeckung:
Das Papier beweist, dass die „Z-Relation" auftritt, wenn zwei verschiedene Wanderwege (unterschiedliche Schrittgrößen) exakt dieselbe Sammlung von Aussichten produzieren.

Weg A könnte kleine Schritte machen, dann einen großen Sprung, dann einen mittleren Schritt.
Weg B könnte einen mittleren Schritt machen, dann einen kleinen Sprung, dann einen großen Schritt.
Obwohl die Reihenfolge der Schritte unterschiedlich ist, enden die „Aussichten" (Intervalle) zwischen jedem Paar von Punkten als identisch.

Wichtige Erkenntnisse einfach erklärt

1. Die „Drei-Noten"-Regel (Warum es bei kleinen Gruppen unmöglich ist)
Das Papier beweist, dass dieses Rätsel unmöglich ist, wenn Sie nur drei Noten haben (ein Trichord).

Analogie: Stellen Sie sich ein Dreieck vor. Wenn Sie die Längen der drei Seiten kennen, ist die Form festgelegt. Sie können die Seiten nicht neu anordnen, um ein anderes Dreieck mit denselben Seitenlängen zu bilden.
Ergebnis: Sie benötigen mindestens vier Noten (ein Tetrachord), damit dieses „Z-Rätsel" auftreten kann.

2. Die „Kopieren-Einfügen"-Regel (Der Skalierungssatz)
Das Papier zeigt, dass Sie, wenn Sie ein Z-Paar in einer kleinen Welt finden (zum Beispiel in einer 10-Ton-Tonleiter), automatisch ein Z-Paar in einer größeren Welt (zum Beispiel in einer 20-Ton-Tonleiter) erstellen können, indem Sie einfach die Schritte dehnen.

Analogie: Wenn Sie einen geheimen Code für ein 10-Buchstaben-Wort haben, können Sie einen geheimen Code für ein 20-Buchstaben-Wort erstellen, indem Sie jeden Buchstaben verdoppeln. Die Struktur bleibt gleich, nur größer. Das bedeutet, dass Z-Paare in kleinen Tonleitern ihre Existenz in größere Tonleitern „vererben".

3. Die „Magische Vier" (Die allgemeine Konstruktion)
Der Autor fand ein spezifisches Rezept, um Z-Paare für jede Tonleitergröße zu bauen, die durch 4 teilbar ist (wie 8, 12, 16, 20).

Das Rezept: Es gibt eine spezifische Art, vier Schritte anzuordnen, die garantiert, dass zwei verschiedene Wanderwege dieselben Aussichten haben. Dies erklärt, warum das berühmte Z-Paar in der 12-Ton-Musik (das „All-Intervall-Tetrachord") existiert, und zeigt uns, wie man unendlich viele weitere bauen kann.

4. Der Computer-Check
Der Autor verwendete einen Computer, um jede mögliche Kombination in der Standard-12-Ton-Tonleiter ( $Z_{12}$ ) und einer 19-Ton-Tonleiter ( $Z_{19}$ ) zu überprüfen.

In der 12-Ton-Welt bestätigte der Computer, dass es genau 23 Paare dieser „Zwillinge" gibt, was mit dem übereinstimmt, was Musiker seit 50 Jahren wissen.
In der 19-Ton-Welt tauchen die Zwillinge erst auf, wenn Sie 6 oder mehr Noten haben. Sie können sie nicht mit 3, 4 oder 5 Noten finden.

Warum das wichtig ist (laut dem Papier)

Dieses Papier sagt nicht nur „sie existieren"; es erklärt den Mechanismus.

Alter Weg: Betrachten Sie die Musik im „Frequenzbereich" (wie das Betrachten einer Schallwelle). Es sagt Ihnen, dass sie gleich sind, aber nicht wie.
Neuer Weg: Betrachten Sie die „Schrittzusammensetzung" (den Wanderweg). Es zeigt, dass die Z-Relation ein kombinatorisches Rätsel ist: Es geht darum, auf wie viele verschiedene Arten man eine Menge von Zahlen (Schritten) so anordnen kann, dass ihre Teilsummen (Aussichten) gleich aussehen.

Das Papier kommt zu dem Schluss, dass die „Z-Relation" einfach die Bedingung ist, unter der eine bestimmte Menge von Intervallzählungen auf zwei oder mehr verschiedene Arten aufgebaut werden kann. Wenn es nur eine Möglichkeit gibt, sie zu bauen, ist die Menge „rekonstruierbar" (eindeutig). Wenn es zwei oder mehr Möglichkeiten gibt, haben Sie ein Z-Paar.

Kurz gesagt: Das Papier verwandelt ein musikalisches Rätsel in ein mathematisches Puzzle über das Treppensteigen. Es beweist, dass manchmal zwei verschiedene Treppenhäuser von jeder Plattform aus exakt dieselbe Aussicht bieten können, und es gibt uns die Baupläne, um so viele dieser Treppenhäuser zu bauen, wie wir wollen.

Technisches Fazit: Rekonstruierbarkeit von Tonklassengraphen und die Z-Relation

Problemstellung
Der Beitrag behandelt das langjährige strukturelle Rätsel der Z-Relation in der Musiktheorie. Seit Fortes Klassifikation von 1973 ist bekannt, dass verschiedene Tonklassenmengen (in $Z_{12}$ und anderen zyklischen Gruppen) identische Intervallvektoren (Intervall-Multimengen) teilen können, ohne durch Transposition oder Inversion (T/I) miteinander verwandt zu sein. Während bestehende Theorien, wie jene, die auf der diskreten Fourier-Transformation (DFT) und Homometrie basieren, diese Mengen über Betragspektren im Frequenzbereich charakterisieren, versagen sie darin, den zugrundeliegenden kombinatorischen Mechanismus zu erklären, der zwei unterschiedliche Konfigurationen dazu zwingt, identische Intervallzählungen zu erzeugen. Die zentrale Frage lautet: Welche strukturelle Eigenschaft von Tonklassenmengen ermöglicht eine nicht-eindeutige Rekonstruktion aus ihrem Intervallinhalt?

Methodik
Der Autor schlägt einen strukturellen Rahmen vor, der Tonklassenmengen als vollständige gewichtete Graphen modelliert und ihren Intervallinhalt durch Kompositionen von $n$ kodiert.

Tonklassengraphen: Eine Tonklassenmenge $P \subseteq Z_n$ wird als Graph dargestellt, wobei die Kantengewichte Intervallklassen sind. Die Menge wird durch eine Folge von Schritten (aufeinanderfolgende Differenzen) definiert, die eine Komposition von $n$ bilden.
Additivitätsregel: Die Intervallklasse zwischen zwei nicht-adjazenten Tonklassen wird durch die Intervallklasse der Summe der Schritte zwischen ihnen bestimmt. Dies reduziert die gesamte Intervallstruktur auf eine Funktion der Teilsummen der Komposition.
Realisierungszahl ( $R(\mu, n)$ ): Der Beitrag führt eine neue Invariante ein, $R(\mu, n)$ $R (μ, n)$ , definiert als die Anzahl der T/I-inkquivalenten Kompositionen von $n$ $n$ , die dieselbe Intervall-Multimenge $\mu$ $μ$ erzeugen.
- Wenn $R(\mu, n) = 1$ , ist die Menge rekonstruierbar (eindeutig durch ihren Intervallvektor bestimmt).
- Wenn $R(\mu, n) \ge 2$ , ist die Menge nicht-rekonstruierbar, und die Bedingung $R(\mu, n) \ge 2$ wird als exakte Definition der Z-Relation nachgewiesen.

Hauptbeiträge und Ergebnisse

Strukturelle Charakterisierung der Z-Relation: Der Beitrag stellt fest, dass die Z-Relation nicht lediglich eine spektrale Koinzidenz ist, sondern ein kombinatorisches Phänomen, bei dem mehrere inkquivalente Kompositionen dieselbe Multimenge von Teilsummen ergeben.
Kardinalitätsbeschränkungen ( $k=3$ ): Es wird bewiesen, dass die Z-Relation bei Kardinalität $k=3$ in keinem $Z_n$ auftreten kann. Für Trichorde ist die Abbildung von Komposition zu Intervall-Multimenge bis auf T/I-Äquivalenz bijektiv, was bedeutet, dass stets $R(\mu, n) = 1$ gilt.
Allgemeine Konstruktion für $k=4$ : Der Beitrag konstruiert für jedes durch 4 teilbare $n$ $n$ (wobei $n \ge 8$ $n \geq 8$ ) ein explizites primitives Z-verwandtes Paar.
- Für $n = 4q$ werden die Mengen $P_1 = \{0, 1, q, 2q+1\}$ und $P_2 = \{0, 1, q+1, 2q\}$ als Z-verwandt nachgewiesen.
- Diese Konstruktion zeigt, dass die minimale Kardinalität für die Z-Relation, $k_{min}(n)$ , für alle $n \equiv 0 \pmod 4$ mit $n \ge 8$ gleich 4 ist.
Der Skalierungssatz: Ein Satz wird bewiesen, der zeigt, dass sich die Z-Relation durch das Teilbarkeitsgitter fortpflanzt. Existiert ein Z-Paar in $Z_m$ , so existiert ein abgeleitetes Z-Paar in $Z_{dm}$ für alle $d \ge 1$ über die Abbildung $p \mapsto dp$ . Dies unterscheidet zwischen abgeleiteten Paaren (Skalierungen kleinerer Z-Paare) und primativen Paaren (inhärent zur Arithmetik von $Z_n$ ).
Computergestützte Verifikation:
- $Z_{12}$ : Eine erschöpfende Enumeration bestätigt die bekannte Anzahl von 23 Z-verwandten Paaren. Die Verteilung der nicht-rekonstruierbaren Multimengen erreicht ihren Höhepunkt bei der Kardinalität $k=6$ ( $n/2$ ) und ist palindromisch. Es existieren keine Z-Gruppen größer als Größe 2 in $Z_{12}$ .
- $Z_{19}$ : Berechnungen zeigen, dass die Z-Relation für $k \le 5$ nicht auftritt. Die ersten Z-Relationen treten bei $k=6$ auf, was nahelegt, dass für Primzahlen $n$ (wie 19) die Schwelle für die Z-Relation höher liegen könnte als für zusammengesetzte $n$ .

Bedeutung und Behauptungen
Der Beitrag beansprucht, die erste strukturelle Erklärung für die Z-Relation zu liefern und geht über die frequenzbereichsbasierten Charakterisierungen der Homometrie hinaus. Indem das Problem im Kontext von Kompositionen und Teilsummen als eines der Rekonstruierbarkeit neu gefasst wird, tut der Autor folgendes:

Er beweist das Nichtvorhandensein der Z-Relation für Trichorde ( $k=3$ ).
Er liefert eine allgemeine, explizite Konstruktion für Z-verwandte Tetrachorde ( $k=4$ ) in geraden zyklischen Gruppen.
Er klärt die Beziehung zwischen abgeleiteten und primitiven Z-Paaren durch den Skalierungssatz.
Er identifiziert die Z-Relation als diskreten Fall des Phasen-Wiederherstellungsproblems, bei dem unterschiedliche Phasenmuster (Kompositionen) mit demselben Betragsspektrum (Intervallvektor) vereinbar sind.

Der Beitrag schließt mit der Nennung offener Probleme, einschließlich der vollständigen Charakterisierung, welche $n$ primitive Z-Paare bei $k=4$ zulassen (insbesondere für $n \equiv 2 \pmod 4$ ), sowie der Suche nach einem arithmetischen Kriterium in geschlossener Form für $R(\mu, n) \ge 2$ ohne Enumeration, ein Problem, das mit dem zyklischen Turnpike-Problem verknüpft ist.

Die Lösung des Papiers: Die „Leiter"-Analogie

Wichtige Erkenntnisse einfach erklärt

Warum das wichtig ist (laut dem Papier)

Technisches Fazit: Rekonstruierbarkeit von Tonklassengraphen und die Z-Relation

Mehr davon