Abstract:Quantum states are represented by positive semidefinite Hermitian operators with unit trace, known as density matrices. An important subset of quantum states is that of separable states, the complement of which is the subset of \textit{entangled} states. We show that the problem of deciding whether a quantum state is entangled can be seen as a moment problem in real analysis. Only a small number of such moments are accessible experimentally, and so in practice the question of quantum entanglement of a many-body system can be reduced to a truncated moment problem. By considering quantum entanglement of $n$ identical atoms we arrive at the truncated moment problem defined for symmetric measures over a product of $n$ copies of unit balls in $\mathbb{R}^d$. We work with moments up to degree $2$. We derive necessary and sufficient conditions for belonging to the moment cone, which can be expressed via a linear matrix inequality of size at most $2d+2$, which is independent of $n$. The linear matrix inequalities can be converted into a set of explicit semialgebraic inequalities giving necessary and sufficient conditions for membership in the moment cone, and show that the two conditions approach each other in the limit of large $n$. The inequalities are derived via considering the dual cone of nonnegative polynomials, and its sum-of-squares relaxation. We show that the sum-of-squares relaxation of the dual cone is asymptotically exact, and using symmetry reduction techniques (J. Pure Appl. Algebra 192, no. 1-3, 95, <a class="link-https" data-arxiv-id="1205.3102" href="https://arxiv.org/abs/1205.3102">arXiv:1205.3102</a>), it can be written as a small linear matrix inequality of size at most $2d+2$, which is independent of $n$. For the cone of symmetric nonnegative polynomials with the relevant support we also prove an analogue of the half-degree principle for globally nonnegative symmetric polynomials (J. Math. Anal. Appl. 284, no. 1, 174, J. Pure Appl. Algebra 216, no. 4, 850).

Moments of the free Jacobi process: a matrix approach

Wigner- and Marchenko–Pastur-Type Limit Theorems for Jacobi Processes

Infinite Random Matrix Theory, Tridiagonal Bordered Toeplitz Matrices, and the Moment Problem

Improved concentration of Laguerre and Jacobi ensembles

Characteristic Polynomials of Orthogonal and Symplectic Random Matrices, Jacobi Ensembles & L-functions

Asymptotic behaviour of determinants through the expansion of the Moyal star product

Moments of exponential functionals of Lévy processes on a deterministic horizon -- identities and explicit expressions

On the convergence of complex Jacobi methods

Exchangeable arrays and integrable systems for characteristic polynomials of random matrices

Bidiagonal matrix factorisations related to multiple orthogonal polynomials

Probabilistic aspects of Jacobi theta functions

Upper bounds on wavepacket spreading for random Jacobi matrices

Matricial Canonical Moments and Parametrization of Matricial Hausdorff Moment Sequences

Quantum Entanglement, Symmetric Nonnegative Quadratic Polynomials and Moment Problems

Jacobi Identity for Poisson Brackets: A Concise Proof

On positive Jacobi matrices with compact inverses

On q-series and the moment problem associated to local factors

Convergence of the complex block Jacobi methods under the generalized serial pivot strategies

Joint moments of derivatives of characteristic polynomials of random symplectic and orthogonal matrices

General Bilinear Forms In The Jacobi Symbol Over Hyperbolic Regions