We argue that the intractable part of the measurement problem -- the 'big' measurement problem -- is a pseudo-problem that depends for its legitimacy on the acceptance of two dogmas. The first dogma is John Bell's assertion that measurement should never be introduced as a primitive process in a fundamental mechanical theory like classical or quantum mechanics, but should always be open to a complete analysis, in principle, of how the individual outcomes come about dynamically. The second dogma is the (...) view that the quantum state has an ontological significance analogous to the significance of the classical state as the 'truthmaker' for propositions about the occurrence and non-occurrence of events, i.e., that the quantum state is a representation of physical reality. We show how both dogmas can be rejected in a realist information-theoretic interpretation of quantum mechanics as an alternative to the Everett interpretation. The Everettian, too, regards the 'big' measurement problem as a pseudo-problem, because the Everettian rejects the assumption that measurements have definite outcomes, in the sense that one particular outcome, as opposed to other possible outcomes, actually occurs in a quantum measurement process. By contrast with the Everettians, we accept that measurements have definite outcomes. By contrast with the Bohmians and the GRW 'collapse' theorists who add structure to the theory and propose dynamical solutions to the 'big' measurement problem, we take the problem to arise from the failure to see the significance of Hilbert space as a new kinematic framework for the physics of an indeterministic universe, in the sense that Hilbert space imposes kinematic objective probabilistic constraints on correlations between events. (shrink)

We argue that the intractable part of the measurement problem -- the 'big' measurement problem -- is a pseudo-problem that depends for its legitimacy on the acceptance of two dogmas. The first dogma is John Bell's assertion that measurement should never be introduced as a primitive process in a fundamental mechanical theory like classical or quantum mechanics, but should always be open to a complete analysis, in principle, of how the individual outcomes come about dynamically. The second dogma is the (...) view that the quantum state has an ontological significance analogous to the significance of the classical state as the 'truthmaker' for propositions about the occurrence and non-occurrence of events, i.e., that the quantum state is a representation of physical reality. We show how both dogmas can be rejected in a realist information-theoretic interpretation of quantum mechanics as an alternative to the Everett interpretation. The Everettian, too, regards the 'big' measurement problem as a pseudo-problem, because the Everettian rejects the assumption that measurements have definite outcomes, in the sense that one particular outcome, as opposed to other possible outcomes, actually occurs in a quantum measurement process. By contrast with the Everettians, we accept that measurements have definite outcomes. By contrast with the Bohmians and the GRW 'collapse' theorists who add structure to the theory and propose dynamical solutions to the 'big' measurement problem, we take the problem to arise from the failure to see the significance of Hilbert space as a new kinematic framework for the physics of an indeterministic universe, in the sense that Hilbert space imposes kinematic objective probabilistic constraints on correlations between events. (shrink)

I show that the quantum state ω can be interpreted as defining a probability measure on a subalgebra of the algebra of projection operators that is not fixed (as in classical statistical mechanics) but changes with ω and appropriate boundary conditions, hence with the dynamics of the theory. This subalgebra, while not embeddable into a Boolean algebra, will always admit two-valued homomorphisms, which correspond to the different possible ways in which a set of “determinate” quantities (selected by ω (...) and the boundary conditions) can have values. The probabilities defined by ω (via the Born rule) are probabilities over these two-valued homomorphisms or value assignments. So any universe of interacting systems, including those functioning as measuring instruments, can be modelled quantum mechanically without the projection postulate. (shrink)

A solution to the measurement problem of quantum mechanics is proposed within the framework of an intepretation according to which only quantum systems with an infinite number of degrees of freedom have determinate properties, i.e., determinate values for (some) observables of the theory. The important feature of the infinite case is the existence of many inequivalent irreducible Hilbert space representations of the algebra of observables, which leads, in effect, to a restriction on the superposition principle, and hence the possibility (...) of defining (macro-) observables which commute with every observable. Such observables have determinate values which are not subject to quantum interference effects. A measurement process is schematized as an interaction between a microsystem and a macrosystem, idealized as an infinite quantum system, and it is shown that there exists a unitary transformation which transforms the initial pure state of the composite system in a finite time (the duration of the interaction) into the required mixture of disjoint states. (shrink)

We define a family of ‘no signaling’ bipartite boxes with arbitrary inputs and binary outputs, and with a range of marginal probabilities. The defining correlations are motivated by the Klyachko version of the Kochen-Specker theorem, so we call these boxes Kochen-Specker-Klyachko boxes or, briefly, KS-boxes. The marginals cover a variety of cases, from those that can be simulated classically to the superquantum correlations that saturate the Clauser-Horne-Shimony-Holt inequality, when the KS-box is a generalized PR-box (hence a vertex of (...) the ‘no signaling’ polytope). We show that for certain marginal probabilities a KS-box is classical with respect to nonlocality as measured by the Clauser-Horne-Shimony-Holt correlation, i.e., no better than shared randomness as a resource in simulating a PR-box, even though such KS-boxes cannot be perfectly simulated by classical or quantum resources for all inputs. We comment on the significance of these results for contextuality and nonlocality in ‘no signaling’ theories. (shrink)

It is argued that the measurement problem reduces to the problem of modeling quasi-classical systems in a modified quantum mechanics with superselection rules. A measurement theorem is proved, demonstrating, on the basis of a principle for selecting the quantities of a system that are determinate (i.e., have values) in a given state, that after a suitable interaction between a systemS and a quasi-classical systemM, essentially only the quantity measured in the interaction and the indicator quantity ofM are determinate. The (...) theorem justifies interpreting the noncommutative algebra of observables of a quantum mechanical system as an algebra of “beables,” in Bell's sense. (shrink)

A quantum algorithm succeeds not because the superposition principle allows ‘the computation of all values of a function at once’ via ‘quantum parallelism’, but rather because the structure of a quantum state space allows new sorts of correlations associated with entanglement, with new possibilities for information‐processing transformations between correlations, that are not possible in a classical state space. I illustrate this with an elementary example of a problem for which a quantum algorithm is more efficient than any (...) classical algorithm. I also introduce the notion of ‘pseudotelepathic’ games and show how the difference between classical and quantum correlations plays a similar role here for games that can be won by quantum players exploiting entanglement, but not by classical players whose only allowed common resource consists of shared strings of random numbers (common causes of the players’ correlated responses in a game). *Received October 2008. †To contact the author, please write to: Department of Philosophy, University of Maryland, College Park, MD 20742; e‐mail: jbub@umd.edu. (shrink)

Philosophical debate on the measurement problem of quantum mechanics has, for the most part, been confined to the non-relativistic version of the theory. Quantizing quantum field theory, or making quantum mechanics relativistic, yields a conceptual framework capable of dealing with the creation and annihilation of an indefinite number of particles in interaction with fields, i.e. quantum systems with an infinite number of degrees of freedom. I show that a solution to the standard measurement problem is available if (...) we exploit the properties of the infinite quantum models available in this broader conceptual framework. (shrink)

Bell's proof purports to show that any hidden variable theory satisfying a physically reasonable locality condition is characterized by an inequality which is inconsistent with the quantum statistics. It is shown that Bell's inequality actually characterizes a feature of hidden variable theories which is much weaker than locality in the sense considered physically motivated. We consider an example of non- local hidden variable theory which reproduces the quantum statistics. A simple extension of the theory, which preserves the non- local (...) character, alters the statistics in such a way that Bell's inequality is satisfied. (shrink)

Bell's problem of the possibility of a local hidden variable theory of quantum phenomena is considered in the context of the general problem of representing the statistical states of a quantum mechanical system by measures on a classical probability space, and Bell's result is presented as a generalization of Maczynski's theorem for maximal magnitudes. The proof of this generalization is shown to depend on the impossibility of recovering the quantum statistics for sequential probabilities in a classical representation without introducing a (...) randomization process for the hidden variables. Hidden variable theories that exclude such a randomization process are termed “strict,” and it is shown that the class of local hidden variable theories is included in the class of strict theories. A counterargument by Freedman and Wigner is evaluated with reference to Clauser's extension of a hidden variable model proposed by Bell. (shrink)

In a series of lectures written around 1952, Schrödinger refers to von Neumann’s account of measurement in quantum mechanics as follows:I said quantum physicists bother very little about accounting, according to the accepted law, for the supposed change of the wave-function by measurement. I know of only one attempt in this direction, to which Dr. Balazs recently directed my attention. You find it in John von Neumann’s well-known book. With great acuity he constructs one analytical example. It does not (...) refer to any actual experiment, it is purely analytical. He indicates in a simple case a supplementary operator which, when added to the internal wave operator, would with any desired approximation turn the wave function as time goes on into an eigenfunction of the observable that is measured. He found it necessary to show that such a mechanism is analytically possible. The idea has not been taken up and worked out since — in about twenty years or more. Indeed I do not think it would pay. I do not believe any real measuring device is of this kind. (shrink)

What’s the deal with the really, really, weird-acting stuff that everything is made of? Can we ever take in our everyday world the same way again if we fully understand the nature of the quantum world? With Jeffrey Bub , Tim Maudlin , and Drew Arrowood.

We present an exegesis of the Einstein-Podolsky-Rosen argument for the incompleteness of quantum mechanics, and defend it against the critique in Fine. (1) We contend,contra Fine, that it compares favorably with an argument reconstructed by him from a letter by Einstein to Schrödinger; and also with one given by Einstein in a letter to Popper. All three arguments turn on a dubious assumption of “separability,” which accords separate elements of reality to space-like separated systems. We discuss how this (...) assumption figures in the literature spawned by the Bell inequalities. (shrink)

Bohr's complementarity interpretation is represented as the relativization of the quantum mechanical description of a system to the maximal Boolean subalgebra (in the non-Boolean logical structure of the system) selected by a classically described experimental arrangement. Only propositions in this subalgebra have determinate truth values. The concept of a minimal revision of a Boolean subalgebra by a measurement is defined, and it is shown that the nonmaximal measurement of spin on one subsystem in the spin version of the Einstein—Podolsky—Rosen experiment (...) actually selects an appropriate maximal Boolean subalgebra ℛ′ in the logical structure of the composite system, via a minimal revision of the maximal Boolean subalgebra & associated with the preparation of the singlet spin state. This provides an explanation for the determinate truth values of propositions in ℛ′ referring to the second subsystem within the framework of the complementarity interpretation. (shrink)

Quantum theory is a probabilistic theory that embodies notoriously striking correlations, stronger than any that classical theories allow but not as strong as those of hypothetical ‘super-quantum’ theories. This raises the question ‘Why the quantum?’—whether there is a handful of principles that account for the character of quantum probability. We ask what quantum-logical notions correspond to this investigation. This project isn’t meant to compete with the many beautiful results that information-theoretic approaches have yielded but rather aims to complement that (...) work. (shrink)

We present a translation of Poincaré's hitherto untranslated 1912 essay together with a brief introduction describing the essay's contemporary interest, both for Poincaré scholarship and for the history and philosophy of atomism. In the introduction we distinguish two easily conflated strands in Poincaré's thinking about atomism, one focused on the possibility of deciding the atomic hypothesis, the other focused on the question whether it can ever be determined that the analysis of matter has a finite bound. We show that (...) Poincaré admitted the decisiveness of Perrin's investigations for the existence of atoms; he did not, however, anticipate the kind of resolution of which the second question is susceptible in light of recent developments. (shrink)

This book offers a thorough technical elaboration and philosophical defense of an objectivist informational interpretation of quantum mechanics according to which its novel content is located in its kinematical framework, that is, in how the theory describes systems independently of the specifics of their dynamics. -/- It will be of interest to researchers and students in the philosophy of physics and in theoretical physics with an interest in the foundations of quantum mechanics. Additionally, parts of the book may be (...) used as the basis for courses introducing non-physics majors to quantum mechanics, or for self-study by those outside of the university with an interest in quantum mechanics. (shrink)

I argue that quantum mechanics is fundamentally a theory about the representation and manipulation of information, not a theory about the mechanics of nonclassical waves or particles. The notion of quantum information is to be understood as a new physical primitive—just as, following Einstein’s special theory of relativity, a field is no longer regarded as the physical manifestation of vibrations in a mechanical medium, but recognized as a new physical primitive in its own right.

We prove a uniqueness theorem showing that, subject to certain natural constraints, all 'no collapse' interpretations of quantum mechanics can be uniquely characterized and reduced to the choice of a particular preferred observable as determine (definite, sharp). We show how certain versions of the modal interpretation, Bohm's 'causal' interpretation, Bohr's complementarity interpretation, and the orthodox (Dirac-von Neumann) interpretation without the projection postulate can be recovered from the theorem. Bohr's complementarity and Einstein's realism appear as two quite different proposals for selecting (...) the preferred determinate observable--either settled pragmatically by what we choose to observe, or fixed once and for all, as the Einsteinian realist would require, in which case the preferred observable is a 'beable' in Bell's sense, as in Bohm's interpretation (where the preferred observable is position in configuration space). (shrink)

I show how quantum mechanics, like the theory of relativity, can be understood as a 'principle theory' in Einstein's sense, and I use this notion to explore the approach to the problem of interpretation developed in my book Interpreting the Quantum World.

It is generally accepted, following Landauer and Bennett, that the process of measurement involves no minimum entropy cost, but the erasure of information in resetting the memory register of a computer to zero requires dissipating heat into the environment. This thesis has been challenged recently in a two-part article by Earman and Norton. I review some relevant observations in the thermodynamics of computation and argue that Earman and Norton are mistaken: there is in principle no entropy cost to the acquisition (...) of information, but the destruction of information does involve an irreducible entropy cost. (shrink)

We show that the Bub-Clifton uniqueness theorem (1996) for 'no collapse' interpretations of quantum mechanics can be proved without the 'weak separability' assumption.

We criticize the bare theory of quantum mechanics -- a theory on which the Schrödinger equation is universally valid, and standard way of thinking about superpositions is correct.

In 2018, Daniela Frauchiger and Renato Renner published an article in Nature Communications entitled ‘Quantum theory cannot consistently describe the use of itself.’ The argument has been attacked as flawed from a variety of interpretational perspectives. I clarify the significance of the result as a sequence of actions and inferences by agents modeled as quantum systems evolving unitarily at all times. At no point does the argument appeal to a ‘collapse’ of the quantum state following a measurement.

The aim of cognitive neuropsychology is to articulate the functional architecture underlying normal cognition, on the basis of congnitive performance data involving brain-damaged subjects. Throughout the history of the subject, questions have been raised as to whether the methods of neuropsychology are adequate to its goals. The question has been reopened by Glymour [1994], who formulates a discovery problem for cognitive neuropsychology, in the sense of formal learning theory, concerning the existence of a reliable methodology. It appears that the discovery (...) problem may be insoluble in principle! I propose a modified formulation of Glymour's discovery problem and argue that a sceptical conclusion about the possiblity of cognitive neuropsychology as an empirical science is not warranted. (shrink)

Unconditionally secure two-party bit commitment based solely on the principles of quantum mechanics (without exploiting special relativistic signalling constraints, or principles of general relativity or thermodynamics) has been shown to be impossible, but the claim is repeatedly challenged. The quantum bit commitment theorem is reviewed here and the central conceptual point, that an “Einstein–Podolsky–Rosen” attack or cheating strategy can always be applied, is clarified. The question of whether following such a cheating strategy can ever be disadvantageous to the cheater is (...) considered and answered in the negative. There is, indeed, no loophole in the theorem. (shrink)

Friedman and Putnam have argued (Friedman and Putnam 1978) that the quantum logical interpretation of quantum mechanics gives us an explanation of interference that the Copenhagen interpretation cannot supply without invoking an additional ad hoc principle, the projection postulate. I show that it is possible to define a notion of equivalence of experimental arrangements relative to a pure state φ , or (correspondingly) equivalence of Boolean subalgebras in the partial Boolean algebra of projection operators of a system, which plays a (...) role in the Copenhagen explanation of interference analogous to the role played by the material equivalence, given φ , of certain propositions in the Friedman-Putnam quantum logical analysis. I also show that the quantum logical interpretation and the Copenhagen interpretation are equally capable of avoiding the paradoxical conclusion of the Einstein-Podolsky-Rosen argument (Einstein, Podolsky, and Rosen 1935). Thus, neither interference phenomena nor the correlations between separated systems provide a test case for distinguishing between the relative acceptability of the Copenhagen interpretation and the quantum logical interpretation as explanations of quantum effects. (shrink)

I define sublaltices of quantum propositions that can be taken as having determinate (but perhaps unknown) truth values for a given quantum state, in the sense that sufficiently many two-valued maps satisfying a Boolean homomorphism condition exist on each determinate sublattice to generate a Kolmogorov probability space for the probabilities defined by the slate. I show that these sublattices are maximal, subject to certain constraints, from which it follows easily that they are unique. I discuss the relevance of this result (...) for the measurement problem, relating it to an early proposal by Jauch and Piron for defining a new notion of state for quantum systems, to a recent uniqueness proof by Clifton for the sublattice of propositions specified as determinate by modal interpretations of quantum mechanics that exploit the polar decompostion theorem, and to my own previous suggestions for interpreting quantum mechanics without the projection postulate. (shrink)

I formulate the interpretation problem of quantum mechanics as the problem of identifying all possible maximal sublattices of quantum propositions that can be taken as simultaneously determinate, subject to certain constraints that allow the representation of quantum probabilities as measures over truth possibilities in the standard sense, and the representation of measurements in terms of the linear dynamics of the theory. The solution to this problem yields a modal interpretation that I show to be a generalized version of Bohm's hidden (...) variable theory. I argue that unless we alter the dynamics of quantum mechanics, or accept a for all practical purposes solution, this generalized Bohmian mechanics is the unique solution to the problem of interpretation. (shrink)

I present a new 33-ray proof of the Kochen and Specker “no-go” hidden variable theorem in ℋ3, based on a classical tautology that corresponds to a contingent quantum proposition in ℋ3 proposed by Kurt Schütte in an unpublished letter to Specker in 1965. 1 discuss the relation of this proof to a 31-ray proof by Conway and Kochen, and to a 33-ray proof by Peres.

The properties of classical and quantum systems are characterized by different algebraic structures. We know that the properties of a quantum mechanical system form a partial Boolean algebra not embeddable into a Boolean algebra, and so cannot all be co-determinate. We also know that maximal Boolean subalgebras of properties can be (separately) co-determinate. Are there larger subsets of properties that can be co-determinate without contradiction? Following an analysis of Bohrs response to the Einstein-Podolsky-Rosen objection to the complementarity interpretation of quantum (...) mechanics, a principled argument is developed justifying the selection of particular subsets of properties as co-determinate for a quantum system in particular physical contexts. These subsets are generated by sets of maximal Boolean subalgebras, defined in each case by the relation between the quantum state and a measurement (possibly, but not necessarily, the measurement in terms of which we seek to establish whether or not a particular property of the system in question obtains). If we are required to interpret quantum mechanics in this way, then predication for quantum systems is quite unlike the corresponding notion for classical systems. (shrink)

Special Issue on Quantum Information and Computation.