1: \begin{abstract}

2: 

3: 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 to characterize correlations in many--body systems. As an example, we illustrate our method with the experimental data presented in [\href{https://doi.org/10.1126/science.aad8665}{Science {\bf 352}, 441 (2016)}].

4: 

5: 

6: %We present a method to certify the presence of Bell correlations in a many-body system and to obtain new Bell inequalities. The method is based on relaxing the set of correlations obeying a local hidden variable model, yielding a hierarchy of semidefinite programs (SdP). The size of these SdP is independent of the number of parties in the system. We illustrate our method with an example based on the experimental data from [\href{https://doi.org/10.1126/science.aad8665}{Science {\bf 352}, 441 (2016)}]. This method has a number of direct applications such as proving the nonlocal nature of experimentally observed correlations and deriving novel Bell inequalities \added{This is repetitive, add convergence ?}.

7: 

8: 

9: 

10: \end{abstract}

11: