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

Geometric Multiaxial Representation of N-qubit Mixed Symmetric Separable States

Entanglement and volume monogamy features of permutation symmetric N-qubit pure states with N-distinct spinors: GHZ and WWbar states

Entanglement and Nonlocality in Diagonal Symmetric States of $N$-qubits

Separability of completely symmetric states in a multipartite system

Generalized Weyl-Heisenberg Algebra, Qudit Systems and Entanglement Measure of Symmetric States via Spin Coherent States

Geometric phase and spinorial representation of mixed state

Separability of Graph Laplacian Quantum States: Utilizing Unitary Operators, Neighbourhood Sets and Equivalence Relation

Quantum Separability Criteria for Arbitrary Dimensional Multipartite States

Poisson Geometric Formulation of Quantum Mechanics

Dimensions, Lengths, and Separability in Finite-Dimensional Quantum Systems

Genuine multipartite entanglement of symmmetric Gaussian states: Strong monogamy, unitary localization, scaling behavior, and molecular sharing structure

Criteria of partial separability of multipartite qubit mixed-states

Multipartite Monogamy of Entanglement for Three Qubit States

Geometry of entanglement and separability in Hilbert subspaces of dimension up to three

Symmetry-enforced many-body separability transitions

Criteria of absolutely separability from spectrum for qudit-qudits states

Separability probability of two-qubit states

A New Method of Classification of Pure Tripartite Quantum States

Quantum Entanglement, Symmetric Nonnegative Quadratic Polynomials and Moment Problems