We revisit the signal denoising problem through the lens of optimal transport: the goal is to recover an unknown scalar signal distribution
X∼P from noisy observations
Y=X+σZ, with
Z being standard Gaussian independent of
X and
σ>0 a known noise level. Let
Q denote the distribution of
Y. We introduce a hierarchy of denoisers
T0,T1,…,T∞:R→R that are agnostic to the signal distribution
P, depending only on higher-order score functions of
Q. Each denoiser
TK is progressively refined using the
(2K−1)-th order score function of
Q at noise resolution
σ2K, achieving better denoising quality measured by the Wasserstein metric
W(TK♯Q,P). The limiting denoiser
T∞ identifies the optimal transport map with
T∞♯Q=P.
We provide a complete characterization of the combinatorial structure underlying this hierarchy through Bell polynomial recursions, revealing how higher-order score functions encode the optimal transport map for signal denoising. We study two estimation strategies with convergence rates for higher-order scores from i.i.d. samples drawn from
Q: (i) plug-in estimation via Gaussian kernel smoothing, and (ii) direct estimation via higher-order score matching. This hierarchy of agnostic denoisers opens new perspectives in signal denoising and empirical Bayes.