Related papers: Tropical rational equivalence on R^r
A tropical matrix is a matrix defined over the max-plus semiring. For such matrices, there exist several non-coinciding notions of rank: the row rank, the column rank, the Schein/Barvinok rank, the Kapranov rank, or the tropical rank, among…
We prove the compatibility of pushforward along a proper morphism of an \'{e}tale constructible sheaf and the pushforward of its characteristic cycle up to $p$-torsion. This was conjectured by Takeshi Saito. For this, we revisit the…
We investigate, using purely combinatorial methods, structural and algorithmic properties of linear equivalence classes of divisors on tropical curves. In particular, an elementary proof of the Riemann-Roch theorem for tropical curves,…
We prove an analogue of Clifford's inequality for tropical curves. Next we focus on the hyperelliptic case and we characterize divisors attaining equality. Finally we speculate whether inequality in tropical Clifford's Theorem does imply…
We show that for the edge ideals of the graphs consisting of one cycle or two cycles of any length connected through a vertex or a path, the arithmetical rank equals the projective dimension.
We show that the number of rational points on the fibres of a proper morphism of smooth varieties over a finite field k whose generic fibre has a ``trival'' Chow group of zero cycles is congruent to 1 mod |k|. As a consequence we prove that…
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…
Let $k$ be an uncountable algebraically closed field of characteristic $0$, and let $X$ be a smooth projective connected variety of dimension $2p$, appropriately embedded into $\mathbb P^m$ over $k$. Let $Y$ be a hyperplane section of $X$,…
We study the intersection of tropical psi-classes on tropical heavy/light Hassett spaces, generalising a result of Kerber--Markwig for tropical moduli spaces of rational stable curves with distinct marked points. Our computation reveals…
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 demonstrate that the question whether or not a given postcritically finite topological ramified covering map of the 2-sphere is Thurston equivalent to a rational map is algorithmically decidable.
Let $F$ be the function field of a smooth, geometrically integral curve over a $p$-adic field with $p\neq 2.$ Let $G$ be a classical adjoint group of type $^1D_n$ defined over $F$. We show that $G(F) / R$ is trivial, where $R$ denotes {\it…
This is a foundational paper in tropical linear algebra, which is linear algebra over the min-plus semiring. We introduce and compare three natural definitions of the rank of a matrix, called the Barvinok rank, the Kapranov rank and the…
We study families of rational curves on an algebraic variety satisfying incidence conditions. We prove an analogue of bend-and-break: that is, we show that under suitable conditions, such a family must contain reducibles. In the case of…
To every rational complex curve $C \subset (\mathbf{C}^\times)^n$ we associate a rational tropical curve $\Gamma \subset \mathbf{R}^n$ so that the amoeba $\mathcal{A}(C) \subset \mathbf{R}^n$ of $C$ is within a bounded distance from…
In this paper, we survey and study definitions and properties of tropical polynomials, tropical rational functions and in general, tropical meromorphic functions, emphasizing practical techniques that can really carry out computations. For…
Counterfactual explanations, and their associated algorithmic recourse, are typically leveraged to understand, explain, and potentially alter a prediction coming from a black-box classifier. In this paper, we propose to extend the use of…
In this paper we develop cyclic proof systems for the problem of inclusion between the least sets of models of mutually recursive predicates, when the ground constraints in the inductive definitions belong to the quantifier-free fragments…
Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the safe omission of the occurs-check) and increased expressivity (cyclic terms can…
Tropical polyhedra seem to play a central role in static analysis of softwares. These tropical geometrical objects play also a central role in parity games especially mean payoff games and energy games. And determining if an initial state…