Abstract:Adding noise is easy; what about denoising? Diffusion is easy; what about reverting a diffusion? Diffusion-based generative models aim to denoise a Langevin diffusion chain, moving from a log-concave equilibrium measure $\nu$, say isotropic Gaussian, back to a complex, possibly non-log-concave initial measure $\mu$. The score function performs denoising, going backward in time, predicting the conditional mean of the past location given the current. We show that score denoising is the optimal backward map in transportation cost. What is its localization uncertainty? We show that the curvature function determines this localization uncertainty, measured as the conditional variance of the past location given the current. We study in this paper the effectiveness of the diffuse-then-denoise process: the contraction of the forward diffusion chain, offset by the possible expansion of the backward denoising chain, governs the denoising difficulty. For any initial measure $\mu$, we prove that this offset net contraction at time $t$ is characterized by the curvature complexity of a smoothed $\mu$ at a specific signal-to-noise ratio (SNR) scale $r(t)$. We discover that the multi-scale curvature complexity collectively determines the difficulty of the denoising chain. Our multi-scale complexity quantifies a fine-grained notion of average-case curvature instead of the worst-case. Curiously, it depends on an integrated tail function, measuring the relative mass of locations with positive curvature versus those with negative curvature; denoising at a specific SNR scale is easy if such an integrated tail is light. We conclude with several non-log-concave examples to demonstrate how the multi-scale complexity probes the bottleneck SNR for the diffuse-then-denoise process.

On the exact relationship between the denoising function and the data distribution

Double Descent and Overfitting under Noisy Inputs and Distribution Shift for Linear Denoisers

Dataset Denoising Based on Manifold Assumption

Infimal convolution of data discrepancies for mixed noise removal

On the Posterior Distribution in Denoising: Application to Uncertainty Quantification

Hyperspectral Image Denoising via Correntropy-Based Nonconvex Low-Rank Approximation

High-dimensional asymptotics of denoising autoencoders *

On the Relation Between Linear Diffusion and Power Iteration

High-dimensional Asymptotics of Denoising Autoencoders

Approximation from Noisy Data

Simple proof of the risk bound for denoising by exponential weights for asymmetric noise distributions

Support and distribution inference from noisy data

Matrix Denoising with Doubly Heteroscedastic Noise: Fundamental Limits and Optimal Spectral Methods

Statistical guarantees for denoising reflected diffusion models

Convergence of the denoising diffusion probabilistic models

A Note on the Convergence of Denoising Diffusion Probabilistic Models

Interpreting and Improving Diffusion Models from an Optimization Perspective

Denoising Diffusions with Optimal Transport: Localization, Curvature, and Multi-Scale Complexity

Rate-Optimal Denoising with Deep Neural Networks