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.

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

Experimental Test of High-Dimensional Quantum Contextuality Based on Contextuality Concentration.

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.

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.

Exponentially Decreasing Critical Detection Efficiency for Any Bell Inequality.

We address the problem of closing the detection efficiency loophole in Bell experiments, which is crucial for real-world applications. Every Bell inequality has a critical detection efficiency η that must be surpassed to avoid the detection loophole. Here, we propose a general method for reducing the critical detection efficiency of any Bell inequality to arbitrary low values. This is accomplished by entangling two particles in N orthogonal subspaces (e.g., N degrees of freedom) and conducting N Bell tests in parallel. Furthermore, the proposed method is based on the introduction of penalized N-product (PNP) Bell inequalities, for which the so-called simultaneous measurement loophole is closed, and the maximum value for local hidden-variable theories is simply the Nth power of the one of the Bell inequality initially considered. We show that, for the PNP Bell inequalities, the critical detection efficiency decays exponentially with N. The strength of our method is illustrated with a detailed study of the PNP Bell inequalities resulting from the Clauser-Horne-Shimony-Holt inequality.

Irreducible Magic Sets for n-Qubit Systems.

Magic sets of observables are minimal structures that capture quantum state-independent advantage for systems of n≥2 qubits and are, therefore, fundamental tools for investigating the interface between classical and quantum physics. A theorem by Arkhipov (arXiv:1209.3819) states that n-qubit magic sets in which each observable is in exactly two subsets of compatible observables can be reduced either to the two-qubit magic square or the three-qubit magic pentagram [N. D. Mermin, Phys. Rev. Lett. 65, 3373 (1990)PRLTAO0031-900710.1103/PhysRevLett.65.3373]. An open question is whether there are magic sets that cannot be reduced to the square or the pentagram. If they exist, a second key question is whether they require n>3 qubits, since, if this is the case, these magic sets would capture minimal state-independent quantum advantage that is specific for n-qubit systems with specific values of n. Here, we answer both questions affirmatively. We identify magic sets that cannot be reduced to the square or the pentagram and require n=3, 4, 5, or 6 qubits. In addition, we prove a generalized version of Arkhipov's theorem providing an efficient algorithm for, given a hypergraph, deciding whether or not it can accommodate a magic set, and solve another open problem, namely, given a magic set, obtaining the tight bound of its associated noncontextuality inequality.

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 171Yb+ ion and a 138Ba+ 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.

Ruling Out Real-Valued Standard Formalism of Quantum Theory.

Standard quantum theory was formulated with complex-valued Schrödinger equations, wave functions, operators, and Hilbert spaces. Previous work attempted to simulate quantum systems using only real numbers by exploiting an enlarged Hilbert space. A fundamental question arises: are the complex numbers really necessary in the standard formalism of quantum theory? To answer this question, a quantum game has been developed to distinguish standard quantum theory from its real-number analog, by revealing a contradiction between a high-fidelity multiqubit quantum experiment and players using only real-number quantum theory. Here, using superconducting qubits, we faithfully realize the quantum game based on deterministic entanglement swapping with a state-of-the-art fidelity of 0.952. Our experimental results violate the real-number bound of 7.66 by 43 standard deviations. Our results disprove the real-number formulation and establish the indispensable role of complex numbers in the standard quantum theory.

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-Binicioglu-Shumovsky inequality.

Tracking the Dynamics of an Ideal Quantum Measurement.

The existence of ideal quantum measurements is one of the fundamental predictions of quantum mechanics. In theory, an ideal measurement projects a quantum state onto the eigenbasis of the measurement observable, while preserving coherences between eigenstates that have the same eigenvalue. The question arises whether there are processes in nature that correspond to such ideal quantum measurements and how such processes are dynamically implemented in nature. Here we address this question and present experimental results monitoring the dynamics of a naturally occurring measurement process: the coupling of a trapped ion qutrit to the photon environment. By taking tomographic snapshots during the detection process, we show that the process develops in agreement with the model of an ideal quantum measurement with an average fidelity of 94%.

Device-Independent Tests of Structures of Measurement Incompatibility.

In contrast with classical physics, in quantum physics some sets of measurements are incompatible in the sense that they cannot be performed simultaneously. Among other applications, incompatibility allows for contextuality and Bell nonlocality. This makes it of crucial importance to develop tools for certifying whether a set of measurements respects a certain structure of incompatibility. Here we show that, for quantum or nonsignaling models, if the measurements employed in a Bell test satisfy a given type of compatibility, then the amount of violation of some specific Bell inequalities becomes limited. Then, we show that correlations arising from local measurements on two-qubit states violate these limits, which rules out in a device-independent way such structures of incompatibility. In particular, we prove that quantum correlations allow for a device-independent demonstration of genuine triplewise incompatibility. Finally, we translate these results into a semidevice-independent Einstein-Podolsky-Rosen-steering scenario.

The problem of quantum correlations and the totalitarian principle.

The totalitarian principle establishes that 'anything not forbidden is compulsory'. The problem of quantum correlations is explaining what selects the set of quantum correlations for a Bell and Kochen-Specker (KS) contextuality scenario. Here, we show that two assumptions and a version of the totalitarian principle lead to the quantum correlations. The assumptions are that there is a non-empty set of correlations for any KS contextuality scenario and a statistically independent realization of any two KS experiments. The version of the totalitarian principle says that any correlation not forbidden by these assumptions can be produced. This paper contains a short version of the proof (presented elsewhere) and explores some implications of the result. This article is part of the theme issue 'Contextuality and probability in quantum mechanics and beyond'.

Robust Self-Testing of Quantum Systems via Noncontextuality Inequalities.

Characterizing 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 noncontextuality inequalities. Our work leverages the graph-theoretic framework for contextuality introduced by Cabello, Severini, and Winter, combined with tools from mathematical optimization that guarantee the unicity of optimal solutions. As an application, we show that the celebrated Klyachko-Can-Binicioglu-Shumovsky inequality and its generalization to contextuality scenarios with odd n-cycle compatibility relations admit robust self-testing.

Observation of Stronger-than-Binary Correlations with Entangled Photonic Qutrits.

We present the first experimental confirmation of the quantum-mechanical prediction of stronger-than-binary correlations. These are correlations that cannot be explained under the assumption that the occurrence of a particular outcome of an n≥3-outcome measurement is due to a two-step process in which, in the first step, some classical mechanism precludes n-2 of the outcomes and, in the second step, a binary measurement generates the outcome. Our experiment uses pairs of photonic qutrits distributed between two laboratories, where randomly chosen three-outcome measurements are performed. We report a violation by 9.3 standard deviations of the optimal inequality for nonsignaling binary correlations.

Noncontextual Wirings.

Contextuality is a fundamental feature of quantum theory necessary for certain models of quantum computation and communication. Serious steps have therefore been taken towards a formal framework for contextuality as an operational resource. However, the main ingredient of a resource theory-a concrete, explicit form of free operations of contextuality-was still missing. Here we provide such a component by introducing noncontextual wirings: a class of contextuality-free operations with a clear operational interpretation and a friendly parametrization. We characterize them completely for general black-box measurement devices with arbitrarily many inputs and outputs. As applications, we show that the relative entropy of contextuality is a contextuality monotone and that maximally contextual boxes that serve as contextuality bits exist for a broad class of scenarios. Our results complete a unified resource-theoretic framework for contextuality and Bell nonlocality.

Optimal Classical Simulation of State-Independent Quantum Contextuality.

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 should not contain any oracular information. In particular, we show that, while classically simulating two qubits tested with the Peres-Mermin set requires log_{2}24≈4.585 bits, simulating a single qutrit tested with the Yu-Oh set requires, at least, 5.740 bits.

Experimental observation of quantum state-independent contextuality under no-signaling conditions.

Contextuality, the impossibility of assigning context-independent measurement outcomes, is a critical resource for quantum computation and communication. No-signaling between successive measurements is an essential requirement that should be accomplished in any test of quantum contextuality and that is difficult to achieve in practice. Here, we introduce an optimal quantum state-independent contextuality inequality in which the deviation from the classical bound is maximal. We then experimentally test it using single photons generated from a defect in a bulk silicon carbide, while satisfying the requirement of no-signaling within the experimental error. Our results shed new light on the study of quantum contextuality under no-signaling conditions.

Single-Photon Quantum Contextuality on a Chip.

In classical physics, properties of objects exist independently of the context, i.e., whether and how measurements are performed. Quantum physics showed this assumption to be wrong, and that Nature is indeed "contextual". Contextuality has been observed in the simplest physical systems, such as single particles, and plays fundamental roles in quantum computation advantage. Here, we demonstrate for the first time quantum contextuality in an integrated photonic chip. The chip implements different combinations of measurements on a single photon delocalized on four distinct spatial modes, showing violations of a Clauser-Horne-Shimony-Holt (CHSH)-like noncontextuality inequality. This paves the way to compact and portable devices for contextuality-based quantum-powered protocols.

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.