A priori regularity of the reverse heat flow and dimension-dependent complexity of higher-order diffusion samplers
In the authors' words
We establish arbitrary-order a priori regularity estimates for the reverse heat flow in the Ornstein--Uhlenbeck setting, that is, for the probability-flow ODE of score-based diffusion models. For compactly supported, possibly singular targets satisfying a dimension-uniform doubling condition on supporting-cap masses, we bound the iterated material derivatives of the flow and their first spatial derivatives pointwise, with constants independent of the dimension and explicit in time and support radius. The proof rests on two ingredients: a spatially uniform bound on normal-direction posterior fluctuations, which is the only point where the geometry of the target enters, and a centered posterior-moment normal form closed under material differentiation. This algebraic structure, together with a weighted regularity calculus, yields quantitative bounds at every order, including the mixed space--time directional derivatives required by Runge--Kutta stages. As an application, for exact-score sampling stopped at forward time , order- Taylor and explicit Runge--Kutta schemes reach accuracy in steps in total variation, and the Taylor scheme in steps in .
Appeared: Tuesday, September 22. arXiv. Preprint, not yet peer-reviewed.