15 May 2004 Gaps in √n mod 1 and ergodic theory
Noam D. Elkies, Curtis T. McMullen
Duke Math. J. 123(1): 95-139 (15 May 2004). DOI: 10.1215/S0012-7094-04-12314-0

Abstract

Cut the unit circle $S^1=\mathbb{R}/\mathbb{Z}$ at the points $\{\sqrt{1}\}, \{\sqrt{2}\},\ldots,\{\sqrt{N}\}$, where $\{x\} = x \bmod 1$, and let $J_1, \ldots, J_N$ denote the complementary intervals, or \emph{gaps}, that remain. We show that, in contrast to the case of random points (whose gaps are exponentially distributed), the lengths $|J_i|/N$ are governed by an explicit piecewise real-analytic distribution $F(t) \,dt$ with phase transitions at $t=1/2$ and $t=2$.

The gap distribution is related to the probability $p(t)$ that a random unimodular lattice translate $\Lambda \subset \mathbb{R}^2$ meets a fixed triangle $S_t$ of area $t$; in fact, $p''(t) = -F(t)$. The proof uses ergodic theory on the universal elliptic curve

\[ E = \big(\mathrm{SL}_2(\mathbb{R}) \ltimes \mathbb{R}^2\big)/ \big(\mathrm{SL}_2(\mathbb{Z}) \ltimes \mathbb{Z}^2\big) \]

and Ratner's theorem on unipotent invariant measures.

Citation

Download Citation

Noam D. Elkies. Curtis T. McMullen. "Gaps in √n mod 1 and ergodic theory." Duke Math. J. 123 (1) 95 - 139, 15 May 2004. https://doi.org/10.1215/S0012-7094-04-12314-0

Information

Published: 15 May 2004
First available in Project Euclid: 13 May 2004

zbMATH: 1063.11020
MathSciNet: MR2060024
Digital Object Identifier: 10.1215/S0012-7094-04-12314-0

Subjects:
Primary: 11J71 , 22E40
Secondary: 37A17 , 37A25

Rights: Copyright © 2004 Duke University Press

JOURNAL ARTICLE
45 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

Vol.123 • No. 1 • 15 May 2004
Back to Top