A filtration is a nondecreasing family of sub-sigma-algebras: . It represents information available up to each time.
A martingale relative to the filtration is a sequence such that is -measurable, , and
Iterating conditional expectation gives the analogous identity between any two ordered times.
A stopping time is a random time taking values in the nonnegative integers together with infinity and satisfying for each . Whether stopping has occurred by time can therefore be decided from information available then.
The optional stopping theorem says that for a martingale and bounded stopping times ,
For unbounded almost surely finite stopping times, additional hypotheses are essential. Sufficient versions include uniform integrability of the stopped martingale, or an integrable stopping time together with uniformly bounded increments. In the latter case, stop at and use and the dominated convergence theorem. This is bounded-increment optional stopping with integrable time.
Put . The hypothesis implies . Since and survival to implies survival to , the tower property of conditional expectation gives
Apply this at and use to obtain
This is a geometric tail bound from a uniform escape probability. The tail-sum formula for a nonnegative integer-valued variable now gives
Let be the first completion time of the word. A fresh gambler arrives before every throw with capital one, betting it all on the successive symbols . Each correct bet multiplies capital by six and each wrong bet loses it, so every bet is fair. A gambler who completes the word keeps the winnings.
At time , the gambler who bet on all four final throws has capital . The gambler who bet on the final two throws has correctly matched the suffix and has capital . There are no other survivors: the only nonempty suffixes of that are also prefixes are and . Thus the total surviving capital is .
To justify the expectation identity, independent blocks of four throws each have probability of equalling the pattern, so and . Total gambling capital minus the number of arriving unit stakes is a martingale with bounded increments before . Optional stopping therefore equates expected terminal capital with expected total stakes:
This is the waiting time for a word in independent uniform symbols. The extra reflects the overlapping occurrence of the prefix at the word's end.

Articles by others on the same topic (0)

There are currently no matching articles.