Manuscript Em03-E@1 · Em03-E-v1.tex · proposition · c4b07e6a
Proposition: Whole-block coherent access
E5: constructed coherent access and decoder implementation › Exact coherent transfer · lines 1463–1478 · proof included or linked
Em03-E@1#prop:access
With a zero receiver register, the two-cell transfer leaves the same all-vacuum cell state for every basis input and induces
It preserves every input coherence and every external reference.
Proof. The final cell factor is for every input basis vector. Linearity gives a common cell environment for every superposition. Tracing that common environment leaves the stated isometric channel, including referenced inputs.
Displayed formulas in this passage
unlabeled · line 1467