Skip to main navigation Skip to search Skip to main content

Eigenvalue Methods for Sparse Tropical Polynomial Systems

  • INRIA
  • Ecole polytechnique

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

We develop an analogue of eigenvalue methods to construct solutions of systems of tropical polynomial equalities and inequalities. We show that solutions can be obtained by solving parametric mean payoff games, arising to approriate linearizations of the systems using tropical Macaulay matrices. We implemented specific algorithms adapted to the large scale parametric games that arise in this way, and present numerical experiments.

Original languageEnglish
Title of host publicationMathematical Software – ICMS 2024 - 8th International Conference, Proceedings
EditorsKevin Buzzard, Alicia Dickenstein, Bettina Eick, Anton Leykin, Yue Ren
PublisherSpringer Science and Business Media Deutschland GmbH
Pages299-312
Number of pages14
ISBN (Print)9783031645280
DOIs
Publication statusPublished - 1 Jan 2024
Event8th International Conference on Mathematical Software, ICMS 2024 - Durham, United Kingdom
Duration: 22 Jul 202425 Jul 2024

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume14749 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference8th International Conference on Mathematical Software, ICMS 2024
Country/TerritoryUnited Kingdom
CityDurham
Period22/07/2425/07/24

Keywords

  • Algorithmic complexity
  • Polynomial systems
  • Tropical geometry
  • Zero-sum games

Fingerprint

Dive into the research topics of 'Eigenvalue Methods for Sparse Tropical Polynomial Systems'. Together they form a unique fingerprint.

Cite this