Recognition: 2 theorem links
· Lean TheoremUniqueness on a Continuum: Quantifying Tonal Ambiguity Using Information Theory
Pith reviewed 2026-05-12 01:11 UTC · model grok-4.3
The pith
A new information-theoretic measure quantifies tonal ambiguity on a continuous scale to extend the limits of uniqueness in pitch-class sets.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The paper claims that tonal ambiguity can be expressed as a continuous information-theoretic quantity that serves as a direct companion to uniqueness. By computing this quantity, the measure discriminates degrees of ambiguity among sets that all possess uniqueness, represents hierarchical organization within modes of limited transposition, and incorporates the temporal unfolding of tonal relationships, while remaining valid across arbitrary pitch-class collections and tuning systems.
What carries the argument
The information-theoretic scalar of tonal ambiguity, which converts the discrete property of uniqueness into a graded value reflecting uncertainty across possible tonal interpretations.
If this is right
- Sets that all satisfy uniqueness can now be ranked by how ambiguous they are.
- Hierarchical relationships inside modes of limited transposition receive explicit numeric representation.
- Temporal sequences of pitches can be analyzed for changing levels of ambiguity as the music progresses.
- Analyses become possible in tuning systems outside the standard twelve-tone equal temperament.
Where Pith is reading between the lines
- The scalar could be computed automatically on large corpora to compare ambiguity profiles across styles or composers.
- It supplies a candidate objective correlate for perceptual experiments on how listeners experience tonal uncertainty.
- Similar continuous reformulations might be attempted for other binary music-theoretic distinctions such as consonance versus dissonance.
Load-bearing premise
An information-theoretic calculation can stand in for the perceptual and theoretical notion of tonal ambiguity.
What would settle it
A collection of expert-annotated musical passages in which the ordering of ambiguity produced by the measure systematically contradicts the ordering given by music theorists would falsify the claim that the scalar quantifies tonal ambiguity.
Figures
read the original abstract
We propose a continuous measure of tonal ambiguity that extends the established concept of uniqueness. While uniqueness is widely regarded as necessary for tonality, it cannot (i) discriminate among sets that possess it, (ii) capture hierarchical organization in modes of limited transposition, or (iii) account for temporal unfolding. To address these limitations, we introduce a companion measure, grounded in information theory, that quantifies tonal ambiguity on a continuous scale. The measure applies across pitch-class sets and tuning systems, expanding analytic coverage of tonal relationships and offering a practical tool for theory and analysis.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes a continuous measure of tonal ambiguity grounded in information theory to extend the established concept of uniqueness for pitch-class sets. It addresses three limitations of uniqueness: (i) inability to discriminate among sets that possess uniqueness, (ii) failure to capture hierarchical organization in modes of limited transposition, and (iii) inability to account for temporal unfolding. The measure is intended to apply across pitch-class sets and tuning systems.
Significance. If the proposed measure is rigorously defined, derived, and validated, it could significantly enhance the analytical toolkit in music theory by providing a quantitative, continuous scale for tonal ambiguity, thereby expanding the scope of information-theoretic approaches in the field.
major comments (2)
- [Abstract] The abstract states the motivation and high-level goal but supplies no derivation, formula, validation data, or comparison against existing measures; the central claim therefore rests on an undemonstrated construction.
- [Measure Definition (likely §3 or equivalent)] Without an explicit probability model, entropy formula, or worked example for the information-theoretic quantity, it is impossible to verify whether the measure avoids circularity in defining ambiguity or introduces hidden parameters, which is load-bearing for the claim that it addresses the three limitations of uniqueness.
Simulated Author's Rebuttal
We thank the referee for the thoughtful report and the recommendation for major revision. We address each major comment below with specific references to the manuscript and indicate the revisions we have made or will make to strengthen the presentation.
read point-by-point responses
-
Referee: [Abstract] The abstract states the motivation and high-level goal but supplies no derivation, formula, validation data, or comparison against existing measures; the central claim therefore rests on an undemonstrated construction.
Authors: We agree that the abstract, constrained by length, focuses on motivation and goals without technical specifics. The full derivation, entropy formula, probability model, validation examples, and direct comparisons to uniqueness appear in Sections 3 and 4 of the manuscript. To address the concern, we have revised the abstract to include a concise statement of the measure as an entropy-based quantity over pitch-class distributions and its continuous range, while preserving its summary character. revision: yes
-
Referee: [Measure Definition (likely §3 or equivalent)] Without an explicit probability model, entropy formula, or worked example for the information-theoretic quantity, it is impossible to verify whether the measure avoids circularity in defining ambiguity or introduces hidden parameters, which is load-bearing for the claim that it addresses the three limitations of uniqueness.
Authors: Section 3 defines the probability model explicitly as the normalized occurrence frequencies of pitch classes within a set (or weighted by temporal position for unfolding). The quantity is the Shannon entropy H = −∑ p_i log p_i over this distribution. Worked examples for the major scale, whole-tone scale, and Messiaen modes of limited transposition are provided, showing how the measure yields distinct continuous values even for unique sets and captures hierarchical and temporal structure. We have added a clarifying paragraph confirming that the construction uses only the set's own pitch-class content, introduces no auxiliary parameters, and is non-circular because ambiguity is quantified directly via information content rather than presupposing uniqueness. These elements directly support the three claimed advantages over binary uniqueness. revision: partial
Circularity Check
No significant circularity identified
full rationale
The abstract introduces a new continuous information-theoretic companion measure for tonal ambiguity to address three enumerated limitations of uniqueness, but supplies no equations, probability model, derivation steps, or self-citations. Without any load-bearing definitions, fitted parameters, or uniqueness theorems invoked from prior work, no step reduces by construction to its inputs. The proposal remains a conceptual extension whose validity rests on external perceptual or theoretical benchmarks rather than internal tautology.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Uniqueness is necessary for tonality
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We introduce a companion measure, grounded in information theory, that quantifies tonal ambiguity on a continuous scale... t_S(X) := |{τ : X ⊆ τ + S}|, I_S(X) := log2(c / t_S(X)), E[I] averaged with binomial weights, TAI(S) = c / 2^{E_S[I]}
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
The measure applies across pitch-class sets and tuning systems... temporal unfolding via P_k draws
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
- [1]
- [2]
-
[3]
Butler, David , title =. Music Perception , volume =. 1989 , doi =
work page 1989
- [4]
-
[5]
Castellano, Mary A. and Bharucha, Jamshed J. and Krumhansl, Carol L. , title =. Journal of Experimental Psychology: General , volume =
-
[6]
Farraj, Johnny and Shumays, Sami Abu , title =
- [7]
- [8]
-
[9]
Krumhansl, Carol L. and Keil, Frank C. , title =. Memory & Cognition , volume =. 1982 , doi =
work page 1982
-
[10]
Lerdahl, Fred , title =
- [11]
-
[12]
Messiaen, Olivier , title =
- [13]
-
[14]
and Gibson, Edward and Ratner, James and Besson, Mireille and Holcomb, Phillip J
Patel, Aniruddh D. and Gibson, Edward and Ratner, James and Besson, Mireille and Holcomb, Phillip J. , title =. Journal of Cognitive Neuroscience , volume =. 1998 , doi =
work page 1998
- [15]
- [16]
- [17]
- [18]
- [19]
-
[20]
Computing in Musicology , volume =
Temperley, David , title =. Computing in Musicology , volume =
-
[21]
Thompson, William F. and Cuddy, Lola L. and Plaus, Christopher , title =. Perception & Psychophysics , volume =. 1997 , doi =
work page 1997
- [22]
-
[23]
Raccah, Omri and Seltenreich, Michael and Pelofi, Claire and Lerdahl, Fred and Poeppel, David , title =. iScience , volume =
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.