Spectrahedral shadows and completely positive maps on real closed fields
Research output: Contribution to journal › Research article › Contributed › peer-review
Contributors
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 we prove that the cone of copositive matrices of size n > 5 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 R-linear completely positive map R ! R on a real closed field extension R of R.
Details
| Original language | English |
|---|---|
| Pages (from-to) | 2233–2259 |
| Number of pages | 27 |
| Journal | Journal of the European Mathematical Society : JEMS |
| Volume | 28 |
| Issue number | 5 |
| Early online date | 10 Jul 2024 |
| Publication status | Published - 13 Mar 2026 |
| Peer-reviewed | Yes |
External IDs
| ORCID | /0000-0002-7245-2861/work/208071154 |
|---|---|
| Mendeley | d06844ad-d428-31fb-9bbe-336f78a71259 |
| unpaywall | 10.4171/jems/1509 |
| Scopus | 105033385740 |
Keywords
ASJC Scopus subject areas
Keywords
- real closed field, completely positive map, spectrahedral shadow, relational structure