Test sets for nonnegativity of polynomials invariant under a finite reflection group

DOI10.1016/J.JPAA.2016.01.010zbMATH Open1367.20036arXiv1502.00252OpenAlexW2963002838MaRDI QIDQ258157FDOQ258157

Authors: José Acevedo, Mauricio Velasco 

Publication date: 17 March 2016

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

Abstract: A set $Ssubsetmathbb{R}^n$ is a nonnegativity witness for a set $U$ of real homogeneous polynomials if $F$ in $U$ is nonnegative on $mathbb{R}^n$ if and only if it is nonnegative at all points of $S$. We prove that the union of the hyperplanes perpendicular to the elements of a root system $Phisubseteqmathbb{R}^n$ is a witness set for nonnegativity of forms of low degree which are invariant under the reflection group defined by $Phi$. We prove that our bound for the degree is sharp for all reflection groups which contain multiplication by $-1$. We then characterize subspaces of forms of arbitrarily high degree where this union of hyperplanes is a nonnegativity witness set. Finally we propose a conjectural generalization of Timofte's half-degree principle for finite reflection groups.

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

Recommendations

• Reflection groups and cones of sums of squares
• Symmetric semi-algebraic sets and non-negativity of symmetric polynomials
• On Nonnegativity of Symmetric Polynomials
• Deciding positivity of multisymmetric polynomials
• Reflection groups, reflection arrangements, and invariant real varieties

zbMATH Keywords

finite reflection groupshomogeneous polynomialsnonnegativity witnessTimofte's half-degree principle

Mathematics Subject Classification ID

Real algebraic sets (14P05) Reflection and Coxeter groups (group-theoretic aspects) (20F55)

Cites Work

• Title not available (Why is that?)
• Even symmetric sextics
• Basic invariants of finite reflection groups
• On the positivity of symmetric polynomial functions. I: General results
• Real even symmetric ternary forms
• Symmetric semi-algebraic sets and non-negativity of symmetric polynomials
• Invariant theory of finite groups
• Invariants of Finite Reflection Groups
• Lectures on Resolution of Singularities (AM-166)
• Title not available (Why is that?)
• On the degree and half-degree principle for symmetric polynomials
• Sum-of-squares proofs and the quest toward optimal algorithms
• Separating inequalities for nonnegative polynomials that are not sums of squares
• Semidefinite Optimization and Convex Algebraic Geometry

Cited In (4)

• Linear slices of hyperbolic polynomials and positivity of symmetric polynomial functions
• Reflection groups and cones of sums of squares
• Reflection groups, reflection arrangements, and invariant real varieties
• Irredundant test sets for Zhegalkin polynomials affine equivalent to the ball and insufficiency of this description in the general case

This page was built for publication: Test sets for nonnegativity of polynomials invariant under a finite reflection group

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