Sharp Debiasing for Smooth Functional Estimation in Banach Spaces

This paper studies the estimation of smooth functionals $f(\theta )$ of a mean parameter $\theta ={\mathbb{E}}_P[W]$ for a distribution $P$ on a general Banach space. We propose a cross-fitted estimator based on a single sample splitting and establish non-asymptotic moment bounds and Berry–Esséen bounds for both $m$-smooth and infinitely smooth functionals under the finite moment assumptions. Our framework is applied to precision matrix estimation and the inference of projection parameters in high-dimensional regression. In these Euclidean settings, the proposed estimators achieve asymptotic normality under the dimension regime $d{\log }^2(en)=o(n)$ without requiring any structural assumptions (e.g., sparsity). We discuss computational relaxations that enables polynomial-time implementation for a range of matrix functionals.