λEnter Calculus CompanionRegistered manuscripts, kept distinct

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

Uniqueness dependencies

Inhabitation and characterization architecture · lines 1342–1381

I@2#fig:dependencies

Back to manuscript
Remote invariance
(NS)⋆(\mathrm{NS})^\star
Purification locality
reduced-state law\text{reduced-state law}
Route A
Symmetry anchoring
(C)⋆,(N)⋆,(K)⋆, (S5)(\mathrm C)^\star,(\mathrm N)^\star,(\mathrm K)^\star,\ (\mathrm{S5})
Route B
Uniform correlations
(C)⋆,(N)⋆(\mathrm C)^\star,(\mathrm N)^\star
Fine-graining anchoring
(C)⋆,(N)⋆,(K)⋆(\mathrm C)^\star,(\mathrm N)^\star,(\mathrm K)^\star
either proof
Diagonal anchoring
either proof\text{either proof}
Whole-register Born law
readout instances of (R)⋆\text{readout instances of }(\mathrm R)^\star
Partial-register Born law
(C)⋆(\mathrm C)^\star
Projective update
(C)⋆, continuation instances of (R)⋆(\mathrm C)^\star,\ \text{continuation instances of }(\mathrm R)^\star
Structural class applies throughout
Inhabitation proved separately — no incoming uniqueness arrow

Uniqueness dependencies. The structural class applies throughout. Later instrument, decoder, cutoff, and field interfaces do not enter this graph. Inhabitation is proved separately.

Nearby in this section