807c2ce0c8152054.tex
1: \begin{abstract}
2: Characterising the correlations that arise when locally measuring a single joint quantum system is one of the main problems of quantum information theory.
3: The seminal work [M. Navascués \emph{et al}, NJP 10,7,073013 (2008)], known as the NPA hierarchy, reformulated this question as a polynomial optimisation problem over noncommutative variables and proposed a convergent hierarchy of necessary conditions, each testable using semidefinite programming.
4: More recently, the problem of characterising the quantum \emph{network} correlations, which arise when locally measuring \emph{several independent} quantum systems distributed in a network, has received considerable interest.
5: Several generalisations of the NPA hierarchy, such as the Scalar Extension [Pozas-Kerstjens \emph{et al}, Phys. Rev. Lett. 123, 140503 (2019)], were introduced while their converging sets remain unknown.
6: In this work, we introduce a new hierarchy and characterise its convergence in the case of the simplest network, the bilocal scenario, and explore its relations with the known generalisations.
7: We also provide arguments against a commutator-based definition of the set of quantum correlations in networks.
8: % prove its equivalence to the Scalar Extension, and characterise its convergence in the case of the simplest network, the bilocal scenario.
9: \end{abstract}
10: