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

Inhabitation and characterization architecture

Inhabitation and characterization architecture · lines 1307–1341

The uniqueness proof occupies Sections sec:locality–sec:born. Its dependencies are:

Step	Dependencies
Remote invariance and locality	$(NS)^{⋆}$ , state sufficiency, fixed coherent dynamics, and purification linear algebra.
Uniform correlations	Remote invariance, $(C)^{⋆}, (N)^{⋆}$ .
Symmetry anchoring	Locality, $(C)^{⋆}, (N)^{⋆}, (K)^{⋆}$ , and (S5).
Fine-graining anchoring	Locality, uniform correlations, $(C)^{⋆}, (N)^{⋆}, (K)^{⋆}$ .
Whole-register Born law	Diagonal anchoring and readout instances of $(R)^{⋆}$ .
Partial-register Born law	Whole-register law and $(C)^{⋆}$ .
Projective residual	Born law, $(C)^{⋆}$ , continuation instances of $(R)^{⋆}$ , fixed gates, and state sufficiency.

The anchoring proofs are alternatives. Nullity is not needed for locality. Continuity is used in anchoring, not as an update-continuity premise.

Nearby in this section