Related papers: Tropical rational equivalence on R^r
In this article, we introduce an exponential for tropical matrices and show that this series is essential for the analysis of certain kinds of stability in discrete event dynamic systems. A notion of a generalised eigenvector is introduced…
We verify a confluence result for the rewriting calculus of the linear category introduced in our previous paper. Together with the termination result proved therein, the generalized coherence theorem for linear category is established.…
We investigate the new, Turing-complete class of layered systems, whose lefthand sides of rules can only be overlapped at a multiset of disjoint or equal positions. Layered systems define a natural notion of rank for terms: the maximal…
We study the question of the continuity of slices of currents and explain how it relates to several seemingly unrelated problems in tropical geometry. On the one hand, through this lens, we show that the continuity of superpotentials…
When a tropical rational function \varphi on R^n is given, we can represent it as \varphi=f-g with tropical polynomials f and g. We develop the duality theorem for tropical rational functions to define the volume of the pair (f, g). We show…
Tropical polyhedra have been recently used to represent disjunctive invariants in static analysis. To handle larger instances, tropical analogues of classical linear programming results need to be developed. This motivation leads us to…
The correspondence between right triangles with rational sides, triplets of rational squares in arithmetic succession and integral solutions of certain quadratic forms is well known. We show how this correspondence can be extended to the…
We prove a Poincar\'e duality for the Chow rings of smooth fans whose support are tropical linear spaces. As a consequence, we show that cycles and cocycles on tropical manifolds are Poincar\'e dual to each other. This allows us to define…
Program equivalence is the fulcrum for reasoning about and proving properties of programs. For noninterference, for example, program equivalence up to the secrecy level of an observer is shown. A powerful enabler for such proofs are logical…
In this paper, the tropical Nevanlinna theory is extended for piecewise polynomial continuous functions. By constructing the $n$-th Poisson-Jensen formula, the $n$-th tropical counting, proximity, and characteristic functions are…
We prove that torsion codimension 2 algebraic cycles modulo rational equivalence on supersingular abelian varieties are algebraically equivalent to zero. As a consequence, we prove that homological equivalence coincides with algebraic…
Complex algebraic varieties become easy piecewise-linear objects after passing to the so-called tropical limit. Geometry of these limiting objects is known as tropical geometry. In this short survey we take a look at motivation and…
We present a simple and elementary procedure to sketch the tropical conic given by a degree--two homogeneous tropical polynomial. These conics are trees of a very particular kind. Given such a tree, we explain how to compute a defining…
Process equivalences are formal methods that relate programs and system which, informally, behave in the same way. Since there is no unique notion of what it means for two dynamic systems to display the same behaviour there are a multitude…
In classical geometry, a linear space is a space that is closed under linear combinations. In tropical geometry, it has long been a consensus that tropical varieties defined by valuated matroids are the tropical analogue of linear spaces.…
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 prove a refinement of the Fatou-Shishikura Inequality - that the total count of nonrepelling cycles of a rational map is less than or equal to the number of independent infinite forward critical orbits - from a suitable application of…
We prove that an injective $\boldsymbol{T}$-algebra homomorphism between the rational function semifields of two tropical curves induces a surjective morphism between those tropical curves, where $\boldsymbol{T}$ is the tropical semifield…
We define a formal framework for the study of algebras of type Max-plus, Min-Plus, tropical algebras, and more generally algebras over a commutative idempotent semi-field. This work is motivated by the increasingly diversified use of these…
The main aim of this paper is to show the interconnections between {\L}ukasiewicz logic and algebraic geometry using algebraic, geometric and logical instruments. We continue our investigation into a new algebraic geometry based on…