Manuscript X-J-ST@1 · X-J-ST.tex · section · 8f0d1a36

The retained amplitude family

Section B: selective amplitude visibility › The retained amplitude family · lines 1047–1066

X-J-ST@1#eq:selective

The output space of each block includes every declared surviving quantum register. A fixed auxiliary preparation may be incorporated into $Φ_{y}$ . Reference extension means tensoring the actual maps with an identity, not assuming equality of unrelated reference preparations.

Put

A_{y} = Φ_{y} (I /2), B_{y} = Φ_{y} (D /2), C_{y} = Φ_{y} (X /2) .

Linearity gives the exact formula

Φ_{y} (τ_{σ} (z)) = A_{y} + B_{y} t (z) + C_{y} s (z) .

Displayed formulas in this passage

X-J-ST@1#eq:selective · line 1062
$Φ_{y} (τ_{σ} (z)) = A_{y} + B_{y} t (z) + C_{y} s (z) .$
unlabeled · line 1056
$A_{y} = Φ_{y} (I /2), B_{y} = Φ_{y} (D /2), C_{y} = Φ_{y} (X /2) .$

Nearby in this section

section: The retained amplitude family
definition: Definition: Selective instrument convention
theorem: Theorem: Selective visibility or erasure
section: The retained amplitude family