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).

A new approach to the nonsingular cubic binary moment problem

The singular bivariate quartic tracial moment problem

Further results on the real cubic truncated moment problem

The truncated moment problem on reducible cubic curves I: Parabolic and Circular type relations

The truncated multidimensional moment problem: canonical solutions

A Recursive approach to the matrix moment problem

How to solve a binary cubic equation in integers

Nonnegative Polynomials and Moment Problems on Algebraic Curves

On the Matricial Truncated Moment Problem. II

On the truncated matrix power moment problem with an open gap

A Note on the Matrix Moment Problem and its Relation with Matrix Biorthogonal Polynomials

Applications of Moments of Dirichlet Coefficients in Elliptic Curve Families

Sums of squares certificates for polynomial moment inequalities

Enhancing Cubic Polynomial Solutions: A Comprehensive Analysis and Iterative Refinement Strategy in Response to the Versatility of Cubic Equations of State

Positivity-preserving extensions of sum-of-squares pseudomoments over the hypercube

Solving moment and polynomial optimization problems on Sobolev spaces

Singular solutions of the matrix Bochner problem: the $N$-dimensional cases

The operator approach to the truncated multidimensional moment problem

On the Geometric Analysis of a Quartic–quadratic Optimization Problem under a Spherical Constraint

Quantum Entanglement, Symmetric Nonnegative Quadratic Polynomials and Moment Problems