134 research outputs found
On a tropical dual Nullstellensatz
Since a tropical Nullstellensatz fails even for tropical univariate
polynomials we study a conjecture on a tropical {\it dual} Nullstellensatz for
tropical polynomial systems in terms of solvability of a tropical linear system
with the Cayley matrix associated to the tropical polynomial system. The
conjecture on a tropical effective dual Nullstellensatz is proved for tropical
univariate polynomials
Tropical Effective Primary and Dual Nullstellens\"atze
Tropical algebra is an emerging field with a number of applications in
various areas of mathematics. In many of these applications appeal to tropical
polynomials allows to study properties of mathematical objects such as
algebraic varieties and algebraic curves from the computational point of view.
This makes it important to study both mathematical and computational aspects of
tropical polynomials.
In this paper we prove a tropical Nullstellensatz and moreover we show an
effective formulation of this theorem. Nullstellensatz is a natural step in
building algebraic theory of tropical polynomials and its effective version is
relevant for computational aspects of this field.
On our way we establish a simple formulation of min-plus and tropical linear
dualities. We also observe a close connection between tropical and min-plus
polynomial systems
On the frontiers of polynomial computations in tropical geometry
We study some basic algorithmic problems concerning the intersection of
tropical hypersurfaces in general dimension: deciding whether this intersection
is nonempty, whether it is a tropical variety, and whether it is connected, as
well as counting the number of connected components. We characterize the
borderline between tractable and hard computations by proving
-hardness and #-hardness results under various
strong restrictions of the input data, as well as providing polynomial time
algorithms for various other restrictions.Comment: 17 pages, 5 figures. To appear in Journal of Symbolic Computatio
- …