Loophole-free Bell inequality violation with superconducting circuits.

Superposition, entanglement and non-locality constitute fundamental features of quantum physics. The fact that quantum physics does not follow the principle of local causality1-3 can be experimentally demonstrated in Bell tests4 performed on pairs of spatially separated, entangled quantum systems. Although Bell tests, which are widely regarded as a litmus test of quantum physics, have been explored using a broad range of quantum systems over the past 50 years, only relatively recently have experiments free of so-called loopholes5 succeeded. Such experiments have been performed with spins in nitrogen-vacancy centres6, optical photons7-9 and neutral atoms10. Here we demonstrate a loophole-free violation of Bell's inequality with superconducting circuits, which are a prime contender for realizing quantum computing technology11. To evaluate a Clauser-Horne-Shimony-Holt-type Bell inequality4, we deterministically entangle a pair of qubits12 and perform fast and high-fidelity measurements13 along randomly chosen bases on the qubits connected through a cryogenic link14 spanning a distance of 30 metres. Evaluating more than 1 million experimental trials, we find an average S value of 2.0747 ± 0.0033, violating Bell's inequality with a P value smaller than 10-108. Our work demonstrates that non-locality is a viable new resource in quantum information technology realized with superconducting circuits with potential applications in quantum communication, quantum computing and fundamental physics15.

Extremal Tsirelson Inequalities.

It is well known that the set of statistics that can be observed in a Bell-type experiment is limited by quantum theory. Unfortunately, tools are missing to identify the precise boundary of this set. Here, we propose to study the set of quantum statistics from a dual perspective. By considering all Bell expressions saturated by a given realization, we show that the Clauser-Horne-Shimony-Holt expression can be decomposed in terms of extremal Tsirelson inequalities that we identify. This brings novel insight into the geometry of the quantum set in the (2,2,2) scenario. Furthermore, this allows us to identify all the Bell expressions that are able to self-test the Tsirelson realization.

Toward the Device-Independent Certification of a Quantum Memory.

Quantum memories represent one of the main ingredients of future quantum communication networks. Their certification is therefore a key challenge. Here we develop efficient certification methods for quantum memories. Considering a device-independent approach, where no a priori characterization of sources or measurement devices is required, we develop a robust self-testing method for quantum memories. We then illustrate the practical relevance of our technique in a relaxed scenario by certifying a fidelity of 0.87 in a recent solid-state ensemble quantum memory experiment. More generally, our methods apply for the characterization of any device implementing a qubit identity quantum channel.

Certification of Genuine Multipartite Entanglement with General and Robust Device-Independent Witnesses.

Genuine multipartite entanglement represents the strongest type of entanglement, which is an essential resource for quantum information processing. Standard methods to detect genuine multipartite entanglement, e.g., entanglement witnesses, state tomography, or quantum state verification, require full knowledge of the Hilbert space dimension and precise calibration of measurement devices, which are usually difficult to acquire in an experiment. The most radical way to overcome these problems is to detect entanglement solely based on the Bell-like correlations of measurement outcomes collected in the experiment, namely, device independently. However, it is difficult to certify genuine entanglement of practical multipartite states in this way, and even more difficult to quantify it, due to the difficulty in identifying optimal multipartite Bell inequalities and protocols tolerant to state impurity. In this Letter, we explore a general and robust device-independent method that can be applied to various realistic multipartite quantum states in arbitrary finite dimension, while merely relying on bipartite Bell inequalities. Our method allows us both to certify the presence of genuine multipartite entanglement and to quantify it. Several important classes of entangled states are tested with this method, leading to the detection of genuinely entangled states. We also certify genuine multipartite entanglement in weakly entangled Greenberger-Horne-Zeilinger states, showing that the method applies equally well to less standard states.

Quantum Nonlocality in Networks Can Be Demonstrated with an Arbitrarily Small Level of Independence between the Sources.

Quantum nonlocality can be observed in networks even in the case where every party can only perform a single measurement, i.e., does not receive any input. So far, this effect has been demonstrated under the assumption that all sources in the network are fully independent from each other. Here we investigate to what extent this independence assumption can be relaxed. After formalizing the question, we show that, in the triangle network without inputs, quantum nonlocality can be observed, even when assuming only an arbitrarily small level of independence between the sources. This means that quantum predictions cannot be reproduced by a local model unless the three sources can be perfectly correlated.

Noise-Resistant Device-Independent Certification of Bell State Measurements.

Device-independent certification refers to the characterization of an apparatus without reference to the internal description of other devices. It is a trustworthy certification method, free of assumption on the underlying Hilbert space dimension and on calibration methods. We show how it can be used to quantify the quality of a Bell-state measurement, whether deterministic, partial, or probabilistic. Our certification is noise resistant and opens the way towards the device-independent self-testing of Bell-state measurements in existing experiments.

Certifying the Building Blocks of Quantum Computers from Bell's Theorem.

Bell's theorem has been proposed to certify, in a device-independent and robust way, blocks either producing or measuring quantum states. In this Letter, we provide a method based on Bell's theorem to certify coherent operations for the storage, processing, and transfer of quantum information. This completes the set of tools needed to certify all building blocks of a quantum computer. Our method distinguishes itself by its robustness to experimental imperfections, and so could be used to certify that today's quantum devices are qualified for usage in future quantum computers.

Witnessing Optomechanical Entanglement with Photon Counting.

The ability to coherently control mechanical systems with optical fields has made great strides over the past decade, and now includes the use of photon counting techniques to detect the nonclassical nature of mechanical states. These techniques may soon be used to perform an optomechanical Bell test, hence highlighting the potential of cavity optomechanics for device-independent quantum information processing. Here, we propose a witness which reveals optomechanical entanglement without any constraint on the global detection efficiencies in a setup allowing one to test a Bell inequality. While our witness relies on a well-defined description and correct experimental calibration of the measurements, it does not need a detailed knowledge of the functioning of the optomechanical system. A feasibility study including dominant sources of noise and loss shows that it can readily be used to reveal optomechanical entanglement in present-day experiments with photonic crystal nanobeam resonators.

Randomness Extraction from Bell Violation with Continuous Parametric Down-Conversion.

We present a violation of the Clauser-Horne-Shimony-Holt inequality without the fair sampling assumption with a continuously pumped photon pair source combined with two high efficiency superconducting detectors. Because of the continuous nature of the source, the choice of the duration of each measurement round effectively controls the average number of photon pairs participating in the Bell test. We observe a maximum violation of S=2.016 02(32) with an average number of pairs per round of ≈0.32, compatible with our system overall detection efficiencies. Systems that violate a Bell inequality are guaranteed to generate private randomness, with the randomness extraction rate depending on the observed violation and on the repetition rate of the Bell test. For our realization, the optimal rate of randomness generation is a compromise between the observed violation and the duration of each measurement round, with the latter realistically limited by the detection time jitter. Using an extractor composably secure against quantum adversary with quantum side information, we calculate an asymptotic rate of ≈1300 random bits/s. With an experimental run of 43 min, we generated 617 920 random bits, corresponding to ≈240 random bits/s.

Witnessing Irreducible Dimension.

The Hilbert space dimension of a quantum system is the most basic quantifier of its information content. Lower bounds on the dimension can be certified in a device-independent way, based only on observed statistics. We highlight that some such "dimension witnesses" capture only the presence of systems of some dimension, which in a sense is trivial, not the capacity of performing information processing on them, which is the point of experimental efforts to control high-dimensional systems. In order to capture this aspect, we introduce the notion of irreducible dimension of a quantum behavior. This dimension can be certified, and we provide a witness for irreducible dimension four.

Bell Correlations in a Many-Body System with Finite Statistics.

A recent experiment reported the first violation of a Bell correlation witness in a many-body system [Science 352, 441 (2016)]. Following discussions in this Letter, we address here the question of the statistics required to witness Bell correlated states, i.e., states violating a Bell inequality, in such experiments. We start by deriving multipartite Bell inequalities involving an arbitrary number of measurement settings, two outcomes per party and one- and two-body correlators only. Based on these inequalities, we then build up improved witnesses able to detect Bell correlated states in many-body systems using two collective measurements only. These witnesses can potentially detect Bell correlations in states with an arbitrarily low amount of spin squeezing. We then establish an upper bound on the statistics needed to convincingly conclude that a measured state is Bell correlated.

Family of Bell-like Inequalities as Device-Independent Witnesses for Entanglement Depth.

We present a simple family of Bell inequalities applicable to a scenario involving arbitrarily many parties, each of which performs two binary-outcome measurements. We show that these inequalities are members of the complete set of full-correlation Bell inequalities discovered by Werner-Wolf-Zukowski-Brukner. For scenarios involving a small number of parties, we further verify that these inequalities are facet defining for the convex set of Bell-local correlations. Moreover, we show that the amount of quantum violation of these inequalities naturally manifests the extent to which the underlying system is genuinely many-body entangled. In other words, our Bell inequalities, when supplemented with the appropriate quantum bounds, naturally serve as device-independent witnesses for entanglement depth, allowing one to certify genuine k-partite entanglement in an arbitrary n≥k-partite scenario without relying on any assumption about the measurements being performed, or the dimension of the underlying physical system. A brief comparison is made between our witnesses and those based on some other Bell inequalities, as well as quantum Fisher information. A family of witnesses for genuine k-partite nonlocality applicable to an arbitrary n≥k-partite scenario based on our Bell inequalities is also presented.

Robust and versatile black-box certification of quantum devices.

Self-testing refers to the fact that, in some quantum devices, both states and measurements can be assessed in a black-box scenario, on the sole basis of the observed statistics, i.e., without reference to any prior device calibration. Only a few examples of self-testing are known, and they just provide nontrivial assessment for devices performing unrealistically close to the ideal case. We overcome these difficulties by approaching self-testing with the semidefinite programing hierarchy for the characterization of quantum correlations. This allows us to improve dramatically the robustness of previous self-testing schemes; e.g., we show that a Clauser-Horne-Shimony-Holt violation larger than 2.57 certifies a singlet fidelity of more than 70%. In addition, the versatility of the tool brings about self-testing of hitherto impossible cases, such as the robust self-testing of nonmaximally entangled two-qutrit states in the Collins-Gisin-Linden-Massar-Popescu scenario.

Device-independent entanglement quantification and related applications.

We present a general method to quantify both bipartite and multipartite entanglement in a device-independent manner, meaning that we put a lower bound on the amount of entanglement present in a system based on the observed data only but independent of any quantum description of the employed devices. Some of the bounds we obtain, such as for the Clauser-Horne-Shimony-Holt Bell inequality or the Svetlichny inequality, are shown to be tight. Besides, device-independent entanglement quantification can serve as a basis for numerous tasks. We show in particular that our method provides a rigorous way to construct dimension witnesses, gives new insights into the question whether bound entangled states can violate a Bell inequality, and can be used to construct device-independent entanglement witnesses involving an arbitrary number of parties.

Witnessing trustworthy single-photon entanglement with local homodyne measurements.

Single-photon entangled states, i.e., states describing two optical paths sharing a single photon, constitute the simplest form of entanglement. Yet they provide a valuable resource in quantum information science. Specifically, they lie at the heart of quantum networks, as they can be used for quantum teleportation, swapped, and purified with linear optics. The main drawback of such entanglement is the difficulty in measuring it. Here, we present and experimentally test an entanglement witness allowing one to say whether a given state is path entangled and also that entanglement lies in the subspace, where the optical paths are each filled with one photon at most, i.e., refers to single-photon entanglement. It uses local homodyning only and relies on no assumption about the Hilbert space dimension of the measured system. Our work provides a simple and trustworthy method for verifying the proper functioning of future quantum networks.

Detecting genuine multipartite quantum nonlocality: a simple approach and generalization to arbitrary dimensions.

The structure of Bell-type inequalities detecting genuine multipartite nonlocality, and hence detecting genuine multipartite entanglement, is investigated. We first present a simple and intuitive approach to Svetlichny's original inequality, which provides a clear understanding of its structure and of its violation in quantum mechanics. Based on this approach, we then derive a family of Bell-type inequalities for detecting genuine multipartite nonlocality in scenarios involving an arbitrary number of parties and systems of arbitrary dimension. Finally, we discuss the tightness and quantum mechanical violations of these inequalities.

Device-independent witnesses of genuine multipartite entanglement.

We consider the problem of determining whether genuine multipartite entanglement was produced in an experiment, without relying on a characterization of the systems observed or of the measurements performed. We present an n-partite inequality that is satisfied by all correlations produced by measurements on biseparable quantum states, but which can be violated by n-partite entangled states, such as Greenberger-Horne-Zeilinger states. In contrast to traditional entanglement witnesses, the violation of this inequality implies that the state is not biseparable independently of the Hilbert space dimension and of the measured operators. Violation of this inequality does not imply, however, genuine multipartite nonlocality. We show more generically how the problem of identifying genuine tripartite entanglement in a device-independent way can be addressed through semidefinite programming.

Mutually unbiased bases and symmetric informationally complete measurements in Bell experiments.

Mutually unbiased bases (MUBs) and symmetric informationally complete projectors (SICs) are crucial to many conceptual and practical aspects of quantum theory. Here, we develop their role in quantum nonlocality by (i) introducing families of Bell inequalities that are maximally violated by d-dimensional MUBs and SICs, respectively, (ii) proving device-independent certification of natural operational notions of MUBs and SICs, and (iii) using MUBs and SICs to develop optimal-rate and nearly optimal-rate protocols for device-independent quantum key distribution and device-independent quantum random number generation, respectively. Moreover, we also present the first example of an extremal point of the quantum set of correlations that admits physically inequivalent quantum realizations. Our results elaborately demonstrate the foundational and practical relevance of the two most important discrete Hilbert space structures to the field of quantum nonlocality.

Guess your neighbor's input: a multipartite nonlocal game with no quantum advantage.

We present a multipartite nonlocal game in which each player must guess the input received by his neighbor. We show that quantum correlations do not perform better than classical ones at this game, for any prior distribution of the inputs. There exist, however, input distributions for which general no-signaling correlations can outperform classical and quantum correlations. Some of the Bell inequalities associated with our construction correspond to facets of the local polytope. Thus our multipartite game identifies parts of the boundary between quantum and postquantum correlations of maximal dimension. These results suggest that quantum correlations might obey a generalization of the usual no-signaling conditions in a multipartite setting.

Constraints on nonlocality in networks from no-signaling and independence.

The possibility of Bell inequality violations in quantum theory had a profound impact on our understanding of the correlations that can be shared by distant parties. Generalizing the concept of Bell nonlocality to networks leads to novel forms of correlations, the characterization of which is, however, challenging. Here, we investigate constraints on correlations in networks under the natural assumptions of no-signaling and independence of the sources. We consider the triangle network with binary outputs, and derive strong constraints on correlations even though the parties receive no input, i.e., each party performs a fixed measurement. We show that some of these constraints are tight, by constructing explicit local models (i.e. where sources distribute classical variables) that can saturate them. However, we also observe that other constraints can apparently not be saturated by local models, which opens the possibility of having nonlocal (but non-signaling) correlations in the triangle network with binary outputs.