Related papers: Generalised Kochen-Specker Theorem for Finite Non-…
Quantum contextuality is a concept used to describe the property of hidden-variable theory that measurement outcomes predetermined by the hidden variables depend on the measurement context. The term measurement context can have different…
Kochen-Specker (KS) vector systems are sets of vectors in R^3 with the property that it is impossible to assign 0s and 1s to the vectors in such a way that no two orthogonal vectors are assigned 0 and no three mutually orthogonal vectors…
We present a mathematical framework based on quantum interval-valued probability measures to study the effect of experimental imperfections and finite precision measurements on defining aspects of quantum mechanics such as contextuality and…
Busch's theorem deriving the standard quantum probability rule can be regarded as a more general form of Gleason's theorem. Here we show that a further generalisation is possible by reducing the number of quantum postulates used by Busch.…
Bipartite perfect quantum strategies (BPQSs) allow two players isolated from each other to win every trial of a nonlocal game. BPQSs have crucial roles in recent developments in quantum information and quantum computation. However, only few…
The Kochen-Specker theorem states that noncontextual hidden variable theories are incompatible with quantum mechanics. We provide a state independent proof of the Kochen-Specker theorem using the smallest number of projectors, i.e., thirty…
The purpose of this note is to complete the interesting review on quantum contextuality [1] that appeared recently. In particular we will introduce and discuss the ideas of extracontextuality and extravalence, that allow one to relate…
Von Neumann use 4 assumptions to derive the Hilbert space (HS) formulation of quantum mechanics (QM). Within this theory dispersion free ensembles do not exist. To accommodate a theory of quantum mechanics that allow dispersion free…
The framework of generalized probabilistic theories (GPTs) is a popular approach for studying the physical foundations of quantum theory. The standard framework assumes the no-restriction hypothesis, in which the state space of a physical…
Since the enlightening proofs of quantum contextuality first established by Kochen and Specker, and also by Bell, various simplified proofs have been constructed to exclude the non-contextual hidden variable theory of our nature at the…
This paper argues that several canonical puzzles in quantum mechanics, including spin measurement, the double slit, entanglement correlations, and Wigner's friend, share a common origin in a semantic error and the illicit promotion of…
A central result in the foundations of quantum mechanics is the Kochen-Specker theorem. In short, it states that quantum mechanics cannot be reconciled with classical models that are noncontextual for ideal measurements. The first explicit…
We present an AI-assisted framework for predicting individual runs of complex quantum experiments, including contextuality and causality (adaptive measurements), within our long-term programme of discovering a local hidden-variable theory…
In quantum mechanics, the selfadjoint Hilbert space operators play a triple role as observables, generators of the dynamical groups and statistical operators defining the mixed states. One might expect that this is typical of Hilbert space…
An essential ingredient in many examples of the conflict between quantum theory and noncontextual hidden variables (e.g., the proof of the Kochen-Specker theorem and Hardy's proof of Bell's theorem) is a set of atomic propositions about the…
We discuss two approaches to producing generalized parity proofs of the Kochen-Specker theorem. Such proofs use contexts of observables whose product is $I$ or $-I$; we call them constraints. In the first approach, one starts with a fixed…
We define a family of 'no signaling' bipartite boxes with arbitrary inputs and binary outputs, and with a range of marginal probabilities. The defining correlations are motivated by the Klyachko version of the Kochen-Specker theorem, so we…
A proof of the Kochen-Specker theorem for a single two-level system is presented. It employs five eight-element positive operator-valued measures and a simple algebraic reasoning based on the geometry of the dodecahedron.
In this talk I present a simple derivation of an old result of Kochen and Specker, which is apparently unrelated to the famous work of Bell on hidden variables, but is presumably equally important. Kochen and Specker showed in 1967 that…
Yu and Oh [1] have given a state independent proof of the Kochen-Specker theorem in three dimensions using only 13 rays. The proof consists of showing that a non-contextual hidden variable theory necessarily leads to an inequality that is…