Manuscript Psy04-B@1 · Psy04-B-v1.tex · proposition · 62c2b6f0
Proposition: A carrier-preserving readout needs a pointer
Sequential qubit routing and explicit Enter operations › Destructive readout versus a retained carrier · lines 1204–1229 · proof included or linked
Psy04-B@1#prop:pointer
The carrier-preserving selective maps
can be implemented by:
rotating the carrier into the desired readout basis;
allocating a pointer qubit in ;
applying CNOT from carrier to pointer;
destructively reading the pointer;
reversing the basis rotation on the returned carrier.
The implementation retains one carrier but has peak quantum occupancy two.
Proof. In the rotated basis the pointer branch map on the carrier is . Conjugating by the basis rotation gives . The selective map is therefore the displayed one. The pointer name is consumed by Enter; the carrier name is returned.
Displayed formulas in this passage
unlabeled · line 1207