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

Complete referenced record identity

The B1–B3 mathematical interface › Complete referenced record identity · lines 574–592

Em03-B@2#eq:fullomega, Em03-B@2#eq:omega

For a normal state $ρ_{h A}$ , where $A = S R$ collects unmeasured systems, put

ρ_{A}^{(n)} = ⟨ n ∣ ρ_{h A} ∣ n ⟩ .

Define

Ω_{N A} (ρ) Ω_{N A} (ρ) = k < N \sum ∣ y_{k} ⟩ ⟨ y_{k} ∣ \otimes ρ_{A}^{(k)} + ∣ y_{N} ⟩ ⟨ y_{N} ∣ \otimes n \geq N \sum ρ_{A}^{(n)}, = k < N \sum ∣ k ⟩ ⟨ k ∣ \otimes ρ_{A}^{(k)} + ∣ N ⟩ ⟨ N ∣ \otimes n \geq N \sum ρ_{A}^{(n)} .

Displayed formulas in this passage

Em03-B@2#eq:fullomega · line 582
$Ω_{N A} (ρ) Ω_{N A} (ρ) = k < N \sum ∣ y_{k} ⟩ ⟨ y_{k} ∣ \otimes ρ_{A}^{(k)} + ∣ y_{N} ⟩ ⟨ y_{N} ∣ \otimes n \geq N \sum ρ_{A}^{(n)}, = k < N \sum ∣ k ⟩ ⟨ k ∣ \otimes ρ_{A}^{(k)} + ∣ N ⟩ ⟨ N ∣ \otimes n \geq N \sum ρ_{A}^{(n)} .$
Em03-B@2#eq:omega · line 582
$Ω_{N A} (ρ) Ω_{N A} (ρ) = k < N \sum ∣ y_{k} ⟩ ⟨ y_{k} ∣ \otimes ρ_{A}^{(k)} + ∣ y_{N} ⟩ ⟨ y_{N} ∣ \otimes n \geq N \sum ρ_{A}^{(n)}, = k < N \sum ∣ k ⟩ ⟨ k ∣ \otimes ρ_{A}^{(k)} + ∣ N ⟩ ⟨ N ∣ \otimes n \geq N \sum ρ_{A}^{(n)} .$
unlabeled · line 578
$ρ_{A}^{(n)} = ⟨ n ∣ ρ_{h A} ∣ n ⟩ .$