Related papers: Enumerating Polytropes
Tropical varieties capture combinatorial information about how coordinates of points in a classical variety approach zero or infinity. We present algorithms for computing the rays of a complex and real tropical curve defined by polynomials…
We establish first parts of a tropical intersection theory. Namely, we define cycles, Cartier divisors and intersection products between these two (without passing to rational equivalence) and discuss push-forward and pull-back. We do this…
Exploiting a connection between amoebas and tropical curves, we devise a method for computing tropical curves using numerical algebraic geometry and give an implementation. As an application, we use this technique to compute Newton polygons…
We investigate the tree gonality of a genus-$g$ metric graph, defined as the minimum degree of a tropical morphism from any tropical modification of the metric graph to a metric tree. We give a combinatorial constructive proof that this…
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…
Many important problems in extremal combinatorics can be stated as certifying polynomial inequalities in graph homomorphism numbers, and in particular, many ask to certify pure binomial inequalities. For a fixed collection of graphs…
The real intersection cohomology of a toric variety is described in a purely combinatorial way using methods of elementary commutative algebra only. We define, for arbitrary fans, the notion of a ``minimal extension sheaf'' on the fan as an…
Let $g_1, ..., g_k$ be tropical polynomials in $n$ variables with Newton polytopes $P_1, ..., P_k$. We study combinatorial questions on the intersection of the tropical hypersurfaces defined by $g_1, ..., g_k$, such as the $f$-vector, the…
We present recursive formulas giving the maximal number of leaves in tree-like polyforms living in two-dimensional regular lattices and in tree-like polycubes in the three-dimensional cubic lattice. We call these tree-like polyforms and…
Every generic linear functional $f$ on a convex polytope $P$ induces an orientation on the graph of $P$. From the resulting directed graph one can define a notion of $f$-arborescence and $f$-monotone path on $P$, as well as a natural graph…
We consider the question of when points in tropical affine space uniquely determine a tropical hypersurface. We introduce a notion of multiplicity of points so that this question may be meaningful even if some of the points coincide. We…
Given n polynomials in n variables with a finite number of complex roots, for any of their roots there is a local residue operator assigning a complex number to any polynomial. This is an algebraic, but generally not rational, function of…
We consider tropical hemispaces, defined as tropically convex sets whose complements are also tropically convex, and tropical semispaces, defined as maximal tropically convex sets not containing a given point. We introduce the concept of…
In dimension 4, we extend the correspondence between compact nonsingular toric varieties and regular fans to a correspondence between almost complex torus manifolds and families of multi-fans in a geometric way, where an (almost) complex…
The asymmetric tropical distance is a distance measure on the tropical torus $\mathbb{R}^n/\mathbb{R}\mathbf{1}$ and in particular on the Bergman fan $B(K_N) \subseteq \mathbb{R}^{\binom{N}{2}}/\mathbb{R}\mathbf{1}$ of the complete…
We consider the task of reconstructing polytopes with fixed facet directions from finitely many support function evaluations. We show that for a fixed simplicial normal fan the least-squares estimate is given by a convex quadratic program.…
Square-tiled surfaces can be classified by their number of squares and their cylinder diagrams (also called realizable separatrix diagrams). For the case of $n$ squares and two cone points with angle $4 \pi$ each, we set up and parametrize…
The notion of geometric construction is introduced. This notion allows to compare incidence configurations in the algebraic and tropical plane. We provide an algorithm such that, given a tropical instance of a geometric construction, it…
We provide some new local obstructions to approximating tropical curves in smooth tropical surfaces. These obstructions are based on the relation between tropical and complex intersection theories which is also established here. We give two…
Tropical implicitization means computing the tropicalization of a unirational variety from its parametrization. In the case of a hypersurface, this amounts to finding the Newton polytope of the implicit equation, without computing its…