Although the quantum state of a many-body system (e.g, a system consisting of several atoms) is described in terms of its degrees of freedom, i.e., a large number of variables representing a point on the compact space of quantum states, there is usually a small number of parameters that can be actually measured experimentally. We show that the problem of deciding whether the underlying quantum state is entangled is equivalent to the problem of deciding whether the set of measured parameters are the moments of some measure defined over the compact space of states of the many-body system. 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 R^d. We consider moments up to degree 2 since these are most readily available experimentally. We derive necessary and sufficient conditions for belonging to the moment cone, which can be expressed via a linear matrix inequality (LMI) of size at most 2d+2, which is independent of n. We can convert the LMIs 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 (SOS) relaxation. We show that the SOS relaxation of the dual cone is asymptotically exact, and using symmetry reduction techniques (J. Pure Appl. Algebra 192, no. 1-3, 95, arXiv:1205.3102), 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 nonnegative polynomials 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).
Although the quantum state of a many-body system (e.g, a system consisting of several atoms) is described in terms of its degrees of freedom, i.e., a large number of variables representing a point on the compact space of quantum states, there is usually a small number of parameters that can be actually measured experimentally. We show that the problem of deciding whether the underlying quantum state is entangled is equivalent to the problem of deciding whether the set of measured parameters are the moments of some measure defined over the compact space of states of the many-body system. 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 R^d. We consider moments up to degree 2 since these are most readily available experimentally. We derive necessary and sufficient conditions for belonging to the moment cone, which can be expressed via a linear matrix inequality (LMI) of size at most 2d+2, which is independent of n. We can convert the LMIs 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 (SOS) relaxation. We show that the SOS relaxation of the dual cone is asymptotically exact, and using symmetry reduction techniques (J. Pure Appl. Algebra 192, no. 1-3, 95, arXiv:1205.3102), 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 nonnegative polynomials 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).
The fundamental relation between quantum entanglement and convex algebraic geometry has unveiled a set of powerful tools, imported from the former to the study the latter. The space of separable mixed states is convex and so is the space of the corresponding observable values. Therefore, the problem of determining whether a set of observable values come from an entangled state is tantamount to checking for membership in a convex set, of a point with coordinates given by the set of observable values. Here, we use techniques from convex algebraic geometry to develop powerful criteria for entanglement in a many-body system of Bosonic atoms with a non-zero spin. The experimentally accessible observables are the spin expectation values <S_i> and <{S_i, S_j}> which, upon truncating at rank two, are 9 independent quantities. Recently, entanglement criteria in terms of 3 of these 9 quantities have been derived. We develop entanglement criteria using all of these 9 quantities. If we consider these numbers as coordinates of a point in a 9 dimensional space, those with a separable parent state lie within a convex region, also known as the moment cone. Therefore, the problem is to characterize this moment cone. Owing to the Bosonic exchange symmetry, this moment cone is the dual of the cone of non-negative symmetric polynomials. Together with a characterization of this cone, we also develop an entanglement criterion that is asymptotically tight, for large atom numbers.
We provide a complete mathematical theory for the entanglement of mixtures of Dicke states. These quantum states form an important subclass of bosonic states arising in the study of indistinguishable particles. We introduce a tensor-based parametrization where the diagonal entries of these states are encoded as a symmetric tensor, enabling a direct translation between entanglement properties and well-studied convex cones of tensors. Our results bridge multipartite entanglement theory with semialgebraic geometry and the theory of completely positive and copositive tensors.
This dictionary maps separability to completely positive tensors, the PPT property to moment tensors, entanglement witnesses to copositive tensors, and decomposable witnesses to sum of squares tensors. Using this framework, we construct explicit PPT entangled states in three or more qutrits, disproving a recent conjecture. We establish that PPT entanglement exists for all multipartite systems with local dimension d >= 3 and n >= 3 parties. We also show that, for mixtures of Dicke states, the PPT condition with respect to the most balanced bipartition implies all other PPT conditions.
We further connect bosonic extendibility of mixtures of Dicke states to the duals of known hierarchies for non-negative polynomials, such as the ones by Reznick and Polya. We thus provide semidefinite programming relaxations for separability and entanglement testing in the Dicke subspace.
We analyze the properties of entangled random pure states of a quantum system partitioned into two smaller subsystems of dimensions N and M. Framing the problem in terms of random matrices with a fixed-trace constraint, we establish, for arbitrary N≤M, a general relation between the n-point densities and the cross moments of the eigenvalues of the reduced density matrix, i.e., the so-called Schmidt eigenvalues, and the analogous functionals of the eigenvalues of the Wishart-Laguerre ensemble of the random matrix theory. This allows us to derive explicit expressions for two-level densities, and also an exact expression for the variance of von Neumann entropy at finite N,M. Then, we focus on the moments E{K^{a}} of the Schmidt number K, the reciprocal of the purity. This is a random variable supported on [1,N], which quantifies the number of degrees of freedom effectively contributing to the entanglement. We derive a wealth of analytical results for E{K^{a}} for N=2 and 3 and arbitrary M, and also for square N=M systems by spotting for the latter a connection with the probability P(x_{min}^{GUE}≥sqrt[2N]ξ) that the smallest eigenvalue x_{min}^{GUE} of an N×N matrix belonging to the Gaussian unitary ensemble is larger than sqrt[2N]ξ. As a by-product, we present an exact asymptotic expansion for P(x_{min}^{GUE}≥sqrt[2N]ξ) for finite N as ξ→∞. Our results are corroborated by numerical simulations whenever possible, with excellent agreement.
Estimating global properties of many-body quantum systems such as entropy or bipartite entanglement is a notoriously difficult task, typically requiring a number of measurements or classical postprocessing resources growing exponentially in the system size. In this work, we address the problem of estimating global entropies and mixed-state entanglement via partial-transposed (PT) moments and show that efficient estimation strategies exist under the assumption that all the spatial correlation lengths are finite. Focusing on one-dimensional systems, we identify a set of approximate factorization conditions (AFCs) on the system density matrix, which allow us to reconstruct entropies and PT moments from information on local subsystems. This identification yields a simple and efficient strategy for entropy and entanglement estimation. Our method could be implemented in different ways, depending on how information on local subsystems is extracted. Focusing on randomized measurements providing a practical and common measurement scheme, we prove that our protocol requires only polynomially many measurements and postprocessing operations, assuming that the state to be measured satisfies the AFCs. We prove that the AFCs hold for finite-depth quantum-circuit states and translation-invariant matrix-product density operators and provide numerical evidence that they are satisfied in more general, physically interesting cases, including thermal states of local Hamiltonians. We argue that our method could be practically useful to detect bipartite mixed-state entanglement for large numbers of qubits available in today’s quantum platforms. Published by the American Physical Society 2024
Bell correlations have been detected in atomic ensembles ranging from hundreds to hundreds of thousands of particles, witnessed by the permutationally invariant (PI) Bell operators. For all the operators realized so far, the maximally violating state can be brought, in a suitable basis, into a nonnegative-amplitude form. In that basis, the Bell operator is stoquastic. The coefficients parametrising these operators that at the same time lead to stoquasticity form a convex cone, the so-called stoquasticity cone. Its characterization had remained open beyond two-body operators, as for many-body operators the number of inequalities grows with the system size n. In this work we show that, in the thermodynamic limit, the stoquasticity cone admits an exact semidefinite characterization, valid at any operator order. The key observation is that, along each off-diagonal, the matrix elements are the values of a single univariate polynomial. Being univariate, this condition is equivalent to a linear matrix inequality, with no relaxation hierarchy. Therefore, deciding stoquasticity becomes a single semidefinite feasibility problem. As its lowest-degree instances, this description recovers the known three-hyperplane characterization for two-body operators and yields, for three-body operators, a curved boundary.
The numerical bootstrap for quantum mechanics tests a candidate state's positivity only against sums of squares, whereas every physical state assigns nonnegative expectation to every pointwise nonnegative polynomial. In one dimension the two coincide; in two or more they do not. Whether this gap is realized depends sharply on which constraint set is imposed. For the stationary bootstrap, which imposes <[H,O]> = 0 and is the relaxation appropriate to thermal and mixed states, we exhibit a two-dimensional quartic double well and a moment vector that satisfies every level-three stationary constraint exactly, has a positive definite moment matrix, and yet assigns a negative expectation to a polynomial nonnegative on R^2; it is therefore the moment sequence of no state. All data are rational, and every step is verified in exact arithmetic. For the eigenstate bootstrap, which additionally imposes = E, the same search finds no violation in any of five settings spanning two, three and five degrees of freedom and truncation levels three and four, tested against complete families of separating polynomials. The single exception occurs at a truncation so low that only one eigenstate constraint survives, and the theory presented here accounts for it. We identify the mechanism: the eigenstate constraints bound the high momentum moments, otherwise unbounded on the feasible set, and it is those unbounded directions that reach the region between the two cones. Finally, under the reflection symmetries of a typical potential the relevant obstruction is copositivity rather than nonnegativity, which, for the quartic witnesses available at the lowest truncation, places the first possible failure at five degrees of freedom. We conjecture that the eigenstate constraints imply an Archimedean-type bound on the momentum moments, and formulate the corresponding tightness statement.