stat.MLMar 19, 2026

Precise Performance of Linear Denoisers in the Proportional Regime

Authors: Reza Ghane, Danil Akhtiamov, Babak Hassibi

Organizations: California Institute of Technology, Pasadena, CA, 91125

Abstract

In the present paper we study the performance of linear denoisers for noisy data of the form x+z\mathbf{x} + \mathbf{z}, where x∈Rd\mathbf{x} \in \mathbb{R}^d is the desired data with zero mean and unknown covariance Σ\mathbfΣ, and z∼N(0,Σz)\mathbf{z} \sim \mathcal{N}(0, \mathbfΣ_{\mathbf{z}}) is additive noise. Since the covariance Σ\mathbfΣ is not known, the standard Wiener filter cannot be employed for denoising. Instead we assume we are given samples x1,…,xn∈Rd\mathbf{x}_1,\dots,\mathbf{x}_n \in \mathbb{R}^d from the true distribution. A standard approach would then be to estimate Σ\mathbfΣ from the samples and use it to construct an empirical" Wiener filter. However, in this paper, motivated by the denoising step in diffusion models, we take a different approach whereby we train a linear denoiser $\mathbf{W}$ from the data itself. In particular, we synthetically construct noisy samples $\hat{\mathbf{x}}_i$ of the data by injecting the samples with Gaussian noise with covariance $\mathbfΣ_1 \neq \mathbfΣ_{\mathbf{z}}$ and find the best $\mathbf{W}$ that approximates $\mathbf{W}\hat{\mathbf{x}}_i \approx \mathbf{x}_i$ in a least-squares sense. In the proportional regime $\frac{n}{d} \rightarrow κ> 1$ we use the {\it Convex Gaussian Min-Max Theorem (CGMT)} to analytically find the closed form expression for the generalization error of the denoiser obtained from this process. Using this expression one can optimize over $\mathbfΣ_1$ to find the best possible denoiser. Our numerical simulations show that our denoiser outperforms the empirical" Wiener filter in many scenarios and approaches the optimal Wiener filter as κ→∞κ\rightarrow\infty.

Figures & tables

Explore similar work

May 4, 2026

Denoising data using convex relaxations

We study the problem of denoising observations Yi=Xi+ZiY_i=X_i+Z_i, where the latent variables XiX_i are sampled from a low-dimensional manifold in Rn\mathbb{R}^n and the noise variables ZiZ_i are isotropic Gaussian. We propose a convex-relaxation estimator that first reduces dimension by principal component analysis and then projects the observations onto the convex hull of the projected latent manifold. We construct a statistical oracle that estimates its supporting hyperplanes from empirical Gaussian tail probabilities of the noisy sample. Under a lower-mass condition on the latent distribution, we prove finite-sample guarantees for the oracle and derive error bounds for the resulting denoiser. The analysis combines risk bounds for least-squares projection under convex constraints with entropy bounds for convex hulls. We also verify the assumptions of the framework for a Cryo-Electron Microscopy observation model by establishing suitable covering number and Lipschitz estimates for the associated group action and imaging operators.
Sep 29, 2026

Principled MAP estimation for inverse problems: bridging the gap between convergence and performance

Pretrained denoisers provide a powerful way to incorporate image priors into restoration algorithms. Plug-and-Play and RED approaches exploit fixed-noise-level denoisers within first-order optimization schemes, with convergence guarantees, but often struggle to achieve high-quality reconstruction on severely ill-posed inverse problems. In contrast, recent state-of-the-art approaches leverage denoisers derived from flow- or diffusion-based generative models and evaluate them along a sequence of decreasing noise levels. While these methods achieve strong empirical performance, their convergence theory remains limited. In this paper, we bridge this gap by specifically designing an algorithm that combines denoisers at decreasing noise levels with a schedule tailored to ensure convergence. From a Bayesian perspective, we prove that our method converges to a Maximum a Posteriori\textit{Maximum a Posteriori} (MAP) estimate, under suitable assumptions. Subsequently, we apply our method to various ill-posed inverse problems and show that it surpasses convergent methods while competing with state-of-the-art empirical ones.
Sep 4, 2026

Connecting Score Matching, Maximum Likelihood, and Expectation-Maximization in Mixed Linear Regression

We study variance-preserving diffusion of the response in mixed linear regression (MLR) with unknown mixing weights. Our analysis separates the statistical guarantees of score matching from the loss geometry and optimization signal at a fixed diffusion noise level. The KL divergence links the denoising score matching objective integrated over the diffusion path with the likelihood and a terminal discrepancy. Under mild regularity conditions and terminal schedule, the resulting estimator converges up to the ground truth parameters of MLR, and its scaled error converges to the Gaussian limit of the maximum-likelihood estimator. At a fixed scale of the diffusion noise level, we derive a decomposition linking the score matching loss to cross-entropy and Expectation-Maximization (EM) operators. This decomposition yields an EM-related low-noise gradient expansion with additional correction terms of latent variance. In the high-noise limit, we further characterize gradient descent on this limiting loss under isotropic covariance. Along fixed high signal-to-noise ratio rays, the score matching imbalance gradient and the latent-variance term tend to zero pointwise. Numerical experiments illustrate our theoretical findings and statistical guarantees.