One of my son’s favorite nature documentary explains how deep-sea explorers have found there, within the last few decades, forms of life which are completely different from anything seen on the surface of the earth, or at more accessible depths in the ocean.

Now, in this spirit of adventure, I will discuss a recent preprint of J. Jacod, A. Nikeghbali and myself, where we try to find meaningful behavior in probabilistic phenomenon “beyond the standard limit theorems” — in particular, beyond the Central Limit Theorem. Moreover (and this is where, as a number-theorist, I find it most interesting) we find traces of these forms of life in a number of arithmetic situations. One was expected: it involves the analogy between Random Matrices and the Riemann zeta function, and it was the basic motivation behind this work (already explored previously in a slightly different way by A. Nikeghbali and M. Yor); the second was also natural: it is the finite field analogue of the previous one, where the Katz-Sarnak philosophy and techniques can be applied; and the third one was a little more unexpected: it lies in the context of the Erdös-Kác Theorem on the approximate normal distribution of the number of prime divisors of integers.

As often happens in mathematics, this example which we noticed last is rather simpler to introduce and explain than the others, so I’ll start with it. The Erdös-Kác Theorem states that for any real numbers *a* and *b*, with *a<b *we have

where *ω(n)* is the number of distinct prime divisors of *n*. This is phrased, informally, as saying that *ω(n)* is asymptotically distributed like a normal random variable with mean and variance both equal to (log log *n*), but more properly it is really the convergence in law of a *normalized version*

of *ω(n)* to a standard normal random variable, with mean 0 and variance 1. As such, this looks similar to the Central Limit Theorem, and there are indeed proofs which proceed explicitly using this idea (see this for instance).

Our main point is that, in this example and in others, one can extract meaningful behavior *without* doing the renormalization. And this is where a new type of convergence is necessary, since *ω(n)* in itself does not have a limiting distribution (when looked in the same sense as implicit above: taking *n< N* with *N* going to infinity).

This new type of convergence is expressed in a form involving the characteristic function (i.e., Fourier transform) of random variables. For the special case of *ω(n)*, it is the following formula: there exists a continuous function *Φ(u)*, defined for all real numbers *u*, with *Φ(0)=1*, and real numbers *λ _{N}* such that the limit

exists for all *u*, and is uniform on compact subsets. In fact, this is proved with an explicit formula for the limiting function and with

From this result, an easy argument with normalization shows that the normalized characteristic functions

do converge to that of a standard normal random variable, and this recovers exactly the Erdös-Kác theorem, using the characterization of convergence in law by means of characteristic functions (P. Lévy’s theorem).

The first factor of the left-hand side of the expression (◊) is the *inverse *of the characteristic function of a Poisson random variable with parameter *λ _{N}*, in other words of a random variable

*X*such that

_{N}for non-negative integers *k*. So, moving heuristically this factor to the other side, we have approximately

and using the basic properties of characteristic functions, things behave as if *ω(n)*, for *n<N*, was a random variable which is the sum of the Poisson variable *X _{N} *with parameter

*λ*(which tends to infinity) and some (independent) term which

_{N}*has a limit*as

*N*goes to infinity. However, this is not literally true, because

*Φ(u)*is not a characteristic function of a random variable. But because of this intuition, we say that there is

*mod-Poisson convergence*, i.e., there is convergence, intuitively,

*modulo*addition of Poisson random variables. (Note that this is not literally correct also because the set of Poisson random variables defined on a probability space is not a vector space, so the “modulo” has to be taken with a grain of salt).

This example gives the paradigm of what we may want to look at: starting with limiting theorem (in distribution) which involve some random variables *(Y _{n}) *of interest,

*after normalization*

to have mean 0 and variance 1, we wonder whether a new *stronger* limiting theorem exists, where the normalization is avoided, but where the characteristic function of *Y _{n} *is not considered “bare” but is divided by other suitable characteristic functions (which compensate for the possibly increasing variance of the original random variables in a different way than by looking at the standard normalization

*Z*).

_{n}In the case of the number of prime divisors, those were of Poisson type. But in fact, the first case where this behavior was explicitly noticed involved Gaussian random variables (though it is probable that, historically, the case of *ω(n)* was the first one: the computation of the limit above, but not its interpretation, is already contained in the proof of the Erdös-Kác theorem due to Rényi and Turán; nowadays, it is most easily obtained by a direct application of the Delange-Selberg method).

This other example is a reinterpretation of a famous formula due to J. Keating and N. Snaith, in the setting of Random Matrix theory: let *Y _{n}* be a random variable distributed like

where *A* is a random unitary matrix distributed according to Haar measure on the compact unitary group *U(n)* of size *n*; then, it follows from the work of Keating-Snaith that the following formula holds for all real *u*:

where *G* is the *Barnes (double gamma) function*. Here, the first factor on the left-hand side is the inverse of the characteristic function of a normal random variable with mean 0 and variance *2 *log* n*, and so we speak of *mod-Gaussian* convergence. The variance is increasing, so the heuristic idea is that *Y _{n}* is distributed like a Gaussian, which is more and more widely spread out, plus some independent converging “core”.

There are by now many proofs of this formula, often stated in terms of the Mellin transform instead of the characteristic function, and again without the interpretation we give; see for instance the probabilistic proof of Bourgade, Hughes, Nikeghbali and Yor.

It is not yet entirely clear what is the meaning and generality of the type of limiting phenomenon found in those two examples. One can’t help noticing (and being encouraged by) the *richness* of the environment where it is found: in addition to the Random Matrix setting, the limiting function in the Keating and Snaith formula is one of the conjectural terms for moments of the Riemann zeta function on the critical line. In our preprint, we also prove quite general versions involving the equally rich and classical probabilistic setting of infinitely divisible distribution: I won’t say more because for this part I am much less competent than my co-authors.

We feel that there is a lot to be done to understand and explain these limit theorems, and hopefully that this form of convergence can also be directly useful to derive new results, in particular in arithmetic.

This is a very nice post!

Here is a specific problem which may be phrasable in this language: Pick a large prime q, and for every residue class a=1,2,…q-1 mod q, let p(a) be the first prime in that residue class. Some numerical experiments indicate that, as q goes to infinity and one scales appropriately, the set {p(a)} is Poisson distributed. I haven’t been able to find anything in the literature on this problem…

David Hansen31 Jul 08 at 2:33

I have never heard of this specific instance of Poisson approximation in arithmetic. Is there a reference somewhere?

kowalske31 Jul 08 at 19:13

No, this is just the result of some computer experiments I did for q up to around ten million or so. I’d love to see a theoretical result, but I’ve never thought about the problem much. There’s a ‘vertical’ result due to Granville that if one looks at the first prime in the class a (mod q) for a fixed and q varying, this is Poisson in an appropriate sense…

David Hansen2 Aug 08 at 17:10