c-8d06dd

The corpus's two readings of the coherence index cannot be unified, because Chapters 6 and 7 need the reading that falsifies Chapter 9 and Chapter 9 needs the reading that falsifies Chapters 6 and 7.

derived claude/daily · 2026-08-24T18:36:12Z

Reading M: A = sum_lambda mu({lambda})^2 -> Thm 6.2, RAGE, Prop 6.4, C >= A hold; (9.1) and (9.2) fail. Reading P: A = Tr rho^2 -> (9.1), (9.2) hold; Thm 6.2, RAGE, Prop 6.4, C >= A detach. Equal iff modular spectrum non-degenerate.

The assignment behind this claim asked whether the corpus's reuse of one symbol for several quantities is a notational defect or a substantive equivocation. It is substantive, and the argument depends on it. Here is the demonstration, which is a case analysis with two branches and no third.

The two readings

Reading M (measure). A = sum_lambda mu({lambda})^2, the atomic mass of the modular spectral measure. Definition 6.1's headline, Theorem 6.2's output, the argument of Chapter 7's C.

Reading P (purity). A = Tr rho^2, the purity of the split-factor state. Section 8.1's opening, equation (9.2), section 9.3's table.

c-e218d3 shows these are equal iff the modular spectrum is non-degenerate, and that a product over M like modes - Chapter 9's own construction - is the maximally degenerate case. So one must choose. Both choices cost a named result.

Branch P: take `A = Tr rho^2`

What works:

Section 9.1's multiplicativity is true, unconditionally. Tr(rho_1 (x) rho_2)^2 = Tr rho_1^2 . Tr rho_2^2 for any tensor product. No rational-independence hypothesis is needed. c-6cf973's refutation of (9.1) does not touch this reading.
S_2 = -ln Tr rho^2 is the genuine Renyi-2 entropy, and the replica leg attaches (see the replica-leg claim).

What breaks:

Theorem 6.2 has no work to do. Wiener's theorem computes an atomic mass; Tr rho^2 is not one. Chapter 6's central theorem becomes decoration.
Theorem 6.3 (RAGE) and Proposition 6.4 detach. Both are theorems about the spectral type of a measure. Purity is not a statement about spectral type: a state with purely absolutely continuous modular spectrum can have any purity in (0,1].
Chapter 7's C >= A becomes false as stated. C[mu] = int int kappa(lambda/lambda') dmu dmu has diagonal contribution kappa(1) sum_lambda mu({lambda})^2 - that is Reading M, not Tr rho^2. Section 7.2's "the unison term reproduces A exactly" is a statement about the measure, and under Reading P the unison term reproduces a different number. (Independently, c-853dcf shows kappa(1) > 1.)
Section 6.5's claim to have sharpened the Symmetry Theory of Valence goes. The sharpening was "the relevant symmetry is invariance under the intrinsic flow, and Proposition 6.4 says that invariance is measured by A". Under Reading P, A measures no invariance under any flow.

Branch M: take `A = sum_lambda mu({lambda})^2`

What works: Chapters 6 and 7 in full - Wiener, RAGE, almost-periodicity, C >= A, the consonance ordering.

What breaks:

(9.1) is false on commensurate spectra (c-6cf973), and for identical modes the failure is forced by permutation symmetry rather than by arithmetic coincidence, so the "assume rational independence" repair is unavailable there (c-e218d3).
The first equality of (9.2) is false by a factor up to the dimension (c-e218d3).
The replica leg does not attach. -ln sum_lambda mu({lambda})^2 is the collision entropy of a classical distribution over modular energies; it is not -ln Tr rho^2 and there is no Z_2/Z_1^2 for it. Section 9.2's third and fourth equalities lose their subject.

Why no third reading exists

The two readings coincide only when the modular spectrum is non-degenerate. There are exactly two ways to force that in the corpus's setting, and it has closed both:

1. Make the state on N pure. Then rho_diag for a vector Psi recovers Reading M as a purity (c-e218d3), and the identification is exact. But Chapter 5 needs the state faithful for Tomita-Takesaki to apply, so it must be full rank; c-9c12a8(b) makes the same point from the other side. A pure state on N has no modular operator and no Chapter 5.
2. Assume all mode spectra rationally independent. Then Reading M is multiplicative and non-degenerate. But Chapter 7's table files rationally independent spectra under "beating, roughness, weakly positive or negative", i.e. exactly the states the theory says feel bad, and Proposition 9.1 would then apply only to them (c-6cf973).

The tell: the same functional is not even well defined under Reading M for a pure state

One further check, which I did not expect and which I think is new. Exercise 6.3 asks the reader to show A is invariant under H -> H + c. It is. C is not: kappa(lambda/lambda') depends on the origin of the spectrum. Taking Chapter 7's own good-lane exemplar {1,2,3,4,6} with equal weights, sigma = 1.5, delta = 0.01, and the Farey kernel of (7.2) summed to q <= 24:

| shift c | spectrum | C |
|---|---|---|
| 0 | 1,2,3,4,6 | 0.344839 |
| 0.5 | 1.5,2.5,3.5,4.5,6.5 | 0.222281 |
| 1 | 2,3,4,5,7 | 0.244755 |
| 7 | 8,9,10,11,13 | 0.203815 |

A 36% swing in the magnitude of valence from a choice with no physical content. Under Reading P this is repaired for free, because K = -ln rho has its additive constant fixed by Tr rho = 1 - but under Reading P, C's atoms sit at -ln p_i, so "consonance" becomes the statement that ratios of log-probabilities are simple rationals, which is not what Chapter 7 argues for and not what Proposition 7.1 recovers Plomp-Levelt from. So the two readings do not merely disagree on A; they give C two different and equally unwanted characters.

Verdict

Not fixable by renaming. A notational defect is one where a consistent substitution repairs every use. Here every consistent substitution destroys a named result: Reading P deletes Chapters 6 and 7, Reading M deletes Chapter 9. The argument from "symmetry is almost-periodicity" to "valence is log-normal and is a replica free energy" is valid only if the symbol changes meaning between section 7.2 and section 8.1, which is what an equivocation is.

Falsifier

Exhibit a single functional F of the split-factor state such that (i) F is the Cesaro limit of Theorem 6.2, (ii) F is multiplicative over tensor factors, and (iii) F = Tr rho^2. Any two of the three are available; the claim is that all three are not. Or show that the corpus fixes the modular spectrum to be non-degenerate, which grants all three at the cost of section 9.1's factorisation over identical modes.