Tropical spectrahedra
From MaRDI portal
Publication:1985292
Non-Archimedean valued fields (12J25) Semialgebraic sets and related spaces (14P10) Foundations of tropical geometry and relations with algebra (14T10) Combinatorial aspects of tropical varieties (14T15) Arithmetic aspects of tropical varieties (14T25) Vector spaces, linear dependence, rank, lineability (15A03) Determinants, permanents, traces, other special matrix functions (15A15) Semirings (16Y60) Other problems of combinatorial convexity (52A37) Semidefinite programming (90C22)
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
- A course in model theory
- A Field of Generalised Puiseux Series for Tropical Geometry
- 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
- 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?)
- Krull-tropical hypersurfaces
- Linear independence over tropical semirings and beyond
- LMI representations of convex semialgebraic sets and determinantal representations of algebraic hypersurfaces: past, present, and future
- 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
- p-adic semi-algebraic sets and cell decomposition.
- 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 geometry over higher dimensional local fields
- Tropical Polytopes and Cellular Resolutions
- 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
Cited in
(19)- The tropical analogue of the Helton-Nie conjecture is true
- Tropical planar networks
- Tropical discriminants
- Tropicalization of graph profiles
- What Tropical Geometry Tells Us about the Complexity of Linear Programming
- Tropicalizing the positive semidefinite cone
- The Tropical Nullstellensatz and Positivstellensatz for Sparse Polynomial Systems
- Massively parallel computation of tropical varieties, their positive part, and tropical Grassmannians
- Tropical Complementarity Problems and Nash Equilibria
- 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
- Real and positive tropicalizations of symmetric determinantal varieties
- Computing positive tropical varieties and lower bounds on the number of positive roots
- Convex geometry over ordered hyperfields
- Moments, sums of squares, and tropicalization
- Factorization of polynomials over the symmetrized tropical semiring and Descartes' rule of sign over ordered valued fields
- Signed tropicalization of polar cones
- Power mean inequalities and sums of squares
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)
