-
Constructively describing orbit spaces of finite groups by few inequalities
Authors:
Philippe Moustrou,
Cordian Riener,
Robin Schabert
Abstract:
Let $G$ be a finite group acting linearly on $\mathbb{R}^n$. A celebrated Theorem of Procesi and Schwarz gives an explicit description of the orbit space $\mathbb{R}^n /\!/G$ as a basic closed semi-algebraic set. We give a new proof of this statement and another description as a basic closed semi-algebraic set using elementary tools from real algebraic geometry. Bröcker was able to show that the n…
▽ More
Let $G$ be a finite group acting linearly on $\mathbb{R}^n$. A celebrated Theorem of Procesi and Schwarz gives an explicit description of the orbit space $\mathbb{R}^n /\!/G$ as a basic closed semi-algebraic set. We give a new proof of this statement and another description as a basic closed semi-algebraic set using elementary tools from real algebraic geometry. Bröcker was able to show that the number of inequalities needed to describe the orbit space generically depends only on the group $G$. Here, we construct such inequalities explicitly for abelian groups and in the case where only one inequality is needed. Furthermore, we answer an open question raised by Bröcker concerning the genericity of his result.
△ Less
Submitted 11 July, 2024;
originally announced July 2024.
-
Connectivity in Symmetric Semi-Algebraic Sets
Authors:
Cordian Riener,
Robin Schabert,
Thi Xuan Vu
Abstract:
Semi-algebraic set is a subset of the real space defined by polynomial equations and inequalities. In this paper, we consider the problem of deciding whether two given points in a semi-algebraic set are connected. We restrict to the case when all equations and inequalities are invariant under the action of the symmetric group and their degrees at most $d<n$, where $n$ is the number of variables. A…
▽ More
Semi-algebraic set is a subset of the real space defined by polynomial equations and inequalities. In this paper, we consider the problem of deciding whether two given points in a semi-algebraic set are connected. We restrict to the case when all equations and inequalities are invariant under the action of the symmetric group and their degrees at most $d<n$, where $n$ is the number of variables. Additionally, we assume that the two points are in the same fundamental domain of the action of the symmetric group, by assuming that the coordinates of two given points are sorted in non-decreasing order. We construct and analyze an algorithm that solves this problem, by taking advantage of the group action, and has a complexity being polynomial in $n$.
△ Less
Submitted 12 June, 2024; v1 submitted 15 April, 2024;
originally announced April 2024.
-
Stable and Hurwitz slices, a degree principle and a generalized Grace-Walsh-Szegő theorem
Authors:
Sebastian Debus,
Cordian Riener,
Robin Schabert
Abstract:
Univariate polynomials are called stable with respect to a circular region $\mathcal{A}$, if all of their roots are in $\mathcal{A}$. We consider the special case where $\mathcal{A}$ is a half-plane and investigate affine slices of the set of stable polynomials. In this setup, we show that an affine slice of codimension $k$ always contains a stable polynomial that possesses at most $2(k+2)$ distin…
▽ More
Univariate polynomials are called stable with respect to a circular region $\mathcal{A}$, if all of their roots are in $\mathcal{A}$. We consider the special case where $\mathcal{A}$ is a half-plane and investigate affine slices of the set of stable polynomials. In this setup, we show that an affine slice of codimension $k$ always contains a stable polynomial that possesses at most $2(k+2)$ distinct roots on the boundary and at most $(k+2)$ distinct roots in the interior of $\mathcal{A}$. This result also extends to affine slices of weakly Hurwitz polynomials, i.e. real, univariate, left half-plane stable polynomials. Subsequently, we apply these results to symmetric polynomials and varieties. Here we show that a variety described by polynomials in few multiaffine polynomials has no root in $\mathcal{A}^n$, if and only if it has no root in $\mathcal{A}^n$ with few distinct coordinates. This is at the same time a generalization of the degree principle to stable polynomials and a generalization of Grace-Walsh-Szegő's coincidence theorem.
△ Less
Submitted 8 February, 2024;
originally announced February 2024.
-
Shellable slices of hyperbolic polynomials and the degree principle
Authors:
Arne Lien,
Robin Schabert
Abstract:
We study a natural stratification of certain affine slices of univariate hyperbolic polynomials. We look into which posets of strata can be realized and show that the dual of the poset of strata is a shellable simplicial complex and in particular a combinatorial sphere. From this we obtain a g-theorem and an upper bound theorem on the number of strata. We use these results to design smaller test s…
▽ More
We study a natural stratification of certain affine slices of univariate hyperbolic polynomials. We look into which posets of strata can be realized and show that the dual of the poset of strata is a shellable simplicial complex and in particular a combinatorial sphere. From this we obtain a g-theorem and an upper bound theorem on the number of strata. We use these results to design smaller test sets to improve upon Timofte's degree principle and give bounds on how much the degree principle can be improved.
△ Less
Submitted 8 February, 2024;
originally announced February 2024.
-
Linear slices of hyperbolic polynomials and positivity of symmetric polynomial functions
Authors:
Cordian Riener,
Robin Schabert
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…
▽ More
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.
△ Less
Submitted 8 March, 2023; v1 submitted 16 March, 2022;
originally announced March 2022.
