Abstract
We establish a new notion of tropical convexity for signed tropical numbers. We provide several equivalent descriptions involving balance relations and intersections of open halfspaces as well as the image of a union of polytopes over Puiseux series and hyperoperations. Along the way, we deduce a new Farkas’ lemma and Fourier-Motzkin elimination without the non-negativity restriction on the variables. This leads to a Minkowski-Weyl theorem for polytopes over the signed tropical numbers.
Original language | English |
---|---|
Title of host publication | 11th Innovations in Theoretical Computer Science Conference, ITCS 2020 |
Editors | Thomas Vidick |
Publisher | Dagstuhl |
ISBN (Electronic) | 9783959771344 |
DOIs | |
Publication status | Published - Jan 2020 |
Externally published | Yes |
Event | 11th Innovations in Theoretical Computer Science Conference, ITCS 2020 - Seattle, United States Duration: 12 Jan 2020 → 14 Jan 2020 Conference number: 11 |
Publication series
Name | Leibniz International Proceedings in Informatics, LIPIcs |
---|---|
Volume | 151 |
ISSN (Print) | 1868-8969 |
Conference
Conference | 11th Innovations in Theoretical Computer Science Conference, ITCS 2020 |
---|---|
Abbreviated title | ITCS 2020 |
Country/Territory | United States |
City | Seattle |
Period | 12/01/20 → 14/01/20 |
Keywords
- Farkas’ lemma
- Signed tropical numbers
- Tropical convexity