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 :
Preprints, Working Papers, ...
Complete list of metadatas

https://hal.inria.fr/hal-01422639
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

Identifiers

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

Citation

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

Share

Metrics

Record views

399