BornJoin · section of the QIQT-H book

QIQTH.BornJoin

← all sections · BornJoinGleason →

BornJoin · entries 1–3 of 1000

Lemma 1 (ActualEnsemble).  source ↗

The join model. A finite ensemble of worlds; in each world every trial runs a capacity-limited value selection; the single-trial Born law p calibrates the one-site mass (oneSite); trials are independent (indep).

N→N→Type1\mathbb{N} \to \mathbb{N} \to Type1

Proof. Immediate from the definitions. □\square

Used by Ω, p, finite_noCollapseBorn_fromNoncontextuality.

Definition 2 (Ω).  source ↗

Ω m n self  :=  self.1\Omega\,m\,n\,\mathrm{self} \;:=\; \mathrm{self}.1

Used by finite_noCollapseBorn_fromNoncontextuality.

Definition 3 (p).  source ↗

the single-trial Born law (e.g. OneSiteBorn.bornVec ψ)

p m n self  :=  self.6p\,m\,n\,\mathrm{self} \;:=\; \mathrm{self}.6

Used by finite_noCollapseBorn_fromNoncontextuality.

← all sections · BornJoinGleason →