Moduloi¨ds and pseudomodules 1.: dimension theory
Discrete Mathematics
Lectures on Discrete Geometry
Methods and Applications of (MAX, +) Linear Algebra
STACS '97 Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science
Tropical convexity via cellular resolutions
Journal of Algebraic Combinatorics: An International Journal
Inferring Min and Max Invariants Using Max-Plus Polyhedra
SAS '08 Proceedings of the 15th international symposium on Static Analysis
Carathéodory, Helly and the Others in the Max-Plus World
Discrete & Computational Geometry
Minimal half-spaces and external representation of tropical polyhedra
Journal of Algebraic Combinatorics: An International Journal
Tropical linear-fractional programming and parametric mean payoff games
Journal of Symbolic Computation
Minimal external representations of tropical polyhedra
Journal of Combinatorial Theory Series A
Hi-index | 0.00 |
The celebrated upper bound theorem of McMullen determines the maximal number of extreme points of a polyhedron in terms of its dimension and the number of constraints which define it, showing that the maximum is attained by the polar of the cyclic polytope. We show that the same bound is valid in the tropical setting, up to a trivial modification. Then, we study the tropical analogues of the polars of a family of cyclic polytopes equipped with a sign pattern. We construct bijections between the extreme points of these polars and lattice paths depending on the sign pattern, from which we deduce explicit bounds for the number of extreme points, showing in particular that the upper bound is asymptotically tight as the dimension tends to infinity, keeping the number of constraints fixed. When transposed to the classical case, the previous constructions yield some lattice path generalizations of Gale's evenness criterion.