We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.OA

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Operator Algebras

Title: Toeplitz separability, entanglement, and complete positivity using operator system duality

Abstract: A new proof is presented of a theorem of L.~Gurvits, which states that the cone of positive block-Toeplitz matrices with matrix entries has no entangled elements. We also show that in the cone of positive Toeplitz matrices with Toeplitz entries, entangled elements exist in all dimensions. The proof of the Gurvits separation theorem is achieved by making use of the structure of the operator system dual of the operator system $C(S^1)^{(n)}$ of $n\times n$ Toeplitz matrices over the complex field, and by determining precisely the structure of the generators of the extremal rays of the positive cones of the operator systems $C(S^1)^{(n)}\otimes_{\rm min} \mathcal B (\mathcal H)$ and $C(S^1)_{(n)}\otimes_{\rm min} \mathcal B (\mathcal H)$, where $\mathcal H$ is an arbitrary Hilbert space and $C(S^1)_{(n)}$ is the operator system dual of $C(S^1)^{(n)}$. Our approach also has the advantage of providing some new information concerning positive Toeplitz matrices whose entries are from the type I factor $\mathcal B (\mathcal H)$. In particular, we prove that normal positive linear maps $\psi$ on $\mathcal B (\mathcal H)$ are partially completely positive in the sense that $\psi^{(n)}(x)$ is positive whenever $x$ is a positive $n\times n$ Toeplitz matrix with entries from $\mathcal B (\mathcal H)$. We also establish a certain factorisation theorem for positive Toeplitz matrices (of operators), and explain how the factorisation theorem can be used to show an equivalence between the Gurvits approach to separation and an earlier approach of T.~Ando to universality.
Subjects: Operator Algebras (math.OA); Mathematical Physics (math-ph); Functional Analysis (math.FA)
MSC classes: 46L07, 47A08, 47L07
Cite as: arXiv:2208.03236 [math.OA]
  (or arXiv:2208.03236v1 [math.OA] for this version)

Submission history

From: Douglas R. Farenick [view email]
[v1] Fri, 5 Aug 2022 15:37:38 GMT (14kb)

Link back to: arXiv, form interface, contact.