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

Resource-budgeted record stability

Stability and represented measurements › Resource-budgeted record stability · lines 1922–1936

For finite laws and unit rays, define

d_{TV} (P, Q) = \frac{1}{2} x \sum ∣ P (x) - Q (x) ∣, D (u, v) = 1 - ∣ ⟨ u ∣ v ⟩ ∣^{2} .

The latter is the trace distance between the corresponding pure-state density operators.

The next theorem concerns the record stage only. It does not derive approximate anchoring from approximate versions of the first four requirements.

Displayed formulas in this passage

unlabeled · line 1925
$d_{TV} (P, Q) = \frac{1}{2} x \sum ∣ P (x) - Q (x) ∣, D (u, v) = 1 - ∣ ⟨ u ∣ v ⟩ ∣^{2} .$