EX-07
../exemplars/EX-07-isospectrality-dpz.mdCoordinatesthe rigidity axis (§8.2): the failure case (spectrum → operator not injective) and its repair (more of the same invariant), leaving a group-action residue ([[EX-05]])
Model forCASE-24, N-011, isospectral drums (Milnor), the mixing-matrix rigidity checked to 1.7e-17
The shape: an invariant that looks complete forgets something (a spectrum forgets the eigenvectors — isospectral drums, A vs QAQᵀ), and the repair is not a different tool but more of the same invariant (minor spectra recover the moduli), restoring rigidity up to a residue that is a group action ([[EX-05]]). Calibration question: when an invariant fails to determine its object, is the fix a richer version of the same invariant — and what residue is left?
generated 2026-10-25the lab index