Fundamental monogamy relation between contextuality and nonlocality

The quantum maxima for the basic graphs of exclusivity are not reachable in Bell scenarios

A necessary condition for the probabilities of a set of events to exhibit Bell non-locality or Kochen-Specker contextuality is that the graph of exclusivity of the events contains induced odd cycles with five or more vertices, called odd holes, or their complements, called odd antiholes. From this perspective, events whose graph of exclusivity are odd holes or antiholes are the building blocks of contextuality. For any odd hole or antihole, any assignment of probabilities allowed by quantum theory can be achieved in specific contextuality scenarios. However, here we prove that, for any odd hole, the probabilities that attain the quantum maxima cannot be achieved in Bell scenarios. We also prove it for the simplest odd antiholes. This leads us to the conjecture that the quantum maxima for any of the building blocks cannot be achieved in Bell scenarios. This result sheds light on why the problem of whether a probability assignment is quantum is decidable, while whether a probability assignment within a given Bell scenario is quantum is, in general, undecidable. This also helps to understand why identifying principles for quantum correlations is simpler when we start by identifying principles for quantum sets of probabilities defined with no reference to specific scenarios. This article is part of the theme issue 'Quantum contextuality, causality and freedom of choice'.

Generalized Bell Scenarios: Disturbing Consequences on Local-Hidden-Variable Models

Bell nonlocality and Kochen-Specker contextuality are among the main topics in the foundations of quantum theory. Both of them are related to stronger-than-classical correlations, with the former usually referring to spatially separated systems, while the latter considers a single system. In recent works, a unified framework for these phenomena was presented. This article reviews, expands, and obtains new results regarding this framework. Contextual and disturbing features inside the local models are explored, which allows for the definition of different local sets with a non-trivial relation among them. The relations between the set of quantum correlations and these local sets are also considered, and post-quantum local behaviours are found. Moreover, examples of correlations that are both local and non-contextual but such that these two classical features cannot be expressed by the same hidden variable model are shown. Extensions of the Fine-Abramsky-Brandenburger theorem are also discussed.

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.

Quantum Contextuality Provides Communication Complexity Advantage

Despite the conceptual importance of contextuality in quantum mechanics, there is a hitherto limited number of applications requiring contextuality but not entanglement. Here, we show that for any quantum state and observables of sufficiently small dimensions producing contextuality, there exists a communication task with quantum advantage. Conversely, any quantum advantage in this task admits a proof of contextuality whenever an additional condition holds. We further show that given any set of observables allowing for quantum state-independent contextuality, there exists a class of communication tasks wherein the difference between classical and quantum communication complexities increases as the number of inputs grows. Finally, we show how to convert each of these communication tasks into a semi-device-independent protocol for quantum key distribution.

Synchronous Observation of Bell Nonlocality and State-Dependent Contextuality

Bell nonlocality and Kochen-Specker contextuality are two remarkable nonclassical features of quantum theory, related to strong correlations between outcomes of measurements performed on quantum systems. Both phenomena can be witnessed by the violation of certain inequalities, the simplest and most important of which are the Clauser-Horne-Shimony-Holt (CHSH) and the Klyachko-Can-Binicioğlu-Shumovski (KCBS), for Bell nonlocality and Kochen-Specker contextuality, respectively. It has been shown that, using the most common interpretation of Bell scenarios, quantum systems cannot violate both inequalities concomitantly, thus suggesting a monogamous relation between the two phenomena. In this Letter, we show that the joint consideration of the CHSH and KCBS inequalities naturally calls for the so-called generalized Bell scenarios, which, contrary to the previous results, allows for joint violation of them. In fact, this result is not a special feature of such inequalities: We provide very strong evidence that there is no monogamy between nonlocality and contextuality in any scenario where both phenomena can be observed. We also implement a photonic experiment to test the synchronous violation of both CHSH and KCBS inequalities. Our results agree with the theoretical predictions, thereby providing experimental proof of the coexistence of Bell nonlocality and contextuality in the simplest scenario, and lead to novel possibilities where both concepts could be jointly employed for quantum information processing protocols.

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.

Converting Contextuality into Nonlocality

We introduce a general method which converts, in a unified way, any form of quantum contextuality, including any form of state-dependent contextuality, into a quantum violation of a bipartite Bell inequality. As an example, we apply the method to a quantum violation of the Klyachko-Can-Binicioğlu-Shumovsky inequality.

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.

On joint distributions, counterfactual values and hidden variables in understanding contextuality

This paper deals with three traditional ways of defining contextuality: (C1) in terms of (non)existence of certain joint distributions involving measurements made in several mutually exclusive contexts; (C2) in terms of relationship between factual measurements in a given context and counterfactual measurements that could be made if one used other contexts; and (C3) in terms of (non)existence of 'hidden variables' that determine the outcomes of all factually performed measurements. It is generally believed that the three meanings are equivalent, but the issues involved are not entirely transparent. Thus, arguments have been offered that C2 may have nothing to do with C1, and the traditional formulation of C1 itself encounters difficulties when measurement outcomes in a contextual system are treated as random variables. I show that if C1 is formulated within the framework of the Contextuality-by-Default (CbD) theory, the notion of a probabilistic coupling, the core mathematical tool of CbD, subsumes both counterfactual values and 'hidden variables'. In the latter case, a coupling itself can be viewed as a maximally parsimonious choice of a hidden variable. This article is part of the theme issue 'Contextuality and probability in quantum mechanics and beyond'.

Simultaneous observation of quantum contextuality and quantum nonlocality

Quantum nonlocality and quantum contextuality are the most curious properties that change our understanding of nature, and were observed independently in recent decades. One important question is whether both properties can be observed simultaneously. In this paper, we show that in a qutrit-qutrit system we can observe quantum nonlocality and quantum contextuality at the same time. From the perspective of quantum information, our experiment proves in principle that the two resources, quantum nonlocality and quantum contextuality, can be utilized simultaneously.

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.

Contextuality Analysis of the Double Slit Experiment (with a Glimpse into Three Slits)

The Contextuality-by-Default theory is illustrated on contextuality analysis of the idealized double-slit experiment. The experiment is described by a system of contextually labeled binary random variables each of which answers the question: Has the particle hit the detector, having passed through a given slit (left or right) in a given state (open or closed)? This system of random variables is a cyclic system of rank 4, formally the same as the system describing the Einsten-Podolsky-Rosen-Bell paradigm with signaling. Unlike the latter, however, the system describing the double-slit experiment is always noncontextual, i.e., the context-dependence in it is entirely explainable in terms of direct influences of contexts (closed-open arrangements of the slits) upon the marginal distributions of the random variables involved. The analysis presented is entirely within the framework of abstract classical probability theory (with contextually labeled random variables). The only physical constraint used in the analysis is that a particle cannot pass through a closed slit. The noncontextuality of the double-slit system does not generalize to systems describing experiments with more than two slits: in an abstract triple-slit system, almost any set of observable detection probabilities is compatible with both a contextual scenario and a noncontextual scenario of the particle passing though various combinations of open and closed slits (although the issue of physical realizability of these scenarios remains open).

Experimental Detection of Information Deficit in a Photonic Contextuality Scenario

Contextuality is an essential characteristic of quantum theory, and supplies the power for many quantum information processes. Previous tests of contextuality focus mainly on the probability distribution of measurement results. However, a test of contextuality can be formulated in terms of entropic inequalities whose violations imply information deficit in the studied system. This information deficit has not been observed on a single local system. Here we report the first experimental detection of information deficit in an entropic test of quantum contextuality based on photonic setup. The corresponding inequality is violated with more than 13 standard deviations.

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.

Nonlocality from Local Contextuality

We experimentally show that nonlocality can be produced from single-particle contextuality by using two-particle correlations which do not violate any Bell inequality by themselves. This demonstrates that nonlocality can come from an a priori different simpler phenomenon, and connects contextuality and nonlocality, the two critical resources for, respectively, quantum computation and secure communication. From the perspective of quantum information, our experiment constitutes a proof of principle that quantum systems can be used simultaneously for both quantum computation and secure communication.

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.

Distribution of Quantum Coherence in Multipartite Systems

The distribution of coherence in multipartite systems is examined. We use a new coherence measure with entropic nature and metric properties, based on the quantum Jensen-Shannon divergence. The metric property allows for the coherence to be decomposed into various contributions, which arise from local and intrinsic coherences. We find that there are trade-off relations between the various contributions of coherence, as a function of parameters of the quantum state. In bipartite systems the coherence resides on individual sites or is distributed among the sites, which contribute in a complementary way. In more complex systems, the characteristics of the coherence can display more subtle changes with respect to the parameters of the quantum state. In the case of the XXZ Heisenberg model, the coherence changes from a monogamous to a polygamous nature. This allows us to define the shareability of coherence, leading to monogamy relations for coherence.

Realization of the Contextuality-Nonlocality Tradeoff with a Qubit-Qutrit Photon Pair

We report our experimental results on the no-disturbance principle, which imposes a fundamental monogamy relation on contextuality versus nonlocality. We employ a photonic qutrit-qubit hybrid to explore no-disturbance monogamy at the quantum boundary spanned by noncontextuality and locality inequalities. In particular, we realize the single point where the quantum boundary meets the no-disturbance boundary. Our results agree with quantum theory and satisfy the stringent monogamy relation thereby providing direct experimental evidence of a tradeoff between locally contextual correlations and spatially separated correlations. Thus, our experiment provides evidence that entanglement is a particular manifestation of a more fundamental quantum resource.

Linear monogamy of entanglement in three-qubit systems

For any three-qubit quantum systems ABC, Oliveira et al. numerically found that both the concurrence and the entanglement of formation (EoF) obey the linear monogamy relations in pure states. They also conjectured that the linear monogamy relations can be saturated when the focus qubit A is maximally entangled with the joint qubits BC. In this work, we prove analytically that both the concurrence and EoF obey linear monogamy relations in an arbitrary three-qubit state. Furthermore, we verify that all three-qubit pure states are maximally entangled in the bipartition A|BC when they saturate the linear monogamy relations. We also study the distribution of the concurrence and EoF. More specifically, when the amount of entanglement between A and B equals to that of A and C, we show that the sum of EoF itself saturates the linear monogamy relation, while the sum of the squared EoF is minimum. Different from EoF, the concurrence and the squared concurrence both saturate the linear monogamy relations when the entanglement between A and B equals to that of A and C.

Necessary and Sufficient Conditions for an Extended Noncontextuality in a Broad Class of Quantum Mechanical Systems

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 probability allowed by their different distributions. We derive necessary and sufficient conditions for the existence of such a description in a broad class of systems including Klyachko-Can-Binicioğlu-Shumvosky-type (KCBS), EPR-Bell-type, and Leggett-Garg-type systems. Because these conditions allow for inconsistent connectedness, they are applicable to real experiments. We illustrate this by analyzing an experiment by Lapkiewicz and colleagues aimed at testing contextuality in a KCBS-type system.

Experimental observation of Hardy-like quantum contextuality

Contextuality is a fundamental property of quantum theory and a critical resource for quantum computation. Here, we experimentally observe the arguably cleanest form of contextuality in quantum theory [A. Cabello et al., Phys. Rev. Lett. 111, 180404 (2013)] by implementing a novel method for performing two sequential measurements on heralded photons. This method opens the door to a variety of fundamental experiments and applications.

Strong monogamy conjecture for multiqubit entanglement: the four-qubit case

We investigate the distribution of bipartite and multipartite entanglement in multiqubit states. In particular, we define a set of monogamy inequalities sharpening the conventional Coffman-Kundu-Wootters constraints, and we provide analytical proofs of their validity for relevant classes of states. We present extensive numerical evidence validating the conjectured strong monogamy inequalities for arbitrary pure states of four qubits.