Related papers: A-Tint: A polymake extension for algorithmic tropi…
We develop a tropical intersection formalism of forms and currents that extends classical tropical intersection theory in two ways. First, it allows to work with arbitrary polytopes, also non-rational ones. Second, it allows for smooth…
In this paper we use the connections between tropical algebraic geometry and rigid analytic geometry in order to prove two main results. We use tropical methods to prove a theorem about the Newton polygon for convergent power series in…
We report on a recent implementation of patchworking and real tropical hypersurfaces in $\texttt{polymake}$. As a new mathematical contribution we provide a census of Betti numbers of real tropical surfaces.
We introduce the notion of tropical area of a tropical curve defined in an open subset of $\mathbb R^n$. We prove that the number of vertices of a tropical curve is bounded by the area of the curve. The approach is totally elementary yet…
Given a tropical divisor $D$ in the intersection of two tropical plane curves, we study when it can be realized as the tropicalization of the intersection of two algebraic curves, and give a sufficient condition. We show that under a…
Tropical algebraic geometry is the geometry of the tropical semiring $(\mathbb{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…
We consider optimization problems that are formulated and solved in the framework of tropical mathematics. The problems consist in minimizing or maximizing functionals defined on vectors of finite-dimensional semimodules over idempotent…
Numerical equivalence of algebraic cycles is defined abstractly by intersection numbers. Classically, for smooth complex proper toric varieties, the quotients by numerical equivalence with rational coefficients can be described…
In this paper we construct a tropical moduli space parametrizing roots of divisors on tropical curves. We study the relation between this space and the skeleton of Jarvis moduli space of nets of limit roots on stable curves. We show that…
We introduce a sheaf-theoretic approach to tropical homology, especially for tropical homology with potentially non-compact supports. Our setup is suited to study the functorial properties of tropical homology, and we show that it behaves…
Using tropical geometry one can translate problems in enumerative geometry to combinatorial problems. Thus tropical geometry is a powerful tool in enumerative geometry over the complex and real numbers. Results from $\mathbb{A}^1$-homotopy…
For a complex hypersurface of dimension $d \geq 1$ in a toric variety, we construct lifts of tropical $(p, q)$-cycles with $p+q=d$ in the associated tropical hypersurface. The tropical cycles we consider are described by Minkowski weights,…
An algorithm is designed which decomposes a tropical univariate rational function into a composition of tropical binomials and trinomials. When a function is monotone, the composition consists just of binomials. Similar algorithms are…
We develop a tropical analog of the simplex algorithm for linear programming. In particular, we obtain a combinatorial algorithm to perform one tropical pivoting step, including the computation of reduced costs, in O(n(m+n)) time, where m…
We show how to equip the cone complexes of toroidal embeddings with additional structure that allows to define a balancing condition for weighted subcomplexes. We then proceed to develop the foundations of an intersection theory on cone…
A tropical complete intersection curve C in R^(n+1) is a transversal intersection of n smooth tropical hypersurfaces. We give a formula for the number of vertices of C given by the degrees of the tropical hypersurfaces. We also compute the…
The mathematical software system polymake provides a wide range of functions for convex polytopes, simplicial complexes, and other objects. A large part of this paper is dedicated to a tutorial which exemplifies the usage. Later sections…
The tropical convex hull of a finite set of points in tropical projective space has a natural structure of a cellular free resolution. Therefore, methods from computational commutative algebra can be used to compute tropical convex hulls.…
We describe the implementation of a subfield of the field of formal Puiseux series in polymake. This is employed for solving linear programs and computing convex hulls depending on a real parameter. Moreover, this approach is also useful…
In this paper we develop a combinatorial abstraction of tropical linear programming. This generalizes the search for a feasible point of a system of min-plus-inequalities. It is based on the polyhedral properties of triangulations of the…