The tropical analogue of the Helton–Nie conjecture is true. (March 2019)

• Record Type: Journal Article
• Authors: Allamigeon, Xavier; Gaubert, Stéphane; Skomra, Mateusz
• Is Part Of: Journal of symbolic computation. Volume 91(2019)
• Page Start: 129
• Page End: 148
• Publication Date: 2019-03
• Subjects: Convex algebraic geometry -- Spectrahedra -- Nonarchimedean fields -- Tropical geometry -- Semidefinite programming; Mathematics -- Data processing -- Periodicals; Numerical analysis -- Data processing -- Periodicals; Automatic programming (Computer science) -- Periodicals; Mathématiques -- Informatique -- Périodiques; Analyse numérique -- Informatique -- Périodiques; Programmation automatique -- Périodiques; Automatic programming (Computer science); Mathematics -- Data processing; Numerical analysis -- Data processing; Periodicals; Electronic journals; 510.285
• DOI: 10.1016/j.jsc.2018.06.017
• Languages: English
• ISSNs: 0747-7171

Abstract

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.