Results 1  10
of
37
First Steps in Tropical Geometry
 CONTEMPORARY MATHEMATICS
"... Tropical algebraic geometry is the geometry of the tropical semiring (R, min, +). Its objects are polyhedral cell complexes which behave like complex algebraic varieties. We give an introduction to this theory, with an emphasis on plane curves and linear spaces. New results include a complete descr ..."
Abstract

Cited by 71 (10 self)
 Add to MetaCart
Tropical algebraic geometry is the geometry of the tropical semiring (R, min, +). Its objects are polyhedral cell complexes which behave like complex algebraic varieties. We give an introduction to this theory, with an emphasis on plane curves and linear spaces. New results include a complete description of the families of quadrics through four points in the tropical projective plane and a counterexample to the incidence version of Pappus’ Theorem.
Duality and separation theorems in idempotent semimodules
 Linear Algebra and its Applications 379 (2004), 395–422. Also arXiv:math.FA/0212294
"... Abstract. We consider subsemimodules and convex subsets of semimodules over semirings with an idempotent addition. We introduce a nonlinear projection on subsemimodules: the projection of a point is the maximal approximation from below of the point in the subsemimodule. We use this projection to sep ..."
Abstract

Cited by 35 (19 self)
 Add to MetaCart
Abstract. We consider subsemimodules and convex subsets of semimodules over semirings with an idempotent addition. We introduce a nonlinear projection on subsemimodules: the projection of a point is the maximal approximation from below of the point in the subsemimodule. We use this projection to separate a point from a convex set. We also show that the projection minimizes the analogue of Hilbert’s projective metric. We develop more generally a theory of dual pairs for idempotent semimodules. We obtain as a corollary duality results between the row and column spaces of matrices with entries in idempotent semirings. We illustrate the results by showing polyhedra and halfspaces over the maxplus semiring. 1.
The Maslov Dequantization, Idempotent and Tropical Mathematics: a Very Brief Introduction
, 2005
"... ..."
The Minkowski Theorem for Maxplus Convex Sets
, 2006
"... We establish the following maxplus analogue of Minkowski’s theorem. Any point of a compact maxplus convex subset of (R ∪ {−∞}) n can be written as the maxplus convex combination of at most n + 1 of the extreme points of this subset. We establish related results for closed maxplus convex cones a ..."
Abstract

Cited by 22 (11 self)
 Add to MetaCart
We establish the following maxplus analogue of Minkowski’s theorem. Any point of a compact maxplus convex subset of (R ∪ {−∞}) n can be written as the maxplus convex combination of at most n + 1 of the extreme points of this subset. We establish related results for closed maxplus convex cones and closed unbounded maxplus convex sets. In particular, we show that a closed maxplus convex set can be decomposed as a maxplus sum of its recession cone and of the maxplus convex hull of its extreme points.
Inferring Min and Max Invariants Using Maxplus Polyhedra
"... Abstract. We introduce a new numerical abstract domain able to infer min and max invariants over the program variables, based on maxplus polyhedra. Our abstraction is more precise than octagons, and allows to express nonconvex properties without any disjunctive representations. We have defined sou ..."
Abstract

Cited by 13 (7 self)
 Add to MetaCart
Abstract. We introduce a new numerical abstract domain able to infer min and max invariants over the program variables, based on maxplus polyhedra. Our abstraction is more precise than octagons, and allows to express nonconvex properties without any disjunctive representations. We have defined sound abstract operators, evaluated their complexity, and implemented them in a static analyzer. It is able to automatically compute precise properties on numerical and memory manipulating programs such as algorithms on strings and arrays. 1
Factorization of polynomials in one variable over the tropical semiring. math.CO/0501167
, 2005
"... We show factorization of polynomials in one variable over the tropical semiring is in general NPcomplete, either if all coefficients are finite, or if all are either 0 or infinity (Boolean case). We give algorithms for the factorization problem which are not polynomial time in the degree, but are p ..."
Abstract

Cited by 12 (1 self)
 Add to MetaCart
We show factorization of polynomials in one variable over the tropical semiring is in general NPcomplete, either if all coefficients are finite, or if all are either 0 or infinity (Boolean case). We give algorithms for the factorization problem which are not polynomial time in the degree, but are polynomial time for polynomials of fixed degree. For twovariable polynomials we derive an irreducibility criterion which is almost always satisfied, even for fixed degree, and is polynomial time in the degree. We prove there are unique least common multiples of tropical polynomials, but not unique greatest common divisors. We show that if two polynomials in one variable have a common tropical factor, then their eliminant matrix is singular in the tropical sense. We prove the problem of determining tropical rank is NPhard. 1
Performance analysis of latencyinsensitive systems
 IEEE Trans. Comput.Aided Design Integr. Circuits Syst
, 2006
"... Abstract—This paper formally models and studies latencyinsensitive systems (LISs) through maxplus algebra. We introduce state traces to model behaviors of LISs and obtain a formally proved performance upper bound achievable by latencyinsensitive design. An implementation of the latencyinsensitive ..."
Abstract

Cited by 10 (0 self)
 Add to MetaCart
Abstract—This paper formally models and studies latencyinsensitive systems (LISs) through maxplus algebra. We introduce state traces to model behaviors of LISs and obtain a formally proved performance upper bound achievable by latencyinsensitive design. An implementation of the latencyinsensitive protocol that can provide robust communication through backpressure is also proposed. The intrinsic performance of the proposed implementation is acquired based on state traces. It is also proved that the proposed implementation can always reach the best performance achievable by latencyinsensitive design. Index Terms—Backpressure, latencyinsensitive system, maxplus algebra, performance analysis, state trace.
The number of extreme points of tropical polyhedra
, 2009
"... 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 ..."
Abstract

Cited by 8 (5 self)
 Add to MetaCart
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 natural candidates to be the maximizing polyhedra, which are 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.