We present a method to certify the presence of Bell correlations in experimentally observed statistics, and to obtain new Bell inequalities. Our approach is based on relaxing the conditions defining the set of correlations obeying a local hidden variable model, yielding a convergent hierarchy of semidefinite programs (SDP's). Because the size of these SDP's is independent of the number of parties involved, this technique allows us to characterize correlations in many-body systems. As an example, we illustrate our method with the experimental data presented in Science 352, 441 (2016)SCIEAS0036-807510.1126/science.aad8665.
We present a method to certify the presence of Bell correlations in experimentally observed statistics, and to obtain new Bell inequalities. Our approach is based on relaxing the conditions defining the set of correlations obeying a local hidden variable model, yielding a convergent hierarchy of semidefinite programs (SDP's). Because the size of these SDP's is independent of the number of parties involved, this technique allows us to characterize correlations in many-body systems. As an example, we illustrate our method with the experimental data presented in Science 352, 441 (2016)SCIEAS0036-807510.1126/science.aad8665.
Multipartite Bell nonlocality provides a device-independent probe of many-body quantum correlations, but its characterization is limited by the rapid growth of the underlying classical and quantum optimization problems. We develop a scalable method for constructing and certifying permutationally invariant Bell inequalities using only one- and two-body correlators. The construction gives families of inequalities with robust quantum violations for general m measurements as the number of parties N becomes large. To improve robustness against noise, we optimize the ratio of the quantum value to the classical bound for these families in the large-N limit. We then certify the resulting quantum violation using semidefinite programming. For the broad class of Bell inequalities studied here, the infinite-N ratios take simple rational values for finite m and converge to coth(1) as m→∞. The optimized inequalities efficiently detect many-body Bell nonlocality with collective measurements, with more measurement settings leading to stronger violations.
We are interested in the problem of characterizing the correlations that arise when performing local measurements on separate quantum systems. In a previous work (Navascués et al 2007 Phys. Rev. Lett. 98 010401), we introduced an infinite hierarchy of conditions necessarily satisfied by any set of quantum correlations. Each of these conditions could be tested using semidefinite programming. We present here new results concerning this hierarchy. We prove in particular that it is complete, in the sense that any set of correlations satisfying every condition in the hierarchy has a quantum representation in terms of commuting measurements. Although our tests are conceived to rule out non-quantum correlations, and can in principle certify that a set of correlations is quantum only in the asymptotic limit where all tests are satisfied, we show that in some cases it is possible to conclude that a given set of correlations is quantum after performing only a finite number of tests. We provide a criterion to detect when such a situation arises, and we explain how to reconstruct the quantum states and measurement operators reproducing the given correlations. Finally, we present several applications of our approach. We use it in particular to bound the quantum violation of various Bell inequalities.
We consider the characterization of entanglement depth in a quantum many-body system from the device-independent perspective; that is, we aim at certifying how many particles are genuinely entangled without relying on assumptions on the system itself nor on the measurements performed. We obtain device-independent witnesses of entanglement depth (DIWEDs) using the Bell inequalities introduced in [J. Tura et al., Science 344, 1256 (2014)SCIEAS0036-807510.1126/science.1247715] and compute their k-producibility bounds. To this end, we exploit two complementary methods: first, a variational one, yielding a possibly optimal k-producible state; second, a certificate of optimality via a semidefinite program, based on a relaxation of the quantum marginal problem. Numerical results suggest a clear pattern on k-producible bounds for large system sizes, which we then tackle analytically in the thermodynamic limit. Contrary to existing DIWEDs, the ones we present here can be effectively measured by accessing only collective measurements and second moments thereof. These technical requirements are met in current experiments, which have already been performed in the context of detecting Bell correlations in quantum many-body systems of 5×10^{2}-5×10^{5} atoms.
We address the question of assessing the number of particles sharing genuinely nonlocal correlations in a multipartite system. While the interest in multipartite nonlocality has grown in recent years, its existence in large quantum systems is difficult to confirm experimentally. This is mostly due to the inadequacy of standard multipartite Bell inequalities to many-body systems: Such inequalities usually rely on expectation values involving many parties, usually all, and require individual addressing of each party. In addition, known Bell inequalities for genuine nonlocality are composed of a number of expectation values that scales exponentially with the number of observers, which makes such inequalities impractical from the experimental point of view. In a recent work [Tura et al., Science 344, 1256 (2014)], it was shown that it is possible to detect nonlocality in multipartite systems using Bell inequalities with only two-body correlators. This opened the way for the detection of Bell correlations with trusted collective measurements through Bell correlation witnesses [Schmied et al., Science 352, 441 (2016)]. These witnesses were recently tested experimentally in many-body systems such as Bose-Einstein condensate or thermal ensembles, hence demonstrating the presence of Bell correlations with assumptions on the statistics. Here, we address the problem of detecting nonlocality depth, a notion that quantifies the number of particles sharing nonlocal correlation in a multipartite system. We introduce a general framework allowing us to derive Bell-like inequalities for nonlocality depth from symmetric two-body correlators. We characterize all such Bell-like inequalities for a finite number of parties and we show that they reveal Bell correlation depth $k\ensuremath{\le}6$ in arbitrarily large systems. We then show how Bell correlation depth can be estimated using quantities that are within reach in current experiments. On one hand, we use the standard multipartite Bell inequalities such the Mermin and Svetlichny ones to derive Bell correlations witnesses of any depth that involves only two collective measurements, one of which being the parity measurement. On the other hand, we show that our two-body Bell inequalities can be turned into witnesses of depth $k\ensuremath{\le}6$ that require measuring total spin components in certain directions. Interestingly, such a witness is violated by existing data from an ensemble of 480 atoms.
The future progress of semi-device independent quantum information science depends crucially on our ability to bound the strength of the nonlocal correlations achievable with finite dimensional quantum resources. In this work, we characterize quantum nonlocality under local dimension constraints via a complete hierarchy of semidefinite programming relaxations. In the bipartite case, we find that the first level of the hierarchy returns non-trivial bounds in all cases considered, allowing to study nonlocality scenarios with four measurement settings on one side and twelve (12) on the other in a normal desktop. In the tripartite case, we apply the hierarchy to derive a Bell-type inequality that can only be violated when each of the three parties has local dimension greater than two, hence certifying three-dimensional tripartite entanglement in a device independent way. Finally, we show how the new method can be trivially modified to detect non-separable measurements in two-qubit scenarios.
We introduce a hierarchy of conditions necessarily satisfied by any distribution P_{alphabeta} representing the probabilities for two separate observers to obtain outcomes alpha and beta when making local measurements on a shared quantum state. Each condition in this hierarchy is formulated as a semidefinite program. Among other applications, our approach can be used to obtain upper bounds on the quantum violation of an arbitrary Bell inequality. It yields, for instance, tight bounds for the violations of the Collins et al. inequalities.