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.
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…
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…
We report a single-neutron optical experiment to demonstrate the violation of a Bell-like inequality. Entanglement is achieved not between particles, but between the degrees of freedom, in this case, for a single-particle. The spin-{\small 1/2} property of neutrons are utilized. The total wave function of the neutron is described in a tensor product Hilbert space. A Bell-like inequality is derived not by a non-locality but by a contextuality. Joint measurements of the spinor and the path properties lead to the violation of a Bell-like inequality. Manipulation of the wavefunction in one Hilbert…
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.
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…
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 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).
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…
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.
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 …
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.
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.
The Contextuality-by-Default (CbD) theory allows one to separate contextuality from context-dependent errors and violations of selective influences (aka "no-signaling" or "no-disturbance" principles). This makes the theory especially applicable to behavioral systems, where violations of selective influences are ubiquitous. For cyclic systems with binary random variables, CbD provides necessary and sufficient conditions for noncontextuality, and these conditions are known to be breached in certain quantum systems. We apply the theory of cyclic systems to a psychophysical double-detection experi…
The development of Noisy Intermediate Scale Quantum Computers (NISQC) provides for the Quantum Information community new tools to perform quantum experiences from an individual laptop. It facilitates interdisciplinary research in the sense that theoretical descriptions of properties of quantum physics can be translated to experiments easily implementable on a NISCQ. In this note I test large state-independent inequalities for quantum contextuality on finite geometric structures encoding the commutation relations of the generalized N-qubit Pauli group. The bounds predicted by Non-Contextual Hid…
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…
We investigate the violation of non-contextuality by a class of continuous variable states, including variations of entangled coherent states (ECS's) and a two-mode continuous superposition of coherent states. We generalise the Kochen-Specker (KS) inequality discussed in A. Cabello, Phys. Rev. Lett. {\bf 101}, 210401 (2008) by using effective bidimensional observables implemented through physical operations acting on continuous variable states, in a way similar to an approach to the falsification of Bell-CHSH inequalities put forward recently. We test for state-independent violation of KS ineq…
Contextuality provides one of the fundamental characterizations of quantum phenomena, and can be used as a resource in lots of quantum information processing. In this paper, we summarize and derive some equivalent noncontextual inequalities from different noncontextual models of the proofs for Kochen-Specker theorem based on Greenberger-Horne-Zeilinger states. These noncontextual inequalities are equivalent up to some correlation items which hold both for noncontextual hidden variable theories and quantum mechanics. Therefore, using single-photon hyperentangled Greenberger-Horne-Zeilinger stat…
The Kochen-Specker theorem theoretically shows evidence of the incompatibility of noncontextual hidden variable theories with quantum mechanics. Quantum contextuality is a more general concept than quantum non-locality which is quite well tested in experiments by using Bell inequalities. Within neutron interferometry we performed an experimental test of the Kochen-Specker theorem with an inequality, which identifies quantum contextuality, by using spin-path entanglement in a single neutron system. Here entanglement is achieved not between different particles, but between degrees of freedom, i.…
We develop an operator-based description of two types of multimode-entangled single-neutron quantum optical devices: Wollaston prisms and radio-frequency spin flippers in inclined magnetic field gradients. This treatment is similar to the approach used in quantum optics, and is convenient for the analysis of quantum contextuality measurements in certain types of neutron interferometers. We describe operationally the way multimode-entangled single-neutron states evolve in these devices, and provide expressions for the associated operators describing the dynamics, in the limit in which the neutr…
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 implemented a triply entangled Greenberger-Horne-Zeilinger(GHZ)-like state and coherently manipulated the spin, path, and energy degrees of freedom in a single neutron system. The GHZ-like state was analyzed with an inequality derived by Mermin: we determined the four expectation values and finally obtained M = 2.558 +/- 0.004 > 2, which exhibits a clear violation of the noncontextual assumption and confirms quantum contextuality.
Certifying individual quantum devices with minimal assumptions is crucial for the development of quantum technologies. Here, we investigate how to leverage single-system contextuality to realize self-testing. We develop a robust self-testing protocol based on the simplest contextuality witness for the simplest contextual quantum system, the Klyachko-Can-Binicioğlu-Shumovsky (KCBS) inequality for the qutrit. We establish a lower bound on the fidelity of the state and the measurements (to an ideal configuration) as a function of the value of the witness under a pragmatic assumption on the measur…
On-chip semi-device-independent quantum random number generator exploiting contextuality
Technical University of Denmark（丹麦技术大学）；Queen Mary University of London（伦敦大学玛丽女王学院）；IHP – Leibniz-Institut für innovative Mikroelektronik（IHP – 莱布尼茨创新微电子研究所）；Technische Universität Berlin（柏林工业大学）；University of Florence（佛罗伦萨大学）；QTI s.r.l.（QTI有限公司）
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 between the contextuality of quantum mechnaics (QM) and the noncontextuality of hidden-variable theories (HVTs). We first show that two Josephson charge qubits can be controllably coupled by using a two-level data bus produced by a Josephson phase qubit. Next, by introducing an approach to perform the expected joint quantum measurements of two separated Josephson …
In recent years there has been a growing interest in treating many-body systems as Bell scenarios, where lattice sites play the role of distant parties and only near-neighbor statistics are accessible. We investigate contextuality arising from three Bell scenarios in infinite, translation-invariant 1D models: nearest-neighbor with two dichotomic observables per site; nearest- and next-to-nearest neighbor with two dichotomic observables per site and nearest-neighbor with three dichotomic observables per site. For the first scenario, we give strong evidence that it cannot exhibit contextuality, …
Quantum contextuality is a nonintuitive property of quantum mechanics, that distinguishes it from any classical theory. A complementary quantum property is quantum nonlocality, which is an essential resource for many quantum information tasks. Here we experimentally study the contextual and nonlocal properties of polarization biphotons. First, we investigate the ability of the biphotons to exhibit contextuality by testing the violation of the KCBS inequality. In order to do so, we used the original protocol suggested in the KCBS paper, and adjusted it to the real scenario, where some of the bi…
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 significantly simplifies the experimental requirements to observe the violation comparing to the ones based on nonlocality tests. However, it is not yet resolved how to ensure compatibilities for sequential measurements that is required in contextuality tests. Here, we employ a modified Klyachko-Can-Binicioğlu-Shumovsky contextuality inequality, which can ease the…
Entanglement between degrees of freedom, namely between the spin, path and (total) energy degrees of freedom, for single neutrons is exploited. We implemented a triply entangled Greenberger-Horne-Zeilinger(GHZ)-like state and coherently manipulated relative phases of two-level quantum subsystems. An inequality derived by Mermin was applied to analyze the generated GHZ-like state: we determined the four expectation values and finally obtained M=2.558 +/- 0.004 which is clearly above the threshold of 2. This demonstrates the violation of a Mermin-like inequality for triply entangled GHZ-like sta…
In 1960, the mathematician Ernst Specker described a simple example of nonclassical correlations which he dramatized using a parable about a seer who sets an impossible prediction task to his daughter's suitors. We revisit this example here, using it as an entree to three central concepts in quantum foundations: contextuality, Bell-nonlocality, and complementarity. Specifically, we show that Specker's parable offers a narrative thread that weaves together a large number of results, including: the impossibility of measurement-noncontextual and outcome-deterministic ontological models of quantum…
The development of direct probes of entanglement is integral to the rapidly expanding field of complex quantum materials. Here we test the robustness of entangled neutrons as a quantum probe by measuring the Clauser-Horne-Shimony-Holt contextuality witness while varying the beam properties. Specifically, we prove that the entanglement of the spin and path subsystems of individual neutrons prepared in two different experiments using two different apparatuses persists even after varying the entanglement length, coherence length, and neutron energy difference of the paths. The two independent app…
Why do correlations between the results of measurements performed on physical systems violate Bell and non-contextuality inequalities up to some specific limits? The answer may follow from the observation that in quantum theory, unlike in other theories, whenever there is an experiment to measure $A$ simultaneously with $B$, another to measure $B$ with $C$, and another to measure $A$ with $C$, there is always an experiment to measure all of them simultaneously. This property implies that quantum theory satisfies a seemingly irrelevant restriction called the exclusivity (E) principle which, sur…
We show that the general quantum state of synthetically spin-orbit coupled ultra cold bosonic atom whose condensate was experimentally created recently ( Y. J. Lin {\it et al.}, Nature, {\bf 471}, 83, (2011)), shows entanglement between motional degrees of freedom ( momentum) and internal degrees of freedom (hyperfine spin). We demonstrate the violation of Bell-like inequality (CHSH) for such states that provides a unique opportunity to verify fundamental principle like quantum non-contextuality for commutating observables which are not spatially separated. We analyze in detail the Rabi oscill…
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…
Various phase concepts may be treated as special cases of the maximum likelihood estimation. For example the discrete Fourier estimation that actually coincides with the operational phase of Noh, Fouge`res and Mandel is obtained for continuous Gaussian signals with phase modulated mean.Since signals in quantum theory are discrete, a prediction different from that given by the Gaussian hypothesis should be obtained as the best fit assuming a discrete Poissonian statistics of the signal. Although the Gaussian estimation gives a satisfactory approximation for fitting the phase distribution of alm…
The development of qualitatively new measurement capabilities is often a prerequisite for critical scientific and technological advances. The dramatic progress made by modern probe techniques to uncover the microscopic structure of matter is fundamentally rooted in our control of two defining traits of quantum mechanics: discreteness of physical properties and interference phenomena. Magnetic Resonance Imaging, for instance, exploits the fact that protons have spin and can absorb photons at frequencies that depend on the medium to image the anatomy and physiology of living systems. Scattering …
The equivalence principle of gravity is examined at the quantum level using the diffraction in time of matter waves in two ways. First, we consider a quasi-monochromatic beam of particles incident on a shutter which is removed at time $t = 0$ and fall due to the gravitational field. The probability density exhibits a set of mass-dependent oscillations which are genuinely quantum in nature, thereby reflecting quantum violations to the weak equivalence principle, although the strong equivalence principle remains valid. We estimate the degree of violation in terms of the width of the diffraction-…
