E. Kowalski's blog






         Comments on mathematics, mostly.

Archive for Mathematics

29.10.2014

Kloosterman paths

Filed under: Mathematics @ 19:09

It was almost twenty years ago that I started drawing and looking at the graphs of Kloosterman sums (at least, that’s a likely date; I don’t remember when it began, but I put some drawings as whimsical illustrations — see, e.g., page 26 — in my PhD thesis to enliven it, and that was around 1997–1998).

Kloosterman sum, p=10007

Kloosterman path

This year, by a lucky coincidence, I can finally say something definite about these graphs, and indeed something quite interesting. What happened is that Will Sawin was visiting Switzerland in June to talk to Philippe Michel and me about some very nice results about trace functions, and he noticed a picture like the one above that I have on the whiteboard next to my office. He asked me what it was, and more or less immediately it became clear that we could try to determine, for instance, the distribution of the “middle point” (corresponding to the partial sum up to (p-1)/2). Then, in a few more hours, we realized that we should be able to go much further. After a few more months, I’ve just uploaded to arXiv the paper we wrote about this subject, which is also available on my web page. It is a combination of probability, algebraic geometry and analytic number theory which I personally find extremely appealing and pleasant.

In rough terms, what we show is that, if one normalizes the Kloosterman paths properly, as continuous maps [0,1]\rightarrow \mathbf{C}, and consider those paths associated to all Kloosterman sums modulo a large prime p, then these will, statistically, “look like” the graphs t\mapsto S(t) of a certain very specific random Fourier series.

Precisely, for a prime p, an invertible residue class a modulo p and a real number t\in [0,1], let’s denote by
K_p(a)(t)
the point at “time” t on the graph joining the partial sums of
K\ell_p(a)=\frac{1}{\sqrt{p}}\sum_{1\leq n\leq p-1} e((ax+\bar{x})/p),
each segment being parameterized linearly by an interval of length 1/(p-1). This corresponds to normalizing the pictures I used to draw by saying that they correspond to a parameterization by [0,1], and also by scaling by the factor \sqrt{p}, which has the effect that the endpoint is always a real number in [-2,2], by the Weil bound for Kloosterman sums.

We interpret the data (K_p(\cdot)(t))_{t\in [0,1]} as a stochastic process; the “randomness” is in the residue class a, which is supposed to be chosen uniformly at random among invertible classes modulo p.

Our first result is convergence in the sense of finite distributions: we consider any fixed finite number of “times” 0\leq t_1<\cdots<t_k\leq 1, and prove that the random vectors
(K_p(t_1),\ldots, K_p(t_k)),
have a limit, in the sense of convergence in distribution, as p tends to infinity.

This limit is explicit: it is
(S(t_1),\ldots, S(t_k)),
where (S(t))_{t\in [0,1]} is a very nice (a.s.) continuous stochastic process, defined in the following manner: take any sequence (X_h)_h of independent random variables which are all Sato-Tate distributed, and put
S(t)=\sum_{h\in\mathbf{Z}} \frac{e^{2i\pi ht}-1}{2i\pi h}X_h,
a random Fourier series (here the term h=0 has to be interpreted as tX_0).

Remark. It would be interesting to know if this series has already appeared in other contexts; our searches of the literature on random Fourier series have not yet found any previous occurence.

The proof is actually relatively short, but nevertheless this is a very deep property. Indeed, it depends in an essential way on Deligne's Riemann Hypothesis over finite fields, and on the computation of the monodromy groups of Kloosterman sheaves by Katz.

In fact, it is a very interesting instance where the application of the Riemann Hypothesis requires not only to understand when it gives cancellation in exponential sums, but also requires in an essential way the knowledge of the main term when there is no cancellation. This seems (to me at least) to require in an essential way the group-theoretic interpretation of the equidistribution of Kloosterman sums with respect to the Sato-Tate measure, because it is this interpretation that allows us to control arbitrary moments of partial sums of Kloosterman sums using the Goursat-Kolchin-Ribet criterion from group theory (roughly speaking, an algebraic subgroup of \mathrm{SL}_2\times \cdots\times\mathrm{SL_2} that surjects to each factor is the whole product group).

Remark. As a simple consequence, note that S(1)=X_0 is Sato-Tate distributed, so this result contains the “vertical” Sato-Tate law of Katz.

Plotting some samples of this random Fourier series, by interpolating linearly between the values of samples of partial sums, we get pictures with a definite air de famille:


Sample of the limit

Sample


There is an obvious question that arises from this result, which probabilists will already have raised: since both our stochastic processes (K_p(\cdot)(t))_t and the limit (S_t)_t are continuous processes, we should really be trying to prove convergence in the space of continuous processes, i.e, when viewing the Kloosterman paths as random variables with values in the Banach space of continuous functions on [0,1].

We tried to do this. Using Kolmogorov’s criterion for tightness (and the previous result), one can see that the question is intimately related to non-trivial (average) estimates for short partial sums of Kloosterman sums just around the Pólya-Vinogradov range. We have not (yet) established the required estimate, which seem quite delicate, but it is very interesting to see a unification of two aspects of exponential sums which are extremely important in applications, namely equidistribution of Katz-Sato-Tate type, and estimate for short sums (of length about square root of the number of terms). Moreover, using this approach, we show easily that further average over the additive character defining Kloosterman sums does lead to convergence to S(t) as continuous processes. As a first application, we get a rather elementary proof of tail bounds for the supremum of the partial sums (with this extra average), using some nice facts about probability in Banach spaces (I may write a bit about this in a later post).

I talked about this result in Oxford a few weeks ago, on the occasion of a workshop on analytic number theory there (this might have been one of the first mathematical talks coming with its own app!).

We have dedicated this paper to the memory of Marc Yor.

27.10.2014

0.00023814967230605090687395214144185337601

Filed under: Exercise,Mathematics,Science @ 19:38

Yesterday my younger son was playing dice; the game involved throwing 6 dices simultaneously, and he threw a complete set 1, 2, 3, 4, 5, 6, twice in a row!

Is that a millenial-style coincidence worth cosmic pronouncements? Actually, not that much: since the dices are indistinguishable, the probability of a single throw of this type is

\frac{6!}{6^6}\simeq  0.015432098765432098765432098765432098765,

so about one and a half percent. And for two, assuming independence, we get a probability

\frac{(6!)^2}{6^{12}}\simeq 0.00023814967230605090687395214144185337601,

or a bit more than one chance in five throusand. This is small, but not extraordinarily so.

(The dices are thrown from a cup, so the independence assumption is quite reliable here.)

15.09.2014

Bagchi’s thesis

Filed under: Mathematics @ 20:24

Despite everything, there is something to be said for the internet. Just a few days ago, I wanted to reference the work of Bagchi, who provided the probabilistic interpretation of Voronin’s Universality Theorem for the Riemann zeta function. However, the original was unpublished, and one of the few papers of Bagchi on this topic pointedly indicated that he had removed most probabilistic considerations (why? if it was at the request of a referee, I can only sigh). But fortunately, lo and behold, the original thesis (from 1981) can be found in a very decent scan from the Indian Statistical Institute!

23.08.2014

My office in 1870

Filed under: Mathematics,Switzerland @ 20:23

The historical “main” building of ETH was finished 150 years ago, in 1864. Or rather, the first version was finished, since it was altered and extended quite a bit since then (as did the surroundings!). In a recent NZZ article, I saw this picture

ETH 1870

ETH in 1870

of the building as it looked in 1870. The red square indicates where my office is located…

15.08.2014

Upcoming books

Filed under: Mathematics @ 10:38

As the summer vacations draw to a close, I’d like to point to two upcoming AMS books which might, hopefully, interest some readers…

(1) My lecture notes on representation theory (expanded) will appear in September, published in the Graduate Studies in Mathematics series; the preview material contains Chapter 1, and a fair bit of Chapter 2; the index is also available, and perusing it will give an idea of the range of topics mentioned.

(2) Henryk Iwaniec has also a new book coming, in October, containing his lectures notes on the Riemann zeta function. I haven’t seen it yet, but he told me that the highlight, in his opinion, is the second part which contains his personal treatment of the Levinson method for finding critical zeros of zeta. This should be quite interesting to read…

Update (August 29): the AMS web site confirms that my book is already available!

Next Page »

© 2014 E. Kowalski's blog   Hosted by uzh|ethz Blogs