If quantum mechanics is correct and there is a finite upper bound for the speed of causal influences (e.g., the speed of light), then quantum mechanics is complete (i.e., it does not admit a more detailed description in terms of hidden variables). Here I show that the conclusion holds if we replace the assumption of bounded velocity by the assumption that there is a finite upper bound to the memory a finite physical system can store (e.g., the Holevo bound). On (...) the way to this conclusion I first show that, although the quantum violation of an inequality valid for any non-contextual model can be explained with a classical contextual model, the inequality can be promoted to a Bell inequality in which, if the model is contextual, then it must be also non-local. This suggests that there is something non-classical in any contextual explanation of the individual systems, and leads us to the question of which are the minimum resources (and specifically memory) any contextual explanation should consume. (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)

Quantum information processing is at the crossroads of physics, mathematics and computer science. It is concerned with what we can and cannot do with quantum information that goes beyond the abilities of classical information processing devices. Communication complexity is an area of classical computer science that aims at quantifying the amount of communication necessary to solve distributed computational problems. Quantum communication complexity uses quantum mechanics to reduce the amount of communication that would be classically required.Pseudo-telepathy is a surprising application of (...) quantum information processing to communication complexity. Thanks to entanglement, perhaps the most nonclassical manifestation of quantum mechanics, two or more quantum players can accomplish a distributed task with no need for communication whatsoever, which would be an impossible feat for classical players. After a detailed overview of the principle and purpose of pseudo-telepathy, we present a survey of recent and not-so-recent work on the subject. In particular, we describe and analyse all the pseudo-telepathy games currently known to the authors. (shrink)

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)

If p(x 1 ,...,x n ) and q(x 1 ,...,x n ) are two logically equivalent propositions then p(π (x 1 ),...,π (x n )) and q(π (x 1 ),...,π (x n )) are also logically equivalent where π is an arbitrary permutation of the elementary constituents x 1 ,...,x n . In Quantum Logic the invariance of logical equivalences breaks down. It is proved that the distribution rules of classical logic are in fact equivalent to the meta-linguistic rule of (...) universal substitution and that the more restrictive structure of the substitution group of Quantum Logic prevents us from defining truth in a classical fashion. These observations lead to a more profound understanding of the Logic of Quantum Mechanics and of the role that symmetry principles play in that theory. (shrink)

Recent years have seen new general notions of contextuality emerge. Most of these employ context-independent symbols to represent random variables in different contexts. As an example, the operational theory of (Spekkens in Phys Rev A 71(5):52108, 2005) treats an observable being measured in two different contexts identically. Non-contextuality in this approach is the impossibility of drawing ontological distinctions between identical elements of the operational theory. However, a recent collection of work seeks to exploit context-dependent symbols of random variables to interpret (...) contextuality (Kujala et al. in Phys Rev Lett 115(15):150401, 2015; Dzhafarov and Kujala in Phys Scr T163:014009, 2014). This approach associates contextuality with the possibility of imposing a particular joint distribution on random variables recorded under different experimental contexts. This paper compares these two different treatments of random variables and highlights the limitations of the context-dependent approach as a physical theory. (shrink)

A well known logical loophole for Bell’s theorem is that it relies on setting independence: the assumption that the state of a system is independent of the settings of a measurement apparatus probing the system. In this paper the implications of rejecting this assumption are studied from an operationalist perspective. To this end a generalization of the ontic models framework is proposed that allows setting dependence. It is shown that within this framework Bell’s theorem reduces to the conclusion that no-signaling (...) requires randomness at the epistemic level even if the underlying ontology is taken to be deterministic. The ideas underlying the framework are further used to defend setting dependence against the charges of being incompatible with free will and scientific methodology. The paper ends however with the sketch of a new problem for setting dependence: a necessary gap between the ontic and the epistemic level that may prevent the formulation of a successful setting dependent theory. (shrink)

We present a formal theory of contextuality for a set of random variables grouped into different subsets corresponding to different, mutually incompatible conditions. Within each context the random variables are jointly distributed, but across different contexts they are stochastically unrelated. The theory of contextuality is based on the analysis of the extent to which some of these random variables can be viewed as preserving their identity across different contexts when one considers all possible joint distributions imposed on the entire set (...) of the random variables. We illustrate the theory on three systems of traditional interest in quantum physics. These are systems of the Klyachko–Can–Binicioglu–Shumovsky-type, Einstein–Podolsky–Rosen–Bell-type, and Suppes–Zanotti–Leggett–Garg-type. Listed in this order, each of them is formally a special case of the previous one. For each of them we derive necessary and sufficient conditions for contextuality while allowing for experimental errors and contextual biases or signaling. Based on the same principles that underly these derivations we also propose a measure for the degree of contextuality and compute it for the three systems in question. (shrink)

A framework for the mind-matter problem in a holistic universe which has no parts is outlined. The conceptual structure of modern quantum theory suggests to use complementary Boolean descriptions as elements for a more comprehensive non-Boolean description of a world without an a priori mind-matter distinction. Such a description in terms of a locally Boolean but globally non-Boolean structure makes allowance for the fact that Boolean descriptions play a privileged role in science. If we accept the insight that there are (...) no ultimate building blocks, the existence of holistic correlations between contextually chosen parts is a natural consequence. The main problem of a genuinely non-Boolean description is to find an appropriate partition of the universe of discourse. If we adopt the idea that all fundamental laws of physics are invariant under time translations, then we can consider a partition of the world into a tenseless and a tensed domain.In the sense of a regulative principle, the material domain is defined as the tenseless domain with its homogeneous time. The tensed domain contains the mental domain with a tensed time characterized by a privileged position, the Now. Since this partition refers to two complementary descriptions which are not given a priori we have to expect correlations between these two domains. In physics it corresponds to Newton 's separation of universal laws of nature and contingent initial conditions Both descriptions have a non-Boolean structure and can be encompassed into a single non-Boolean description. Tensed and tenseless time can be synchronized by holistic correlations. (shrink)