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

Three measurement interfaces

Typed interfaces and semantic configurations › Three measurement interfaces · lines 416–440

Operation	$S$ returned	Record	Role
$Enter_{S}$	No	Classical	Destructive primitive
$Copy_{S}$	Yes	Quantum carrier	Isometric recording
$I_{S}^{nd}$	Yes	Classical	Residual instrument

Coherent recording does not clone arbitrary states:

V ∣ + ⟩ = \frac{∣ 00 ⟩ + ∣ 11 ⟩}{2} \neq = ∣ + ⟩ ∣ + ⟩ = \frac{∣ 00 ⟩ + ∣ 01 ⟩ + ∣ 10 ⟩ + ∣ 11 ⟩}{2} .

Deferred $Enter$ means recording, continuation on the declared complement, destructive carrier readout, and comparison after restriction away from retained $S$ .

Displayed formulas in this passage

unlabeled · line 431
$V ∣ + ⟩ = \frac{∣ 00 ⟩ + ∣ 11 ⟩}{2} \neq = ∣ + ⟩ ∣ + ⟩ = \frac{∣ 00 ⟩ + ∣ 01 ⟩ + ∣ 10 ⟩ + ∣ 11 ⟩}{2} .$

Nearby in this section

section: Three measurement interfaces
definition: Definition: Destructive
section: Three measurement interfaces
definition: Definition: Coherent recording
definition: Definition: Represented nondestructive instrument