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

Back to manuscript

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

Nearby in this section