Manuscript En06-A@1 · En06-A.tex · section · e04c9892

Enter accounting and optional syntactic realization

Enter accounting and optional syntactic realization · lines 634–647

En06-A@1#eq:enter

For a measured register $S$ and surviving register $T$ , destructive computational readout is

Enter_{S} (ρ_{S T}) = x \sum ∣ x ⟩ ⟨ x ∣_{K} \otimes (⟨ x ∣_{S} \otimes I_{T}) ρ_{S T} (∣ x ⟩_{S} \otimes I_{T}) .

The measured names are consumed; $K$ is a classical record.

Displayed formulas in this passage

En06-A@1#eq:enter · line 639
$Enter_{S} (ρ_{S T}) = x \sum ∣ x ⟩ ⟨ x ∣_{K} \otimes (⟨ x ∣_{S} \otimes I_{T}) ρ_{S T} (∣ x ⟩_{S} \otimes I_{T}) .$