Tropical spectrahedra - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Discrete and Computational Geometry Année : 2020

Tropical spectrahedra

Résumé

We introduce tropical spectrahedra, defined as the images by the nonarchimedean valuation of spectrahedra over the field of real Puiseux series. We provide an explicit characterization of generic tropical spectrahedra, involving principal tropical minors of size at most 2. To do so, we show that the nonarchimedean valuation maps semialgebraic sets to semilinear sets that are closed. We also prove that, under a regularity assumption, the image by the valuation of a basic semialgebraic set is obtained by tropicalizing the inequalities which define it.

Dates et versions

hal-01422639 , version 1 (26-12-2016)

Identifiants

Citer

Xavier Allamigeon, Stéphane Gaubert, Mateusz Skomra. Tropical spectrahedra. Discrete and Computational Geometry, 2020, 63, pp.507-548. ⟨10.1007/s00454-020-00176-1⟩. ⟨hal-01422639⟩
258 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More