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.

The symplectic characteristic polynomial

Characteristic polynomials of isometries of even unimodular lattices

Symmetric Ideals and Invariant Hilbert Schemes

Symplectic Grothendieck polynomials, universal characters and integrable systems

On some properties of symplectic Grothendieck polynomials

Skew characteristic polynomial of graphs and embedded graphs

Quadratic transformations of Macdonald and Koornwinder polynomials

The geometry of polynomial representations in positive characteristic

Linear slices of hyperbolic polynomials and positivity of symmetric polynomial functions

The symplectic form associated to a singular Poisson algebra

A Riemann--Hilbert Approach to Skew-Orthogonal Polynomials of Symplectic Type

Cancellation and splitting of Symplectic modules in the critical range and Euler class group

Symmetries and vanishing theorems for symplectic varieties

On the symplectic geometry of $A_k$ singularities

A multidimensional generalization of Symanzik polynomials

Compactly supported $\mathbb{A}^1$-Euler characteristics of symmetric powers of cellular varieties

Quadratic Euler Characteristic of Symmetric Powers of Curves

Polynomial Structures in Generalized Geometry

Constructing symplectic invariants

A Hermitian refinement of symplectic Clifford analysis

Symplectic singularities arising from algebras of symmetric tensors