Sufficiency of the counterfactual account of Lüders' rule to rule out ontological models of quantum mechanics

Abstract

Ontological models, as used in the generalised contextuality literature, play a central role in current research on quantum foundations, providing a framework for defining classicality, constructing classical analogues of key quantum phenomena, and examining the ontology of quantum states. In this work, we show that a counterfactual account of Lüders' rule -- which we argue is naturally implied by the mathematical structure of the rule itself -- renders such models inherently incompatible with the quantum formalism. This incompatibility arises because the counterfactual update requires ontological models to update their states according to conditional probability, which in turn which in turn renders predictions of sequential measurements order-independent. This implies that ontological models, even contextual ones, must either act differently to what we would expect given (this, typically implicitly-assumed account of) quantum state update rule, or cannot model quantum behaviour.

21+10 pages, 0 figures. Accepted for publication in Phys. Rev. A, matches accepted version

References in corpus (17)

• Is the quantum state real? An extended review of $\psi$-ontology theorems
• Kochen-Specker Contextuality
• General probabilistic theories: An introduction
• Certifying quantum signatures in thermodynamics and metrology via contextuality of quantum linear response
• Bell's theorem allows local theories of quantum mechanics
• Contextuality without incompatibility
• A structure theorem for generalized-noncontextual ontological models
• Coherence and contextuality in a Mach-Zehnder interferometer
• A toy model for quantum mechanics
• Quantum mechanics is a calculus for estimation under epistemic restriction
• Using a resource theoretic perspective to witness and engineer quantum generalized contextuality for prepare-and-measure scenarios
• Efficient contextual ontological model of $n$-qubit stabilizer quantum mechanics
• A classical formulation of quantum theory?
• Epistemic Horizons From Deterministic Laws: Lessons From a Nomic Toy Theory
• Toward Local Madelung Mechanics in Spacetime
• Deterministic Underlying States are incompatible with a Counterfactual account of Lüders' rule
• A Theory of Inaccessible Information

Cited by in corpus (2)

• Deterministic Underlying States are incompatible with a Counterfactual account of Lüders' rule
• Limits of Absoluteness of Observed Events in Timelike Scenarios: A No-Go Theorem