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

Simultaneous symplectic reduction of quadratic forms into normal forms

On Simultaneous Symplectic Diagonalization in the sense of Williamson's Theorem

On generalization of Williamson's theorem to real symmetric matrices

Block perturbation of symplectic matrices in Williamson's theorem

Symplectic model reduction of Hamiltonian systems using data-driven quadratic manifolds

On Three-Term Linear Relations for Theta Series of Positive-Definite Binary Quadratic Forms

Symmetrizations of quadratic and hermitian forms

Sylvester's Minorant Criterion, Lagrange-Beltrami Identity, and Nonnegative Definiteness

Conditions for symmetry reduction of polysymplectic and polycosymplectic structures

On approximating the symplectic spectrum of infinite-dimensional operators

On A Trilinear Singular Integral Form with Determinantal Kernel

Symplectic Reduction For Semidirect Products And Central Extensions

Classically Integral Quadratic Forms Excepting at Most Two Values

Coisotropic reduction in Multisymplectic Geometry

Quantum Entanglement, Symmetric Nonnegative Quadratic Polynomials and Moment Problems

Normality theorem for elementary symplectic group with respect to an alternating form

Symmetry properties and explicit solutions of the generalized Weierstrass system

Simultaneous local normal forms of dynamical systems with singular underlying geometric structures

Almost commuting scheme of symplectic matrices and quantum Hamiltonian reduction

The Smith normal form and reduction of weakly linear matrices

Positive values of non-homogeneous quadratic forms of type (1,4): A conjecture of Bambah, Dumir and Hans-Gill