🤖 AI Summary
This study addresses the ill-posedness and instability of probability flow ODEs (PF-ODEs) when employed as deterministic samplers. Grounded in the Fokker-Planck equation, regularized Lagrangian flows, and score matching theory, we develop a bilateral divergence control framework to analyze the well-posedness conditions of PF-ODEs. This analysis reveals intrinsic connections between sampling errors and network architectures, while elucidating the theoretical justification for early stopping mechanisms and the mismatch between density-weighted matching and velocity errors. Ultimately, this work proposes a set of constraint-preserving and stable design principles for invertible diffusion models. The validity of these theoretical findings is confirmed through controlled numerical experiments.
📝 Abstract
Probability-flow ordinary differential equations (PF-ODEs) are widely used as deterministic samplers for score-based diffusion models. Their usual justification is that the Fokker--Planck equation of a diffusion can be rewritten as a continuity equation driven by the score function of the forward diffusion. This identity does not, however, guarantee that the resulting velocity field generates a well-posed flow. We provide theoretical insights into the design of such deterministic samplers for generative models based on diffusions and reflected diffusions. We identify sufficient conditions for a regular Lagrangian PF-ODE flow to exist; reverse sampling and invertibility require two-sided divergence control. For learned scores, sampler stability is controlled by an unweighted velocity error, exposing a mismatch with density-weighted score matching and motivating architectural control of Jacobians, divergence, growth, and compression. Under the manifold hypothesis, positive-time regularization justifies an early-stopped PF-ODE while constants deteriorate near the data endpoint; an explicit sphere example shows that the exact deterministic flow becomes singular as the noise level vanishes even though the diffusion marginals remain well defined. These theoretical insights translate into concrete design principles for stable, invertible, and constraint-preserving diffusion samplers. We illustrate the practical relevance of these design principles using controlled numerical experiments.