Sharp Quadratic Majorants of Weighted Power Means of Quadratic Forms
Abstract
We study when concave weighted power means of positive semidefinite quadratic forms admit sharp quadratic upper bounds. The starting point is the scalar fact that each such mean is the lower envelope of its supporting affine majorants. After the scalar variables are replaced by quadratic forms, the resulting bounds may cease to be extremal among quadratic majorants. We prove that sharpness is preserved under a lower-envelope convexity condition on the joint numerical range. In that case, a nonlinear inequality involving power means of quadratic forms is certified, with no gap, by a single linear matrix inequality. The condition is weaker than convexity of the full augmented range and holds automatically for two quadratic forms. This yields a sharp Peter-Paul-type majorant for the whole concave power-mean scale, including Yuan's lemma and the weighted geometric mean as special cases. We also derive variational formulas for the extrema of sums of power means of quadratic forms on the unit sphere; under the same lower-envelope condition, the maximization becomes an exact convex eigenvalue minimization. A finite-horizon control application illustrates how the certificate can be used constructively.
Related
- A power-saving asymptotic for a Möbius-weighted GCD quadratic form
- Sharp L2 → L4 extension inequality for quadratic surfaces in finite fields
- Sharp Strichartz estimates on quadratic irrational tori
- Sharp Quadratic Bounds for Anticanonical Volumes of Weak Fano Surfaces
- Iwasawa invariants of sharp/flat $2$-adic L-functions for quadratic twists of elliptic curves
BibTeX
@misc{peregudin2026sharp,
title = {{Sharp Quadratic Majorants of Weighted Power Means of Quadratic Forms}},
author = {Alexey Peregudin},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.39921},
eprint = {2609.39921},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.39921},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Sharp Quadratic Majorants of Weighted Power Means of Quadratic Forms
AU - Alexey Peregudin
PY - 2026
DA - 2026/09/30
PB - arXiv
DO - 10.48550/arxiv.2609.39921
UR - https://arxiv.org/abs/2609.39921
AB - We study when concave weighted power means of positive semidefinite quadratic forms admit sharp quadratic upper bounds. The starting point is the scalar fact that each such mean is the lower envelope of its supporting affine majorants. After the scalar variables are replaced by quadratic forms, the resulting bounds may cease to be extremal among quadratic majorants. We prove that sharpness is preserved under a lower-envelope convexity condition on the joint numerical range. In that case, a nonlinear inequality involving power means of quadratic forms is certified, with no gap, by a single linear matrix inequality. The condition is weaker than convexity of the full augmented range and holds automatically for two quadratic forms. This yields a sharp Peter-Paul-type majorant for the whole concave power-mean scale, including Yuan's lemma and the weighted geometric mean as special cases. We also derive variational formulas for the extrema of sums of power means of quadratic forms on the unit sphere; under the same lower-envelope condition, the maximization becomes an exact convex eigenvalue minimization. A finite-horizon control application illustrates how the certificate can be used constructively.
ER -