Wiener Process
Wiener Process is a specific case of [[Stochastic Process|Stochastic Process]], and is the mathematical model of [[Brownian Motion|Brownian Motion]]. It is the most fundamental stochastic process in stochastic calculus and [[Diffusion Model|Diffusion Model]].
1. Definition and Properties
Wiener Process
- Starts at zero:
(almost surely) - Independent increments: For any
, increments and are independent - Gaussian increments:
, where - Continuous paths:
is almost surely continuous
[!NOTE] Intuitive Understanding
Imagine a tiny particle moving randomly in liquid due to molecular collisions:
- Each step’s direction and magnitude are random
- Overall, displacement variance grows linearly with time:
2. Basic Properties
2.1 Moments and Covariance
- Mean:
- Variance:
- Covariance:
2.2 Self-Similarity (Scale Invariance)
For any constant
2.3 Quadratic Variation
For partition of interval
This property shows that the paths of Wiener Process are almost everywhere non-differentiable.
2.4 Markov Property
Wiener Process is a [[Markov Process|Markov Process]]:
2.5 [[Martingale]] Property
Wiener Process is a [[Martingale|Martingale]]:
3. Role in Stochastic Differential Equations ([[Stochastic Differential Equation (SDE)|SDE]])
In diffusion models, the forward [[Stochastic Differential Equation (SDE)|SDE]] is written as:
-
: Infinitesimal increment of Wiener Process, representing random noise injection -
: Deterministic drift term, controlling signal decay -
: Stochastic diffusion term, controlling noise intensity
Since
4. Why Not Ordinary Gaussian Noise?
Ordinary Gaussian noise
The increment
- Temporal pointwise correlation: Future changes of Wiener Process are probabilistically independent of past changes, but the path itself is continuous
- The [[Stochastic Differential Equation (SDE)|SDE]] form allows us to continuously inject noise at infinitesimally fine time scales, which is the theoretical foundation of the reverse denoising process in diffusion models
5. Specific Role in Diffusion Models
| Role | Explanation |
|---|---|
| Forward Noising | Use
|
| Reverse Denoising | By estimating
|
| [[Probability Flow ODE]] | Eliminate the stochastic term
|
6. Important Variants
| Variant | [[Stochastic Differential Equation (SDE)|SDE]] Form | Features |
|---|---|---|
| Brownian Motion with Drift |
|
|
| Geometric Brownian Motion |
|
Used in financial modeling (Black-Scholes) |
| Ornstein-Uhlenbeck Process |
|
Mean-reverting process |
| Brownian Bridge |
|
Conditioned on
|
7. Analogical Understanding
| Concept | Analogy |
|---|---|
| Wiener Process
|
Random motion trajectory of ink particles in a cup of water |
|
|
Irregular jumps of particles within each tiny time step |
|
|
Random stirring with time-varying intensity |
9. Numerical Simulation
9.1 Simulating Wiener Process
1 | import numpy as np |
9.2 Key Observations from Simulation
- Variance grows linearly:
— paths spread out over time - Paths are continuous but nowhere differentiable: Zoom in and they stay rough
- Self-similarity: Rescaled paths look statistically identical
- Crossing behavior:
crosses zero infinitely often near
9.3 Using Wiener Process in Diffusion Models
The forward noising process in [[Diffusion Model|DDPM]] is a discretized version:
1 | def forward_diffusion(x_0, T, noise_schedule): |
[!NOTE] Continuous vs Discrete
[[Diffusion Model|DDPM]] uses discrete time; the SDE formulation via [[Stochastic Differential Equation (SDE)|SDE]] generalizes this to continuous time. Wiener Process is the bridge between them.
10. Wiener Process and [[Gaussian Process]]
Wiener Process is a specific [[Gaussian Process]] with:
- Mean function:
- Covariance kernel:
This kernel makes Wiener Process a non-stationary Gaussian Process (variance grows with time). In contrast:
| Process | Kernel | Stationarity |
|---|---|---|
| Wiener Process |
|
Non-stationary |
| Ornstein-Uhlenbeck | $\exp(-\theta | t-s |
| Brownian Bridge |
|
Non-stationary (pinned) |
11. Summary
Wiener Process provides a continuous-time, continuous-path stochastic noise model. In diffusion models, it enables the forward noising process to proceed smoothly at any time scale, and through the mathematically reversible [[Stochastic Differential Equation (SDE)|SDE]]/ODE framework, achieves controllable generation from pure noise to real data.
Core Formula Cards
[!QUOTE] Wiener Process Increment Distribution
[!QUOTE] Variance Grows with Time
[!QUOTE] Covariance Function
[!QUOTE] Quadratic Variation
[!QUOTE] Forward Diffusion [[Stochastic Differential Equation (SDE)|SDE]]
[!QUOTE] Self-Similarity
Related Concepts
- [[Diffusion Model]]
- [[DDIM]]
- [[DPM-Solver]]
- [[Flow Matching]]
- [[Stochastic Process]]
- [[Brownian Motion]]
- [[Stochastic Differential Equation (SDE)]]
- [[Itô Integral]]
- [[Itô’s Lemma]]
- [[Fokker-Planck Equation]]
- [[Kolmogorov Equations]]
- [[Langevin Dynamics]]
- [[Score Function]]
- [[Probability Flow ODE]]
- [[Markov Process]]
- [[Martingale]]
- [[Gaussian Process]]
- [[Ornstein-Uhlenbeck Process]]
- [[Poisson Process]]
Dataview Query
1 | LIST |
References
- Book:Brownian Motion and Stochastic Calculus - Karatzas & Shreve
- Book:Stochastic Differential Equations - Bernt Øksendal
- Video:MIT 18.S096 Topics in Mathematics with Applications in Finance