Skip to Main content Skip to Navigation
Journal articles

Tropical spectrahedra

Xavier Allamigeon 1, 2 Stéphane Gaubert 1, 2 Mateusz Skomra 1, 2
1 TROPICAL - TROPICAL
CMAP - Centre de Mathématiques Appliquées - Ecole Polytechnique, Inria Saclay - Ile de France
Abstract : 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.
Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-01422639
Contributor : Stephane Gaubert <>
Submitted on : Monday, December 26, 2016 - 3:21:39 PM
Last modification on : Wednesday, February 24, 2021 - 3:29:05 AM

Links full text

Identifiers

Collections

Citation

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

Share

Metrics

Record views

453