-
Deciding Connectivity in Symmetric Semi-Algebraic Sets
Authors:
Cordian. Riener,
Robin Schabert,
Thi Xuan Vu
Abstract:
A semi-algebraic set is a subset of $\mathbb{R}^n$ defined by a finite collection of polynomial equations and inequalities. In this paper, we investigate the problem of determining whether two points in such a set belong to the same connected component. We focus on the case where the defining equations and inequalities are invariant under the natural action of the symmetric group and where each po…
▽ More
A semi-algebraic set is a subset of $\mathbb{R}^n$ defined by a finite collection of polynomial equations and inequalities. In this paper, we investigate the problem of determining whether two points in such a set belong to the same connected component. We focus on the case where the defining equations and inequalities are invariant under the natural action of the symmetric group and where each polynomial has degree at most \( d \), with \( d < n \) (where \( n \) denotes the number of variables). Exploiting this symmetry, we develop and analyze algorithms for two key tasks. First, we present an algorithm that determines whether the orbits of two given points are connected. Second, we provide an algorithm that decides connectivity between arbitrary points in the set. Both algorithms run in polynomial time with respect to \( n \).
△ Less
Submitted 15 March, 2025;
originally announced March 2025.
-
Symmetric nonnegative functions, the tropical Vandermonde cell and superdominance of power sums
Authors:
Jose Acevedo,
Grigoriy Blekherman,
Sebastian Debus,
Cordian Riener
Abstract:
We study nonnegative and sums of squares symmetric (and even symmetric) functions of fixed degree. We can think of these as limit cones of symmetric nonnegative polynomials and symmetric sums of squares of fixed degree as the number of variables goes to infinity. We compare these cones, including finding explicit examples of nonnegative polynomials which are not sums of squares for any sufficientl…
▽ More
We study nonnegative and sums of squares symmetric (and even symmetric) functions of fixed degree. We can think of these as limit cones of symmetric nonnegative polynomials and symmetric sums of squares of fixed degree as the number of variables goes to infinity. We compare these cones, including finding explicit examples of nonnegative polynomials which are not sums of squares for any sufficiently large number of variables, and compute the tropicalizations of their dual cones in the even symmetric case. We find that the tropicalization of the dual cones is naturally understood in terms of the overlooked superdominance order on partitions. The power sum symmetric functions obey this same partial order (analogously to how term-normalized power sums obey the dominance order).
△ Less
Submitted 8 August, 2024;
originally announced August 2024.
-
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.
-
Slices of Stable Polynomials and Connections to the 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. Subsequently, we apply these results to symmetric polynomials and varieties. Here we show that it is necessary and sufficient for a variety described by polynomials in few multiaffine polynomials to contain points in $\mathcal{A}^n$ with few distinct coordinates for its intersection with $\mathcal{A}^n$ being non-empty. This is at the same time a generalization of the degree principle to stable polynomials and a result similar to Grace-Walsh-Szegő's coincidence theorem on multiaffine symmetric polynomials.
△ Less
Submitted 21 November, 2024; v1 submitted 8 February, 2024;
originally announced February 2024.
-
On nonnegative invariant quartics in type A
Authors:
Sebastian Debus,
Charu Goel,
Salma Kuhlmann,
Cordian Riener
Abstract:
The equivariant nonnegativity versus sums of squares question has been solved for any infinite series of essential reflection groups but type A. As a first step to a classification, we analyse $A_n$-invariant quartics. We prove that the cones of invariant sums of squares and nonnegative forms are equal if and only if the number of variables is at most 3 or odd.
The equivariant nonnegativity versus sums of squares question has been solved for any infinite series of essential reflection groups but type A. As a first step to a classification, we analyse $A_n$-invariant quartics. We prove that the cones of invariant sums of squares and nonnegative forms are equal if and only if the number of variables is at most 3 or odd.
△ Less
Submitted 6 February, 2024;
originally announced February 2024.
-
A semidefinite programming hierarchy for covering problems in discrete geometry
Authors:
Cordian Riener,
Jan Rolfes,
Frank Vallentin
Abstract:
In this paper we present a new semidefinite programming hierarchy for covering problems in compact metric spaces. Over the last years, these kind of hierarchies were developed primarily for geometric packing and for energy minimization problems; they frequently provide the best known bounds. Starting from a semidefinite programming hierarchy for the dominating set problem in graph theory, we deriv…
▽ More
In this paper we present a new semidefinite programming hierarchy for covering problems in compact metric spaces. Over the last years, these kind of hierarchies were developed primarily for geometric packing and for energy minimization problems; they frequently provide the best known bounds. Starting from a semidefinite programming hierarchy for the dominating set problem in graph theory, we derive the new hierarchy for covering and show some of its basic properties: The hierarchy converges in finitely many steps, but the first level collapses to the volume bound when the compact metric space is homogeneous.
△ Less
Submitted 23 May, 2025; v1 submitted 18 December, 2023;
originally announced December 2023.
-
Symmetric SAGE and SONC forms, exactness and quantitative gaps
Authors:
Philippe Moustrou,
Cordian Riener,
Thorsten Theobald,
Hugues Verdure
Abstract:
The classes of sums of arithmetic-geometric exponentials (SAGE) and of sums of nonnegative circuit polynomials (SONC) provide nonnegativity certificates which are based on the inequality of the arithmetic and geometric means. We study the cones of symmetric SAGE and SONC forms and their relations to the underlying symmetric nonnegative cone.
As main results, we provide several symmetric cases wh…
▽ More
The classes of sums of arithmetic-geometric exponentials (SAGE) and of sums of nonnegative circuit polynomials (SONC) provide nonnegativity certificates which are based on the inequality of the arithmetic and geometric means. We study the cones of symmetric SAGE and SONC forms and their relations to the underlying symmetric nonnegative cone.
As main results, we provide several symmetric cases where the SAGE or SONC property coincides with nonnegativity and we present quantitative results on the differences in various situations. The results rely on characterizations of the zeroes and the minimizers for symmetric SAGE and SONC forms, which we develop.
Finally, we also study symmetric monomial mean inequalities and apply SONC certificates to establish a generalized version of Muirhead's inequality.
△ Less
Submitted 6 August, 2024; v1 submitted 16 December, 2023;
originally announced December 2023.
-
Faster real root decision algorithm for symmetric polynomials
Authors:
George Labahn,
Cordian Riener,
Mohab Safey El Din,
Éric Schost,
Thi Xuan Vu
Abstract:
In this paper, we consider the problem of deciding the existence of real solutions to a system of polynomial equations having real coefficients, and which are invariant under the action of the symmetric group. We construct and analyze a Monte Carlo probabilistic algorithm which solves this problem, under some regularity assumptions on the input, by taking advantage of the symmetry invariance prope…
▽ More
In this paper, we consider the problem of deciding the existence of real solutions to a system of polynomial equations having real coefficients, and which are invariant under the action of the symmetric group. We construct and analyze a Monte Carlo probabilistic algorithm which solves this problem, under some regularity assumptions on the input, by taking advantage of the symmetry invariance property. The complexity of our algorithm is polynomial in $d^s, {{n+d} \choose d}$, and ${{n} \choose {s+1}}$, where $n$ is the number of variables and $d$ is the maximal degree of $s$ input polynomials defining the real algebraic set under study. In particular, this complexity is polynomial in $n$ when $d$ and $s$ are fixed and is equal to $n^{O(1)}2^n$ when $d=n$.
△ Less
Submitted 6 June, 2023;
originally announced June 2023.
-
Symmetries in polynomial optimization
Authors:
Philippe Moustrou,
Cordian Riener,
Hugues Verdure
Abstract:
This chapter investigates how symmetries can be used to reduce the computational complexity in polynomial optimization problems. A focus will be specifically given on the Moment-SOS hierarchy in polynomial optimization, where results from representation theory and invariant theory of groups can be used. In addition, symmetry reduction techniques which are more generally applicable are also present…
▽ More
This chapter investigates how symmetries can be used to reduce the computational complexity in polynomial optimization problems. A focus will be specifically given on the Moment-SOS hierarchy in polynomial optimization, where results from representation theory and invariant theory of groups can be used. In addition, symmetry reduction techniques which are more generally applicable are also presented.
△ Less
Submitted 9 May, 2023;
originally announced May 2023.
-
The Wonderful Geometry of the Vandermonde map
Authors:
Jose Acevedo,
Grigoriy Blekherman,
Sebastian Debus,
Cordian Riener
Abstract:
We study the geometry of the image of the nonnegative orthant under the power-sum map and the elementary symmetric polynomials map. After analyzing the image in finitely many variables, we concentrate on the limit as the number of variables approaches infinity. We explain how the geometry of the limit plays a crucial role in undecidability results in nonnegativity of symmetric polynomials, decidin…
▽ More
We study the geometry of the image of the nonnegative orthant under the power-sum map and the elementary symmetric polynomials map. After analyzing the image in finitely many variables, we concentrate on the limit as the number of variables approaches infinity. We explain how the geometry of the limit plays a crucial role in undecidability results in nonnegativity of symmetric polynomials, deciding validity of trace inequalities in linear algebra, and extremal combinatorics - recently observed by Blekherman, Raymond, and F. Wei. We verify the experimental observation that the image has the combinatorial geometry of a cyclic polytope made by Melánová, Sturmfels, and Winter, and generalize results of Choi, Lam, and Reznick on nonnegative even symmetric polynomials. We also show that undecidability does not hold for the normalized power sum map.
△ Less
Submitted 5 December, 2024; v1 submitted 16 March, 2023;
originally announced March 2023.
-
Optimization of trigonometric polynomials with crystallographic symmetry and spectral bounds for set avoiding graphs
Authors:
Evelyne Hubert,
Tobias Metzlaff,
Philippe Moustrou,
Cordian Riener
Abstract:
Trigonometric polynomials are usually defined on the lattice of integers.We consider the larger class of weight and root lattices with crystallographic symmetry.This article gives a new approach to minimize trigonometric polynomials, which are invariant under the associated reflection group.The invariance assumption allows us to rewrite the objective function in terms of generalized Chebyshev poly…
▽ More
Trigonometric polynomials are usually defined on the lattice of integers.We consider the larger class of weight and root lattices with crystallographic symmetry.This article gives a new approach to minimize trigonometric polynomials, which are invariant under the associated reflection group.The invariance assumption allows us to rewrite the objective function in terms of generalized Chebyshev polynomials. The new objective function is defined on a compact basic semi-algebraic set, so that we can benefit from the rich theory of polynomial optimization.We present an algorithm to compute the minimum: Based on the Hol-Scherer Positivstellensatz, we impose matrix-sums of squares conditions on the objective function in the Chebyshev basis.The degree of the sums of squares is weighted, defined by the root system. Increasing the degree yields a converging Lasserre-type hierarchy of lower bounds.This builds a bridge between trigonometric and polynomial optimization, allowing us to compare with existing techniques.The chromatic number of a set avoiding graph in the Euclidean space is defined through an optimal coloring.It can be computed via a spectral bound by minimizing a trigonometric polynomial. If the to be avoided set has crystallographic symmetry, our method has a natural application.Specifically, we compute spectral bounds for the first time for boundaries of symmetric polytopes.For several cases, the problem has such a simplified form that we can give analytical proofs for sharp spectral bounds.In other cases, we certify the sharpness numerically.
△ Less
Submitted 16 March, 2023;
originally announced March 2023.
-
The poset of Specht ideals for hyperoctahedral groups
Authors:
Sebastian Debus,
Philippe Moustrou,
Cordian Riener,
Hugues Verdure
Abstract:
Specht polynomials classically realize the irreducible representations of the symmetric group. The ideals defined by these polynomials provide a strong connection with the combinatorics of Young tableaux and have been intensively studied by several authors. We initiate similar investigations for the ideals defined by the Specht polynomials associated to the hyperoctahedral group $B_n$. We introduc…
▽ More
Specht polynomials classically realize the irreducible representations of the symmetric group. The ideals defined by these polynomials provide a strong connection with the combinatorics of Young tableaux and have been intensively studied by several authors. We initiate similar investigations for the ideals defined by the Specht polynomials associated to the hyperoctahedral group $B_n$. We introduce a bidominance order on bipartitions which describes the poset of inclusions of these ideals and study algebraic consequences on general $B_n$-invariant ideals and varieties, which can lead to computational simplifications.
△ Less
Submitted 28 May, 2023; v1 submitted 17 June, 2022;
originally announced June 2022.
-
Orbit spaces of Weyl groups acting on compact tori: a unified and explicit polynomial description
Authors:
Evelyne Hubert,
Tobias Metzlaff,
Cordian Riener
Abstract:
The Weyl group of a crystallographic root system has a nonlinear action on the compact torus. The orbit space of this action is a compact basic semi-algebraic set. We present a polynomial description of this set for the Weyl groups of type A, B, C, D and G. Our description is given through a polynomial matrix inequality. The novelty lies in an approach via Hermite quadratic forms and a closed form…
▽ More
The Weyl group of a crystallographic root system has a nonlinear action on the compact torus. The orbit space of this action is a compact basic semi-algebraic set. We present a polynomial description of this set for the Weyl groups of type A, B, C, D and G. Our description is given through a polynomial matrix inequality. The novelty lies in an approach via Hermite quadratic forms and a closed formula for the matrix entries.
The orbit space of the nonlinear Weyl group action is the orthogonality region of generalized Chebyshev polynomials. In this polynomial basis, we show that the matrices obtained for the five types follow the same, surprisingly simple pattern. This is applied to the optimization of trigonometric polynomials with crystallographic symmetries.
△ Less
Submitted 27 June, 2023; v1 submitted 24 March, 2022;
originally announced March 2022.
-
Equivariant algebraic and semi-algebraic geometry of infinite affine space
Authors:
Mario Kummer,
Cordian Riener
Abstract:
We study $\textrm{Sym}(\infty)$-orbit closures of not necessarily closed points in the Zariski spectrum of the infinite polynomial ring $\mathbb{C}[x_{ij}:\, i\in\mathbb{N},\,j\in[n]]$. Among others, we characterize invariant prime ideals in this ring. Furthermore, we study projections of basic equivariant semi-algebraic sets defined by $\textrm{Sym}(\infty)$ orbits of polynomials in…
▽ More
We study $\textrm{Sym}(\infty)$-orbit closures of not necessarily closed points in the Zariski spectrum of the infinite polynomial ring $\mathbb{C}[x_{ij}:\, i\in\mathbb{N},\,j\in[n]]$. Among others, we characterize invariant prime ideals in this ring. Furthermore, we study projections of basic equivariant semi-algebraic sets defined by $\textrm{Sym}(\infty)$ orbits of polynomials in $\mathbb{R}[x_{ij}:\, i\in\mathbb{N},\,j\in[n]]$. For $n=1$ we prove a quantifier elimination type result which fails for $n>1$.
△ Less
Submitted 22 March, 2022;
originally announced March 2022.
-
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.
-
Return of the plane evolute
Authors:
Ragni Piene,
Cordian Riener,
Boris Shapiro
Abstract:
Below we consider the evolutes of plane real-algebraic curves and discuss some of their complex and real-algebraic properties. In particular, for a given degree $d\ge 2$, we provide lower bounds for the following four numerical invariants: 1) the maximal number of times a real line can intersect the evolute of a real-algebraic curve of degree $d$; 2) the maximal number of real cusps which can occu…
▽ More
Below we consider the evolutes of plane real-algebraic curves and discuss some of their complex and real-algebraic properties. In particular, for a given degree $d\ge 2$, we provide lower bounds for the following four numerical invariants: 1) the maximal number of times a real line can intersect the evolute of a real-algebraic curve of degree $d$; 2) the maximal number of real cusps which can occur on the evolute of a real-algebraic curve of degree $d$; 3) the maximal number of (cru)nodes which can occur on the dual curve to the evolute of a real-algebraic curve of degree $d$; 4) the maximal number of (cru)nodes which can occur on the evolute of a real-algebraic curve of degree $d$.
△ Less
Submitted 22 October, 2021;
originally announced October 2021.
-
#P-hardness proofs of matrix immanants evaluated on restricted matrices
Authors:
Istvan Miklos,
Cordian Riener
Abstract:
\#P-hardness of computing matrix immanants are proved for each member of a broad class of shapes and restricted sets of matrices. We prove \#P-hardness of computing $λ$-immanants of $0$-$1$ matrices when $λ$ has a large domino-tilable part and satisfying some technical conditions. We also give hardness proofs of some $λ$-immanants of weighted adjacency matrices of planarly drawable directed graphs…
▽ More
\#P-hardness of computing matrix immanants are proved for each member of a broad class of shapes and restricted sets of matrices. We prove \#P-hardness of computing $λ$-immanants of $0$-$1$ matrices when $λ$ has a large domino-tilable part and satisfying some technical conditions. We also give hardness proofs of some $λ$-immanants of weighted adjacency matrices of planarly drawable directed graphs, such that the shape $λ= (\mathbf{1}+λ_d)$ has size $n$ such that $|λ_d| = n^{\varepsilon}$ for some $0<\varepsilon<\frac{1}{2}$, and for some $w$, the shape $λ_d/(w)$ is tilable with $1\times 2$ dominos.
△ Less
Submitted 12 April, 2023; v1 submitted 8 March, 2021;
originally announced March 2021.
-
Symmetry reduction in AM/GM-based optimization
Authors:
Philippe Moustrou,
Helen Naumann,
Cordian Riener,
Thorsten Theobald,
Hugues Verdure
Abstract:
The arithmetic mean/geometric mean-inequality (AM/GM-inequality) facilitates classes of non-negativity certificates and of relaxation techniques for polynomials and, more generally, for exponential sums. Here, we present a first systematic study of the AM/GM-based techniques in the presence of symmetries under the linear action of a finite group. We prove a symmetry-adapted representation theorem…
▽ More
The arithmetic mean/geometric mean-inequality (AM/GM-inequality) facilitates classes of non-negativity certificates and of relaxation techniques for polynomials and, more generally, for exponential sums. Here, we present a first systematic study of the AM/GM-based techniques in the presence of symmetries under the linear action of a finite group. We prove a symmetry-adapted representation theorem and develop techniques to reduce the size of the resulting relative entropy programs. We study in more detail the complexity gain in the case of the symmetric group. In this setup, we can show in particular certain stabilization results. We exhibit several sequences of examples in growing dimensions where the size of the problem stabilizes. Finally, we provide some numerical results, emphasizing the computational speed-up.
△ Less
Submitted 8 December, 2021; v1 submitted 25 February, 2021;
originally announced February 2021.
-
Reflection groups and cones of sums of squares
Authors:
Sebastian Debus,
Cordian Riener
Abstract:
We consider cones of real forms which are sums of squares forms and invariant by a (finite) reflection group. We show how the representation theory of these groups allows to use the symmetry inherent in these cones to give more efficient descriptions. We focus especially on the $A_{n}$, $B_n$, and $D_n$ case where we use so called higher Specht polynomials to give a uniform description of these co…
▽ More
We consider cones of real forms which are sums of squares forms and invariant by a (finite) reflection group. We show how the representation theory of these groups allows to use the symmetry inherent in these cones to give more efficient descriptions. We focus especially on the $A_{n}$, $B_n$, and $D_n$ case where we use so called higher Specht polynomials to give a uniform description of these cones. These descriptions allow us, for example, to study the connection of these cones to non-negative forms. In particular, we give a new proof of a result by Harris who showed that every non-negative ternary even symmetric octic form is a sum of squares.
△ Less
Submitted 14 December, 2021; v1 submitted 19 November, 2020;
originally announced November 2020.
-
Symmetric ideals, Specht polynomials and solutions to symmetric systems of equations
Authors:
Philippe Moustrou,
Cordian Riener,
Hugues Verdure
Abstract:
An ideal of polynomials is symmetric if it is closed under permutations of variables. We relate general symmetric ideals to the so called Specht ideals generated by all Specht polynomials of a given shape. We show a connection between the leading monomials of polynomials in the ideal and the Specht polynomials contained in the ideal. This provides applications in several contexts. Most notably, th…
▽ More
An ideal of polynomials is symmetric if it is closed under permutations of variables. We relate general symmetric ideals to the so called Specht ideals generated by all Specht polynomials of a given shape. We show a connection between the leading monomials of polynomials in the ideal and the Specht polynomials contained in the ideal. This provides applications in several contexts. Most notably, this connection gives information about the solutions of the corresponding set of equations. From another perspective, it restricts the isotypic decomposition of the ideal viewed as a representation of the symmetric group.
△ Less
Submitted 16 February, 2021; v1 submitted 11 December, 2019;
originally announced December 2019.
-
Vandermonde varieties, mirrored spaces, and the cohomology of symmetric semi-algebraic sets
Authors:
Saugata Basu,
Cordian Riener
Abstract:
Let $\mathrm{R}$ be a real closed field. We prove that for each fixed $\ell, d \geq 0$, there exists an algorithm that takes as input a quantifier-free first order formula $Φ$ with atoms $P=0, P > 0, P < 0 \text{ with } P \in \mathcal{P} \subset \mathrm{D}[X_1,\ldots,X_k]^{\mathfrak{S}_k}_{\leq d}$, where $\mathrm{D}$ is an ordered domain contained in $\mathrm{R}$, and computes the ranks of the fi…
▽ More
Let $\mathrm{R}$ be a real closed field. We prove that for each fixed $\ell, d \geq 0$, there exists an algorithm that takes as input a quantifier-free first order formula $Φ$ with atoms $P=0, P > 0, P < 0 \text{ with } P \in \mathcal{P} \subset \mathrm{D}[X_1,\ldots,X_k]^{\mathfrak{S}_k}_{\leq d}$, where $\mathrm{D}$ is an ordered domain contained in $\mathrm{R}$, and computes the ranks of the first $(\ell+1)$ cohomology groups, of the symmetric semi-algebraic set defined by $Φ$. The complexity of this algorithm (measured by the number of arithmetic operations in $\mathrm{D}$) is bounded by a \emph{polynomial} in $k$ and $\mathrm{card}(\mathcal{P})$ (for fixed $d$ and $\ell$). This result contrasts with the $\mathbf{PSPACE}$-hardness of the problem of computing just the zero-th Betti number (i.e. the number of semi-algebraically connected components) in the general case for $d \geq 2$ (taking the ordered domain $\mathrm{D}$ to be equal to $\mathbb{Z}$).
The above algorithmic result is built on new representation theoretic results on the cohomology of symmetric semi-algebraic sets. We prove that the Specht modules corresponding to partitions having long lengths cannot occur with positive multiplicity in the isotypic decompositions of low dimensional cohomology modules of closed semi-algebraic sets defined by symmetric polynomials having small degrees. This result generalizes prior results obtained by the authors giving restrictions on such partitions in terms of their ranks, and is the key technical tool in the design of the algorithm mentioned in the previous paragraph.
△ Less
Submitted 4 August, 2021; v1 submitted 28 December, 2018;
originally announced December 2018.
-
Real root finding for equivariant semi-algebraic systems
Authors:
Cordian Riener,
Mohab Safey El Din
Abstract:
Let $R$ be a real closed field. We consider basic semi-algebraic sets defined by $n$-variate equations/inequalities of $s$ symmetric polynomials and an equivariant family of polynomials, all of them of degree bounded by $2d < n$. Such a semi-algebraic set is invariant by the action of the symmetric group. We show that such a set is either empty or it contains a point with at most $2d-1$ distinct c…
▽ More
Let $R$ be a real closed field. We consider basic semi-algebraic sets defined by $n$-variate equations/inequalities of $s$ symmetric polynomials and an equivariant family of polynomials, all of them of degree bounded by $2d < n$. Such a semi-algebraic set is invariant by the action of the symmetric group. We show that such a set is either empty or it contains a point with at most $2d-1$ distinct coordinates. Combining this geometric result with efficient algorithms for real root finding (based on the critical point method), one can decide the emptiness of basic semi-algebraic sets defined by $s$ polynomials of degree $d$ in time $(sn)^{O(d)}$. This improves the state-of-the-art which is exponential in $n$. When the variables $x_1, \ldots, x_n$ are quantified and the coefficients of the input system depend on parameters $y_1, \ldots, y_t$, one also demonstrates that the corresponding one-block quantifier elimination problem can be solved in time $(sn)^{O(dt)}$.
△ Less
Submitted 21 June, 2018;
originally announced June 2018.
-
Generalized eigenvalue methods for Gaussian quadrature rules
Authors:
Grigoriy Blekherman,
Mario Kummer,
Cordian Riener,
Markus Schweighofer,
Cynthia Vinzant
Abstract:
A quadrature rule of a measure $μ$ on the real line represents a convex combination of finitely many evaluations at points, called nodes, that agrees with integration against $μ$ for all polynomials up to some fixed degree. In this paper, we present a bivariate polynomial whose roots parametrize the nodes of minimal quadrature rules for measures on the real line. We give two symmetric determinanta…
▽ More
A quadrature rule of a measure $μ$ on the real line represents a convex combination of finitely many evaluations at points, called nodes, that agrees with integration against $μ$ for all polynomials up to some fixed degree. In this paper, we present a bivariate polynomial whose roots parametrize the nodes of minimal quadrature rules for measures on the real line. We give two symmetric determinantal formulas for this polynomial, which translate the problem of finding the nodes to solving a generalized eigenvalue problem.
△ Less
Submitted 30 May, 2018;
originally announced May 2018.
-
On the equivariant Betti numbers of symmetric definable sets: vanishing, bounds and algorithms
Authors:
Saugata Basu,
Cordian Riener
Abstract:
Let $\mathrm{R}$ be a real closed field. We prove that for any fixed $d$, the equivariant rational cohomology groups of closed symmetric semi-algebraic subsets of $\mathrm{R}^k$ defined by polynomials of degrees bounded by $d$ vanishes in dimensions $d$ and larger. This vanishing result is tight. Using a new geometric approach we also prove an upper bound of…
▽ More
Let $\mathrm{R}$ be a real closed field. We prove that for any fixed $d$, the equivariant rational cohomology groups of closed symmetric semi-algebraic subsets of $\mathrm{R}^k$ defined by polynomials of degrees bounded by $d$ vanishes in dimensions $d$ and larger. This vanishing result is tight. Using a new geometric approach we also prove an upper bound of $d^{O(d)} s^d k^{\lfloor d/2 \rfloor-1} $ on the equivariant Betti numbers of closed symmetric semi-algebraic subsets of $\mathrm{R}^k$ defined by quantifier-free formulas involving $s$ symmetric polynomials of degrees bounded by $d$, where $1 < d \ll s,k$. This bound is tight up to a factor depending only on $d$. These results significantly improve upon those obtained previously which were proved using different techniques. Our new methods are quite general, and also yield bounds on the equivariant Betti numbers of certain special classes of symmetric definable sets (definable sets symmetrized by pulling back under symmetric polynomial maps of fixed degree) in arbitrary o-minimal structures over $\mathrm{R}$. Finally, we utilize our new approach to obtain an algorithm with polynomially bounded complexity for computing these equivariant Betti numbers. In contrast, the problem of computing the ordinary Betti numbers of (not necessarily symmetric) semi-algebraic sets is considered to be an intractable problem, and all known algorithms for this problem have doubly exponential complexity.
△ Less
Submitted 14 February, 2018; v1 submitted 16 October, 2016;
originally announced October 2016.
-
On irreducible components of real exponential hypersurfaces
Authors:
Cordian Riener,
Nicolai Vorobjov
Abstract:
Fix any algebraic extension $\mathbb K$ of the field $\mathbb Q$ of rationals. In this article we study exponential sets $V\subset \mathbb R^n$. Such sets are described by the vanishing of so called exponential polynomials, i.e., polynomials with coefficients from $\mathbb K$, in $n$ variables, and in $n$ exponential functions. The complements of all exponential sets in $\mathbb R^n$ form a Noethr…
▽ More
Fix any algebraic extension $\mathbb K$ of the field $\mathbb Q$ of rationals. In this article we study exponential sets $V\subset \mathbb R^n$. Such sets are described by the vanishing of so called exponential polynomials, i.e., polynomials with coefficients from $\mathbb K$, in $n$ variables, and in $n$ exponential functions. The complements of all exponential sets in $\mathbb R^n$ form a Noethrian topology on $\mathbb R^n$, which we will call Zariski topology. Let $P \in {\mathbb K}[X_1, \ldots ,X_n,U_1, \ldots ,U_n]$ be a polynomial such that $$V=\{ \mathbf{x}=(x_1, \ldots , x_n) \in \mathbb R^n| P(\mathbf{x}, e^{x_1}, \ldots ,e^{x_n})=0 \}.$$ The main result of this paper states that, under Schanuel's conjecture over the reals, an exponential set $V$ of codimension 1, for which the real algebraic set $\rm Zer(P)$ is irreducible over $\mathbb K$, either is irreducible (with respect to the Zariski topology) or every of its irreducible components of codimension 1 is a rational hyperplane through the origin. The family of all possible hyperplanes is determined by monomials of $P$. In the case of a single exponential (i.e., when $P$ is independent of $U_2, \ldots , U_n$) stronger statements are shown which are independent of Schanuel's conjecture.
△ Less
Submitted 29 July, 2017; v1 submitted 20 September, 2016;
originally announced September 2016.
-
Efficient algorithms for computing the Euler-Poincaré characteristic of symmetric semi-algebraic sets
Authors:
Saugata Basu,
Cordian Riener
Abstract:
Let $\mathrm{R}$ be a real closed field and $\mathrm{D} \subset \mathrm{R}$ an ordered domain. We consider the algorithmic problem of computing the generalized Euler-Poincaré characteristic of real algebraic as well as semi-algebraic subsets of $\mathrm{R}^k$, which are defined by symmetric polynomials with coefficients in $\mathrm{D}$. We give algorithms for computing the generalized Euler-Poinca…
▽ More
Let $\mathrm{R}$ be a real closed field and $\mathrm{D} \subset \mathrm{R}$ an ordered domain. We consider the algorithmic problem of computing the generalized Euler-Poincaré characteristic of real algebraic as well as semi-algebraic subsets of $\mathrm{R}^k$, which are defined by symmetric polynomials with coefficients in $\mathrm{D}$. We give algorithms for computing the generalized Euler-Poincaré characteristic of such sets, whose complexities measured by the number the number of arithmetic operations in $\mathrm{D}$, are polynomially bounded in terms of $k$ and the number of polynomials in the input, assuming that the degrees of the input polynomials are bounded by a constant. This is in contrast to the best complexity of the known algorithms for the same problems in the non-symmetric situation, which are singly exponential. This singly exponential complexity for the latter problem is unlikely to be improved because of hardness result ($\#\mathbf{P}$-hardness) coming from discrete complexity theory.
△ Less
Submitted 11 July, 2017; v1 submitted 24 August, 2016;
originally announced August 2016.
-
Optimization approaches to quadrature: new characterizations of Gaussian quadrature on the line and quadrature with few nodes on plane algebraic curves, on the plane and in higher dimensions
Authors:
Cordian Riener,
Markus Schweighofer
Abstract:
Let $d$ and $k$ be positive integers. Let $μ$ be a positive Borel measure on $\mathbb{R}^2$ possessing finite moments up to degree $2d-1$. If the support of $μ$ is contained in an algebraic curve of degree $k$, then we show that there exists a quadrature rule for $μ$ with at most $dk$ many nodes all placed on the curve (and positive weights) that is exact on all polynomials of degree at most…
▽ More
Let $d$ and $k$ be positive integers. Let $μ$ be a positive Borel measure on $\mathbb{R}^2$ possessing finite moments up to degree $2d-1$. If the support of $μ$ is contained in an algebraic curve of degree $k$, then we show that there exists a quadrature rule for $μ$ with at most $dk$ many nodes all placed on the curve (and positive weights) that is exact on all polynomials of degree at most $2d-1$. This generalizes both Gauss and (the odd degree case of) Szegő quadrature where the curve is a line and a circle, respectively, to arbitrary plane algebraic curves. We use this result to show that, without any hypothesis on the support of $μ$, there is always a cubature rule for $μ$ with at most $\frac32d(d-1)+1$ many nodes. In both results, we show that the quadrature or cubature rule can be chosen such that its value on a certain positive definite form of degree $2d$ is minimized. We characterize the unique Gaussian quadrature rule on the line as the one that minimizes this value or several other values as for example the sum of the nodes' distances to the origin. The tools we develop should prove useful for obtaining similar results in higher-dimensional cases although at the present stage we can present only partial results in that direction.
△ Less
Submitted 29 October, 2017; v1 submitted 28 July, 2016;
originally announced July 2016.
-
Bounds on the individual Betti numbers of complex varieties, stability and algorithms
Authors:
Saugata Basu,
Cordian Riener
Abstract:
We prove graded bounds on the individual Betti numbers of affine and projective complex varieties. In particular, we give for each $p,d,r$, explicit bounds on the $p$-th Betti numbers of affine and projective subvarieties of $\mathrm{C}^k$, $\mathbb{P}^k_{\mathrm{C}}$, as well as products of projective spaces, defined by $r$ polynomials of degrees at most $d$ as a function of $p,d$ and $r$. Unlike…
▽ More
We prove graded bounds on the individual Betti numbers of affine and projective complex varieties. In particular, we give for each $p,d,r$, explicit bounds on the $p$-th Betti numbers of affine and projective subvarieties of $\mathrm{C}^k$, $\mathbb{P}^k_{\mathrm{C}}$, as well as products of projective spaces, defined by $r$ polynomials of degrees at most $d$ as a function of $p,d$ and $r$. Unlike previous bounds these bounds are independent of $k$, the dimension of the ambient space. We also prove as consequences of our technique certain homological and representational stability results for sequences of complex projective varieties which could be of independent interest. Finally, we highlight differences in computational complexities of the problem of computing Betti numbers of complex as opposed to real projective varieties.
△ Less
Submitted 19 July, 2016; v1 submitted 13 June, 2016;
originally announced June 2016.
-
Reflection groups, reflection arrangements, and invariant real varieties
Authors:
Tobias Friedl,
Cordian Riener,
Raman Sanyal
Abstract:
Let $X$ be a nonempty real variety that is invariant under the action of a reflection group $G$. We conjecture that if $X$ is defined in terms of the first $k$ basic invariants of $G$ (ordered by degree), then $X$ meets a $k$-dimensional flat of the associated reflection arrangement. We prove this conjecture for the infinite types, reflection groups of rank at most $3$, and $F_4$ and we give compu…
▽ More
Let $X$ be a nonempty real variety that is invariant under the action of a reflection group $G$. We conjecture that if $X$ is defined in terms of the first $k$ basic invariants of $G$ (ordered by degree), then $X$ meets a $k$-dimensional flat of the associated reflection arrangement. We prove this conjecture for the infinite types, reflection groups of rank at most $3$, and $F_4$ and we give computational evidence for $H_4$. This is a generalization of Timofte's degree principle to reflection groups. For general reflection groups, we compute nontrivial upper bounds on the minimal dimension of flats of the reflection arrangement meeting $X$ from the combinatorics of parabolic subgroups. We also give generalizations to real varieties invariant under Lie groups.
△ Less
Submitted 6 June, 2017; v1 submitted 22 February, 2016;
originally announced February 2016.
-
On the isotypic decomposition of cohomology modules of symmetric semi-algebraic sets: polynomial bounds on multiplicities
Authors:
Saugata Basu,
Cordian Riener
Abstract:
We consider symmetric (under the action of products of finite symmetric groups) real algebraic varieties and semi-algebraic sets, as well as symmetric complex varieties in affine and projective spaces, defined by polynomials of degrees bounded by a fixed constant $d$. We prove that if a Specht module, $\mathbb{S}^λ$, appears with positive multiplicity in the isotypic decomposition of the cohomolog…
▽ More
We consider symmetric (under the action of products of finite symmetric groups) real algebraic varieties and semi-algebraic sets, as well as symmetric complex varieties in affine and projective spaces, defined by polynomials of degrees bounded by a fixed constant $d$. We prove that if a Specht module, $\mathbb{S}^λ$, appears with positive multiplicity in the isotypic decomposition of the cohomology modules of such sets, then the rank of the partition $λ$ is bounded by $O(d)$. This implies a polynomial (in the dimension of the ambient space) bound on the number of such modules. Furthermore, we prove a polynomial bound on the multiplicities of those that do appear with positive multiplicity in the isotypic decomposition of the above mentioned cohomology modules.
We give some applications of our methods in proving lower bounds on the degrees of defining polynomials of certain symmetric semi-algebraic sets, as well as improved bounds on the Betti numbers of the images under projections of (not necessarily symmetric) bounded real algebraic sets, improving in certain situations prior results of Gabrielov, Vorobjov and Zell.
△ Less
Submitted 27 April, 2017; v1 submitted 28 February, 2015;
originally announced March 2015.
-
Deciding positivity of multisymmetric polynomials
Authors:
Paul Görlach,
Cordian Riener,
Tillmann Weißer
Abstract:
The question how to certify non-negativity of a polynomial function lies at the heart of Real Algebra and also has important applications to Optimization. In this article we investigate the question of non-negativity in the context of multisymmetric polynomials. In this setting we generalize the characterization of non-negative symmetric polynomials by adapting the method of proof developed by the…
▽ More
The question how to certify non-negativity of a polynomial function lies at the heart of Real Algebra and also has important applications to Optimization. In this article we investigate the question of non-negativity in the context of multisymmetric polynomials. In this setting we generalize the characterization of non-negative symmetric polynomials by adapting the method of proof developed by the second author. One particular case where our results can be applied is the question of certifying that a (multi-)symmetric polynomial defines a convex function. As a direct corollary of our main result we are able to derive that in the case of (multi-)symmetric polynomials of a fixed degree testing for convexity can be done in a time which is polynomial in the number of variables. This is in sharp contrast to the general case, where it is known that testing for convexity is NP-hard already in the case of quartic polynomials.
△ Less
Submitted 4 October, 2015; v1 submitted 9 September, 2014;
originally announced September 2014.
-
Symmetric semi-algebraic sets and non-negativity of symmetric polynomials
Authors:
Cordian Riener
Abstract:
The question of how to certify the non-negativity of a polynomial function lies at the heart of Real Algebra and it also has important applications to Optimization. In the setting of symmetric polynomials Timofte provided a useful way of certifying non-negativity of symmetric polynomials that are of a fixed degree. In this note we present more general results which naturally generalize Timofte's s…
▽ More
The question of how to certify the non-negativity of a polynomial function lies at the heart of Real Algebra and it also has important applications to Optimization. In the setting of symmetric polynomials Timofte provided a useful way of certifying non-negativity of symmetric polynomials that are of a fixed degree. In this note we present more general results which naturally generalize Timofte's setting. We investigate families of polynomials that allow special representations in terms of power-sum polynomials.These in particular also include the case of symmetric polynomials of fixed degree. Therefore, we recover the consequences of Timofte's original statements as a corollary. Thus, this note also provides an alternative and simple proof of Timofte's original statements.
△ Less
Submitted 20 October, 2015; v1 submitted 2 September, 2014;
originally announced September 2014.
-
Bounding the equivariant Betti numbers of symmetric semi-algebraic sets
Authors:
Saugata Basu,
Cordian Riener
Abstract:
Let $\mathrm{R}$ be a real closed field. The problem of obtaining tight bounds on the Betti numbers of semi-algebraic subsets of $\mathrm{R}^k$ in terms of the number and degrees of the defining polynomials has been an important problem in real algebraic geometry with the first results due to Ole{\uı}nik and Petrovski{\uı}, Thom and Milnor. These bounds are all exponential in the number of variabl…
▽ More
Let $\mathrm{R}$ be a real closed field. The problem of obtaining tight bounds on the Betti numbers of semi-algebraic subsets of $\mathrm{R}^k$ in terms of the number and degrees of the defining polynomials has been an important problem in real algebraic geometry with the first results due to Ole{\uı}nik and Petrovski{\uı}, Thom and Milnor. These bounds are all exponential in the number of variables $k$. Motivated by several applications in real algebraic geometry, as well as in theoretical computer science, where such bounds have found applications, we consider in this paper the problem of bounding the equivariant Betti numbers of symmetric algebraic and semi-algebraic subsets of $\mathrm{R}^k$. We obtain several asymptotically tight upper bounds. In particular, we prove that if $S\subset \mathrm{R}^k$ is a semi-algebraic subset defined by a finite set of $s$ symmetric polynomials of degree at most $d$, then the sum of the $\mathfrak{S}_k$-equivariant Betti numbers of $S$ with coefficients in $\mathbb{Q}$ is bounded by $(skd)^{O(d)}$. Unlike the classical bounds on the ordinary Betti numbers of real algebraic varieties and semi-algebraic sets, the above bound is polynomial in $k$ when the degrees of the defining polynomials are bounded by a constant. As an application we improve the best known bound on the ordinary Betti numbers of the projection of a compact algebraic set improving for any fixed degree the best previously known bound for this problem due to Gabrielov, Vorobjov and Zell.
△ Less
Submitted 5 October, 2016; v1 submitted 23 December, 2013;
originally announced December 2013.
-
Symmetric nonnegative forms and sums of squares
Authors:
Grigoriy Blekherman,
Cordian Riener
Abstract:
We study symmetric nonnegative forms and their relationship with symmetric sums of squares. For a fixed number of variables $n$ and degree $2d$, symmetric nonnegative forms and symmetric sums of squares form closed, convex cones in the vector space of $n$-variate symmetric forms of degree $2d$. Using representation theory of the symmetric group we characterize both cones in a uniform way. Further,…
▽ More
We study symmetric nonnegative forms and their relationship with symmetric sums of squares. For a fixed number of variables $n$ and degree $2d$, symmetric nonnegative forms and symmetric sums of squares form closed, convex cones in the vector space of $n$-variate symmetric forms of degree $2d$. Using representation theory of the symmetric group we characterize both cones in a uniform way. Further, we investigate the asymptotic behavior when the degree $2d$ is fixed and the number of variables $n$ grows. Here, we show that, in sharp contrast to the general case, the difference between symmetric nonnegative forms and sums of squares does not grow arbitrarily large for any fixed degree $2d$. We consider the case of symmetric quartic forms in more detail and give a complete characterization of quartic symmetric sums of squares. Furthermore, we show that in degree $4$ the cones of nonnegative symmetric forms and symmetric sums of squares approach the same limit, thus these two cones asymptotically become closer as the number of variables grows. We conjecture that this is true in arbitrary degree $2d$.
△ Less
Submitted 17 February, 2020; v1 submitted 14 May, 2012;
originally announced May 2012.
-
Exploiting symmetries in SDP-relaxations for polynomial optimization
Authors:
Cordian Riener,
Thorsten Theobald,
Lina Jansson Andrén,
Jean B. Lasserre
Abstract:
In this paper we study various approaches for exploiting symmetries in polynomial optimization problems within the framework of semi definite programming relaxations. Our special focus is on constrained problems especially when the symmetric group is acting on the variables. In particular, we investigate the concept of block decomposition within the framework of constrained polynomial optimization…
▽ More
In this paper we study various approaches for exploiting symmetries in polynomial optimization problems within the framework of semi definite programming relaxations. Our special focus is on constrained problems especially when the symmetric group is acting on the variables. In particular, we investigate the concept of block decomposition within the framework of constrained polynomial optimization problems, show how the degree principle for the symmetric group can be computationally exploited and also propose some methods to efficiently compute in the geometric quotient.
△ Less
Submitted 7 August, 2012; v1 submitted 2 March, 2011;
originally announced March 2011.
-
A Note on Extrema of Linear Combinations of Elementary Symmetric Functions
Authors:
Alexander Kovačec,
Salma Kuhlmann,
Cordian Riener
Abstract:
This note provides a new approach to a result of Foregger and related earlier results by Keilson and Eberlein. Using quite different techniques, we prove a more general result from which the others follow easily. Finally, we argue that the proof given by Foregger is flawed.
This note provides a new approach to a result of Foregger and related earlier results by Keilson and Eberlein. Using quite different techniques, we prove a more general result from which the others follow easily. Finally, we argue that the proof given by Foregger is flawed.
△ Less
Submitted 21 March, 2013; v1 submitted 2 March, 2011;
originally announced March 2011.
-
On the degree and half degree principle for symmetric polynomials
Authors:
Cordian Riener
Abstract:
In this note we aim to give a new, elementary proof of a statement that was first proved by Timofte. It says that a symmetric real polynomial $F$ of degree $d$ in $n$ variables is positive on $\R^n$ (on $\R^{n}_{\geq 0}$) if and only if it is so on the subset of points with at most $\max\{\lfloor d/2\rfloor,2\}$ distinct components. We deduce Timofte's original statement as a corollary of a slight…
▽ More
In this note we aim to give a new, elementary proof of a statement that was first proved by Timofte. It says that a symmetric real polynomial $F$ of degree $d$ in $n$ variables is positive on $\R^n$ (on $\R^{n}_{\geq 0}$) if and only if it is so on the subset of points with at most $\max\{\lfloor d/2\rfloor,2\}$ distinct components. We deduce Timofte's original statement as a corollary of a slightly more general statement on symmetric optimization problems. The idea we are using to prove this statement is to relate it to a linear optimization problem in the orbit space. The fact that for the case of the symmetric group $S_n$ this can be viewed as a question on normalized univariate real polynomials with only real roots allows us to conclude the theorems in a very elementary way. We hope that the methods presented here will make it possible to derive similar statements also in the case of other groups.
△ Less
Submitted 10 November, 2011; v1 submitted 25 January, 2010;
originally announced January 2010.
