The tropical analogue of the Helton–Nie conjecture is true - Département de mathématiques appliquées Accéder directement au contenu
Article Dans Une Revue Journal of Symbolic Computation Année : 2019

The tropical analogue of the Helton–Nie conjecture is true

L'analogue tropical de la conjecture d'Helton et Nie est vrai

Résumé

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.
Helton et Nie ont conjecturé que tout ensemble convexe semi-algébrique réel peut s'écrire comme la projection d'un spectraèdre. Scheiderer a réfuté récemment cette conjecture. Nous démontrons, cependant, que le résultat suivant, qui peut être vu comme un analogue tropical de la conjecture d'Helton et Nie, est valide: les ensembles convexes semi-algébriques sur un corps nonarchimédien de séries de Puiseux, et les projections de spectraèdres définis sur le même corps, on précisément les mêmes images par la valuation non-archimédienne. La démonstration de ce résultat utilise des méthodes de théorie des jeux
Fichier principal
Vignette du fichier
main.pdf (233.62 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01674497 , version 1 (04-07-2018)

Identifiants

Citer

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

Altmetric

Partager

Gmail Facebook X LinkedIn More