Density Estimation on Compact Manifolds under Intrinsic Spectral Block Variation

Abstract

We introduce an intrinsic spectral sparsity model for nonparametric density estimation on compact connected Riemannian manifolds. Instead of penalizing coefficients in an arbitrarily chosen Laplace--Beltrami eigenbasis, we group each complete eigenspace and measure the Hilbert norm of its spectral component. The resulting block-variation space is basis independent and isometry invariant. We establish its structural, atomic, and nonlinear approximation properties and clarify its relation to Sobolev, Besov, and coefficientwise spectral $\ell^1$ classes. We then construct a coordinate-free block-shrinkage estimator and prove a nonasymptotic signal-dependent $L^2$-oracle inequality that adapts to the unknown set of detectable eigenspaces. Under polynomial spectral growth, the risk theory separates the number of spectral blocks from their multiplicities and exhibits two regimes: one driven by a single high-dimensional eigenspace and the other by cumulative spectral complexity. Under matching spectral-growth and nondegeneracy assumptions, corresponding minimax lower bounds show that this multiplicity dependence is intrinsic, with sharp consequences for spheres and the rotation group $SO(3)$. Finally, we develop a positive, normalized, block-penalized exponential spectral sieve for log-densities and derive likelihood oracle inequalities together with expected Kullback--Leibler, Hellinger, and $L^2$ risk bounds. The resulting framework provides a geometry-respecting theory of sparse density estimation that remains invariant under changes of eigenbasis.

Disclosure

“ness, radius, and density envelope, combi- nations of exact spectral invariance with spatial localization, and matching lower bounds for the log-density classes. Acknowledgments During the preparation of this manuscript, the authors used OpenAI’s ChatGPT for language editing and LATEX assistance. All AI-assisted material was independently checked and revised by the authors, who take full responsibility for the mathematical content, references, and numerical results. References [1] Andre”

PDF page 23

Classification

Formatting or typesetting

Multiplier

1

Verified

2026-08-23T05:12:54.533857Z

Structural counts