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 THEIR WELL-KNOWN PAPER, Kochen and Specker (1967) introduce the concept of partial Boolean algebra (pBa) and show that certain (finitely generated) partial Boolean algebras arising in quantum theory fail to possess morphisms to any Boolean algebra (we call such pBa's intractable in the sequel). In this note we begin by discussing partial..

The set of 60 real rays in four dimensions derived from the vertices of a 600-cell is shown to possess numerous subsets of rays and bases that provide basis-critical parity proofs of the Bell-Kochen-Specker (BKS) theorem (a basis-critical proof is one that fails if even a single basis is deleted from it). The proofs vary considerably in size, with the smallest having 26 rays and 13 bases and the largest 60 rays and 41 bases. There are (...) at least 90 basic types of proofs, with each coming in a number of geometrically distinct varieties. The replicas of all the proofs under the symmetries of the 600-cell yield a total of almost a hundred million parity proofs of the BKS theorem. The proofs are all very transparent and take no more than simple counting to verify. A few of the proofs are exhibited, both in tabular form as well as in the form of MMP hypergraphs that assist in their visualization. A survey of the proofs is given, simple procedures for generating some of them are described and their applications are discussed. It is shown that all four-dimensional parity proofs of the BKS theorem can be turned into experimental disproofs of noncontextuality. (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 show that there is no non-constant assignment of zeros and ones to points of a unit sphere in R3\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb{R}^3$$\end{document} such that for every three pairwisely orthogonal vectors, an odd number of them is assigned 1. This is a new strengthening of the Bell–Kochen–Specker theorem, which proves the non-existence of hidden variables in quantum theories.

Non-commuting quantities and hidden parameters – Wave-corpuscular dualism and hidden parameters – Local or nonlocal hidden parameters – Phase space in quantum mechanics – Weyl, Wigner, and Moyal – Von Neumann’s theorem about the absence of hidden parameters in quantum mechanics and Hermann – Bell’s objection – Quantum-mechanical and mathematical incommeasurability – Kochen – Specker’s idea about their equivalence – The notion of partial algebra – Embeddability of a qubit into a bit – Quantum computer is (...) not Turing machine – Is continuality universal? – Diffeomorphism and velocity – Einstein’s general principle of relativity – „Mach’s principle“ – The Skolemian relativity of the discrete and the continuous – The counterexample in § 6 of their paper – About the classical tautology which is untrue being replaced by the statements about commeasurable quantum-mechanical quantities – Logical hidden parameters – The undecidability of the hypothesis about hidden parameters – Wigner’s work and и Weyl’s previous one – Lie groups, representations, and psi-function – From a qualitative to a quantitative expression of relativity − psi-function, or the discrete by the random – Bartlett’s approach − psi-function as the characteristic function of random quantity – Discrete and/ or continual description – Quantity and its “digitalized projection“ – The idea of „velocity−probability“ – The notion of probability and the light speed postulate – Generalized probability and its physical interpretation – A quantum description of macro-world – The period of the as-sociated de Broglie wave and the length of now – Causality equivalently replaced by chance – The philosophy of quantum information and religion – Einstein’s thesis about “the consubstantiality of inertia ant weight“ – Again about the interpretation of complex velocity – The speed of time – Newton’s law of inertia and Lagrange’s formulation of mechanics – Force and effect – The theory of tachyons and general relativity – Riesz’s representation theorem – The notion of covariant world line – Encoding a world line by psi-function – Spacetime and qubit − psi-function by qubits – About the physical interpretation of both the complex axes of a qubit – The interpretation of the self-adjoint operators components – The world line of an arbitrary quantity – The invariance of the physical laws towards quantum object and apparatus – Hilbert space and that of Minkowski – The relationship between the coefficients of -function and the qubits – World line = psi-function + self-adjoint operator – Reality and description – Does a „curved“ Hilbert space exist? – The axiom of choice, or when is possible a flattening of Hilbert space? – But why not to flatten also pseudo-Riemannian space? – The commutator of conjugate quantities – Relative mass – The strokes of self-movement and its philosophical interpretation – The self-perfection of the universe – The generalization of quantity in quantum physics – An analogy of the Feynman formalism – Feynman and many-world interpretation – The psi-function of various objects – Countable and uncountable basis – Generalized continuum and arithmetization – Field and entanglement – Function as coding – The idea of „curved“ Descartes product – The environment of a function – Another view to the notion of velocity-probability – Reality and description – Hilbert space as a model both of object and description – The notion of holistic logic – Physical quantity as the information about it – Cross-temporal correlations – The forecasting of future – Description in separable and inseparable Hilbert space – „Forces“ or „miracles“ – Velocity or time – The notion of non-finite set – Dasein or Dazeit – The trajectory of the whole – Ontological and onto-theological difference – An analogy of the Feynman and many-world interpretation − psi-function as physical quantity – Things in the world and instances in time – The generation of the physi-cal by mathematical – The generalized notion of observer – Subjective or objective probability – Energy as the change of probability per the unite of time – The generalized principle of least action from a new view-point – The exception of two dimensions and Fermat’s last theorem. (shrink)

The Bell–Kochen–Specker theorem shows that, in any Hilbert space of dimension of at least 3, it is impossible to assign noncontextual definite values to all observables in such a way that the quantum-mechanical predictions are reproduced. This leaves open the issue of what subsets of observables may be assigned definite values. Clifton has shown that, for a system of at least two continuous degrees of freedom, it is not possible to assign simultaneous noncontextual values to two (...) coordinates and their conjugate momenta. In this Letter, it is shown that, for a system of a single continuous degree of freedom, it is not possible to assign noncontextual values to the coordinate and its conjugate momenta that satisfy a continuity assumption herein called the ‘ ε -Product Rule’. (shrink)

Bell non-locality and Kochen–Specker contextuality are logically independent concepts, fuel different protocols with quantum vs classical advantage, and have distinct classical simulation costs. A natural question is what are the relations between these concepts, advantages, and costs. To address this question, it is useful to have a map that captures all the connections between Bell non-locality and KS contextuality in quantum theory. The aim of this work is to introduce such a map. After defining the theory-independent (...) notions of Bell non-locality and KS contextuality for ideal measurements, we show that, in quantum theory, due to Neumark’s dilation theorem, every quantum Bell non-local behavior can be mapped to a formally identical KS contextual behavior produced in a scenario with identical relations of compatibility but where measurements are ideal and no space-like separation is required. A more difficult problem is identifying connections in the opposite direction. We show that there are “one-to-one” and partial connections between KS contextual behaviors and Bell non-local behaviors for some KS scenarios, but not for all of them. However, there is also a method that transforms any KS contextual behavior for quantum systems of dimension d into a Bell non-local behavior between two quantum subsystems each of them of dimension d. We collect all these connections in map and list some problems which can benefit from this map. (shrink)

The Bell–Kochen–Specker theorem shows that, in any Hilbert space of dimension of at least 3, it is impossible to assign noncontextual definite values to all observables in such a way that the quantum-mechanical predictions are reproduced. This leaves open the issue of what subsets of observables may be assigned definite values. Clifton has shown that, for a system of at least two continuous degrees of freedom, it is not possible to assign simultaneous noncontextual values to two (...) coordinates and their conjugate momenta. In this Letter, it is shown that, for a system of a single continuous degree of freedom, it is not possible to assign noncontextual values to the coordinate and its conjugate momenta that satisfy a continuity assumption herein called the ‘ -Product Rule’.  2002 Elsevier Science B.V. All rights reserved. (shrink)

It is a widespread belief that the Kochen-Specker theorem imposes a contextuality constraint on the ontology of beables in quantum hidden variables theories. On the other hand, after Bell’s influential critique, the importance of von Neumann’s wrongly called ‘impossibility proof’ has been severely questioned. However, Max Jammer, Jeffrey Bub and Dennis Dieks have proposed insightful reassessments of von Neumann’s theorem: what it really shows is that hidden variables theories cannot represent their beables by means of (...) Hermitian operators in Hilbert space. Hereby I show that i) the very same constraint can be derived from Gleason’s theorem, and that ii) if we consider the import of von Neumann’s and Gleason’s theorems, the relevance of the Kochen-Specker theorem for hidden variables theories gets substantially weakened: it does not force them to be contextual in any interesting sense of the term. (shrink)

In this paper we attempt to discuss what has Kochen-Specker theorem to say about physical invariance and quantum individuality. In particular, we will discuss the impossibility of making reference to objective physical properties within the orthodox formalism of quantum mechanics. Through an analysis of the meaning of physical invariance and quantum contextuality we will derive a Corollary to KS theorem that proves that a vector in Hilbert space cannot be interpreted coherently as an object possessing physical (...) properties. As a consequence, the notion of quantum object can be only defined in terms of nomological properties. We conclude the paper by analyzing the consequences of this Corollary to KS theorem for the ongoing debate about quantum individuality. (shrink)

The text is a continuation of the article of the same name published in the previous issue of Philosophical Alternatives. The philosophical interpretations of the Kochen- Specker theorem (1967) are considered. Einstein's principle regarding the,consubstantiality of inertia and gravity" (1918) allows of a parallel between descriptions of a physical micro-entity in relation to the macro-apparatus on the one hand, and of physical macro-entities in relation to the astronomical mega-entities on the other. The Bohmian interpretation ( 1952) of (...) quantum mechanics proposes that all quantum systems be interpreted as dissipative ones and that the theorem be thus derstood. The conclusion is that the continual representation, by force or (gravitational) field between parts interacting by means of it, of a system is equivalent to their mutual entanglement if representation is discrete. Gravity (force field) and entanglement are two different, correspondingly continual and discrete, images of a single common essence. General relativity can be interpreted as a superluminal generalization of special relativity. The postulate exists of an alleged obligatory difference between a model and reality in science and philosophy. It can also be deduced by interpreting a corollary of the heorem. On the other hand, quantum mechanics, on the basis of this theorem and of V on Neumann's (1932), introduces the option that a model be entirely identified as the modeled reality and, therefore, that absolutely reality be recognized: this is a non-standard hypothesis in the epistemology of science. Thus, the true reality begins to be understood mathematically, i.e. in a Pythagorean manner, for its identification with its mathematical model. A few linked problems are highlighted: the role of the axiom of choice forcorrectly interpreting the theorem; whether the theorem can be considered an axiom; whether the theorem can be considered equivalent to the negation of the axiom. (shrink)

In this paper we attempt to physically interpret the Modal Kochen–Specker theorem. In order to do so, we analyze the features of the possible properties of quantum systems arising from the elements in an orthomodular lattice and distinguish the use of “possibility” in the classical and quantum formalisms. Taking into account the modal and many worlds non-collapse interpretation of the projection postulate, we discuss how the MKS theorem rules the constraints to actualization, and thus, the relation (...) between actual and possible realms. (shrink)

A generalized Kochen-Specker theorem is proved. It is shown that there exist sets of n projection operators, representing n yes-no questions about a quantum system, such that none of the 2″ possible answers is compatible with sum rules imposed by quantum mechanics. Namely, if a subset of commuting projection operators sums up to a matrix having only even or only odd eigenvalues, the number of “yes” answers ought to he even or odd, respectively. This requirement may lead (...) to contradictions. An example is provided, involving nine projection operators in a 4-dimensional space. (shrink)

A diagrammatic representation is given of the 24 rays of Peres that makes it easy to pick out all the 512 parity proofs of the Kochen-Specker theorem contained in them. The origin of this representation in the four-dimensional geometry of the rays is pointed out.

It is shown how the 300 rays associated with the antipodal pairs of vertices of a 120-cell (a four-dimensional regular polytope) can be used to give numerous “parity proofs” of the Kochen–Specker theorem ruling out the existence of noncontextual hidden variables theories. The symmetries of the 120-cell are exploited to give a simple construction of its Kochen–Specker diagram, which is exhibited in the form of a “basis table” showing all the orthogonalities between its rays. The (...) basis table consists of 675 bases (a basis being a set of four mutually orthogonal rays), but all the bases can be written down from the few listed in this paper using some simple rules. The basis table is shown to contain a wide variety of parity proofs, ranging from 19 bases (or contexts) at the low end to 41 bases at the high end. Some explicit examples of these proofs are given, and their implications are discussed. (shrink)

It is shown that the 33 complex rays in three dimensions used by Penrose to prove the Bell-Kochen-Specker theorem have the same orthogonality relations as the 33 real rays of Peres, and therefore provide an isomorphic proof of the theorem. It is further shown that the Peres and Penrose rays are just two members of a continuous three-parameter family of unitarily inequivalent rays that prove the theorem.

Any attempt to construct a realist interpretation of quantum theory founders on the Kochen-Specker theorem, which asserts the impossibility of assigning values to quantum quantities in a way that preserves functional relations between them. We construct a new type of valuation which is defined on all operators, and which respects an appropriate version of the functional composition principle. The truth-values assigned to propositions are (i) contextual; and (ii) multi-valued, where the space of contexts and the multi-valued logic (...) for each context come naturally from the topos theory of presheaves. The first step in our theory is to demonstrate that the Kochen-Specker theorem is equivalent to the statement that a certain presheaf defined on the category of self-adjoint operators has no global elements. We then show how the use of ideas drawn from the theory of presheaves leads to the definition of a generalised valuation in quantum theory whose values are sieves of operators. In particular, we show how each quantum state leads to such a generalised valuation. A key ingredient throughout is the idea that, in a situation where no normal truth-value can be given to a proposition asserting that the value of a physical quantity A lies in a set D of real numbers , it is nevertheless possible to ascribe a partial truth-value which is determined by the set of all coarse-grained propositions that assert that some function f(A) lies in f(D), and that are true in a normal sense. The set of all such coarse-grainings forms a sieve on the category of self-adjoint operators, and is hence fundamentally related to the theory of presheave. (shrink)

In a previous paper, we have proposed assigning as the value of a physical quantity in quantum theory, a certain kind of set (a sieve) of quantities that are functions of the given quantity. The motivation was in part physical---such a valuation illuminates the Kochen-Specker theorem; and in part mathematical---the valuation arises naturally in the topos theory of presheaves. This paper discusses the conceptual aspects of this proposal. We also undertake two other tasks. First, we explain how (...) the proposed valuations could arise much more generally than just in quantum physics; in particular, they arise as naturally in classical physics. Second, we give another motivation for such valuations (that applies equally to classical and quantum physics). This arises from applying to propositions about the values of physical quantities some general axioms governing partial truth for any kind of proposition. (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)

Although skeptical of the prohibitive power of no-hidden-variables theorems, John Bell was himself responsible for the two most important ones. I describe some recent versions of the lesser known of the two (familiar to experts as the "Kochen-Specker theorem") which have transparently simple proofs. One of the new versions can be converted without additional analysis into a powerful form of the very much better known "Bell's Theorem," thereby clarifying the conceptual link between these two (...) results of Bell. (shrink)

We extend the topos-theoretic treatment given in previous papers of assigning values to quantities in quantum theory, and of related issues such as the Kochen-Specker theorem. This extension has two main parts: the use of von Neumann algebras as a base category (Section 2); and the relation of our generalized valuations to (i) the assignment to quantities of intervals of real numbers, and (ii) the idea of a subobject of the coarse-graining presheaf (Section 3).

The Bell–Kochen–Specker contradiction is presented using continuous observables in infinite dimensional Hilbert space. It is shown that the assumption of the existence of putative values for position and momentum observables for one single particle is incompatible with quantum mechanics.

The paper is a continuation of another paper published as Part I. Now, the case of “n=3” is inferred as a corollary from the Kochen and Specker theorem (1967): the eventual solutions of Fermat’s equation for “n=3” would correspond to an admissible disjunctive division of qubit into two absolutely independent parts therefore versus the contextuality of any qubit, implied by the Kochen – Specker theorem. Incommensurability (implied by the absence of hidden variables) is considered (...) as dual to quantum contextuality. The relevant mathematical structure is Hilbert arithmetic in a wide sense, in the framework of which Hilbert arithmetic in a narrow sense and the qubit Hilbert space are dual to each other. A few cases involving set theory are possible: (1) only within the case “n=3” and implicitly, within any next level of “n” in Fermat’s equation; (2) the identification of the case “n=3” and the general case utilizing the axiom of choice rather than the axiom of induction. If the former is the case, the application of set theory and arithmetic can remain disjunctively divided: set theory, “locally”, within any level; and arithmetic, “globally”, to all levels. If the latter is the case, the proof is thoroughly within set theory. Thus, the relevance of Yablo’s paradox to the statement of Fermat’s last theorem is avoided in both cases. The idea of “arithmetic mechanics” is sketched: it might deduce the basic physical dimensions of mechanics (mass, time, distance) from the axioms of arithmetic after a relevant generalization, Furthermore, a future Part III of the paper is suggested: FLT by mediation of Hilbert arithmetic in a wide sense can be considered as another expression of Gleason’s theorem in quantum mechanics: the exclusions about (n = 1, 2) in both theorems as well as the validity for all the rest values of “n” can be unified after the theory of quantum information. The availability (respectively, non-availability) of solutions of Fermat’s equation can be proved as equivalent to the non-availability (respectively, availability) of a single probabilistic measure as to Gleason’s theorem. (shrink)

We extend the topos-theoretic treatment given in previous papers of assigning values to quantities in quantum theory. In those papers, the main idea was to assign a sieve as a partial and contextual truth-value to a proposition that the value of a quantity lies in a certain set D of real numbers. Here we relate such sieve-valued valuations to valuations that assign to quantities subsets, rather than single elements, of their spectrum (we call these interval valuations). There are two main (...) results. First, there is a natural correspondence between these two kinds of valuation, which uses the notion of a state's support for a quantity (Section 3). Second, if one starts with a more general notion of interval valuation, one sees that our interval valuations based on the notion of support (and correspondingly, our sieve-valued valuations) are a simple way to secure certain natural properties of valuations, such as monotonicity (Section 4). (shrink)

I present a new 33-ray proof of the Kochen and Specker “no-go” hidden variable theorem in ℋ3, based on a classical tautology that corresponds to a contingent quantum proposition in ℋ3 proposed by Kurt Schütte in an unpublished letter to Specker in 1965. 1 discuss the relation of this proof to a 31-ray proof by Conway and Kochen, and to a 33-ray proof by Peres.

I explore the application of the “no-go” theorems of quantum mechanics to the problem of the openness of the future. The notion of fatalism can be made precise if we think of it as a claim that the future has a Boolean property structure. However, if this is correct, then it may be the case that by the “no-go” theorems of quantum mechanics the future must be at least partially open in the precise sense that there cannot be a fact (...) of the matter at a given time about some events at later times. (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)

Bell inequalities play a central role in the study of quantum nonlocality and entanglement, with many applications in quantum information. Despite the huge literature on Bell inequalities, it is not easy to find a clear conceptual answer to what a Bell inequality is, or a clear guiding principle as to how they may be derived. In this paper, we introduce a notion of logical Bell inequality which can be used to systematically derive testable inequalities for a (...) very wide variety of situations. There is a single clear conceptual principle, based on purely logical consistency conditions, which underlies our notion of logical Bell inequalities. We show that in a precise sense, all Bell inequalities can be taken to be of this form. Our approach is very general. It applies directly to any family of sets of commuting observables. Thus it covers not only the n-partite scenarios to which Bell inequalities are standardly applied, but also Kochen-Specker configurations, and many other examples. There is much current work on experimental tests for contextuality. Our approach directly yields, in a systematic fashion, testable inequalities for a very general notion of contextuality. There has been much work on obtaining proofs of Bell's theorem “without inequalities” or “without probabilities.” These proofs are seen as being in a sense more definitive and logically robust than the inequality-based proofs. On the hand, they lack the fault-tolerant aspect of inequalities. Our approach reconciles these aspects, and in fact shows how the logical robustness can be converted into systematic, general derivations of inequalities with provable violations. Moreover, the kind of strong non-locality or contextuality exhibited by the GHZ argument or by Kochen-Specker configurations can be shown to lead to maximal violations of the corresponding logical Bell inequalities. Thus the qualitative and the quantitative aspects are combined harmoniously. (shrink)

We prove that the general scheme for physical theories that we have called semantic realism(SR) in some previous papers copes successfully with a number of EPR-like paradoxes when applied to quantum physics (QP). In particular, we consider the old arguments by Furry and Bohm- Aharonov and show that they are not valid within a SR framework. Moreover, we consider the Bell-Kochen-Specker und the Bell theorems that should prove that QP is inherently contextual and nonlocal, respectively, and (...) show that they can be invalidated in the SR approach. This removes the seeming contradiction between the basic assumptions of SR and QP, and proves that some problematic features that are usually attributed to QP, us contextuality and nonlocality, occur because of the adoption of a verificationist position, from one side, and from an insufficient adherence to the operational principles that have inspired QP itself, from the other side. (shrink)

This paper introduces an extension of the de Broglie-Bohm-Bell formulation of quantum mechanics, which includes intrinsic particle degrees of freedom, such as spin, as elements of reality. To evade constraints from the Kochen-Specker theorem the discrete spin values refer to a specific basis – i.e., a single spin vector orientation for each particle; these spin orientations are, however, not predetermined, but dynamic and guided by the wave function of the system, which is conditional on the realized (...) location values of the particles. In this way, the unavoidable contextuality of spin is provided by the wave function and its realized particle configuration, whereas spin is still expressed as a local property of the individual particles. This formulation, which furthermore features a rigorous discrete-time stochastic dynamics, allows for numerical simulations of particle systems with entangled spin, such as Bohm’s version of the EPR experiment. (shrink)

Recent experiments have shown that certain fluid-mechanical systems, namely oil droplets bouncing on oil films, can mimic a wide range of quantum phenomena, including double-slit interference, quantization of angular momentum and Zeeman splitting. Here I investigate what can be learned from these systems concerning no-go theorems as those of Bell and Kochen-Specker. In particular, a model for the Bell experiment is proposed that includes variables describing a ‘background’ field or medium. This field mimics the surface wave (...) that accompanies the droplets in the fluid-mechanical experiments. It appears that quite generally such a model can violate the Bell inequality and reproduce the quantum statistics, even if it is based on local dynamics only. The reason is that measurement independence is not valid in such models. This opens the door for local ‘background-based’ theories, describing the interaction of particles and analyzers with a background field, to complete quantum mechanics. Experiments to test these ideas are also proposed. (shrink)

In this paper I discuss how Bohm's interpretation models spin measurements and how the two ways in which spin is a contextual property pertains to the Kochen-Specker theorem. I then present locality principles from which a Bell Inequality can be derived, and I identify which of the locality principles Bohm's interpretation violates at which times. I also present reasons why the spin vector should not be attributed to the Bohmian particles.

In the history of quantum physics several no-go theorems have been proved, and many of them have played a central role in the development of the theory, such as Bell’s or the Kochen–Specker theorem. A recent paper by F. Laudisa has raised reasonable doubts concerning the strategy followed in proving some of these results, since they rely on the standard framework of quantum mechanics, a theory that presents several ontological problems. The aim of this paper is (...) twofold: on the one hand, I intend to reinforce Laudisa’s methodological point by critically discussing Malament’s theorem in the context of the philosophical foundation of quantum field theory; secondly, I rehabilitate Gisin’s theorem showing that Laudisa’s concerns do not apply to it. (shrink)

A new proof of the impossibility of reconciling realism and locality in quantum mechanics is given. Unlike proofs based on Bell's inequality, the present work makes minimal and transparent use of probability theory and proceeds by demonstrating a Kochen-Specker type of paradox based on the value assignments to the spin components of two spatially separated spin-1 systems in the singlet state of their total spin. An essential part of the argument is to distinguish carefully two commonly confused (...) types of contextuality; we call them ontological and environmental contextuality. These in turn are associated with two quite distinct senses of nonlocality. We indicate the relevance of our treatment to other related discussions in recent literature on the philosophy of quantum mechanics. (shrink)

Quantum indistinguishability directly relates to the philosophical debate on the notions of identity and individuality. They are crucial for our understanding of multipartite quantum systems. Furthermore, the correct interpretation of this feature of quantum theory has implications that transcend fundamental science and philosophy, given that quantum indistinguishability is a resource in quantum information theory. Most of the conceptual analysis of quantum indistinguishability is restricted to studying the permutational invariance of quantum states, the concomitant quantum statistics and their entanglement. Here, we (...) analyse the role of indistinguishability and non-individuality in other areas of quantum theory. We start by analysing how a very peculiar use of indistinguishability underlies Feynman’s rules for summing amplitudes in interference phenomena. Next, we study how quantum indistinguishability is underestimated in several topics of debate in the quantum physics literature, such as the Einstein–Podolsky–Rosen argument, Bell’s inequalities and the Bell–Kochen–Specker theorem. Finally, we argue that an ontology of truly indistinguishable entities can serve as a basis for a quantum ontology that can give interesting answers to the interpretational problems of quantum mechanics. We claim that, in addition to superposition, contextuality and entanglement, indistinguishability (understood in a robust ontological sense) is one of the central features of quantum physics. -/- . (shrink)

Initially Einstein, Podolsky, and Rosen (EPR) and later Bell shed light on the non-local properties exhibited by subsystems in quantum mechanics. Separately, Kochen and Specker analyzed sets of measurements of compatible observables and found that a consistent coexistence of these results is impossible, i.e., quantum indefiniteness of measurement results. As a consequence, quantum contextuality, a more general concept compared to non-locality, leads to striking phenomena predicted by quantum theory. Here, we report neutron interferometric experiments which investigate entangled (...) states in a single-particle system: entanglement is, in this case, achieved not between particles, but between degrees of freedom i.e., between spin, path, and energy degrees of freedom. Appropriate combinations of the spin analysis and the position of the phase shifter in the interferometer allow an experimental verification of the violation of a Bell-like inequality. In addition, state tomography, tomographic analysis of the density matrix of a quantum system, and Kochen-Specker-like phenomena are presented to characterize neutrons’ entangled states and their peculiarity. Furthermore, a coherent energy manipulation scheme is accomplished with a radio-frequency (RF) spin-flipper. This scheme allows the (total) energy degree of freedom to be entangled: the remarkable behavior of a triply entangled GHZ-like state is demonstrated. (shrink)

In 1974 perfect crystal interferometry has been developed and immediately afterwards the 4π-symmetry of spinor wave-functions has been verified. The new method opened a new access to the observation of intrinsic quantum phenomena. Spin-superposition, quantum state reconstruction and quantum beat effects are examples of such investigations. In this connection efforts have been made to separate and measure various dynamical and geometrical phases. Non-cyclic and non-adiabatic topological phases have been identified and their stability against various fluctuations and dissipative forces has been (...) investigated by means of ultra-cold neutrons. An entanglement between different degrees of freedom of a single neutron system demonstrated the contextuality feature of quantum mechanics. In its continuation this yields to Kochen-Specker theorem like investigations providing a new basis for information processing and for the understanding of quantum physics in general. All investigations show the equivalence of various phase spaces and show how physical phenomena are correlated by quantum laws. Some curiosa occurred during the experiments and some epistemological aspects will be discussed as well. (shrink)

Nonobjectivity of physical properties enters physics with the standard interpretation of quantum mechanics (QM), and a number of paradoxes of this theory follow from it. It seems, however, based on sound physical arguments (double slit experiment, Heisenberg's principle, Bell–Kochen–Specker theorem, etc.), so that most physicists think that avoiding it is impossible. We discuss these arguments here and show that they can be criticized from a physical viewpoint. Our criticism proves that nonobjectivity must be considered an epistemological (...) choice rather than an unavoidable feature of QM, so that an objective interpretation of QM is not a priori impossible, which justifies our attempt at providing it in some previous papers. This interpretation is based on a classical language in which the language of the standard interpretation (Quantum Logic) is embedded as a subset of statements that are directly testable according to QM. (shrink)

Quantum mechanics is an extraordinarily successful scientific theory. But more than 100 years after it was first introduced, the interpretation of the theory remains controversial. This Element introduces some of the most puzzling questions at the foundations of quantum mechanics and provides an up-to-date and forward-looking survey of the most prominent ways in which physicists and philosophers of physics have attempted to resolve them. Topics covered include nonlocality, contextuality, the reality of the wavefunction and the measurement problem. The discussion is (...) supplemented with descriptions of some of the most important mathematical results from recent work in quantum foundations, including Bell's theorem, the Kochen-Specker theorem and the PBR theorem. (shrink)

Quantum contextuality and its ontological meaning are very controversial issues, and they relate to other problems concerning the foundations of quantum theory. I address this controversy and stress the fact that contextuality is a universal topological property of quantum processes, which conflicts with the basic metaphysical assumption of the definiteness of being. I discuss the consequences of this fact and argue that generic quantum potentiality as a real physical indefiniteness has nothing in common with the classical notions of possibility and (...) counterfactuality, and that also it reverses, in a way, the classical mirror-like relation between actuality and definite possibility. (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.

We present a toy theory that is based on a simple principle: the number of questions about the physical state of a system that are answered must always be equal to the number that are unanswered in a state of maximal knowledge. Many quantum phenomena are found to have analogues within this toy theory. These include the noncommutativity of measurements, interference, the multiplicity of convex decompositions of a mixed state, the impossibility of discriminating nonorthogonal states, the impossibility of a universal (...) state inverter, the distinction between bipartite and tripartite entanglement, the monogamy of pure entanglement, no cloning, no broadcasting, remote steering, teleportation, entanglement swapping, dense coding, mutually unbiased bases, and many others. The diversity and quality of these analogies is taken as evidence for the view that quantum states are states of incomplete knowledge rather than states of reality. A consideration of the phenomena that the toy theory fails to reproduce, notably, violations of Bell inequalities and the existence of a Kochen-Specker theorem, provides clues for how to proceed with this research program. (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. r 2003 Elsevier Ltd. All rights reserved.

J. S. Bell's classic 1966 review paper on the foundations of quantum mechanics led directly to the Bell nonlocality theorem. It is not widely appreciated that the review paper contained the basic ingredients needed for a nonlocality result which holds in certain situations where the Bell inequality is not violated. We present in this paper a systematic formulation and evaluation of an argument due to Stairs in 1983, which establishes a nonlocality result based on the (...) class='Hi'>Bell-Kochen-Specker “paradox” in quantum mechanics. (shrink)