Tropical spectrahedra

Xavier Allamigeon 1, 2 Stéphane Gaubert 1, 2 Mateusz Skomra 1, 2
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 :
Preprints, Working Papers, ...
Complete list of metadatas
Contributor : Stephane Gaubert <>
Submitted on : Monday, December 26, 2016 - 3:21:39 PM
Last modification on : Wednesday, March 27, 2019 - 4:08:32 PM

Links full text


  • HAL Id : hal-01422639, version 1
  • ARXIV : 1610.06746


Xavier Allamigeon, Stéphane Gaubert, Mateusz Skomra. Tropical spectrahedra. 2016. ⟨hal-01422639⟩



Record views