Related papers: A specialization inequality for tropical complexes
We extend the notions of complete intersection dimension and lower complete intersection dimension to the category of complexes with finite homology and verify basic properties analogous to those holding for modules. We also discuss the…
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…
A Baker-type linear independece measure is obtained for the values of generalized Heine series at non-zero points of an imaginary quadratic number field. This kind of estimate depends on the individual coefficients of the linear form, not…
Let X be a plane in a torus over an algebraically closed field K, with tropicalization the matroidal fan Sigma. In this paper we present an algorithm which completely solves the question whether a given one-dimensional balanced polyhedral…
Using the interpretation of the ultradiscretization procedure as a non-Archimedean valuation, we use results of tropical geometry to show how roots and poles manifest themselves in piece-wise linear systems as points of…
We show that the non-Archimedean skeleton of the $d$-th symmetric power of a smooth projective algebraic curve $X$ is naturally isomorphic to the $d$-th symmetric power of the tropical curve that arises as the non-Archimedean skeleton of…
We design new tools to study variants of Total Dual Integrality. As an application, we obtain a geometric characterization of Total Dual Integrality for the case where the associated polyhedron is non-degenerate. We also give sufficient…
We provide explicit faithful re-embeddings for all hyperelliptic curves of genus at most three and an algorithmic way to construct them. Both in the faithful tropicalization algorithm and the proofs of correctness, we showcase OSCAR-methods…
Inequalities among symmetric functions are fundamental in various branches of mathematics, thus motivating a systematic study of their structure. Majorization has been shown to characterize inequalities among commonly used symmetric…
We study the tropicalization of the variety of symmetric rank two matrices. Analogously to the result of Markwig and Yu for general tropical rank two matrices, we show that it has a simplicial complex structure as the space of symmetric…
We study the max-plus or tropical analogue of the notion of polar: the polar of a cone represents the set of linear inequalities satisfied by its elements. We establish an analogue of the bipolar theorem, which characterizes all the…
We introduce the notion of composition series of triangulated categories, which generalizes full exceptional sequences. The lengths of composition series yield invariants for triangulated categories. We study composition series of derived…
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…
We show that tropicalization of linear series on curves gives rise to two-parameter families of tilings by polymatroids, with one parameter arising from the theory of divisors on tropical curves and the other from the reduction of linear…
We propose to study the tropical geometry specifically arising from convergent Hahn series in multiple indeterminates. One application is a new view on stable intersections of tropical hypersurfaces. Another one is perturbations of rank one…
In algebraic geometry specialisations and valuations play and important role. In this paper we start investigating analogous structures for Zariski structures. Specifically, we look into the existence and uniqueness properties of extensions…
A new multidimensional optimization problem is considered in the tropical mathematics setting. The problem is to minimize a nonlinear function defined on a finite-dimensional semimodule over an idempotent semifield and given by a conjugate…
Extensions and generalizations of Alzer's inequality; which is of Wirtinger type are proved. As applications, sharp trapezoid type inequality and sharp bound for the geometric mean are deduced.
We explore inequalities on linear extensions of posets and make them effective in different ways. First, we study the Bj\"orner--Wachs inequality and generalize it to inequalities on order polynomials and their $q$-analogues via direct…
We present an algorithm for computing zero-dimensional tropical varieties using projections. Our main tools are fast unimodular transforms of lexicographical Gr\"obner bases. We prove that our algorithm requires only a polynomial number of…