arXiv++ Combinatorics

In this article, we explore the connections between nonnegativity, the theory of $A$-discriminants, and tropical geometry. For an integral support set $A \subset \mathbb{Z}^n$, we cover the boundary of the sonc-cone by semi-algebraic sets that are parametrized by families of tropical hypersurfaces. As an application, we characterization generic support sets for which the sonc-cone is equal to the sparse nonnegativity cone, and we describe a semi-algebraic stratification of the boundary of the sonc-cone in the univariate case.

We study amoebas of exponential sums as functions of the support set $A$. To any amoeba, we associate a set of approximating sections of amoebas, which we call caissons. We show that a bounded modular lattice of subspaces of a certain vector space induces a lattice structure on the set of caissons. Our results unifies the theories of lopsided amoebas and amoebas of exponential sums. As an application, we show that our theory of caissons yields improved certificates for existence of certain components of the complement of an amoeba.

We introduce an invariant of a finite point configuration $A \subset \mathbb{R}^{1+n}$ which we denote the cuspidal form of $A$. We use this invariant to extend Esterov's characterization of dual defective point configurations to exponential sums; the dual variety associated to $A$ has codimension at least $2$ if and only if $A$ does not contain any iterated circuit.

We describe the parametric behavior of the series solutions of an A-hypergeometric system. More precisely, we construct explicit stratifications of the parameter space such that, on each stratum, the series solutions of the system are holomorphic.