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

Theorem: Characterization

Inhabitation and characterization architecture · lines 1289–1307 · proof included or linked

I@2#thm:main

A strategy in Assumption ass:strategy-class satisfies Definition def:requirements if and only if it is the Born strategy. For every finite configuration, measured subset $S$ , and outcome $κ$ ,

P^{S}_{ψ} (κ) = M^{S}_{κ} ψ^{2} .

Whenever this number is positive,

U^{S}_{ψ} (κ) ≐ \frac{M ^{S} _{κ} ψ}{∥ M ^{S} _{κ} ψ ∥},

where $≐$ denotes equality up to global phase. No residual is specified on a zero-probability branch.

Displayed formulas in this passage

unlabeled · line 1296
$P^{S}_{ψ} (κ) = M^{S}_{κ} ψ^{2} .$
unlabeled · line 1300
$U^{S}_{ψ} (κ) ≐ \frac{M ^{S} _{κ} ψ}{∥ M ^{S} _{κ} ψ ∥},$

Nearby in this section

section: Inhabitation and characterization architecture
theorem: Theorem: Inhabitation
section: Inhabitation and characterization architecture
figure: Uniqueness dependencies