Manuscript X-K-ST@1 · X-K-ST.tex · section · 93c39c0f

Complete formula

An explicit two-readout, two-route certificate › Complete formula · lines 1507–1521

Let $U_{back}$ identify the transported payload back at $A$ . For an arbitrary initial operator on $C_{1} C_{2} A_{0}$ , define

K_{k l} = W_{k l} (⟨ k ∣_{C_{1}} \otimes ⟨ l ∣_{C_{2}} H^{k} \otimes I_{A_{0}}) .

The route identifications are understood; both are exact identities on the logical payload.

Displayed formulas in this passage

unlabeled · line 1513
$K_{k l} = W_{k l} (⟨ k ∣_{C_{1}} \otimes ⟨ l ∣_{C_{2}} H^{k} \otimes I_{A_{0}}) .$