Reconstructibility of Pitch Class Graphs and the Z-relation

기술적 요약: 음계 클래스 그래프의 재구성 가능성과 Z-관계

문제 제기
본 논문은 음악 이론에서 오랫동안 미스터리로 남아 있던 구조적 수수께끼인 Z-관계를 다룹니다. Forte 의 1973 년 분류 이후, 서로 다른 음계 클래스 집합 ( $Z_{12}$ 및 기타 순환군 내) 이 전단 (transposition) 이나 반전 (inversion, T/I) 으로 관련되지 않았음에도 동일한 간격 벡터 (간격 다중집합) 를 공유할 수 있다는 사실이 알려져 왔습니다. 이산 푸리에 변환 (DFT) 과 동형성 (homometry) 에 기반한 기존 이론들은 이러한 집합을 주파수 영역의 크기 스펙트럼을 통해 특징짓지만, 서로 다른 두 구성이 동일한 간격 수를 생성하도록 강제하는 근본적인 조합론적 메커니즘을 설명하지는 못합니다. 핵심 질문은 다음과 같습니다: 음계 클래스 집합의 어떤 구조적 속성이 간격 내용으로부터의 비고유적 재구성을 가능하게 하는가?

방법론
저자는 음계 클래스 집합을 완전 가중 그래프로 모델링하고, 그 간격 내용을 **$n$의 분해 (compositions)**를 통해 인코딩하는 구조적 프레임워크를 제안합니다.

1. 음계 클래스 그래프: 음계 클래스 집합 $P \subseteq Z_n$은 간격 클래스를 간선 가중치로 갖는 그래프로 표현됩니다. 이 집합은 $n$의 분해를 형성하는 연속된 차이 (steps) 의 시퀀스로 정의됩니다.
2. 가법성 규칙: 임의의 두 인접하지 않은 음계 클래스 사이의 간격 클래스는 그들 사이의 단계들의 합에 해당하는 간격 클래스에 의해 결정됩니다. 이는 전체 간격 구조를 분해의 부분합의 함수로 축소합니다.
3. 실현 수 ($R(\mu, n)$): 논문은 동일한 간격 다중집합 $\mu$를 생성하는 T/I-비동치인 $n$의 분해의 개수로 정의된 새로운 불변량 $R(\mu, n)$을 도입합니다.
   • $R(\mu, n) = 1$인 경우, 해당 집합은 재구성 가능 (간격 벡터에 의해 고유하게 결정됨) 입니다.
   • $R(\mu, n) \ge 2$인 경우, 해당 집합은 재구성 불가능이며, 조건 $R(\mu, n) \ge 2$가 Z-관계의 정확한 정의임이 증명됩니다.

주요 기여 및 결과

• Z-관계의 구조적 특징화: 논문은 Z-관계가 단순한 스펙트럼의 우연이 아니라, 여러 비동치인 분해가 동일한 부분합 다중집합을 생성하는 조합론적 현상임을 확립합니다.
• 카디널리티 제약 ($k=3$): 모든 $Z_n$에서 카디널리티 $k=3$에서는 Z-관계가 발생할 수 없음이 증명되었습니다. 트라이코드 (trichords) 의 경우, 분해에서 간격 다중집합으로의 매핑이 T/I 동치까지 전단사 (bijective) 이므로, 항상 $R(\mu, n) = 1$입니다.
• $k=4$를 위한 일반적 구성: 논문은 4 로 나누어떨어지는 모든 $n$ (단, $n \ge 8$) 에 대해 명시적인 **기본 Z-관련 쌍 (primitive Z-related pair)**을 구성합니다.
  • $n = 4q$인 경우, 집합 $P_1 = \{0, 1, q, 2q+1\}$과 $P_2 = \{0, 1, q+1, 2q\}$가 Z-관련됨이 보입니다.
  • 이 구성은 모든 $n \equiv 0 \pmod 4$且 $n \ge 8$에 대해 Z-관계의 최소 카디널리티 $k_{min}(n)$이 4 임을 보여줍니다.
• 스케일링 정리 (Scaling Theorem): Z-관계가 나눗셈 격자 (divisibility lattice) 를 통해 전파됨을 보여주는 정리가 증명되었습니다. $Z_m$에 Z-쌍이 존재하면, $p \mapsto dp$ 매핑을 통해 모든 $d \ge 1$에 대해 $Z_{dm}$에 유도된 Z-쌍이 존재합니다. 이는 유도된 쌍 (더 작은 Z-쌍의 스케일링) 과 기본 쌍 ( $Z_n$의 산술에 고유한 것) 을 구분합니다.
• 계산적 검증:
  • $Z_{12}$: 철저한 열거를 통해 알려진 23 개의 Z-관련 쌍 수를 확인했습니다. 재구성 불가능한 다중집합의 분포는 카디널리티 $k=6$ ($n/2$) 에서 정점을 찍으며 대칭적입니다. $Z_{12}$에는 크기 2 보다 큰 Z-그룹은 존재하지 않습니다.
  • $Z_{19}$: 계산 결과, $k \le 5$에서는 Z-관계가 발생하지 않는 것으로 나타났습니다. 첫 번째 Z-관계는 $k=6$에서 나타나며, 이는 소수 $n$ (예: 19) 의 경우 합성수 $n$보다 Z-관계의 임계값이 더 높을 수 있음을 시사합니다.

의의 및 주장
본 논문은 동형성의 주파수 영역 특징화를 넘어 Z-관계에 대한 최초의 구조적 설명을 제공한다고 주장합니다. 문제를 분해와 부분합의 맥락에서 재구성 가능성 문제로 재정의함으로써, 저자는 다음과 같은 성과를 거두었습니다:

1. 트라이코드 ($k=3$) 에 대한 Z-관계의 부재를 증명합니다.
2. 짝수 순환군에서 Z-관련 테트라코드 ($k=4$) 에 대한 일반적이고 명시적인 구성을 제공합니다.
3. 스케일링 정리를 통해 유도된 쌍과 기본 쌍 간의 관계를 명확히 합니다.
4. Z-관계를 서로 다른 위상 패턴 (분해) 이 동일한 크기 스펙트럼 (간격 벡터) 과 호환되는 **위상 복원 문제 (phase retrieval problem)**의 이산적 사례로 규명합니다.

논문은 $n \equiv 2 \pmod 4$인 경우 $k=4$에서 기본 Z-쌍을 허용하는 $n$의 완전한 특징화, 그리고 열거 없이 $R(\mu, n) \ge 2$에 대한 폐형 산술 기준을 찾는 문제 (순환 턴파이크 문제와 관련된 문제) 를 포함한 미해결 문제들을 지적하며 결론을 맺습니다.