Wald's Identity for Threshold Crossings

[9/100%]
Show
LaTeX

Let J=min⁡{n∣Sn≤b or Sn≥a}J = \min \left\{ n \mid S_{n} \leq b \text{ or } S_{n} \geq a\right\}, where aa is a positive integer, bb is a negative integer, and Sn=X1+X2+⋯+XnS_{n} = X_{1}+X_{2}+\cdots +X_{n}. Assume that {Xi;i≥1}\left\{ X_{i}; i \geq 1\right\} is a set of zero-mean IID rv s that can take on only the set of values {−1,0,+1}\left\{ -1, 0, +1\right\}, each with positive probability.

?
(a)

Is JJ a stopping rule? Why or why not?

(b)

What are the possible values of SJS_{J}?

(c)

Find an expression for E[SJ]\mathbb {E}\left[S_{J}\right] in terms of pp, aa, and bb, where p=P(SJ≥a)p = \mathbb {P}\left(S_{J} \geq a\right).

(d)

Find an expression for E[SJ]\mathbb {E}\left[S_{J}\right] from Wald's equality. Use this to solve for pp.

Consider a random walk with thresholds α>0\alpha > 0, β<0\beta < 0. We wish to find P(SJ≥α)\mathbb {P}\left(S_{J} \geq \alpha \right) in the absence of a lower threshold. Use the upper bound P(SJ≥α)≤exp⁡(−r∗α)\mathbb {P}\left(S_{J} \geq \alpha \right) \leq \exp (-r^{*}\alpha ) (eq. (9.46), Corollary 9.4.4) for the probability that the random walk crosses α\alpha before β\beta.

?
(a)

Given that the random walk crosses β\beta first, find an upper bound to the probability that α\alpha is crossed before a yet lower threshold at 2β2\beta is crossed.

(b)

Given that 2β2\beta is crossed before α\alpha, upper bound the probability that α\alpha is crossed before a threshold at 3β3\beta. 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 α\alpha is crossed. By observing that β\beta 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 γ(r+)<0\gamma (r_{+}) < 0. We have defined r∗=r+r^{*} = r_{+} in this case.

?
(a)

Use the Wald identity at r=r+r = r_{+} to show that

P(SJ≥α)E[exp⁡(r+SJ−Jγ(r+))∣SJ≥α]≤1. \mathbb {P}\left(S_{J} \geq \alpha \right)\mathbb {E}\left[\exp (r_{+}S_{J} - J\gamma (r_{+})) \mid S_{J} \geq \alpha \right] \leq 1.
(b)

Show that

P(SJ≥α)exp⁡[r+α−γ(r+)]≤1. \mathbb {P}\left(S_{J} \geq \alpha \right)\exp \left[r_{+}\alpha - \gamma (r_{+})\right] \leq 1.
(c)

Show that

P(SJ≥α)≤exp⁡[−r+α+γ(r+)]andP(SJ≥α)≤exp⁡[−r∗α]. \mathbb {P}\left(S_{J} \geq \alpha \right) \leq \exp \left[-r_{+}\alpha + \gamma (r_{+})\right] \qquad \text{and} \qquad \mathbb {P}\left(S_{J} \geq \alpha \right) \leq \exp \left[-r^{*}\alpha \right].
Remark.
?

Note that the first bound above is a little stronger than the second, and note that lower bounding JJ by 11 is not necessarily a very weak bound, since this is the case where if α\alpha is crossed, it tends to be crossed for small JJ.

?
(a)

Use Wald's equality to show that if X‾=0\overline{X} = 0, then E[SJ]=0\mathbb {E}\left[S_{J}\right] = 0, where JJ is the time of threshold crossing with one threshold at α>0\alpha > 0 and another at β<0\beta < 0.

(b)

Obtain an expression for P(SJ≥α)\mathbb {P}\left(S_{J} \geq \alpha \right). Your expression should involve the expected value of SJS_{J} conditional on crossing the individual thresholds (you need not try to calculate these expected values).

(c)

Evaluate your expression for the case of a simple random walk.

(d)

Evaluate your expression when XX has an exponential density, fX(x)=a1e−λx\mathsf{f}_{X}(x) = a_{1}e^{-\lambda x} for x≥0x \geq 0 and fX(x)=a2eμx\mathsf{f}_{X}(x) = a_{2}e^{\mu x} for x<0x < 0 and where a1a_{1} and a2a_{2} are chosen so that X‾=0\overline{X} = 0.

A random walk {Sn;n≥1}\left\{ S_{n}; n \geq 1\right\}, with Sn=∑i=1nXiS_{n} = \sum_{i=1}^{n} X_{i}, has the following probability density for XiX_{i}:

fX(x)={e−xe−e−1,−1≤x≤1,0,elsewhere. \mathsf{f}_{X}(x) = \begin{cases} \dfrac {e^{-x}}{e - e^{-1}}, & -1 \leq x \leq 1, \\ 0, & \text{elsewhere.} \end{cases}
?
(a)

Find the values of rr for which g(r)=E[exp⁡(rX)]=1\mathsf{g}(r) = \mathbb {E}\left[\exp (rX)\right] = 1.

(b)

Let PαP_{\alpha } be the probability that the random walk ever crosses a threshold at α\alpha for some α>0\alpha > 0. Find an upper bound to PαP_{\alpha } of the form Pα≤e−αAP_{\alpha } \leq e^{-\alpha A}, where AA is a constant that does not depend on α\alpha; evaluate AA.

(c)

Find a lower bound to PαP_{\alpha } of the form Pα≥Be−αAP_{\alpha } \geq Be^{-\alpha A}, where AA is the same as in (b) and BB is a constant that does not depend on α\alpha.

Let {Xn;n≥1}\left\{ X_{n}; n \geq 1\right\} be a sequence of IID integer-valued rv s with the PMF pX(k)=Qk\mathsf{p}_{X}(k) = Q_{k}. Assume that Qk>0Q_{k} > 0 for ∣k∣≤10\left|k\right| \leq 10 and Qk=0Q_{k} = 0 for ∣k∣>10\left|k\right| > 10. Let {Sn;n≥1}\left\{ S_{n}; n \geq 1\right\} be a random walk with Sn=X1+⋯+XnS_{n} = X_{1} + \cdots + X_{n}. Let α>0\alpha > 0 and β<0\beta < 0 be integer-valued thresholds, let JJ be the smallest value of nn for which either Sn≥αS_{n} \geq \alpha or Sn≤βS_{n} \leq \beta. Let {Sn∗;n≥1}\left\{ S_{n}^{*}; n \geq 1\right\} be the stopped random walk; i.e., Sn∗=SnS_{n}^{*} = S_{n} for n≤Jn \leq J and Sn∗=SJS_{n}^{*} = S_{J} for n>Jn > J. Let πi∗=P(SJ=i)\pi_{i}^{*} = \mathbb {P}\left(S_{J} = i\right).

?
(a)

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 Pij=Qj−iP_{ij} = Q_{j-i} for β<i<α\beta < i < \alpha and Pi0=1P_{i0} = 1 for i≤βi \leq \beta and i≥αi \geq \alpha. All other transition probabilities are 00 and the set of states is the set of integers [−9+β,9+α][-9+\beta , 9+\alpha ]. Show that this Markov chain is ergodic.

(b)

Let {πi}\left\{ \pi_{i}\right\} be the set of steady-state probabilities for this Markov chain. Find the set of probabilities {πi∗}\left\{ \pi_{i}^{*}\right\} for the stopping states of the stopped random walk in terms of {πi}\left\{ \pi_{i}\right\}.

(c)

Find E[SJ]\mathbb {E}\left[S_{J}\right] and E[J]\mathbb {E}\left[J\right] in terms of {πi}\left\{ \pi_{i}\right\}.

Consider the following binary hypothesis testing problem: there are two hypotheses X=0,X=1X=0, X=1, and, conditional on each hypothesis, IID observations Y1,…,YnY_{1}, \ldots , Y_{n} are drawn with conditional density fY∣X(y∣0)\mathsf{f}_{Y|X}(y \mid 0) or fY∣X(y∣1)\mathsf{f}_{Y|X}(y \mid 1) respectively.

?
(a)

Conditional on X=0X = 0 for the hypothesis testing problem, consider the rv s Zi=ln⁡[f(yi∣X=1)/f(yi∣X=0)]Z_{i} = \ln \left[\mathsf{f}(y_{i} \mid X=1)/\mathsf{f}(y_{i} \mid X=0)\right]. Show that r∗r^{*}, the positive solution to g(r)=1\mathsf{g}(r) = 1, where g(r)=E[exp⁡(rZi)]\mathsf{g}(r) = \mathbb {E}\left[\exp (rZ_{i})\right], is given by r∗=1r^{*} = 1.

(b)

Assuming that YY is a discrete rv (under each hypothesis), show that the tilted rv ZrZ_{r} with r=1r = 1 has the PMF pY(y∣X=1)\mathsf{p}_{Y}(y \mid X=1).

Let {Zn=exp⁡(rSn−nγ(r));n≥1}\left\{ Z_{n} = \exp \left(rS_{n} - n\gamma (r)\right); n \geq 1\right\} be the generating function martingale of (9.77), where Sn=X1+⋯+XnS_{n} = X_{1} + \cdots + X_{n} and X1,…,XnX_{1}, \ldots , X_{n} are IID with mean X‾<0\overline{X} < 0. Let JJ be the possibly-defective stopping trial for which the process stops after crossing a threshold at α>0\alpha > 0 (there is no negative threshold). Show that exp⁡(r∗α)\exp \left(r^{*}\alpha \right) is an upper bound to the probability of threshold crossing by considering the stopped process {Zn∗;n≥1}\left\{ Z_{n}^{*}; n \geq 1\right\}.

?
Remark.
?

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 X1,X2,…X_{1}, X_{2}, \ldots be independent identically distributed random variables and suppose that M(t)=E[etX1]M(t) = \mathbb {E}\left[e^{t X_{1}}\right] satisfies M(t)=1M(t) = 1 for some t>0t > 0. Show that P(Sk≥x for some k)≤e−tx\mathbb {P}\left(S_{k} \geq x \text{ for some } k\right) \leq e^{-t x} for x>0x > 0 and such a value of tt, where Sk=X1+X2+⋯+XkS_{k} = X_{1}+X_{2}+\cdots +X_{k}.

?

References

[Gal13] Gallager R.G. Stochastic Processes: Theory for Applications. Cambridge University Press, 2013.
[GrSt20] Grimmett G.R., Stirzaker D.R. Probability and Random Processes. 4th ed., Oxford University Press, 2020.