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

Properties and Applications of Symmetric Quantum Calculus

Some Hermite-Hadamard and midpoint type inequalities in symmetric quantum calculus

Simpson's Type Inequalities for Co-Ordinated Convex Functions on Quantum Calculus.

q1q2-Ostrowski-Type Integral Inequalities Involving Property of Generalized Higher-Order Strongly n-Polynomial Preinvexity

New quantum inequalities of Hermite-Hadamard type via Green function

Applications of a q-Integral Operator to a Certain Class of Analytic Functions Associated with a Symmetric Domain

Quantum calculus with respect to another function

Symmetric derivatives of parametrized quantum circuits

Some New Parameterized Quantum Fractional Integral Inequalities Involving s-Convex Functions and Applications

On the symmetric $q$-analog on the bi-univalent functions with respect to symmetric points

Defining and Analyzing New Classes Associated with (λ,γ)-Symmetrical Functions and Quantum Calculus

A Study of Some New Hermite–Hadamard Inequalities via Specific Convex Functions with Applications

Quantum Entanglement, Symmetric Nonnegative Quadratic Polynomials and Moment Problems

On Quantum Sobolev Inequalities

Integral inequalities of h‐superquadratic functions and their fractional perspective with applications

Functional inequalities on symmetric spaces of noncompact type and applications

Studying Stabilizer de Finetti Theorems and Possible Applications in Quantum Information Processing

Inclusion and Neighborhood on a Multivalent q -Symmetric Function with Poisson Distribution Operators

Quantum Algorithms for Realizing Symmetric, Asymmetric, and Antisymmetric Projectors

Symmetry operations and Critical Behaviour in Classical to Quantum Stochastic Processes

On query complexity measures and their relations for symmetric functions