Skip to content
nonconvexcard

Catalan numbers are the moments of the semicircle law

ProofAdvanced⏱ 1 hourRandom Matricessemicirclemomentscatalanwigner

Problem

Let ρsc(x)=12π4−x2\rho_{sc}(x) = \frac{1}{2\pi}\sqrt{4-x^2} on [−2,2][-2,2].

  1. Verify ∫−22ρsc=1\int_{-2}^2\rho_{sc} = 1.
  2. Show the odd moments vanish and that the 2k2k-th moment is the Catalan number Ck=1k+1(2kk)C_k = \frac{1}{k+1}\binom{2k}{k}.
  3. Verify C1=1C_1 = 1, C2=2C_2 = 2, C3=5C_3 = 5 and interpret the second moment.

Write a complete argument. Every inequality you use should be one you could state precisely.

Hints

Hints — 0 of 2 revealed

Solution

Opening this before you have a real attempt on paper is the fastest way to feel like you understand something you cannot reproduce.

Related problems

All problems
SolvedProblemFieldTypeDifficultyTime
A variable with all moments finite that is not sub-GaussianHigh-Dim ProbabilityProofIntermediate30 min
Frobenius versus operator norm for random matricesRandom MatricesNumericalIntermediate30 min
Moments from tail bounds via the layer-cake formulaProbabilityProofIntermediate30 min
Simulate Wigner and Wishart spectra runRandom MatricesCodingIntermediate1 hour
From moment growth to a tail boundHigh-Dim ProbabilityProofAdvanced1 hour