Violation of a noncontextuality inequality or the phenomenon referred to `quantum contextuality' is a fundamental feature of quantum theory. In this article, we derive a novel family of noncontextuality inequalities along with their sum-of-squares decompositions in the simplest (odd-cycle) sequential-measurement scenario capable to demonstrate Kochen-Specker contextuality. The sum-of-squares decompositions allow us to obtain the maximal quantum violation of these inequalities and a set of algebraic relations necessarily satisfied by any state and measurements achieving it. With their help, we prove that our inequalities can be used for self-testing of three-dimensional quantum state and measurements. Remarkably, the presented self-testing results rely on a single assumption about the measurement device that is much weaker than the assumptions considered in Kochen-Specker contextuality.
Two types of inequalities, Kochen-Specker inequalities and noncontextuality inequalities, are both used to demonstrate the incompatibility between the noncontextual hidden variable model and quantum mechanics. It has been thought that noncontextuality inequalities are much more potent than Kochen-Specker inequalities, since the latter are constrained by the Kochen-Specker rules, which are regarded as an extra constraint imposed on the noncontextual hidden variable model. However, we find that a noncontextuality inequality exists in a ray set if and only if a Kochen-Specker inequality exists in…
Noncontextuality inequalities are usually derived from the distinguishability properties of quantum states, i.e. their orthogonality. Here, we show that antidistinguishability can also be used to derive noncontextuality inequalities. The Yu-Oh 13 ray noncontextuality inequality can be re-derived and generalized as an instance of our antidistinguishability method. For some sets of states, the antidistinguishability method gives tighter bounds on noncontextual models than just considering orthogonality, and the Hadamard states provide an example of this. We also derive noncontextuality inequalit…
A new theory-independent noncontextuality inequality is presented [Phys. Rev. Lett. 115, 110403 (2015)] based on Kochen-Specker (KS) set without imposing the assumption of determinism. By proposing novel noncontextuality inequalities, we show that such result can be generalized from KS set to the noncontextuality inequalities not only for state-independent but also for state-dependent scenario. The YO-13 ray and $n$ cycle ray are considered as examples.
Contextuality is the leading notion of nonclassicality for a single system. However, an experimental demonstration requires finding procedures that are operationally equivalent, which might seem impossible to achieve exactly. Here I focus on the simplest non-trivial case, four preparations and two tomographically complete binary measurements. Exploiting a subtle connection to the CHSH scenario gives eight non-linear inequalities which are together necessary and sufficient for the experimental statistics to admit a preparation noncontextual model in such a scenario. No fixed operational equival…
Within the framework of generalized noncontextuality, we introduce a general technique for systematically deriving noncontextuality inequalities for any experiment involving finitely many preparations and finitely many measurements, each of which has a finite number of outcomes. Given any fixed sets of operational equivalences among the preparations and among the measurements as input, the algorithm returns a set of noncontextuality inequalities whose satisfaction is necessary and sufficient for a set of operational data to admit of a noncontextual model. Additionally, we show that the space o…
The assumption of local realism in a Bell locality scenario imposes non-trivial conditions on the Shannon entropies of the associated probability distributions, expressed by linear entropic Bell inequalities. In principle, these entropic inequalities provide necessary but not sufficient criteria for the existence of a local hidden variable model reproducing the correlations, as, for example, the paradigmatic nonlocal PR-box is entropically not different from a classically correlated box. In this paper we show that for the n-cycle scenario, entropic inequalities completely characterize the set …
We propose a family of noncontextuality inequalities and show that they can be used for certification of multiqubit quantum systems. Our scheme, unlike those based on non-locality, does not require spatial separation between the subsystems, yet it makes use of certain compatibility relations between measurements. Moreover, it is scalable in the sense that the number of expectation values that are to be measured to observe contextuality scales polynomially with the number of qubits that are being certified. In a particular case we also show our scheme to be robust errors and experimental imperf…
Characterising unknown quantum states and measurements is a fundamental problem in quantum information processing. In this Letter, we provide a novel scheme to self-test local quantum systems using non-contextuality inequalities. Our work leverages the graph-theoretic framework for contextuality introduced by Cabello, Severini, and Winter, combined with tools from mathematical optimisation that guarantee the unicity of optimal solutions. As an application, we show that the celebrated Klyachko-Can-Biniciogglu-Shumovsky inequality and its generalisation to contextuality scenarios with odd n-cycl…
The Kochen-Specker theorem demonstrates that it is not possible to reproduce the predictions of quantum theory in terms of a hidden variable model where the hidden variables assign a value to every projector deterministically and noncontextually. A noncontextual value-assignment to a projector is one that does not depend on which other projectors - the context - are measured together with it. Using a generalization of the notion of noncontextuality that applies to both measurements and preparations, we propose a scheme for deriving inequalities that test whether a given set of experimental sta…
The problem of separating classical from quantum correlations is in general intractable and has been solved explicitly only in few cases. In particular, known methods cannot provide general solutions for an arbitrary number of settings. We provide the complete characterization of the classical correlations and the corresponding maximal quantum violations for the case of n >= 4 observables X_0, ...,X_{n-1}, where each consecutive pair {X_i,X_{i+1}}, sum modulo n, is jointly measurable. This generalizes both the Clauser-Horne-Shimony-Holt and the Klyachko-Can-Binicioglu-Shumovsky scenarios, whic…
Noncontextuality inequalities for prepare-transform-measure scenarios
International Centre for Theory of Quantum Technologies, University of Gdańsk（格但斯克大学量子技术理论国际中心）；Perimeter Institute for Theoretical Physics（理论物理 perimeter 研究所）；Basic Research Community for Physics e.V.（基础物理社区协会）
The inequalities that separate contextual from noncontextual correlations for the n-cycle scenario (consisting of n dichotomic observables Oj, with j = 0, ..., n-1 and such that Oj and Oj+1 are jointly measurable) have been recently identified [arXiv:1206.3212 (2012)]. Here we report the results of an experiment designed to reach the maximum quantum violation of these inequalities for any even number of observables ranging from 4 to 14. The four dimensional Hilbert space required for the test was spanned by two photonic qubits encoded in the transversal path of photon pairs, and the joint meas…
The quest for fundamental test of quantum mechanics is an ongoing effort. We here address the question of what are the lowest possible moments needed to prove quantum nonlocality and noncontextuality without any further assumption -- in particular without the often assumed dichotomy. We first show that second order correlations can always be explained by a classical noncontextual local-hidden-variable theory. Similar third-order correlations also cannot violate classical inequalities in general, except for a special state-dependent noncontextuality. However, we show that fourth-order correlati…
The Kochen-Specker theorem rules out models of quantum theory wherein projective measurements are assigned outcomes deterministically and independently of context. This notion of noncontextuality is not applicable to experimental measurements because these are never free of noise and thus never truly projective. For nonprojective measurements, therefore, one must drop the requirement that an outcome is assigned deterministically in the model and merely require that it is assigned a distribution over outcomes in a manner that is context-independent. By demanding context-independence in the repr…
For any Bell locality scenario (or Kochen-Specker noncontextuality scenario), the joint Shannon entropies of local (or noncontextual) models define a convex cone for which the non-trivial facets are tight entropic Bell (or contextuality) inequalities. In this paper we explore this entropic approach and derive tight entropic inequalities for various scenarios. One advantage of entropic inequalities is that they easily adapt to situations like bilocality scenarios, which have additional independence requirements that are non-linear on the level of probabilities, but linear on the level of entrop…
Quantum contextuality is one of the fundamental notions in quantum mechanics. Proofs of the Kochen-Specker theorem and noncontextuality inequalities are two means for revealing the contextuality phenomenon in quantum mechanics. It has been found that some proofs of the Kochen-Specker theorem, such as those based on rays, can be converted to a state-independent noncontextuality inequality, but it remains open whether it is true in general, i.e., whether any proof of the Kochen-Specker theorem can always be converted to a noncontextuality inequality. In this paper, we address this issue. We prov…
When a measurement is compatible with each of two other measurements that are incompatible with one another, these define distinct contexts for the given measurement. The Kochen-Specker theorem rules out models of quantum theory that satisfy a particular assumption of context-independence: that sharp measurements are assigned outcomes both deterministically and independently of their context. This notion of noncontextuality is not suited to a direct experimental test because realistic measurements always have some degree of unsharpness due to noise. However, a generalized notion of noncontextu…
Measurement scenarios containing events with relations of exclusivity represented by pentagons, heptagons, nonagons, etc., or their complements are the only ones in which quantum probabilities cannot be described classically. Interestingly, quantum theory predicts that the maximum values for any of these graphs cannot be achieved in Bell inequality scenarios. With the exception of the pentagon, this prediction remained experimentally unexplored. Here we test the quantum maxima for the heptagon and the complement of the heptagon using three- and five-dimensional quantum states, respectively. In…
Quantum theory has the intriguing feature that is inconsistent with noncontextual hidden variable models, for which the outcome of a measurement does not depend on which other compatible measurements are being performed concurrently. While various proofs of such contextual behavior of quantum systems have been established, relatively little is known concerning the possibility to demonstrate this intriguing feature for indistinguishable particles. Here, we show in a simple and systematic manner that with projective measurements alone, it is possible to demonstrate quantum contextuality for such…
Finding quantitative aspects of quantum phenomena which cannot be explained by any classical model has foundational importance for understanding the boundary between classical and quantum theory. It also has practical significance for identifying information processing tasks for which those phenomena provide a quantum advantage. Using the framework of generalized noncontextuality as our notion of classicality, we find one such nonclassical feature within the phenomenology of quantum minimum error state discrimination. Namely, we identify quantitative limits on the success probability for minim…
A basic assumption behind the inequalities used for testing noncontextual hidden variable models is that the observables measured on the same individual system are perfectly compatible. However, compatibility is not perfect in actual experiments using sequential measurements. We discuss the resulting "compatibility loophole" and present several methods to rule out certain hidden variable models which obey a kind of extended noncontextuality. Finally, we present a detailed analysis of experimental imperfections in a recent trapped ion experiment and apply our analysis to that case.
The contextuality and noncontextuality notions are considered in framework of probability representation of quantum states. Example of qutrit states and violation of the noncontextuality inequalities are presented by using the spin tomogram and tomographic symbols of the observables.
Kochen-Specker (KS) theorem reveals the inconsistency between quantum theory and any putative underlying model of it satisfying the constraint of KS-noncontextuality. A logical proof of the KS theorem is one that relies only on the compatibility relations amongst a set of projectors (a KS set) to witness this inconsistency. These compatibility relations can be represented by a hypergraph, referred to as a contextuality scenario. Here we consider contextuality scenarios that we term KS-uncolourable, e.g., those which appear in logical proofs of the KS theorem. We introduce a hypergraph framewor…
One of the fundamental results in quantum foundations is the Kochen-Specker no-go theorem. For the quantum theory, the no-go theorem excludes the possibility of a class of hidden variable models where value attribution is context independent. Recently, the notion of contextuality has been generalized for different operational procedures and it has been shown that preparation contextuality of mixed quantum states can be a useful resource in an information-processing task called parity-oblivious multiplexing. Here, we introduce a new class of information processing tasks, namely d-level parity o…
Efficient Computation of Generalized Noncontextual Polytopes and Quantum violation of their Facet Inequalities
International Institute of Information Technology（国际信息技术研究所）；Indian Institute of Science Education and Research Thiruvananthapuram（印度科学教育研究大学特里凡得琅分校）；Indian Institute of Technology Bhubaneswar（印度技术学院布巴内斯瓦尔分校）；Gdańsk University of Technology（格但斯克理工大学）；University of Gdańsk（格但斯克大学）；S. N. Bose National Centre for Basic Sciences（S.N. 玻色基础科学国家中心）；National Cheng Kung University（国立成功大学）
Testing a continuous-variable noncontextuality inequality with a hybrid-encoded system
The Niels Bohr Institute, University of Copenhagen（哥本哈根大学尼尔斯·玻尔研究所）；Department of Physics, Technical University of Denmark（丹麦技术大学物理系）；Experimental Physics VI, Faculty for Physics and Astronomy, Ruhr University Bochum（波鸿鲁尔大学物理与天文学院实验物理第六研究所）
Cyclic systems of dichotomous random variables have played a prominent role in contextuality research, describing such experimental paradigms as the Klyachko-Can-Binicoglu-Shumovky, Einstein-Podolsky-Rosen-Bell, and Leggett-Garg ones in physics, as well as conjoint binary choices in human decision making. Here, we understand contextuality within the framework of the Contextuality-by-Default (CbD) theory, based on the notion of probabilistic couplings satisfying certain constraints. CbD allows us to drop the commonly made assumption that systems of random variables are consistently connected. C…
The testability of the Kochen-Specker theorem is a subject of ongoing controversy. A central issue is that experimental implementations relying on sequential measurements cannot achieve perfect compatibility between the measurements and that therefore the notion of noncontextuality is not well defined. We demonstrate by an explicit model that such compatibility violations may yield a violation of noncontextuality inequalities, even if we assume that the incompatibilities merely originate from context-independent noise. We show, however, that this problem can be circumvented by combining the id…
A characterization of noncontextual models which fall within the ambit of Fine's theorem is provided. In particular, the equivalence between the existence of three notions is made explicit: a joint probability distribution over the outcomes of all the measurements considered, a measurement-noncontextual and outcome-deterministic (or KS-noncontextual, where 'KS' stands for 'Kochen-Specker') model for these measurements, and a measurement-noncontextual and factorizable model for them. A KS-inequality, therefore, is implied by each of these three notions. Following this characterization of noncon…
We look at what type of arguments can rule out the joint reality (or value definiteness) of two observables of a physical system, such as a qubit, and give several strong yet simple no-go results based on assumptions typically weaker than those considered previously. The first result uses simple geometry combined with a locality assumption to derive device-independent steering inequalities. These may also be regarded as "conditional" Bell inequalities, are simpler in principle to test than standard Bell inequalities, and for two-qubit systems are related to properties of the quantum steering e…
We discuss some inequalities for N nonnegative numbers. We use these inequalities to obtain known inequalities for probability distributions and new entropic and information inequalities for quantum tomograms of qudit states. The inequalities characterize the degree of quantum correlations in addition to noncontextuality and quantum discord. We use the subadditivity and strong subadditivity conditions for qudit tomographic-probability distributions depending on the unitary-group parameters in order to derive new inequalities for Shannon, Renyi, and Tsallis entropies of spin states.
We show that the state-independent violation of inequalities for noncontextual hidden variable theories introduced in [Phys. Rev. Lett. 101, 210401 (2008)] is universal, i.e., occurs for any quantum mechanical system in which noncontextuality is meaningful. We describe a method to obtain state-independent violations for any system of dimension d > 2. This universality proves that, according to quantum mechanics, there are no "classical" states.
We develop a hypergraph-theoretic framework for Spekkens contextuality applied to Kochen-Specker (KS) type scenarios that goes beyond the Cabello-Severini-Winter (CSW) framework. To do this, we add new hypergraph-theoretic ingredients to the CSW framework. We then obtain noise-robust noncontextuality inequalities in this generalized framework by applying the assumption of (Spekkens) noncontextuality to both preparations and measurements. The resulting framework goes beyond the CSW framework, both conceptually and technically. On the conceptual level: 1) we relax the assumption of outcome deter…
Which is the simplest logical structure for which there is quantum nonlocality? We show that there are only three bipartite Bell inequalities with quantum violation associated with the simplest graph of relationships of exclusivity with a quantum-classical gap. These are the most elementary logical Bell inequalities. We show that the quantum violation of some well-known Bell inequalities is related to them. We test the three Bell inequalities with pairs of polarization-entangled photons and report violations in good agreement with the quantum predictions. Unlike other experiments testing nonco…
The predictions of quantum theory resist generalised noncontextual explanations. In addition to the foundational relevance of this fact, the particular extent to which quantum theory violates noncontextuality limits available quantum advantage in communication and information processing. In the first part of this work, we formally define contextuality scenarios via prepare-and-measure experiments, along with the polytope of general contextual behaviours containing the set of quantum contextual behaviours. This framework allows us to recover several properties of set of quantum behaviours in th…
When it isn't possible to tell two distinct experimental procedures apart purely from their input/output statistics, then it seems a plausible hypothesis that the two procedures must be physically identical. We call such a hypothesis "noncontextuality", an instance of Leibniz's principle of the identity of indiscernibles. Read in the contrapositive, this hypothesis entails that any physical distinctions between two experimental procedures must necessarily lead to a difference in their operational statistics. The results I present in this thesis concern the failure of this hypothesis -- a failu…
Contextuality is a natural generalization of nonlocality which does not need composite systems or spacelike separation and offers a wider spectrum of interesting phenomena. Most notably, in quantum mechanics there exist scenarios where the contextual behavior is independent of the quantum state. We show that the quest for an optimal inequality separating quantum from classical noncontextual correlations in an state-independent manner admits an exact solution, as it can be formulated as a linear program. We introduce the noncontextuality polytope as a generalization of the locality polytope, an…
A fundamental problem is to understand why quantum theory only violates some noncontextuality (NC) inequalities and identify the physical principles that prevent higher-than-quantum violations. We prove that quantum theory only violates those NC inequalities whose exclusivity graphs contain, as induced subgraphs, odd cycles of length five or more, and/or their complements. In addition, we show that odd cycles are the exclusivity graphs of a well-known family of NC inequalities and that there is also a family of NC inequalities whose exclusivity graphs are the complements of odd cycles. We char…
In quantum information theory, entropic inequalities act as the necessary and sufficient conditions to noncontextuality. Here, we first experimentally demonstrate the violation of the entropic noncontextual inequality in a four-level quantum system, by using the five-qubit IBM quantum computer. The experimental result disproves the existence of a local realist model.
Quantifiers and witnesses for the nonclassicality of measurements and of states
Institute for Quantum Computing, University of Waterloo（量子计算研究所，滑铁卢大学）；Department of Physics & Astronomy, University of Waterloo（物理与天文学系，滑铁卢大学）；Perimeter Institute for Theoretical Physics（理论物理前沿研究所）
A novel approach for analyzing "classical" alternatives to quantum mechanics for explaining the statistical results of an EPRB-like experiment is proposed. This perspective is top-down instead of bottom-up. Rather than beginning with an inequality derivation, a hierarchy of model types is constructed, each distinguished by appropriately parameterized conditional probabilities. This hierarchy ranks the "classical" model types in terms of their ability to reproduce QM statistics or not. The analysis goes beyond the usual consideration of model types that "fall short" (i.e., satisfy all of the CH…
The most promising candidate for being the fundamental principle of quantum contextuality is the Exclusivity principle, which states that the sum of the probabilities of a set of pairwise exclusive events cannot exceed 1. By itself, the Exclusivity principle singles out the maximum quantum value for some important Bell and noncontextuality inequalities. We can get better results if we apply the E principle to more sophisticated scenarios. This happens because this principle exhibits activation effects: a distribution satisfying this principles does not necessarily satisfy it when combined with…
The notion of (non)contextuality pertains to sets of properties measured one subset (context) at a time. We extend this notion to include so-called inconsistently connected systems, in which the measurements of a given property in different contexts may have different distributions, due to contextual biases in experimental design or physical interactions (signaling): a system of measurements has a maximally noncontextual description if they can be imposed a joint distribution on in which the measurements of any one property in different contexts are equal to each other with the maximal probabi…
We show that the phenomenon of quantum contextuality can be used to certify lower bounds on the dimension accessed by the measurement devices. To prove this, we derive bounds for different dimensions and scenarios of the simplest noncontextuality inequalities. The resulting dimension witnesses work independently of the prepared quantum state. Our constructions are robust against noise and imperfections, and we show that a recent experiment can be viewed as an implementation of a state-independent quantum dimension witness.
The quantum predictions for a single nonrelativistic spin-1/2 particle can be reproduced by noncontextual hidden variables. Here we show that quantum contextuality for a relativistic electron moving in a Coulomb potential naturally emerges if relativistic effects are taken into account. The contextuality can be identified through the violation of noncontextuality inequalities. We also discuss quantum contextuality for the free Dirac electron as well as the relativistic Dirac oscillator.
In this thesis we explore the questions of what should be considered a "classical" theory, and which aspects of quantum theory cannot be captured by any theory that respects our intuition of classicality. This exploration is divided in two parts: in the first we review classical results of the literature, such as the Kochen-Specker theorem, von Neumann's theorem, Gleason's theorem, as well as more recent ideas, such as the distinction between $ψ$-ontic and $ψ$-epistemic ontological models, Spekkens' definition of contextuality, Hardy's ontological excess baggage theorem and the PBR theorem. Th…
The information-theoretic approach to Bell's theorem is developed with use of the conditional $q$-entropies. The $q$-entropic measures fulfill many similar properties to the standard Shannon entropy. In general, both the locality and noncontextuality notions are usually treated with use of the so-called marginal scenarios. These hypotheses lead to the existence of a joint probability distribution, which marginalizes to all particular ones. Assuming the existence of such a joint probability distribution, we derive the family of inequalities of Bell's type in terms of conditional $q$-entropies f…
We present a study of quantum contextuality of three-dimensional mixed states for the Klyachko-Can-Binicioğlu-Shumovsky (KCBS) and the Kurzyński-Kaszlikowski (KK) noncontextuality inequalities. For any class of states whose eigenvalues are arranged in decreasing order, a universal set of measurements always exists for the KK inequality, whereas none does for the KCBS inequality. This difference can be reflected from the spectral distribution of the overall measurement matrix. Our results would facilitate the error analysis for experimental setups, and our spectral method in the paper combined …
Quantum nonlocality, one of the most important features of quantum mechanics, is normally connected in experiments with the violation of Bell-Clauser-Horne (Bell-CH) inequalities. We propose effective methods for the rearrangement and linear inequality to prove a large variety of Bell-CH inequalities. We also derive a set of Bell-CH inequalities by using these methods which can be violated in some quantum entangled states.
