Spectrahedral Shadows and Completely Positive Maps on Real Closed Fields
Publikation: Vorabdruck/Dokumentation/Bericht › Vorabdruck (Preprint)
Beitragende
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}$.
Details
Originalsprache | Undefiniert |
---|---|
Publikationsstatus | Veröffentlicht - 13 Juni 2022 |
No renderer: customAssociatesEventsRenderPortal,dk.atira.pure.api.shared.model.researchoutput.WorkingPaper
Externe IDs
ORCID | /0000-0001-8228-3611/work/142659298 |
---|---|
ORCID | /0000-0002-7245-2861/work/142659354 |
Schlagworte
Schlagwörter
- math.RA, math.LO, math.OA, math.OC