Tropical spectrahedra
From MaRDI portal
Publication:1985292
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)
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.
Recommendations
Cites work
- scientific article; zbMATH DE number 4210331 (Why is no real title available?)
- scientific article; zbMATH DE number 3935016 (Why is no real title available?)
- scientific article; zbMATH DE number 711287 (Why is no real title available?)
- scientific article; zbMATH DE number 6437647 (Why is no real title available?)
- A Field of Generalised Puiseux Series for Tropical Geometry
- A course in model theory
- Algorithms in real algebraic geometry
- An exact duality theory for semidefinite programming and its complexity implications
- Analytic cell decomposition and analytic motivic integration
- Approximation algorithms and semidefinite programming.
- Cell Decomposition and Local Zeta Functions in a Tower of Unramified Extensions of a p -Adic Field
- Fields: Algebraically closed and others
- Krull-tropical hypersurfaces
- LMI representations of convex semialgebraic sets and determinantal representations of algebraic hypersurfaces: past, present, and future
- Linear independence over tropical semirings and beyond
- Log-Barrier Interior Point Methods Are Not Strongly Polynomial
- Logarithmic limit sets of real semi-algebraic sets
- Matroids over partial hyperstructures
- Max-linear systems. Theory and algorithms.
- Model Theory
- Non-archimedean amoebas and tropical varieties
- On the angular component map modulo P
- Semidefinite Optimization and Convex Algebraic Geometry
- Spectrahedral shadows
- Sufficient and necessary conditions for semidefinite representability of convex hulls and sets
- The complexity of solving stochastic games on graphs
- The hyperring of adèle classes
- The rationality of the Poincaré series associated to the p-adic points on a variety
- The real field with convergent generalized power series
- The tropical analogue of the Helton-Nie conjecture is true
- Tropical Polytopes and Cellular Resolutions
- Tropical geometry over higher dimensional local fields
- Tropicalizing the positive semidefinite cone
- Tropicalizing the simplex algorithm
- Uniform p-adic cell decomposition and local zeta functions.
- Valued Fields
- Viro method for the construction of real complete intersections
- p-adic semi-algebraic sets and cell decomposition.
Cited in
(12)- Tropical planar networks
- Massively parallel computation of tropical varieties, their positive part, and tropical Grassmannians
- Tropical discriminants
- Convergent Hahn series and tropical geometry of higher rank
- The tropical analogue of the Helton-Nie conjecture is true
- Tropical Complementarity Problems and Nash Equilibria
- Real tropicalization and negative faces of the Newton polytope
- The Tropical Nullstellensatz and Positivstellensatz for Sparse Polynomial Systems
- Eigenvalue methods for sparse tropical polynomial systems
- Tropicalizing the positive semidefinite cone
- Tropicalization of graph profiles
- What Tropical Geometry Tells Us about the Complexity of Linear Programming
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)
