Manuscript X-Enter-ST@1 · X-Enter-ST.tex · section · f76acc1f
The two-qubit protocol
Stage E: conditional relational input › The two-qubit protocol · lines 1124–1163
X-Enter-ST@1#eq:phaseinput
Freeze
where the second scale may be signed. Define the abstract input family
Apply CNOT with the first qubit as control and the second as target, then Hadamard on the first. Destructively read both qubits, giving raw bits . Report
The failure output is retained. There is no returned signal qubit.
Let
Displayed formulas in this passage
X-Enter-ST@1#eq:phaseinput · line 1133
unlabeled · line 1127
unlabeled · line 1150
unlabeled · line 1159