Bell nonlocality represents the ultimate consequence of quantum entanglement, fundamentally undermining the classical tenet that spatially separated degrees of freedom possess objective attributes independently of the act of their measurement. Despite its importance, probing Bell nonlocality in many-body systems is considered to be a formidable challenge, with a computational cost scaling exponentially with system size. Here we propose and validate an efficient variational scheme, based on the solution of inverse classical Ising problems, which in polynomial time can probe whether an arbitrary set of quantum data is compatible with a local theory; and, if not, it delivers the many-body Bell inequality most strongly violated by the quantum data. We use our approach to unveil new many-body Bell inequalities, violated by suitable measurements on paradigmatic quantum states (the low-energy states of Heisenberg antiferromagnets), paving the way to systematic Bell tests in the many-body realm.
Bell nonlocality represents the ultimate consequence of quantum entanglement, fundamentally undermining the classical tenet that spatially separated degrees of freedom possess objective attributes independently of the act of their measurement. Despite its importance, probing Bell nonlocality in many-body systems is considered to be a formidable challenge, with a computational cost scaling exponentially with system size. Here we propose and validate an efficient variational scheme, based on the solution of inverse classical Ising problems, which in polynomial time can probe whether an arbitrary set of quantum data is compatible with a local theory; and, if not, it delivers the many-body Bell inequality most strongly violated by the quantum data. We use our approach to unveil new many-body Bell inequalities, violated by suitable measurements on paradigmatic quantum states (the low-energy states of Heisenberg antiferromagnets), paving the way to systematic Bell tests in the many-body realm.
Violating Bell's inequalities (BIs) allows one to certify the preparation of entangled states from minimal assumptions-in a device-independent manner.Finding BIs tailored to many-body correlations as prepared in present-day quantum computers and simulators is however a highly challenging endeavor.In this work, we focus on BIs violated by very coarse-grain features of the system: two-body correlations averaged over all permutations of the parties.For two-outcome measurements, specific BIs of this form have been theoretically and experimentally studied in the past, but it is practically impossible to explicitly test all such BIs.Data-driven methods-reconstructing a violated BI from the data themselves-have therefore been considered.Here, inspired by statistical physics, we develop a novel data-driven approach specifically tailored to such coarse-grain data.Our approach offers two main improvements over the existing literature: (1) it is directly designed for any number of outcomes and settings; (2) the obtained BIs are quadratic in the data, offering a fundamental scaling advantage for the precision required in experiments.This very flexible method, whose complexity does not scale with the system size, allows us to systematically improve over all previously known Bell inequalities robustly violated by ensembles of quantum spin 1/2; and to discover novel families of Bell inequalities, tailored to spin-squeezed states and many-body spin singlets of arbitrary spin-j ensembles.
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 review methods that allow one to detect and characterize quantum correlations in many-body systems, with a special focus on approaches which are scalable. Namely, those applicable to systems with many degrees of freedom, without requiring a number of measurements or computational resources to analyze the data that scale exponentially with the system size. We begin with introducing the concepts of quantum entanglement, Einstein-Podolsky-Rosen steering, and Bell nonlocality in the bipartite scenario, to then present their multipartite generalization. We review recent progress on characterizing these quantum correlations from partial information on the system state, such as through data-driven methods or witnesses based on low-order moments of collective observables. We then review state-of-the-art experiments that demonstrate the preparation, manipulation and detection of highly-entangled many-body systems. For each platform (e.g. atoms, ions, photons, superconducting circuits) we illustrate the available toolbox for state preparation and measurement, emphasizing the challenges that each system poses. To conclude, we present a list of timely open problems in the field.
Incompatibility of observables, or measurements, is one of the key features of quantum mechanics, related, among other concepts, to Heisenberg's uncertainty relations and Bell nonlocality. In this manuscript we show, however, that even though incompatible measurements are necessary for the violation of any Bell inequality, some relevant Bell-like inequalities may be obtained if compatibility relations are assumed between the local measurements of one (or more) of the parties. Hence, compatibility of measurements is not necessarily a drawback and may, however, be useful for the detection of Bell nonlocality and device-independent certification of entanglement.
Bell inequalities reveal the fundamentally nonlocal character of quantum mechanics. In this regard, one of the interesting problems is to explore all possible Bell inequalities that demonstrate a gap between local and nonlocal quantum behaviour. This is useful for the geometric characterisation of the set of nonlocal correlations achievable within quantum theory. Moreover, it provides a systematic way to construct Bell inequalities that are tailored to specific quantum information processing tasks. This characterisation is well understood in the simplest (2,2,2) scenario, namely two parties performing two binary outcome measurements. However, beyond this setting, relatively few Bell inequalities are known, and the situation becomes particularly scarce in scenarios involving a greater number of outcomes. Here, we consider the (2,2,3) scenario, or two parties performing two three-outcome measurements, and characterise all Bell inequalities that can arise from the simplest sum-of-squares decomposition and are maximally violated by the maximally entangled state of local dimension three. We then utilise them to self-test this state, along with a class of three-outcome measurements.
Bell nonlocality is the resource that enables device-independent quantum information processing tasks. It is revealed through the violation of so-called Bell inequalities, indicating that the observed correlations cannot be reproduced by any local hidden-variable model. While well explored in few-body settings, the question of which Bell inequalities are best suited for a given task remains quite open in the many-body scenario. One natural approach is to assign Bell inequalities to physical Hamiltonians, mapping their interaction graph to two-body, nearest-neighbor terms. Here, we investigate the effect of boundary conditions in a two-dimensional square lattice, which can induce different topologies in lattice systems. We find a relation between the induced topology and the Bell inequality's effectiveness in revealing nonlocal correlations. By using a combination of tropical algebra and tensor networks, we quantify their detection capacity for nonlocality. Our work can act as a guide to certify Bell nonlocality in many-qubit devices by choosing a suitable Hamiltonian and measuring its ground-state energy, a task that many quantum experiments are purposely built for.