Manuscript VII-G@1 · VII-G.tex · section · 54f561e8
Observation, feedback, and implementation
An explicit resource-budgeted feedback witness › Observation, feedback, and implementation · lines 1904–1943
VII-G@1#eq:example-algebra
Choose the source observation algebra
Both and commute with this algebra. Therefore
on every branch, including absorbing ones. Theorems thm:histories and thm:spectators apply to every input and every entangled spectator extension.
For , the two feedback unitaries at the successors of one active label act differently on surviving off-diagonal matter blocks. Thus geometry affects the subsequent matter channel. That phase dependence is not observable on , which records only populations. A continuation measuring coherence must declare an enlarged observation boundary; it is not licensed to treat coherence as both inaccessible and later observable.
The source dilation
uses one fresh pointer qubit. Immediate readout followed by (eq:example-unitaries), and coherent controlled feedback followed by readout, agree as full transition instruments by Proposition prop:deferred. Their complete residual outputs, not merely their geometric probabilities, coincide.
The classical label update (eq:example-successors) is a finite table and has a reversible completion with retained input history: an injective map can be extended to a permutation on a finite enlarged code space by exchanging disjoint input–output pairs. This does not claim discrete-gate exact synthesis of the unsharp quantum rotations for arbitrary .
Displayed formulas in this passage
VII-G@1#eq:example-algebra · line 1907
unlabeled · line 1912
unlabeled · line 1928