Logiurato and Smerzi (J. Mod. Phys. 3, 1802 (2012)) derived the Born rule from the noncontextuality of probability (NP) — the requirement that the probability of a measurement outcome depend only on the quantum state and the outcome, not on the compatible measurements performed alongside it — for pure states in Hilbert spaces of dimension at least three, and showed that NP itself follows from no-faster-than-light signalling only for spacelike-separated measurement contexts. Because the Born rule governs timelike-ordered (sequential) measurements as well, they concluded that NP seems to be a more fundamental principle, leaving its deeper physical origin open. Later Gleason-type theorems (Busch 2003; Wright and Weigert 2019) now deliver the density-operator formalism and the two-dimensional case from strengthened measurement-consistency assumptions, and reconstruction programs derive the Born rule from other axiom sets; none grounds NP for non-spacelike-separated contexts. The surviving open problem is a physical or operational derivation of NP for timelike (non-spacelike-separated) measurement contexts from principles that do not presuppose the Born rule or the measurement postulates.

Background

Quantum mechanics predicts the relative frequencies of measurement outcomes through the Born rule, p(ai)=∣⟨ai∣ψ⟩∣2p(a_i)=|\langle a_i|\psi\rangle|^2: the probability of obtaining eigenvalue aia_i when the system is in state ∣ψ⟩|\psi\rangle is the squared modulus of the amplitude of the corresponding eigenstate. Unlike the dynamical equations, this rule was introduced as a postulate, and whether it can be derived from the rest of the theory has been debated since 1926. The oldest rigorous result is Gleason's theorem (1957): any countably additive probability measure on the closed subspaces of a Hilbert space of dimension dim⁡H≥3\dim H\ge 3 must be given by a trace formula with a density operator (a positive semidefinite operator of unit trace representing, in general, a mixed state). The measure is required to be a frame function — its value on each subspace must not depend on which orthonormal basis the subspace is embedded in — which is exactly a noncontextuality requirement. Gleason's proof is generally considered intricate, and its physical content, especially in relation to probability noncontextuality, has been actively re-examined.

Logiurato and Smerzi (2012) gave an elementary proof of the Born rule from the noncontextuality of probability (NP) together with the non-statistical postulates of quantum mechanics (state vectors, superposition, and compatible observables), for pure states and dim⁡H≥3\dim H\ge 3; within the same argument they also derived the continuity of probability with respect to the amplitudes, a gap they identify in earlier approaches. They define NP as the requirement that the probability assigned to an outcome depend only on the state and the outcome, not on the measurement context — the set of other, compatible outcomes measured together with it. They showed that the derivations of Deutsch (1999), based on rational decision-making over the branches of the Everett (many-worlds) interpretation, and of Zurek (2005), based on envariance (environment-assisted invariance, a symmetry of entangled states under which swapped system outcomes leave the environment unchanged), both implicitly assume NP at their fine-graining steps. Physically, they motivate NP in two ways: as an invariance of probability under changes of measurement resolution (fine or coarse graining of outcomes), and — for spacelike-separated measurement choices — as a consequence of the relativistic no-faster-than-light signalling principle, since otherwise a distant observer's choice of incompatible measurement would signal. However, as their Section V and concluding remarks state, the Born rule also holds for measurements that are not spacelike separate, so the no-signalling argument does not transfer to timelike-ordered (sequential) measurements, and NP, equivalently resolution invariance, 'seems to be a more fundamental principle'. Three further limitations are explicit: the proof assumes pure states, deferring density operators and mixed ensembles to textbook treatments; it requires dim⁡H≥3\dim H\ge 3 (with two-dimensional subsystems handled only by embedding them in multipartite systems of total dimension at least six); and probability itself is taken as a primitive, with its origin and interpretation unaddressed.

Subsequent literature substantially advanced two of these limitations. Busch (2003) proved a Gleason-type theorem in every Hilbert dimension including two: any probability assignment additive over the effects of positive-operator-valued measures (POVMs — generalized measurements whose outcomes correspond to positive operators summing to the identity, allowing non-projective measurement resolutions) is given by a trace rule with a density operator. Wright and Weigert (2019) derived Born's rule and the density-operator formalism for all dimensions from the consistent assignment of probabilities to projective measurements and their classical mixtures, and in 2021 extended the Gleason-type analysis to general probabilistic theories. These results formalize precisely the resolution-change reading of NP, but they take the required additivity or consistency as a postulate rather than deriving it, and for the two-dimensional case Hall's counterexample (2016) shows that bare noncontextual additivity over projective measurements alone provably admits non-Born solutions — so any covering derivation must invoke finer measurement structure or additional principles, each needing independent physical justification. In parallel, reconstruction programs derive the Born rule from entirely different axiom systems: informational principles (Chiribella, D'Ariano, and Perinotti 2011), operational redundancy of the measurement postulates with purification-type assumptions (Masanes, Galley, and Müller 2019), symmetry (Gogioso 2023), Gudder-type orthogonality additivity (De Zela 2018), and the minimal formulation of Friedberg and Hohenberg (2018) whose noncontextual-network theorem yields PS(A)=Tr(ρ[A])P_S(A)=\mathrm{Tr}(\rho[A]) while assuming the noncontextual network. Critical assessments (Earman 2022; Lawrence 2024) find no derivation that grounds the Born rule's probability structure in principles uncontroversially weaker than or independent of it.

What remains untouched is the timelike strand. For sequential measurements no no-signalling constraint is available as an independent physical input: measurement disturbance is real (this is the content of the Leggett-Garg and macrorealism literature — Leggett-Garg tests probe, in time, whether an observable carries a definite value independently of measurement, and they treat no-signalling-in-time as an assumption that invasive sequential measurements violate), and the natural analogue, no-signalling from the future, has been shown by Di Biagio, Donà, and Rovelli (2021) to be a consequence of the operational bookkeeping of the quantum instrument formalism (the standard description of a measurement by outcome-resolved state-update operations) — specifically the completeness of instruments, ∑jMj=1\sum_j M_j=\mathbb{1}, which is part of the very measurement postulates whose derivation is at issue. Meanwhile the process-matrix analysis of no-backwards-in-time signalling (Guryanova et al. 2019) — a framework for operations combined without a definite causal order — explores the principle without deriving any probability rule. The question of where NP's physical authority comes from, for contexts not protected by the spacelike argument, is therefore still open.

Problem Statement

Determine the physical status of probability noncontextuality for measurement contexts that are not spacelike separated, as left open by Logiurato and Smerzi's derivation of the Born rule from NP. Specifically, determine whether — and by what precisely formulated physical or operational principles that do not themselves presuppose the Born rule, the measurement postulates, the completeness of quantum instruments, or NP itself (or any assumption equivalent to the independence of outcome probabilities from the compatible measurement context) — a physical or operational grounding of NP, equivalently of the invariance of outcome probabilities under changes of measurement context and resolution, can be given for timelike-ordered (sequential) measurements, the regime where the spacelike no-signalling argument is unavailable; if no such grounding is available, the answer must characterise the obstruction and the minimal additional principle that it would require. Because the existing coverage of mixed states and two-dimensional systems (Busch 2003; Wright and Weigert 2019) requires strengthening NP to additivity over generalized measurements or their classical mixtures, the physical justification of such consistency assumptions for non-spacelike-separated contexts is part of what is at issue. A complete answer states exactly which physical principles are required, demonstrates that they presuppose neither Born-governed probabilities nor NP itself, and either derives from them NP — hence the Born rule — for non-spacelike-separated measurement contexts or establishes why no such derivation is available.

References

  1. F. Logiurato and A. Smerzi, 'Born Rule and Noncontextual Probability', Journal of Modern Physics 3, 1802-1812 (2012). DOI: 10.4236/jmp.2012.311225; arXiv:1202.2728. https://arxiv.org/abs/1202.2728
  2. A. M. Gleason, 'Measures on the Closed Subspaces of a Hilbert Space', Journal of Mathematics and Mechanics 6, 885-893 (1957). DOI: 10.1512/iumj.1957.6.56050. https://doi.org/10.1512/iumj.1957.6.56050
  3. P. Busch, 'Quantum States and Generalized Observables: A Simple Proof of Gleason's Theorem', Physical Review Letters 91, 120403 (2003). DOI: 10.1103/PhysRevLett.91.120403. https://doi.org/10.1103/PhysRevLett.91.120403
  4. V. J. Wright and S. Weigert, 'A Gleason-type theorem for qubits based on mixtures of projective measurements', Journal of Physics A: Mathematical and Theoretical 52, 055301 (2019). DOI: 10.1088/1751-8121/aaf93d. https://doi.org/10.1088/1751-8121/aaf93d
  5. V. J. Wright and S. Weigert, 'General Probabilistic Theories with a Gleason-type Theorem', Quantum 5, 588 (2021). DOI: 10.22331/q-2021-11-25-588. https://doi.org/10.22331/q-2021-11-25-588
  6. F. De Zela, 'Gleason-Type Theorem for Projective Measurements, Including Qubits: The Born Rule Beyond Quantum Physics', Foundations of Physics 46, 1293-1306 (2016). DOI: 10.1007/s10701-016-0020-0. https://doi.org/10.1007/s10701-016-0020-0
  7. M. J. W. Hall, 'Comment on "Gleason-Type Theorem for Projective Measurements, Including Qubits" by F. De Zela' (2016). arXiv:1611.00613. https://arxiv.org/abs/1611.00613
  8. F. De Zela, 'Reply to "Comment on `Gleason-type theorem including qubits and projective measurements: the Born rule beyond quantum physics' ", by Michael J. W. Hall' (2016). arXiv:1611.09299. https://arxiv.org/abs/1611.09299
  9. F. De Zela, 'Gudder's Theorem and the Born Rule', Entropy 20, 158 (2018). DOI: 10.3390/e20030158. https://doi.org/10.3390/e20030158
  10. L. Masanes, T. D. Galley, and M. P. Müller, 'The measurement postulates of quantum mechanics are operationally redundant', Nature Communications 10, 1361 (2019). DOI: 10.1038/s41467-019-09348-x; arXiv:1811.11060. https://doi.org/10.1038/s41467-019-09348-x
  11. S. Gogioso, 'A very simple derivation of Born's rule from symmetry', Annals of Physics 453, 169295 (2023). DOI: 10.1016/j.aop.2023.169295. https://doi.org/10.1016/j.aop.2023.169295
  12. R. Friedberg and P. C. Hohenberg, 'What is Quantum Mechanics? A Minimal Formulation', Foundations of Physics 48, 295-332 (2018). DOI: 10.1007/s10701-018-0145-4; arXiv:1711.04209. https://doi.org/10.1007/s10701-018-0145-4
  13. A. Di Biagio, P. Donà, and C. Rovelli, 'The arrow of time in operational formulations of quantum theory', Quantum 5, 520 (2021). DOI: 10.22331/q-2021-08-09-520; arXiv:2010.05734. https://doi.org/10.22331/q-2021-08-09-520
  14. Y. Guryanova, R. Silva, A. J. Short, P. Skrzypczyk, N. Brunner, and S. Popescu, 'Exploring the limits of no backwards in time signalling', Quantum 3, 211 (2019). DOI: 10.22331/q-2019-12-09-211. https://doi.org/10.22331/q-2019-12-09-211
  15. J. Lawrence, 'The Born rule: Axiom or result?', American Journal of Physics 92, 371-374 (2024). DOI: 10.1119/5.0151405. https://doi.org/10.1119/5.0151405
  16. J. Earman, 'The Status of the Born Rule and the Role of Gleason's Theorem and Its Generalizations: How the Leopard Got Its Spots and Other Just-So Stories' (2022), preprint. https://www.semanticscholar.org/paper/b3a1c927538198a8a4999c0233137bea4bb5c286
  17. D. Deutsch, 'Quantum theory of probability and decisions', Proceedings of the Royal Society of London A 455, 3129-3137 (1999). DOI: 10.1098/rspa.1999.0443. https://doi.org/10.1098/rspa.1999.0443
  18. W. H. Zurek, 'Probabilities from entanglement, Born's rule pk=∣ψk∣2p_k=|\psi_k|^2 from envariance', Physical Review A 71, 052105 (2005). DOI: 10.1103/PhysRevA.71.052105; arXiv:quant-ph/0405161. https://arxiv.org/abs/quant-ph/0405161
  19. A. E. Allahverdyan, 'Imprecise probability for non-commuting observables', New Journal of Physics 17, 085005 (2015). DOI: 10.1088/1367-2630/17/8/085005; arXiv:1411.4319. https://doi.org/10.1088/1367-2630/17/8/085005
  20. G. Chiribella, G. M. D'Ariano, and P. Perinotti, 'Informational derivation of quantum theory', Physical Review A 84, 012311 (2011). DOI: 10.1103/PhysRevA.84.012311. https://doi.org/10.1103/PhysRevA.84.012311