Flow and Diffusion models Part 2 - Fokker-Planck

1 minute read

Lecture 2 This is the most mathmatical chanllenging part of the lecture, but also covers all the missing knowledge I would like to learn, like Langevin and Fokker-Planck

1 Training goal

Review two models we learned so far Alt text Learning goal is to find the formula for the target vector field such taht corresponding ODE/SDE convert $p_init$ to $p_data$ Alt text

Two key concepts

  • conditional: per single data point
  • marginal: across distribution of all data points

2 Probability Path

Alt text For conditional probability path Alt text We have a example of Gaussian prob path with noise schedule s.t Alt text For marginal probablity path, this is a bit hard to digest. The key idea is to understand probability path as a trajectory in the space of distributions. Alt text The density $p_t(x)$ is unkonw because the integral is intractable.

3 Vector Field

If we simulate a ODE with a conditional vector field, then any state on the trajectory is following conditional probabilty path. Alt text The Gaussian example is given by Alt text The Marginalization Trick, which can be approved by Continity equation, Alt text

Here is the comparison of these two under ODE samples Alt text

4 Continuity Equation

CE can be interpreated by the conservation of probability mass. Alt text From this equation, we can derive the marginalization trick

5 Score Function

Score function is defined as the grad of the log of the density. and marginal score can be get from conditional score Alt text Now we do SDE extension trick. When there is diffusion terms added in the SDE, the vector field should be adjusted accordingly, so the same condition holds as in the marginalization trick. Alt text

6 Fokker-Planck Equation

SDE extension trick can be approved by Fokker-Planck equation, which is the SDE version of the continuity equation. Alt text And the physical interpretation is adding heat dispersion Alt text The proof of SDE extension is a bit confusing to me. It actually starts from continuity equation, and then satisfied with Fokker-Planck equation…

7 Summary

Alt text Alt text

Tags:

Categories:

Updated: