2023Activity reportProjectTeamTROPICAL
RNSR: 201621988K Research center Inria Saclay Centre at Institut Polytechnique de Paris
 Team name: Tropical methods: structures, algorithms and interactions
 In collaboration with:Centre de Mathématiques Appliquées (CMAP)
 Domain:Applied Mathematics, Computation and Simulation
 Theme:Optimization and control of dynamic systems
Keywords
Computer Science and Digital Science
 A1.2.4. QoS, performance evaluation
 A2.3.3. Realtime systems
 A2.4. Formal method for verification, reliability, certification
 A6.2.5. Numerical Linear Algebra
 A6.2.6. Optimization
 A6.4.2. Stochastic control
 A6.4.6. Optimal control
 A7.2.4. Mechanized Formalization of Mathematics
 A8.1. Discrete mathematics, combinatorics
 A8.2.1. Operations research
 A8.3. Geometry, Topology
 A8.4. Computer Algebra
 A8.9. Performance evaluation
 A8.11. Game Theory
 A9.6. Decision support
Other Research Topics and Application Domains
 B4.3. Renewable energy production
 B4.4. Energy delivery
 B4.4.1. Smart grids
 B6.6. Embedded systems
 B8.4. Security and personal assistance
 B8.4.1. Crisis management
1 Team members, visitors, external collaborators
Research Scientists
 Stephane Gaubert [Team leader, INRIA, Senior Researcher, HDR]
 Marianne Akian [INRIA, Senior Researcher, HDR]
 Xavier Allamigeon [INRIA, Researcher, Corps des Mines, under secondment]
 Matías Bender [INRIA, Researcher, from Feb 2023]
 Yang Qi [INRIA, Starting Research Position, until Oct 2023]
 Cormac Walsh [INRIA, Researcher]
PhD Students
 Amanda Bigel [INRIA]
 Antoine Béreau [ENS RENNES via Ecole polytechnique]
 Quentin Canu [ENS PARISSACLAY, until Aug 2023]
 Pascal Capetillo [INRIA, from Nov 2023]
 Jonathan Hornewall [ENPC, Marnelavallée, from Nov 2023]
 Quentin Jacquet [EDF, until Oct 2023]
 Shanqing Liu [INRIA, from Oct 2023]
 Shanqing Liu [ECOLE POLY PALAISEAU, until Sep 2023]
 Loic Marchesini [ECOLE POLY PALAISEAU, from Sep 2023]
 Nicolas Vandame [ECOLE POLY PALAISEAU]
Technical Staff
 Benjamin NguyenVanYen [INRIA, Engineer, from Nov 2023]
Interns and Apprentices
 Loic Marchesini [INRIA, Intern, from Apr 2023 until Sep 2023]
Administrative Assistant
 Hanadi Dib [INRIA]
Visiting Scientists
 Gleb Koshevoi [CEMI, Russian Academy of Sciences, until Jan 2023]
 Gregorio Maljovich [UFRJ, from Jun 2023 until Jul 2023]
 Luz Pascal [Queensland University of Technology, from May 2023 until Jun 2023, PhD student]
2 Overall objectives
The project develops tropical methods motivated by applications arising in decision theory (deterministic and stochastic optimal control, game theory, optimization and operations research), in the analysis or control of classes of dynamical systems (including timed discrete event systems and positive systems), in the verification of programs and systems, and in the development of numerical algorithms. Tropical algebra tools are used in interaction with various methods, coming from convex analysis, Hamilton–Jacobi partial differential equations, metric geometry, PerronFrobenius and nonlinear fixedpoint theories, combinatorics or algorithmic complexity. The emphasis of the project is on mathematical modelling and computational aspects.
The subtitle of the Tropical project, namely, “structures, algorithms, and interactions”, refers to the spirit of our research, including a methodological component, computational aspects, and finally interactions with other scientific fields or real world applications, in particular through mathematical modelling.
2.1 Scientific context
Tropical algebra, geometry, and analysis have enjoyed spectacular development in recent years. Tropical structures initially arose to solve problems in performance evaluation of discrete event systems 57, combinatorial optimization 63, or automata theory 100. They also arose in mathematical physics and asymptotic analysis 91, 86. More recently, these structures have appeared in several areas of pure mathematics, in particular in the study of combinatorial aspects of algebraic geometry 78, 115, 105, 83, in algebraic combinatorics 73, and in arithmetics 67. Also, further applications of tropical methods have appeared, including optimal control 92, program invariant computation 51 and timed systems verification 90, and zerosum games 2.
The term `tropical' generally refers to algebraic structures in which the laws originate from optimization processes. The prototypical tropical structure is the maxplus semifield, consisting of the real numbers, equipped with the maximum, thought of as an additive law, and the addition, thought of as a multiplicative law. Tropical objects appear as limits of classical objects along certain deformations (“loglimits sets” of Bergman, “Maslov dequantization”, or “Viro deformation”). For this reason, the introduction of tropical tools often yields new insights into old familiar problems, leading either to counterexamples or to new methods and results; see for instance 115, 96. In some applications, like optimal control, discrete event systems, or static analysis of programs, tropical objects do not appear through a limit procedure, but more directly as a modelling or computation/analysis tool; see for instance 111, 57, 81, 64.
Tropical methods are linked to the fields of positive systems and of metric geometry 98, 12. Indeed, tropically linear maps are monotone (a.k.a. orderpreserving). They are also nonexpansive in certain natural metrics (supnorm, Hopf oscillation, Hilbert's projective metric, ...). In this way, tropical dynamical systems appear to be special cases of nonexpansive, positive, or monotone dynamical systems, which are studied as part of linear and nonlinear PerronFrobenius theory 88, 3. Such dynamical systems are of fundamental importance in the study of repeated games 95. Monotonicity properties are also essential in the understanding of the fixed points problems which determine program invariants by abstract interpretation 68. The latter problems are actually somehow similar to the ones arising in the study of zerosum games; see 7. Moreover, positivity or monotonicity methods are useful in population dynamics, either in a discrete space setting 112 or in a PDE setting 59. In such cases, solving tropical problems often leads to solutions or combinatorial insights on classical problems involving positivity conditions (e.g., finding equilibria of dynamical systems with nonnegative coordinates, understanding the qualitative and quantitative behavior of growth rates / Floquet eigenvalues 10, etc). Other applications of PerronFrobenius theory originate from quantum information and control 104, 109.
3 Research program
3.1 Optimal control and zerosum games
The dynamic programming approach allows one to analyze one or twoplayer dynamic decision problems by means of operators, or partial differential equations (Hamilton–Jacobi or Isaacs PDEs), describing the time evolution of the value function, i.e., of the optimal reward of one player, thought of as a function of the initial state and of the horizon. We work especially with problems having long or infinite horizon, modelled by stopping problems, or ergodic problems in which one optimizes a mean payoff per time unit. The determination of optimal strategies reduces to solving nonlinear fixed point equations, which are obtained either directly from discrete models, or after a discretization of a PDE.
The geometry of solutions of optimal control and game problems Basic questions include, especially for stationary or ergodic problems, the understanding of existence and uniqueness conditions for the solutions of dynamic programming equations, for instance in terms of controllability or ergodicity properties, and more generally the understanding of the structure of the full set of solutions of stationary Hamilton–Jacobi PDEs and of the set of optimal strategies. These issues are already challenging in the oneplayer deterministic case, which is an application of choice of tropical methods, since the LaxOleinik semigroup, i.e., the evolution semigroup of the HamiltonJacobi PDE, is a linear operator in the tropical sense. Recent progress in the deterministic case has been made by combining dynamical systems and PDE techniques (weak KAM theory 70), and also using metric geometry ideas (abstract boundaries can be used to represent the sets of solutions 82, 4). The two player case is challenging, owing to the lack of compactness of the analogue of the LaxOleinik semigroup and to a richer geometry. The conditions of solvability of ergodic problems for games (for instance, solvability of ergodic Isaacs PDEs), and the representation of solutions are only understood in special cases, for instance in the finite state space case, through tropical geometry and nonlinear PerronFrobenius methods 41, 38, 3.
Algorithmic aspects: from combinatorial algorithms to the attenuation of the curse of dimensionality Our general goal is to push the limits of solvable models by means of fast algorithms adapted to large scale instances. Such instances arise from discrete problems, in which the state space may so large that it is only accessible through local oracles (for instance, in some web ranking applications, the number of states may be the number of web pages) 71. They also arise from the discretization of PDEs, in which the number of states grows exponentially with the number of degrees of freedom, according to the “curse of dimensionality”. A first line of research is the development of new approximation methods for the value function. So far, classical approximations by linear combinations have been used, as well as approximation by suprema of linear or quadratic forms, which have been introduced in the setting of dual dynamic programming and of the so called “maxplus basis methods” 72. We believe that more concise or more accurate approximations may be obtained by unifying these methods. Also, some maxplus basis methods have been shown to attenuate the curse of dimensionality for very special problems (for instance involving switching) 93, 75. This suggests that the complexity of control or games problems may be measured by more subtle quantities that the mere number of states, for instance, by some forms of metric entropy (for example, certain large scale problems have a low complexity owing to the presence of decomposition properties, “highway hierarchies”, etc.). A second line of of our research is the development of combinatorial algorithms, to solve large scale zerosum twoplayer problems with discrete state space. This is related to current open problems in algorithmic game theory. In particular, the existence of polynomialtime algorithms for games with ergodic payment is an open question. See e.g. 44 for a polynomial time average complexity result derived by tropical methods. The two lines of research are related, as the understanding of the geometry of solutions allows to develop better approximation or combinatorial algorithms.
3.2 Nonlinear PerronFrobenius theory, nonexpansive mappings and metric geometry
Several applications (including population dynamics 10 and discrete event systems 57, 66, 45) lead to studying classes of dynamical systems with remarkable properties: preserving a cone, preserving an order, or being nonexpansive in a metric. These can be studied by techniques of nonlinear PerronFrobenius theory 3 or metric geometry 11. Basic issues concern the existence and computation of the “escape rate” (which determines the throughput, the growth rate of the population), the characterizations of stationary regimes (nonlinear fixed points), or the study of the dynamical properties (convergence to periodic orbits). Nonexpansive mappings also play a key role in the “operator approach” to zerosum games, since the oneday operators of games are nonexpansive in several metrics, see 8.
3.3 Tropical algebra and convex geometry
The different applications mentioned in the other sections lead us to develop some basic research on tropical algebraic structures and in convex and discrete geometry, looking at objects or problems with a “piecewiselinear ” structure. These include the geometry and algorithmics of tropical convex sets 50,2, tropical semialgebraic sets 54, the study of semimodules (analogues of vector spaces when the base field is replaced by a semifield), the study of systems of equations linear in the tropical sense, investigating for instance the analogues of the notions of rank, the analogue of the eigenproblems 40, and more generally of systems of tropical polynomial equations. Our research also builds on, and concern, classical convex and discrete geometry methods.
3.4 Tropical methods applied to optimization, perturbation theory and matrix analysis
Tropical algebraic objects appear as a deformation of classical objects thought various asymptotic procedures. A familiar example is the rule of asymptotic calculus,
when $\u03f5\to {0}^{+}$. Deformations of this kind have been studied in different contexts: large deviations, zerotemperature limits, Maslov's “dequantization method” 91, nonarchimedean valuations, loglimit sets and Viro's patchworking method 115, etc.
This entails a relation between classical algorithmic problems and tropical algorithmic problems, one may first solve the $\u03f5=0$ case (nonarchimedean problem), which is sometimes easier, and then use the information gotten in this way to solve the $\u03f5=1$ (archimedean) case.
In particular, tropicalization establishes a connection between polynomial systems and piecewise affine systems that are somehow similar to the ones arising in game problems. It allows one to transfer results from the world of combinatorics to “classical” equations solving. We investigate the consequences of this correspondence on complexity and numerical issues. For instance, combinatorial problems can be solved in a robust way. Hence, situations in which the tropicalization is faithful lead to improved algorithms for classical problems. In particular, scalings for the polynomial eigenproblems based on tropical preprocessings have started to be used in matrix analysis 76, 80.
Moreover, the tropical approach has been recently applied to construct examples of linear programs in which the central path has an unexpectedly high total curvature 43,6, and it has also led to positive polynomialtime average case results concerning the complexity of mean payoff games. Similarly, we are studying semidefinite programming over nonarchimedean fields 54, 53, with the goal to better understand complexity issues in classical semidefinite and semialgebraic programming.
4 Application domains
4.1 Discrete event systems (manufacturing systems, networks, emergency call centers)
One important class of applications of maxplus algebra comes from discrete event dynamical systems 57. In particular, modelling timed systems subject to synchronization and concurrency phenomena leads to studying dynamical systems that are nonsmooth, but which have remarkable structural properties (nonexpansiveness in certain metrics , monotonicity) or combinatorial properties. Algebraic methods allow one to obtain analytical expressions for performance measures (throughput, waiting time, etc). A recent application, to emergency call centers, can be found in 45.
4.2 Optimal control and games
Optimal control and game theory have numerous well established applications fields: mathematical economy and finance, stock optimization, optimization of networks, decision making, etc. In most of these applications, one needs either to derive analytical or qualitative properties of solutions, or design exact or approximation algorithms adapted to large scale problems.
4.3 Operations Research
We develop, or have developed, several aspects of operations research, including the application of stochastic control to optimal pricing, optimal measurement in networks 106. Applications of tropical methods arise in particular from discrete optimization 64, 65, scheduling problems with andor constraints 97, or product mix auctions 114.
4.4 Computing program and dynamical systems invariants
A number of programs and systems verification questions, in which safety considerations are involved, reduce to computing invariant subsets of dynamical systems. This approach appears in various guises in computer science, for instance in static analysis of program by abstract interpretation, along the lines of P. and R. Cousot 68, but also in control (eg, computing safety regions by solving Isaacs PDEs). These invariant sets are often sought in some tractable effective class: ellipsoids, polyhedra, parametric classes of polyhedra with a controlled complexity (the so called “templates” introduced by Sankaranarayanan, Sipma and Manna 108), shadows of sets represented by linear matrix inequalities, disjunctive constraints represented by tropical polyhedra 51, etc. The computation of invariants boils down to solving large scale fixed point problems. The latter are of the same nature as the ones encountered in the theory of zerosum games, and so, the techniques developed in the previous research directions (especially methods of monotonicity, nonexpansiveness, discretization of PDEs, etc) apply to the present setting, see e.g. 74, 77 for the application of policy iteration type algorithms, or for the application for fixed point problems over the space of quadratic forms 7. The problem of computation of invariants is indeed a key issue needing the methods of several fields: convex and nonconvex programming, semidefinite programming and symbolic computation (to handle semialgebraic invariants), nonlinear fixed point theory, approximation theory, tropical methods (to handle disjunctions), and formal proof (to certify numerical invariants or inequalities).
5 Social and environmental responsibility
5.1 Impact of research results
The team has developed collaborations on the dimensioning of emergency call centers, with Préfecture de Police (Plate Forme d'Appels d'Urgence  PFAU  1718112, operated jointly by Brigade de sapeurs pompiers de Paris and by Direction de la sécurité de proximité de l'agglomération parisienne) and also with the Emergency medical services of Assistance Publique – Hôpitaux de Paris (Centre 15 of SAMU75, 92, 93 and 94). This work is described further in Section 8.7.1. A recent extension of this work deals with the modelling of medical emergency services, with the project “URGE” which started at the fall 2022, in the framework of the joint INRIA & APHP “Bernoulli” lab.
6 Highlights of the year
6.1 Awards
 Stéphane Gaubert obtained the Michel Monpetit – INRIA Prize of Académie des Sciences, 2023.
 Marin Boyet (former PhD of the team) has obtained the PhD prize in Mathematics of Institut polytechnique de Paris, for his work on emergency call centers 62.
 Antoine Béreau obtained the “Distinguished Student Author Award”, sponsored by SIGSAM and Maplesoft, at the conference ISSAC (International Symposium on Symbolic and Algebraic Computation), Tromsø, Norway, July 2023.
7 New software, platforms, open data
7.1 New software
7.1.1 CoqPolyhedra

Name:
CoqPolyhedra

Keywords:
Coq, Polyhedra, Automated theorem proving, Linear optimization

Scientific Description:
CoqPolyhedra is a library providing a formalization of convex polyhedra in the Coq proof assistant. While still in active development, it provides an implementation of the simplex method, and already handles the basic properties of polyhedra such as emptiness, boundedness, membership. Several fundamental results in the theory of convex polyhedra, such as Farkas Lemma, duality theorem of linear programming, and Minkowski Theorem, are also formally proved.
The formalization is based on the Mathematical Components library, and makes an extensive use of the boolean reflection methodology.

Functional Description:
CoqPolyhedra is a library which aims at formalizing convex polyhedra in Coq
 URL:
 Publications:

Contact:
Xavier Allamigeon

Participants:
Xavier Allamigeon, Vasileios Charisopoulos, Quentin Canu, Ricardo Katz, PierreYves Strub

Partners:
CIFASIS, Ecole Polytechnique
7.1.2 EmergencyEval

Keywords:
Dynamic Analysis, Simulation, Ocaml, Emergency, Firefighters, Police

Scientific Description:
This software aims at enabling the definition of a Petri network execution semantic, as well as the instanciation and execution of said network using the aforedefined semantic.
The heart of the project dwells in its kernel which operates the stepbystep execution of the network, obeying rules provided by an oracle. This userdefined and separated oracle computes the information necessary to the kernel for building the next state using the current state. The base of our software is the framework for the instanciation and execution of Petri nets, without making assumptions regarding the semantic.
In the context of the study of the dynamics of emergency call centers, a second part of this software is the definition and implementation of the semantic of call centers modelized as Petri nets, and more specifically timed prioritized Petri nets. A module interoperating with the kernel enables to include all the operational specificities of call centers (urgency level, discriminating between operators and callers ...) while guaranteeing the genericity of the kernal which embeds the Petri net formalism as such.

Functional Description:
In order to enable the quantitative study of the throughput of calls managed by emergency center calls and the assesment of various organisationnal configurations considered by the stakeholders (firefighters, police, medical emergency service of the 75, 92, 93 and 94 French departments), this software modelizes their behaviours by resorting to extensions of the Petri net formalism. Given a call transfer protocol in a call center, which corresponds to a topology and an execution semantic of a Petri net, the software generates a set of entering calls in accord with the empirically observed statistic ditributions (share of very urgent calls, conversation length), then simulates its management by the operators with respect to the defined protocol. Transitional regimes phenomenons (peak load, support) which are not yet handled by mathematical analysis could therefore be studied. The ouput of the software is a log file which is an execution trace of the simulation featuring extensive information in order to enable the analysis of the data for providing simulationbased insights for decision makers.
The software relies on a Petri net simulation kernel designed to be as modular and adaptable as possible, fit for simulating other Petrinet related phenomenons, even if their semantic differ greatly.

Contact:
Xavier Allamigeon

Participants:
Xavier Allamigeon, Benjamin Nguyenvanyen
8 New results
8.1 Optimal control and zerosum games
8.1.1 Tropical numerical methods for stochastic control problems
Participants: Marianne Akian, Luz Pascal.
In 113, we were interested in the numerical solution of the dynamic programming equation of discrete time stochastic control problems, and we developped and studied several algorithms combining the tropical or the maxplus based numerical method of McEneaney 94, 92, the stochastic maxplus scheme proposed by Zheng Qu 103, and the stochastic dual dynamic programming (SDDP) algorithm of Pereira and Pinto 99. In 35, we also show that in the case of the dynamic programming equation associated to a partially observable Markov Decision Process (POMDP), it is similar to the so called point based algorithms developped in 101, 87, 110, which includes in particular SARSOP algorithm.
In an ongoing work, we are studying the convergence of SARSOP algorithm using the same techniques as in 36.
8.1.2 Highway hierarchies for HamiltonJacobiBellman (HJB) PDEs
Participants: Marianne Akian, Stéphane Gaubert, Shanqing Liu, Yang Qi.
HamiltonJacobiBellman equations arise as the dynamic programming equations of deterministic or stochastic optimal control problems. They allow to obtain the global optimum of these problems and to synthetize an optimal feedback control, leading to a solution robust against system perturbations. Several methods have been proposed in the litterature to bypass the obstruction of curse of dimensionality of such equations, assuming a certain structure of the problem, and/or using “unstructured discretizations”, that are not based on given grids. Among them, one may cite tropical numerical method, and probabilistic numerical method. On another direction, “highway hierarchies”, developped by Sanders, Schultes and coworkers 69, 107, initially for applications to onboard GPS systems, are a computational method that allows one to accelerate Dijkstra algorithm for discrete time and state shortest path problems.
The aim of the PhD thesis of Shanqing Liu 89 was to develop new numerical methods to solve HamiltonJacobiBellman equations that are less sensitive to curse of dimensionality.
In 24, we have developped a multilevel fastmarching method, extending to the PDE case the idea of “highway hierarchies”. Given the problem of finding an optimal trajectory between two given points, the method consists in refining the grid only in a neighborhood of the optimal trajectory, which is itself computed using an approximation of the value function on a coarse grid.
In 18, we have considered general finite horizon deterministic optimal control problems, for which we combine the idea of the multilevel grids around optimal trajectories with the maxplus finite element method solving HamiltonJacobi equations introduced in 39.
More recently, we combined these ideas with an adaption of SDDP algorithm to semiconcave problems. We also apply our algorithm to numerically solve the Nbody problem.
8.1.3 Relative KrasnoselskiiMann iteration for irreducible stochastic meanpayoff games and entropy games
Participants: Marianne Akian, Stéphane Gaubert.
We studied in 19 an algorithm solving stochastic meanpayoff games, combining the ideas of relative value iteration and of KrasnoselskiiMann damping. We analysed its convergence and derived parameterized complexity bounds for several classes of games satisfying irreducibility conditions. This is a joint work with Ulysse Naepels and Basile Terver, two students at École polytechnique, IP Paris.
8.1.4 Escape Rate Games
Participants: Marianne Akian, Stéphane Gaubert, Loic Marchesini.
The aim of the PhD thesis of Loic Marchesini is to study a new class of repeated zerosum games in which the payoff of one player is the escape rate of a dynamical system whose dynamics depends on the actions of both players. We begin with the case of dynamics obtained from nonexpansive operators. Considering order preserving finite dimensional linear operators over the positive cone endowed with Hilbert's projective (semi)metric, we recover the matrix multiplication games introduced by Asarin et al. 56, which generalize the joint spectral radius of sets of nonnegative matrices. See also 37. We established a twoplayer analogue of “Mañe's Lemma”, characterizing the value of the game.
8.2 Nonlinear PerronFrobenius theory, nonexpansive mappings and metric geometry
8.2.1 Volume in Funk geometries
Participants: Cormac Walsh.
This is joint work with Dmitry Faifman (Tel Aviv) and Constantin Vernicos (Montpellier).
We are investigating the volume of metric balls in the Funk geometry 32. This is an asymmetric metric related to the Hilbert metric; indeed, the Hilbert metric is its symmetrisation. We are interested in it because it is somewhat easier to work with than the Hilbert metric when dealing with volumes, and exhibits similar interesting of behaviour. Given a convex body in ${\mathbb{R}}^{n}$ and a radius $r$, there is a unique point $x$ such that the Funk ball of radius $r$ centered at $x$ minimises the volume over all Funk balls of the same radius. It is natural to conjecture that this minimum volume, which depends on the convex body, it maximised when the body is a Euclidean ball. If this is true, one could recover Blaschke–Santaló inequality by letting the radius tend to zero, and the centroaffine isoperimetric inequality by letting the radius tend to infinity.
Similarly, one could conjecture that, under the assumption that the convex body is centrally symmetric, the minimum volume is minimised when the body is a Hanner polytope. Recall that these are the polytopes that can be constructed from copies of the unit interval by taking products and polar duals. This conjecture interpolates between the Mahler conjecture and Kalai’s flag conjecture. We can prove it for unconditional bodies, that is, bodies that are symmetric through reflections in the coordinate hyperplanes.
We have been studying in more detail the volume of balls in the Funk geometry when the convex body is a polytope. Here, as in the case of the Hilbert metric, the volume grows polynomially with order equal to the dimension, and the constant on front of the highest order term depends only on the number of flags of the polytope. Thus, this term does not change when the polytope is perturbed in a way that doesn't change the combinatorics. This motivates us to look at the second highest order term. We have developed the following formula for this in terms of the position of the vertices of the polytope and the vertices of its dual.
Recall that polytopes have the following property: if $F$ and ${F}^{\text{'}}$ are two faces of dimension $i1$ and $i+1$, respectively, and $F\subset {F}^{\text{'}}$, then there are exactly two faces $G$ of dimension $i$ such that $F\subset G\subset {F}^{\text{'}}$. So, for each $i\in \{0,\cdots ,n1\}$ and flag $f$, there is a unique flag, which we denote ${\theta}_{i}f$, that differs from $f$ only by having a different face of dimension $i$. The group $\langle {\theta}_{0},\cdots ,{\theta}_{n1}\rangle $ generated by these maps is known as the monodromy group or connection group of the polytope $P$. To express the second term in the asymptotics of the volume, we will need a particular element of this group, the complete flip$\theta :={\theta}_{n1}\circ \cdots \circ {\theta}_{0}$. With this notation, the second term is then $\alpha {r}^{n1}$, where
Here, we are identifying the facet ${\left(\theta f\right)}_{n1}$ with the associated vertex of the dual polytope.
Thus we get a new centroaffine invariant for polytopes. We have been studying this invariant: we can show that in dimension 2 its only stationary points are the linear images of regular polygons centered at the origin.
8.2.2 Invariant Finsler metrics on symmetric spaces
Participants: Cormac Walsh.
This is joint work with Bas Lemmens (Kent).
We are interested in metrics on symmetric spaces, in particular Finsler metrics that are invariant under the symmetries of the space. In a previous paper 79, it was established that there is such a metric natural associated to every representation of the symmetric space, which depends on the system of weights of the representation. More precisely, one takes the convex hull of the weights and interprets that as the dual ball in the Artin subspace. The lengths of all other vectors can then determined by invariance. We are investigating this correspondence between representations and metrics in more detail. We wish to answer the question, concretely, which known representations correspond to which invariant Finsler metrics?
8.3 Tropical algebra and convex geometry
8.3.1 Formalizing convex polyhedra in Coq
Participants: Xavier Allamigeon, Quentin Canu.
In a joint work with PierreYves Strub (Meta), we have achieved the formal verification of a counterexample of Santos et al. to the socalled Hirsch Conjecture on the diameter of polytopes. In contrast with the penandpaper proof, our approach is entirely computational: we implement in Coq and prove correct an algorithm that explicitly computes, within the proof assistant, vertexedge graphs of polytopes as well as their diameter. The originality of this certificatebased algorithm is to achieve a tradeoff between simplicity and efficiency. Simplicity is crucial in obtaining the proof of correctness of the algorithm. This proof splits into the correctness of an abstract algorithm stated over prooforiented data types and the correspondence with a lowlevel implementation over computationoriented data types. A special effort has been made to reduce the algorithm to a small sequence of elementary operations (e.g., matrix multiplications, basic routines on sets and graphs), in order to make the derivation of the correctness of the lowlevel implementation more transparent. Efficiency allows us to scale up to polytopes with a challenging combinatorics. For instance, we formally check the two counterexamples of Matschke, Santos and Weibel to the Hirsch conjecture, respectively 20 and 23dimensional polytopes with 36 425 and 73 224 vertices involving rational coefficients with up to 40 digits in their numerator and denominator. We also illustrate the performance of the method by computing the list of vertices or the diameter of wellknown classes of polytopes, such as (polars of) cyclic polytopes involved in McMullen's Upper Bound Theorem. This work has appeared in the proceedings of the conference CPP'23 20.
Dealing with polyhedra and their faces raises the problem of formalizing order structures. We study this problem in a joint work 29 with Cyril Cohen (Inria), Kazuhiko Sakaguchi (Inria) and PierreYves Strub (Meta). More precisely, using order structures in a proof assistant naturally raises the problem of working with multiple instances of a same structure over a common type of elements. This goes against the main design pattern of hierarchies used for instance in Coq's MathComp or Lean's mathlib libraries, where types are canonically associated to at most one instance and instances share a common overloaded syntax. We introduce new design patterns to leverage these issues, and apply them to the formalization of order structures in the MathComp library. A common idea in these patterns is underloading, i.e., a disambiguation of operators on a common type. In addition, our design patterns include a way to deal with duality in order structures in a convenient way. We hence formalize a large hierarchy which includes partial orders, semilattices, lattices as well as many variants. We finally pay a special attention to order substructures. We introduce a new kind of structure called prelattice. They are abstractions of semilattices, and allow us to deal with finite lattices and their sublattices within a common signature. As an application, we report on significant simplifications of the formalization of the face lattices of polyhedra in the CoqPolyhedra library.
8.3.2 Linear algebra over systems
Participants: Marianne Akian, Stéphane Gaubert.
In a joint work with Louis Rowen (Univ. Bar Ilan), 14, we study the properties of “systems”. The latter provide a general setting encompassing extensions of the tropical semifields and hyperfields. Moreover, they have the advantage to be well adapted to the study of linear or polynomial equations. In particular, in 14, we characterize the semiring systems which arise from hyperrings.
In 25, we are studying linear algebra properties over a generalization of “systems” called “Tpairs”.
8.3.3 Ambitropical convexity and Shapley retracts
Participants: Marianne Akian, Stéphane Gaubert.
Closed tropical convex cones are the most basic examples of modules over the tropical semifield. They coincide with subfixedpoint sets of Shapley operators – dynamic programming operators of zerosum games. We study a larger class of cones, which we call “ambitropical” as it includes both tropical cones and their duals. Ambitropical cones can be defined as lattices in the order induced by ${\mathbb{R}}^{n}$. Closed ambitropical cones are precisely the fixedpoint sets of Shapley operators. They are characterized by a property of best coapproximation arising from the theory of nonexpansive retracts of normed spaces. Finitely generated ambitropical cones arise when considering Shapley operators of deterministic games with finite action spaces. Moreover, finitely generated ambitropical cones are special polyhedral complexes whose cells are alcoved poyhedra, and locally, they are in bijection with order preserving retracts of the Boolean cube. We also showed that a cone is ambitropical if and only if it is hyperconvex. This is a joint work with Sara Vannucci (Praha). See 27.
8.3.4 Tropical linear regression and applications
Participants: Marianne Akian, Stéphane Gaubert, Yang Qi, Omar Saadi.
In 13, we show that the problem consisting in computing a best approximation of a collection of points by a tropical hyperplane is equivalent to solving a mean payoff game, and also, to compute the maximal radius of an inscribed ball in a tropical polytope. We provide an application to a problem of auction theory – measuring the distance to equilibrium. We also study a dual problem — computing the minimal radius of a circumscribed ball to a tropical polytope – and apply it to the rankone approximation of tropical matrices and tensors.
8.3.5 Roots over the symmetrized tropical semiring and eigenvalues of tropical symmetric matrices
Participants: Marianne Akian, Stéphane Gaubert.
The tropical semifield can be thought of as the image of a field with a nonarchimedean valuation. It allows in this way to study the asymptotics of Puiseux series with complex coefficients. When dealing with Puiseux series with real coefficients and with its associated order, it is convenient to use the symmetrized tropical semiring introduced in 102 (see also 57), and the signed valuation which associates to any series its valuation together with its sign.
In a work 26 which started during the postdoc of Hanieh Tavakolipour (Amirkabir University of Technology) in the team, we study the roots's multiplicities and the factorization of polynomials over the symmetrized tropical semiring. We then deduce a Descartes' rule of sign over ordered valued fields. This builds in particular on 58 (for multiplicities) and on 54.
In a work with Dariush Kiani and Hanieh Tavakolipour (Amirkabir University of Technology), we study with these tools the asymptotics of eigenvalues and eigenvectors of symmetric positive definite matrices over the field of Puiseux series.
8.3.6 Tropical Systems of Polynomial Equations
Participants: Marianne Akian, Antoine Bereau, Stéphane Gaubert.
The PhD thesis of Antoine Bereau deals with systems of polynomial equations over tropical semifields. In 17, 23, we established a Nullstellenstatz for sparse tropical polynomial systems. We reduce a polynomial system to a linearized system obtained by an appropriate truncation of the Macaulay matrix. Our approach is inspired by a construction of CannyEmiris (1993), refined by Sturmfels (1994). It leads to an improved estimate of the truncation degree. We also establish a tropical positivstellensatz, allowing one to decide the containment of tropical basic semialgebraic sets. This method leads to the solution of systems of tropical linear equalities and inequalities, which reduces to mean payoff games.
8.3.7 Systems of sparse polynomial equations and convex polytopes
Participants: Matías Bender.
Solving systems of polynomial equations is an intrinsically hard problem. In applications, almost all the systems that we encounter have certain structure, so it is central to take advantage of this to be able to solve bigger inputs. Among the most common structures, we find sparsity: the polynomial are defined by a few set of monomials. If all the polynomial share the same sparsity pattern we say that the system is “unmixed”; otherwise, we call it “mixed”. Several strategies had been proposed to deal with sparse polynomial systems, being the more efficients ones the ones to deal with unmixed systems. In our recent paper 30 with PierreJean Spaenlehauer (Inria Nancy), we characterise the conditions under which the specialised strategies developed for unmixed systems can be applied to mixed systems. Our analysis relies on the combinatorics of convex polytopes associated to the input polynomials and toric geometry. Furthermore, we show that deciding whenever this can be done is a NPhard problem.
8.4 Tropical methods applied to optimization, perturbation theory and matrix analysis
8.4.1 Tropicalization of interior point methods and application to complexity
Participants: Xavier Allamigeon, Stéphane Gaubert, Nicolas Vandame.
It is an open question to determine if the theory of selfconcordant barriers can provide an interior point method with strongly polynomial complexity in linear programming. In the special case of the logarithmic barrier, it was shown in 43,6 that the answer is negative.
In a subsequent work 42 with Abdellah Aznag (Columbia University) and Yassine Hamdi (Ecole Polytechnique), we have studied the tropicalization of the central path associated with the entropic barrier studied by Bubeck and Eldan (Proc. Mach. Learn. Research, 2015), i.e., the logarithmic limit of this central path for a parametric family of linear programs defined over the field of Puiseux series. Our main result is that the tropicalization of the entropic central path is a piecewise linear curve which coincides with the tropicalization of the logarithmic central path studied by Allamigeon et al. in 43,6.
In the work 55, we have now shown that none of the selfconcordant barrier interior point methods is strongly polynomial. This result is obtained by establishing that, on parametric families of convex optimization problems, the loglimit of the central path degenerates to the same piecewise linear curve, independently of the choice of the barrier function. We also provided an improved counter example, with an explicit linear program that falls in the same class as the Klee–Minty counterexample, i.e., a $n$dimensional combinatorial cube, in which the number of iterations is ${2}^{n}$.
A key tool in this work consists of metric inequalities, controlling the convergence of the logimages of semialgebraic sets to a polyhedral complex (their tropicalization). Explicit convergence bounds, valid under certain genericity assumptions, have been subsequently established.
In a joint work 49 with Daniel Dadush, Georg Loho, Bento Natura and László Végh, we establish a natural connection between the complexity of interior point methods and that of the simplex method, and deduce combinatorial bounds on the number of iterations. In more details, we introduce a new polynomialtime pathfollowing interior point method where the number of iterations also admits a combinatorial upper bound $O({2}^{n}{n}^{1.5}logn)$ for an $n$variable linear program in standard form. The number of iterations of our algorithm is at most $O({n}^{1.5}logn)$ times the number of segments of any piecewise linear curve in the wide neighborhood of the central path. In particular, it matches the number of iterations of any path following interior point method up to this polynomial factor. The overall exponential upper bound derives from studying the `max central path', a piecewiselinear curve with the number of pieces bounded by the total length of $2n$ shadow vertex simplex paths.
8.4.2 Tropical Nash equilibria and complementarity problems
Participants: Xavier Allamigeon, Stéphane Gaubert.
Linear complementarity programming is a generalization of linear programming which encompasses the computation of Nash equilibria for bimatrix games. While the latter problem is PPADcomplete, we show in 52 that the analogue of this problem in tropical algebra can be solved in polynomial time. Moreover, we prove that the Lemke–Howson algorithm carries over the tropical setting and performs a linear number of pivots in the worst case. A consequence of this result is a new class of (classical) bimatrix games for which Nash equilibria computation can be done in polynomial time. This is joint work with Frédéric Meunier (Cermics, ENPC).
8.4.3 Signed Tropicalization of Polars and application to Matrix Cones
Participants: Marianne Akian, Xavier Allamigeon, Stéphane Gaubert.
With Sergey Sergeev (U. Birmingham), we study in 22 the tropical analogue of the notion of polar of a cone over the symmetrized tropical semiring (see for instance 102, 57). We characterize in particular the tropical polars of sets of nonnegative tropical vectors, and relate them with images by the nonarchimedean valuation of classical polars over real closed nonarchimedean fields. We study in particular cones of matrices, and optimization problems.
8.4.4 Bounds on roots of (multivariate) polynomial systems
Participants: Marianne Akian, Stéphane Gaubert.
With Gregorio Malajovich (Univ. Federal Rio de Janeiro (UFRJ), we study the approximation of the solutions of (classical) polynomial systems, using the roots of some associated tropical polynomial systems, or more generally techniques of tropical geometry. In particular, in a work in progress, we generalize the Cauchy and Lagrange bounds to multivariate polynomials.
8.5 Algebraic aspects of tensors
8.5.1 Algebraic complexity of lowrank approximations
Participants: Yang Qi.
In a joint work with Khazhgali Kozhasov (Université Côte d'Azur), Alan Muniz (Universidade Estadual de Campinas), and Luca Sodomaco (KTH Stockholm) 34, we study the algebraic complexity of Euclidean distance minimization from a generic tensor to the set of rankone tensors. More precisely, we study the number of complex critical points of this optimization problem, which is called the Euclidean distance (ED) degree of the SegreVeronese variety in algebraic geometry. We view this invariant as a function of inner products and show this function achieves its minimal value at Frobenius inner product for the matrix case. In addition, we discuss the above optimization problem for other varieties as well.
8.6 Tensor ranks and complexity theory
Participants: Yang Qi.
With Christian Ikenmeyer (Warwick), we study the complexity classes WR which is defined by symmetric rank and its Zariski closure VWR which is defined by symmetric border rank. In particular, we show these two classes equal, i.e., for a given symmetric tensor $T$ with symmetric border rank $r$, when $r$ is small, the symmetric rank of $T$ is polynomially bounded by $r$.
8.7 Applications
8.7.1 Performance evaluation of emergency call centers and emergency services
Participants: Xavier Allamigeon, Pascal Capetillo, Stéphane Gaubert, Benjamin NguyenVanYen.
Since 2014, we have been collaborating with Préfecture de Police (Régis Reboul and LcL Stéphane Raclot), more specifically with Brigade de Sapeurs de Pompiers de Paris (BSPP) and Direction de Sécurité de Proximité de l'agglomération parisienne (DSPAP), on the performance evaluation of the new organization (PFAU, “Plate forme d'appels d'urgence”) to handle emergency calls to firemen and policemen in the Paris area. We developed analytical models, based on Petri nets with priorities, and fluid limits, see 45, 46, 60. In 2019, with four students of École polytechnique, Céline Moucer, Julia Escribe, Skandère Sahli and Alban Zammit, we performed case studies, showing the improvement brought by the two level filtering procedure.
Moreover, in 2019, this work has been extended to encompass the handling of health emergency calls, with a new collaboration, involving responsibles from the four services of medical emergency aid of Assistance Publique – Hôpitaux de Paris (APHP), i.e., with SAMU75, 92, 93, 94, in the framework of a project coordinated by Dr. Christophe Leroy from APHP. As part of his PhD work, Marin Boyet have developed Petri net models capturing the characteristic of the centers (CRRA) handling emergency calls the SAMU, in order to make dimensioning recommendations. Following this, we have been strongly solicited by APHP during the pandemic of Covid19 in order to determine crisis dimensioning of SAMU.
In parallel, we have further investigated the theoretical properties of timed Petri nets with preselection and priority routing. We represent the behavior of these systems by piecewise affine dynamical systems. We use tools from the theory of nonexpansive mappings to analyze these systems. We establish an equivalence theorem between priorityfree fluid timed Petri nets and semiMarkov decision processes, from which we derive the convergence to a periodic regime and the polynomialtime computability of the throughput. More generally, we develop an approach inspired by tropical geometry, characterizing the congestion phases as the cells of a polyhedral complex. These results are illustrated by the application to the performance evaluation of emergency call centers of SAMU in the Paris area. These results have been published in 48.
In 47, we provided explicit formulæ allowing one to compute the time needed by a call center to return to a stationary state after a bulk of calls. This is based on a turnpiketype theorem for Markov decision processes.
These results are also presented in the Phd thesis 62.
In a followup work, in the framework of the URGE project (see Section 10.3.3 below) we are extending these models in order to evaluate the dimensioning of emergency departments. This is the object of the PhD work of Pascal Capetillo (which started in Nov. 2023).
8.7.2 Optimal pricing of energy contracts
Participants: Stéphane Gaubert, Quentin Jacquet.
The PhD thesis of Quentin Jacquet 85 was cosupervised by Stéphane Gaubert, Clémence Alasseur (EDF Labs), and Wim van Ackooij (EDF Labs). It concerns the application of bilevel programming methods to the pricing of electricity contracts. We investigated in 16 a new model of customer's response, based on a quadratic regularization. We showed that this model has qualitative properties and a realism similar to the classical models based on the logitresponse, while being amenable to mathematical programming and polyhedral techniques, and so to exact solutions, via a reduction to quadratic complementary problems. An application to a set of instances representative of French electricity contracts was also developed in 16.
In 84, we developed a model representing the response of a population of customers to dynamic price offers. This lead to a meanfield Markov decision model, with ergodic cost. We showed in particular the optimality of pricing policies characterized by periodic discounts.
The preprint 28 develops a mean field game model to model an incentive pricing scheme, in which agents compete to get the best reward.
The conference article 21 develops a method to compute an optimal menu of contracts of a prescribed cardinality, optimizing the income of a provider, taking into account the agent's characteristics.
9 Bilateral contracts and grants with industry
9.1 Bilateral contracts with industry
Participants: Stéphane Gaubert.
 Optimal pricing of energy and services. Collaboration of Stéphane Gaubert with Clémence Alasseur and Wim Van Ackooij, from EDF Labs, with the Phd Work of Quentin Jacquet (CIFRE PhD, 20202023), supervised by Stéphane Gaubert.
10 Partnerships and cooperations
10.1 International initiatives
10.1.1 Participation in other International Programs
Bilateral project FACCTS with the University of Chicago
Participants: Stéphane Gaubert.

Title:
Tropical geometry of deep learning

Partner Institution(s):
University of Chicago (Statistics) and Ecole polytechnique.

Program:
Bilateral project FACCTS, between the University of Chicago (Statistics) – LekHeng Lim– and Ecole polytechnique – Stéphane Gaubert–

Partners:
LekHeng Lim

Date/Duration:
20212023
10.2 International research visitors
10.2.1 Visits of international scientists
Other international visits to the team
Gleb Koshevoy

Status
Senior Researcher.

Institution of origin:
Institute of Information Transmission Problems (Kharkevich Institute), Russian Academy of Sciences.

Country:
Russia.

Dates:
November 1, 2022 to January 31, 2023.

Context of the visit:
INRIA Saclay invited professor programme. Gleb Koshevoy is invited to collaborate with the Tropical team, on topics at the interface of algebraic combinatorics, discrete convexity and tropical geometry. The collaboration program covers the study of ambitropical and hyperconvexity, their interactions with $F$polynomials, and tropical positivstellensatze.

Mobility program/type of mobility:
research stay.
Luz Pascal

Status
PhD.

Institution of origin:
Queensland University of Technology.

Country:
Australia.

Dates:
May 30, 2023 to June 20, 2023.

Context of the visit:
Participation of Marianne Akian to the supervision of Luz Pascal on the algorithms for Partially Observable Markov Decision Processes and their applications to adaptive management of species.

Mobility program/type of mobility:
research stay.
Gregorio Malajovich

Status
Senior Researcher.

Institution of origin:
Mathematical Institute, Universidade Federal do Rio de Janeiro.

Country:
Brazil.

Dates:
June 22, 2023 to July 7, 2023.

Context of the visit:
Collaboration with the TROPICAL team (Marianne Akian and Stéphane Gaubert) on tropical geometry applied to the localization of roots of polynomial systems.

Mobility program/type of mobility:
research stay.
10.2.2 Visits to international teams
Research stays abroad
Matías Bender

Visited institution:
University of Texas at San Antonio.

Country:
US

Dates:
October 30, 2023 to November 3, 2023.

Context of the visit:
Collaboration with Alperen Ergür.

Mobility program/type of mobility:
research stay.
10.3 National initiatives
10.3.1 ANR
Participants: Marianne Akian, Xavier Allamigeon, Cormac Walsh, Stéphane Gaubert.
 Project ANR HilbertXField (“Géométries de Hilbert sur tout corps valué”). ANR leader: Antonin Guilloux. Partners: IMJPRG/OURAGAN (Sorbonne Université, pole leader Antonin Guilloux), CMAP/TROPICAL (Inria, pole leader: Cormac Walsh), Institut Fourier (Grenoble, pole leader Anne Parreau).
10.3.2 Programme Gaspard Monge pour l'optimisation, la recherche opérationnelle et leurs interactions avec les sciences des données
Participants: Matías Bender.
 SOAP  Sparsity in Optimization via Algebra and Polynomials, with Elias Tsigaridas (IMJ), project funded by FMJH within the PGMO programme.
10.3.3 Joint INRIA & APHP Bernoulli lab project: “URGE”
 The project URGE (Analyse des parcours patients aux URgences et optimisation des prises en charGE), started at the fall 2022, in the framework of the joint INRIA & APHP Bernoulli lab. The goal of the project is to develop modelling, simulation, performance analysis, and visualization tools, in order to help physicians to optimize the staffing of emergency services. This collaborative project, of four years, involves the Tropical and Aviz teams from INRIA Saclay, the Dyogene team from INRIA Paris, and the Fédération HospitaloUniversitaire (FHU) / IMPEC Improving Emergency Care, APHP / Sorbonne Université / INSERM. The project is led by X. Allamigeon (Tropical) and Y. Yordanov (APHP, SaintAntoine) and involves S. Gaubert, B. Nguyen (Tropical), Ch. Fricker (Dyogene), J.D. Fekete (Aviz).
11 Dissemination
11.1 Promoting scientific activities
11.1.1 Scientific events: organisation
General chair, scientific chair
 Stéphane Gaubert is the coordinator of the Gaspard Monge Program for Optimization, Operations Research and their interactions with data sciences (PGMO), a corporate sponsorhip program, operated by Fondation Mathématique Jacques Hadamard, supported by EDF, see Pgmo site.
Member of the organizing committees
 Stéphane Gaubert coorganizes the “Séminaire Parisien d'Optimisation” at Institut Henri Poincaré.
Organization of special sessions at conferences
 Marianne Akian , organization of minisymposium “Équations d’HamiltonJacobiBellman et de jeux à champ moyen” at SMAI 2023, May 2226, 2023, Le Gosier en Guadeloupe.
 Marianne Akian , organization of minisymposium “Computational Tropical Geometry” at SIAM Conference on Applied Algebraic Geometry (AG23), Eindhoven, The Netherlands.
 Matìas Bender , organization of minisymposium “Efficient Symbolic and Numerical Algorithms for Polynomial Systems” at SIAM Conference on Applied Algebraic Geometry (AG23), Eindhoven, The Netherlands.
 Matìas Bender , organization of invited session “Nonlinear Algebra and its Application” at PGMO Days 2023, Palaiseau, France.
 Yang Qi , organization of minisymposium “Geometry in optimization and numerical (multi)linear algebra" at SIAM Conference on Applied Algebraic Geometry (AG23), Eindhoven, The Netherlands.
11.1.2 Scientific events: selection
Chair of conference program committees
 Stéphane Gaubert , cochair of the PGMO Days 2023, EDF Labs, 2829 Nov.
Member of the conference program committees
 Marianne Akian , member of the Program Commitee of ISSAC'2023.
 Marianne Akian , member of the Scientific Commitee of 11th French Biennal of SMAI (SMAI 2023).
 Stéphane Gaubert , member of the scientific committee of the Mathematics and Decision Conference, 11 – 15 December 2023 Place: UM6P Ben Guerir, Morocco.
 Stéphane Gaubert , member of the scientific committee of the workshop Modélisation des Systèmes Réactifs (MSR'23), Toulouse.
11.1.3 Journal
Member of the editorial boards
 Stéphane Gaubert : member of the editorial board of Journal of Dynamics and Games, Linear and Multilinear Algebra, RAIRO, SpringerSMAI book series.
11.1.4 Invited talks

Marianne Akian
:
 Minisymposium “Manifestations of the Mixed Volume” at SIAM Conference on Applied Algebraic Geometry (AG23), July 2023, Eindhoven, The Netherlands. Talk : “Cauchy and Lagrange Bounds for Multivariate Polynomials” (work with Stéphane Gaubert and Gregorio Malajovich).
 Minisymposium “Numerical methods for HamiltonJacobi equations and their applications” at 10th International Congress on Industrial and Applied Mathematics (ICIAM 2023), August 2023, Tokyo, Japan. Talk: “Tropical and multilevel numerical methods for solving optimal control problems” (work with Stéphane Gaubert and Shanqing Liu).
 Invited talk at Mathematics & Decision Conference, 1115 December 2023, UM6P Ben Guerir, Morocco. Title: “Repeated zerosum games: from operators to algorithms and tropical geometry”.

Xavier Allamigeon
 Journée des lauréats des prix de l'Académie des Sciences, section “Mécanique et Informatique”, Paris, France, mai 2023. Titre : A Formal Disproof of the Hirsch Conjecture.
 Exposé invité à la conférence “Highlights of Algorithms”, Prague, République Tchèque, juin 2023. Titre : No selfconcordant barrier interior point method is strongly polynomial.
 Minisymposium “Computational Tropical Geometry” at SIAM Conference on Applied Algebraic Geometry (AG23), July 2023, Eindhoven, The Netherlands. Talk: “Tropical Nash Equilibria and Oriented Matroids” (work with Stéphane Gaubert and Frédéric Meunier).
 Exposé invité au 27ème séminaire “Polyèdres et Optimisation Combinatoire”, Paris, France, décembre 2023. Titre : No selfconcordant barrier interior point method is strongly polynomial.

Matìas Bender
 Minisymposium “Manifestations of the Mixed Volume” at SIAM Conference on Applied Algebraic Geometry (AG23), July 2023, Eindhoven, The Netherlands. Talk: “Dimension Results for Polynomial Systems Over Complete Toric Varieties”.
 Minisymposium “Recent Advances on Polynomial System Solving” at 10th International Congress on Industrial and Applied Mathematics (ICIAM 2023), August 2023, Tokyo, Japan. Talk: “Dimension Results for Polynomial Systems Over Complete Toric Varieties”.
 Weekly seminar of the FCFS at Universidad Autónoma de Chiapas.

Antoine Béreau
:
 Minisymposium “Manifestations of the Mixed Volume” at SIAM Conference on Applied Algebraic Geometry (AG23), July 2023, Eindhoven, The Netherlands. Talk: “The Tropical Nullstellensatz and Positivstellensatz for Sparse Polynomial Systems” (work with Marianne Akian and Stéphane Gaubert).

Stéphane Gaubert
:
 25th Conference of the International Linear Algebra Society, Madrid, June 2023 (Invited Minisymposium). Talk: “Turingmodel complexity estimates in geometric programming and application to the computation of the spectral radius of nonnegative tensors.”.
 JonShmuel Halfway to Twelfty celebration, ENPC, July 2023. Talk: “Ambitropical convexity, injective hulls of metric spaces, and meanpayoff games.”
 Minisymposium “Computational Tropical Geometry” at SIAM Conference on Applied Algebraic Geometry (AG23), July 2023, Eindhoven, The Netherlands. Talk: “Ambitropical Convexity, Injective Hulls and MeanPayoff Games” (work with Marianne Akian and Sara Vannucci).
 Minisymposium “Advances in Optimization” at 10th International Congress on Industrial and Applied Mathematics (ICIAM 2023), August 2023, Tokyo, Japan. Talk: “Tropical convexity: application to linear programming and meanpayoff games”.
 Combinatorics and Arithmetic for Physics, IHES, Nov. 2023. Talk: “The Nullstellensatz and Positivstellensatz for Sparse Tropical Polynomial Systems, and Parametric MeanPayoff Games” (joint work with Marianne Akian and Antoine Béreau).

Yang Qi
:
 Optimization Seminar, Telecom Paris, April 2023, Talk: “Tropical linear regression and lowrank approximation — a first step in tropical data analysis”.
 MC2 Seminar, ENS Lyon, May 2023, Talk: “Tropical linear regression and lowrank approximation — a first step in tropical data analysis”.
 Frontiers of computational mathematics, Kunming, China, August 2023, Talk: “Tropical data analysis”.

Nicolas Vandame
:
 Minisymposium “Computational Tropical Geometry” at SIAM Conference on Applied Algebraic Geometry (AG23), July 2023, Eindhoven, The Netherlands. Talk: “No SelfConcordant Barrier Interior Point Method Is Strongly Polynomial” (work with Stéphane Gaubert and Xavier Allamigeon).

Cormac Walsh
:
 “Workshop on Ordered Vector Spaces and Positive Operators”, Wuppertal, Germany, 29 March–1 April 2023. Talk: “Order and metric structures on cones”.
11.1.5 Research administration
Inria research administration
 Marianne Akian : Elected member of Inria's Scientific Board.
 Matìas Bender : Member of the scientific committee of INRIA Saclay.
Other research administration
 Marianne Akian : “Secrétaire Générale” of SMAI since July 2023.
11.2 Teaching  Supervision  Juries
11.2.1 Teaching

Marianne Akian
 Course “Markov decision processes: dynamic programming and applications” joint between (3rd year of) ENSTA and M2 “Mathématiques et Applications”, U. Paris Saclay, “Optimization”, 30 hours.

Xavier Allamigeon
 Petites classes et encadrement d'enseignements d'approfondissement de Recherche Opérationnelle en troisième année à l'École Polytechnique (programme d'approfondissement de Mathématiques Appliquées) (niveau M1).
 Cours “Theoretical Aspects of Linear Programming” du M2 “Optimisation” de l'Université Paris Saclay.
 Coresponsabilité du programme d'approfondissement en mathématiques appliquées (troisième année) à l'École Polytechnique (jusqu'à septembre 2023).

Matìas Bender
 Exercises classes for the second year of Bachelor program of Ecole polytechnique in the framework of a “Chargé d'ensegnement”.
 Course “Computational commutative algebra” at the CIMPA summer school Algebraic and Tropical Methods for Solving Differential Equations, Oaxaca, Mexico.

Antoine Béreau
 Exercises classes for the first year of Bachelor program of Ecole polytechnique in the framework of a “Monitorat”.

Amanda Bigel
 Exercises classes for the first year of Bachelor program of Ecole polytechnique in the framework of a “Monitorat”.

Stéphane Gaubert
 Cohead of the Master “Optimization” of University ParisSaclay and IPP.
 Course “Systèmes à Événements Discrets”, option MAREVA, ENSMP.
 Course “Algèbre tropicale pour le contrôle optimal et les jeux” of “Contrôle, Optimisation et Calcul des Variations” (COCV) of M2 “Mathématiques et Applications” of Sorbonne University and École Polytechnique.
 Lecture of Operations Research, third year of École Polytechnique. The lectures notes were published as a book 61.

Shanqing Liu
 Exercises classes for the first year of Bachelor program of Ecole polytechnique in the framework of a “Monitorat”.

Nicolas Vandame
 Exercises classes for the first year of Bachelor program of Ecole polytechnique in the framework of a “Monitorat”.
11.2.2 Supervision
 Matìas Bender directed the M2 thesis of Tom Baumbach at the Technische Universität Berlin.
 PhD: Quentin Jacquet, registered at IPP (EDMH) since November 2020, thesis supervisor, Stéphane Gaubert , cosupervised by Clémence Alasseur and Wim van Ackooij. The defense took place on October 24, 2023.
 PhD: Shanqing Liu, registered at IPP (EDMH) since September 2020, thesis supervisor, Marianne Akian , cosupervised by Stéphane Gaubert . The defense took place on December 22, 2023.
 PhD in progress: Quentin Canu, registered at Univ. Paris Saclay since October 2020, thesis supervisor: Georges Gonthier (INRIA), cosupervision: Xavier Allamigeon and PierreYves Strub (LIX).
 PhD in progress: Antoine Bereau, registered at IPP (EDMH) since September 2021. Thesis supervisor: Stéphane Gaubert, cosupervision: Marianne Akian.
 PhD in progress: Nicolas Vandame, registered at IPP (EDMH) since September 2021, thesis supervisor: Stéphane Gaubert, cosupervision: Xavier Allamigeon.
 PhD in progress: Amanda Bigel, registered at IPP (EDMH) since September 2022, main thesis supervisors: Cormac Walsh et Constantin Vernicos, thesis supervisor: Stéphane Gaubert.
 PhD in progress: Loic Marchesini, registered at IPP (EDMH), since September 2023. Thesis supervisor Marianne Akian , cosupervised by Stéphane Gaubert .
 PhD in progress: Pascal Capetillo, registered at IPP (EDMH), since November 2023. Thesis supervisor: Stéphane Gaubert, cosupervision: Xavier Allamigeon.
 PhD in progress: Jonathan Hornewall, registered at Marnelavallée, ENPC (maths and STIC), since November 2023. Thesis supervisor: Vincent Leclere, cosupervision: Stéphane Gaubert.
11.2.3 Juries

Marianne Akian
 Jury (and reviewer) of the HDR of Vincent Leclere, Ecole des Ponts ParisTech, April 17, 2023.
 Jury of the PhD thesis of Christina Katsamaki, Sorbonne Univerity, June 21, 2023.
 Jury of the PhD thesis of Manh Hung LE, Université de Limoges, Dec. 20, 2023.
 Jury of the PhD thesis of Shanqing Liu, Ecole polytechnique, Dec. 22, 2023.

Stéphane Gaubert
 Member of the HCERES visiting committee of CEREMADE, October 2023.
 Member of “Comité de Sélection” (MdC, Optimization) at Nice, Spring 2023.
 Jury of the PhD thesis of Quentin Jacquet, Ecole polytechnique, October 24, 2023.
 Jury the PhD thesis of Francisco Venegas, University of Chile, July 2023.
11.2.4 Communications at conferences and seminars

Marianne Akian
 Minisymposium “Équations d’HamiltonJacobiBellman et de jeux à champ moyen” à SMAI 2023, May 2226, 2023, Le Gosier en Guadeloupe. Exposé: “A multilevel fastmarching method for the minimum time problem” (travail avec Stéphane Gaubert et Shanqing Liu).
 13th ISDG Workshop, June 79, 2023, Naples, Italy, Session “Numerics and Theory for Differential Games, in Memory of Maurizio Falcone”, Talk : “Solving irreducible stochastic meanpayoff games and entropy games by relative KrasnoselskiiMann iteration”.
 17th International Conference on Reachability Problems (RP 2023). Talk : “Solving irreducible stochastic meanpayoff games and entropy games by relative KrasnoselskiiMann iteration”.

Antoine Béreau
:
 Journées nationales de calcul formel, Marseille, March 2023. Talk: “The Nullstellensatz and Positivstellensatz for Sparse Tropical Polynomial Systems”.
 Rencontres Doctorales Lebesgue 2023, Nantes, April 2023. Exposé: “Un tour d’horizon des mathématiques tropicales”.
 International Symposium on Symbolic and Algebraic Computation 2023, July 2427, 2023. Talk: “The Tropical Nullstenllensatz and Positivstellensatz for Sparse Polynomial Systems” (work with Marianne Akian and Stéphane Gaubert).

Stéphane Gaubert
:
 48TH International symposium on mathematical foundations of computer science (MFCS 2023). Talk : “Solving irreducible stochastic meanpayoff games and entropy games by relative KrasnoselskiiMann iteration”.
 Seminar of of the Dyogene INRIA Team, “Nonarchimedean convexity and applications”, April 2023.
 Seminar of the verification group at IRIF, “Entropy games”, May 2023.

Shanqing Liu
:
 IFAC World Congress 2023, Yokohama, Japan. Talk: “An Adaptive MultiLevel MaxPlus Method for Deterministic Optimal Control Problems”.
 PGMO days, Palaiseau, November 2023. Talk: “Semiconcave Dual Dynamic Programming and Its Application to Nbody Problems” (work with Marianne Akian, Stéphane Gaubert and Yang Qi).

Cormac Walsh
:
 “Positivity XI”, Ljubljana, Slovenia, 10–14 July 2023. Talk: “Hilbert geometries isometric to Banach spaces”.
12 Scientific production
12.1 Major publications
 1 articleNonarchimedean valuations of eigenvalues of matrix polynomials.Linear Algebra and its Applications498Also arXiv:1601.00438June 2016, 592627HALDOI
 2 articleTropical polyhedra are equivalent to mean payoff games.Internat. J. Algebra Comput.2212012, 1250001, 43URL: http://dx.doi.org/10.1142/S0218196711006674DOIback to textback to text
 3 articleUniqueness of the fixed point of nonexpansive semidifferentiable maps.Transactions of the American Mathematical Society3682Also arXiv:1201.1536February 2016HALDOIback to textback to textback to text
 4 articleThe maxplus Martin boundary.Doc. Math.142009, 195240back to text
 5 articleCombinatorial simplex algorithms can solve mean payoff games.SIAM J. Opt.2442015, 20962117
 6 articleWhat Tropical Geometry Tells Us about the Complexity of Linear Programming.SIAM Review631February 2021, 123164HALDOIback to textback to textback to text
 7 inproceedingsA scalable algebraic method to infer quadratic invariants of switched systems.Proceedings of the International Conference on Embedded Software (EMSOFT)Best paper award. The extended version of this conference article appeared in \em ACM Trans. Embed. Comput. Syst., 15(4):69:169:20, September 20162015back to textback to text
 8 articleDefinable zerosum stochastic games.Mathematics of Operations Research401Also arxiv1301.19672014, 171191URL: http://dx.doi.org/10.1287/moor.2014.0666DOIback to text
 9 articlePerronFrobenius theorem for nonnegative multilinear forms and extensions.Linear Algebra and its Applications43822013, 738749HALDOI
 10 articleDiscrete limit and monotonicity properties of the Floquet eigenvalue in an age structured cell division cycle model.J. Math. Biol.2015, URL: http://dx.doi.org/10.1007/s0028501508743DOIback to textback to text
 11 articleA maximin characterization of the escape rate of nonexpansive mappings in metrically convex spaces.Math. Proc. of Cambridge Phil. Soc.152https://arxiv.org/abs/1012.47652012, 341363URL: http://dx.doi.org/10.1017/S0305004111000673back to text
 12 incollectionThe horofunction boundary and isometry group of the Hilbert geometry.Handbook of Hilbert Geometry22IRMA Lectures in Mathematics and Theoretical PhysicsEuropean Mathematical Society2014HALback to text
12.2 Publications of the year
International journals
 13 articleTropical linear regression and mean payoff games: or, how to measure the distance to equilibria.SIAM Journal on Discrete Mathematics372May 2023, 632674HALDOIback to text
 14 articleSemiring systems arising from hyperrings.Journal of Pure and Applied Algebra2286June 2024, 107584HALDOIback to textback to text
 15 articleTropical Complementarity Problems and Nash Equilibria.SIAM Journal on Discrete Mathematics373August 2023, 16451665HALDOI
 16 articleQuadratic regularization of bilevel pricing problems and application to electricity retail markets.European Journal of Operational Research3133March 2024, 841857HALDOIback to textback to text
International peerreviewed conferences
 17 inproceedingsThe Tropical Nullstellensatz and Positivstellensatz for Sparse Polynomial Systems.ISSAC '23: Proceedings of the 2023 International Symposium on Symbolic and Algebraic ComputationISSAC 2023  International Symposium on Symbolic and Algebraic ComputationTromsø, NorwayACM2023HALDOIback to text
 18 inproceedingsAn Adaptive MultiLevel MaxPlus Method for Deterministic Optimal Control Problems.Proceedings of the 22nd IFAC World CongressIFAC World Congress 2023Yokohama, JapanJuly 2023HALback to text
 19 inproceedingsSolving Irreducible Stochastic MeanPayoff Games and Entropy Games by Relative KrasnoselskiiMann Iteration.MFCS 2023  48th International Symposium on Mathematical Foundations of Computer Science272Bordeaux, FranceSchloss Dagstuhl – LeibnizZentrum für InformatikAugust 2023HALDOIback to text
 20 inproceedingsA Formal Disproof of Hirsch Conjecture.Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and ProofsCPP 2023  12th ACM SIGPLAN International Conference on Certified Programs and ProofsBoston, United StatesACMJanuary 2023, 1729HALDOIback to text
 21 inproceedingsA Quantization Procedure for Nonlinear Pricing with an Application to Electricity Markets.Proceedings of IEEE CDC 202362nd IEEE Conference on Decision and ControlSingapore (SG), SingaporeDecember 2023HALback to text
Reports & preprints
 22 miscSigned tropicalization of polar cones.December 2023HALback to text
 23 miscThe Nullstellensatz and Positivstellensatz for Sparse Tropical Polynomial Systems.December 2023HALback to text
 24 miscA MultiLevel FastMarching Method For The Minimum Time Problem.March 2023HALback to text
 25 miscLinear algebra over Tpairs.October 2023HALback to text
 26 miscFactorization of polynomials over the symmetrized tropical semiring and Descartes' rule of sign over ordered valued fields.January 2023HALback to text
 27 miscAmbitropical geometry, hyperconvexity and zerosum games.July 2023HALback to text
 28 miscA RankBased Reward between a Principal and a Field of Agents: Application to Energy Savings.July 2023HALback to text
 29 miscDesign patterns of hierarchies for order structures.February 2023HALback to text
 30 miscDimension results for extremalgeneric polynomial systems over complete toric varieties.May 2023HALback to text
 31 miscAnalysis of the vanishing discount limit for optimal control problems in continuous and discrete time.June 2023HAL
 32 miscVolume growth of Funk geometry and the flags of polytopes.June 2023HALback to text
 33 miscBitcomplexity estimates in geometric programming, and application to the polynomialtime computation of the spectral radius of nonnegative tensors.January 2023HAL
 34 miscOn the minimal algebraic complexity of the rankone approximation problem for general inner products.September 2023HALback to text
12.3 Cited publications
 35 inproceedingsTropical numerical methods for solving stochastic control problems.MTNS 2022  25th International Symposium on Mathematical Theory of Networks and SystemsBayreuth (DE), GermanySeptember 2022HALback to text
 36 miscTropical Dynamic Programming for Lipschitz Multistage Stochastic Programming.December 2020HALback to text
 37 articleThe operator approach to entropy games.Theory of Computing Systemshttps://arxiv.org/abs/1904.051512019HALDOIback to text
 38 articleGeneric uniqueness of the bias vector of finite stochastic games with perfect information.Journal of Mathematical Analysis and Applications457https://arxiv.org/abs/1610.096512018, 10381064HALDOIback to text
 39 articleThe maxplus finite element method for solving deterministic optimal control problems: basic properties and convergence analysis.SIAM J. Control Optim.4722008, 817848URL: http://www.arxiv.org/abs/math.OC/0603619DOIback to text
 40 articleLogmajorization of the moduli of the eigenvalues of a matrix polynomial by tropical roots.Linear Algebra and its ApplicationsAlso arXiv:1304.29672017HALDOIback to text
 41 articleSpectral theorem for convex monotone homogeneous maps, and ergodic control.Nonlinear Anal.5222003, 637679URL: http://dx.doi.org/10.1016/S0362546X(02)001700DOIback to text
 42 miscThe tropicalization of the entropic barrier.2020HALback to text
 43 articleLogbarrier interior point methods are not strongly polynomial.SIAM Journal on Applied Algebra and Geometry21https://arxiv.org/abs/1708.01544  This paper supersedes arXiv:1405.4161. 31 pages, 5 figures, 1 table2018, 140178HALDOIback to textback to textback to text
 44 inproceedingsThe tropical shadowvertex algorithm solves mean payoff games in polynomial time on average.ICALP 2014857241st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 811, 2014, Proceedings, Part ICopenhagen, FranceSpringer2014, 12HALDOIback to text
 45 inproceedingsPerformance evaluation of an emergency call center: tropical polynomial systems applied to timed Petri nets.13th International Conference, Formal Modeling and Analysis of Timed Systems (FORMATS 2015)9268Formal Modeling and Analysis of Timed SystemsMadrid, SpainSpringer2015HALDOIback to textback to textback to text
 46 articleStationary solutions of discrete and continuous Petri nets with priorities.Performance Evaluation113https://arxiv.org/abs/1612.076612017, 1  12HALDOIback to text
 47 inproceedingsComputing Transience Bounds of Emergency Call Centers: a Hierarchical Timed Petri Net Approach.PETRI NETS 2022: Application and Theory of Petri Nets and Concurrency13288PETRI NETS 2022: Application and Theory of Petri Nets and Concurrency, Springer Lecture Notes in Computer SciencesBergen, NorwaySpringer2022, 90112HALDOIback to text
 48 articlePiecewise Affine Dynamical Models of Timed Petri Nets  Application to Emergency Call Centers.Fundamenta Informaticae183342021, 169201HALback to text
 49 inproceedingsInterior point methods are not worse than Simplex.2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS)Denver, United StatesIEEEOctober 2022, 267277HALDOIback to text
 50 articleComputing the Vertices of Tropical Polyhedra using Directed Hypergraphs.Discrete and Computational Geometry4922013, 247279URL: http://hal.inria.fr/hal00782862DOIback to text
 51 incollectionInferring Min and Max Invariants Using Maxplus Polyhedra.Proceedings of the 15th International Static Analysis Symposium (SAS'08)5079LNCSValencia, SpainSpringer2008, 189204URL: http://dx.doi.org/10.1007/9783540691662_13back to textback to text
 52 miscTropical complementarity problems and Nash equilibria.v3, Nov. 2022, to appear in SIAM Disc. Math.2020HALback to text
 53 articleSolving generic nonarchimedean semidefinite programs using stochastic game algorithms.Journal of Symbolic Computation85An abridged version of this article appeared in the proceedings of ISSAC 20162018, 2554HALDOIback to text
 54 articleTropical spectrahedra.Discrete and Computational Geometry63February 2020, 507–548HALDOIback to textback to textback to text
 55 inproceedingsNo selfconcordant barrier interior point method is strongly polynomial.STOC '22: 54th Annual ACM SIGACT Symposium on Theory of ComputingRome Italy, FranceACMJune 2022, 515528HALDOIback to text
 56 inproceedingsEntropy Games and Matrix Multiplication Games.Proceedings of the 33rd International Symposium on Theoretical Aspects of Computer Science (STACS)47LIPIcs. Leibniz Int. Proc. Inform.WadernSchloss DagstuhlLeibnizZentrum für Informatik2016, 11:111:14back to text
 57 bookSynchronization and linearity: an algebra for discrete event systems.Wiley1992back to textback to textback to textback to textback to textback to text
 58 articleDescartes' rule of signs, Newton polygons, and polynomials over hyperfields.J. Algebra5692021, 416441URL: https://doi.org/10.1016/j.jalgebra.2020.10.024DOIback to text
 59 articleConcentration in LotkaVolterra parabolic or integral equations: a general convergence result.Methods Appl. Anal.1632009, 321340URL: http://dx.doi.org/10.4310/MAA.2009.v16.n3.a4DOIback to text
 60 articleA Stochastic Analysis of a Network with Two Levels of Service.Queueing Systems9234https://arxiv.org/abs/1708.095902019, 30HALDOIback to text
 61 bookRecherche opérationnelle. Aspects mathématiques et applications.Ellipse2016, 391HALback to text
 62 phdthesisPiecewise affine dynamical systems applied to the performance evaluation of emergency call centers.Ecole polytechnique2022, URL: http://www.cmapx.polytechnique.fr/~marin.boyet/These_MB.pdfback to textback to text
 63 articleMaxalgebra: the linear algebra of combinatorics?Linear Algebra and its applications3672003, 313335back to text
 64 bookMaxlinear systems: theory and algorithms.Springer Monographs in MathematicsSpringerVerlag London, Ltd., London2010, xviii+272URL: http://dx.doi.org/10.1007/9781849962995DOIback to textback to text
 65 inproceedingsNumerical computation of spectral elements in maxplus algebra.Proc. of the IFAC Conference on System Structure and ControlNantes1998back to text
 66 articleMaxplus algebra and system theory: where we are and where to go now.Annual Reviews in Control231999, 207219back to text
 67 articleGeometry of the arithmetic site.Adv. Math.2912016, 274329back to text
 68 articleAbstract Interpretation: A unified lattice model for static analysis of programs by construction of approximations of fixed points.Principles of Programming Languages 41977, 238252back to textback to text
 69 incollectionHighway hierarchies star.The shortest path problem74DIMACS Ser. Discrete Math. Theoret. Comput. Sci.Amer. Math. Soc., Providence, RI2009, 141174back to text

70
articleExistence of
${C}^{1}$ critical subsolutions of the HamiltonJacobi equation.Invent. Math.15522004, 363388URL: http://dx.doi.org/10.1007/s0022200303236DOIback to text  71 articleErgodic control and polyhedral approaches to PageRank optimization.IEEE Trans. Automat. Control5812013, 134148URL: http://dx.doi.org/10.1109/TAC.2012.2226103DOIback to text
 72 articleA maxplus based algorithm for an HJB equation of nonlinear filtering.SIAM J. Control and Opt.2000, 683710back to text
 73 articleCluster algebras. I. Foundations.J. Amer. Math. Soc.1522002, 497529URL: http://arxiv.org/abs/math.RT/0104151back to text
 74 inproceedingsStatic Analysis by Policy Iteration in Relational Domains.Proceedings of the Proc. of the 16th European Symposium on Programming (ESOP'07)4421LNCSBraga (Portugal)Springer2007, 237252URL: http://dx.doi.org/10.1007/9783540713166_17DOIback to text
 75 inproceedingsCurse of dimensionality reduction in maxplus based approximation methods: theoretical estimates and improved pruning algorithms.Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference (CDCECC 11)Orlando, FL, USA2011, 10541061URL: http://arxiv.org/abs/1109.5241back to text
 76 incollectionTropical scaling of polynomial matrices.Positive systems389Lecture Notes in Control and Inform. Sci.BerlinSpringer2009, 291303URL: http://dx.doi.org/10.1007/9783642028946_28back to text
 77 articleAbstract interpretation meets convex optimization.J. Symbolic Comput.4712Special issue on Invariant generation and reasoning about loops2012, 14161446URL: http://dx.doi.org/10.1016/j.jsc.2011.12.048DOIback to text
 78 bookDiscriminants, resultants and multidimensional determinants.Modern Birkhäuser ClassicsReprint of the 1994 editionBirkhäuser Boston, Inc., Boston, MA2008, x+523back to text
 79 unpublishedHorofunction Compactifications of Symmetric Spaces.2018, https://arxiv.org/abs/1705.05026  working paper or preprintHALback to text
 80 articleAn algorithm for the complete solution of quadratic eigenvalue problems.ACM Trans. Math. Software3932013, Art. 18, 19URL: http://dx.doi.org/10.1145/2450153.2450156DOIback to text
 81 bookMax Plus at Work: Modeling and Analysis of Synchronized Systems: A Course on MaxPlus Algebra and Its Applications.Princeton2005back to text
 82 articleRepresentation formulas for solutions of HamiltonJacobi equations with convex Hamiltonians.Indiana Univ. Math. J.5652007, 21592183URL: http://dx.doi.org/10.1512/iumj.2007.56.3048DOIback to text
 83 bookTropical algebraic geometry.35Oberwolfach SeminarsBaselBirkhäuser Verlag2007, viii+103back to text
 84 inproceedingsErgodic control of a heterogeneous population and application to electricity pricing.IEEE CDC 2022Cancun, MexicoDecember 2022HALback to text
 85 phdthesisStackelberg games, optimal pricing and application to electricity markets.Institut Polytechnique de ParisOctober 2023HALback to text
 86 bookIdempotent analysis and applications.Kluwer Acad. Publisher1997back to text
 87 inproceedingsSarsop: Efficient pointbased pomdp planning by approximating optimally reachable belief spaces..Robotics: Science and systems2008Zurich, Switzerland.2008back to text
 88 bookNonlinear PerronFrobenius theory.189Cambridge Tracts in MathematicsCambridge University Press, Cambridge2012, xii+323URL: http://dx.doi.org/10.1017/CBO9781139026079DOIback to text
 89 phdthesisHighway Hierarchies for HJB Equations.Ecole polytechniqueDecember 2023back to text
 90 articleReachability Analysis for Timed Automata using MaxPlus Algebra.J. Logic Alg. Prog.8132012, 298313back to text
 91 bookMéthodes Operatorielles.MoscouEdition Mir1987back to textback to text
 92 articleA curseofdimensionalityfree numerical method for solution of certain HJB PDEs.SIAM J. Control Optim.4642007, 12391276URL: http://dx.doi.org/10.1137/040610830DOIback to textback to text
 93 inproceedingsCurseofComplexity Attenuation in the CurseofDimensionalityFree Method for HJB PDEs.Proc. of the 2008 American Control ConferenceSeattle, Washington, USA2008back to text
 94 bookMaxplus methods for nonlinear control and estimation.Systems & Control: Foundations & ApplicationsBoston, MABirkhäuser Boston Inc.2006, xiv+241back to text
 95 bookRepeated Games.Cambridge2015back to text

96
articleEnumerative tropical algebraic geometry in
${}^{2}$ .J. Amer. Math. Soc.1822005, 313377URL: http://dx.doi.org/10.1090/S0894034705004777DOIback to text  97 articleScheduling with AND/OR precedence constraints.SIAM J. Comput.3322004, 393415URL: http://dx.doi.org/10.1137/S009753970037727XDOIback to text
 98 bookMetric spaces, convexity and nonpositive curvature.6IRMA Lectures in Mathematics and Theoretical PhysicsEuropean Mathematical Society (EMS), Zürich2014, xii+309URL: http://dx.doi.org/10.4171/132DOIback to text
 99 articleMultistage stochastic optimization applied to energy planning.Math. Programming522, Ser. B1991, 359375URL: http://dx.doi.org/10.1007/BF01582895DOIback to text
 100 incollectionTropical Semirings.Idempotency11Publications of the Isaac Newton InstituteCambridge University Press1998, 50–69back to text
 101 inproceedingsPointbased value iteration: An anytime algorithm for POMDPs.IJCAI32003, 10251032back to text
 102 inproceedingsLinear systems in (max,+) algebra.Proceedings of the 29th IEEE Conference on Decision and ControlIEEE1990, 151156back to textback to text
 103 phdthesisThéorie de PerronFrobenius non linéaire et méthodes numériques maxplus pour la résolution d'équations d'HamiltonJacobi.Ecole Polytechnique X2013, URL: http://hal.inria.fr/pastel00927122back to text
 104 articleHilbert's projective metric in quantum information theory.J. Math. Phys.5282011, 082201, 33URL: http://dx.doi.org/10.1063/1.3615729DOIback to text
 105 incollectionFirst steps in tropical geometry.Idempotent mathematics and mathematical physics377Contemp. Math.Providence, RIAmer. Math. Soc.2005, 289317back to text
 106 incollectionOptimal monitoring on large networks by Successive cOptimal Designs.Proceedings of the 22nd international teletraffic congress (ITC22), Amsterdam, The Netherlands, Septemberhttp://dx.doi.org/10.1109/ITC.2010.5608717IEEE2010back to text
 107 articleEngineering highway hierarchies.ACM J. Exp. Algorithmics172012, Article 1.6, 40URL: https://doi.org/10.1145/2133803.2330080DOIback to text
 108 inproceedingsScalable Analysis of Linear Systems using Mathematical Programming.VMCAI3385LNCS2005back to text
 109 inproceedingsConsensus in noncommutative spaces.Proceedings of the 49th IEEE Conference on Decision and ControlAtlanta, USA2010, 65966601URL: http://dx.doi.org/10.1109/CDC.2010.5717072back to text
 110 articleA survey of pointbased POMDP solvers.Autonomous Agents and MultiAgent Systems2712013, 151back to text
 111 inproceedingsLimited subsets of a free monoid.Proc. 19th Annual Symposium on Foundations of Computer SciencePiscataway, NJ1978, 143150back to text
 112 bookMonotone dynamical systems.41Mathematical Surveys and MonographsAn introduction to the theory of competitive and cooperative systemsAmerican Mathematical Society, Providence, RI1995, x+174back to text
 113 phdthesisProgrammation dynamique tropicale en optimisation stochastique multiétapes.Université ParisEst2020HALback to text
 114 articleProductMix Auctions and Tropical Geometry.Math. O.R.444arXiv:1505.057372019, 13961411back to text
 115 incollectionDequantization of real algebraic geometry on logarithmic paper.European Congress of Mathematics, Vol. I (Barcelona, 2000)201Progr. Math.BaselBirkhäuser2001, 135146back to textback to textback to text