Signed tropicalization of polar cones
From MaRDI portal
Publication:6510028
arXiv2305.05637MaRDI QIDQ6510028FDOQ6510028
Authors: Marianne Akian, Xavier Allamigeon, Stéphane Gaubert, Sergey M. Sergeev 
Abstract: We study the tropical analogue of the notion of polar of a cone, working over the semiring of tropical numbers with signs and show that the tropical polars of sets of nonnegative tropical vectors are precisely sets of signed vectors that are closed and that are stable by an operation of linear combination. We relate tropical polars with images by the nonarchimedean valuation of classical polars over real closed nonarchimedean fields and show, in particular, that for semi-algebraic sets over such a field, the operation of taking the polar commutes with the operation of signed valuation (keeping track both of the nonarchimedean valuation and sign). We apply these results to characterize images by the signed valuation of classical cones of matrices, including the cones of positive semidefinite matrices, completely positive matrices, completely positive semidefinite matrices, and their polars, including the cone of co-positive matrices. It turns out, in particular, that hierarchies of classical cones collapse under tropicalization. We finally discuss a simple application of these ideas to optimization with signed tropical numbers.
Max-plus and related algebras (15A80) Duality theory (optimization) (49N15) Applications of tropical geometry (14T90) Tropical optimization (e.g., max-plus optimization) (90C24)
This page was built for publication: Signed tropicalization of polar cones
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6510028)
