Reuse & Permissions

It is not necessary to obtain permission to reuse this article or its components as it is available under the terms of the Creative Commons Attribution 4.0 International license. This license permits unrestricted use, distribution, and reproduction in any medium, provided attribution to the author(s) and the published article's title, journal citation, and DOI are maintained. Please note that some figures may have been included with permission from other third parties. It is your responsibility to obtain the proper permission from the rights holder directly for these figures.

Export citation

Export citation

Choose format for download:

Download Citation
  • Letter
  • Open Access

Incompatibility of deterministic underlying states with a counterfactual account of Lüders' rule

Alisson Tezzin1,2,3,*, Bárbara Amaral1, and Jonte R. Hance4,5,†

  • 1Department of Mathematical Physics, Institute of Physics, University of São Paulo, R. do Matão 1371, São Paulo 05508-090, SP, Brazil
  • 2Military Institute of Engineering (IME), Defense Engineering Section, Rio de Janeiro, Brazil
  • 3QuIIN - Quantum Industrial Innovation, EMBRAPII CIMATEC Competence Center in Quantum Technologies, SENAI CIMATEC, Av. Orlando Gomes, 1845, Salvador, Bahia, 41850-010, Brazil
  • 4School of Computing, Newcastle University, 1 Science Square, Newcastle upon Tyne, NE4 5TG, United Kingdom
  • 5Quantum Engineering Technology Laboratories, Department of Electrical and Electronic Engineering, University of Bristol, Woodland Road, Bristol, BS8 1US, United Kingdom

  • *Contact author: alisson.tezzin@usp.br
  • †Contact author: jonte.hance@newcastle.ac.uk

Phys. Rev. A 112, L050202 – Published 10 November, 2025

DOI: https://doi.org/10.1103/mrqr-sdyf

Abstract

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—rules out underlying-state models of quantum mechanics (a type of hidden-variable model, typically used in the contextuality and nonlocality literature, where quantum states are treated as probability measures over “better-defined states”). This incompatibility arises because the counterfactual update requires ontological models to update their states according to conditional probability, which in turn establishes an equivalence between compatibility and the existence of such models.

View figure in article

Physics Subject Headings (PhySH)

See Also

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

Alisson Tezzin, Bárbara Amaral, and Jonte R. Hance
Phys. Rev. A 112, 052208 (2025)

Article Text

Supplemental Material

References (52)

  1. A. Einstein, B. Podolsky, and N. Rosen, Phys. Rev. 47, 777 (1935).
  2. N. Bohr, Phys. Rev. 48, 696 (1935).
  3. J. S. Bell, Rev. Mod. Phys. 38, 447 (1966).
  4. S. Kochen and E. P. Specker, in The Logico-Algebraic Approach to Quantum Mechanics: Volume I: Historical Evolution, edited by C. A. Hooker (Springer Netherlands, Dordrecht, 1975), pp. 293–328.
  5. D. Bohm, Phys. Rev. 85, 166 (1952).
  6. L. de Broglie, A. J. Knodel, and J. C. Miller, Non-linear wave mechanics a causal interpretation, written by Louis de Broglie and translated by Arthur J. Knodel and Jack C. Miller (Elsevier Publishing Co, New York, 1960).
  7. F. J. Belinfante, Survey of Hidden Variable Theories (Pergamon Press, Oxford, UK, 1973).
  8. D. Bohm, Phys. Rev. 85, 180 (1952).
  9. N. Wiener and A. Siegel, Nuovo Cimento 2, 982 (1955).
  10. J. S. Bell, Phys. Phys. Fiz. 1, 195 (1964).
  11. J. S. Bell, Dialectica 39, 85 (1985).
  12. P. Jordan, J. v. Neumann, and E. Wigner, Ann. Math. 35, 29 (1934).
  13. J. M. Jauch and C. Piron, Helv. Phys. Acta 36, 827 (1963).
  14. J. D. Malley, Phys. Rev. A 69, 022118 (2004).
  15. A. Döring, Int. J. Theor. Phys. 44, 139 (2005).
  16. K. Landsman, Foundations of Quantum Theory: From Classical Concepts to Operator Algebras, Theoretical and Mathematical Physics, 1st ed. (Springer, Cham, 2017).
  17. Gerhart Lüders, Ann. Phys. (Berlin, Ger.) 443, 322 (1950).
  18. B. Amaral and M. T. Cunha, On Graph Approaches to Contextuality and Their Role in Quantum Theory, SpringerBriefs in Mathematics, 1st ed. (Springer, Cham, 2018), pp. IX, 135.
  19. R. W. Spekkens, Phys. Rev. A 71, 052108 (2005).
  20. N. Brunner, D. Cavalcanti, S. Pironio, V. Scarani, and S. Wehner, Rev. Mod. Phys. 86, 419 (2014).
  21. A. Tezzin, Ph.D. thesis, Instituto de Física, 2025, http://doi.org/10.11606/T.43.2025.tde-05042025-080025.
  22. A. Tezzin, B. Amaral, and J. R. Hance, companion paper, Phys. Rev. A 112, 052208 (2025).
  23. J. R. Hance, J. Phys. Commun. 8, 122001 (2024).
  24. J. R. Hance and S. Hossenfelder, J. Phys. Commun. 6, 102001 (2022).
  25. T. Norsen, Foundations of Quantum Mechanics, Undergraduate Lecture Notes in Physics, 1st ed. (Springer, Cham, 2017), pp. XV, 310.
  26. A. Fine, Phys. Rev. Lett. 48, 291 (1982).
  27. A. Fine, J. Math. Phys. 23, 1306 (1982).
  28. J. D. Malley and A. Fine, Phys. Lett. A 347, 51 (2005).
  29. A. Döring and C. Isham, in New Structures for Physics, edited by B. Coecke (Springer, Berlin, Heidelberg, 2011), pp. 753.
  30. M. Nakamura and H. Umegaki, Mathematica Japonica 7, 151 (1962).
  31. J. Bub, J. Philos. Log. 6, 381 (1977).
  32. J. Earman, Lüders conditionalization: Conditional probability, transition probability, and updating in quantum probability theory (2019), https://philsci-archive.pitt.edu/id/eprint/15914.
  33. N. D. Mermin, Phys. Today 75(6), 62 (2022).
  34. M. P. Mueller, arXiv:2412.02826.
  35. T. Tao, An Introduction to Measure Theory (American Mathematical Society, Providence, 2011), Vol. 126.
  36. R. V. Kadison and J. R. Ringrose, Fundamentals of the Theory of Operator Algebras: Elementary Theory, Graduate Studies in Mathematics, 1st ed. (American Mathematical Society, Providence, 1983), Vol. 15.
  37. See Supplemental Material at http://link.aps.org/supplemental/10.1103/mrqr-sdyf for extension to mixed states, and proofs of Lemma 1 and Proposition 1.
  38. C. Budroni, A. Cabello, O. Gühne, M. Kleinmann, and J.-A. Larsson, Rev. Mod. Phys. 94, 045007 (2022).
  39. C. J. Isham and J. Butterfield, Int. J. Theor. Phys. 37, 2669 (1998).
  40. A. Cabello, S. Severini, and A. Winter, Phys. Rev. Lett. 112, 040401 (2014).
  41. S. Abramsky and A. Brandenburger, New J. Phys. 13, 113036 (2011).
  42. M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information, 1st ed. (Cambridge University Press, Cambridge, 2000).
  43. C. Hindlycke and J.-A. Larsson, Phys. Rev. Lett. 129, 130401 (2022).
  44. R. W. Spekkens, Phys. Rev. A 75, 032110 (2007).
  45. F. A. Muller, in Non-Reflexive Logics, Non-Individuals, and the Philosophy of Quantum Mechanics: Essays in Honour of the Philosophy of Décio Krause, edited by J. R. B. Arenhart and R. W. Arroyo (Springer International Publishing, Cham, 2023), pp. 225–259.
  46. T. Li, Q. Zeng, X. Song, and X. Zhang, Sci. Rep. 7, 44467 (2017).
  47. T. Li, Q. Zeng, X. Zhang, T. Chen, and X. Zhang, Sci. Rep. 9, 17038 (2019).
  48. A. Zhang, H. Xu, J. Xie, H. Zhang, B. J. Smith, M. S. Kim, and L. Zhang, Phys. Rev. Lett. 122, 080401 (2019).
  49. D. Schmid, R. D. Baldijão, J. H. Selby, A. B. Sainz, and R. W. Spekkens, arXiv:2407.09624.
  50. C. Held, in The Stanford Encyclopedia of Philosophy, Fall 2022 ed., edited by E. N. Zalta and U. Nodelman (Metaphysics Research Lab, Stanford University, 2022).
  51. O. Pessoa Jr., Conceitos de Fisica Quantica, 1st ed. (Editora Livraria da Física, 2006), Vol. II, p. 140.
  52. A. Cabello, arXiv:2211.06476.

Outline

Information

Sign In to Your Journals Account

Filter

Filter

Article Lookup

Enter a citation