Wald's Identity for Threshold Crossings
[9/100%]Let , where is a positive integer, is a negative integer, and . Assume that is a set of zero-mean IID rv s that can take on only the set of values , each with positive probability.
Is a stopping rule? Why or why not?
What are the possible values of ?
Find an expression for in terms of , , and , where .
Find an expression for from Wald's equality. Use this to solve for .
Consider a random walk with thresholds , . We wish to find in the absence of a lower threshold. Use the upper bound (eq. (9.46), Corollary 9.4.4) for the probability that the random walk crosses before .
Given that the random walk crosses first, find an upper bound to the probability that is crossed before a yet lower threshold at is crossed.
Given that is crossed before , upper bound the probability that is crossed before a threshold at . Extending this argument to successively lower thresholds, find an upper bound to each successive term, and find an upper bound on the overall probability that is crossed. By observing that is arbitrary, show that (9.46) is valid with no lower threshold.
This exercise verifies that Corollary 9.4.4 holds in the situation where . We have defined in this case.
Use the Wald identity at to show that
Show that
Show that
Note that the first bound above is a little stronger than the second, and note that lower bounding by is not necessarily a very weak bound, since this is the case where if is crossed, it tends to be crossed for small .
Use Wald's equality to show that if , then , where is the time of threshold crossing with one threshold at and another at .
Obtain an expression for . Your expression should involve the expected value of conditional on crossing the individual thresholds (you need not try to calculate these expected values).
Evaluate your expression for the case of a simple random walk.
Evaluate your expression when has an exponential density, for and for and where and are chosen so that .
A random walk , with , has the following probability density for :
Find the values of for which .
Let be the probability that the random walk ever crosses a threshold at for some . Find an upper bound to of the form , where is a constant that does not depend on ; evaluate .
Find a lower bound to of the form , where is the same as in (b) and is a constant that does not depend on .
Let be a sequence of IID integer-valued rv s with the PMF . Assume that for and for . Let be a random walk with . Let and be integer-valued thresholds, let be the smallest value of for which either or . Let be the stopped random walk; i.e., for and for . Let .
Consider a Markov chain in which this stopped random walk is run repeatedly until the point of stopping. That is, the Markov chain transition probabilities are given by for and for and . All other transition probabilities are and the set of states is the set of integers . Show that this Markov chain is ergodic.
Let be the set of steady-state probabilities for this Markov chain. Find the set of probabilities for the stopping states of the stopped random walk in terms of .
Find and in terms of .
Consider the following binary hypothesis testing problem: there are two hypotheses , and, conditional on each hypothesis, IID observations are drawn with conditional density or respectively.
Conditional on for the hypothesis testing problem, consider the rv s . Show that , the positive solution to , where , is given by .
Assuming that is a discrete rv (under each hypothesis), show that the tilted rv with has the PMF .
Let be the generating function martingale of (9.77), where and are IID with mean . Let be the possibly-defective stopping trial for which the process stops after crossing a threshold at (there is no negative threshold). Show that is an upper bound to the probability of threshold crossing by considering the stopped process .
The purpose of this exercise is to illustrate that the stopped process can yield useful upper bounds even when the stopping trial is defective.
Let be independent identically distributed random variables and suppose that satisfies for some . Show that for and such a value of , where .