Experimental test of the Kochen-Specker theorem with single photons

Certifying Sets of Quantum Observables with Any Full-Rank State

We show that some sets of quantum observables are unique up to an isometry and have a contextuality witness that attains the same value for any initial state. We prove that these two properties make it possible to certify any of these sets by looking at the statistics of experiments with sequential measurements and using any initial state of full rank, including thermal and maximally mixed states. We prove that this "certification with any full-rank state" (CFR) is possible for any quantum system of finite dimension d≥3 and is robust and experimentally useful in dimensions 3 and 4. In addition, we prove that complete Kochen-Specker sets can be Bell self-tested if and only if they enable CFR. This establishes a fundamental connection between these two methods of certification, shows that both methods can be combined in the same experiment, and opens new possibilities for certifying quantum devices.

Non-Kochen-Specker Contextuality

Quantum contextuality supports quantum computation and communication. One of its main vehicles is hypergraphs. The most elaborated are the Kochen-Specker ones, but there is also another class of contextual sets that are not of this kind. Their representation has been mostly operator-based and limited to special constructs in three- to six-dim spaces, a notable example of which is the Yu-Oh set. Previously, we showed that hypergraphs underlie all of them, and in this paper, we give general methods-whose complexity does not scale up with the dimension-for generating such non-Kochen-Specker hypergraphs in any dimension and give examples in up to 16-dim spaces. Our automated generation is probabilistic and random, but the statistics of accumulated data enable one to filter out sets with the required size and structure.

Experimental Demonstration of Quantum Pseudotelepathy

Quantum pseudotelepathy is a strong form of nonlocality. Different from the conventional nonlocal games where quantum strategies win statistically, e.g., the Clauser-Horne-Shimony-Holt game, quantum pseudotelepathy in principle allows quantum players to with probability 1. In this Letter, we report a faithful experimental demonstration of quantum pseudotelepathy via playing the nonlocal version of Mermin-Peres magic square game, where Alice and Bob cooperatively fill in a 3×3 magic square. We adopt the hyperentanglement scheme and prepare photon pairs entangled in both the polarization and the orbital angular momentum degrees of freedom, such that the experiment is carried out in a resource-efficient manner. Under the locality and fair-sampling assumption, our results show that quantum players can simultaneously win all the queries over any classical strategy.

Significant loophole-free test of Kochen-Specker contextuality using two species of atomic ions

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 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 of >98%. The compatibility loophole is closed by targeting correlations between observables for two different ions in a Paul trap, a ¹⁷¹Yb⁺ ion and a ¹³⁸Ba⁺ ion, chosen so measurements on each ion use different operation laser wavelengths, fluorescence wavelengths, and detectors. The experimental results show a violation of the bound for the most adversarial noncontextual models and open a way to certify quantum systems.

A Knot Theoretic Extension of the Bloch Sphere Representation for Qubits in Hilbert Space and Its Application to Contextuality and Many-Worlds Theories

We argue that the usual Bloch sphere is insufficient in various aspects for the representation of qubits in quantum information theory. For example, spin flip operations with the quaternions I J K = e 2 π i 2 = − 1 and J I K = + 1 cannot be distinguished on the Bloch sphere. We show that a simple knot theoretic extension of the Bloch sphere representation is sufficient to track all unitary operations for single qubits. Next, we extend the Bloch sphere representation to entangled states using knot theory. As applications, we first discuss contextuality in quantum physics—in particular the Kochen-Specker theorem. Finally, we discuss some arguments against many-worlds theories within our knot theoretic model of entanglement. The key ingredients of our approach are symmetries and geometric properties of the unitary group.

State-independent contextuality in classical light

State-independent contextuality is a fundamental phenomenon in quantum mechanics, which has been demonstrated experimentally in different systems in recent years. Here we show that such contextuality can also be simulated in classical optical systems. Using path and polarization degrees of freedom of classical optics fields, we have constructed the classical trit (cetrit), here the term ‘cetrit’ is the classical counterpart of a qutrit in quantum systems. Furthermore, in classical optical systems we have simulated the violations of several Yu-Oh-like noncontextual inequalities in a state-independent manner by implementing the projection measurements. Our results not only provide new physical insights into the contextuality and also show the application prospects of the concepts developed recently in quantum information science to classical optical systems and optical information processes.

Hypergraph Contextuality

Quantum contextuality is a source of quantum computational power and a theoretical delimiter between classical and quantum structures. It has been substantiated by numerous experiments and prompted generation of state independent contextual sets, that is, sets of quantum observables capable of revealing quantum contextuality for any quantum state of a given dimension. There are two major classes of state-independent contextual sets—the Kochen-Specker ones and the operator-based ones. In this paper, we present a third, hypergraph-based class of contextual sets. Hypergraph inequalities serve as a measure of contextuality. We limit ourselves to qutrits and obtain thousands of 3-dim contextual sets. The simplest of them involves only 5 quantum observables, thus enabling a straightforward implementation. They also enable establishing new entropic contextualities.

Automated generation of Kochen-Specker sets

Quantum contextuality turns out to be a necessary resource for universal quantum computation and also has applications in quantum communication. Thus it becomes important to generate contextual sets of arbitrary structure and complexity to enable a variety of implementations. In recent years, such generation has been done for contextual sets known as Kochen-Specker sets. Up to now, two approaches have been used for massive generation of non-isomorphic Kochen-Specker sets: exhaustive generation up to a given size and downward generation from master sets and their associated coordinatizations. Master sets were obtained earlier from serendipitous or intuitive connections with polytopes or Pauli operators, and more recently from arbitrary vector components using an algorithm that generates orthogonal vector groupings from them. However, both upward and downward generation face an inherent exponential complexity barrier. In contrast, in this paper we present methods and algorithms that we apply to downward generation that can overcome the exponential barrier in many cases of interest. These involve tailoring and manipulating Kochen-Specker master sets obtained from a small number of simple vector components, filtered by the features of the sets we aim to obtain. Some of the classes of Kochen-Specker sets we generate contain all previously known ones, and others are completely novel. We provide examples of both kinds in 4- and 6-dim Hilbert spaces. We also give a brief introduction for a wider audience and a novice reader.

Experimental Test of Contextuality in Quantum and Classical Systems

Contextuality is considered as an intrinsic signature of nonclassicality 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 analyze how the definitions affect the emergence of nonclassical correlations. The heralded single-photon state, which is a typical nonclassical light field, manifests contextuality in our setup; whereas contextuality for classical coherent fields strongly depends on the specific definition of measurement events, which is equivalent to filtering the nonclassical component of the input state. Our results highlight the importance of the definition of measurement events to demonstrate contextuality, and they link the contextual correlations to nonclassicality defined by quasiprobabilities in phase space.

Vector generation of contextual sets

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 components. From them we can readily generate all KS sets obtained in the last half a century and any specified new KS sets. Herewith we can generate sufficiently large sets as well as sets with definite required features and structures to enable varieties of different implementations in quantum computation and communication.

Vector Generation of Quantum Contextual Sets in Even Dimensional Hilbert Spaces

Recently, quantum contextuality has been proved to be the source of quantum computation's power. That, together with multiple recent contextual experiments, prompts improving the methods of generation of contextual sets and finding their features. The most elaborated contextual sets, which offer blueprints for contextual experiments and computational gates, are the Kochen-Specker (KS) sets. In this paper, we show a method of vector generation that supersedes previous methods. It is implemented by means of algorithms and programs that generate hypergraphs embodying the Kochen-Specker property and that are designed to be carried out on supercomputers. We show that vector component generation of KS hypergraphs exhausts all possible vectors that can be constructed from chosen vector components, in contrast to previous studies that used incomplete lists of vectors and therefore missed a majority of hypergraphs. Consequently, this unified method is far more efficient for generations of KS sets and their implementation in quantum computation and quantum communication. Several new KS classes and their features have been found and are elaborated on in the paper. Greechie diagrams are discussed.

Experimental simulation of monogamy relation between contextuality and nonlocality in classical light

The Clauser-Horne-Shimony-Holt (CHSH) inequality and the Klyachko-Can-Binicioglu-Shumovski (KCBS) inequality present a tradeoff on the no-disturbance (ND) principle. Recently, the fundamental monogamy relation between contextuality and nonlocality in quantum theory has been demonstrated experimentally. Here we show that such a relation and tradeoff can also be simulated in classical optical systems. Using polarization, path and orbital angular momentum of the classical optical beam, in classical optical experiment we have observed the stringent monogamy relation between the two inequalities by implementing the projection measurement. Our results show the application prospect of the concepts developed recently in quantum information science to classical optical system and optical information processing.

Experimental contextuality in classical light

The Klyachko, Can, Binicioglu, and Shumovsky (KCBS) inequality is an important contextuality inequality in three-level system, which has been demonstrated experimentally by using quantum states. Using the path and polarization degrees of freedom of classical optics fields, we have constructed the classical trit (cetrit), tested the KCBS inequality and its geometrical form (Wright's inequality) in this work. The projection measurement has been implemented, the clear violations of the KCBS inequality and its geometrical form have been observed. This means that the contextuality inequality, which is commonly used in test of the conflict between quantum theory and noncontextual realism, may be used as a quantitative tool in classical optical coherence to describe correlation characteristics of the classical fields.

Experimental Test of Compatibility-Loophole-Free Contextuality with Spatially Separated Entangled Qutrits

The physical impact and the testability of the Kochen-Specker (KS) theorem is debated because of the fact that perfect compatibility in a single quantum system cannot be achieved in practical experiments with finite precision. Here, we follow the proposal of A. Cabello and M. T. Cunha [Phys. Rev. Lett. 106, 190401 (2011)], and present a compatibility-loophole-free experimental violation of an inequality of noncontextual theories by two spatially separated entangled qutrits. A maximally entangled qutrit-qutrit state with a fidelity as high as 0.975±0.001 is prepared and distributed to separated spaces, and these two photons are then measured locally, providing the compatibility requirement. The results show that the inequality for noncontextual theory is violated by 31 standard deviations. Our experiments pave the way to close the debate about the testability of the KS theorem. In addition, the method to generate high-fidelity and high-dimension entangled states will provide significant advantages in high-dimension quantum encoding and quantum communication.

An experimental test of noncontextuality without unphysical idealizations

To make precise the sense in which nature fails to respect classical physics, one requires a formal notion of classicality. Ideally, such a notion should be defined operationally, so that it can be subject to direct experimental test, and it should be applicable in a wide variety of experimental scenarios so that it can cover the breadth of phenomena thought to defy classical understanding. Bell's notion of local causality fulfils the first criterion but not the second. The notion of noncontextuality fulfils the second criterion, but it is a long-standing question whether it can be made to fulfil the first. Previous attempts to test noncontextuality have all assumed idealizations that real experiments cannot achieve, namely noiseless measurements and exact operational equivalences. Here we show how to devise tests that are free of these idealizations. We perform a photonic implementation of one such test, ruling out noncontextual models with high confidence.

No noncontextual hidden-variable model can be consistent with quantum theory, but proving such an inconsistency with nature itself is a long-standing problem. Here, the authors devise experimentally-achievable tests of noncontextuality and perform a photonic implementation that rules out such models.

Quantifying contextuality

Contextuality is central to both the foundations of quantum theory and to the novel information processing tasks. Despite some recent proposals, it still faces a fundamental problem: how to quantify its presence? In this work, we provide a universal framework for quantifying contextuality. We conduct two complementary approaches: (i) the bottom-up approach, where we introduce a communication game, which grasps the phenomenon of contextuality in a quantitative manner; (ii) the top-down approach, where we just postulate two measures, relative entropy of contextuality and contextuality cost, analogous to existent measures of nonlocality (a special case of contextuality). We then match the two approaches by showing that the measure emerging from the communication scenario turns out to be equal to the relative entropy of contextuality. Our framework allows for the quantitative, resource-type comparison of completely different games. We give analytical formulas for the proposed measures for some contextual systems, showing in particular that the Peres-Mermin game is by order of magnitude more contextual than that of Klyachko et al. Furthermore, we explore properties of these measures such as monotonicity or additivity.

State-independent experimental test of quantum contextuality in an indivisible system

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 [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.

Implications of the Pusey-Barrett-Rudolph quantum no-go theorem

Pusey, Barrett, and Rudolph introduce a new no-go theorem for hidden-variables models of quantum theory. We make precise the class of models targeted and construct equivalent models that evade the theorem. The theorem requires assumptions for models of composite systems, which we examine, determining compactness as the weakest assumption needed. On that basis, we demonstrate results of the Bell-Kochen-Specker theorem. Given compactness and the relevant class of models, the theorem can be seen as showing that some measurements on composite systems must have built-in inefficiencies, complicating its testing.

State-independent proof of Kochen-Specker theorem with 13 rays

Quantum contextuality, as proved by Kochen and Specker, and also by Bell, should manifest itself in any state in any system with more than two distinguishable states and recently has been experimentally verified. However, for the simplest system capable of exhibiting contextuality, a qutrit, the quantum contextuality is verified only state dependently in experiment because too many (at least 31) observables are involved in all the known state-independent tests. Here we report an experimentally testable inequality involving only 13 observables that is satisfied by all noncontextual realistic models while being violated by all qutrit states. Thus our inequality facilitates a state-independent test of the quantum contextuality for an indivisible quantum system. We also provide a record-breaking state-independent proof of the Kochen-Specker theorem with 13 directions determined by 26 points on the surface of a magic cube.

Experimental non-classicality of an indivisible quantum system

In contrast to classical physics, quantum theory demands that not all properties can be simultaneously well defined; the Heisenberg uncertainty principle is a manifestation of this fact. Alternatives have been explored--notably theories relying on joint probability distributions or non-contextual hidden-variable models, in which the properties of a system are defined independently of their own measurement and any other measurements that are made. Various deep theoretical results imply that such theories are in conflict with quantum mechanics. Simpler cases demonstrating this conflict have been found and tested experimentally with pairs of quantum bits (qubits). Recently, an inequality satisfied by non-contextual hidden-variable models and violated by quantum mechanics for all states of two qubits was introduced and tested experimentally. A single three-state system (a qutrit) is the simplest system in which such a contradiction is possible; moreover, the contradiction cannot result from entanglement between subsystems, because such a three-state system is indivisible. Here we report an experiment with single photonic qutrits which provides evidence that no joint probability distribution describing the outcomes of all possible measurements--and, therefore, no non-contextual theory--can exist. Specifically, we observe a violation of the Bell-type inequality found by Klyachko, Can, Binicioğlu and Shumovsky. Our results illustrate a deep incompatibility between quantum mechanics and classical physics that cannot in any way result from entanglement.

Testing contextuality on quantum ensembles with one clean qubit

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 noncontextual hidden-variables theory. The experiment is performed on an ensemble of molecular nuclear spins in the solid state, using established nuclear magnetic resonance techniques for quantum-information processing.

State-independent quantum contextuality with single photons

We present an experimental state-independent violation of an inequality for noncontextual theories on single particles. We show that 20 different single-photon states violate an inequality which involves correlations between results of sequential compatible measurements by at least 419 standard deviations. Our results show that, for any physical system, even for a single system, and independent of its state, there is a universal set of tests whose results do not admit a noncontextual interpretation. This sheds new light on the role of quantum mechanics in quantum information processing.

Experimentally testable state-independent quantum contextuality

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.

Quantum contextuality in a single-neutron optical experiment

An experimental demonstration of quantum contextuality with neutrons is presented, which intended to exhibit a Kochen-Specker-like phenomenon. Since no perfect correlation is expected in practical experiments, inequalities are derived to distinguish quantitatively the obtained results from predictions by a noncontextual hidden variable theory. Experiments were accomplished with the use of a neutron interferometer combined with spinor manipulation devices. The results clearly violate the prediction of noncontextual theories.