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

Back to manuscript

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

Nearby in this section