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

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

Authors José Acevedo, Mauricio Velasco

Publication date 17 March 2016

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

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

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)

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.

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

Cites work

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

Cited in

(5)

• Reflection groups, reflection arrangements, and invariant real varieties
• On nonnegative invariant quartics in type \(A\)
• Linear slices of hyperbolic polynomials and positivity of symmetric polynomial functions
• Reflection groups and cones of sums of squares
• 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)