Spectrahedral Shadows and Completely Positive Maps on Real Closed Fields

arXiv2206.06312MaRDI QIDQ6401940FDOQ6401940

Andreas Thom, Manuel Bodirsky, Mario Kummer

Publication date: 13 June 2022

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 $ngeq5$ 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 $mathbbR$-linear completely positive map $RoR$ on a real closed field extension $R$ of $mathbbR$.

This page was built for publication: Spectrahedral Shadows and Completely Positive Maps on Real Closed Fields

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