Kochen and Specker’s theorem can be seen as a consequence of Gleason’s theorem and logical compactness. Similar compactness arguments lead to stronger results about finite sets of rays in Hilbert space, which we also prove by a direct construction. Finally, we demonstrate that Gleason’s theorem itself has a constructive proof, based on a generic, finite, effectively generated set of rays, on which every quantum state can be approximated. r 2003 Elsevier Ltd. All rights reserved.

Itamar Pitowsky's book, published in the Springer-Verlag Lecture Notes in Physics series, brings together several extremely interesting component investigations concerning the foundations of quantum mechanics. All deal with issues of probability including, in one case, the relation of probability to logic. It is a significant contribution, offering both new, nontrivial mathematical results, and provocative philosophical remarks about their significance.

In 1976, I met John Bell several times in CERN and we talked about a possible violation of optical theorem, purity tests, EPR paradox, Bell’s inequalities and their violation. In this review, I resume our discussions, and explain how they were related to my earlier research. I also reproduce handwritten notes, which I gave to Bell during our first meeting and a handwritten letter he sent to me in 1982. We have never met again, but I have continued to discuss (...) BI-CHSH inequalities and their violation in several papers. The research stimulated by Bell’s papers and experiments performed to check his inequalities led to several important applications of quantum entanglement in quantum information and quantum technologies. Unfortunately, it led also to extraordinary metaphysical claims and speculations which in our opinion John Bell would not endorse today. BI-CHSH inequalities are violated in physics and in cognitive science, but it neither proved the completeness of quantum mechanics nor its nonlocality. Quantum computing advantage is not due to some magical instantaneous influences between distant physical systems. Therefore one has to be _cautious in drawing-far-reaching philosophical conclusions from Bell’s inequalities_. The true resource for quantum computing is contextuality and not nonlocality. (shrink)

Bell-type inequalities are proven using oversimplified probabilistic models and/or counterfactual definiteness (CFD). If setting-dependent variables describing measuring instruments are correctly introduced, none of these inequalities may be proven. In spite of this, a belief in a mysterious quantum nonlocality is not fading. Computer simulations of Bell tests allow people to study the different ways in which the experimental data might have been created. They also allow for the generation of various counterfactual experiments’ outcomes, such as repeated or simultaneous measurements performed (...) in different settings on the same “photon-pair”, and so forth. They allow for the reinforcing or relaxing of CFD compliance and/or for studying the impact of various “photon identification procedures”, mimicking those used in real experiments. Data samples consistent with quantum predictions may be generated by using a specific setting-dependent identification procedure. It reflects the active role of instruments during the measurement process. Each of the setting-dependent data samples are consistent with specific setting-dependent probabilistic models which may not be deduced using non-contextual local realistic or stochastic hidden variables. In this paper, we will be discussing the results of these simulations. Since the data samples are generated in a locally causal way, these simulations provide additional strong arguments for closing the door on quantum nonlocality. (shrink)

In the mid-nineteenth century George Boole formulated his ‘conditions of possible experience’. These are equations and ineqaulities that the relative frequencies of events must satisfy. Some of Boole's conditions have been rediscovered in more recent years by physicists, including Bell inequalities, Clauser Horne inequalities, and many others. In this paper, the nature of Boole's conditions and their relation to propositional logic is explained, and the puzzle associated with their violation by quantum frequencies is investigated in relation to a variety of (...) approaches to the interpretation of quantum mechanics. * While preparing this paper for publication I have learnt of the untimely death of Professor J. S. Bell, and I wish to dedicate the paper to his memory. This research was undertaken while I spent a sabbatical leave at Wolfson College, and the History and Philosophy of Science Department at the University of Cambridge. I would like to thank Michael Redhead and Jeremy Butterfield for their hospitality and for helpful discussions. A first draft of this paper has been distributed among the participants of the conference 'Einstein in Context' which was held in Israel, in April 1990.1 have benefited from the comments of many colleagues. I would like to thank in particular Arthur Fine who enlightened me on the prism models, David Albert. Maya Bar-Hillel. Yemima Ben-Menachem, Mara Beller. Simon Saunders, and Mark Steiner. This research is partially supported by the Edelstein Center for the History and Philosophy of Science at the Hebrew University. (shrink)

We construct, for any finite dimension n, a new hidden measurement model for quantum mechanics based on representing quantum transition probabilities by the volume of regions in projective Hilbert space. For n=2 our model is equivalent to the Aerts sphere model and serves as a generalization of it for dimensions n .≥ 3 We also show how to construct a hidden variables scheme based on hidden measurements and we discuss how joint distributions arise in our hidden variables scheme and their (...) relationship with the results of Fine [J. Math. Phys. 23 1306 (1982)]. (shrink)

We show that a quantum system admits hidden variables if and only if there is a rich set of states which satisfy a Bayesian rule. The result is proved using a relationship between Bayesian type states and dispersion-free states. Various examples are presented. In particular, it is shown that for classical systems every state is Bayesian and for traditional Hilbert space quantum systems no state is Bayesian.

In this paper we give additional arguments in favor of the point of view that the violation of Bell, CHSH and CH inequalities is not due to a mysterious non locality of nature. We concentrate on an intimate relation between a protocol of a random experiment and a probabilistic model which is used to describe it. We discuss in a simple way differences between attributive joint probability distributions and generalized joint probability distributions of outcomes from distant experiments which depend on (...) how the pairing of these outcomes is defined. We analyze in detail experimental protocols implied by local realistic and stochastic hidden variable models and show that they are incompatible with the protocols used in spin polarization correlation experiments. We discuss also the meaning of “free will”, differences between quantum and classical filters, contextuality of Kolmogorov models, contextuality of quantum theory and show how this contextuality has to be taken into account in probabilistic models trying to explain in an intuitive way the predictions of QT. The long range imperfect correlations between the clicks of distant detectors can be explained by partially preserved correlations between the signals created by a source. These correlations can only be preserved if the clicks are produced in a local and deterministic way depending on intrinsic parameters describing signals and measuring devices in the moment of the measurement. If an act of a measurement was irreducibly random they would be destroyed. It seems to indicate that QT may be in fact emerging from some underlying more detailed theory of physical phenomena. If this was a case then there is a chance to find in time series of experimental data some fine structures not predicted by QT. This would be a major discovery because it would not only prove that QT does not provide a complete description of individual physical systems but it would prove that it is not predictably complete. (shrink)

It is shown that, to a certain extent, the statistical framework of Hilbert-space quantum mechanics can be reformulated in classical terms.

It is frequently argued that reality and locality are incompatible with the predictions of quantum mechanics. Various investigators have used this as evidence for the existence of hidden variables. However, Bell's inequalities seem to refute this possibility. Since the above arguments are made within the framework of conventional probability theory, we contend that an alternative solution can be found by an extension of this theory. Elaborating on some ideas of I. Pitowski, we show that within the framework of a generalized (...) probability theory, reality, locality, hidden variables, and the predictions of quantum mechanics can be maintained together. Although our principal model in this work is a spin system, there are indications that this program can be extended to more general systems. (shrink)

The use of probability theory is widespread in our daily life as well as in scientific theories. In virtually all cases, calculations can be carried out within the framework of classical probability theory. A special exception is given by quantum mechanics, which gives rise to a new probability theory: quantum probability theory. This dissertation deals with the question of how this formalism can be understood from a philosophical and physical perspective. The dissertation is divided into three parts. In the first (...) part, the formalism of quantum probability theory and its relation to quantum mechanics is presented. The second part considers the possibility of reformulating quantum probability theory to embed it within classical probability. Mathematically, this possibility overlaps with the possibility of the existence of hidden variables theories of quantum mechanics: theories that attempt to solve fundamental problems in quantum mechanics by introducing additional physical properties of systems. The conclusion of this part is that, although classical reformulations of quantum probability theory are formally possible, they offer little insight into the formalism of quantum probability theory itself. The third part regards a more direct investigation of quantum probability theory. A reformulation of quantum probability theory is obtained by constructing a quantum logic on the basis of empirical non-probabilistic predictions of quantum mechanics. In this reformulation quantum probability functions are conditional probability functions on an algebra of propositions about measurements and measurement outcomes. (shrink)

Meyer, Kent and Clifton (MKC) claim to have nullified the Bell-Kochen-Specker (Bell-KS) theorem. It is true that they invalidate KS's account of the theorem's physical implications. However, they do not invalidate Bell's point, that quantum mechanics is inconsistent with the classical assumption, that a measurement tells us about a property previously possessed by the system. This failure of classical ideas about measurement is, perhaps, the single most important implication of quantum mechanics. In a conventional colouring there are some remaining patches (...) of white. MKC fill in these patches, but only at the price of introducing patches where the colouring becomes ``pathologically'' discontinuous. The discontinuities mean that the colours in these patches are empirically unknowable. We prove a general theorem which shows that their extent is at least as great as the patches of white in a conventional approach. The theorem applies, not only to the MKC colourings, but also to any other such attempt to circumvent the Bell-KS theorem (Pitowsky's colourings, for example). We go on to discuss the implications. MKC do not nullify the Bell-KS theorem. They do, however, show that we did not, hitherto, properly understand the theorem. For that reason their results (and Pitowsky's earlier results) are of major importance. (shrink)

In an attempt to demonstrate that local hidden variables are mathematically possible, Pitowsky constructed “spin- functions” and later “Kolmogorovian models”, which employs a nonstandard notion of probability. We describe Pitowsky’s analysis and argue that his notion of hidden variables is in fact just super-determinism. Pitowsky’s first construction uses the Continuum Hypothesis. Farah and Magidor took this as an indication that at some stage physics might give arguments for or against adopting specific new axioms of set theory. We would rather argue (...) that it supports the opposing view, i.e., the widespread intuition “if you need a non-measurable function, it is physically irrelevant”. (shrink)

Kochen and Specker's theorem can be seen as a consequence of Gleason's theorem and logical compactness. Similar compactness arguments lead to stronger results about finite sets of rays in Hilbert space, which we also prove by a direct construction. Finally, we demonstrate that Gleason's theorem itself has a constructive proof, based on a generic, finite, effectively generated set of rays, on which every quantum state can be approximated.

One implication of Bell’s theorem is that there cannot in general be hidden variable models for quantum mechanics that both are noncontextual and retain the structure of a classical probability space. Thus, some hidden variable programs aim to retain noncontextuality at the cost of using a generalization of the Kolmogorov probability axioms. We generalize a theorem of Feintzeig to show that such programs are committed to the existence of a finite null cover for some quantum mechanical experiments, i.e., a finite (...) collection of probability zero events whose disjunction exhausts the space of experimental possibilities. (shrink)