Tropical spectrahedra

DOI10.1007/S00454-020-00176-1zbMATH Open1437.14066arXiv1610.06746OpenAlexW4205866229MaRDI QIDQ1985292FDOQ1985292

Authors: Xavier Allamigeon, Stéphane Gaubert, Mateusz Skomra 

Publication date: 7 April 2020

Published in: Discrete \& Computational Geometry (Search for Journal in Brave)

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 polyhedral characterization of generic tropical spectrahedra, involving principal tropical minors of size at most 2. One of the key ingredients is Denef-Pas quantifier elimination result over valued fields. We obtain from this 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.

Full work available at URL: https://arxiv.org/abs/1610.06746

Recommendations

• The tropical analogue of the Helton-Nie conjecture is true
• Tropicalizing the positive semidefinite cone
• Tropical geometry for fields with a Krull valuation: first definitions and a small result
• Tropicalization of facets of polytopes
• Krull-tropical hypersurfaces

zbMATH Keywords

tropical geometryspectrahedravalued fieldsnonarchimedean fields

Mathematics Subject Classification ID

Semidefinite programming (90C22) Combinatorial aspects of tropical varieties (14T15) Determinants, permanents, traces, other special matrix functions (15A15) Non-Archimedean valued fields (12J25) Semialgebraic sets and related spaces (14P10) Vector spaces, linear dependence, rank, lineability (15A03) Semirings (16Y60) Other problems of combinatorial convexity (52A37) Arithmetic aspects of tropical varieties (14T25) Foundations of tropical geometry and relations with algebra (14T10)

Cites Work

• Max-linear systems. Theory and algorithms.
• Title not available (Why is that?)
• Linear independence over tropical semirings and beyond
• Fields: Algebraically closed and others
• An exact duality theory for semidefinite programming and its complexity implications
• The real field with convergent generalized power series
• Model Theory
• Semidefinite Optimization and Convex Algebraic Geometry
• Algorithms in real algebraic geometry
• Non-archimedean amoebas and tropical varieties
• Tropicalizing the simplex algorithm
• Title not available (Why is that?)
• Logarithmic limit sets of real semi-algebraic sets
• Tropicalizing the positive semidefinite cone
• Tropical Polytopes and Cellular Resolutions
• Valued Fields
• The hyperring of adèle classes
• LMI representations of convex semialgebraic sets and determinantal representations of algebraic hypersurfaces: past, present, and future
• Uniform p-adic cell decomposition and local zeta functions.
• Viro method for the construction of real complete intersections
• The rationality of the Poincaré series associated to the p-adic points on a variety
• The complexity of solving stochastic games on graphs
• A course in model theory
• Approximation algorithms and semidefinite programming.
• Sufficient and necessary conditions for semidefinite representability of convex hulls and sets
• p-adic semi-algebraic sets and cell decomposition.
• Krull-tropical hypersurfaces
• Title not available (Why is that?)
• Analytic cell decomposition and analytic motivic integration
• Cell Decomposition and Local Zeta Functions in a Tower of Unramified Extensions of a p -Adic Field
• Tropical geometry over higher dimensional local fields
• On the angular component map modulo P
• A Field of Generalised Puiseux Series for Tropical Geometry
• Title not available (Why is that?)
• Matroids over partial hyperstructures
• Solving generic nonarchimedean semidefinite programs using stochastic game algorithms
• The tropical analogue of the Helton-Nie conjecture is true
• Log-Barrier Interior Point Methods Are Not Strongly Polynomial
• Spectrahedral shadows
• Real tropicalization and analytification of semialgebraic sets

Cited In (14)

• Real tropicalization and analytification of semialgebraic sets
• The tropical analogue of the Helton-Nie conjecture is true
• Tropicalizing the positive semidefinite cone
• Tropicalization of graph profiles
• What Tropical Geometry Tells Us about the Complexity of Linear Programming
• The Tropical Nullstellensatz and Positivstellensatz for Sparse Polynomial Systems
• Solving generic nonarchimedean semidefinite programs using stochastic game algorithms
• Convergent Hahn series and tropical geometry of higher rank
• Real tropicalization and negative faces of the Newton polytope
• Eigenvalue methods for sparse tropical polynomial systems
• Massively parallel computation of tropical varieties, their positive part, and tropical Grassmannians
• Tropical discriminants
• Tropical Complementarity Problems and Nash Equilibria
• Tropical planar networks

This page was built for publication: Tropical spectrahedra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1985292)