Manuscript Hawk05-A@1 · Hawk05-A.tex · section · 449f85bb

The destructive instrument and its complete dilation

Destructive Enter, hybrid recovery, and readout-and-drop › The destructive instrument and its complete dilation · lines 678–690

Hawk05-A@1#eq:enter

Let a measured register $M$ have basis ${∣ y ⟩}$ , and let $K$ be the quantum factor explicitly retained. Define

(Enter_{M} \otimes id_{K}) (X_{M K}) = y \sum ∣ y ⟩ ⟨ y ∣_{Y} \otimes (⟨ y ∣_{M} \otimes I_{K}) X_{M K} (∣ y ⟩_{M} \otimes I_{K}) .

The measured name $M$ is absent from the returned interface.

Displayed formulas in this passage

Hawk05-A@1#eq:enter · line 682
$(Enter_{M} \otimes id_{K}) (X_{M K}) = y \sum ∣ y ⟩ ⟨ y ∣_{Y} \otimes (⟨ y ∣_{M} \otimes I_{K}) X_{M K} (∣ y ⟩_{M} \otimes I_{K}) .$