On the degree and half-degree principle for symmetric polynomials

DOI10.1016/J.JPAA.2011.08.012zbMATH Open1242.05272arXiv1001.4464OpenAlexW2139517149MaRDI QIDQ425291FDOQ425291

Authors: Cordian Riener 

Publication date: 8 June 2012

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

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_{geq0}^n$) if and only if it is so on the subset of points with at most $maxlfloord/2floor,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.

Full work available at URL: https://arxiv.org/abs/1001.4464

Recommendations

• Symmetric semi-algebraic sets and non-negativity of symmetric polynomials
• On the positivity of symmetric polynomial functions. I: General results
• A note on the positivity of the even degree complete homogeneous symmetric polynomials
• Deciding positivity of multisymmetric polynomials
• On the positivity of symmetric polynomial functions. II: Lattice general results and positivity criteria for degrees 4 and 5

zbMATH Keywords

symmetric optimization problems

Mathematics Subject Classification ID

Symmetric functions and generalizations (05E05) Real polynomials: analytic properties, etc. (26C05)

Cites Work

• Ideals, varieties, and algorithms. An introduction to computational algebraic geometry and commutative algebra
• Even symmetric sextics
• On the positivity of symmetric polynomial functions. I: General results
• Real even symmetric ternary forms
• Title not available (Why is that?)
• Pólya-Schur master theorems for circular domains and their boundaries
• Algorithms in invariant theory
• Title not available (Why is that?)
• Positive symmetric functions
• Title not available (Why is that?)

Cited In (20)

• Discriminants of cyclic homogeneous inequalities of three variables
• Symmetric semi-algebraic sets and non-negativity of symmetric polynomials
• Test sets for nonnegativity of polynomials invariant under a finite reflection group
• Efficient algorithms for computing the Euler-Poincaré characteristic of symmetric semi-algebraic sets
• Linear slices of hyperbolic polynomials and positivity of symmetric polynomial functions
• New directions in real algebraic geometry. Abstracts from the workshop held March 19--24, 2023
• Rewriting techniques and degree bounds for higher order symmetric polynomials.
• Symmetry reduction in AM/GM-based optimization
• Reflection groups and cones of sums of squares
• Quantum entanglement, symmetric nonnegative quadratic polynomials and moment problems
• Symmetric ideals, Specht polynomials and solutions to symmetric systems of equations
• Computing critical points for invariant algebraic systems
• Reflection groups, reflection arrangements, and invariant real varieties
• Deciding positivity of multisymmetric polynomials
• Faster real root decision algorithm for symmetric polynomials
• Symmetric non-negative forms and sums of squares
• Optimizing Hypergraph-Based Polynomials Modeling Job-Occupancy in Queuing with Redundancy Scheduling
• Bounding the equivariant Betti numbers of symmetric semi-algebraic sets
• On nonnegative invariant quartics in type \(A\)
• Vandermonde varieties, mirrored spaces, and the cohomology of symmetric semi-algebraic sets

This page was built for publication: On the degree and half-degree principle for symmetric polynomials

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q425291)