Amoebas of algebraic varieties

This paper studies the curvatures of amoebas and real amoebas (i.e. essentially logarithmic curvatures of the complex and real parts of a real algebraic hypersurface) and of tropical and real tropical hypersurfaces. If V is a tropical hypersurface defined over the field of real Puiseux series, it has a real part RV which is a polyhedral complex. We define the total curvature of V (resp. RV) by using the total curvature of Amoebas and passing to the limit. We also define t...

We apply methods of machine-learning, such as neural networks, manifold learning and image processing, in order to study 2-dimensional amoebae in algebraic geometry and string theory. With the help of embedding manifold projection, we recover complicated conditions obtained from so-called lopsidedness. For certain cases it could even reach $\sim99\%$ accuracy, in particular for the lopsided amoeba of $F_0$ with positive coefficients which we place primary focus. Using weights...

Let $G$ be a connected reductive algebraic group over $\mathbb{C}$ with a maximal compact subgroup $K$. Let $G/H$ be a (quasi-affine) spherical homogeneous space. In the first part of the paper, following Akhiezer's definition of spherical functions, we introduce a $K$-invariant map $sLog_{\Gamma, t}: G/H \to \mathbb{R}^s$ which depends on a choice of a finite set $\Gamma$ of dominant weights and $s = |\Gamma|$. We call $sLog_{\Gamma, t}$ a spherical logarithm map. We show th...

For any curve $\mathcal{V}$ in a toric surface $X$, we study the critical locus $S(\mathcal{V})$ of the moment map $\mu$ from $\mathcal{V}$ to its compactified amoeba $\mu(\mathcal{V})$. We show that for curves $\mathcal{V}$ in a fixed complete linear system, the critical locus $S(\mathcal{V})$ is smooth apart from some real codimension $1$ walls. We then investigate the topological classification of pairs $(\mathcal{V},S(\mathcal{V}))$ when $\mathcal{V}$ and $S(\mathcal{V})$...

In this paper we study a $k$-dimensional analytic subvariety of the complex algebraic torus. We show that if its logarithmic limit set is a finite rational $(k-1)$-dimensional spherical polyhedron, then each irreducible component of the variety is algebraic. This gives a converse of a theorem of Bieri and Groves and generalizes a result proven in \cite{MN2-11}. More precisely, if the dimension of the ambient space is at least twice of the dimension of the generic analytic sub...

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...

Morphological amoebas are image-adaptive structuring elements for morphological and other local image filters introduced by Lerallut et al. Their construction is based on combining spatial distance with contrast information into an image-dependent metric. Amoeba filters show interesting parallels to image filtering methods based on partial differential equations (PDEs), which can be confirmed by asymptotic equivalence results. In computing amoebas, graph structures are genera...

The amoeba of a Laurent polynomial is the image of the corresponding hypersurface under the coordinatewise log absolute value map. In this article, we demonstrate that a theoretical amoeba approximation method due to Purbhoo can be used efficiently in practice. To do this, we resolve the main bottleneck in Purbhoo's method by exploiting relations between cyclic resultants. We use the same approach to give an approximation of the Log preimage of the amoeba of a Laurent polynom...

We prove that the expected area of the amoeba of a complex plane curve of degree $d$ is less than $\displaystyle{3\ln(d)^2/2+9\ln(d)+9}$ and once rescaled by $\ln(d)^2$, is asymptotically bounded from below by $3/4$. In order to get this lower bound, given disjoint isometric embeddings of a bidisc of size $1/\sqrt{d}$ in the complex projective plane, we lower estimate the probability that one of them is a submanifold chart of a complex plane curve. It exponentially converges ...

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.