Probability Flow ODE
A probability flow ODE is a deterministic trajectory whose marginal distributions match those of a corresponding diffusion SDE. It is useful because a score-based model can be sampled by integrating an ODE rather than simulating stochastic reverse diffusion.
For a forward SDE:
the probability flow ODE is:
is the drift, is the diffusion coefficient, is Brownian motion, and is the score at time .
The deterministic velocity is:
where . This makes probability flow ODEs a bridge between score models and flow-like deterministic transport.
Why It Matters
- Turns stochastic diffusion sampling into deterministic ODE integration.
- Connects score-based diffusion to continuous normalizing flow views.
- Enables likelihood computation through instantaneous change of variables when the divergence is tractable or estimated.
- Makes solver choice part of the sampling contract.
Change of Variables
For an ODE:
the log density evolves as:
where is the divergence of the velocity field. Integrating this term gives a likelihood route:
depending on time direction convention. The sign should be checked in each paper’s notation.
Sampling Contract
Sampling starts from noise and integrates backward to :
where is the learned or score-derived velocity field.
The ODE can also be read as deterministic transport:
where may be parameterized directly, as in Flow matching, or derived from a score field:
This makes the learned object explicit: some papers train a score, others train a velocity, and others train a denoiser that is converted to one of these.
ODE Solver Boundary
The sampler is not only the learned model:
where NFE is the number of function evaluations. Quality, speed, and diversity comparisons are weak unless solver settings are fixed or reported.
| Solver Choice | Claim Affected |
|---|---|
| NFE / step count | speed-quality tradeoff |
| adaptive tolerance | wall time and numerical error |
| time discretization | endpoint detail and stability |
| stochastic vs deterministic | sample diversity |
| divergence estimator | likelihood accuracy |
Checks
- Which ODE solver, tolerance, and number of function evaluations are used?
- Is the score accurate enough at the integration endpoints?
- Does deterministic sampling reduce diversity for the task?
- Are coordinates, graphs, or sequences integrated in a representation that preserves validity?
- Is the comparison fair against stochastic samplers with different compute budgets?
- Is the model trained as score prediction, noise prediction, denoising, or velocity prediction?
- Is likelihood estimation claimed, or only deterministic sampling?
- Is the sign convention for forward/backward integration stated?
- Is divergence computed exactly, approximated, or not used?