Phase 8 - Lesson 8.2

Random Walks, Filtrations, and Information

The simple random walk as the prototype process, its scaling toward Brownian motion, and the filtration formalism that makes ‘information over time’ precise.

⏱ 50 min● Advanced🔗 Prereqs: 7.7, 8.1
↖ Phase 8 hub
Builds on: 7.7 introduced filtrations and martingales; 8.1 gave the Markov property.
Leads to: Rescaling the random walk (Donsker) constructs Brownian motion in 8.3.

Learning Objectives

Click a status chip to cycle: Not started → In progress → Studied → Practiced → Needs review → Mastered.

Key Vocabulary

Simple random walk
\(S_n=\sum_{i=1}^n \xi_i\) with i.i.d. \(\xi_i=\pm1\); symmetric if each sign has probability 1/2.
Filtration
Increasing sigma-algebras \(\F_0\subseteq\F_1\subseteq\cdots\); \(\F_n=\sigma(\xi_1,\dots,\xi_n)\) is the natural one.
Adapted process
\(X_n\) is \(\F_n\)-measurable - known at time \(n\).
Predictable process
\(H_n\) is \(\F_{n-1}\)-measurable - chosen before the time-\(n\) move (a trading position).
Increments
\(S_n-S_m\) for \(n\gt m\); independent and stationary for a random walk.
Diffusive scaling
\(\mathrm{sd}(S_n)=\sqrt n\): displacement grows like the square root of time.

Intuition & Motivation

Intuition
The simple random walk is the atom of stochastic modeling: add up independent \(\pm1\) shocks. Its mean stays 0 but its spread grows like \(\sqrt n\) - the diffusive law that says a random mover covers distance proportional to the square root of time, not time itself. Two structures organize everything that follows. A filtration is the growing record of what has happened; a process is adapted if it never sees the future and predictable if it is fixed one step in advance - exactly a trading position taken before the price moves. Rescale the walk in space by \(\sqrt n\) and in time by \(n\), and the jagged path smooths into Brownian motion; that limit is the subject of the next lesson.

The simple random walk

Definition - Simple symmetric random walk
Let \(\xi_1,\xi_2,\dots\) be i.i.d. with \(\Prob(\xi_i=+1)=\Prob(\xi_i=-1)=\tfrac12\). The walk is \(S_0=0,\ S_n=\sum_{i=1}^n\xi_i\). Increments are independent and stationary.

Since \(\E[\xi_i]=0\) and \(\Var(\xi_i)=1\): \(\E[S_n]=0\) and \(\Var(S_n)=n\), so \(\mathrm{sd}(S_n)=\sqrt n\). The walk is Markov (future depends only on the current level) and, being a sum of mean-zero independent increments, a martingale.

\[\E[S_{n+1}\mid \F_n]=S_n+\E[\xi_{n+1}]=S_n,\qquad \E[S_n^2-n\mid\F_n\text{-adjusted}]:\ \E[S_n^2]=n.\] (8.2)

Filtrations: information as a growing sigma-algebra

Definition - Natural filtration; adapted vs predictable
The natural filtration is \(\F_n=\sigma(\xi_1,\dots,\xi_n)\), the information from the first \(n\) shocks. A process \((X_n)\) is adapted if \(X_n\) is \(\F_n\)-measurable; it is predictable if \(X_n\) is \(\F_{n-1}\)-measurable.

The distinction is the whole game in trading. Your position \(H_n\) in step \(n\) must be predictable - decided using only \(\F_{n-1}\), before the shock \(\xi_n\) is revealed. Your wealth is then a martingale transform:

\[(H\cdot S)_n=\sum_{k=1}^{n}H_k\,(S_k-S_{k-1})=\sum_{k=1}^n H_k\,\xi_k.\] (8.3)
Theorem - Martingale transform stays a martingale
If \((S_n)\) is a martingale and \((H_n)\) is predictable and bounded, then the transform \((H\cdot S)_n\) is a martingale with \(\E[(H\cdot S)_n]=0\). No predictable betting strategy turns a fair game into a favorable one - the discrete no-arbitrage statement.

The quantity \(\sum_{k\le n}(S_k-S_{k-1})^2=\sum_{k\le n}\xi_k^2=n\) is the walk’s quadratic variation: the increments squared accumulate to \(n\), deterministically. Keep this fact - its continuous analogue \([B]_t=t\) is the crux of stochastic calculus.

Worked Example - Wealth from a predictable strategy is a fair game
1
Start with a symmetric walk \(S_n\) (fair coin, \(\pm1\)). Choose any predictable stake \(H_n\in\{1,2\}\) using only the past.
2
Wealth increment is \(H_n\xi_n\). Condition on \(\F_{n-1}\): \(\E[H_n\xi_n\mid\F_{n-1}]=H_n\,\E[\xi_n\mid\F_{n-1}]=H_n\cdot0=0\), since \(H_n\) is known and \(\xi_n\) is independent mean-zero.
3
Therefore \(\E[(H\cdot S)_n\mid\F_{n-1}]=(H\cdot S)_{n-1}\): the wealth is a martingale.
4
Hence \(\E[(H\cdot S)_n]=0\) for every predictable strategy - you cannot manufacture edge from a fair coin by timing or sizing.
5
This is exactly why, later, the discounted price under the risk-neutral measure is a martingale and self-financing strategies cannot arbitrage.

Interactive: random-walk paths and their spread

Common Mistakes to Avoid
  • Thinking spread grows linearly in time; for a random walk standard deviation grows like \(\sqrt n\), not \(n\).
  • Letting a position depend on the same step’s shock - that is not predictable and secretly encodes look-ahead (an arbitrage).
  • Confusing adapted with predictable: adapted knows the present, predictable is fixed one step earlier.
  • Believing a clever stake sequence can beat a fair game; the martingale-transform theorem forbids it.
Quant Practitioner Tips
  • Whenever you see ‘decided before the move’, translate it to \(\F_{n-1}\)-measurable = predictable.
  • The accumulation \(\sum(\Delta S)^2=n\) previews Ito: squared increments, not increments, carry the second-order term.
  • Diffusive \(\sqrt t\) scaling is why volatility is quoted per \(\sqrt{\text{time}}\) (annualize by \(\sqrt{252}\)).

Knowledge Check

Q1 Easy
For the simple symmetric random walk, \(\mathrm{sd}(S_n)\) grows like:
\(n\)
\(\sqrt n\)
\(\log n\)
constant
Q2 Medium
A trading position \(H_n\) that avoids look-ahead must be:
\(\F_n\)-measurable (adapted)
\(\F_{n-1}\)-measurable (predictable)
independent of the past
constant
Q3 Hard
The martingale-transform theorem implies that a predictable betting strategy on a fair game yields wealth with:
Positive expected gain
Zero expected gain (still a martingale)
Negative expected gain
Undefined expectation

Practical Exercise

Let \(S_n\) be the simple symmetric random walk. (a) Show \(M_n=S_n^2-n\) is a martingale. (b) Interpret the ‘\(-n\)’ term in light of quadratic variation.

▶ Show full solution

(a) \(\E[S_{n+1}^2\mid\F_n]=\E[(S_n+\xi_{n+1})^2\mid\F_n]=S_n^2+2S_n\E[\xi_{n+1}]+\E[\xi_{n+1}^2]=S_n^2+0+1.\) Hence \(\E[S_{n+1}^2-(n+1)\mid\F_n]=S_n^2+1-(n+1)=S_n^2-n=M_n\), so \(M_n\) is a martingale.

(b) The compensator \(n\) equals the accumulated squared increments \(\sum_{k\le n}\xi_k^2=n\), i.e. the quadratic variation of the walk. Subtracting it exactly cancels the systematic growth of \(S_n^2\), turning it into a fair game. In continuous time the same idea makes \(B_t^2-t\) a martingale, because \([B]_t=t\).

After the reveal, answer for yourself: What continuous-time statement does \(S_n^2-n\) being a martingale foreshadow?

Lesson Summary

The simple random walk sums i.i.d. \(\pm1\) shocks; it is Markov, a martingale, and spreads diffusively as \(\sqrt n\). Filtrations formalize accumulating information, distinguishing adapted (known now) from predictable (fixed one step earlier), and the martingale-transform theorem shows no predictable strategy beats a fair game. Its squared increments accumulate deterministically to \(n\), foreshadowing Brownian quadratic variation \([B]_t=t\).

Formula Sheet Additions

Diffusive scaling
\[\Var(S_n)=n,\ \mathrm{sd}(S_n)=\sqrt n\]
Distance grows like the square root of time.
Martingale transform
\[(H\cdot S)_n=\sum_{k\le n}H_k\,\xi_k,\ \E[(H\cdot S)_n]=0\]
Predictable strategies preserve fairness.
Error Log Checklist
  • Did I use \(\sqrt n\) (not \(n\)) for the standard deviation?
  • Is my strategy predictable (\(\F_{n-1}\)-measurable), not secretly using \(\xi_n\)?
  • Did I identify the compensator as accumulated squared increments?

Retrieval Practice

Close the lesson and answer from memory before checking. This is deliberate, effortful recall - the single highest-yield study action.

▶ Show retrieval prompts & answers
Q: Give the mean and standard deviation of \(S_n\) for the symmetric walk.
A: Mean 0; standard deviation \(\sqrt n\) (variance \(n\)).
Q: Distinguish adapted from predictable.
A: Adapted: \(X_n\) is \(\F_n\)-measurable (known now). Predictable: \(H_n\) is \(\F_{n-1}\)-measurable (fixed one step earlier).
Q: Why can't a predictable strategy beat a fair game?
A: The martingale transform of a martingale by a bounded predictable process is again a mean-zero martingale.

Flashcards

Click to flip. These feed the site-wide spaced-repetition queue.

Predictable process
\(H_n\) is \(\F_{n-1}\)-measurable; a position set before the move.
Random walk QV
\(\sum_{k\le n}(\Delta S_k)^2=n\); the compensator making \(S_n^2-n\) a martingale.

Completion Checklist

Confidence / mastery rating
Personal notes

Source References

This lesson synthesizes and paraphrases concepts from the sources below. No copyrighted text, problem sets, or solutions are reproduced. Return to the originals for full depth.