Related papers: Proof of the Peres conjecture for contextuality

We use the mathematical language of sheaf theory to give a unified treatment of non-locality and contextuality, in a setting which generalizes the familiar probability tables used in non-locality theory to arbitrary measurement covers; this…

Developing a quantum analog of the modern classical theory of causation, as formulated by Pearl and others using directed acyclic graphs, requires a theory of random or stochastic time development at the microscopic level, where the…

We present a number of observables-based proofs of the Kochen-Specker (KS) theorem based on the N-qubit Pauli group for N >= 4, thus adding to the proofs that have been presented earlier for the two- and three-qubit groups. These proofs…

Contextuality is considered as one of the most distinctive features of nonclassical systems. Here, we show that a Spekkens contextual system (which previous work has shown is a necessary condition for nonclassicality) formed of an…

We show that (1) the violation of the Ekert 91 inequality is a sufficient condition for certification of the Kochen-Specker (KS) theorem, and (2) the violation of the Bennett-Brassard-Mermin 92 (BBM) inequality is, also, a sufficient…

So far, most of the literature on (quantum) contextuality and the Kochen-Specker theorem seems either to concern particular examples of contextuality, or be considered as quantum logic. Here, we develop a general formalism for contextuality…

We propose an experimental approach to {\it macro}scopically test the Kochen-Specker theorem (KST) with superconducting qubits. This theorem, which has been experimentally tested with single photons or neutrons, concerns the conflict…

Most of the paradoxical, for the classical intuition, features of quantum theory were formulated for situations which involve a fixed number of particles. While one can now find a formulation of Bell's theorem for quantum fields, a…

Gathering data through measurements is at the basis of every experimental science. Ideally, measurements should be repeatable and, when extracting only coarse-grained data, they should allow the experimenter to retrieve the finer details at…

We investigate the possibility of constructing Kochen-Specker uncolorable sets of idempotent matrices whose entries lie in various rings, including the rational numbers, the integers, and finite fields. Most notably, we show that there is…

A proof of the generalized Kochen-Specker theorem in two dimensions due to Cabello and Nakamura is extended to all higher dimensions. A set of 18 states in four dimensions is used to give closely related proofs of the generalized…

By analyzing the concept of contextuality (Bell-Kochen-Specker) in terms of pre-and-post-selection (PPS), it is possible to assign definite values to observables in a new and surprising way. Physical reasons are presented for restrictions…

The output randomness from a random number generator can be certified by observing the violation of quantum contextuality inequalities based on the Kochen-Specker theorem. Contextuality can be tested in a single quantum system, which…

In [1] it was shown that the Kochen Specker theorem can be written in terms of the non-existence of global elements of a certain varying set over the partially ordered set of boolean subalgebras of projection operators on some Hilbert…

It will be shown that the Peres-Mermin square admits value-definite noncontextual hidden-variable models if the observables associated with the operators can be measured only sequentially but not simultaneously. Namely, sequential…

In a recent article entitled "A simple explanation of the quantum violation of a fundamental inequality," Cabello proposes a condition on a class of probabilistic models that, he claims, gives the same bound on contextuality for the KCBS…

It is a fundamental prediction of quantum theory that states of physical systems are described by complex vectors or density operators on a Hilbert space. However, many experiments admit effective descriptions in terms of other state…

In this paper we attempt to analyze the physical and philosophical meaning of quantum contextuality. We will argue that there exists a general confusion within the foundational literature arising from the improper "scrambling" of two…

We introduce and formalize a notion of "a priori knowledge" about a quantum system, and show some properties about this form of knowledge. Finally, we show that the Kochen-Specker theorem follows directly from this study. This version is a…

Topos quantum mechanics, developed by Isham et. al., creates a topos of presheaves over the poset V(N) of abelian von Neumann subalgebras of the von Neumann algebra N of bounded operators associated to a physical system, and established…