The Goal: Reversing the Markov Chain

The forward diffusion process is a systematic way of corrupting data $x_0$ by adding Gaussian noise iteratively over $T$ timesteps.

$$x_0 \rightarrow x_1 \rightarrow x_2 \rightarrow \dots \rightarrow x_T$$

At the end of this process, $x_T$ is essentially indistinguishable from pure Gaussian noise. Our objective now is generative modeling: we want to create new data samples that look like they came from the original data distribution $q(x_0)$. To achieve this, we need to figure out how to reverse the noising process.

Imagine starting with a sample $x_T$ drawn from a simple distribution, like the standard Gaussian $\mathcal{N}(0, I)$. If we could somehow reverse each step of the forward process, moving backward in time from $t=T$ down to $t=1$, we could potentially transform this initial noise sample $x_T$ into a realistic data sample $x_0$:

$$x_T \rightarrow x_{T-1} \rightarrow x_{T-2} \rightarrow \dots \rightarrow x_0$$

This reversal defines the generative pathway of the diffusion model.

Diagram illustrating the forward (noising) and reverse (generative) processes as Markov chains moving in opposite directions.

The forward process is defined by the transition probability $q(x_t | x_{t-1})$, which specifies how to get from $x_{t-1}$ to $x_t$ by adding a controlled amount of noise. The core goal of the reverse process is to learn the opposite transition: the probability distribution $p(x_{t-1} | x_t)$. This distribution tells us, given a noisy sample $x_t$ at timestep $t$, what the distribution over possible "less noisy" samples $x_{t-1}$ at the previous timestep looks like.

If we can successfully model this reverse transition probability $p(x_{t-1} | x_t)$ for all relevant timesteps $t$ (from $T$ down to 1), we can implement the generation procedure:

1. Start with pure noise: Sample $x_T \sim \mathcal{N}(0, I)$.
2. Iteratively denoise: For $t = T, T-1, \dots, 1$:
   • Sample $x_{t-1} \sim p(x_{t-1} | x_t)$.
3. The final sample $x_0$ is the generated output.

Therefore, the central challenge in building a diffusion model is to effectively estimate or parameterize these reverse conditional probabilities $p(x_{t-1} | x_t)$. The forward process $q(x_t | x_{t-1})$ was designed to be mathematically convenient (adding Gaussian noise). As we will see in the following sections, the true reverse transition $q(x_{t-1} | x_t, x_0)$ (note the conditioning on $x_0$) is known, but calculating the desired $q(x_{t-1} | x_t)$ requires knowing the entire data distribution, which is exactly what we are trying to learn. This intractability motivates the use of powerful function approximators, specifically neural networks, to learn a model $p_\theta(x_{t-1} | x_t)$ that approximates the true reverse transitions.

Our goal is set: learn a model that can predict the previous state $x_{t-1}$ given the current state $x_t$, enabling us to walk backward along the chain from noise to data. The next sections will detail how we formulate and train a neural network to perform this task.