Matrix convex sets over the Euclidean ball and polar duals of real free spectrahedra
Fuente:
arXiv
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866908857697042432 |
|---|---|
| author | Evert, Eric Passer, Benjamin |
| author_facet | Evert, Eric Passer, Benjamin |
| contents | We show that the free spectrahedron determined by universal anticommuting self-adjoint unitaries is not equal to the minimal matrix convex set over the ball in dimension three or higher. This example, as well as other matrix convex sets over the ball, then provides context for structure results on the extreme points of coordinate projections. In particular, we show that the free polar dual of a real free spectrahedron is rarely the projection of a real free spectrahedron, contrasting a prior result of Helton, Klep, and McCullough over the complexes. We use this to show that spanning results for free spectrahedra that are closed under complex conjugation do not extend to free spectrahedrops that meet the same assumption. These results further clarify the role of the coefficient field. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2507_20325 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Matrix convex sets over the Euclidean ball and polar duals of real free spectrahedra Evert, Eric Passer, Benjamin Functional Analysis 47A12, 47A20, 47L07 We show that the free spectrahedron determined by universal anticommuting self-adjoint unitaries is not equal to the minimal matrix convex set over the ball in dimension three or higher. This example, as well as other matrix convex sets over the ball, then provides context for structure results on the extreme points of coordinate projections. In particular, we show that the free polar dual of a real free spectrahedron is rarely the projection of a real free spectrahedron, contrasting a prior result of Helton, Klep, and McCullough over the complexes. We use this to show that spanning results for free spectrahedra that are closed under complex conjugation do not extend to free spectrahedrops that meet the same assumption. These results further clarify the role of the coefficient field. |
| title | Matrix convex sets over the Euclidean ball and polar duals of real free spectrahedra |
| topic | Functional Analysis 47A12, 47A20, 47L07 |
| url | https://arxiv.org/abs/2507.20325 |