Bounding the separable rank via polynomial optimization

Factorization of matrices (15A23) Semidefinite programming (90C22) Quantum coherence, entanglement, quantum correlations (81P40) Polynomial optimization (90C23)

Abstract: We investigate questions related to the set

m a t h c a l {S E P}_{d}

consisting of the linear maps

h o

acting on

m a t h b b C^{d} o t i m e s m a t h b b C^{d}

that can be written as a convex combination of rank one matrices of the form

x x^{*} o t i m e s y y^{*}

. Such maps are known in quantum information theory as the separable bipartite states, while nonseparable states are called entangled. In particular we introduce bounds for the separable rank

m a t h r m r a n k_{s e p} (h o)

, defined as the smallest number of rank one states

x x^{*} o t i m e s y y^{*}

entering the decomposition of a separable state

h o

. Our approach relies on the moment method and yields a hierarchy of semidefinite-based lower bounds, that converges to a parameter

a u_{m a t h r m s e p} (h o)

, a natural convexification of the combinatorial parameter

m a t h r m r a n k_{s e p} (h o)

. A distinguishing feature is exploiting the positivity constraint

h o - x x^{*} o t i m e s y y^{*} s u c c e q 0

to impose positivity of a polynomial matrix localizing map, the dual notion of the notion of sum-of-squares polynomial matrices. Our approach extends naturally to the multipartite setting and to the real separable rank, and it permits strengthening some known bounds for the completely positive rank. In addition, we indicate how the moment approach also applies to define hierarchies of semidefinite relaxations for the set

m a t h c a l {S E P}_{d}

and permits to give new proofs, using only tools from moment theory, for convergence results on the DPS hierarchy from (A.C. Doherty, P.A. Parrilo and F.M. Spedalieri. Distinguishing separable and entangled states. Phys. Rev. Lett. 88(18):187904, 2002).

Recommendations

Cites work

Cited in

(10)

Describes a project that uses

Uses Software

This page was built for publication: Bounding the separable rank via polynomial optimization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2144234)