Is the Quantum State Real? An Extended Review of -ontology Theorems

Towards the end of 2011, Pusey, Barrett and Rudolph derived a theorem that aimed to show that the quantum state must be ontic (a state of reality) in a broad class of realist approaches to quantum theory. This result attracted a lot of attention and controversy. The aim of this review article is to review the background to the Pusey–Barrett–Rudolph Theorem, to provide a clear presentation of the theorem itself, and to review related work that has appeared since the publication of the Pusey–Barrett–Rudolph paper. In particular, this review: Explains what it means for the quantum state to be ontic or epistemic (a state of knowledge); Reviews arguments for and against an ontic interpretation of the quantum state as they existed prior to the Pusey–Barrett–Rudolph Theorem; Explains why proving the reality of the quantum state is a very strong constraint on realist theories in that it would imply many of the known no-go theorems, such as Bell's Theorem and the need for an exponentially large ontic state space; Provides a comprehensive presentation of the Pusey–Barrett–Rudolph Theorem itself, along with subsequent improvements and criticisms of its assumptions; Reviews two other arguments for the reality of the quantum state: the first due to Hardy and the second due to Colbeck and Renner, and explains why their assumptions are less compelling than those of the Pusey–Barrett–Rudolph Theorem; Reviews subsequent work aimed at ruling out stronger notions of what it means for the quantum state to be epistemic and points out open questions in this area. The overall aim is not only to provide the background needed for the novice in this area to understand the current status, but also to discuss often overlooked subtleties that should be of interest to the experts. Quanta 2014; 3: 67–155.

[1]  Aurelien Drezet.  Can quantum mechanics be considered as statistical? an analysis of the PBR theorem , 2012 .

[2]  Ryan Morris,et al.  Topics in Quantum Foundations: Ontological Models, and Distinguishability as a Resource , 2009 .

[3]  M. Born,et al.  Statistical Interpretation of Quantum Mechanics. , 1955, Science.

[4]  M. Leifer,et al.  Maximally epistemic interpretations of the quantum state and contextuality. , 2012, Physical review letters.

[5]  J. Mayer,et al.  On the Quantum Correction for Thermodynamic Equilibrium , 1947 .

[6]  A. Cabello,et al.  Bell-Kochen-Specker theorem: A proof with 18 vectors , 1996, quant-ph/9706009.

[7]  R. Renner,et al.  Experimental bound on the maximum predictive power of physical theories. , 2012, Physical review letters.

[8]  Shane Mansfield.  On the 'Reality' of Observable Properties , 2013, 1306.3216.

[9]  C. Fuchs.  QBism, the Perimeter of Quantum Bayesianism , 2010, 1003.5209.

[10]  Anthony J Leggett,et al.  Testing the limits of quantum mechanics: motivation, state of play, prospects , 2002 .

[11]  R. Spekkens.  Contextuality for preparations, transformations, and unsharp measurements , 2004, quant-ph/0406166.

[12]  J. Bell,et al.  Speakable and Unspeakable in Quatum Mechanics , 1988 .

[13]  E. Beltrametti,et al.  A classical extension of quantum mechanics , 1995 .

[14]  J. Henson.  Non-separability Does Not Relieve the Problem of Bell’s Theorem , 2013, 1302.7188.

[15]  Matthew F Pusey,et al.  Can different quantum state vectors correspond to the same physical state? An experimental test , 2012, 1211.0942.

[16]  A. Holevo.  Bounds for the quantity of information transmitted by a quantum communication channel , 1973 .

[17]  N. David Mermin,et al.  An introduction to QBism with an application to the locality of quantum mechanics , 2013, 1311.5253.

[18]  C. Fuchs,et al.  Conditions for compatibility of quantum-state assignments , 2002, quant-ph/0206110.

[19]  D. J. Miller.  Alternative experimental protocol to demonstrate the Pusey-Barrett-Rudolph theorem , 2013 .

[20]  Y. Aharonov,et al.  The Two-State Vector Formalism of Quantum Mechanics , 2002 .

[21]  Rahul Jain,et al.  Communication Tasks with Infinite Quantum-Classical Separation. , 2014, Physical review letters.

[22]  D. Petz.  Quantum Information Theory and Quantum Statistics , 2007 .

[23]  A Montina,et al.  Communication complexity of channels in general probabilistic theories. , 2013, Physical review letters.

[24]  N. Mermin.  Quantum theory: Concepts and methods , 1997 .

[25]  R. Leighton,et al.  Feynman Lectures on Physics , 1971 .

[26]  Somshubhro Bandyopadhyay,et al.  Conclusive exclusion of quantum states , 2013, 1306.4683.

[27]  O. Maroney.  How statistical are quantum states , 2012, 1207.6906.

[28]  D. Gottesman.  The Heisenberg Representation of Quantum Computers , 1998, quant-ph/9807006.

[29]  N. David Mermin,et al.  Foundational, Historical, Anecdotal and Forward-Looking Thoughts on the Quantum , 2001 .

[30]  Lucien Hardy,et al.  ARE QUANTUM STATES REAL , 2012, 1205.1439.

[31]  E. Reich.  Quantum theorem shakes foundations , 2011 .

[32]  Joseph Emerson.  Quantum Chaos and Quantum-Classical Correspondence , 2002 .

[33]  Renato Renner,et al.  Is a system's wave function in one-to-one correspondence with its elements of reality? , 2011, Physical review letters.

[34]  J. Bub.  Quantum Correlations and the Measurement Problem , 2012, 1210.6371.

[35]  H. Everett.  "Relative State" Formulation of Quantum Mechanics , 1957 .

[36]  Olimpia Lombardi,et al.  Modal Interpretations of Quantum Mechanics , 2002 .

[37]  R. Spekkens.  Evidence for the epistemic view of quantum states: A toy theory , 2004, quant-ph/0401052.

[38]  Abner Shimony,et al.  Contextual Hidden Variables Theories and Bell's Inequalities , 1984, The British Journal for the Philosophy of Science.

[39]  Christopher A. Fuchs,et al.  QUANTUM BAYESIANISM AT THE PERIMETER , 2010, 1003.5182.

[40]  O. Costa de Beauregard.  Time symmetry and interpretation of quantum mechanics , 1976 .

[41]  Eric G. Cavalcanti,et al.  Measurements on the reality of the wavefunction , 2014, Nature Physics.

[42]  M. Kafatos.  Bell's theorem, quantum theory and conceptions of the universe , 1989 .

[43]  M. Leifer.  ψ-Epistemic models are exponentially bad at explaining the distinguishability of quantum states. , 2014, Physical review letters.

[44]  Interpreting Bananaworld: A response to Bub's Quantum Mechanics for Primates , 2012, 1212.3606.

[45]  Some Sankar Bhattacharya,et al.  Ontological Models, Preparation Contextuality and Nonlocality , 2013, 1307.7989.

[46]  Zibin,et al.  Inadequacy of Ehrenfest's theorem to characterize the classical regime. , 1994, Physical review. A, Atomic, molecular, and optical physics.

[47]  D. Bohm.  A SUGGESTED INTERPRETATION OF THE QUANTUM THEORY IN TERMS OF "HIDDEN" VARIABLES. II , 1952 .

[48]  Asher Peres,et al.  Two simple proofs of the Kochen-Specker theorem , 1991 .

[49]  R. Griffiths.  Consistent Quantum Theory , 2001 .

[50]  James E. Jarrett,et al.  On the Physical Significance of the Locality Conditions in the Bell Arguments , 1984 .

[51]  A. EINsTEIN,et al.  Can Quantum-Mechanical Description of Physical Reality Be Considered Complete ' ? , 2011 .

[52]  Alberto Montina,et al.  Epistemic view of quantum states and communication complexity of quantum channels , 2012, Physical review letters.

[53]  Sheldon Goldstein,et al.  Quantum Theory without Observers—Part One , 1998 .

[54]  H. Price.  Does time-symmetry imply retrocausality? How the quantum world says “Maybe”? , 2010, 1002.0906.

[55]  M. A. Can,et al.  Simple test for hidden variables in spin-1 systems. , 2007, Physical review letters.

[56]  Matt Farr,et al.  Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics , 2015 .

[57]  G. Ghirardi,et al.  On the completeness of quantum mechanics and the interpretation of the state vector , 2013, 1302.6278.

[58]  A. Einstein.  QUANTEN‐MECHANIK UND WIRKLICHKEIT , 1948 .

[59]  S. Braunstein,et al.  Wringing out better bell inequalities , 1990 .

[60]  T. Heinosaari,et al.  The Mathematical Language of Quantum Theory: From Uncertainty to Entanglement , 2012 .

[61]  A. Winter,et al.  Graph-theoretic approach to quantum correlations. , 2014, Physical review letters.

[62]  Robert W. Spekkens,et al.  Einstein, Incompleteness, and the Epistemic View of Quantum States , 2007, 0706.2661.

[63]  Roger Colbeck,et al.  The Completeness of Quantum Theory for Predicting Measurement Outcomes , 2016 .

[64]  Michael J. W. Hall,et al.  Generalisations of the recent Pusey-Barrett-Rudolph theorem for statistical models of quantum phenomena , 2011 .

[65]  Maximilian Schlosshauer,et al.  Implications of the Pusey-Barrett-Rudolph quantum no-go theorem. , 2012, Physical review letters.

[66]  Matthew F. Pusey,et al.  Stabilizer Notation for Spekkens’ Toy Theory , 2011, 1103.5037.

[67]  Raymond Lal,et al.  No ψ-epistemic model can fully explain the indistinguishability of quantum states. , 2013, Physical review letters.

[68]  W. Heitler.  The Principles of Quantum Mechanics , 1947, Nature.

[69]  I. Pitowsky,et al.  Two Dogmas About Quantum Mechanics , 2007, 0712.4258.

[70]  A. Shimony,et al.  Proposed Experiment to Test Local Hidden Variable Theories. , 1969 .

[71]  Nicholas Harrigan,et al.  Ontological models and the interpretation of contextuality , 2007, 0709.4266.

[72]  John Archibald Wheeler,et al.  The “Past” and the “Delayed-Choice” Double-Slit Experiment , 1978 .

[73]  D. Howard.  Einstein on locality and separability , 1985 .

[74]  P. Wallden.  Distinguishing Initial State-Vectors from Each Other in Histories Formulations and the PBR Argument , 2012, 1211.2084.

[75]  Rob Clifton,et al.  Getting contextual and nonlocal elements‐of‐reality the easy way , 1993 .

[76]  Lucien Hardy,et al.  Quantum ontological excess baggage , 2004 .

[77]  O. C. D. Beauregard.  Time symmetry and interpretation of quantum mechanics. [Paradoxes] , 1976 .

[78]  Stefan Teufel,et al.  Bohmian Mechanics: The Physics and Mathematics of Quantum Theory , 2009 .

[79]  C. Rovelli,et al.  Relational Quantum Mechanics , 2006 .

[80]  Mermin,et al.  Simple unified form for the major no-hidden-variables theorems. , 1990, Physical review letters.

[81]  Topologies and Measurable Structures on the Projective Hilbert Space , 2007, 0708.1208.

[82]  David Jennings,et al.  Distinct quantum states can be compatible with a single state of reality. , 2012, Physical review letters.

[83]  Roderich Tumulka,et al.  What Is Bohmian Mechanics , 2001, Compendium of Quantum Physics.

[84]  W. D. Muynck.  Foundations of Quantum Mechanics, an Empiricist Approach , 2002 .

[85]  Robert W. Spekkens,et al.  Reconstruction of Gaussian quantum mechanics from Liouville mechanics with an epistemic restriction , 2011, 1111.5057.

[86]  Chained Bell Inequalities , 1989 .

[87]  R. Kapp.  British Journal for the Philosophy of Science , 1950, Nature.

[88]  Victor Veitch,et al.  The whole is greater than the sum of the parts: on the possibility of purely statistical interpretations of quantum theory , 2013 .

[89]  Rafael D. Sorkin.  An exercise in "anhomomorphic logic" , 2007 .

[90]  Andris Ambainis,et al.  On the space efficiency of one way quantum finite automata , 1998 .

[91]  Caslav Brukner,et al.  Information and Fundamental Elements of the Structure of Quantum Theory , 2002, quant-ph/0212084.

[92]  Eberhard,et al.  Background level and counter efficiencies required for a loophole-free Einstein-Podolsky-Rosen experiment. , 1993, Physical review. A, Atomic, molecular, and optical physics.

[93]  Characteristics of quantum-classical correspondence for two interacting spins , 2000, quant-ph/0011020.

[94]  Andris Ambainis,et al.  Dense quantum coding and a lower bound for 1-way quantum automata , 1998, STOC '99.

[95]  Mermin Nd.  Simple unified form for the major no-hidden-variables theorems. , 1990 .

[96]  D. Lewis.  A Subjectivist’s Guide to Objective Chance , 1980 .

[97]  Christopher A. Fuchs,et al.  Coming of Age With Quantum Information - Notes on a Paulian Idea , 2011 .

[98]  R. Kastner.  The Transactional Interpretation of Quantum Mechanics: The Reality of Possibility , 2012 .

[99]  Should the wave-function be a part of the quantum ontological state? , 2012, 1209.2565.

[100]  Bryce S. DeWitt,et al.  The Many-worlds interpretation of quantum mechanics , 2015 .

[101]  Richard Healey,et al.  Quantum Theory: A Pragmatist Approach , 2010, British Journal for the Philosophy of Science.

[102]  Kathy P. Wheeler,et al.  Reviews of Modern Physics , 2013 .

[103]  Alberto Montina.  Communication cost of classically simulating a quantum channel with subsequent rank-1 projective measurement , 2011, ArXiv.

[104]  Joshua A. Slater,et al.  An experimental test of all theories with predictive power beyond quantum theory , 2011, 1105.0133.

[105]  Stefan Wolf,et al.  Lower bounds on the communication complexity of two-party (quantum) processes , 2014, 2014 IEEE International Symposium on Information Theory.

[106]  R. Griffiths.  Epistemic restrictions in Hilbert space quantum mechanics , 2013, 1308.4176.

[107]  Alberto Montina,et al.  State-space dimensionality in short-memory hidden-variable theories , 2010, 1008.4415.

[108]  R. Spekkens,et al.  Specker’s parable of the overprotective seer: A road to contextuality, nonlocality and complementarity , 2010 .

[109]  Terry Rudolph.  Ontological Models for Quantum Mechanics and the Kochen-Specker theorem , 2006 .

[110]  Quantum-classical correspondence for the equilibrium distributions of two interacting spins. , 2001, Physical review. E, Statistical, nonlinear, and soft matter physics.

[111]  Abner Shimony,et al.  Search for a naturalistic world view: Controllable and uncontrollable non-locality , 1993 .

[112]  S. Barnett,et al.  Quantum state separation, unambiguous discrimination and exact cloning , 1998, quant-ph/9808018.

[113]  S Pironio,et al.  No-go theorems for ψ-epistemic models based on a continuity assumption. , 2012, Physical review letters.

[114]  D. Wallace.  The Emergent Multiverse: Quantum Theory according to the Everett Interpretation , 2012 .

[115]  Angelo Bassi,et al.  Models of Wave-function Collapse, Underlying Theories, and Experimental Tests , 2012, 1204.4325.

[116]  D. Dürr,et al.  Quantum equilibrium and the origin of absolute uncertainty , 1992, quant-ph/0308039.

[117]  Martin Ja¨hnert,et al.  Quantum Theory at the Crossroads: Reconsidering the 1927 Solvay Conference , 2010 .

[118]  M. Rédei,et al.  Quantum probability theory , 2006, quant-ph/0601158.

[119]  Itamar Pitowsky.  Quantum Mechanics as a Theory of Probability , 2006 .

[120]  C. Branciard.  How ψ-epistemic models fail at explaining the indistinguishability of quantum states. , 2014, Physical review letters.

[121]  D. A. Edwards.  The mathematical foundations of quantum mechanics , 1979, Synthese.

[122]  Charles H. Bennett,et al.  Communication via one- and two-particle operators on Einstein-Podolsky-Rosen states. , 1992, Physical review letters.

[123]  Alberto Montina,et al.  Exponential complexity and ontological theories of quantum mechanics , 2007, 0711.4770.

[124]  M. Leifer.  “It from Bit” and the Quantum Probability Rule , 2013, 1311.0857.

[125]  Thierry Paul,et al.  Quantum computation and quantum information , 2007, Mathematical Structures in Computer Science.

[126]  J. Bub.  Bananaworld: Quantum Mechanics for Primates , 2012, 1211.3062.

[127]  Peter W. Shor,et al.  Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer , 1995, SIAM Rev..

[128]  R. Spekkens,et al.  Towards a formulation of quantum theory as a causally neutral theory of Bayesian inference , 2011, 1107.5849.

[129]  S. Wehner,et al.  Bell Nonlocality , 2013, 1303.2849.

[130]  Rafael D. Sorkin.  Quantum dynamics without the wavefunction , 2006 .

[131]  Roger Colbeck,et al.  No extension of quantum theory can have improved predictive power , 2010, Nature communications.

[132]  Abner Shimony,et al.  Search For A Naturalistic World View , 1993 .

[133]  A. Fine,et al.  No-go theorem for the composition of quantum systems. , 2013, Physical review letters.

[134]  Adam Bouland,et al.  ψ-epistemic theories: The role of symmetry , 2013, 1303.2834.

[135]  J. Bell,et al.  The Theory of Local Beables , 1975 .

[136]  L. Vaidman,et al.  Quantum mechanical interaction-free measurements , 1993, hep-th/9305002.

[137]  Detection-efficiency loophole and the Pusey-Barrett-Rudolph theorem , 2014, 1407.5577.

[138]  S. Massar,et al.  Experimental refutation of a class of ψ -epistemic models , 2013, 1306.0414.

[139]  Guido Bacciagaluppi,et al.  Quantum Theory at the Crossroads: The new dynamics of quanta , 2009 .

[140]  Weber,et al.  Unified dynamics for microscopic and macroscopic systems. , 1986, Physical review. D, Particles and fields.

[141]  Raffaele Romano,et al.  About Possible Extensions of Quantum Theory , 2013, 1301.5040.

[142]  Matthew F Pusey,et al.  On the reality of the quantum state , 2011, Nature Physics.

[143]  J. Bell.  On the Problem of Hidden Variables in Quantum Mechanics , 1966 .

[144]  Stefan Wolf,et al.  Necessary and sufficient optimality conditions for classical simulations of quantum communication processes , 2014, ArXiv.

[145]  A. Winter,et al.  (Non-)Contextuality of Physical Theories as an Axiom , 2010, 1010.2163.

[146]  Schumacher,et al.  Quantum coding. , 1995, Physical review. A, Atomic, molecular, and optical physics.

[147]  K. Popper.  The Propensity Interpretation of Probability , 1959 .

[148]  Y. Aharonov,et al.  The Two-State Vector Formalism of Qauntum Mechanics: an Updated Review , 2001, quant-ph/0105101.