Algorithmic computation of polynomial amoebas

The paper deals with amoebas of $k$-dimensional algebraic varieties in the algebraic complex torus of dimension $n\geq 2k$. First, we show that the area of complex algebraic curve amoebas is finite. Moreover, we give an estimate of this area in the rational curve case in terms of the degree of the rational parametrization coordinates. We also show that the volume of the amoeba of $k$-dimensional algebraic variety in $(\mathbb{C}^*)^{n}$, with $n\geq 2k$, is finite.

Detecting the edges of objects within images is critical for quality image processing. We present an edge-detecting technique that uses morphological amoebas that adjust their shape based on variation in image contours. We evaluate the method both quantitatively and qualitatively for edge detection of images, and compare it to classic morphological methods. Our amoeba-based edge-detection system performed better than the classic edge detectors.

The paper deals with singularities of nonconfluent hypergeometric functions in several variables. Typically such a function is a multi-valued analytic function with singularities along an algebraic hypersurface. We describe such hypersurfaces in terms of amoebas and the Newton polytopes of their defining polynomials. In particular, we show that all $\mathcal{A}$-discriminantal hypersurfaces (in the sense of Gelfand, Kapranov and Zelevinsky) have solid amoebas, that is, amoeba...

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. Moreover, we give an upper bound of the size of the basis in terms of $n$ and the mixed volume $\mu$ of the Newton polytopes of the polynomial equations of the system. Also, we give an upper bound of the degree of the basis elements in terms of $...

Let $f$ be an ordinary polynomial in $\mathbb{C}[z_1,..., z_n]$ with no negative exponents and with no factor of the form $z_1^{\alpha_1}... z_n^{\alpha_n}$ where $\alpha_i$ are non zero natural integer. If we assume in addicting that $f$ is maximally sparse polynomial (that its support is equal to the set of vertices of its Newton polytope), then a complement component of the amoeba $\mathscr{A}_f$ in $\mathbb{R}^n$ of the algebraic hypersurface $V_f\subset (\mathbb{C}^*)^n$...

This survey consists of two parts. Part 1 is devoted to amoebas. These are images of algebraic subvarieties in the complex torus under the logarithmic moment map. The amoebas have essentially piecewise-linear shape if viewed at large. Furthermore, they degenerate to certain piecewise-linear objects called tropical varieties whose behavior is governed by algebraic geometry over the so-called tropical semifield. Geometric aspects of tropical algebraic geometry are the content o...

Given any complex Laurent polynomial $f$, $\mathrm{Amoeba}(f)$ is the image of its complex zero set under the coordinate-wise log absolute value map. We give an efficiently constructible polyhedral approximation, $\mathrm{ArchtTrop}(f)$, of $\mathrm{Amoeba}(f)$, and derive explicit upper and lower bounds, solely as a function of the number of monomial terms of $f$, for the Hausdorff distance between these two sets. We also show that deciding whether a given point lies in $\ma...

We design a homotopy continuation algorithm, that is based on numerically tracking Viro's patchworking method, for finding real zeros of sparse polynomial systems. The algorithm is targeted for polynomial systems with coefficients satisfying certain concavity conditions. It operates entirely over the real numbers and tracks the optimal number of solution paths. In more technical terms; we design an algorithm that correctly counts and finds the real zeros of polynomial systems...

Exploiting a connection between amoebas and tropical curves, we devise a method for computing tropical curves using numerical algebraic geometry and give an implementation. As an application, we use this technique to compute Newton polygons of $A$-polynomials of knots.

This paper is a report based on the results obtained during a three months internship at the University of Pittsburgh by the first author and under the mentorship of the second author. The notion of an amoeba of a subvariety in a torus $(\mathbb{C}^*)^n$ has been extended to subvarieties of the general linear group $GL_n(\mathbb{C})$ by the second author and Manon. In this paper, we show some basic properties of these matrix amoebas, e.g. any such amoeba is closed and the con...