Manuscript Em03-B@2 · Em03-B-v2.tex · section · c1a0977d

Register preparation and the derived transfer budget

B4 extraction: explicit swaps and control certificates › Register preparation and the derived transfer budget · lines 1408–1424

Back to manuscript

The extraction register preparation is independent and specified as

σ_{Q} = (1 - p_{Q}) ∣ 0 ⟩ ⟨ 0 ∣ + p_{Q} σ_{Q}^{⊥}, σ_{Q}^{⊥} ∣ 0 ⟩ = 0, 0 \leq p_{Q} \leq 1.

Its distance from $∣ 0 ⟩ ⟨ 0 ∣$ is exactly $p_{Q}$ .

The actual model transfer is capture, storage, register preparation, implemented extraction, and memory discard. Denote it by $T_{N, K}^{model}$ . Its ideal target is

(B_{N} \otimes id_{S R}) I_{h} (ρ_{h g S R}) .

Displayed formulas in this passage

unlabeled · line 1411
$σ_{Q} = (1 - p_{Q}) ∣ 0 ⟩ ⟨ 0 ∣ + p_{Q} σ_{Q}^{⊥}, σ_{Q}^{⊥} ∣ 0 ⟩ = 0, 0 \leq p_{Q} \leq 1.$
unlabeled · line 1421
$(B_{N} \otimes id_{S R}) I_{h} (ρ_{h g S R}) .$

Nearby in this section

theorem: Theorem: Derived B4 transfer budget