λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript En03-A@1 · En03-A.tex · section · 5398614e

Three measurement interfaces

Typed interfaces and semantic configurations › Three measurement interfaces · lines 363–371

Back to manuscript

Let $S$ have computational basis ${∣ z ⟩ : z \in Z}$ , and let $B$ be its accessible complement. Put

M_{z} = ⟨ z ∣_{S} \otimes I_{B} : H_{S B} ⟶ H_{B} .

Displayed formulas in this passage

unlabeled · line 367
$M_{z} = ⟨ z ∣_{S} \otimes I_{B} : H_{S B} ⟶ H_{B} .$

Nearby in this section