Manuscript Hawk06-A@1 · Hawk06-A.tex · section · c59fe67c

Enter, surviving early quantum access, and teleportation

Enter, surviving early quantum access, and teleportation · lines 1380–1392

For a measured factor $R$ , define

(Enter_{R} \otimes id_{E}) (X) = y \sum ∣ y ⟩ ⟨ y ∣_{Y} \otimes (⟨ y ∣_{R} \otimes I_{E}) X (∣ y ⟩_{R} \otimes I_{E}) .

The quantum name $R$ is consumed. The output is $Y E$ , not necessarily a purely classical system.

Displayed formulas in this passage

unlabeled · line 1384
$(Enter_{R} \otimes id_{E}) (X) = y \sum ∣ y ⟩ ⟨ y ∣_{Y} \otimes (⟨ y ∣_{R} \otimes I_{E}) X (∣ y ⟩_{R} \otimes I_{E}) .$