Exercises

ex-fsp-ch10-01

Easy

Let XX be a non-negative random variable with E[X]=4\mathbb{E}[X] = 4. Use Markov's inequality to bound P(X20)\mathbb{P}(X \geq 20).

ex-fsp-ch10-02

Easy

Let XX have mean μ=10\mu = 10 and variance σ2=4\sigma^2 = 4. Use Chebyshev to bound P(X106)\mathbb{P}(|X - 10| \geq 6).

ex-fsp-ch10-03

Easy

Prove that if gg is a non-negative, non-decreasing function and g(a)>0g(a) > 0, then P(Xa)E[g(X)]/g(a)\mathbb{P}(X \geq a) \leq \mathbb{E}[g(X)]/g(a).

ex-fsp-ch10-04

Medium

Let XExp(λ)X \sim \text{Exp}(\lambda). Compute the Chernoff bound on P(Xa)\mathbb{P}(X \geq a) for a>1/λa > 1/\lambda and compare with the exact tail eλae^{-\lambda a}.

ex-fsp-ch10-05

Medium

Prove Cantelli's inequality: for XX with mean μ\mu and variance σ2\sigma^2, P(Xμa)σ2/(σ2+a2)\mathbb{P}(X - \mu \geq a) \leq \sigma^2/(\sigma^2 + a^2) for a>0a > 0.

ex-fsp-ch10-06

Medium

Let X1,,XnX_1, \ldots, X_n be i.i.d. Bernoulli(p)\text{Bernoulli}(p) with p=0.5p = 0.5. Use Hoeffding's inequality to find nn such that P(Xˉn0.50.05)0.01\mathbb{P}(|\bar{X}_n - 0.5| \geq 0.05) \leq 0.01.

ex-fsp-ch10-07

Medium

Use Jensen's inequality to prove that for any positive random variable XX: E[1/X]1/E[X].\mathbb{E}[1/X] \geq 1/\mathbb{E}[X].

ex-fsp-ch10-08

Medium

Prove that for a random variable XX with P(X[a,b])=1\mathbb{P}(X \in [a, b]) = 1: Var(X)(ba)24.\text{Var}(X) \leq \frac{(b-a)^2}{4}.

ex-fsp-ch10-09

Hard

Prove Hoeffding's Lemma: if XX is a zero-mean random variable with aXba \leq X \leq b, then E[etX]et2(ba)2/8\mathbb{E}[e^{tX}] \leq e^{t^2(b-a)^2/8}.

ex-fsp-ch10-10

Hard

Let X1,,XnX_1, \ldots, X_n be i.i.d. Poisson(λ)\text{Poisson}(\lambda). Use the Chernoff bound to show: P ⁣(Xˉn(1+δ)λ)(eδ(1+δ)(1+δ))nλ\mathbb{P}\!\left(\bar{X}_n \geq (1+\delta)\lambda\right) \leq \left(\frac{e^\delta}{(1+\delta)^{(1+\delta)}}\right)^{n\lambda} for δ>0\delta > 0.

ex-fsp-ch10-11

Hard

Use Jensen's inequality to prove that the entropy of a discrete random variable XX with X|\mathcal{X}| outcomes satisfies H(X)logXH(X) \leq \log|\mathcal{X}|, with equality iff XX is uniform.

ex-fsp-ch10-12

Easy

If XX is a non-negative RV with E[X2]=9\mathbb{E}[X^2] = 9, bound P(X6)\mathbb{P}(X \geq 6) using Markov applied to X2X^2.

ex-fsp-ch10-13

Medium

A wireless system measures channel gain h2|h|^2 which follows an exponential distribution with mean γˉ=10\bar{\gamma} = 10 (Rayleigh fading). Use the Chernoff bound to bound the outage probability P(h22)\mathbb{P}(|h|^2 \leq 2), i.e., the probability that the SNR falls below a threshold.

ex-fsp-ch10-14

Hard

Prove the Bernstein inequality: if X1,,XnX_1, \ldots, X_n are independent zero-mean RVs with XiM|X_i| \leq M a.s. and E[Xi2]=v\sum \mathbb{E}[X_i^2] = v, then for t>0t > 0: P ⁣(Xi>t)exp ⁣(t2/2v+Mt/3).\mathbb{P}\!\left(\sum X_i > t\right) \leq \exp\!\left(-\frac{t^2/2}{v + Mt/3}\right).

ex-fsp-ch10-15

Challenge

(McDiarmid's inequality.) Let f:XnRf: \mathcal{X}^n \to \mathbb{R} satisfy the bounded differences condition: changing one coordinate changes ff by at most cic_i. If X1,,XnX_1, \ldots, X_n are independent, show that P(f(X1,,Xn)E[f]t)exp(2t2/ci2)\mathbb{P}(f(X_1,\ldots,X_n) - \mathbb{E}[f] \geq t) \leq \exp(-2t^2/\sum c_i^2).

ex-fsp-ch10-16

Medium

Show that for XBinomial(n,p)X \sim \text{Binomial}(n, p), the Chernoff bound gives: P(X(1+δ)np)(eδ(1+δ)(1+δ))np.\mathbb{P}(X \geq (1+\delta)np) \leq \left(\frac{e^\delta}{(1+\delta)^{(1+\delta)}}\right)^{np}.

ex-fsp-ch10-17

Easy

Use Jensen's inequality to show that (E[X])2E[X2](\mathbb{E}[X])^2 \leq \mathbb{E}[X^2].

ex-fsp-ch10-18

Hard

(Cramér's theorem preview.) Let X1,X2,X_1, X_2, \ldots be i.i.d. with Λ(t)=logMX(t)\Lambda(t) = \log M_X(t) finite in a neighborhood of 0. Define the rate function I(a)=supt(taΛ(t))I(a) = \sup_{t}(ta - \Lambda(t)). Show that for a>E[X]a > \mathbb{E}[X]: P(Xˉna)enI(a).\mathbb{P}(\bar{X}_n \geq a) \leq e^{-nI(a)}.

ex-fsp-ch10-19

Medium

Prove the vector Chebyshev inequality: for a zero-mean random vector XRn\mathbf{X} \in \mathbb{R}^n, P(Xϵ)tr(ΣX)ϵ2.\mathbb{P}(\|\mathbf{X}\| \geq \epsilon) \leq \frac{\text{tr}(\boldsymbol{\Sigma}_X)}{\epsilon^2}.

ex-fsp-ch10-20

Challenge

(Holder's inequality.) For p,q>1p, q > 1 with 1/p+1/q=11/p + 1/q = 1, prove E[XY](E[Xp])1/p(E[Yq])1/q\mathbb{E}[|XY|] \leq (\mathbb{E}[|X|^p])^{1/p} (\mathbb{E}[|Y|^q])^{1/q}.