On semidefinite-representable sets over valued fields

Corentin Cornou, Simone Naldi, Tristan Vaccon

Polyhedra and spectrahedra over the real numbers, or more generally their images under linear maps, are respectively the feasible sets of linear and semidefinite programming, and f…