Jeffrey Bub

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.

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.

This chapter develops a realist information-theoretic interpretation of the nonclassical features of quantum probabilities. To make plain these nonclassical features, quantum games are analyzed in which a ‘no-signaling’ constraint has to be satisfied. It is further shown how the Lüders Rule may be seen as an instruction how to update probabilities following some measurement. As conditionalization following this rule leads to inevitable losses of information, it is argued that quantum theory implies new constraints on information. A parallel is drawn to the Special Theory of Relativity: The geometric structure of Hilbert spaces imposes new, but objective probabilistic constraints on correlations between events, just as the geometric structure of Minkowski space in special relativity imposes new spatio-temporal kinematic constraints on events.

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.

In my reconstruction of Bohr's reply to the Einstein-Podolsky-Rosen argument, I pointed out that Bohr showed explicitly, within the framework of the complementarity interpretation, how a locally maximal measurement on a subsystem S2 of a composite system S1+S2, consisting of two spatially separated subsystems, can make determinate both a locally maximal Boolean subalgebra for S2 and a locally maximal Boolean subalgebra for S1. As it stands, this response is open to an objection. In this note, I show that meeting the objection requires a modification of the complementarity thesis concerning what propositions can be taken as determinate, or what observables can be raken to have values, in a given measurement context.

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.

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

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.