Jeffrey Bub

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.

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

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

Since the analysis by John Bell in 1965, the consensus in the literature is that von Neumann’s ‘no hidden variables’ proof fails to exclude any significant class of hidden variables. Bell raised the question whether it could be shown that any hidden variable theory would have to be nonlocal, and in this sense ‘like Bohm’s theory.’ His seminal result provides a positive answer to the question. I argue that Bell’s analysis misconstrues von Neumann’s argument. What von Neumann proved was the impossibility of recovering the quantum probabilities from a hidden variable theory of dispersion free (deterministic) states in which the quantum observables are represented as the ‘beables’ of the theory, to use Bell’s term. That is, the quantum probabilities could not reflect the distribution of pre-measurement values of beables, but would have to be derived in some other way, e.g., as in Bohm’s theory, where the probabilities are an artefact of a dynamical process that is not in fact a measurement of any beable of the system

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.