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
Fingerprint
Dive into the research topics of 'Signed tropical convexity'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver