Related papers: The degree of a tropical basis

We define the multidegrees of a tropical variety. We prove that the positivity of a multidegree of a certain tropical variety is governed by the dimensions of the images of the tropical variety under suitable projection maps. As an…

The eigenvalues of a matrix polynomial can be determined classically by solving a generalized eigenproblem for a linearized matrix pencil, for instance by writing the matrix polynomial in companion form. We introduce a general scaling…

We introduce a scheme-theoretic enrichment of the principal objects of tropical geometry. Using a category of semiring schemes, we construct tropical hypersurfaces as schemes over idempotent semirings such as $\mathbb{T} = (\mathbb{R}\cup…

The goal of this paper is to introduce a construction of a vector bundle on a tropical variety. When the base is a tropical toric variety these tropicalize toric vector bundles, and are described by the data of a valuated matroid and some…

Radical binomial ideals associated with finite lattices are studied. Gr\"obner basis theory turns out to be an efficient tool in this investigation.

In this paper, we review the eigenpair problem in the context of tropical algebra. An important fact that has been largely overlooked in spectral theory of tropical algebra is that the tropical algebraic eigenvalues, which are obtained from…

We use geometric and cohomological methods to show that given a degree bound for membership in ideals of a fixed degree type in the polynomial ring P=k[x_0,..., x_d], one obtains a good generic degree bound for membership in the tight…

We consider arrangements of tropical hyperplanes where the apices of the hyperplanes are taken to infinity in certain directions. Such an arrangement defines a decomposition of Euclidean space where a cell is determined by its `type' data,…

We define the tropical Tevelev degrees, $\mathsf{Tev}_g^{trop}$, as the degree of a natural finite morphism between certain tropical moduli spaces, in analogy to the algebraic case. We develop an explicit combinatorial construction that…

We obtain a polynomial upper bound in the finite-field version of the multidimensional polynomial Szemer\'{e}di theorem for distinct-degree polynomials. That is, if $P_1, ..., P_t$ are nonconstant integer polynomials of distinct degrees and…

Let $I_A$ be a toric ideal. We prove that the degrees of the elements of the Graver basis of $I_A$ are not polynomially bounded by the true degrees of the circuits of $I_A$.

We show that the sequence of moduli of the eigenvalues of a matrix polynomial is log-majorized, up to universal constants, by a sequence of "tropical roots" depending only on the norms of the matrix coefficients. These tropical roots are…

In this paper, we study ideals spanned by polynomials or overconvergent series in a Tate algebra. With state-of-the-art algorithms for computing Tate Gr{\"o}bner bases, even if the input is polynomials, the size of the output grows with the…

An algorithm to generate a minimal comprehensive Gr\"obner\, basis of a parametric polynomial system from an arbitrary faithful comprehensive Gr\"obner\, system is presented. A basis of a parametric polynomial ideal is a comprehensive…

We show factorization of polynomials in one variable over the tropical semiring is in general NP-complete, either if all coefficients are finite, or if all are either 0 or infinity (Boolean case). We give algorithms for the factorization…

A polynomial complexity algorithm is designed which tests whether a point belongs to a given tropical linear variety.

Let $I$ be an ideal of the ring of Laurent polynomials $K[x_1^{\pm1},\ldots,x_n^{\pm1}]$ with coefficients in a real-valued field $(K,v)$. The fundamental theorem of tropical algebraic geometry states the equality…

We continue, in this second article, the study of the the algebraic tools which play a role in tropical algebra. We especially examine here the polynomial algebras over idempotent semi-fields. this work is motivated by the development of…

Many systems of interest in cryptography consist of equations of the same degree. Under the assumption that the degree of regularity is finite, we prove upper bounds on the degree of regularity of a system of equations of the same degree,…

We show that the amoeba of a complex algebraic variety defined as the solutions to a generic system of $n$ polynomials in $n$ variables has a finite basis. In other words, it is the intersection of finitely many hypersurface amoebas.…