← Back to arXiv
arXivAlgebraic GeometryarXiv:2607.15429

Sparse Bounds for Amoeba Contours

The paper is about mathematical objects called amoebas, which are geometric shapes you get by taking an algebraic curve or surface (defined by a polynomial equation) and applying a special transformation called the "Log map." This map replaces each point's coordinates with their logarithms, stretching and distorting the shape in a specific way. The boundary of the resulting blob-like shape is called the amoeba's contour, and a key question is how complicated this contour can be, measured by something called its "real degree," which roughly counts how many times the contour can intersect a straight line.

The authors develop sharper upper bounds on this real degree than were previously known. Earlier methods used estimates based on the total degree of the polynomial, which is a fairly crude measure of complexity. The new approach instead pays attention to the specific structure of the polynomial, particularly which combinations of variables actually appear in it. By using tools from convex geometry (called mixed volumes and Newton polytopes, which capture the shape of the polynomial's exponent structure) and a technique called logarithmic-conormal elimination, the authors obtain bounds that are much tighter when the polynomial is "sparse," meaning it has relatively few terms compared to what a general polynomial of that degree could have.

The practical upshot is that for many real-world polynomials, which tend to be sparse, the new bounds are significantly smaller than the old universal ones. The paper includes worked examples comparing the two sets of bounds, demonstrating concrete improvements. This matters because amoebas and their contours appear in several areas of mathematics and mathematical physics, including tropical geometry and the study of oscillatory integrals, so tighter complexity bounds have downstream benefits for understanding these connections.

Read original →