Contextuality is a distinctive feature of quantum theory and a fundamental resource for quantum computation. However, existing examples of contextuality in high-dimensional systems lack the necessary robustness required in experiments. Here we address this problem by identifying a family of noncontextuality inequalities whose maximum quantum violation grows with the dimension of the system. At first glance, this contextuality is the single-system version of multipartite Bell nonlocality taken to an extreme form. What is interesting is that the single-system version achieves the same degree of contextuality but uses a Hilbert space of lower dimension. That is, contextuality ``concentrates'' as the degree of contextuality per dimension increases. We show the practicality of this result by presenting an experimental test of contextuality in a seven-dimensional system. By simulating sequences of quantum ideal measurements with destructive measurements and repreparation in an all-optical setup, we report a violation of 68.7 standard deviations of the simplest case of the noncontextuality inequalities identified. Our results advance the investigation of high-dimensional contextuality, its connection to the Clifford algebra, and its role in quantum computation.
Contextuality is an indicator of non-classicality, and a resource for various quantum procedures. In this paper, we use contextuality to evaluate the variational quantum eigensolver (VQE), one of the most promising tools for near-term quantum simulation. We present an efficiently computable test to determine whether or not the objective function for a VQE procedure is contextual. We apply this test to evaluate the contextuality of experimental implementations of VQE, and determine that several, but not all, fail this test of quantumness.
Contextuality provides a unifying paradigm for nonclassical aspects of quantum probabilities and resources of quantum information. Unfortunately, most forms of quantum contextuality remain experimentally unexplored due to the difficulty of performing sequences of projective measurements on individual quantum systems. Here we show that two-point correlations between binary compatible observables are sufficient to reveal any form of contextuality. This allows us to design simple experiments that are more robust against imperfections and easier to analyze, thus opening the door for observing inte…
We report the first state-independent experimental test of quantum contextuality on a single photonic qutrit (three-dimensional system), based on a recent theoretical proposal [Yu and Oh, Phys. Rev. Lett. 108, 030402 (2012)]. Our experiment spotlights quantum contextuality in its most basic form, in a way that is independent of either the state or the tensor product structure of the system.
We propose a test of quantum contextuality for a single three-level system that uses nine projective measurements. It has a form of an inequality that has to be satisfied by any non-contextual theory and which is violated by any quantum state, except for the maximally mixed one. Due to the fact that there is only a single state that does not exhibit contextuality, it is natural to ask what the difference between state-independent tests and the one proposed here is.
Contextuality is considered as an intrinsic signature of non-classicality, and a crucial resource for achieving unique advantages of quantum information processing. However, recently there have been debates on whether classical fields may also demonstrate contextuality. Here we experimentally configure a contextuality test for optical fields, adopting various definitions of measurement events, and analyse how the definitions affect the emergence of non-classical correlations. The heralded single photon state, a typical non-classical light field, manifests contextuality in our setup, while cont…
We show that there are Bell-type inequalities for noncontextual theories that are violated by any quantum state. One of these inequalities between the correlations of compatible measurements is particularly suitable for testing this state-independent violation in an experiment.
We introduce a multipartite extension of an information-theoretic distance first introduced in [Nature 341, 119 (1989)]. We use this new distance to derive entropic tests of multipartite nonlocality for three and for an arbitrary even number of qubits as well as a test of state-independent contextuality. In addition, we re-derive the tripartite Mermin inequality and a state-independent non-contextuality inequality by Cabello [Phys. Rev. Lett. 101, 210401 (2008)]. This suggests that the information-theoretic distance approach to multipartite nonlocality and state-independent contextuality can p…
We present a new and feasible test proving quantum contextuality in four-dimensional Hiltbert space. In our scheme, a contradiction between quantum mechanics and noncontextual hidden variables is revealed through the measurement statistics of two joint measurements of an ensemble of non-entangled qubits. The origin of nonclassicality is fully attributed to the measurement process. Quantum optical realization using photon pairs and linear optics are presented.
It has been argued that any test of quantum contextuality is nullified by the fact that perfect orthogonality and perfect compatibility cannot be achieved in finite precision experiments. We introduce experimentally testable two-qutrit violations of inequalities for noncontextual theories in which compatibility is guaranteed by the fact that measurements are performed on separated qutrits. The inequalities are inspired by the basic building block of the Kochen-Specker proof of quantum contextuality for a qutrit, despite the fact that their proof is completely independent of it.
We argue that the experiment described in the recent Letter by Zu et al. [Phys. Rev. Lett. 109, 150401 (2012); arXiv:1207.0059v1] does not allow to make conclusions about contextuality, since the measurement of the observables as well as the preparation of the state manifestly depend on the chosen context.
A PhD student is locked inside a box, imitating a quantum system by mimicking the measurement statistics of any viable observable nominated by external observers. Inside a second box lies a genuine quantum system. Either box can be used to pass a test for contextuality - and from the perspective of an external observer, be operationally indistinguishable. There is no way to discriminate between the two boxes based on the output statistics of any contextuality test. This poses a serious problem for contextuality tests to be used as viable tests for device independent quantumness, and severely l…
We show that, for any system with a number of levels which can be identified with n qubits, there is an inequality for the correlations between three compatible dichotomic measurements which must be satisfied by any noncontextual theory, but is violated by any quantum state. Remarkably, the violation grows exponentially with n, and the tolerated error per correlation also increases with n, showing that state-independent quantum contextuality is experimentally observable in complex systems.
Our everyday experiences support the hypothesis that physical systems exist independently of the act of observation. Concordant theories are characterized by the objective realism assumption whereby the act of measurement simply reveals preexisting well defined elements of reality. In stark contrast quantum mechanics portrays a world in which reality loses its objectivity and is in fact created by observation. Quantum contextuality as first discovered by Bell [Rev. Mod. Phys. 38, 447 (1966)] and Kochen-Specker [J. Math. Mech. 17, 59 (1967)] captures aspects of this philosophical clash between …
We study the contextuality of a three-level quantum system using classical conditional entropy of measurement outcomes. First, we analytically construct the minimal configuration of measurements required to reveal contextuality. Next, an entropic contextual inequality is formulated, analogous to the entropic Bell inequalities derived by Braunstein and Caves in [Phys. Rev. Lett. {\bf 61}, 662 (1988)], that must be satisfied by all non-contextual theories. We find optimal measurements for violation of this inequality. The approach is easily extendable to higher dimensional quantum systems and mo…
The Klyachko inequality is an inequality for the probabiities of the values of five observables of a spin-1 particle, which is satisfied by any noncontextual assignment of values to this set of observables, but is violated by the probabilities defined by a certain quantum state. We describe an experiment between two entangled spin-1 particles to test contextuality via a related inequality. We point out that a test of contextuality by measurements on a single particle to confirm the Klyachko inequality requires an assumption of non-disturbance by the measuring instrument, which is avoided in th…
We show that an experimental demonstration of quantum contextuality using 2 degrees of freedom of single neutrons based on a violation of an inequality derived from the Peres-Mermin proof of the Kochen-Specker theorem would be more conclusive than those obtained from previous experiments involving pairs of ions [M. A. Rowe et al., Nature (London) 409, 791 (2001)] and single neutron [Y. Hasegawa et al., Nature (London) 425, 45 (2003)] based on violations of Clauser-Horne-Shimony-Holt-like inequalities.
Quantum nonlocality and contextuality are two phenomena stemming from nonclassical correlations. Whereas the former requires entanglement that is consumed in the measurement process the latter can occur for any state if one chooses a proper set of measurements. Despite this stark differences experimental tests of both phenomena were similar so far. For each run of the experiment one had to use a different copy of a physical system prepared according to the same procedure, or the system had to be brought to its initial state. Here we show that this is not necessary and that the state-independen…
Indirect Indication of the KCBS-Type Quantum Contextuality by the CHSH-Bell Test
Faculty of Engineering and Natural Sciences, Sabanci University（萨贝里大学工程与自然科学学院）；Sabanci University（萨贝里大学）；International Centre for Theory of Quantum Technologies, University of Gdansk（格但斯克大学量子技术理论国际中心）；University of Gdansk（格但斯克大学）
An experiment has recently been performed to demonstrate quantum nonlocality by establishing contextuality in one of a pair of photons encoding four qubits; however, low detection efficiencies and use of the fair-sampling hypothesis leave these results open to possible criticism due to the detection loophole. In this Letter, a physically motivated local hidden-variable model is considered as a possible mechanism for explaining the experimentally observed results. The model, though not intrinsically contextual, acquires this quality upon post-selection of coincident detections.
We experimentally test quantum contextuality of a single qutrit using NMR. The contextuality inequalities based on nine observables developed by Kurzynski et. al. are first reformulated in terms of traceless observables which can be measured in an NMR experiment. These inequalities reveal the contextuality of almost all single-qutrit states. We demonstrate the violation of the inequality on four different initial states of a spin-1 deuterium nucleus oriented in a liquid crystal matrix, and follow the violation as the states evolve in time. We also describe and experimentally perform a single-s…
We experimentally observed state-independent violations of Kochen-Specker inequalities for the simplest indivisible quantum system manifesting quantum contextuality, a three-level (qutrit) system. We performed the experiment with a single trapped ^{171}Yb^{+} ion, by mapping three ground states of the ^{171}Yb^{+} ion to a qutrit system and carrying out quantum operatations by applying microwaves resonant to the qutrit transition frequencies. Our results are free from the detection loophole and cannot be explained by the non-contextual hidden variable models.
The question of whether quantum phenomena can be explained by classical models with hidden variables is the subject of a long lasting debate. In 1964, Bell showed that certain types of classical models cannot explain the quantum mechanical predictions for specific states of distant particles. Along this line, some types of hidden variable models have been experimentally ruled out. An intuitive feature for classical models is non-contextuality: the property that any measurement has a value which is independent of other compatible measurements being carried out at the same time. However, the res…
We consider any noncontextuality inequality, and the state preparation scheme which consists in performing any von Neumann measurement on any initial state. For an inequality which is not always satisfied, and Hilbert space dimensions greater than a value specified by the inequality, we determine necessary and sufficient conditions for the existence of observables with which the inequality is violated after the preparation process. For an initial state with no zero eigenvalues, there are always such observables, and which are independent of this state.
We present a protocol to evaluate the expectation value of the correlations of measurement outcomes for ensembles of quantum systems, and use it to experimentally demonstrate--under an assumption of fair sampling--the violation of an inequality that is satisfied by any non-contextual hidden-variables (NCHV) theory. The experiment is performed on an ensemble of molecular nuclear spins in the solid state, using established Nuclear Magnetic Resonance (NMR) techniques for quantum information processing (QIP).
We performed an experimental test of the Kochen-Specker theorem based on an inequality derived from the Peres-Mermin proof, using spin-path (momentum) entanglement in a single neutron system. Following the strategy proposed by Cabello et al. [Phys. Rev. Lett. 100, 130404 (2008)], a Bell-like state was generated and three expectation values were determined. The observed violation 2.291 +/- 0.008 > 1 clearly shows that quantum mechanical predictions cannot be reproduced by noncontextual hidden variables theories.
Two distant systems can exhibit quantum nonlocality even though the correlations between them admit a local model. This nonlocality can be revealed by testing extra correlations between successive measurements on one of the systems which do not admit a noncontextual model whatever the reduced state of this system is. This shows that quantum contextuality plays a fundamental role in quantum nonlocality, and allows an experimental test of the Kochen-Specker with locality theorem.
We solve the problem of whether a set of quantum tests reveals state-independent contextuality and use this result to identify the simplest set of the minimal dimension. We also show that identifying state-independent contextuality graphs [R. Ramanathan and P. Horodecki, Phys. Rev. Lett. 112, 040404 (2014)] is not sufficient for revealing state-independent contextuality.
Recently, an inequality satisfied by non-contextual hidden-variable models and violated by quantum mechanics for all states of a four-level system has been derived based on information-theoretic distance approach to non-classical correlations. In this work, we experimentally demonstrate violation of this inequality with single photons. Our experiment offers a method to study a distinction between quantum and classical correlations from an information-theoretic perspective.
I examine Pan and Home's reply to my Comment on their proposal for testing noncontextual models. I show that the Kochen-Specker model for a qubit does explain all outcomes of a test based on such a proposal, so that it would be inconclusive about the untenability of realistic, noncontextual models.
We present a general framework for contextuality tests in phase space using displacement operators. First, we derive a general condition that a single-mode displacement operator should fulfill in order to construct Peres-Mermin square and similar scenarios. This approach offers a straightforward scheme for experimental implementations of the tests via modular variable measurements. In addition to the continuous variable case, our condition can also be applied to finite-dimensional systems in discrete phase space, using Heisenberg-Weyl operators. This approach, therefore, offers a unified pictu…
Recent experiments have demonstrated ququart state-independent quantum contextuality and qutrit state-dependent quantum contextuality. So far, the most basic form of quantum contextuality pointed out by Kochen and Specker, and Bell, has eluded experimental confirmation. Here we present an experimentally feasible test to observe qutrit state-independent quantum contextuality using single photons in a three-path setup. In addition, we show that if the same measurements are performed on two entangled qutrits, rather than sequentially on the same qutrit, then the noncontextual inequality becomes a…
A review is made of the field of contextuality in quantum mechanics. We study the historical emergence of the concept from philosophical and logical issues. We present and compare the main theoretical frameworks that have been derived. Finally, we focus on the complex task of establishing experimental tests of contextuality. Throughout this work, we try to show that the conceptualisation of contextuality has progressed through different complementary perspectives, before summoning them together to analyse the signification of contextuality experiments. Doing so, we argue that contextuality eme…
Contextuality is a foundational phenomenon underlying key differences between quantum theory and classical realistic descriptions of the world. Here we propose an experimental test which is capable of revealing contextuality in all qutrit systems, except the completely mixed state, provided we choose the measurement basis appropriately. The 3-level system is furnished by the polarization and spatial degrees of freedom of a single photon, which encompass three orthogonal modes. Projective measurements along rays in the 3-dimensional Hilbert space are made by linear optical elements and detector…
We report on the realization and application of non-destructive three-qubit parity measurements on nuclear spin qubits in diamond. We use high-fidelity quantum logic to map the parity of the joint state of three nuclear spin qubits onto an electronic spin qubit that acts as an ancilla, followed by single-shot non-destructive readout of the ancilla combined with an electron spin echo to ensure outcome-independent evolution of the nuclear spins. Through the sequential application of three such parity measurements, we demonstrate the generation of genuine multipartite entangled states out of the …
Quantum mechanics implies that not all physical properties can be simultaneously well defined, such as the momentum and position due to Heisenberg uncertainty principle. Some alternative theories have been explored, notably the non-contextual hidden variable theories in which the properties of a system have pre-defined values which are independent of the measurement contextual. However, the Kochen-Specker theorem showed that such non-contextual hidden variable theories are in conflict with quantum mechanics. Recently, a state-independent inequality satisfied by non-contextual hidden variable t…
Quantum measurements cannot be thought of as revealing preexisting results, even when they do not disturb any other measurement in the same trial. This feature is called contextuality and is crucial for the quantum advantage in computing. Here, we report the first observation of quantum contextuality simultaneously free of the detection, sharpness and compatibility loopholes. The detection and sharpness loopholes are closed by adopting a hybrid two-ion system and highly efficient fluorescence measurements offering a detection efficiency of $100\%$ and a measurement repeatability $>98\%$. The c…
We report a method that exploits a connection between quantum contextuality and graph theory to reveal any form of quantum contextuality in high-precision experiments. We use this technique to identify a graph which corresponds to an extreme form of quantum contextuality unnoticed before and test it using high-dimensional quantum states encoded in the linear transverse momentum of single photons. Our results open the door to the experimental exploration of quantum contextuality in all its forms, including those needed for quantum computation.
In this work we present a generalization of the recently developed Hardy-like logical proof of contextuality and of the so-called KCBS contextuality inequality for any qudit of dimension greater than three. Our approach uses compatibility graphs that can only be satisfied by qudits. We find a construction for states and measurements that satisfy these graphs and demonstrate both logical and inequality based contextuality for qudits. Interestingly, the quantum violation of the inequality is constant as dimension increases. We also discuss the issue of imprecision in experimental implementations…
We propose a method to experimentally demonstrate contextuality with a family of tests for qudits. The experiment we propose uses a qudit encoded in the path of a single photon and its temporal degrees of freedom. We consider the impact of noise on the effectiveness of these tests, taking the approach of ontologically faithful non-contextuality. In this approach, imperfections in the experimental set up must be taken into account in any faithful ontological (classical) model, which limits how much the statistics can deviate within different contexts. In this way we bound the precision of the e…
Exploring the graph approach, we restate the extended definition of noncontextuality provided by the contextuality-by-default framework. This extended definition avoids the assumption of nondisturbance, which states that whenever two contexts overlap, the marginal distribution obtained for the intersection must be the same. We show how standard tools for characterizing contextuality can also be used in this extended framework for any set of measurements and, in addition, we also provide several conditions that can be tested directly in any contextuality experiment. Our conditions reduce to tra…
Quantum contextuality in systems of identical bosonic particles is explicitly exhibited via the maximum violation of a suitable inequality of Clauser-Horne-Shimony-Holt type. Unlike the approaches considered so far, which make use of single-particle observables, our analysis involves collective observables constructed using multi-boson operators. An exemplifying scheme to test this violation with a quantum optical setup is also discussed.
A theory is universal contextual if its prediction cannot be reproduced by an ontological model satisfying both preparation and measurement noncontextuality assumptions. In this report, we first generalize the logical proofs of quantum preparation and measurement contextuality for qubit system for any odd number of preparations and measurements. Based on the logical proof, we derive testable universally non-contextual inequalities violated by quantum theory. We then propose a class of two-party communication games and show that the average success probability of winning such games is solely li…
Simulating quantum contextuality with classical systems requires memory. A fundamental yet open question is what is the minimum memory needed and, therefore, the precise sense in which quantum systems outperform classical ones. Here, we make rigorous the notion of classically simulating quantum state-independent contextuality (QSIC) in the case of a single quantum system submitted to an infinite sequence of measurements randomly chosen from a finite QSIC set. We obtain the minimum memory needed to simulate arbitrary QSIC sets via classical systems under the assumption that the simulation shoul…
Contextuality and entanglement are valuable resources for quantum computing and quantum information. Bell inequalities are used to certify entanglement; thus, it is important to understand why and how they are violated. Quantum mechanics and behavioral sciences teach us that random variables measuring the same content (the answer to the same Yes or No question) may vary, if measured jointly with other random variables. Alice and Bob raw data confirm Einsteinian non-signaling, but setting dependent experimental protocols are used to create samples of coupled pairs of distant outcomes and to est…
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…
Communication games are collaborative information processing tasks involving a number of players with limited communication. Such games are useful tools for studying physical theories. A physical theory exhibits preparation contextuality whenever observed behaviour cannot be explained by a preparation noncontextual model. Here we show that there is a fundamental connection between the performance in communication games and the degree of preparation (non)contextuality. For this purpose, we present a general framework that allows us to construct communication games such that the game performance…
Nowadays contextuality is the hotest topic of quantum foundations and, especially, foundations of quantum information theory. This notion is characterized by the huge diversity of approaches and interpretations. One of the strongest trends in contextual research is to identify contextuality with violation of the Bell inequalities. We call this sort of contextuality {\it Bell test contextuality} (BTC). In this note, we criticize the BTC-approach. It can be compared with an attempt to identify the complex and theoretically nontrivial notion of randomness with a test for randomness (or a batch of…
Exploring quantum phenomena beyond predictions of any classical model has fundamental importance to understand the boundary of classical and quantum descriptions of nature. As a typical property that a quantum system behaves distinctively from a classical counterpart, contextuality has been studied extensively and verified experimentally in systems composed of at least three levels (qutrit). Here we extend the scope of experimental test of contextuality to a minimal quantum system of only two states (qubit) by implementing the minimum error state discrimination on a single $^{171}$Yb$^+$ ion. …
Contextuality is one way of capturing the non-classicality of quantum theory. The contextual nature of a theory is often witnessed via the violation of non-contextuality inequalities---certain linear inequalities involving probabilities of measurement events. Using the exclusivity graph approach (one of the two main graph theoretic approaches for studying contextuality), it was shown [PRA 88, 032104 (2013); Annals of mathematics, 51-299 (2006)] that a necessary and sufficient condition for witnessing contextuality is the presence of an odd number of events (greater than three) which are either…
Previous experimental tests of quantum contextuality based on the Bell-Kochen-Specker (BKS) theorem have demonstrated that not all observables among a given set can be assigned noncontextual eigenvalue predictions, but have never identified which specific observables must fail such assignment. We now remedy this shortcoming by showing that BKS contextuality can be confined to particular observables by pre- and postselection, resulting in anomalous weak values that we measure using modern neutron interferometry. We construct a confined contextuality witness from weak values, which we measure ex…
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…
The non-classicality of single quantum systems can be formalised using the notion of contextuality. But can contextuality be convincingly demonstrated in an experiment, without reference to the quantum formalism? The operational approach to contextuality due to Spekkens requires finding operationally equivalent preparation procedures. Previously these have been obtained by demanding indistinguishability under a set of measurements taken to be tomographically complete. In the language of generalised probability theories, this requires the ability to explore all the dimensions of the system's st…
