Exercises
ex04-01
EasyCompute using the recurrence .
You need and . Recall and for all .
Apply the recurrence
.
ex04-02
EasyVerify that by computing each .
, , . Compute and .
Compute all values
, , , , . Sum: .
ex04-03
EasyA box contains 20 light bulbs, of which 4 are defective. You draw 5 without replacement. What is ?
Use the hypergeometric PMF with , , , .
Apply the formula
$
ex04-04
EasyIf , compute .
Sum .
Direct computation
$
ex04-05
EasyShow that the sum for all .
Every permutation of has some number of cycles.
Counting argument
counts permutations of with exactly cycles. Since every permutation has some number of cycles (), and these sets are disjoint: (Note for .)
ex04-06
MediumProve the identity for all .
Count the number of functions by conditioning on the size of the image .
There are ways to choose the image, surjections onto it.
Condition on the image size
A function has for some . Choose the -element image in ways. Then is a surjection from onto a -element set, of which there are .
Sum over $k$
$
ex04-07
MediumDerive the Bell number recurrence using the EGF .
Differentiate the EGF and compare coefficients.
Differentiate
Let . Then .
Extract coefficients
x^n/n!\sum_{k=0}^{n}\binom{n}{k}B_kB_{n+1} = \sum_{k=0}^{n}\binom{n}{k}B_k\qquad \square$
ex04-08
MediumShow that the hypergeometric distribution is symmetric in its parameters: assigns the same probabilities as (interpreting the second as "draw items from a population with marked").
Show that .
Expand both sides
Both sides equal . This follows from writing each binomial coefficient in terms of factorials and observing that the numerators and denominators match.
ex04-09
MediumA base station has orthogonal pilot sequences. If devices each select a pilot uniformly at random (with replacement), what is the expected number of pilots chosen by exactly 0 devices? By exactly 1 device? Use the Poisson approximation.
Each pilot is chosen independently by each device with probability . The number of devices selecting a specific pilot is approximately .
Model
For a fixed pilot, the number of devices selecting it is approximately with .
Expected counts
Expected number of unused pilots: .
Expected number with exactly 1 device: .
ex04-10
MediumProve that the mode of is when is not an integer, and both and when is a positive integer.
Consider the ratio .
Ratio test
> 1k < \lambda< 1k > \lambdak < \lambdak > \lambda\lambda \notin \mathbb{Z}k = \lfloor\lambda\rfloor\lambda \in \mathbb{Z}^+k = \lambda\mathbb{P}(X = \lambda) = \mathbb{P}(X = \lambda - 1)\qquad \square$
ex04-11
MediumIn the birthday problem with days, use the Poisson approximation to estimate the smallest group size such that the probability of at least one shared birthday exceeds 50%.
The expected number of colliding pairs is . Model the number of collisions as Poisson.
Poisson model
The number of pairs sharing a birthday is approximately with . We want .
Solve
. .
This matches the famous answer: 23 people suffice.
ex04-12
MediumLet denote the number of integer partitions of into exactly parts. Show that for .
Consider whether the partition has a part of size 1.
Case 1: smallest part is 1
Remove one part of size 1. The remaining parts form a partition of into parts. Count: .
Case 2: all parts are $\geq 2$
Subtract 1 from each of the parts. The result is a partition of into parts (all still positive). Count: .
Combine
The two cases are exhaustive and disjoint: .
ex04-13
HardProve the explicit formula by inclusion-exclusion on surjections.
Let be the set of functions with .
Use .
Define the events
Let for . The set of surjections is .
Inclusion-exclusion
(functions avoiding specific values). By inclusion-exclusion:
Divide by $k!$
Each unordered partition into blocks corresponds to surjections (relabelings of the blocks). Therefore:
ex04-14
HardLet . Show that as , , with , , we have .
The hypergeometric converges to the binomial when , and the binomial obeys the CLT.
Hypergeometric to binomial
When , the FPC , so . Moreover, converges in distribution to .
Apply CLT
For with : . Since and have the same limiting distribution up to vanishing corrections, the result follows by Slutsky's theorem.
ex04-15
Hard(Le Cam bound — tightness) Construct an example where the Le Cam bound is tight up to a constant factor.
Try identical Bernoullis with .
Setup
Let be i.i.d. and . Then and . Le Cam bound: .
Lower bound on TV
n \to \infty(1-1/n)^n = e^{-1}(1 - 1/(2n) + \cdots)$).
Compare
Upper bound: . Lower bound: . Both are , so the Le Cam bound is tight up to a constant.
ex04-16
HardProve that for all .
Use the explicit formula for and interchange the order of summation.
Substitute the explicit formula
$
Exchange sums and simplify
Rewrite as . The inner sum telescopes, and for the alternating series yields zero by the binomial-type identity , which can also be seen from the fact that the matrix of signed Stirling numbers applied to gives zero in all non-zero coordinates.
ex04-17
HardShow that the number of derangements (permutations with no fixed points) of is using the Stirling numbers of the first kind.
A derangement has no 1-cycles. Alternatively, use inclusion-exclusion directly on fixed points.
Inclusion-exclusion
Let . Then . By inclusion-exclusion:
ex04-18
HardLet be independent with . Show that using moment generating functions.
The MGF of is .
Compute the MGF of the sum
By independence:
Identify
This is the MGF of . Since the MGF uniquely determines the distribution, .
ex04-19
Challenge(Dobinski's formula) Prove that for all .
Use the EGF and extract the coefficient of .
Alternatively, expand and identify .
From the EGF
$
Extract coefficient of $x^n/n!$
$
ex04-20
Challenge(Stein-Chen method preview) Let be dependent Bernoulli random variables with and . Using the Stein-Chen bound: apply this to the birthday problem ( people, days) to bound the total variation distance between the number of colliding pairs and .
Define .
Pairs and are dependent only if they share a person.
Setup
where . .
Compute the Stein-Chen terms
.
For the dependence term: and are dependent iff . For each pair , the number of dependent pairs is , and . So .
Bound
d = 365n = 23\leq 43/365 \approx 0.118\qquad \square$