Foundational Theorems
Foundational theorems reveal what the quantum formalism permits and which alternative mathematical models cannot reproduce it. Their strength comes from explicit hypotheses: additivity, shared event identities, local factorization, admissible channels, or a law for combining preparations. This chapter keeps those hypotheses attached to the conclusions and distinguishes exact impossibility from quantitative approximation bounds.
Enter the chapter
Section titled “Enter the chapter”Start with Foundations Theorems Overview to identify the object a theorem constrains. There is no single prerequisite chain through every result. Follow the probability, model, or transformation branch appropriate to the question, and rejoin them in What No-Go Theorems Do and Do Not Prove.
Standard derivations are linked at the point they are needed. The mathematical extensions develop additional questions: finite certificates, closure, joint probability extensions, error bounds, and measure-level composition. Each route states whether its central theorem is proved there or imported with a reference.
Probability assignments and shared sharp events
Section titled “Probability assignments and shared sharp events”Read Projection-Valued Measures before Gleason’s Theorem. Gleason represents an additive sharp-event probability law by a density operator, with dimensional and countable-additivity assumptions explicit. The result does not specify state update or dynamics.
The canonical Kochen–Specker theorem then addresses deterministic shared projector values and proves their impossibility in dimension at least three. The chapter’s mathematical extension uses compactness to obtain a finite witness and separates its combinatorial certificate from its exact Hilbert-space realization. It complements the canonical finite examples without repeating them.
Classical models and compatible marginals
Section titled “Classical models and compatible marginals”Hidden-Variable Models introduces preparation measures and response kernels, including overlap defined by a common submeasure. Follow it with Contextuality in Mathematical Form for measurement covers and the global probability-extension problem. Compatible overlapping marginals need not possess a global distribution.
For separated parties, first read the canonical Bell theorem and canonical CHSH derivation. The Bell extension proves geometric separation and a witness error margin, including the closure argument for infinite-dimensional separable states. The CHSH extension states Fine’s exact equivalence and constructs a joint distribution at a noisy local threshold. Finite scenario assumptions remain visible throughout.
Physical transformations and their accuracy
Section titled “Physical transformations and their accuracy”Use Density Operators, Partial Trace, and Quantum Operations before this branch. The canonical no-cloning proof requires one device for the whole input family. The quantitative cloning extension adds a trace-distance error bound and the optimal two-state heralded success probability.
No-Broadcasting Theorem proves the finite-dimensional commutativity criterion for exact duplication of both marginals. Correlations between those outputs are permitted, so broadcasting and joint product cloning are different tasks. Approximation, postselection, and changing the input promise must be evaluated separately.
Preparation composition and the final inference
Section titled “Preparation composition and the final inference”The two-copy PBR proof gives an explicit two-copy exclusion measurement and a measure-theoretic contradiction under product preparation independence. It includes a robust overlap bound and states which additional construction is needed for arbitrary pure-state pairs. For the broader interpretation and preparation assumptions, see the foundations treatment of the PBR theorem.
Finish by checking quantifier order, model class, topology, and allowed error in What No-Go Theorems Do and Do Not Prove. An excluded mathematical class, a quantum prediction, and an experimental statistical test answer different questions. A theorem’s precise conclusion is stronger and more useful than a slogan that claims it settles every interpretive question.
References
Section titled “References”- Bell, John S., Speakable and Unspeakable in Quantum Mechanics, 2nd edition, Cambridge University Press, 2004, doi:10.1017/CBO9780511815676 — model premises and foundational implications.
- Hall, Brian C., Quantum Theory for Mathematicians, Graduate Texts in Mathematics 267, Springer, 2013, doi:10.1007/978-1-4614-7116-5 — the operator and probability framework.
- Watrous, John, The Theory of Quantum Information, Cambridge University Press, 2018, doi:10.1017/9781316848142 — states, channels, and information-theoretic no-go results.