The Kochen-Specker theorem states that noncontextual hidden variable models are inconsistent with the quantum predictions for every yes-no question on a qutrit, corresponding to every projector in three dimensions. It has been suggested [D. A. Meyer, Phys. Rev. Lett. 83, 3751 (1999)] that the inconsistency would disappear when we are restricted to projectors on unit vectors with rational components; that noncontextual hidden variables could reproduce the quantum predictions for rational vectors. Here we show that a qutrit state with rational components violates an inequality valid for noncontextual hidden-variable models [A. A. Klyachko et al., Phys. Rev. Lett. 101, 020403 (2008)] using rational projectors. This shows that the inconsistency remains even when using only rational vectors.
I relate contextuality to line bundles. Line bundles are important in algebraic geometry, they determine through their global sections rational maps to projective spaces. I explain how such maps, if they exist, relate rationally the input and output of measurement based computation (MBQC) and show geometrically that, indeed, contextuality is a necessary resource for the computational advantage in MBQC. I also leverage the definition of MBQC to category theory and present it as a "subfunctor" of the spectral presheaf. In general, the MBQC functor is pointless whereas the computation is trivial.
Recently, Yu and Oh [Phys. Rev. Lett. 108, 030402 (2012)] have conjectured that the simplest set of vectors needed to prove state-independent contextuality on a qutrit requires 13 vectors. Here we first prove that a necessary and sufficient condition for a set of vectors in any dimension $d \ge 3$ to prove contextuality for a system prepared in a maximally mixed state is that the graph $G_C$ in which vertices represent vectors and edges link orthogonal ones has chromatic number $χ(G_G)$ larger than $d$. Then, we prove Yu and Oh's conjecture. Finally, we prove that any set satisfying $χ(G_G)>d$…
The two state vector formalism (TSVF) was proposed by Aharonov, Bergmann, and Lebowitz (ABL) to provide a way for the counterfactual assignment of the probabilities of outcomes of contemplated but unperformed measurements on quantum systems. This formalism underlies various aspects of foundations of quantum theory and has been used significantly in the development of weak values and several proofs of quantum contextuality. We consider the application of TSVF, with pre- and post-selection (PPS) and the corresponding ABL rule, as a means to unearth quantum contextuality. We use the principle of …
Although `quantum contextuality' is one of the most fundamental non-classical feature, its generic role in information processing and computation is an open quest. In this article, we present a family of distributed computing tasks pertaining to every logical proof of Kochen-Specker (KS) contextuality in two different one-way communication scenarios: (I) communication of bounded dimensional system, (II) communication of unbounded dimensional system while keeping certain information oblivious, namely, oblivious communication (OC). As the later remains largely unexplored, we introduce a general …
Emergence and Recovery of (logical) Kochen-Specker Contextuality via Hamilton Extension
S. N. Bose National Centre for Basic Sciences（S.N. 玻色基础科学国立中心）；Indian Institute of Technology Jodhpur（焦浦印度理工学院）；Indian Statistical Institute Kolkata（加尔各答印度统计研究所）
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 (reduced, spin-only) wave function of the system, which is conditional on the realized location values of the particles. In this way, the unavoidable contextua…
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 derivation by Kochen and Specker was rather complex, but considerable simplifications have been achieved thereafter. We propose a systematic approach to find minimal Hardy-type and Greenberger-Horne-Zeilinger-type (GHZ-type) proofs of the Kochen-Specker theorem, these are characterized by the fact that the predictions of classical models are opposite to the …
Quantum mechanics provides a statistical description about nature, and thus would be incomplete if its statistical predictions could not be accounted for by some realistic models with hidden variables. There are, however, two powerful theorems against the hidden-variable theories showing that certain quantum features cannot be reproduced based on two rationale premises of locality, Bell's theorem, and noncontextuality, due to Bell, Kochen and Specker (BKS). Noncontextuality is independent of nonlocality, and the contextuality manifests itself even in a single object. Here we report an experime…
This paper is based on four assumptions: 1. Physical reality is made of linearly behaving components combined in non-linear ways. 2. Higher level behaviour emerges from this lower level structure. 3. The way the lower level elements behaves depends on the context in which they are imbedded. 4. Quantum theory applies to the lower level entities. An implication is that higher level effective laws, based in the outcomes of non-linear combinations of lower level linear interactions, will generically not be unitary; hence the applicability of quantum theory at higher levels is strictly limited. Thi…
Quantum mechanics provides a statistical description about nature, and thus would be incomplete if its statistical predictions could not be accounted for some realistic models with hidden variables. There are, however, two powerful theorems against the hidden-variable theories showing that certain quantum features cannot be reproduced based on two rationale premises of classicality, the Bell theorem, and noncontextuality, due to Bell, Kochen and Specker (BKS) . Tests of the Bell inequality and the BKS theorem are both of fundamental interests and of great significance . The Bell theorem has al…
Let random vectors $R^c=\{R_p^c:p\in P_c\}$ represent joint measurements of certain subsets $P_c$ of properties $p\in P$ in different contexts $c\in C$. Such a system is traditionally called noncontextual if there exists a jointly distributed set $\{Q_p:p\in P\}$ of random variables such that $R^c$ has the same distribution as $\{Q_p:p\in P_c\}$ for all $c\in C$. A trivial necessary condition for noncontextuality and a precondition for most approaches to measuring contextuality is that the system is consistently connected, i.e., all $R_p^c,R_p^{c'},\dots$ measuring the same property $p$ have t…
Recently, there has been some discussion of how Dutch Book arguments might be used to demonstrate the rational incoherence of certain hidden variable models of quantum theory (Feintzeig and Fletcher 2017). In this paper, we argue that the 'form of inconsistency' underlying this alleged irrationality is deeply and comprehensively related to the more familiar 'inconsistency' phenomenon of contextuality. Our main result is that the hierarchy of contextuality due to Abramsky and Brandenburger (2011) corresponds to a hierarchy of additivity/convexity-violations which yields formal Dutch Books of di…
As quantum contextuality proves to be a necessary resource for universal quantum computation, we present a general method for vector generation of Kochen-Specker (KS) contextual sets in the form of hypergraphs. The method supersedes all three previous methods: (i) fortuitous discoveries of smallest KS sets, (ii) exhaustive upward hypergraph-generation of sets, and (iii) random downward generation of sets from fortuitously obtained big master sets. In contrast to previous works, we can generate master sets which contain all possible KS sets starting with nothing but a few simple vector componen…
A hidden-variable model for quantum-mechanical spin, as represented by the Pauli spin operators, is proposed for systems illustrating the well-known no-hidden-variables arguments by Peres and Mermin (1990) and by Greenberger, Horne, and Zeilinger (1989). Both arguments rely on an assumption of non-contextuality; the latter argument can also be phrased as a non-locality argument, using a locality assumption. The model suggested here is compatible with both assumptions. This is possible because the scalar values of spin observables are replaced by vectors that are components of orientations.
