Abstract:A real univariate polynomial of degree $n$ is called hyperbolic if all of its $n$ roots are on the real line. Such polynomials appear quite naturally in different applications, for example, in combinatorics and optimization. The focus of this article are families of hyperbolic polynomials which are determined through $k$ linear conditions on the coefficients. The coefficients corresponding to such a family of hyperbolic polynomials form a semi-algebraic set which we call a \emph{hyperbolic slice}. We initiate here the study of the geometry of these objects in more detail. The set of hyperbolic polynomials is naturally stratified with respect to the multiplicities of the real zeros and this stratification induces also a stratification on the hyperbolic slices. Our main focus here is on the \emph{local extreme points} of hyperbolic slices, i.e., the local extreme points of linear functionals, and we show that these correspond precisely to those hyperbolic polynomials in the hyperbolic slice which have at most $k$ distinct roots and we can show that generically the convex hull of such a family is a polyhedron. Building on these results, we give consequences of our results to the study of symmetric real varieties and symmetric semi-algebraic sets. Here, we show that sets defined by symmetric polynomials which can be expressed sparsely in terms of elementary symmetric polynomials can be sampled on points with few distinct coordinates. This in turn allows for algorithmic simplifications, for example, to verify that such polynomials are non-negative or that a semi-algebraic set defined by such polynomials is empty.

Newton polytopes of dual $k$-Schur polynomials

Newton polytopes of dual Schubert polynomials

The Newton polytope of the Kronecker product

The Polytope of Dual Degree Partitions

Combinatorial formulas for shifted dual stable Grothendieck polynomials

Real tropicalization and negative faces of the Newton polytope

Polygons of Newton-Okounkov type on irreducible holomorphic symplectic manifolds

On Certain Polytopes Associated to Products of Algebraic Integer Conjugates

A k-tableau characterization of k-Schur functions

Linear slices of hyperbolic polynomials and positivity of symmetric polynomial functions

Equidistribution of rational subspaces and their shapes

Strongly dominant weight polytopes are cubes

Chevalley Polytopes and Newton-Okounkov Bodies

Normality of $k$-Matching Polytopes of Bipartite Graphs

On the Kronecker product of Schur functions of square shapes

Multiplicity-free skew Schur polynomials

The Schwarzian octahedron recurrence (dSKP equation) I: explicit solutions

Newton polygons and Böttcher coordinates near infinity for polynomial skew products

Polyhedral volume ratios, Izmestiev's Colin de Verdiere matrices and Spectral Gaps

Polynomial Expressions for the Dimensions of the Representations of Symmetric Groups and Restricted Standard Young Tableaux

Slack matrices, $k$-products, and $2$-level polytopes