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 Wt (or Bt , ωt ) satisfies the following properties:

  • Starts at zero: W0=0 (almost surely)
  • Independent increments: For any 0t1<t2<t3<t4 , increments Wt2Wt1 and Wt4Wt3 are independent
  • Gaussian increments: WtWsN(0,ts) , where 0s<t
  • Continuous paths: tWt 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: Var(Wt)=t

2. Basic Properties

2.1 Moments and Covariance

  • Mean: E[Wt]=0
  • Variance: Var(Wt)=t
  • Covariance: Cov(Ws,Wt)=min(s,t)

2.2 Self-Similarity (Scale Invariance)

For any constant c>0 , the process 1cWct has the same finite-dimensional distributions as Wt .

2.3 Quadratic Variation

For partition of interval [0,t] where 0=t0<t1<<tn=t :

limmaxΔti0i=1n(WtiWti1)2=t(almost surely)

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]]:

E[f(Wt)Fs]=E[f(Wt)Ws]

2.5 [[Martingale]] Property

Wiener Process is a [[Martingale|Martingale]]:

E[WtFs]=Ws,s<t

3. Role in Stochastic Differential Equations ([[Stochastic Differential Equation (SDE)|SDE]])

In diffusion models, the forward [[Stochastic Differential Equation (SDE)|SDE]] is written as:

dx=f(t)xdt+g(t)dWt
  • dWt : Infinitesimal increment of Wiener Process, representing random noise injection
  • f(t)xdt : Deterministic drift term, controlling signal decay
  • g(t)dWt : Stochastic diffusion term, controlling noise intensity

Since dWtN(0,dt) , this term is equivalent to adding Gaussian noise with mean zero and variance g(t)2dt at the current time step.


4. Why Not Ordinary Gaussian Noise?

Ordinary Gaussian noise ϵN(0,σ2I) is a one-time independent perturbation.
The increment dWt of Wiener Process is a continuous stochastic process:

  • 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 dWt to gradually diffuse data into pure noise
Reverse Denoising By estimating xlogpt(x) ([[Score Function]]) to reverse the effect of Wiener process
[[Probability Flow ODE]] Eliminate the stochastic term dWt , obtain deterministic ODE, but still maintain the same marginal distribution

6. Important Variants

Variant [[Stochastic Differential Equation (SDE)|SDE]] Form Features
Brownian Motion with Drift dXt=μdt+σdWt Xt=μt+σWt
Geometric Brownian Motion dXt=μXtdt+σXtdWt Used in financial modeling (Black-Scholes)
Ornstein-Uhlenbeck Process dXt=θXtdt+σdWt Mean-reverting process
Brownian Bridge dBt=Bt1tdt+dWt Conditioned on B0=B1=0

7. Analogical Understanding

Concept Analogy
Wiener Process Wt Random motion trajectory of ink particles in a cup of water
dWt Irregular jumps of particles within each tiny time step
g(t)dWt in [[Stochastic Differential Equation (SDE)|SDE]] Random stirring with time-varying intensity

9. Numerical Simulation

9.1 Simulating Wiener Process

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
import numpy as np

def simulate_wiener(T, N, n_paths=1):
"""
Simulate Wiener process paths.
T: Total time
N: Number of time steps
n_paths: Number of independent paths
"""
dt = T / N
t = np.linspace(0, T, N+1)

# Generate increments: dW ~ N(0, dt)
dW = np.sqrt(dt) * np.random.randn(n_paths, N)

# Cumulative sum to get Wiener process
W = np.zeros((n_paths, N+1))
W[:, 1:] = np.cumsum(dW, axis=1)

return t, W

9.2 Key Observations from Simulation

  • Variance grows linearly: Var(Wt)=t — 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: Wt crosses zero infinitely often near t=0

9.3 Using Wiener Process in Diffusion Models

The forward noising process in [[Diffusion Model|DDPM]] is a discretized version:

1
2
3
4
5
6
7
8
9
10
def forward_diffusion(x_0, T, noise_schedule):
"""
DDPM forward process = discrete approximation of SDE.
"""
x = x_0
for t in range(T):
beta = noise_schedule[t]
# dW ~ sqrt(dt) * N(0, I) → sqrt(beta) * N(0, I)
x = sqrt(1 - beta) * x + sqrt(beta) * torch.randn_like(x)
return x

[!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: m(t)=0
  • Covariance kernel: k(s,t)=min(s,t)

This kernel makes Wiener Process a non-stationary Gaussian Process (variance grows with time). In contrast:

Process Kernel Stationarity
Wiener Process min(s,t) Non-stationary
Ornstein-Uhlenbeck $\exp(-\theta t-s
Brownian Bridge min(s,t)st/T 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

WtWsN(0,ts),0s<t

[!QUOTE] Variance Grows with Time

Var(Wt)=t

[!QUOTE] Covariance Function

Cov(Ws,Wt)=min(s,t)

[!QUOTE] Quadratic Variation

[W]t=t

[!QUOTE] Forward Diffusion [[Stochastic Differential Equation (SDE)|SDE]]

dx=f(t)xdt+g(t)dWt

[!QUOTE] Self-Similarity

1cWct=dWt

  • [[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
2
3
LIST
FROM #Wiener Process OR #brownian_motion
SORT file.ctime DESC

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