Symmetrization on Hyperbolicity Cones

• Hyperbolicity cones are open convex sets defined by homogeneous polynomials that exhibit only real roots in a specific hyperbolicity direction.
• The symmetrization principle leverages finite group actions and the Reynolds operator to boost polynomial values within the hyperbolicity cone.
• This framework generalizes classical determinant inequalities, such as Hadamard and Fischer inequalities, through the interplay of symmetry and concavity.

The symmetrization principle on hyperbolicity cones asserts an increase in the value of a hyperbolic polynomial when that polynomial is averaged over the orbit of a finite group action that preserves both the polynomial and a prescribed hyperbolicity direction. This result connects the structure of hyperbolicity cones, group invariance, and concavity, leading to generalized inequalities for hyperbolic polynomials, with immediate consequences for principal-minor and Hadamard-type inequalities. The principle highlights the role of symmetry and convexity in optimizing polynomial values within hyperbolicity cones (Zhang, 15 Jan 2026).

1. Hyperbolic Polynomials and Hyperbolicity Cones

Let $P : \mathbb{R}^n \to \mathbb{R}$ be a homogeneous polynomial of degree $k$. Given a direction $e \in \mathbb{R}^n$, $P$ is $e$-hyperbolic if $P(e) > 0$ and, for every $x \in \mathbb{R}^n$, the univariate map $t \mapsto P(x + t e)$ only has real roots. This property allows a canonical factorization: $$P(x + t e) = P(e) \prod_{i=1}^k (t + \lambda_i(P; e, x))$$ where the $\lambda_i(P; e, x)$ are real. The (open) Gårding cone, or hyperbolicity cone, is defined as

$k$0

Gårding's theorem provides that $k$1 is a nonempty open convex cone, and that hyperbolicity is preserved together with the cone if the direction is varied inside the cone.

2. Finite Group Actions and the Reynolds Operator

Suppose a finite group $k$2 acts linearly on $k$3, fixing the hyperbolicity direction ($k$4 for all $k$5), and that $k$6 is $k$7-invariant ($k$8). The Reynolds operator, or group-averaging operator, is defined by

$k$9

This operator projects any $e \in \mathbb{R}^n$0 to the space of $e \in \mathbb{R}^n$1-fixed points.

Under these conditions, the following properties hold for every $e \in \mathbb{R}^n$2:

Condition	Description	Consequence
$e \in \mathbb{R}^n$3-invariance of $e \in \mathbb{R}^n$4	$e \in \mathbb{R}^n$5	Group orbits preserve value
$e \in \mathbb{R}^n$6 fixes $e \in \mathbb{R}^n$7	$e \in \mathbb{R}^n$8 for all $e \in \mathbb{R}^n$9	Hyperbolicity direction preserved
Reynolds operator	$P$0 is group-averaged vector	$P$1

The Reynolds operator thus yields a canonical way of symmetrizing inputs to invariant hyperbolic polynomials.

3. Hyperbolic Symmetrization Principle

The hyperbolic symmetrization principle formally states:

Let $P$2 be a homogeneous degree-$P$3 polynomial on $P$4, hyperbolic with respect to $P$5, and invariant under a finite group $P$6 fixing $P$7. For every $P$8:

• For all $P$9, $e$0, thus $e$1.
• The value under symmetrization increases:

$e$2

Equivalently, if $e$3, then $e$4 is concave on $e$5 and

$e$6

for all $e$7.

The concavity of $e$8 follows from Gårding's concavity theorem. The result leverages both the properties of the cone and the invariance under group action to ensure that averaging raises the value of the polynomial.

4. Analytical Framework and Proof Outline

The proof employs the following ingredients:

• Gårding’s Concavity Theorem: For $e$9 hyperbolic with respect to $P(e) > 0$0, the map $P(e) > 0$1 is concave on the hyperbolicity cone $P(e) > 0$2.
• Group invariance: For any $P(e) > 0$3, $P(e) > 0$4.
• Jensen’s Inequality: Concavity and invariance yield

$P(e) > 0$5

• Raising to the $P(e) > 0$6th power: This yields $P(e) > 0$7.

For the symmetric group $P(e) > 0$8, the principle specializes by invoking the Schur–Horn theorem and Birkhoff's theorem, showing that symmetrizing over coordinate permutations increases $P(e) > 0$9 and connecting majorization to hyperbolic inequalities.

5. Principal Examples: Linear Principal Minor Polynomials and Symmetries

A key example is provided by linear principal-minor (lpm) polynomials. For an $x \in \mathbb{R}^n$0 symmetric matrix $x \in \mathbb{R}^n$1 with coefficients $x \in \mathbb{R}^n$2 for $x \in \mathbb{R}^n$3, define

$x \in \mathbb{R}^n$4

where $x \in \mathbb{R}^n$5 is the principal submatrix indexed by $x \in \mathbb{R}^n$6. If $x \in \mathbb{R}^n$7 is PSD-stable (hyperbolic with respect to $x \in \mathbb{R}^n$8), it is invariant under conjugation by any diagonal sign matrix $x \in \mathbb{R}^n$9. The sign-flip subgroup associated with a partition $t \mapsto P(x + t e)$0 of $t \mapsto P(x + t e)$1, denoted as $t \mapsto P(x + t e)$2, acts by flipping signs within blocks: $t \mapsto P(x + t e)$3 Averaging over this subgroup corresponds to block-diagonal pinching, zeroing all off-block entries: $t \mapsto P(x + t e)$4 The symmetrization principle yields the hyperbolic Fischer–Hadamard inequalities: $t \mapsto P(x + t e)$5 with the classic Hadamard inequality as a special case when $t \mapsto P(x + t e)$6 is the finest partition.

6. Connections to Classical Inequalities and Broader Significance

The symmetrization principle provides a unified conceptual framework for a range of determinant and principal-minor inequalities. Classical results such as the Hadamard and Fischer inequalities are subsumed as special cases. The tools of hyperbolicity, concavity, and symmetry collectively underpin the monotonicity of values under pinching and averaging, illuminating the structure shared by these inequalities.

7. Limitations and Generalizations

The validity of the symmetrization principle requires both hyperbolicity (to guarantee convexity of $t \mapsto P(x + t e)$7 and concavity of $t \mapsto P(x + t e)$8) and invariance under the chosen group action. If either property fails, monotonicity under symmetrization does not necessarily hold. The principle generalizes to any finite group whose action preserves the hyperbolicity direction and leaves the polynomial invariant. Potential extensions include continuous group analogues, such as integration over compact Lie groups, in settings where invariance persists (Zhang, 15 Jan 2026).

A plausible implication is that symmetrization may offer effective strategies in optimization problems constrained to hyperbolicity cones, provided the symmetries of the problem and polynomial are appropriately exploited.