A-Discriminants for Complex Exponents, and Counting Real Isotopy Types

TL;DR

This paper generalizes the concept of $\\mathcal{A}$-discriminants to complex exponents and applies it to bound the number of real isotopy types of exponential sums, significantly improving previous bounds.

Contribution

It extends $\\mathcal{A}$-discriminant theory to complex exponents and establishes a polynomial bound on isotopy types of exponential sum zero sets.

Findings

Number of real isotopy types is $O(n^2)$

Singular loci are images of low-degree algebraic sets

Improves previous exponential bounds to polynomial bounds

Abstract

We extend the definition of $\mathcal{A}$-discriminant varieties, and Kapranov's parametrization of $\mathcal{A}$-discriminant varieties, to complex exponents. As an application, we study the special case where $\mathcal{A}$ is a fixed real $n\times (n+3)$ matrix whose columns form the spectrum of an $n$-variate exponential sum $g$ with fixed sign vector for its coefficients: We prove that the number of possible isotopy types for the real zero set of $g$ is $O(n^2)$. The best previous upper bound was $2^{O(n^4)}$. Along the way, we also show that the singular loci of our generalized $\mathcal{A}$-discriminants are images of low-degree algebraic sets under certain analytic maps.