Manuscript Hawk01-B@1 · Hawk01-B.tex · section · cfa976f1
Joint logical observables
Exact recovery, leakage, and reference correlations › Joint logical observables · lines 1025–1054
Hawk01-B@1#eq:jointobservable, Hawk01-B@1#eq:logicalobservable
For any logical operator , define on the completed accessible sectors
Then
Thus Weyl and coherence is accessed by key-conditioned joint observables, not by local number statistics. On a successful flag, the same expression normalized by that branch weight gives the exact logical expectation. The primary channel remains complete and unconditioned.
The decoder needs one surviving -dimensional quantum logical carrier and classical key/time records. The key can be measured in its label basis and stored classically without destroying the recoverable logical coherence. This is different from measuring the occupied logical radiation in its occupation basis.
Displayed formulas in this passage
Hawk01-B@1#eq:jointobservable · line 1029
Hawk01-B@1#eq:logicalobservable · line 1038