Results 1  10
of
36
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 72 (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.
Maxplus convex geometry
 of Lecture Notes in Comput. Sci
, 2006
"... Abstract. Maxplus analogues of linear spaces, convex sets, and polyhedra have appeared in several works. We survey their main geometrical properties, including maxplus versions of the separation theorem, existence of linear and nonlinear projectors, maxplus analogues of the MinkowskiWeyl theore ..."
Abstract

Cited by 8 (6 self)
 Add to MetaCart
Abstract. Maxplus analogues of linear spaces, convex sets, and polyhedra have appeared in several works. We survey their main geometrical properties, including maxplus versions of the separation theorem, existence of linear and nonlinear projectors, maxplus analogues of the MinkowskiWeyl theorem, and the characterization of the analogues of “simplicial ” cones in terms of distributive lattices. 1