🔢 mathematics

Reconstructibility of Pitch Class Graphs and the Z-relation

Este artículo ofrece una explicación estructural de la relación Z en la teoría musical al modelar los conjuntos de clases de altura como grafos ponderados, definiendo la relación Z como la existencia de múltiples composiciones no equivalentes bajo T/I para el mismo multiconjunto de intervalos, y estableciendo teoremas clave sobre su ocurrencia, su inexistencia en la cardinalidad tres y su propagación a través de diferentes sistemas modulares.

Autores originales: Aleksa Joksimović

Publicado 2026-05-25

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Aleksa Joksimović

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina que eres un detective musical tratando de resolver un misterio que ha desconcertado a los teóricos durante décadas: La Relación-Z.

En el mundo de la música de 12 tonos (como el teclado estándar de un piano), los músicos agrupan las notas en "acordes" o "conjuntos". Por lo general, si dos acordes suenan diferentes, tienen una "huella dactilar" diferente llamada vector de intervalos. Esta huella cuenta cuántas veces aparece cada distancia (como una tercera mayor o una quinta justa) entre las notas del acorde.

El Misterio:
A veces, dos acordes que suenan completamente diferentes y no pueden transformarse uno en el otro simplemente deslizándolos hacia arriba o hacia abajo en el teclado (transposición) o voltiándolos de cabeza (inversión), comparten la misma huella dactilar exacta. Tienen las mismas distancias entre notas, pero las propias notas están dispuestas de manera diferente. Estos "gemelos" se denominan relacionados-Z.

Durante mucho tiempo, los matemáticos supieron que estos gemelos existían (hay exactamente 23 pares en la música de 12 tonos estándar), pero no podían explicar por qué o cómo ocurrían. Era como encontrar dos casas diferentes que tuvieran exactamente el mismo número de ventanas, puertas y habitaciones, pero un plano de planta completamente distinto.

La Solución del Artículo: La Analogía de la "Escalera de Manos"

El autor Aleksa Joksimović resuelve este misterio cambiando la forma en que miramos el problema. En lugar de ver las notas como una lista estática, las imagina como un senderista subiendo una montaña.

La Montaña (La Escala): Imagina una montaña que tiene exactamente $n$ pasos de altura (donde $n$ es el número de notas en la escala, como 12).
Los Pasos (La Composición): Para ir desde la base (nota 0) hasta la cima (nota $n$ ), das una serie de pasos. Estos pasos suman la altura total.
La Vista (Los Intervalos): Cada vez que miras hacia atrás a un lugar anterior que visitaste, ves una "vista" (un intervalo). El artículo demuestra que la colección completa de vistas que ves mientras caminas está determinada enteramente por el tamaño de tus pasos.

El Gran Descubrimiento:
El artículo demuestra que la "relación-Z" ocurre cuando dos rutas de senderismo diferentes (diferentes tamaños de pasos) producen exactamente la misma colección de vistas.

La Ruta A podría dar pasos pequeños, luego un gran salto, y luego un paso mediano.
La Ruta B podría dar un paso mediano, luego un pequeño salto, y luego un paso grande.
Aunque el orden de los pasos sea diferente, las "vistas" (intervalos) entre cada par de puntos terminan siendo idénticas.

Hallazgos Clave en Términos Sencillos

1. La Regla de las "Tres Notas" (Por qué es imposible para grupos pequeños)
El artículo demuestra que si solo tienes tres notas (un tricordio), este misterio es imposible.

Analogía: Imagina un triángulo. Si conoces las longitudes de los tres lados, la forma está fija. No puedes reorganizar los lados para crear un triángulo diferente con las mismas longitudes de lado.
Resultado: Necesitas al menos cuatro notas (un tetracordio) para que ocurra este "misterio-Z".

2. La Regla de "Copiar y Pegar" (El Teorema de Escalamiento)
El artículo muestra que si encuentras un par-Z en un mundo pequeño (digamos, una escala de 10 notas), puedes crear automáticamente un par-Z en un mundo más grande (digamos, una escala de 20 notas) simplemente estirando los pasos.

Analogía: Si tienes un código secreto para una palabra de 10 letras, puedes hacer un código secreto para una palabra de 20 letras duplicando cada letra. La estructura permanece igual, solo que más grande. Esto significa que los pares-Z en escalas pequeñas "heredan" su existencia hacia escalas más grandes.

3. El "Cuatro Mágico" (La Construcción General)
El autor encontró una receta específica para construir pares-Z para cualquier tamaño de escala divisible por 4 (como 8, 12, 16, 20).

La Receta: Hay una manera específica de organizar cuatro pasos que garantiza que dos rutas de senderismo diferentes tendrán las mismas vistas. Esto explica por qué existe el famoso par-Z en la música de 12 tonos (el "tetracordio de todos los intervalos") y nos muestra cómo construir infinitos otros.

4. La Verificación por Computadora
El autor utilizó una computadora para verificar cada combinación posible en la escala estándar de 12 notas ( $Z_{12}$ ) y una escala de 19 notas ( $Z_{19}$ ).

En el mundo de 12 notas, la computadora confirmó que hay exactamente 23 pares de estos "gemelos", coincidiendo con lo que los músicos han sabido durante 50 años.
En el mundo de 19 notas, los gemelos solo comienzan a aparecer cuando tienes 6 o más notas. No puedes encontrarlos con 3, 4 o 5 notas.

Por Qué Esto Importa (Según el Artículo)

Este artículo no solo dice "existen"; explica el mecanismo.

Antigua Forma: Mirar la música en el "dominio de la frecuencia" (como mirar una onda sonora). Te dice que son iguales, pero no cómo.
Nueva Forma: Mirar la "composición de pasos" (la ruta de senderismo). Muestra que la relación-Z es un rompecabezas combinatorio: se trata de cuántas formas diferentes puedes organizar un conjunto de números (pasos) para que sus sumas parciales (vistas) se vean iguales.

El artículo concluye que la "relación-Z" es simplemente la condición donde un conjunto específico de conteos de intervalos puede construirse de dos o más formas diferentes. Si solo hay una manera de construirlo, el conjunto es "reconstruible" (único). Si hay dos o más formas, tienes un par-Z.

En resumen: El artículo convierte un misterio musical en un acertijo matemático sobre subir escaleras. Demuestra que a veces, dos escaleras diferentes pueden ofrecer exactamente la misma vista desde cada descanso, y nos proporciona los planos para construir tantas de estas escaleras como queramos.

Resumen Técnico: Reconstruibilidad de Grafos de Clases de Tono y la Relación Z

Enunciado del Problema
El artículo aborda el misterio estructural de larga data de la relación Z en la teoría musical. Desde la clasificación de Forte en 1973, se ha sabido que conjuntos distintos de clases de tono (en $Z_{12}$ y otros grupos cíclicos) pueden compartir vectores de intervalo idénticos (multiconjuntos de intervalos) sin estar relacionados por transposición o inversión (T/I). Mientras que las teorías existentes, como las basadas en la Transformada Discreta de Fourier (DFT) y la homometría, caracterizan estos conjuntos mediante espectros de magnitud en el dominio de la frecuencia, no logran explicar el mecanismo combinatorio subyacente que obliga a dos configuraciones diferentes a producir conteos de intervalos idénticos. La pregunta central es: ¿Qué propiedad estructural de los conjuntos de clases de tono permite una reconstrucción no única a partir de su contenido de intervalos?

Metodología
El autor propone un marco estructural que modela los conjuntos de clases de tono como grafos completos ponderados y codifica su contenido de intervalos mediante composiciones de $n$ .

Grafos de Clases de Tono: Un conjunto de clases de tono $P \subseteq Z_n$ se representa como un grafo donde los pesos de las aristas son clases de intervalo. El conjunto se define mediante una secuencia de pasos (diferencias consecutivas) que forman una composición de $n$ .
Regla de Aditividad: La clase de intervalo entre dos clases de tono cualesquiera no adyacentes está determinada por la clase de intervalo de la suma de los pasos entre ellas. Esto reduce toda la estructura de intervalos a una función de las sumas parciales de la composición.
Número de Realización ( $R(\mu, n)$ ): El artículo introduce un nuevo invariante, $R(\mu, n)$ $R (μ, n)$ , definido como el recuento de composiciones de $n$ $n$ no equivalentes bajo T/I que producen el mismo multiconjunto de intervalos $\mu$ $μ$ .
- Si $R(\mu, n) = 1$ , el conjunto es reconstruible (determinado unívocamente por su vector de intervalos).
- Si $R(\mu, n) \ge 2$ , el conjunto es no reconstruible, y se demuestra que la condición $R(\mu, n) \ge 2$ es precisamente la definición de la relación Z.

Contribuciones y Resultados Clave

Caracterización Estructural de la Relación Z: El artículo establece que la relación Z no es meramente una coincidencia espectral, sino un fenómeno combinatorio donde múltiples composiciones no equivalentes generan el mismo multiconjunto de sumas parciales.
Restricciones de Cardinalidad ( $k=3$ ): Se demuestra que la relación Z no puede ocurrir en cardinalidad $k=3$ en ningún $Z_n$ . Para tricordos, la aplicación desde la composición al multiconjunto de intervalos es biyectiva hasta la equivalencia T/I, lo que significa que $R(\mu, n) = 1$ siempre.
Construcción General para $k=4$ : El artículo construye un par Z-relacionado primitivo explícito para cada $n$ $n$ divisible por 4 (donde $n \ge 8$ $n \geq 8$ ).
- Para $n = 4q$ , se demuestra que los conjuntos $P_1 = \{0, 1, q, 2q+1\}$ y $P_2 = \{0, 1, q+1, 2q\}$ están relacionados por Z.
- Esta construcción demuestra que la cardinalidad mínima para la relación Z, $k_{min}(n)$ , es 4 para todo $n \equiv 0 \pmod 4$ con $n \ge 8$ .
El Teorema de Escalamiento: Se demuestra un teorema que muestra que la relación Z se propaga a través de la retícula de divisibilidad. Si existe un par Z en $Z_m$ , entonces existe un par Z derivado en $Z_{dm}$ para todo $d \ge 1$ mediante la aplicación $p \mapsto dp$ . Esto distingue entre pares derivados (escalados de pares Z más pequeños) y pares primitivos (inherentes a la aritmética de $Z_n$ ).
Verificación Computacional:
- $Z_{12}$ : La enumeración exhaustiva confirma el recuento conocido de 23 pares relacionados por Z. La distribución de multiconjuntos no reconstruibles alcanza su máximo en cardinalidad $k=6$ ( $n/2$ ) y es palindrómica. No existen grupos Z de tamaño mayor a 2 en $Z_{12}$ .
- $Z_{19}$ : Los cálculos muestran que la relación Z no ocurre para $k \le 5$ . Las primeras relaciones Z aparecen en $k=6$ , lo que sugiere que para $n$ primo (como 19), el umbral para la relación Z puede ser más alto que para $n$ compuesto.

Significado y Afirmaciones
El artículo afirma proporcionar la primera explicación estructural para la relación Z, avanzando más allá de las caracterizaciones en el dominio de la frecuencia de la homometría. Al reformular el problema como uno de reconstruibilidad en el contexto de composiciones y sumas parciales, el autor:

Demuestra la no existencia de la relación Z para tricordos ( $k=3$ ).
Proporciona una construcción general y explícita para tetracordos relacionados por Z ( $k=4$ ) en grupos cíclicos pares.
Clarifica la relación entre pares Z derivados y primitivos mediante el Teorema de Escalamiento.
Identifica la relación Z como un caso discreto del problema de recuperación de fase, donde patrones de fase distintos (composiciones) son compatibles con el mismo espectro de magnitud (vector de intervalos).

El artículo concluye señalando problemas abiertos, incluida la caracterización completa de qué $n$ admiten pares Z primitivos en $k=4$ (específicamente para $n \equiv 2 \pmod 4$ ) y la búsqueda de un criterio aritmético de forma cerrada para $R(\mu, n) \ge 2$ sin enumeración, un problema vinculado al problema cíclico de la carretera de peaje (cyclic Turnpike problem).

La Solución del Artículo: La Analogía de la "Escalera de Manos"

Hallazgos Clave en Términos Sencillos

Por Qué Esto Importa (Según el Artículo)

Resumen Técnico: Reconstruibilidad de Grafos de Clases de Tono y la Relación Z

Más como este