Manuscript I@2 · I.tex · section · 85631fa7

Locality and uniform correlations

Locality and uniform correlations · lines 1432–1442

Hence there is a well-defined function

F_{S} (ρ_{S}) = P^{S}_{ψ}, ρ_{S} = tr_{L ∖ S} ∣ ψ ⟩ ⟨ ψ ∣ .

This partial trace is an algebraic construction from the stipulated vector, not a measurement-probability postulate.

Displayed formulas in this passage

unlabeled · line 1435
$F_{S} (ρ_{S}) = P^{S}_{ψ}, ρ_{S} = tr_{L ∖ S} ∣ ψ ⟩ ⟨ ψ ∣ .$