Manuscript En01-A@1 · En01-A.tex · proposition · 558b972b
Proposition: Same visibilities, different discrepancy
Exact operator cancellation with unchanged scalar data · lines 1942–2004 · proof included or linked
En01-A@1#prop:cancellation
For the family (eq:phasefamily),
The copy classes, branch probabilities, and all pairwise visibilities on are independent of . At , every nonempty Möbius element vanishes on , so that subsystem is fully classical for the hierarchy.
Proof. Use the normalized branch vectors
Pairs with different -values are screened by inaccessible . The two surviving split pairs are , and
Each has trace norm one. Therefore
Its eigenvalues are .
On , the two contributions occupy orthogonal -blocks:
Each block has eigenvalues , giving total discrepancy .
At , the singleton vanishes on . Every element involving record consists of pairs differing on inaccessible , hence is screened. All nonempty reduced elements therefore vanish.
Displayed formulas in this passage
unlabeled · line 1945
unlabeled · line 1962
unlabeled · line 1970
unlabeled · line 1977
unlabeled · line 1988