Skip to Main content Skip to Navigation
Journal articles

The tropical analogue of the Helton–Nie conjecture is true

Xavier Allamigeon 1, 2 Stéphane Gaubert 1, 2 Mateusz Skomra 1, 2
2 TROPICAL - TROPICAL
CMAP - Centre de Mathématiques Appliquées - Ecole Polytechnique, Inria Saclay - Ile de France
Abstract : Helton and Nie conjectured that every convex semialgebraic set over the field of real numbers can be written as the projection of a spectrahedron. Recently, Scheiderer disproved this conjecture. We show, however, that the following result, which may be thought of as a tropical analogue of this conjecture, is true: over a real closed nonarchimedean field of Puiseux series, the convex semialgebraic sets and the projections of spectrahedra have precisely the same images by the nonarchimedean valuation. The proof relies on game theory methods.
Complete list of metadata

Cited literature [37 references]  Display  Hide  Download

https://hal.inria.fr/hal-01674497
Contributor : Stephane Gaubert <>
Submitted on : Wednesday, July 4, 2018 - 8:41:38 AM
Last modification on : Friday, April 30, 2021 - 9:54:01 AM
Long-term archiving on: : Monday, October 1, 2018 - 12:16:55 PM

File

main.pdf
Files produced by the author(s)

Identifiers

Citation

Xavier Allamigeon, Stéphane Gaubert, Mateusz Skomra. The tropical analogue of the Helton–Nie conjecture is true. Journal of Symbolic Computation, Elsevier, 2019, 91, pp.129-148. ⟨10.1016/j.jsc.2018.06.017⟩. ⟨hal-01674497⟩

Share

Metrics

Record views

496

Files downloads

343