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

Download:

Current browse context:

math.RA

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 > Rings and Algebras

Title: Spectrahedral Shadows and Completely Positive Maps on Real Closed Fields

Abstract: In this article we develop new methods for exhibiting convex semialgebraic sets that are not spectrahedral shadows. We characterize when the set of nonnegative polynomials with a given support is a spectrahedral shadow in terms of sums of squares. As an application of this result we prove that the cone of copositive matrices of size $n\geq5$ is not a spectrahedral shadow, answering a question of Scheiderer. Our arguments are based on the model theoretic observation that any formula defining a spectrahedral shadow must be preserved by every unital $\mathbb{R}$-linear completely positive map $R\to R$ on a real closed field extension $R$ of $\mathbb{R}$.
Subjects: Rings and Algebras (math.RA); Logic (math.LO); Operator Algebras (math.OA); Optimization and Control (math.OC)
Cite as: arXiv:2206.06312 [math.RA]
  (or arXiv:2206.06312v2 [math.RA] for this version)

Submission history

From: Mario Kummer [view email]
[v1] Mon, 13 Jun 2022 16:53:18 GMT (26kb)
[v2] Mon, 3 Oct 2022 10:48:46 GMT (28kb)

Link back to: arXiv, form interface, contact.