I derive a Gleason-type contradiction from assumptions weaker than those needed to reach a Bell inequality. By establishing the inconsistency between local realism and QM's perfect EPR-type anticorrelations, the proof fills in a gap left open by Bell arguments.

We propose a technical reformulation of the measurement problem of quantum mechanics, which is based on the postulate that the final state of a measurement is classical; this accords with experimental practice as well as with Bohr’s views. Unlike the usual formulation (in which the post-measurement state is a unit vector in Hilbert space), our version actually opens the possibility of admitting a purely technical solution within the confines of conventional quantum theory (as opposed to solutions that either modify this (...) theory, or introduce unusual and controversial interpretative rules and/or ontologies).To that effect, we recall a remarkable phenomenon in the theory of Schrödinger operators (discovered in 1981 by Jona-Lasinio, Martinelli, and Scoppola), according to which the ground state of a symmetric double-well Hamiltonian (which is paradigmatically of Schrödinger’s Cat type) becomes exponentially sensitive to tiny perturbations of the potential as ħ→0. We show that this instability emerges also from the textbook wkb approximation, extend it to time-dependent perturbations, and study the dynamical transition from the ground state of the double well to the perturbed ground state (in which the cat is typically either dead or alive, depending on the details of the perturbation).Numerical simulations show that adiabatically arising perturbations may (quite literally) cause the collapse of the wave-function in the classical limit. Thus, at least in the context of a simple mathematical model, we combine the technical and conceptual virtues of decoherence (which fails to solve the measurement problem but launches the key idea that perturbations may come from the environment) with those of dynamical collapse models à la grw (which do solve the measurement problem but are ad hoc), without sharing their drawbacks: single measurement outcomes are obtained (instead of merely diagonal reduced density matrices), and no modification of quantum mechanics is needed. (shrink)

In the Bayesian approach to quantum mechanics, probabilities—and thus quantum states—represent an agent’s degrees of belief, rather than corresponding to objective properties of physical systems. In this paper we investigate the concept of certainty in quantum mechanics. Particularly, we show how the probability-1 predictions derived from pure quantum states highlight a fundamental difference between our Bayesian approach, on the one hand, and Copenhagen and similar interpretations on the other. We first review the main arguments for the general claim that probabilities (...) always represent degrees of belief. We then argue that a quantum state prepared by some physical device always depends on an agent’s prior beliefs, implying that the probability-1 predictions derived from that state also depend on the agent’s prior beliefs. Quantum certainty is therefore always some agent’s certainty. Conversely, if facts about an experimental setup could imply agent-independent certainty for a measurement outcome, as in many Copenhagen-like interpretations, that outcome would effectively correspond to a preexisting system property. The idea that measurement outcomes occurring with certainty correspond to preexisting system properties is, however, in conflict with locality. We emphasize this by giving a version of an argument of Stairs [(1983). Quantum logic, realism, and value-definiteness. Philosophy of Science, 50, 578], which applies the Kochen–Specker theorem to an entangled bipartite system. (shrink)

The Free Will Theorem of Conway \& Kochen on the one hand follows from uncontroversial parts of modern physics and elementary mathematical and logical reasoning, but on the other hand seems predicated on an undefined notion of free will. Although Conway and Kochen informally claim that their theorem supports indeterminism and, in its wake, a libertarian agenda for free will, inferring the former from the Free Will Theorem is a \emph{petitio principii}. Of course, this also considerably weakens the case for (...) the latter. A recent reformulation of the Free Will Theorem due to Cator and the author uses a mathematically precise formulation of the idea that experimentalists freely choose their settings even in a deterministic world, and thence construes the theorem as providing constraints on determinism. In the present paper we argue that the concept of free will used in this version of the theorem is essentially the one proposed by Lewis, also known as `local miracle compatibilism'. To do so, we give a mathematical reformulation of this idea, which we believe to be well within its spirit and which may be of independent interest. On this double reformulation the Free Will Theorem shows that local miracle compatibilism contradicts the parts of modern physics used in its assumptions. Therefore, although the intention of Conway and Kochen was to support free will through their theorem, what they actually achieved is the opposite: a well-known, philosophically viable version of free will now turns out to be incompatible with physics! (shrink)

In this paper we present a systematic formulation of some recent results concerning the algebraic demonstration of the two major no-hidden-variables theorems for N spin-1/2 particles. We derive explicitly the GHZ states involved and their associated eigenvalues. These eigenvalues turn out to be undefined for N=∞, this fact providing a new proof showing that the nonlocality argument breaks down in the limit of a truly infinite number of particles.

We give a conceptually simple proof of nonlocality using only the perfect correlations between results of measurements on distant systems discussed by Einstein, Podolsky and Rosen—correlations that EPR thought proved the incompleteness of quantum mechanics. Our argument relies on an extension of EPR by Schrödinger. We also briefly discuss nonlocality and “hidden variables” within Bohmian mechanics.

The aim of this paper is to argue that the (alleged) indeterminism of quantum mechanics, claimed by adherents of the Copenhagen interpretation since Born (1926), can be proved from Chaitin's follow-up to Goedel's (first) incompleteness theorem. In comparison, Bell's (1964) theorem as well as the so-called free will theorem-originally due to Heywood and Redhead (1983)-left two loopholes for deterministic hidden variable theories, namely giving up either locality (more precisely: local contextuality, as in Bohmian mechanics) or free choice (i.e. uncorrelated measurement (...) settings, as in 't Hooft's cellular automaton interpretation of quantum mechanics). The main point is that Bell and others did not exploit the full empirical content of quantum mechanics, which consists of long series of outcomes of repeated measurements (idealized as infinite binary sequences): their arguments only used the long-run relative frequencies derived from such series, and hence merely asked hidden variable theories to reproduce single-case Born probabilities defined by certain entangled bipartite states. If we idealize binary outcome strings of a fair quantum coin flip as infinite sequences, quantum mechanics predicts that these typically (i.e. almost surely) have a property called 1-randomness in logic, which is much stronger than uncomputability. This is the key to my claim, which is admittedly based on a stronger (yet compelling) notion of determinism than what is common in the literature on hidden variable theories. (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)

Bell’s Theorem from Physics 36:1–28 (1964) and the (Strong) Free Will Theorem of Conway and Kochen from Notices AMS 56:226–232 (2009) both exclude deterministic hidden variable theories (or, in modern parlance, ‘ontological models’) that are compatible with some small fragment of quantum mechanics, admit ‘free’ settings of the archetypal Alice and Bob experiment, and satisfy a locality condition akin to parameter independence. We clarify the relationship between these theorems by giving reformulations of both that exactly pinpoint their resemblance and their (...) differences. Our reformulation imposes determinism in what we see as the only consistent way, in which the ‘ontological state’ initially determines both the settings and the outcome of the experiment. The usual status of the settings as ‘free’ parameters is subsequently recovered from independence assumptions on the pertinent (random) variables. Our reformulation also clarifies the role of the settings in Bell’s later generalization of his theorem to stochastic hidden variable theories. (shrink)

Greenberger. Horne. Shimony, and Zeilinger gave a new version of the Bell theorem without using inequalities (probabilities). Mermin summarized it concisely; but Bohm and Hiley criticized Mermin's proof from contextualists' point of view. Using the branching space-time language, in this paper a proof will be given that is free of these difficulties. At the same time we will also clarify the limits of the validity of the theorem when it is taken as a proof that quantum mechanics is not compatible (...) with a deterministic world nor with a world that permits correlated space-related events without a common cause. (shrink)

In a recent paper, Conway and Kochen proposed what is now known as the “Free Will theorem” which, among other things, should prove the impossibility of combining GRW models with special relativity, i.e., of formulating relativistically invariant models of spontaneous wavefunction collapse. Since their argument basically amounts to a non-locality proof for any theory aiming at reproducing quantum correlations, and since it was clear since very a long time that any relativistic collapse model must be non-local in some way, we (...) discuss why the theorem of Conway and Kochen does not affect the program of formulating relativistic GRW models. (shrink)

The Bell 1964 theorem states that nonlocality is a necessary feature of hidden variable theories that reproduce the statistical predictions of quantum mechanics. In view of the no-go theorems for non-contextual hidden variable theories already existing up to 1964, and due to Gleason and Bell, one is forced to acknowledge the contextual character of the hidden variable theory which the Bell 1964 theorem refers to. Both the mathematical and the physical justifications of this contextualism are reconsidered. Consequently, the role of (...) contextualism in recent no-hidden-variables proofs and the import of these proofs are investigated. With reference to the physical intuition underlying contextualism, the possibility is considered whether a context-dependence of individual measurement results is compatible with context-independence of the statistics of measurement results. (shrink)

Conway and Kochen have presented a “free will theorem” [4, 6] which they claim shows that “if indeed we humans have free will, then [so do] elementary particles.” In a more precise fashion, they claim it shows that for certain quantum experiments in which the experimenters can choose between several options, no deterministic or stochastic model can account for the observed outcomes without violating a condition “MIN” motivated by relativistic symmetry. We point out that for stochastic models this conclusion is (...) not correct, while for deterministic models it is not new. In the way the free will theorem is formulated and proved, it only concerns deterministic models. But Conway and Kochen have argued [4, 5, 6, 7] that “randomness can’t help,” meaning that stochastic models are excluded as well if we insist on the conditions “SPIN”, “TWIN”, and “MIN”. We point out a mistake in their argument. Namely, the theorem is of the form deterministic model with SPIN & TWIN & MIN ⇒ contradiction , (1) and in order to derive the further claim, which is of the form stochastic model with SPIN & TWIN & MIN ⇒ contradiction , (2) Conway and Kochen propose a method for converting any stochastic model into a deterministic one [4]. (shrink)

This is a review of the issue of randomness in quantum mechanics, with special emphasis on its ambiguity; for example, randomness has different antipodal relationships to determinism, computability, and compressibility. Following a philosophical discussion of randomness in general, I argue that deterministic interpretations of quantum mechanics are strictly speaking incompatible with the Born rule. I also stress the role of outliers, i.e. measurement outcomes that are not 1-random. Although these occur with low probability, their very existence implies that the no-signaling (...) principle used in proofs of randomness of outcomes of quantum-mechanical measurements should be reinterpreted statistically, like the second law of thermodynamics. In three appendices I discuss the Born rule and its status in both single and repeated experiments, review the notion of 1-randomness that in various guises was investigated by Kolmogorov and others and treat Bell’s Theorem and the Free Will Theorem with their implications for randomness. (shrink)

Recently Cator and Landsman made a comparison between Bell’s Theorem and Conway and Kochen’s Strong Free Will Theorem. Their overall conclusion was that the latter is stronger in that it uses fewer assumptions, but also that it has two shortcomings. Firstly, no experimental test of the Conway–Kochen Theorem has been performed thus far, and, secondly, because the Conway–Kochen Theorem is strongly connected to the Kochen–Specker Theorem it may be susceptible to the finite precision loophole of Meyer, Kent and Clifton. In (...) this paper I show that the finite precision loophole does not apply to the Conway–Kochen Theorem. (shrink)