arXiv++ Combinatorics

We provide a complete and explicit characterization of the exposed extreme rays of the cone of sums of nonnegative circuit (SONC) polynomials. The criterion we derive is purely combinatorial and depends only on the existence of certain circuits within the ground set and on the nature of the corresponding extreme ray. Our constructive proofs also yield explicit exposing functionals, offering a basis for algorithmic detection of exposed rays in SONC-based optimization.

In this article, we combine sums of squares (SOS) and sums of nonnegative circuit (SONC) forms, two independent nonnegativity certificates for real homogeneous polynomials. We consider the convex cone SOS+SONC of forms that decompose into a sum of an SOS and a SONC form and study it from a geometric point of view. We show that the SOS+SONC cone is proper and neither closed under multiplications nor under linear transformation of variables. Moreover, we present an alternative proof of an analog of Hilbert's 1888 Theorem for the SOS+SONC cone and prove that in the non-Hilbert cases it provides a proper superset of both the SOS and the SONC cone. This follows by exploiting a new necessary condition for membership in the SONC cone.

Low-rank matrix completion addresses the problem of completing a matrix from a certain set of generic specified entries. Over the complex numbers a matrix with a given entry pattern can be uniquely completed to a specific rank, called the generic completion rank. Completions over the reals may generically have multiple completion ranks, called typical ranks. We demonstrate techniques for proving that many sets of specified entries have only one typical rank, and show other families with two typical ranks, specifically focusing on entry sets represented by circulant graphs. This generalizes the results of Bernstein, Blekherman, and Sinn. In particular, we provide a complete characterization of the set of unspecified entries of an $n\times n$ matrix such that $n-1$ is a typical rank and fully determine the typical ranks for entry set $G(n,1)$ for $n<9$. Moreover, we study the asymptotic behaviour of typical ranks and present results regarding unique matrix completions.

We provide a complete and explicit characterization of the real zeros of sums of nonnegative circuit (SONC) polynomials, a recent certificate for nonnegative polynomials independent of sums of squares. As a consequence, we derive an exact determination of the number $B''_{n+1,2d}$ for all $n$ and $d$. $B''_{n+1,2d}$ is defined to be the supremum of the number of zeros of all homogeneous $n+1$-variate polynomials of degree $2d$ in the SONC cone. The analogously defined numbers $B_{n+1,2d}$ and $B'_{n+1,2d}$ for the nonnegativity cone and the cone of sums of squares were first introduced and studied by Choi, Lam, and Reznick. In strong contrast to our case, the determination of both $B_{n+1,2d}$ and $B'_{n+1,2d}$ for general $n$ and $d$ is still an open question. Moreover, we initiate the study of the exposed faces of the SONC cone. In particular, we explicitly consider small dimensions and analyze dimension bounds on the exposed faces. When comparing the exposed faces of the SONC cone with those of the nonnegativity cone we observe dimensional differences between them.