8
$\begingroup$

Given an random variable $Y:\Omega \to \mathbb{R}$ with finite mean $\mu$ and finite, positive variance $\sigma^2$, let $X = \frac{Y-\mu}{\sigma}$ be the renormalization with mean $0$ and variance $1$. what are some general techniques for showing that $Y$ has a normal distribution? That is, $$P(X\leqslant a) = \frac{1}{\sqrt{2\pi}}\int_{-\infty}^a e^{-t^2/2}\,dt.$$

The standard technique I know is to compute the moments or cumulants and then use the fact that the normal distribution is characterized by its moments/cumulants. Are there any other general techniques, and what are their advantages and disadvantages?


The motivation for this question is number theoretic (as with this related question), hence the number theory tags. Specifically, the motivating theorem is Selberg's central limit theorem (first published in Tsang's thesis, see also this article of Radziwill-Soundararajan) which states that for large $T$, the real valued random variable on $[T,2T]$ given by $t \mapsto \log|\zeta(\tfrac12 + it)|$ is approximately normally distributed with mean $0$ and variance $\frac{1}{2}{\log\log T}$.

Both the proofs I know of (Selberg's original proof, and that of Radziwill-Soundararajan) use the method of moments. Morally speaking, the analytic-number-theoretic input goes into showing that the contributions from the zeros of zeta can be controlled, and hence at least for the distributional question with $t \in [T,2T]$, $$\log|\zeta(\tfrac12 + it)| \simeq \Re\sum_{p\leqslant T^{o(1)}} \frac{1}{p^{1/2 + it}}.$$ One can then compute the moments of the right hand side and show that as $T \to \infty$, the moments appropriately normalized converge to the moments of a standard Gaussian.

The hope is to see if there's a way to prove Selberg's CLT in a situation where the moments are harder to compute, and so the method of moments may not be tractable.

$\endgroup$
4
  • 8
    $\begingroup$ Other methods to prove central limit theorems include Fourier-analytic methods, Stein's method, and the Lindeberg exchange method: see my lecture notes at terrytao.wordpress.com/2010/01/05/… . However, in analytic number theoretic situations moments are pretty much the only thing we can compute with much accuracy, so we are still mostly stuck with moment methods for now. $\endgroup$
    – Terry Tao
    Feb 9, 2022 at 2:01
  • 1
    $\begingroup$ There is also a heat equation proof by Petrovsky and Kolmogorov: see link: escholarship.mcgill.ca/downloads/w3763840s and here mathoverflow.net/questions/280186/… and on the same spirit information theory: mathoverflow.net/questions/182752/… $\endgroup$ Feb 9, 2022 at 4:09
  • $\begingroup$ @ThomasKojar: Thanks for the references! $\endgroup$ Feb 9, 2022 at 15:37
  • 1
    $\begingroup$ @TerryTao: Thanks for the reference! I wasn't too hopeful something could be done in my specific setup, since I wasn't even able to compute the moments, but I figured it was worth a shot to ask a wide question like this. $\endgroup$ Feb 9, 2022 at 15:43

2 Answers 2

5
$\begingroup$

There are multiple books about ways to characterize the normal distribution. For instance, Bryc’s book starts with Herschel-Maxwell’s theorem:

If $X$ and $Y$ are independent variables whose joint distribution is rotationally invariant, then $X$ and $Y$ are both normal.

He immediately notes that one can strengthen this to Polya’s theorem:

If $X$ and $Y$ are independent variables, and rotations of $\pi/4$ and $\pi/2$ leave the distribution of $X$ invariant, then $X$ and $Y$ are both normal.

Perhaps somewhere in such books you’ll find a characterization that avoids moments but is number-theoretically tractable.

$\endgroup$
1
  • $\begingroup$ Thanks for the answer/reference! This book seems to comprehensively answer the main probability question. I'll leave the question open (in the sense of not accepting an answer) for a few days, in case someone wants to give an answer focusing on the (dis/)advantages of a particular method -- otherwise will accept your answer after that. $\endgroup$ Feb 9, 2022 at 15:31
3
$\begingroup$

There is also the information-theoretic method; see Linnik (1959), Barron (1986), etc. Oliver Johnson has written an entire book on this topic.

$\endgroup$
1
  • $\begingroup$ Thanks for the reference! $\endgroup$ Feb 9, 2022 at 21:55

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.