Homogeneous polynomial approximation on symmetric convex bodies: A proof of Kroó's conjecture
Abstract
We resolve Kroó's 2004 conjecture on homogeneous polynomial approximation in every dimension, without smoothness or curvature assumptions. For every origin-symmetric convex body K⊂ℝd with nonempty interior, every continuous real function on ∂ K is uniformly approximated by sums of homogeneous polynomials of degrees n and n+1 as n→∞. Moreover, approximation of the constant function by homogeneous polynomials of degree 2n is uniform over all such bodies in each fixed dimension. Via homogenization, we also resolve Kroó's 2019 weighted approximation conjecture for every convex admissible weight on Euclidean space. The key construction produces homogeneous polynomials with a common Gaussian boundary profile and localization errors controlled by arbitrary polynomial weights. Its analytic core is a weighted Gaussian approximation theorem: for d≥2, sufficiently broad Gaussians on ℝd−1 can be approximated by e−fF, where f is nonnegative, convex and Lipschitz with f(0)=0, and F is a Schwartz function with Fourier support in an arbitrarily small ball about the origin. Small Fourier support allows Taylor truncation to a lower degree, while the remainder enforces decay through homogenization. We then use positive spherical quadrature and degree raising to yield the full approximation theorem.
Related
- A Proof of McLeod's 1959 Conjecture on Complete Homogeneous Symmetric Ratios
- Closed formula for Kronecker structure constants of a molecular basis of homogeneous symmetric functions
- Sparsity-preserving means on a homogeneous convex cone
- A Polynomial PDE Criterion for the −n/d Root of the Bernstein-Sato polynomial of Homogeneous Ideals
- One-Dimensional Symmetry Reductions of the Monge-Ampère Equation on Some Semi-Homogeneous Convex Cones in ℝ4
BibTeX
@misc{colbrook2026homogeneous,
title = {{Homogeneous polynomial approximation on symmetric convex bodies: A proof of Kroó's conjecture}},
author = {Matthew J. Colbrook},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.38877},
eprint = {2610.38877},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.38877},
}
RIS
TY - UNPB
TI - Homogeneous polynomial approximation on symmetric convex bodies: A proof of Kroó's conjecture
AU - Matthew J. Colbrook
PY - 2026
DA - 2026/10/28
PB - arXiv
DO - 10.48550/arxiv.2610.38877
UR - https://arxiv.org/abs/2610.38877
AB - We resolve Kroó's 2004 conjecture on homogeneous polynomial approximation in every dimension, without smoothness or curvature assumptions. For every origin-symmetric convex body K⊂ℝ^d with nonempty interior, every continuous real function on ∂ K is uniformly approximated by sums of homogeneous polynomials of degrees n and n+1 as n→∞. Moreover, approximation of the constant function by homogeneous polynomials of degree 2n is uniform over all such bodies in each fixed dimension. Via homogenization, we also resolve Kroó's 2019 weighted approximation conjecture for every convex admissible weight on Euclidean space. The key construction produces homogeneous polynomials with a common Gaussian boundary profile and localization errors controlled by arbitrary polynomial weights. Its analytic core is a weighted Gaussian approximation theorem: for d≥2, sufficiently broad Gaussians on ℝ^d−1 can be approximated by e^−fF, where f is nonnegative, convex and Lipschitz with f(0)=0, and F is a Schwartz function with Fourier support in an arbitrarily small ball about the origin. Small Fourier support allows Taylor truncation to a lower degree, while the remainder enforces decay through homogenization. We then use positive spherical quadrature and degree raising to yield the full approximation theorem.
ER -