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

Symmetric PH and EP Distributions and Their Applications to the Probability Hough Transform

High-Order Exceptional Points in Diffusive Systems: Robust APT Symmetry 2 Against Perturbation and Phase Oscillation at APT Symmetry Breaking

Polynomial Distributions and Transformations

Generating Probability Distributions on Intervals and Spheres with Application to Finite Element Method.

A New Class of Symmetric Distributions Including the Elliptically Symmetric Logistic

A new statistical distribution via the Phi-4 equation with its wide-ranging applications

Edgeworth approximations for distributions of symmetric statistics

Applications of multiple orthogonal polynomials with hypergeometric moment generating functions

A Tractable Class of Multivariate Phase-Type Distributions for Loss Modeling

A note on the Hendrickson–Lattman phase probability distribution and its equivalence to the generalized von Mises distribution

Phase Properties of Hypergeometric States and Negative Hypergeometric States

Quantum Entanglement, Symmetric Nonnegative Quadratic Polynomials and Moment Problems

Piecewise Probability Distribution Theory

On Representing (Anti)Symmetric Functions

On a class of bivariate distributions built of q -ultraspherical polynomials

Regularity of laws via Dirichlet forms: application to quadratic forms in independent and identically distributed random variables

Wick–Fourier–Hermite Series in the Theory of Linear and Nonlinear Transformations of Gaussian Distributions

(Anti)symmetric multivariate exponential functions and corresponding Fourier transforms

Permutation Symmetry Determines the Discrete Wigner Function.

Symmetric Function Theory and Unitary Invariant Ensembles

Symmetric Hyperbolic Polynomials