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

David Malament (1996) has recently argued that there can be no relativistic quantum theory of (localizable) particles. We consider and rebut several objections that have been made against the soundness of Malament’s argument. We then consider some further objections that might be made against the generality of Malament’s conclusion, and we supply three no‐go theorems to counter these objections. Finally, we dispel potential worries about the counterintuitive nature of these results by showing that relativistic quantum field theory itself explains the (...) appearance of “particle detections.”. (shrink)

Philosophical reflection on quantum field theory has tended to focus on how it revises our conception of what a particle is. However, there has been relatively little discussion of the threat to the "reality" of particles posed by the possibility of inequivalent quantizations of a classical field theory, i.e., inequivalent representations of the algebra of observables of the field in terms of operators on a Hilbert space. The threat is that each representation embodies its own distinctive conception of what a (...) particle is, and how a "particle" will respond to a suitably operated detector. Our main goal is to clarify the subtle relationship between inequivalent representations of a field theory and their associated particle concepts. We also have a particular interest in the Minkowski versus Rindler quantizations of a free Boson field, because they respectively entail two radically different descriptions of the particle content of the field in the *very same* region of spacetime. We shall defend the idea that these representations provide *complementary descriptions* of the same state of the field against the claim that they embody completely *incommensurable theories* of the field. (shrink)

Entanglement has long been the subject of discussion by philosophers of quantum theory, and has recently come to play an essential role for physicists in their development of quantum information theory. In this paper we show how the formalism of algebraic quantum field theory (AQFT) provides a rigorous framework within which to analyse entanglement in the context of a fully relativistic formulation of quantum theory. What emerges from the analysis are new practical and theoretical limitations on an experimenter's ability to (...) perform operations on a field in one spacetime region that can disentangle its state from the state of the field in other spacelike-separated regions. These limitations show just how deeply entrenched entanglement is in relativistic quantum field theory, and yield a fresh perspective on the ways in which the theory differs conceptually from both standard non-relativistic quantum theory and classical relativistic field theory. (shrink)

In his recent article On Relativity Theory and Openness of the Future (1991), Howard Stein proves not only that one can define an objective becoming relation in Minkowski spacetime, but that there is only one possible definition available if one accepts certain natural assumptions about what it is for becoming to occur and for it to be objective. Stein uses the definition supplied by his proof to refute an argument due to Rietdijk (1966, 1976), Putnam (1967) and Maxwell (1985, 1988) (...) that Minkowski spacetime leaves no room for objective becoming whatsoever. However, Stein's proof does not seem to go far enough. By considering only what events have become from the standpoint of any given event, Stein's uniqueness proof fails from the outset to allow for a more general kind of becoming whereby it is understood to occur from the standpoint of events on the particular worldlines followed by observers. This suggests that there may, after all, be more than one way to define objective becoming in Minkowski spacetime once each observer's worldline is allowed to figure in the definition. This suspicion is further aroused by two recent proposals for objective, worldline-dependent becoming due to Peacock (1992) and Muller (1992) who advocate ways of defining becoming that are not equivalent to the definition Stein's uniqueness proof delivers. Nevertheless, we show that Stein's uniqueness proofcan be extended in a natural way to cover this more general kind of becoming, provided one does not enrich standard Minkowski spacetime by privileging certain sets of worldlines over others in an unwarranted manner. Thus we aim to reinforce Stein's point that standard Minkowski spacetime does make room for objective becoming, but in essentially only one way, despite arguments and proposals to the contrary. (shrink)

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)

Peter Lewis ([1997]) has recently argued that the wavefunction collapse theory of GRW (Ghirardi, Rimini and Weber [1986]) can only solve the problem of wavefunction tails at the expense of predicting that arithmetic does not apply to ordinary macroscopic objects. More specifically, Lewis argues that the GRW theory must violate the enumeration principle: that 'if marble 1 is in the box and marble 2 is in the box and so on through marble n, then all n marbles are in the (...) box' ([1997], p. 321). Ghirardi and Bassi ([1999]) have replied that it is meaningless to say that the enumeration principle is violated because the wavefunction Lewis uses to exhibit the violation cannot persist, according to the GRW theory, for more than a split second ([1999], p. 709). On the contrary, we argue that Lewis's argument survives Ghirardi and Bassi' s criticism unscathed. We then go on to show that, while the enumeration principle can fail in the GRW theory, the theory itself guarantees that the principle can never be empirically falsified, leaving the applicability of arithmetical reasoning to both micro- and macroscopic objects intact. (shrink)

Although Bohr's reply to the EPR argument is supposed to be a watershed moment in the development of his philosophy of quantum theory, it is difficult to find a clear statement of the reply's philosophical point. Moreover, some have claimed that the point is simply that Bohr is a radical positivist. In this paper, we show that such claims are unfounded. In particular, we give a mathematically rigorous reconstruction of Bohr's reply to the _original_ EPR argument that clarifies its logical (...) structure, and which shows that it does not rest on questionable philosophical assumptions. Rather, Bohr's reply is dictated by his commitment to provide "classical" and "objective" descriptions of experimental phenomena. (shrink)

The centerpiece of Jeffrey Bub's book Interpreting the Quantum World is a theorem (Bub and Clifton 1996) which correlates each member of a large class of no-collapse interpretations with some 'privileged observable'. In particular, the Bub-Clifton theorem determines the unique maximal sublattice L(R,e) of propositions such that (a) elements of L(R,e) can be simultaneously determinate in state e, (b) L(R,e) contains the spectral projections of the privileged observable R, and (c) L(R,e) is picked out by R and e alone. In (...) this paper, we explore the issue of maximal determinate sets of observables using the tools provided by the algebraic approach to quantum theory; and we call the resulting algebras of determinate observables, "maximal *beable* subalgebras". The capstone of our exploration is a generalized version of Bub and Clifton's theorem that applies to arbitrary (i.e., both mixed and pure) quantum states, to Hilbert spaces of arbitrary (i.e., both finite and infinite) dimension, and to arbitrary observables (including those with a continuous spectrum). Moreover, in the special case covered by the original Bub-Clifton theorem, our theorem reproduces their result under strictly weaker assumptions. This added level of generality permits us to treat several topics that were beyond the reach of the original Bub-Clifton result. In particular: (a) We show explicitly that a (non-dynamical) version of the Bohm theory can be obtained by granting privileged status to the position observable. (b) We show that Clifton's (1995) characterization of the Kochen-Dieks modal interpretation is a corollary of our theorem in the special case when the density operator is taken as the privileged observable. (c) We show that the 'uniqueness' demonstrated by Bub and Clifton is only guaranteed in certain special cases -- viz., when the quantum state is pure, or if the privileged observable is compatible with the density operator. We also use our results to articulate a solid mathematical foundation for certain tenets of the orthodox Copenhagen interpretation of quantum theory. For example, the uncertainty principle asserts that there are strict limits on the precision with which we can know, simultaneously, the position and momentum of a quantum-mechanical particle. However, the Copenhagen interpretation of this fact is not simply that a precision momentum measurement necessarily and uncontrollably disturbs the value of position, and vice-versa; but that position and momentum can never in reality be thought of as simultaneously determinate. We provide warrant for this stronger 'indeterminacy principle' by showing that there is no quantum state that assigns a sharp value to both position and momentum; and, a fortiori, that it is mathematically impossible to construct a beable algebra that contains both the position observable and the momentum observable. We also prove a generalized version of the Bub-Clifton theorem that applies to "singular" states (i.e., states that arise from non-countably-additive probability measures, such as Dirac delta functions). This result allows us to provide a mathematically rigorous reconstruction of Bohr's response to the original EPR argument -- which makes use of a singular state. In particular, we show that if the position of the first particle is privileged (e.g., as Bohr would do in a position measuring context), the position of the second particle acquires a definite value by virtue of lying in the corresponding maximal beable subalgebra. But then (by the indeterminacy principle) the momentum of the second particle is not a beable; and EPR's argument for the simultaneous reality of both position and momentum is undercut. (shrink)

The distinguishing feature of ‘modal’ interpretations of quantum mechanics is their abandonment of the orthodox eigenstate–eigenvalue rule, which says that an observable possesses a definite value if and only if the system is in an eigenstate of that observable. Kochen's and Dieks' new biorthogonal decomposition rule for picking out which observables have definite values is designed specifically to overcome the chief problem generated by orthodoxy's rule, the measurement problem, while avoiding the no-hidden-variable theorems. Otherwise, their new rule seems completely ad (...) hoc. The ad hoc charge can only be laid to rest if there is some way to give Kochen's and Dieks' rule for picking out which observables have definite values some independent motivation. And there is, or so I will argue here. Specifically, I shall show that theirs is the only rule able to save Schrödinger's cat from a fate worse than death, and sidestep the Bell–Kochen–Specker no-hidden-variables theorem, once we impose four independently natural conditions on such rules. (shrink)

give a proof of the existence of nonlocal influences acting on correlated spin-1/2 particles in the singlet state which does not require any particular interpretation of quantum mechanics (QM). (Except Stapp holds that the proof fails under a many-worlds interpretation of QM—a claim we analyse in 1.2.) Recently, in responding to Redhead's ([1987], pp. 90-6) criticism that the Stapp 1 proof fails under an indeterministic interpretation of QM, Stapp [1989] (henceforth Stapp 2), has revised the logical structure of his proof (...) including its crucial locality assumption. Our main aim is to show that this revision is a step in the wrong direction because it faces two difficulties which undermine the resulting proof's significance (3.1) and validity (3. 2). We also clarify and extend the Stapp 1 proof (1. 1) with the aid of Lewis' analysis of counterfactuals (1. 2) and causal dependence (2. 2 and 2. 3). In so doing, we are able to identify two new defects in the Stapp 1 proof (1. 3 and 2. 1) in addition to corroborating Redhead's criticism (2. 2). Also, the additional assumptions which save the Stapp 1 proof's validity are detailed (2. 3) and some new difficulties for the determinist are pointed out by exploiting a slightly extended version of the proof (2. 4). In providing this full analysis of the Stapp 1 proof, we also construct the necessary framework within which to provide a critique of Stapp 2's proof (3). *Portions of this paper were presented by R. K. Clifton to the 1988 British Society for the Philosophy of Science Conference at the University of Southampton. R. K. Clifton wishes to thank the Natural Sciences and Engineering Research Council of Canada, the Royal Commission for the Exhibition of 1851, and the Governing Body of Peterhouse at Cambridge University for support during this work. (shrink)

Orthodox quantum mechanics includes the principle that an observable of a system possesses a well-defined value if and only if the presence of that value in the system is certain to be confirmed on measurement. Modal interpretations reject the controversial ‘only if’ half of this principle to secure definite outcomes for quantum measurements that leave the apparatus entangled with the object it has measured. However, using a result that turns on the construction of a Kochen–Specker contradiction, I argue that modal (...) interpretations cannot deliver a metaphysically tenable conception of properties in quantum mechanics unless they also abandon the less controversial ‘if’ half of the orthodox principle. (shrink)

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.

One way to characterize dispositions is to take them to be reducible to categorical properties plus experimental arrangements. We argue that this view applied to Bohm 's ontological interpretation of quantum theory provides a good picture of the unremarkable nature of spin in that interpretation, and so explains how a simple realism of possessed values may be retained in the face of Kochen and Specker's theorem. With this in mind we discuss Redhead's influential analysis of Kochen and Specker's theorem which (...) does nor appear to allow for the above view. (shrink)

The Einstein-Podolsky-Rosen argument for the incompleteness of quantum mechanics involves two assumptions: one about locality and the other about when it is legitimate to infer the existence of an element-of-reality. Using one simple thought experiment, we argue that quantum predictions and the relativity of simultaneity require that both these assumptions fail, whether or not quantum mechanics is complete.

My aim in this paper is a modest one. I do not have any particular thesis to advance about the nature of entanglement, nor can I claim novelty for any of the material I shall discuss. My aim is simply to raise some questions about entanglement that spring naturally from certain developments in quantum information theory and are, I believe, worthy of serious consideration by philosophers of science. The main topics I discuss are different manifestations of quantum nonlocality, entanglement-assisted communication, (...) and entanglement thermodynamics. (shrink)

We further develop a recent new proof (by Greenberger, Horne, and Zeilinger—GHZ) that local deterministic hidden-variable theories are inconsistent with certain strict correlations predicted by quantum mechanics. First, we generalize GHZ's proof so that it applies to factorable stochastic theories, theories in which apparatus hidden variables are causally relevant to measurement results, and theories in which the hidden variables evolve indeterministically prior to the particle-apparatus interactions. Then we adopt a more general measure-theoretic approach which requires that GHZ's argument be modified (...) in order to produce a valid proof. Finally, we motivate our more general proof's assumptions in a somewhat different way from previous authors in order to strengthen the implications of our proof as much as possible. After developing GHZ's proof along these lines, we then consider the analogue, for our proof, of Bohr's reply to the EPR argument, and conclude (pace GHZ) that in at least one respect (viz. that of most concern to Bohr) the proof is no more powerful than Bell's. Nevertheless, we point out some new advantages of our proof over Bell's, and over other algebraic proofs of nonlocality. And we conclude by giving a modified version of our proof that, like Bell's, does not rely on experimentally unrealizable strict correlations, but still leads to a testable “quasi-algebraic” locality inequality.“... to admit things not visible to the gross creatures that we are is, in my opinion, to show a decent humility, and not just a lamentable addiction to metaphysics.”J. S. Bell. (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.

In this paper (which is, at best, a work in progress), I discuss different modes of scientific explanation identified by philosophers (Hempel, Salmon, Kitcher, Friedman, Hughes) and examine how well or badly they capture the "explanations" of phenomena that modern quantum theory provides. I tentatively conclude that quantum explanation is best seen as "structural explanation", and spell out in detail how this works in the case of explaining vacuum correlations. Problems and prospects for structural explanation in quantum theory are also (...) discussed. (shrink)

Rob Clifton was one of the most brilliant and productive researchers in the foundations and philosophy of quantum theory, who died tragically at the age of 38. Jeremy Butterfield and Hans Halvorson collect fourteen of his finest papers here, drawn from the latter part of his career (1995-2002), all of which combine exciting philosophical discussion with rigorous mathematical results. Many of these papers break wholly new ground, either conceptually or technically. Others resolve a vague controversy intoa precise technical problem, which (...) is then solved; still others solve an open problem that had been in the air for soem time. All of them show scientific and philosophical creativity of a high order, genuinely among the very best work in the field. The papers are grouped into four Parts. First come four papers about the modal interpretation of quantum mechanics. Part II comprises three papers on the foundations of algebraic quantum field theory, with an emphasis on entanglement and nonlocality. The two papers in Part III concern the concept of a particle in relativistic quantum theories. One paper analyses localization; the other analyses the Unruh effect (Rindler quanta) using the algebraic approach to quantum theory. Finally, Part IV contains striking new results about such central issues as complementarity, Bohr's reply to the EPR argument, and no hidden variables theorems; and ends with a philosophical survey of the field of quantum information. The volume includes a full bibliography of Clifton's publications. Quantum Entanglements offers inspiration and substantial reward to graduates and professionals in the foundations of physics, with a background in philosophy, physics, or mathematics. (shrink)

My aim in this paper is a modest one. I do not have any particular thesis to advance about the nature of entanglement, nor can I claim novelty for any of the material I shall discuss. My aim is simply to raise some questions about entanglement that spring naturally from certain developments in quantum information theory and are, I believe, worthy of serious consideration by philosophers of science. The main topics I discuss are different manifestations of quantum nonlocality, entanglement-assisted communication, (...) and entanglement thermodynamics. (shrink)

In a pair of articles (1996, 1997) and in his recent book (1998), Miklos Redei has taken enormous strides toward characterizing the conditions under which relativistic quantum field theory is a safe setting for the deployment of causal talk. Here, we challenge the adequacy of the accounts of causal dependence and screening off on which rests the relevance of Redei's theorems to the question of causal good behavior in the theory.

By exhibiting a violation of a novel form of the Bell-CHSH inequality, \.{Z}ukowski has recently established that the quantum correlations exploited in the standard perfect teleportation protocol cannot be recovered by any local hidden variables model. Allowing the quantum channel state in the protocol to be given by any density operator of two spin-1/2 particles, we show that a violation of a generalized form of \.{Z}ukowski's teleportation inequality can only occur if the channel state, considered by itself, violates a Bell-CHSH (...) inequality. On the other hand, although it is sufficient for a teleportation process to have a nonclassical fidelity---defined as a fidelity exceeding $2/3$---that the channel state employed violate a Bell-CHSH inequality, we show that such a violation does \emph{not} imply a violation of \.{Z}ukowski's teleportation inequality or any of its generalizations. The implication does hold, however, if the fidelity of the teleportation exceeds $2/3(1+1/2\sqrt{2})\approx .90$, suggesting the existence of a regime of nonclassical values of the fidelity, less than $.90$, for which the standard teleportation protocol can be modelled by local hidden variables. (shrink)

But to admit things not visible to the gross creatures that we are is, in my opinion, to show a decent humility, and not just a lamentable addiction to metaphysics. J. S. Bell, Are There Quantum Jumps? ON CANADIAN THANKSGIVING WEEKEND in the autumn of 1994, a lively conference was held at The University of Western Ontario under the title "Conceptual Problems of Relativistic Quantum Mechanics". Most of the eighteen papers in this volume are directly connected with that conference. Articles (...) by both theoretical physicists and philosophers of science are included, and many authors will be recognized immediately for their already substantive work in the foundations of physics. A quarter century ago Howard Stein suggested that relativistic quantum field theory should be 'the contemporary locus of metaphysical research', but there were few takers. Only fairly recently has that changed, with the result that the bulk of the papers here pursue issues that go beyond nonrelativistic quantum mechanics. Nevertheless, problems interpreting the nonrelativistic theory remain a persistent thorn in the side of any such endeavor, and so some of the papers develop innovative approaches to those issues as well. (shrink)

The most recent attempt at factually establishing a "true" value for the one-way velocity of light is shown to be faulty. The proposal consists of two round-trip photons travelling first in vacuo and then through a medium of refractive index n before returning to their common point of origin. It is shown that this proposal, as well as a similar one considered by Salmon (1977), presupposes that the one-way velocities of light are equal to the round-trip value. Furthermore, experiments of (...) this type, involving regions of space with varying refractive indices, cannot "single out" any factual value for the Reichenbach-Grünbaum ε factor thus posing no threat to the conventionalist thesis. (shrink)

In a recent article in this journal, Richard Gale and Alexander Pruss offer a new cosmological proof for the existence of God relying only on the Weak Principle of Sufficient Reason, W-PSR. We argue that their proof relies on applications of W-PSR that cannot be justified, and that our modal intuitions simply do not support W-PSR in the way Gale and Pruss take them to.

In a pair of articles and in his recent book, Miklos Redei has taken enormous strides toward characterizing the conditions under which relativistic quantum field theory is a safe setting for the deployment of causal talk. Here, we challenge the adequacy of the accounts of causal dependence and screening off on which rests the relevance of Redei's theorems to the question of causal good behavior in the theory.

In support of a recent conjecture by Nielsen (1999), we prove that the phenomena of ‘incomparable entanglement’— whereby, neither member of a pair of pure entangled states can be transformed into the other via local operations and classical communication (LOCC)—is a generic feature when the states at issue live in an infinite-dimensional Hilbert space.  2002 Elsevier Science B.V. All rights reserved.

In their article "On What It Takes To Be a World", David Albert and Jeffrey Barrett raise "a rather urgent question about what the proponents of a many-worlds interpretation [of quantum mechanics] can possibly mean by the term 'worlds' ". I argue that their considerations do not translate into an argument against the Many-Worlds conception of a world unless one requires that the dispositions that measurement devices display through the outcomes they record be explainable in terms of facts particular to (...) the worlds in which those devices do their recording. Granting that their conception of a world takes away the possibility of such an explanation, a Many-Worlds proponent can claim that the Universal quantum state, which does not represent a fact about any world in particular, is enough to ground the dispositions of measurement devices. (shrink)

These are notes designed to bring the beginning student of the philosophy of quantum mechanics 'up to scratch' on the mathematical background needed to understand elementary finite-dimensional quantum theory. There are just three chapters: Ch. 1 'Vector Spaces'; Ch. 2 'Inner Product Spaces'; and Ch. 3 'Operators on Finite-Dimensional Complex Inner Product Spaces'. The notes are entirely self-contained and presuppose knowledge of only high school level algebra.

In their article "On What It Takes To Be a World", David Albert and Jeffrey Barrett raise "a rather urgent question about what the proponents of a many-worlds interpretation [of quantum mechanics] can possibly mean by the term 'worlds' " (1995, 35). I argue that their considerations do not translate into an argument against the Many-Worlds conception of a world unless one requires that the dispositions that measurement devices display through the outcomes they record be explainable in terms of facts (...) particular to the worlds in which those devices do their recording. Granting that their conception of a world takes away the possibility of such an explanation, a Many-Worlds proponent can claim that the Universal quantum state, which does not represent a fact about any world in particular, is enough to ground the dispositions of measurement devices. (shrink)