CoreNoCollapse · section of the QIQT-H book

QIQTH.CoreNoCollapse

← all sections · ← ClausiusToPernull · Curvature →

CoreNoCollapse · entries 13–14 of 1000

Lemma 13 (JointRecordContext). source ↗

A finite record context with subadditive (monotone) joint capacity. jointCost A is the genuine joint information cost of a set A of simultaneously-actual records — monotone, but NOT assumed additive. pair_exceeds is the physical input: any two distinct (objective) records jointly exceed the capacity Q_max.

Type1

Proof. Immediate from the definitions. $\square$

Used by Rec, J.

Definition 14 (Rec). source ↗

\mathrm{Rec}\,\mathrm{self} \;:=\; \mathrm{self}.1

Used by finite_noCollapseBorn_fromNoncontextuality.

← all sections · ← ClausiusToPernull · Curvature →