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

Back to manuscript

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