Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2305.05637 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911785500540928 |
|---|---|
| author | Akian, Marianne Allamigeon, Xavier Gaubert, Stéphane Sergeev, Sergei |
| author_facet | Akian, Marianne Allamigeon, Xavier Gaubert, Stéphane Sergeev, Sergei |
| contents | We study the tropical analogue of the notion of polar of a cone, working over the semiring of tropical numbers with signs. We characterize the cones which arise as polars of sets of tropically nonnegative vectors by an invariance property with respect to a tropical analogue of Fourier-Motzkin elimination. We also 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 fields, 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, showing that hierarchies of classical cones collapse under tropicalization. We finally discuss an application of these ideas to optimization with signed tropical numbers. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2305_05637 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Signed tropicalization of polar cones Akian, Marianne Allamigeon, Xavier Gaubert, Stéphane Sergeev, Sergei Optimization and Control Rings and Algebras 15A80, 49N15, 90C24, 14T90 We study the tropical analogue of the notion of polar of a cone, working over the semiring of tropical numbers with signs. We characterize the cones which arise as polars of sets of tropically nonnegative vectors by an invariance property with respect to a tropical analogue of Fourier-Motzkin elimination. We also 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 fields, 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, showing that hierarchies of classical cones collapse under tropicalization. We finally discuss an application of these ideas to optimization with signed tropical numbers. |
| title | Signed tropicalization of polar cones |
| topic | Optimization and Control Rings and Algebras 15A80, 49N15, 90C24, 14T90 |
| url | https://arxiv.org/abs/2305.05637 |