Optional stopping theorem

A discrete-time version of the theorem is given below, with \mathbb{N}_0 denoting the set of natural numbers, including zero. Let X=(X_t)_{t\in\mathbb{N}_0} be a discrete-time martingale and \tau a stopping time with values in \mathbb{N}_0\cup\{\infty\}, both with respect to a filtration (\mathcal F_t)_{t\in\mathbb{N}_0}. Assume that one of the following three conditions holds: :() The stopping time \tau is almost surely bounded, i.e., there exists a constant c\in\mathbb{N} such that \tau\le c almost surely. :() The stopping time \tau has finite expectation and the conditional expectations of the absolute value of the martingale increments are almost surely bounded. More precisely, \mathbb{E}[\tau] and there exists a constant c such that \mathbb{E}\bigl[|X_{t+1}-X_t|\,\big\vert\,{\mathcal F}_t\bigr]\le c almost surely on the event \{\tau>t\} for all t\in\mathbb{N}_0. :() There exists a constant c such that |X_{\min\{t,\tau\}}|\le c almost surely for all t\in\mathbb{N}_0. Then X_\tau is an almost surely well-defined random variable and \mathbb{E}[X_{\tau}]=\mathbb{E}[X_0]. Similarly, if the stochastic process X=(X_t)_{t\in\mathbb{N}_0} is a submartingale or a supermartingale and one of the above conditions holds, then: \mathbb{E}[X_{\tau}]\ge\mathbb{E}[X_0] for a submartingale, and \mathbb{E}[X_{\tau}]\le\mathbb{E}[X_0] for a supermartingale. Remark Under condition () it is possible that \tau=\infty happens with positive probability. On this event, X_\tau is defined as the almost surely existing pointwise limit of X=(X_t)_{t\in\mathbb{N}_0}. See the proof below for details. == Applications ==

The optional stopping theorem has widespread applications in probability, paradox resolution, and random walk theory: • Impossibility of perfect betting strategies: The theorem can be used to prove the impossibility of successful betting strategies for a gambler with a finite lifetime (giving condition ()) or a house limit on bets (condition ()). • Suppose that the gambler can wager up to c dollars on a fair coin flip at times 1, 2, 3, etc., winning their wager if the coin comes up heads and losing it if the coin comes up tails. • Suppose further that the gambler can quit whenever they like, but cannot predict the outcome of gambles that have not happened yet. • The gambler's fortune over time is a martingale, and the time \tau at which they decide to quit (or go broke and are forced to quit) is a stopping time. So the theorem says that \mathbb{E}[X_{\tau}]=\mathbb{E}[X_0]. In other words, the gambler leaves with the same amount of money on average as when they started. • The same result holds if the gambler has a finite limit on their line of credit or how far in debt they may go, rather than a house limit on individual bets. • Expected stop position of a random walk: Suppose a random walk starting at a\ge 0 goes up or down by one with equal probability on each step. • Suppose further that the walk stops if it reaches 0 or m\ge a; the time at which this first occurs is a stopping time. • If it is known that the expected time at which the walk ends is finite (e.g., from Markov chain theory), the optional stopping theorem predicts that the expected stop position is equal to the initial position a. • Solving a=pm+(1-p)0 for the probability p that the walk reaches m before 0 gives p=a/m. • Expected time of a random walk: Consider a random walk X that starts at 0 and stops if it reaches -m or +m, and use the Y_n=X_n^2-n martingale from . If \tau is the time at which X first reaches \pm m, then 0=\mathbb{E}[Y_0]=\mathbb{E}[Y_\tau]=m^2-\mathbb{E}[\tau]. This directly gives \mathbb{E}[\tau]=m^2. • Violations of the theorem (Counterexamples): Care must be taken to ensure that one of the conditions of the theorem holds. • For example, suppose the last example had instead used a 'one-sided' stopping time, so that stopping only occurred at +m, not at -m. • The value of X at this stopping time would therefore be m, meaning the expectation value \mathbb{E}[X_\tau] must also be m. • This seemingly violates the theorem which would give \mathbb{E}[X_\tau]=X_0=0. The failure of the optional stopping theorem in this case shows that all three of the conditions fail for a one-sided stopping time with an unrestricted state space. == Proof ==

Let X^\tau denote the stopped process, which is also a martingale (or a submartingale or supermartingale, respectively). The framework of the proof relies on analyzing this process under the provided conditions: • Under condition () or (), the random variable X^\tau is well defined. • Under condition () the stopped process X^\tau is bounded, hence by Doob's martingale convergence theorem it converges almost surely pointwise to a random variable which we call X_\tau. If condition () holds, then the stopped process X^\tau is bounded by the constant random variable M:=c. Otherwise, writing the stopped process as X_t^\tau=X_0+\sum_{s=0}^{\tau-1 \land t-1}(X_{s+1}-X_s),\quad t\in\mathbb{N}_0 gives X_t^\tau\le M for all t\in\mathbb{N}_0, where M:=|X_0|+\sum_{s=0}^{\tau-1}|X_{s+1}-X_s|=|X_0|+\sum_{s=0}^\infty|X_{s+1}-X_s|\cdot\mathbf{1}_{\{\tau>s\}}. By the monotone convergence theorem, \mathbb{E}[M]=\mathbb{E}[|X_0|]+\sum_{s=0}^\infty \mathbb{E}\bigl[|X_{s+1}-X_s|\cdot\mathbf{1}_{\{\tau>s\}}\bigr]. If condition () holds, then this series only has a finite number of non-zero terms, hence M is integrable. If condition () holds, then we continue by inserting a conditional expectation and using that the event \{\tau>s\} is known at time s (note that \tau is assumed to be a stopping time with respect to the filtration). This yields: \begin{align}\mathbb{E}[M] &=\mathbb{E}[|X_0|]+\sum_{s=0}^\infty \mathbb{E}\bigl[\underbrace{\mathbb{E}\bigl[|X_{s+1}-X_s|\big|{\mathcal F}_s\bigr]\cdot\mathbf{1}_{\{\tau>s\}}}_{\le\,c\,\mathbf{1}_{\{\tau>s\}}\text{ a.s. by (b)}}\bigr]\\ &\le\mathbb{E}[|X_0|]+c\sum_{s=0}^\infty\mathbb{P}(\tau>s)\\ &=\mathbb{E}[|X_0|]+c\,\mathbb{E}[\tau] where a representation of the expected value of non-negative integer-valued random variables is used for the last equality. Therefore, under any one of the three conditions in the theorem, the stopped process is dominated by an integrable random variable M. Since the stopped process X^\tau converges almost surely to X_\tau, the dominated convergence theorem implies: \mathbb{E}[X_\tau]=\lim_{t\to\infty}\mathbb{E}[X_t^\tau]. By the martingale property of the stopped process, \mathbb{E}[X_t^\tau]=\mathbb{E}[X_0],\quad t\in\mathbb{N}_0, hence \mathbb{E}[X_\tau]=\mathbb{E}[X_0]. Similarly, if X is a submartingale or supermartingale, respectively, change the equality in the last two formulas to the appropriate inequality. == References ==