Jeffrey Bub

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

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).

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