Computing the Connected Components of the Complement to the Amoeba of a Polynomial in Several Complex Variables

Abstract

In this paper, we propose a method for computing and visualizing the amoeba of a Laurent polynomial in several complex variables, which is applicable in arbitrary dimension. The algorithms developed based on this method are implemented as a free web service (http://amoebas.ru), which enables interactive computation of amoebas for polynomials in two variables, as well as provides a set of computed amoebas and their cross-sections in higher dimensions. The correctness and running time of the proposed algorithms are tested using a set of optimal polynomials in two, three, and four variables, which are generated using Mathematica computer algebra system. The developed program code makes it possible, in particular, to generate optimal hypergeometric polynomials in an arbitrary number of variables supported in an arbitrary zonotope given by a set of generating vectors.