ValueSelection · section of the QIQT-H book

QIQTH.ValueSelection

← all sections · ← StripUniqueness · WedgeKMSToGR →

ValueSelection · entries 993–996 of 1000

Lemma 993 (ValueContext).  source ↗

A capacity-limited measurement context whose records carry pointer values in α. The physical premise is value-level distinguishability: two records of DIFFERENT value jointly exceed the capacity Q_max (different macroscopic outcomes cannot be co-stored). Many records may carry the SAME value — redundancy is allowed.

Typeu_1→Type(max1u_1)Type\mathrm{u\_1} \to Type(max1 \mathrm{u\_1})

Proof. Immediate from the definitions. □\square

Used by J, ctx.

Definition 994 (J).  source ↗

J α self  :=  self.1J\,\alpha\,\mathrm{self} \;:=\; \mathrm{self}.1

Used by finite_noCollapseBorn_fromNoncontextuality.

Lemma 995 (ValueSelection).  source ↗

A run of a value context: a coactual configuration (capacity-bounded active set) made nonempty by the actuality selector λ.

Typeu_1→Type(max1u_1)Type\mathrm{u\_1} \to Type(max1 \mathrm{u\_1})

Proof. Immediate from the definitions. □\square

Used by ctx.

Definition 996 (ctx).  source ↗

ctx α self  :=  self.1\mathrm{ctx}\,\alpha\,\mathrm{self} \;:=\; \mathrm{self}.1

Used by finite_noCollapseBorn_fromNoncontextuality.

← all sections · ← StripUniqueness · WedgeKMSToGR →