Proposed experiment for testing quantum contextuality with neutrons

Demonstration of universal contextuality through communication games free of both operational inequivalence and compatibility loopholes

Universal contextuality is the leading notion of non-classicality even for single systems, showing its advantage as a more general quantum correlation than Bell non-locality, as well as preparation contextuality. However, a loophole-free experimental demonstration of universal contextuality at least requires that both operational inequivalence and compatibility loopholes are closed, which have never been simultaneously achieved to date. In our work, we experimentally test universal contextuality through (3,3) and (4,3) communication games, simultaneously restoring operational equivalence and circumventing the compatibility loophole. Our result exhibits the violation of universal non-contextuality bound by 97 standard deviations in (3,3) scenario, and 107 deviations in (4,3) scenario. Notably there are states which exhibit locality but reveal universal contextuality in both two scenarios. In addition, our result shows that universal contextuality is more general than preparation contextuality in (3,3) scenario, while equivalent to preparation contextuality in (4,3) scenario.

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.

On Applicability of Quantum Formalism to Model Decision Making: Can Cognitive Signaling Be Compatible with Quantum Theory?

This note is devoted to the problem of signaling (marginal inconsistency) in the Bell-type experiments with physical and cognitive systems. It seems that in quantum physics, this problem is still not taken seriously. Only recently have experimenters started to check the signaling hypothesis for their data. For cognitive systems, signaling was statistically significant in all experiments (typically for decision making) performed up to today. Here, one cannot simply ignore this problem. Since signaling contradicts the quantum theory of measurement for compatible observables, its statistical significance in experiments with humans can be considered as an objection for quantum-like modeling-applications of quantum theory to cognition, decision making, psychology, economics and finance, social and political science. In this paper, we point to two possible sources of signaling generation that are consistent with quantum measurement theory. Thus, the signaling objection for quantum-like modeling is not catastrophic. One of these sources is the direct physical signaling about selection of experimental settings, questions or tasks in quantum-like studies. Another possible source is a state modification dependent on experimental settings. The latter was a rather common source of signaling in quantum physics. Since the physical size of the brain is very small comparing with the light velocity, it seems to be impossible to prevent the direct physical signaling (with electromagnetic waves) between the brain's areas processing two questions a and b. However, if, for these questions, not the electromagnetic waves, but electrochemical communication plays the crucial role, the experimenter may hope to make signaling weaker by answering the questions faster. The problem of question-dependent mental state modification seems to be solvable via smarter experimental design. This paper can be useful both for physicists interested in quantum foundations and for researchers working in quantum-like studies, e.g., applying the quantum theory to model decision making or psychological effects. This paper is solely about quantum theory. Thus, we do not consider general contextual probabilistic models.

Contextuality, Complementarity, Signaling, and Bell Tests

This is a review devoted to the complementarity–contextuality interplay with connection to the Bell inequalities. Starting the discussion with complementarity, I point to contextuality as its seed. Bohr contextuality is the dependence of an observable’s outcome on the experimental context; on the system–apparatus interaction. Probabilistically, complementarity means that the joint probability distribution (JPD) does not exist. Instead of the JPD, one has to operate with contextual probabilities. The Bell inequalities are interpreted as the statistical tests of contextuality, and hence, incompatibility. For context-dependent probabilities, these inequalities may be violated. I stress that contextuality tested by the Bell inequalities is the so-called joint measurement contextuality (JMC), the special case of Bohr’s contextuality. Then, I examine the role of signaling (marginal inconsistency). In QM, signaling can be considered as an experimental artifact. However, often, experimental data have signaling patterns. I discuss possible sources of signaling—for example, dependence of the state preparation on measurement settings. In principle, one can extract the measure of “pure contextuality” from data shadowed by signaling. This theory is known as contextuality by default (CbD). It leads to inequalities with an additional term quantifying signaling: Bell–Dzhafarov–Kujala inequalities.

What Is So Special about Quantum Clicks?

This is an elaboration of the "extra" advantage of the performance of quantized physical systems over classical ones, both in terms of single outcomes as well as probabilistic predictions. From a formal point of view, it is based on entities related to (dual) vectors in (dual) Hilbert spaces, as compared to the Boolean algebra of subsets of a set and the additive measures they support.

Certified Quantum Measurement of Majorana Fermions

We present a quantum self-testing protocol to certify measurements of fermion parity involving Majorana fermion modes. We show that observing a set of ideal measurement statistics implies anti-commutativity of the implemented Majorana fermion parity operators, a necessary prerequisite for Majorana detection. Our protocol is robust to experimental errors. We obtain lower bounds on the fidelities of the state and measurement operators that are linear in the errors. We propose to analyze experimental outcomes in terms of a contextuality witness W, which satisfies 〈W〉 ≤ 3 for any classical probabilistic model of the data. A violation of the inequality witnesses quantum contextuality, and the closeness to the maximum ideal value 〈W〉 = 5 indicates the degree of confidence in the detection of Majorana fermions.

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.

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

Graph-theoretic approach to quantum correlations

Correlations in Bell and noncontextuality inequalities can be expressed as a positive linear combination of probabilities of events. Exclusive events can be represented as adjacent vertices of a graph, so correlations can be associated to a subgraph. We show that the maximum value of the correlations for classical, quantum, and more general theories is the independence number, the Lovász number, and the fractional packing number of this subgraph, respectively. We also show that, for any graph, there is always a correlation experiment such that the set of quantum probabilities is exactly the Grötschel-Lovász-Schrijver theta body. This identifies these combinatorial notions as fundamental physical objects and provides a method for singling out experiments with quantum correlations on demand.

Quantum correlations are tightly bound by the exclusivity principle

It is a fundamental problem in physics of what principle limits the correlations as predicted by our current description of nature, based on quantum mechanics. One possible explanation is the "global exclusivity" principle recently discussed in Phys. Rev. Lett. 110, 060402 (2013). In this work we show that this principle actually has a much stronger restriction on the probability distribution. We provide a tight constraint inequality imposed by this principle and prove that this principle singles out quantum correlations in scenarios represented by any graph. Our result implies that the exclusivity principle might be one of the fundamental principles of nature.

Simple explanation of the quantum violation of a fundamental inequality

We show that the maximum quantum violation of the Klyachko-Can-Binicioğlu-Shumovsky (KCBS) inequality is exactly the maximum value satisfying the following principle: The sum of probabilities of pairwise exclusive events cannot exceed 1. We call this principle "global exclusivity," since its power shows up when it is applied to global events resulting from enlarged scenarios in which the events in the inequality are considered jointly with other events. We identify scenarios in which this principle singles out quantum contextuality, and show that a recent proof excluding nonlocal boxes follows from the maximum violation imposed by this principle to the KCBS inequality.

Kochen-Specker theorem studied with neutron interferometer

The Kochen-Specker theorem shows 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 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 of single neutrons. Here entanglement is achieved not between different particles, but between degrees of freedom of a single neutron, i.e., between spin and path degree of freedom. Appropriate combinations of the spin analysis and the position of the phase shifter allow an experimental verification of the violation of an inequality derived from the Kochen-Specker theorem. The observed violation 2.291±0.008≰1 clearly shows that quantum mechanical predictions cannot be reproduced by noncontextual hidden variable theories.

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.

Experimental test of quantum contextuality in neutron interferometry

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)10.1103/PhysRevLett.100.130404], a Bell-like state was generated, and three expectation values were determined. The observed violation 2.291 +/- 0.008 not less, dbl equals1 clearly shows that quantum mechanical predictions cannot be reproduced by noncontextual hidden-variable theories.

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.