In a recent result, Frauchiger and Renner argue that if quantum theory accurately describes complex systems like observers who perform measurements, then "we are forced to give up the view that there is one single reality." Following a review of the Frauchiger-Renner argument, I argue that quantum mechanics should be understood probabilistically, as a new sort of non-Boolean probability theory, rather than representationally, as a theory about the elementary constituents of the physical world and how these elements evolve dynamically over time. I show that this way of understanding quantum mechanics is not in conflict with a consistent "single-world" interpretation of the theory.

U4 - 15 UR - https://arxiv.org/abs/1804.03267 ER - TY - BOOK T1 - Totally random: why nobody understands quantum mechanics (a serious comic on entanglement) Y1 - 2018 A1 - Jeffrey Bub A1 - Tanya Bub PB - Princeton University Press ER - TY - JOUR T1 - Why Bohr was (Mostly) Right Y1 - 2017 A1 - Jeffrey Bub AB -After a discussion of the Frauchiger-Renner argument that no “singleworld” interpretation of quantum mechanics can be self-consistent, I propose a “Bohrian” alternative to many-worlds or QBism as the rational option.

UR - https://arxiv.org/abs/1711.01604 ER - TY - BOOK T1 - Bananaworld: Quantum Mechanics for Primates Y1 - 2016 A1 - Jeffrey Bub AB -This is intended to be a serious paper, in spite of the title. The idea is that quantum mechanics is about probabilistic correlations, i.e., about the structure of information, since a theory of information is essentially a theory of probabilistic correlations. To make this clear, it suffices to consider measurements of two binary-valued observables, x with outcomes a = 0 or 1, performed by Alice in a region A, and y with outcomes b = 0 or 1 performed by Bob in a separated region B --or, to emphasize the banality of the phenomena, two ways of peeling a banana, resulting in one of two tastes. The imagined bananas of Bananaworld are non-standard, with operational or phenomenal probabilistic correlations for peelings and tastes that lie outside the polytope of local correlations. The 'no go' theorems tell us that we can't shoe-horn these correlations into a classical correlation polytope, which has the structure of a simplex, by supposing that something has been left out of the story, without giving up fundamental principles that define what we mean by a physical system. The nonclassical features of quantum mechanics, including the irreducible information loss on measurement, are shown to be generic features of correlations that lie outside the local correlation polytope. As far as the conceptual problems are concerned, we might as well talk about bananas.

PB - Oxford University Press UR - http://arxiv.org/abs/1211.3062v2 ER - TY - JOUR T1 - Whose Information? Information About What? JF - Quantum [Un]Speakables II: 50 Years of Bellâ€™s Theorem Y1 - 2016 A1 - Jeffrey Bub A1 - Anton Zeilinger A1 - Reinhold Bertlmann ER - TY - JOUR T1 - The Measurement Problem from the Perspective of an Information Theoretic Interpretation of Quantum Mechanics JF - Entropy Y1 - 2015 A1 - Jeffrey Bub AB - The aim of this paper is to consider the consequences of an information-theoretic interpretation of quantum mechanics for the measurement problem. The motivating idea of the interpretation is that the relation between quantum mechanics and the structure of information is analogous to the relation between special relativity and the structure of space-time. Insofar as quantum mechanics deals with a class of probabilistic correlations that includes correlations structurally different from classical correlations, the theory is about the structure of information: the possibilities for representing, manipulating, and communicating information in a genuinely indeterministic quantum world in which measurement outcomes are intrinsically random are different than we thought. Part of the measurement problem is deflated as a pseudo-problem on this view, and the theory has the resources to deal with the remaining part, given certain idealizations in the treatment of macrosystems. VL - 17 U4 - 7374-7386 UR - http://www.mdpi.com/1099-4300/17/11/7374 CP - 11 U5 - 10.3390/e17117374 ER - TY - JOUR T1 - Quantum Entanglement and Information JF - The Stanford Encyclopedia of Philosophy Y1 - 2015 A1 - Jeffrey Bub A1 - Edward N. Zalta AB - Quantum entanglement is a physical resource, like energy, associated with the peculiar nonclassical correlations that are possible between separated quantum systems. Entanglement can be measured, transformed, and purified. A pair of quantum systems in an entangled state can be used as a quantum information channel to perform computational and cryptographic tasks that are impossible for classical systems. The general study of the information-processing capabilities of quantum systems is the subject of quantum information theory. UR - http://plato.stanford.edu/archives/sum2015/entries/qt-entangle/ ER - TY - JOUR T1 - "Einstein and Bohr Meet Alice and Bob', Logic and Science Facing the New Technologies JF - Proceedings of the 14th Congress for Logic (Nancy), Logic, Methodology and Philosophy of Science Y1 - 2014 A1 - Jeffrey Bub A1 - Peter Schroeder-Heister A1 - Gerhard Heinzmann A1 - Wilfrid Hodges A1 - Pierre Edouard Bour ER - TY - JOUR T1 - Quantum Correlations and the Measurement Problem JF - International Journal of Theoretical Physics Y1 - 2014 A1 - Jeffrey Bub AB - The transition from classical to quantum mechanics rests on the recognition that the structure of information is not what we thought it was: there are operational, i.e., phenomenal, probabilistic correlations that lie outside the polytope of local correlations. Such correlations cannot be simulated with classical resources, which generate classical correlations represented by the points in a simplex, where the vertices of the simplex represent joint deterministic states that are the common causes of the correlations. The `no go' hidden variable theorems tell us that we can't shoe-horn correlations outside the local polytope into a classical simplex by supposing that something has been left out of the story. The replacement of the classical simplex by the quantum convex set as the structure representing probabilistic correlations is the analogue for quantum mechanics of the replacement of Newton's Euclidean space and time by Minkowski spacetime in special relativity. The nonclassical features of quantum mechanics, including the irreducible information loss on measurement, are generic features of correlations that lie outside the local correlation polytope. This paper is an elaboration of these ideas, and its consequences for the measurement problem of quantum mechanics. A large part of the difficulty is removed by seeing that the inconsistency in reconciling the entangled state at the end of a quantum measurement process with the definiteness of the macroscopic pointer reading and the definiteness of the correlated value of the measured micro-observable is only apparent and depends on a stipulation that is not required by the structure of the quantum possibility space. Replacing this stipulation by an alternative consistent stipulation resolves the problem. VL - 53 U4 - 3346 - 3369 UR - http://arxiv.org/abs/1210.6371v3 CP - 10 J1 - Int J Theor Phys U5 - 10.1007/s10773-013-1695-z ER - TY - JOUR T1 - Quantum Interactions with Closed Timelike Curves and Superluminal Signaling JF - Physical Review A Y1 - 2014 A1 - Jeffrey Bub A1 - Allen Stairs AB - There is now a significant body of results on quantum interactions with closed timelike curves (CTCs) in the quantum information literature, for both the Deutsch model of CTC interactions (D-CTCs) and the projective model (P-CTCs). As a consequence, there is a prima facie argument exploiting entanglement that CTC interactions would enable superluminal and, indeed, effectively instantaneous signaling. In cases of spacelike separation between the sender of a signal and the receiver, whether a receiver measures the local part of an entangled state or a disentangled state to access the signal can depend on the reference frame. We propose a consistency condition that gives priority to either an entangled perspective or a disentangled perspective in spacelike separated scenarios. For D-CTC interactions, the consistency condition gives priority to frames of reference in which the state is disentangled, while for P-CTC interactions the condition selects the entangled state. Using the consistency condition, we show that there is a procedure that allows Alice to signal to Bob in the past via relayed superluminal communications between spacelike separated Alice and Clio, and spacelike separated Clio and Bob. This opens the door to time travel paradoxes in the classical domain. Ralph (arXiv:1107.4675) first pointed this out for P-CTCs, but we show that Ralph's procedure for a 'radio to the past' is flawed. Since both D-CTCs and P-CTCs allow classical information to be sent around a spacetime loop, it follows from a result by Aaronson and Watrous (Proc.Roy.Soc.A, 465:631-647 (2009)) for CTC-enhanced classical computation that a quantum computer with access to P-CTCs would have the power of PSPACE, equivalent to a D-CTC-enhanced quantum computer. VL - 89 UR - http://arxiv.org/abs/1309.4751v4 CP - 2 J1 - Phys. Rev. A U5 - 10.1103/PhysRevA.89.022311 ER - TY - JOUR T1 - Why the Tsirelson bound? JF - The Probable and the Improbable: The Meaning and Role of Probability in Physics Y1 - 2012 A1 - Jeffrey Bub AB - Wheeler's question 'why the quantum' has two aspects: why is the world quantum and not classical, and why is it quantum rather than superquantum, i.e., why the Tsirelson bound for quantum correlations? I discuss a remarkable answer to this question proposed by Pawlowski et al (2009), who provide an information-theoretic derivation of the Tsirelson bound from a principle they call 'information causality.' U4 - 167-185 UR - http://arxiv.org/abs/1208.3744v1 J1 - Published in Meir Hemmo and Yemima Ben-Menahem (eds.) U5 - 10.1007/978-3-642-21329-8_11 ER - TY - JOUR T1 - Contextuality in Quantum Mechanics: Testing the Klyachko Inequality Y1 - 2010 A1 - Jeffrey Bub A1 - Allen Stairs AB - The Klyachko inequality is an inequality for the probabiities of the values of five observables of a spin-1 particle, which is satisfied by any noncontextual assignment of values to this set of observables, but is violated by the probabilities defined by a certain quantum state. We describe an experiment between two entangled spin-1 particles to test contextuality via a related inequality. We point out that a test of contextuality by measurements on a single particle to confirm the Klyachko inequality requires an assumption of non-disturbance by the measuring instrument, which is avoided in the two-particle experiment. UR - http://arxiv.org/abs/1006.0500v2 ER - TY - JOUR T1 - Quantum computation and pseudo-telepathic games JF - Philosophy of Science Y1 - 2010 A1 - Jeffrey Bub AB - 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 'pseudo-telepathic' 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). VL - 75 U4 - 458-472 UR - http://arxiv.org/abs/1005.2449v1 J1 - Philosophy of Science 75 ER - TY - JOUR T1 - Quantum probabilities: an information-theoretic interpretation Y1 - 2010 A1 - Jeffrey Bub AB - This Chapter develops a realist information-theoretic interpretation of the nonclassical features of quantum probabilities. On this view, what is fundamental in the transition from classical to quantum physics is the recognition that \emph{information in the physical sense has new structural features}, just as the transition from classical to relativistic physics rests on the recognition that space-time is structurally different than we thought. Hilbert space, the event space of quantum systems, is interpreted as a kinematic (i.e., pre-dynamic) framework for an indeterministic physics, in the sense that the geometric structure of Hilbert space imposes objective probabilistic or information-theoretic constraints on correlations between events, just as the geometric structure of Minkowski space in special relativity imposes spatio-temporal kinematic constraints on events. The interpretation of quantum probabilities is more subjectivist in spirit than other discussions in this book (e.g., the chapter by Timpson), insofar as the quantum state is interpreted as a credence function---a bookkeeping device for keeping track of probabilities---but it is also objective (or intersubjective), insofar as the credences specified by the quantum state are understood as uniquely determined, via Gleason's theorem, by objective correlational constraints on events in the nonclassical quantum event space defined by the subspace structure of Hilbert space. UR - http://arxiv.org/abs/1005.2448v1 ER - TY - JOUR T1 - Von Neumann's 'No Hidden Variables' Proof: A Re-Appraisal JF - Foundations of Physics Y1 - 2010 A1 - Jeffrey Bub AB - 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. VL - 40 U4 - 1333 - 1340 UR - http://arxiv.org/abs/1006.0499v1 CP - 9-10 J1 - Found Phys U5 - 10.1007/s10701-010-9480-9 ER - TY - JOUR T1 - Contextuality and nonlocality in 'no signaling' theories JF - Foundations of Physics Y1 - 2009 A1 - Jeffrey Bub A1 - Allen Stairs AB - 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. VL - 39 U4 - 690 - 711 UR - http://arxiv.org/abs/0903.1462v2 CP - 7 J1 - Found Phys U5 - 10.1007/s10701-009-9307-8 ER - TY - JOUR T1 - Two dogmas about quantum mechanics Y1 - 2007 A1 - Jeffrey Bub A1 - Itamar Pitowsky AB - 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 (i.e., pre-dynamic) objective probabilistic constraints on correlations between events. UR - http://arxiv.org/abs/0712.4258v2 ER - TY - JOUR T1 - Quantum computation from a quantum logical perspective Y1 - 2006 A1 - Jeffrey Bub AB - It is well-known that Shor's factorization algorithm, Simon's period-finding algorithm, and Deutsch's original XOR algorithm can all be formulated as solutions to a hidden subgroup problem. Here the salient features of the information-processing in the three algorithms are presented from a different perspective, in terms of the way in which the algorithms exploit the non-Boolean quantum logic represented by the projective geometry of Hilbert space. From this quantum logical perspective, the XOR algorithm appears directly as a special case of Simon's algorithm, and all three algorithms can be seen as exploiting the non-Boolean logic represented by the subspace structure of Hilbert space in a similar way. Essentially, a global property of a function (such as a period, or a disjunctive property) is encoded as a subspace in Hilbert space representing a quantum proposition, which can then be efficiently distinguished from alternative propositions, corresponding to alternative global properties, by a measurement (or sequence of measurements) that identifies the target proposition as the proposition represented by the subspace containing the final state produced by the algorithm. UR - http://arxiv.org/abs/quant-ph/0605243v2 ER - TY - JOUR T1 - Conditionalizing and commutativity: a note on Malley Y1 - 2005 A1 - Allen Stairs A1 - Jeffrey Bub AB - This paper has been withdrawn. UR - http://arxiv.org/abs/quant-ph/0506159v2 ER - TY - JOUR T1 - Quantum information and computation Y1 - 2005 A1 - Jeffrey Bub AB - This article deals with theoretical developments in the subject of quantum information and quantum computation, and includes an overview of classical information and some relevant quantum mechanics. The discussion covers topics in quantum communication, quantum cryptography, and quantum computation, and concludes by considering whether a perspective in terms of quantum information sheds new light on the conceptual problems of quantum mechanics. UR - http://arxiv.org/abs/quant-ph/0512125v2 ER - TY - JOUR T1 - Quantum mechanics is about quantum information JF - Foundations of Physics Y1 - 2005 A1 - Jeffrey Bub AB - 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. VL - 35 U4 - 541 - 560 UR - http://arxiv.org/abs/quant-ph/0408020v2 CP - 4 J1 - Found Phys U5 - 10.1007/s10701-004-2010-x ER - TY - JOUR T1 - Why the quantum? Y1 - 2004 A1 - Jeffrey Bub AB - This paper is a commentary on the foundational significance of the Clifton-Bub-Halvorson theorem characterizing quantum theory in terms of three information-theoretic constraints (Foundations of Physics 33, 1561-1591 (2003); quant-ph/0211089). I argue that: (1) a quantum theory is best understood as a theory about the possibilities and impossibilities of information transfer, as opposed to a theory about the mechanics of nonclassical waves or particles, (2) given the information-theoretic constraints, any mechanical theory of quantum phenomena that includes an account of the measuring instruments that reveal these phenomena must be empirically equivalent to a quantum theory, and (3) assuming the information-theoretic constraints are in fact satisfied in our world, no mechanical theory of quantum phenomena that includes an account of measurement interactions can be acceptable, and the appropriate aim of physics at the fundamental level then becomes the representation and manipulation of information. UR - http://arxiv.org/abs/quant-ph/0402149v1 J1 - Studies in History and Philosophy of Modern Physics 35B ER - TY - JOUR T1 - Can quantum cryptography imply quantum mechanics? Reply to Smolin Y1 - 2003 A1 - Hans Halvorson A1 - Jeffrey Bub AB - Clifton, Bub, and Halvorson (CBH) have argued that quantum mechanics can be derived from three cryptographic, or broadly information-theoretic, axioms. But Smolin disagrees, and he has given a toy theory that he claims is a counterexample. Here we show that Smolin's toy theory violates an independence condition for spacelike separated systems that was assumed in the CBH argument. We then argue that any acceptable physical theory should satisfy this independence condition. UR - http://arxiv.org/abs/quant-ph/0311065v1 ER - TY - JOUR T1 - Characterizing quantum theory in terms of information-theoretic constraints JF - Foundations of Physics Y1 - 2002 A1 - Rob Clifton A1 - Jeffrey Bub A1 - Hans Halvorson AB - We show that three fundamental information-theoretic constraints--the impossibility of superluminal information transfer between two physical systems by performing measurements on one of them, the impossibility of broadcasting the information contained in an unknown physical state, and the impossibility of unconditionally secure bit commitment--suffice to entail that the observables and state space of a physical theory are quantum-mechanical. We demonstrate the converse derivation in part, and consider the implications of alternative answers to a remaining open question about nonlocality and bit commitment. VL - 33 U4 - 1561 - 1591 UR - http://arxiv.org/abs/quant-ph/0211089v2 CP - 11 J1 - Foundations of Physics 33 U5 - 10.1023/A:1026056716397 ER - TY - JOUR T1 - Maxwell's demon and the thermodynamics of computation Y1 - 2002 A1 - J. Bub AB - 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. UR - http://arxiv.org/abs/quant-ph/0203017v1 J1 - Studies in History and Philosophy of Modern Physics 32 ER - TY - JOUR T1 - Secure key distribution via pre- and post-selected quantum states JF - Physical Review A Y1 - 2001 A1 - J. Bub AB - A quantum key distribution scheme whose security depends on the features of pre- and post-selected quantum states is described. VL - 63 UR - http://arxiv.org/abs/quant-ph/0006086v3 CP - 3 J1 - Phys. Rev. A U5 - 10.1103/PhysRevA.63.032309 ER - TY - JOUR T1 - The quantum bit commitment theorem Y1 - 2000 A1 - Jeffrey Bub AB - 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. UR - http://arxiv.org/abs/quant-ph/0007090v4 J1 - Found. Phys. 31 (2001) 735 ER - TY - JOUR T1 - Quantum Mechanics as a Principle Theory Y1 - 1999 A1 - Jeffrey Bub AB - 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 (Cambridge: Cambridge University Press, 1999). UR - http://arxiv.org/abs/quant-ph/9910096v1 J1 - Studies in History and Philosophy of Modern Physics 31 (2000) 75 ER - TY - JOUR T1 - Revised Proof of the Uniqueness Theorem for 'No Collapse' Interpretations of Quantum Mechanics Y1 - 1999 A1 - Jeffrey Bub A1 - Rob Clifton A1 - Sheldon Goldstein AB - We show that the Bub-Clifton uniqueness theorem for 'no collapse' interpretations of quantum mechanics (Studies in the History and Philosophy of Modern Physics 27, 181-219 (1996)) can be proved without the 'weak separability' assumption. UR - http://arxiv.org/abs/quant-ph/9910097v1 J1 - Studies in History and Philosophy of Modern Physics 31 (2000) 95 ER -