1: \documentclass[12pt]{amsart}

2: 

3: \usepackage{graphicx}

4: \usepackage{amsmath}

5: \usepackage{amssymb}

6: 

7: \usepackage{maple2e}

8:  \def\emptyline{\vspace{12pt}}

9: \DefineParaStyle{Maple Output}

10: \DefineParaStyle{Maple Output}

11: \DefineParaStyle{Maple Plot}

12: \DefineCharStyle{2D Math}

13: \DefineCharStyle{2D Output}

14: 

15: \addtolength{\evensidemargin}{-15mm}

16: \addtolength{\oddsidemargin}{-15mm}

17: \addtolength{\textwidth}{30mm}

18: \addtolength{\textheight}{20mm}

19: \addtolength{\topmargin}{-10mm}

20: 

21: \newtheorem{thm}{Theorem}[section]

22: \newtheorem{lem}[thm]{Lemma}%[section]

23: \newtheorem{prop}[thm]{Proposition}%[section]

24: \newtheorem{cor}[thm]{Corollary}%[section]

25: %\newtheorem{conj}[thm]{Conjecture}

26: %\newtheorem{def}[thm]{Definition}%[section]

27: 

28: \newtheorem{Jac}{Jacobi}

29: 

30: %%%%%%%

31: \theoremstyle{definition}

32: \newtheorem{defn}{Definition}[section]

33: \newtheorem{conj}{Conjecture}

34: 

35: 

36: %%%%%%%

37: \theoremstyle{remark}

38: \newtheorem{remark}{Remark}[section] % \renewcommand{\theremark}{}

39: \newtheorem{ex}{Example}[section]

40: \newtheorem{note}{Note}[section]

41: %%%%%%%%%

42: 

43: 

44: %for Hypothesis

45: \theoremstyle{plain}

46: \newtheorem{hyp}{H}

47: 

48: 

49: 

50: 

51: \numberwithin{equation}{section}

52: 

53: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

54: \def\CC{{\mathbb C}}

55: \def\EE{{\mathbb E}}

56: \def\FF{{\mathbb F}}

57: \def\HH{{\mathbb H}}

58: \def\NN{{\mathbb N}}

59: \def\QQ{{\mathbb Q}}

60: \def\RR{{\mathbb R}}

61: \def\TT{{\mathbb T}}

62: \def\VV{{\mathbb V}}

63: \def\ZZ{{\mathbb Z}}

64: 

65: \def\H{{\mathfrak H}}

66: \def\Iso{\operatorname{Iso}}

67: \def\e{\mathrm{e}}

68: \def\i{\mathrm{i}}

69: \def\cc{\operatorname{cc}}

70: \def\diag{\operatorname{diag}}

71: \def\error{\operatorname{error}}

72: \def\id{\operatorname{id}}

73: \def\j{\operatorname{j{}}}

74: \def\C{\operatorname{C{}}}

75: \def\G{\operatorname{G{}}}

76: \def\L{\operatorname{L{}}}

77: \def\M{\operatorname{M{}}}

78: \def\GL{\operatorname{GL}}

79: \def\Op{\operatorname{Op}}

80: \def\sOp{\widetilde{\operatorname{Op}}}

81: \def\PGL{\operatorname{PGL}}

82: \def\Res{\operatorname{Res}}

83: \def\S{\operatorname{S{}}}

84: \def\Sp{\operatorname{Sp}}

85: \def\Sw{{\mathcal S}}

86: \def\SL{\operatorname{SL}}

87: \def\SO{\operatorname{SO}}

88: \def\PSL{\operatorname{PSL}}

89: \def\O{\operatorname{O{}}}

90: \def\T{\operatorname{T{}}}

91: \def\tr{\operatorname{tr}}

92: \def\sgn{\operatorname{sgn}}

93: \def\supp{\operatorname{supp}}

94: \def\meas{\operatorname{meas}}

95: \def\Var{\operatorname{Var}}

96: \def\Vol{\operatorname{Vol}}

97: \def\Area{\operatorname{Area}}

98: \def\ord{\operatorname{ord}}

99: \def\Prob{\operatorname{Prob}}

100: 

101: \def\GamG{\Gamma\backslash G}

102: \def\SLSL{\SL(d,\ZZ)\backslash\SL(d,\RR)}

103: \def\SLZ{\SL(d,\ZZ)}

104: \def\SLR{\SL(d,\RR)}

105: 

106: \def\I{\operatorname{I}}

107: \def\II{\operatorname{II}}

108: \def\III{\operatorname{III}}

109: 

110: \def\veca{{\text{\boldmath$a$}}}

111: \def\vecb{{\text{\boldmath$b$}}}

112: \def\vecc{{\text{\boldmath$c$}}}

113: \def\veck{{\text{\boldmath$k$}}}

114: \def\vecl{{\text{\boldmath$l$}}}

115: \def\vecm{{\text{\boldmath$m$}}}

116: \def\vecn{{\text{\boldmath$n$}}}

117: \def\vecq{{\text{\boldmath$q$}}}

118: \def\vecr{{\text{\boldmath$r$}}}

119: \def\vecs{{\text{\boldmath$s$}}}

120: \def\vect{{\text{\boldmath$t$}}}

121: \def\vecu{{\text{\boldmath$u$}}}

122: \def\vecv{{\text{\boldmath$v$}}}

123: \def\vecw{{\text{\boldmath$w$}}}

124: \def\vecx{{\text{\boldmath$x$}}}

125: \def\vecy{{\text{\boldmath$y$}}}

126: \def\vecalf{{\text{\boldmath$\alpha$}}}

127: \def\vecmu{{\text{\boldmath$\mu$}}}

128: \def\vecnu{{\text{\boldmath$\nu$}}}

129: \def\veceta{{\text{\boldmath$\eta$}}}

130: \def\vecomega{{\text{\boldmath$\omega$}}}

131: \def\vecsigma{{\text{\boldmath$\sigma$}}}

132: \def\vecxi{{\text{\boldmath$\xi$}}}

133: 

134: \def\vecL{{\text{\boldmath$L$}}}

135: 

136: \def\vecnull{{\text{\boldmath$0$}}}

137: 

138: \def\scrA{{\mathcal A}}

139: \def\scrB{{\mathcal B}}

140: \def\scrC{{\mathcal C}}

141: \def\scrF{{\mathcal F}}

142: \def\scrK{{\mathcal K}}

143: \def\scrM{{\mathcal M}}

144: \def\scrN{{\mathcal N}}

145: \def\scrQ{{\mathcal Q}}

146: \def\scrS{{\mathcal S}}

147: \def\scrT{{\mathcal T}}

148: \def\scrU{{\mathcal U}}

149: \def\scrX{{\mathcal X}}

150: \def\scrY{{\mathcal Y}}

151: 

152: 

153: \def\Re{\operatorname{Re}}

154: \def\Im{\operatorname{Im}}

155: 

156: \def\trans{\!\,^\top\!}

157: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

158: 

159: \begin{document}

160: 

161: \title{Distribution modulo one and Ratner's theorem}

162: \author{Jens Marklof}

163: \address{School of Mathematics, University of Bristol,

164: Bristol BS8 1TW, U.K.} 

165: \address{{\tt j.marklof@bristol.ac.uk}}

166: \date{\today}

167: 

168: %\begin{abstract}

169: %\end{abstract}

170: 

171: \maketitle

172: 

173: \tableofcontents

174: 

175: \section{Introduction}

176: 

177: Measure rigidity is a branch of ergodic theory that has recently contributed to the solution of some fundamental problems in number theory and mathematical physics. Examples are proofs of quantitative versions of the Oppenheim conjecture \cite{Eskin98}, related questions on the spacings between the values of quadratic forms \cite{Eskin05,pairI,pairII}, a proof of quantum unique ergodicity for certain classes of hyperbolic surfaces \cite{Lindenstrauss06}, and an approach to the Littlewood conjecture on the nonexistence of multiplicatively badly approximable numbers \cite{Einsiedler06}. 

178: 

179: In these lectures we discuss a few simple applications of one of the central results in measure rigidity: Ratner's theorem. We shall investigate the statistical properties of certain number theoretic sequences, specifically the fractional parts of $m\alpha$, $m=1,2,3,\ldots$, (a classical, well understood problem) and of $\sqrt{m\alpha}$ (as recently studied by Elkies and McMullen \cite{Elkies04}). By exploiting equidistribution results on a certain homogeneous space $\GamG$, we will show that the statistical properties of these sequences can exhibit significant deviations from those of independent random variables. The ``randomness'' of other, more generic sequences such as $m^2\alpha$ and $2^m \alpha$ mod 1 has been studied extensively. We refer the interested reader to the review \cite{energy}, and recommend the papers \cite{Rudnick98,Rudnick02} as a first read.

180: 

181: These notes are based on lectures presented at the Institute Henri Poincar\'e Paris, June 2005, and at the summer school `Equidistribution in number theory', CRM Montr\'eal, July 2005. The author gratefully acknowledges support by an EPSRC Advanced Research Fellowship.

182: 

183: \section{Randomness of point sequences mod 1}

184: 

185: Consider an infinite triangular array of numbers on the circle $\TT=\RR/\ZZ$ (which we represent as the unit interval $[0,1)$ with its endpoints identified),

186: \begin{equation}\label{triarray}

187: \begin{array}{ccccc}

188: \xi_{11} &  &  &  &\\

189: \xi_{21} & \xi_{22} &  & &\\

190: \vdots & \vdots & \ddots & & \\

191: \xi_{N1} & \xi_{N2} & \ldots & \xi_{NN} & \\

192: \vdots & \vdots & & & \ddots  

193: \end{array}

194: \end{equation}

195: We assume that each row is ordered, i.e., $\xi_{Nj}\leq \xi_{N(j+1)}$, and are interested in quantifying statistical properties of the $N$th row as $N\to\infty$. To simplify notation we will from now on drop the index $N$, and simply write $\xi_j$ instead of $\xi_{Nj}$.

196: 

197: As we shall see later, many interesting statistical properties of a sequence on $\TT$ can be derived from the knowledge of the number of elements in small subintervals of $\TT$. Let $\chi$ denote the characteristic function of the interval $[-\tfrac12,\tfrac12)\subset\RR$. That is, $\chi(x)=1$ if $-\tfrac12\leq x < \tfrac12$ and $=0$ otherwise. The characteristic function of the interval $[x_0-\tfrac{\ell}{2},x_0+\tfrac{\ell}{2})+\ZZ\subset\TT$ ($\ell\leq 1$) can be represented as

198: \begin{equation}

199: \chi_\ell(x)=\sum_{n\in\ZZ} \chi\bigg(\frac{x-x_0+n}{\ell}\bigg).

200: \end{equation}

201: The sum over $n$ makes sure $\chi_\ell$ is periodic.

202: The number of elements $\xi_j$ in the interval are therefore

203: \begin{equation} \label{SN}

204: S_N(\ell)=\sum_{j=1}^N \chi_\ell(\xi_j).

205: \end{equation}

206: 

207: We will always assume that the rows in our triangular array become uniformly distributed mod one.  This means that for every $x_0,\ell$,

208: \begin{equation}

209: \lim_{N\to\infty} \frac1N S_N(\ell) = \ell,

210: \end{equation}

211: i.e., the proportion of elements in any given interval is asymptotic to the interval length $\ell$.\footnote{If a sequence $\{\xi_j\}$ fails to be uniformly distributed but still has a resonable limiting density $\rho$, we may rescale the $\xi_j$ to obtain a uniformly distributed sequence. This is done as follows. Suppose for every $x_0,\ell$

212: $

213: 	\lim_{N\to\infty} \frac1N S_N(\ell) = \int_{x_0-\ell/2}^{x_0+\ell/2} \rho(x) dx ,

214: $

215: where the integrated density

216: $

217: 	N(x)= \int_0^x \rho(x') dx'

218: $

219: is continuous and strictly increasing. We rescale the sequence $\{\xi_j\}$ by setting 

220: $

221: 	\tilde \xi_j := N(\xi_j) .

222: $

223: Note that $N(\xi_j)\in[0,1)$ for $\xi_j\in[0,1)$. The new sequence $\{\tilde\xi_j\}$ is indeed uniformly distributed modulo one (exercise).}

224: 

225: The aim is now to characterize the different degrees of ``randomness'' of the deterministic sequence $\{\xi_j\}$ in terms of their distribution in very small intervals with random center $x_0$. A convenient length scale is the average spacing between elements, which is $1/N$. We set

226: \begin{equation}

227: L=N\ell.

228: \end{equation} 

229: We assume $x_0$ is a random variable uniformly distributed on $\TT$ with respect to Lebesgue measure $dx_0$. We will denote expectation values by

230: \begin{equation}

231: \langle \ldots \rangle = \int_0^1 \ldots dx_0 .

232: \end{equation}

233: It is easy to work out the expectation value for the number of elements in a random interval of size $\ell$, 

234: \begin{equation}

235: \langle S_N(\ell)\rangle= L .

236: \end{equation}

237: The variance is much less trivial. Let us begin by deriving a convenient representation in terms of the pair correlation density.

238: We have for the mean square (the ``number variance'')

239: \begin{equation}

240: \Sigma^2_N(L):=\langle [S_N(\ell)-L]^2\rangle = \langle S_N(\ell)^2 \rangle - L^2

241: \end{equation}

242: and

243: \begin{equation}

244: \begin{split}

245: \langle S_N(\ell)^2 \rangle 

246: & = \sum_{i,j=1}^N \sum_{m,n\in\ZZ}\int_0^1  \chi\bigg(\frac{\xi_i-x_0+m}{\ell}\bigg) \chi\bigg(\frac{\xi_j-x_0+n}{\ell}\bigg) dx_0 \\

247: & = \sum_{i,j=1}^N \sum_{m\in\ZZ}\int_{\RR}  \chi\bigg(\frac{\xi_i-x_0+m}{\ell}\bigg) \chi\bigg(\frac{\xi_j-x_0}{\ell}\bigg) dx_0 \\

248: & = \ell \sum_{i,j=1}^N \sum_{m\in\ZZ} \Delta\bigg(\frac{\xi_i-\xi_j+m}{\ell}\bigg) 

249: \end{split}

250: \end{equation}

251: where

252: \begin{equation}

253: \Delta(x)=\int_\RR \chi(x-x_0)\chi(x_0) dx_0 =\max\{ 1-|x|, 0\}.

254: \end{equation}

255: Now the diagonal terms $i=j$ in the above double sum can be easily evaluated. We have 

256: \begin{equation}

257: \ell \sum_{i=j=1}^N \sum_{m\in\ZZ} \Delta\bigg(\frac{m}{\ell}\bigg)=\ell \Delta(0) =\ell

258: \end{equation}

259: for $\ell<1$.

260: 

261: The {\em pair correlation function} (also called {\em two-point correlation function}) for the sequence $\{\xi_j\}$ is defined by

262: \begin{equation}

263: R_N^2(L,\psi)=\frac1N \sum_{i\neq j=1}^N \sum_{m\in\ZZ} \psi\bigg(\frac{\xi_i-\xi_j+m}{\ell}\bigg) ,

264: \end{equation} 

265: where $\psi$ is taken from a class of sufficiently nice test functions (e.g. continuous with compact support such as $\Delta$).

266: With the above calculation we therefore have the identity

267: \begin{equation}

268: \Sigma^2_N(L)=L-L^2+ L R_N^2(L,\Delta) .

269: \end{equation}

270: This says that the asymptotic analysis of the pair correlation density will give us information on the number variance.

271: 

272: Note that by the Poisson summation formula

273: \begin{equation}

274: \sum_{m\in\ZZ} f(m) = \sum_{n\in\ZZ} \widehat f(n), 

275: \end{equation}

276: where

277: \begin{equation}

278: \widehat f(y) = \int_\RR f(x) e(xy) dy, \qquad e(x):=\exp 2\pi\i x,

279: \end{equation}

280: we have

281: \begin{equation} \label{R22}

282: R_N^2(L,\psi)=\frac{L}{N^2} \sum_{i\neq j=1}^N \sum_{n\in\ZZ} \widehat\psi\bigg(\frac{L n}{N}\bigg) e\big(n(\xi_i-\xi_j)\big) .

283: \end{equation} 

284: Here $\psi$ can be any function with absolutely convergent Fourier series (e.g. $\Delta$).

285: 

286: \subsection{Distribution of gaps}

287: 

288: A popular statistical measure is the distribution of gaps 

289: \begin{equation}

290: s_j=N(\xi_{j+1}-\xi_j) \qquad (j=1,\ldots, N, \; \xi_{N+1}:=\xi_1+1)

291: \end{equation}

292: between consecutive elements (recall the $\xi_j$ form an ordered sequence on $\TT$).

293: We have multiplied the actual gap $\xi_{j+1}-\xi_j$ by $N$, which means we are measuring spacings in units of the average gap $1/N$.

294: 

295: The gap distribution of the sequence $\xi_1,\ldots,\xi_N$ is defined as

296: \begin{equation}

297: 	P_N(s)=\frac1N \sum_{j=1}^N \delta(s-s_j)

298: \end{equation}

299: where $\delta$ is a Dirac mass at the origin. The question we will investigate is whether $P_N(s)$ has a limiting distribution $P(s)$. That is, does there exist a probability density $P(s)$ such that for every bounded continuous function $g:\RR\to\RR$,

300: \begin{equation}

301: \lim_{N\to\infty} \int_0^\infty g(s) P_N(s) ds = \int_0^\infty g(s) P(s) ds.

302: \end{equation}

303: 

304: The first question in convergence of probability measures is the problem of tightness.

305: 

306: \begin{lem}

307: The sequence of probability measures $\{ P_N(s) ds \}$ is tight on $\RR$. That is, for every $\epsilon>0$ there is a $K>0$ such that for all $N$

308: \begin{equation}

309: 	\int_{|s|>K} P_N(s) ds < \epsilon.

310: \end{equation}

311: \end{lem}

312: 

313: \begin{proof}

314: We have 

315: \begin{equation}

316: \begin{split}

317: \int_{|s|>K} P_N(s) ds

318: & = \frac1N \#\{ j \leq N : s_j \geq K \} \\

319: & \leq \frac1N \sum_{j=1}^N \frac{s_j}{K} \chi_{[K,\infty)}(s_j) 

320: \leq \frac1N \sum_{j=1}^N \frac{s_j}{K} \\

321: & = \frac1K \sum_{j=1}^N (\xi_{j+1}-\xi_j) = \frac 1K.

322: \end{split}

323: \end{equation}

324: \end{proof}

325: 

326: Denote by $E_N(k,L)$ the probability of finding $k$ elements in the randomly shifted interval $[x_0,x_0+\tfrac{L}{N})$, i.e.,

327: \begin{equation}\label{EKL}

328: 	E_N(k,L):=\meas\left\{ x_0\in\TT : 	S_N(\ell)=k \right\}.

329: \end{equation}

330: The following theorem explains the relation between $P(s)$ and the probability $E(0,L)$.

331: 

332: \begin{thm}\label{EP}

333: Given a probability density $P(s)$, 

334: the following statements are equivalent.

335: \begin{enumerate}

336: 	\item[(i)] $P_N(s) \to_w P(s)$.

337: 	\item[(ii)] $\lim_{N\to\infty} E_N(0,L) = E(0,L)$ for all $L>0$, where $E(0,L)$ is defined by

338: \end{enumerate}

339: \begin{equation}

340: \frac{d^2 E(0,L)}{dL^2} = P(L) , \qquad \lim_{L\to 0}E(0,L) = 1,  \qquad \lim_{L\to \infty} \frac{dE(0,L)}{dL} = 0.	

341: \end{equation}

342: \end{thm}

343: 

344: \begin{proof}

345: We have

346: \begin{equation}

347: \begin{split}

348: E_N(0,L) & =  \meas\big\{ x_0\in \TT^2 : \#\{j : \xi_j\in[x_0,x_0+\tfrac{L}{N})+\ZZ\}=0\big\} \\

349: & = \sum_{j=1}^N \meas\big\{ x_0\in [\xi_j,\xi_{j+1}) : \#\{j : \xi_j\in[x_0,x_0+\tfrac{L}{N})+\ZZ\}=0\big\} \\

350: & = \sum_{j=1}^N \left(\xi_{j+1}-\xi_j - \frac{L}{N}\right)

351: \chi_{[L,\infty)}(N(\xi_{j+1}-\xi_j)) \\

352: & = \sum_{j=1}^N \left(\xi_{j+1}-\xi_j\right)

353: - \sum_{j=1}^N \left(\xi_{j+1}-\xi_j\right) \chi_{[0,L)}(N(\xi_{j+1}-\xi_j)) \\

354: & - \frac{L}{N} \sum_{j=1}^N 

355: \chi_{[L,\infty)}(N(\xi_{j+1}-\xi_j))\\

356: & = 1 - \frac1N \sum_{j=1}^N g(s_j)

357: \end{split}

358: \end{equation}

359: where 

360: \begin{equation}

361: 	g(x)= \max\{ 0 , x , L \} 

362: \end{equation}

363: is a bounded continuous function.

364: 

365: ``(i)$\Rightarrow$(ii).'' With the above choice of test function $g$, (i) implies

366: \begin{equation}

367: 	\lim_{N\to\infty} E_N(0,L) = F(L):=1 - \int_0^L s P(s) ds - L \int_L^\infty P(s) ds .

368: \end{equation}

369: Now 

370: \begin{equation}

371: \frac{dF(L)}{dL} = - \int_L^\infty P(s) ds , 	\qquad \frac{d^2 F(L)}{dL^2} = P(L) , 

372: \end{equation}

373: and 

374: \begin{equation}

375: \lim_{L\to 0}F(L) = 1,  \qquad \lim_{L\to\infty} \frac{dF(L)}{dL} = 0.

376: \end{equation}

377: 

378: ``(ii)$\Rightarrow$(i).'' Since the sequence of probability measures $P_N(s)$ is tight, it is relatively compact by the Helly-Prokhorov Theorem (also often called Helly's Theorem). That is, every subsequence of $N$ contains a convergent subsequence $N_i$ for which $P_{N_i}(s)\to_w P(s)$ as $i\to\infty$. This implies (recall the first part of the proof) that $E_{N_i}(0,L) \to E(0,L)$ for all $L>0$. Hence every convergent subsequence has the limit $E(0,L)$, and thus every subsequence convergences.

379: \end{proof}

380: 

381: 

382: \subsection{Independent random variables}

383: 

384: In order to understand which statistical behaviour we should expect for the deterministic sequences we will study later, let us assume the vector $\xi=(\xi_1,\ldots,\xi_N)$ is a uniformly distributed random vector on $\TT^N$ with respect to Lebesgue measure $d\xi=d\xi_1\cdots d\xi_N$. (This means the $\xi_j$ are independent uniformly distributed random variables.) We can ignore the issue of ordering the $\xi_j$ here because of the symmetry of the measure $dx$ under permutation of coordinates. Expectation values and associated probabilities of a random variable $X=X(\xi)$ will be defined as

385: \begin{equation}

386: \EE X = \int_{\TT^N} X d\xi,

387: \end{equation}

388: \begin{equation}

389: \Prob(X>R) = \meas\{ \xi\in\TT^N : X>R \}.

390: \end{equation}

391: 

392: \begin{thm}

393: There is a constant $C>0$ such that, for all $\epsilon>0$, $N$, $L$, 

394: \begin{equation}

395: \Prob( |R_N^2(L,\psi)-L\widehat\psi(0)|>\epsilon ) \leq C \frac{L}{\epsilon^2 N}.

396: \end{equation}

397: \end{thm}

398: 

399: \begin{proof}

400: First of all, we have for the expectation (the $n=0$ term in \eqref{R22})

401: \begin{equation}

402: \EE R_N^2(L,\psi) = \frac{L(N-1)}{N} \widehat\psi(0)

403: = L \widehat\psi(0) (1+O(N^{-1})).

404: \end{equation}

405: Secondly, for the variance of $R_N^2(L,\psi)$,

406: \begin{multline}

407: \EE|R_N^2(L,\psi)-\EE R_N^2(L,\psi)|^2 \\

408: =\frac{L^2}{N^4} \sum_{\substack{i\neq j\\i'\neq j'}} \sum_{n,n'\in\ZZ} \widehat\psi\bigg(\frac{L n}{N}\bigg)\widehat\psi\bigg(\frac{L n'}{N}\bigg) \EE \big[e\big(n(\xi_i-\xi_j)-n'(\xi_{i'}-\xi_{j'})\big)\big].

409: \end{multline}

410: Now

411: \begin{equation}

412: \EE \big[e\big(n(\xi_i-\xi_j)-n'(\xi_{i'}-\xi_{j'})\big)\big]=

413: \begin{cases}

414: 1 & \text{if $n=n'$, $i=i'$, $j=j'$} \\

415: &   \text{or if $n=-n'$, $i=j'$, $j=i'$} \\

416: 0 & \text{otherwise.}

417: \end{cases}

418: \end{equation}

419: This implies that

420: \begin{equation}

421: \EE|R_N^2(L,\psi)-\EE R_N^2(L,\psi)|^2 

422: =\frac{L^2}{N^4} O(N^3/L) = O\big(\frac{L}{N}\big).

423: \end{equation}

424: \end{proof}

425: 

426: The above theorem implies that for a ``generic'' choice of the triangular array \eqref{triarray}, we have

427: \begin{equation}

428: R_N^2(L,\psi)=L\widehat\psi(0)+o(1)

429: \end{equation}

430: in the limit $N\to\infty$, $\ell=L/N\to 0$. This implies for the variance

431: \begin{equation}

432: \Sigma_N^2(L) = L +o(L) 

433: \end{equation}

434: almost surely in the above limit.

435: 

436: Using standard techniques from probability theory, one can extend these results on the variance to the full distribution of a generic realization of the random sequence in a small randomly shifted interval. There are two scaling regimes. 

437: 

438: {\bf Regime I (Central Limit Theorem):} In the limit $L\to\infty$, $N\to\infty$, $\ell=L/N\to 0$ we have

439: \begin{equation}

440: \meas\left\{ x_0\in\TT : 	\frac{S_N(\ell)-L}{\sqrt{\Sigma_N^2(L)}} > R \right\} \to 

441: \frac{1}{\sqrt{2\pi}} \int_R^\infty \e^{-t^2/2} dt 

442: \end{equation}

443: almost surely.

444: 

445: 

446: {\bf Regime II (Poisson Limit Theorem):} For $L$ fixed, $N\to\infty$, we have

447: \begin{equation}\label{poisson}

448: E_N(k,L) \to \frac{L^k}{k!} \e^{-L}. 

449: \end{equation}

450: almost surely. 

451: 

452: 

453: 

454: \section{$m\alpha$ mod one}\label{secMA}

455: 

456: We will now consider the statistical properties of the sequence given by the fractional parts of $m\alpha$, $m=1,2,3,\ldots$ for some $\alpha$. This problem was studied by Berry-Tabor, Pandey et al., Bleher, Mazel-Sinai and Greenman using continued fractions (see \cite{npoint} for detailed references). In particular, it is a classical result that there are at most three distinct values for the gaps occurring in $m\alpha$ mod 1 which already indicates a rather non-generic behavior of the sequence, see e.g. \cite{Slater67}. 

457: 

458: Here we will use the approach introduced in \cite{npoint} that has the advantage of avoiding continued fractions and thus allowing higher-dimensional generalizations, such as the analysis of the distribution of linear forms modulo one. It is also very close to the work of Elkies and McMullen on $\sqrt m$ mod 1 which we will discuss in the next section.

459: 

460: We will be interested in the regime where $L=N\ell$ is fixed (Poisson scaling regime). The number \eqref{SN} of elements in an interval of size $\ell$ and centered at $x_0$ is then

461: \begin{equation}

462: \begin{split}

463: S_N(\ell) & = \sum_{m=1}^N \sum_{n\in\ZZ} \chi\bigg(\frac{N}{L} (m\alpha+n-x_0)\bigg) \\

464: & = \sum_{(m,n)\in\ZZ^2} \chi_{(0,1]}\bigg( \frac{m}{N} \bigg) \chi_{[-L/2,L/2]} \big(N (m\alpha+n-x_0)\big) \\

465: & = \sum_{(m,n)\in\ZZ^2} \psi\bigg( (m,n-x_0) \begin{pmatrix} 1 & \alpha \\ 0 & 1 \end{pmatrix} \begin{pmatrix} N^{-1} & 0 \\ 0 & N \end{pmatrix} \bigg)

466: \end{split}

467: \end{equation}

468: where $\chi_I$ denotes the characteristic function of the interval $I\subset\RR$ and 

469: \begin{equation}

470: 	\psi(x,y) = \chi_{(0,1]}(x) \chi_{[-L/2,L/2]}(y)

471: \end{equation}

472: is the characteristic function of a rectangle.

473: 

474: Define the Lie Group $G$ by the semidirect product $\SL(2,\RR)\ltimes\RR^2$ with multiplication law

475: \begin{equation}

476: 	(M,\xi)(M',\xi')=(MM',\xi M'+\xi'),

477: \end{equation}

478: where $\xi,\xi'\in\RR^2$ are viewed as row vectors.

479: This group has the matrix representation

480: \begin{equation}

481: 	(M,\xi) \mapsto \begin{pmatrix} M & 0 \\ \xi & 1 \end{pmatrix} \in \SL(3,\RR).

482: \end{equation}

483: The function 

484: \begin{equation}\label{Fdef}

485: 	F(M,\xi) = \sum_{m\in\ZZ^2} \psi(m M +\xi)

486: \end{equation}

487: defines a function on $G$. Note that, with $\psi$ as above, the sum in \eqref{Fdef} is always finite, and hence $F$ is a piecewise constant function. Furthermore,

488: \begin{equation}

489: 	S_N(\ell) = F(M,\xi) 

490: \end{equation}

491: for the special choice

492: \begin{equation}

493: 	M= \begin{pmatrix} 1 & \alpha \\ 0 & 1 \end{pmatrix} \begin{pmatrix} N^{-1} & 0 \\ 0 & N \end{pmatrix}, \qquad

494: 	\xi=(0,-x_0) M.

495: \end{equation}

496: 

497: The crucial observation is now that $F$ is left-invariant under the discrete subgroup $\Gamma=\SL(2,\RR)\ltimes\RR^2$, and hence $F$ may be viewed as a piecewise constant function on the homogeneous space $\Gamma\backslash G$.

498: 

499: \begin{prop}

500: $F(\hat\gamma g)=F(g)$ for all $\hat\gamma\in\Gamma$.

501: \end{prop}

502: 

503: \begin{proof}

504: We have the decomposition

505: \begin{equation}

506: 	\hat\gamma=(\gamma,n)=(\gamma,0)(1,n)

507: \end{equation}

508: for some $\gamma\in\SL(2,\ZZ)$, $n\in\ZZ^2$. It is therefore sufficient to check the statement for elements of the form $(\gamma,0)$ and $(1,n)$ separately.

509: We have

510: \begin{equation}

511: \begin{split}

512: 	F((1,n)(M,\xi)) & = F(M,nM+\xi) \\

513: 	& = \sum_{m\in\ZZ^2} \psi((m+n) M +\xi) \\

514: 	& = \sum_{m\in\ZZ^2} \psi(m M +\xi)\\

515: 	& = F(M,\xi)

516: \end{split}

517: \end{equation}

518: which proves one case, and

519: \begin{equation}

520: \begin{split}

521: 	F((\gamma,0)(M,\xi)) & = F(\gamma M,\xi) \\

522: 	& =  \sum_{m\in\ZZ^2} \psi(m \gamma M +\xi) \\

523: 	& = \sum_{m\in\ZZ^2} \psi(m M +\xi) \\

524: 	& = F(M,\xi)

525: \end{split}

526: \end{equation}

527: since $\gamma\ZZ^2=\ZZ^2$. 

528: \end{proof}

529: 

530: Alternatively, $F$ may be expressed as

531: \begin{equation}\label{Falt}

532: 	F(g)=\sum_{\hat\gamma\in\pi(\Gamma)\backslash\Gamma} \psi(\pi(\hat\gamma g))

533: \end{equation}

534: with the projection 

535: \begin{equation}

536: 	\begin{matrix} \pi: & G & \to & \RR^2 \\ & (M,\xi) & \mapsto & \xi . \end{matrix}

537: \end{equation}

538: From \eqref{Falt} the invariance under $\Gamma$ is directly evident.

539: 

540: \subsection{Geometry of $\Gamma\backslash G$}

541: 

542: The aim is to find a good coordinate system for $G$. Since parametrizing $\RR^2$ is obvious, we need to mainly worry about $\SL(2,\RR)$. The Iwasawa decomposition of an element $M\in\SL(2,\RR)$ is

543: \begin{equation}

544: 	M=\begin{pmatrix} 1 & u \\ 0 & 1 \end{pmatrix}\begin{pmatrix} v^{1/2} & 0 \\ 0 & v^{-1/2} \end{pmatrix}

545: 	\begin{pmatrix} \cos(\phi/2) & \sin(\phi/2) \\ -\sin(\phi/2)  & \cos(\phi/2) \end{pmatrix}

546: \end{equation}

547: where $\tau=u+\i v \in\HH:=\{ \tau \in\CC: \Im\tau>0\}$ (the complex upper halfplane) and $\phi\in[0,4\pi)$.

548: This yields a 1-1 map $\SL(2,\RR)\to\HH\times [0,4\pi)$. Left-multiplication becomes now an action of $\SL(2,\RR)$ on $\HH\times [0,4\pi)$ given by the formula

549: \begin{equation}

550: 	\begin{pmatrix} a & b \\ c & d \end{pmatrix} = \left( \frac{a\tau+b}{c\tau+d}, \phi-2\arg(c\tau+d) \right)

551: \end{equation}

552: (this can be checked by a straightforward calculation).

553: The fractional linear transformation of the $\tau$ component defines an (orientation preserving) isometry with respect to the Riemannian line element

554: \begin{equation}

555: 	ds^2=\frac{du^2+dv^2}{v^2}

556: \end{equation}

557: and the transformation property of $\phi$ is identical to the direction of a tangent vector at $\tau\in\HH$.

558: Thus the group $\PSL(2,\RR):=\SL(2,\RR)/\{\pm1\}\simeq \HH\times [0,2\pi)$ can be identified with the unit tangent bundle $\T^1\HH$ of $\HH$. Similarly, $\SL(2,\ZZ)\backslash\SL(2,\RR)\simeq \PSL(2,\ZZ)\backslash\PSL(2,\RR)$ can be identified with the unit tangent bundle of the modular surface $\SL(2,\ZZ)\backslash\HH$. A fundamental domain $\scrF$ for the action of $\SL(2,\ZZ)$ on $\HH$ is shown in Figure \ref{mod}. We have

559: \begin{equation}

560: \begin{split}

561: 	\scrF & =\{ \tau\in\HH : |\tau| > 1,\; |\Re \tau|< 1/2 \} \\

562: 	& \cup \{ \tau\in\HH : |\tau| \geq 1,\; \Re \tau=-1/2\} \\

563: 	& \cup \{ \tau\in\HH : |\tau| = 1,\; -1/2\leq \Re \tau \leq 0 \}.

564: \end{split}

565: \end{equation}

566: Note that the modular surface is not compact, there is one cusp at $\i\infty$. It has however finite measure with respect to the Riemannian volume $v^{-2} du\,dv$.

567: 

568: \begin{figure}

569: \includegraphics[width=0.5\textwidth]{modular.eps}

570: \caption{Fundamental domain of the modular group $\SL(2,\ZZ)$ in the complex upper half plane.\label{mod}}

571: \end{figure}

572: 

573: In order to understand the geometry of all of $\GamG$, write

574: \begin{equation}

575: 	g=(1,\xi)(M,0)

576: \end{equation}

577: which gives a particular parametrization in terms of $\RR^2$ and $\SL(2,\RR)$. Since $\Gamma$ contains the subgroup $1\ltimes \ZZ^2$, $\xi$ can be parametrized by $\TT^2=\ZZ^2\backslash\RR^2\simeq [0,1)^2$.

578: This concludes our analysis: we have found a 1-1 parametrization of $G$ in terms of

579: \begin{equation}

580: 	\T^1(\SL(2,\RR)\backslash\HH)\times \TT^2 \simeq \scrF \times [0,2\pi) \times [0,1)^2 .

581: \end{equation}

582: That is, $\GamG$ is a (non-trivial) bundle over $\T^1(\SL(2,\ZZ)\backslash\HH)$ with fibre $\TT^2$.

583: 

584: \subsection{Dynamics on $\GamG$}

585: 

586: Consider the one-parameter subgroup $\Phi^\RR:=\{ \Phi^t \}_{t\in\RR}$ where

587: \begin{equation}

588: 	\Phi^t = \left( \begin{pmatrix} \e^{-t/2} & 0 \\ 0 & \e^{t/2} \end{pmatrix}, 0 \right).

589: \end{equation}

590: $\Phi^\RR$ defines a flow on $\GamG$ by right multiplication,

591: \begin{equation}

592: 	\Gamma g \mapsto \Gamma g \Phi^t.

593: \end{equation}

594: The remarkable observation is that our object of interest, $S_N(\ell)$, is related to a function $F$ on $\GamG$ evaluated along an orbit of this flow:

595: \begin{equation}

596: 	S_N(\ell) = F(g_0 \Phi^t)

597: \end{equation}

598: with $t=2\log N$ and initial condition 

599: \begin{equation}

600: 	g_0 = \left( \begin{pmatrix} 1 & \alpha \\ 0 & 1 \end{pmatrix}, (0,-x_0) \right) .

601: \end{equation}

602: Let us define

603: \begin{equation}

604: 	n_-(\alpha,y) = \left( \begin{pmatrix} 1 & \alpha \\ 0 & 1 \end{pmatrix}, (0,y) \right) .

605: \end{equation}

606: The subgroup $H=\{n_-(\alpha,y)\}_{(\alpha,y)\in\RR^2}$ is abelian and isomorphic to $\RR^2$. Notice that 

607: \begin{equation}

608: 	\Gamma\cap H = \{n_-(\alpha,y)\}_{(\alpha,y)\in\ZZ^2}

609: \end{equation}

610: is a subgroup of $H$ isomorphic to $\ZZ^2$. Therefore, for every fixed $t$, the set

611: \begin{equation}

612: \Gamma\backslash\Gamma H \Phi^t

613: \end{equation}

614: describes a torus $\simeq\TT^2$ embedded in $\GamG$; $t$ parametrizes a continuous family of such tori.

615: 

616: We will now show that $H$ parametrizes the unstable directions of the flow $\Phi^t$. We employ the following parametrization of $G$. Write

617: \begin{equation}

618: 	g= n_-(\alpha,y) \Phi^s n_+(\beta,x), 

619: \end{equation}

620: where

621: \begin{equation}

622: 	n_+(\beta,x) = \left( \begin{pmatrix} 1 & 0 \\ \beta & 1 \end{pmatrix}, (x,0) \right) .

623: \end{equation}

624: We will write for short $g=(\alpha,y,s,\beta,x)$. The advantage of these coordinates is that the time evolution under $\Phi^t$ can be worked out very simply. We have the relation

625: \begin{equation}\label{phiphi}

626: 	(\alpha,y,s,\beta,x)\Phi^t=\Phi^t (\e^t \alpha,\e^{t/2} y,s,\e^{-t}\beta,\e^{-t/2}x).

627: \end{equation}

628: Distances on $\GamG$ are measured by a left-$G$-invariant (since $\Gamma$ acts on the left) Riemannian metric $d(g,g')$ on $G$. If $g=(\alpha,y,0,0,0)$ and $g'=(\alpha',y',0,0,0)$ are two initially close points, we have under the flow $\Phi^t$ (use the above formula and left-invariance of the metric)

629: \begin{equation}

630: \begin{split}

631: 	d(g\Phi^t,g'\Phi^t) & = d((\e^t(\alpha-\alpha'),\e^{t/2}(y-y'),0,0,0),(0,0,0,0,0)) \\

632: 	& \approx (\e^{2t} |\alpha-\alpha'|^2+\e^{t}|y-y'|^2)^{1/2}.

633: \end{split}

634: \end{equation}

635: Hence $(\alpha,y)$ describe exponentially unstable directions of the flow, and by the same argument it is easy to see that $(\beta,y)$ are the exponentially stable directions and $s$ is of course the neutral flow direction. In particular we have the bound

636: \begin{equation}\label{dell}

637: 	d((\alpha,y,s,\beta,x)\Phi^t,(\alpha,y,0,0,0)\Phi^t) =O(|s|+|\beta|\e^{-t} + |x|\e^{-t/2})

638: \end{equation}

639: for $s,\beta,x$ bounded and $t>0$. This follows directly from \eqref{phiphi}.

640: 

641: \subsection{Mixing and uniform distribution}

642: 

643: Recall that we are interested in the behaviour of the distribution of $S_N(\ell)$ for $x_0$ random and $N$ large. At this point it will be convenient to also take $\alpha$ to be random, say, uniformly distributed in the interval $[a,b]$. We will see later that for fixed $\alpha$ there is no universal limiting distribution (an observation that is well known and related to the three gap theorem \cite{Slater67}).

644: 

645: We will use equidistribution on $\GamG$ to prove the following limit theorem, which asserts a limiting distribution different from Poissonian, cf. \eqref{poisson}.

646: 

647: We will use the notation $\overline g=\Gamma g$.

648: 

649: \begin{thm}\label{limthm}

650: For any $L>0$,

651: \begin{equation}

652: 	\lim_{N\to\infty} \frac{1}{b-a} \meas\{ (\alpha,x_0)\in[a,b]\times[0,1] : S_N(\ell)=k\} = E(k,L),

653: \end{equation}

654: where

655: \begin{equation}\label{EF}

656: 	E(k,L)=\frac{1}{\mu(\GamG)} \mu( \overline g\in\GamG : F(g)=k ).

657: \end{equation}

658: \end{thm}

659: 

660: Here $F$ is the function defined in \eqref{Fdef}, and $\mu$ the Haar measure on $G$. An explicit formula for $d\mu$ in the Iwasawa coordinates is

661: \begin{equation}

662: 	d\mu = \frac{du\,dv}{v^2} \,d\phi\,dx\,dy .

663: \end{equation}

664: It is possible to derive more explicit formulas for $E(k,L)$ from \eqref{EF}, but this requires some involved calculations which we will not pursue her. See \cite{Strombersson05}, Section 8, for details.

665: 

666: The key to the proof is the following equidistribution theorem.

667: 

668: \begin{thm}\label{udi}

669: For any bounded, piecewise continuous\footnote{i.e. the discontinuities are contained in a set of $\mu$ measure zero.} $f:\GamG\to\RR$

670: \begin{equation}

671: 	\lim_{t\to\infty} \frac{1}{b-a} \int_a^b\int_0^1 f(n_-(\alpha,y)\Phi^t) d\alpha\,dy

672: 	=\frac{1}{\mu(\GamG)} \int_{\GamG} f d\mu.

673: \end{equation}

674: \end{thm}

675: 

676: \begin{proof}

677: It is well known that the flow $\Phi^t$ is mixing,\footnote{This is guaranteed by a general theorem by Moore for semisimple Lie groups, which can be extended to the non-semisimple $G$ considered here, cf. \cite{Kleinbock99}.} that is

678: for any $f,h\in\L^2(\GamG)$

679: \begin{equation}

680: 		\lim_{t\to\infty} \int_{\GamG} f(g\Phi^t) h(g) d\mu

681: 	=\frac{1}{\mu(\GamG)} \int_{\GamG} f d\mu \int_{\GamG} h d\mu.

682: \end{equation}

683: Take $f$ to be continuous an of compact support, and $h$ the characteristic function of the set

684: \begin{equation}

685: 	S_\epsilon=\Gamma\{ (\alpha,y,s,\beta,y): \alpha\in[a,b],\,y\in[0,1], s,\beta,x\in[-\epsilon,\epsilon]\},

686: \end{equation}

687: which forms an $\epsilon$-neighbourhood of the embedded closed torus $S_0$. 

688: By the uniform continuity of $f$ and \eqref{dell}, given any $\delta>0$ there is an $\epsilon>0$ such that

689: \begin{equation}

690: 	\sup_{\substack{g\in S_\epsilon \\ t>0}} |f(g\Phi^t)-f(n_-(\alpha,y)\Phi^t)| < \delta.

691: \end{equation}

692: Haar measure in the local coordinates $(\alpha,y,s,\beta,y)$ reads (up to normalization) 

693: \begin{equation}

694: 	d\mu=\e^{3s/2} ds\,d\alpha\,d\beta\,dx\,dy.

695: \end{equation}

696: We conclude that

697: \begin{equation}

698: 	\liminf_{t\to\infty} \frac{1}{b-a} \int_a^b\int_0^1 f(n_-(\alpha,y)\Phi^t) d\alpha\,dy

699: 	=\frac{1}{\mu(\GamG)} \int_{\GamG} f d\mu +O(\delta)

700: \end{equation}

701: and

702: \begin{equation}

703: 	\limsup_{t\to\infty} \frac{1}{b-a} \int_a^b\int_0^1 f(n_-(\alpha,y)\Phi^t) d\alpha\,dy

704: 	=\frac{1}{\mu(\GamG)} \int_{\GamG} f d\mu + O(\delta),

705: \end{equation}

706: where the implied constants are independent of $\epsilon$. This works for any $\delta>0$, and hence the limit must exist and equal $\frac{1}{\mu(\GamG)} \int_{\GamG} f d\mu$. 

707: 

708: To extend the statement of the theorem to bounded continuous functions, we observe that it holds (trivially) for constant $f$, and therefore also for continuous functions $f$ that are constant outside some compact set. 

709: 

710: Let $f$ be a bounded piecewise continuous function. Given any $\epsilon>0$ we can find continuous functions $f_\pm$, constant outside some constant set, such that

711: \begin{equation}

712: 	f_- \leq f \leq f_+

713: \end{equation}

714: and

715: \begin{equation}

716: \frac{1}{\mu(\GamG)}	\int_{\GamG} (f_+-f_-) d\mu < \epsilon.

717: \end{equation}

718: This implies

719: \begin{equation}

720: \begin{split}

721: 	\liminf_{t\to\infty} \frac{1}{b-a} \int_a^b\int_0^1 f(n_-(\alpha,y)\Phi^t) d\alpha\,dy

722: 	& \geq \liminf_{t\to\infty} \frac{1}{b-a} \int_a^b\int_0^1 

723: 	f_-(n_-(\alpha,y)\Phi^t) d\alpha\,dy \\

724: 	& = \frac{1}{\mu(\GamG)} \int_{\GamG} f_- d\mu \\

725: 	& > \frac{1}{\mu(\GamG)} \int_{\GamG} f d\mu - 2\epsilon.

726: \end{split}

727: \end{equation}

728: The analogous argument shows

729: \begin{equation}

730: 	\limsup_{t\to\infty} \frac{1}{b-a} \int_a^b\int_0^1 f(n_-(\alpha,y)\Phi^t) d\alpha\,dy

731: 	< \frac{1}{\mu(\GamG)} \int_{\GamG} f d\mu + 2\epsilon.

732: \end{equation}

733: Taking $\epsilon>0$ arbitrarily small proves the theorem.

734: \end{proof}

735: 

736: \begin{remark}

737: An alternative proof of Theorem \ref{udi} follows from Ratner's theorem, since the subgroup $\{ n_-(\alpha,y)\}_{\alpha,y\in\RR}$ is generated by unipotent elements. We will get back to this later.

738: \end{remark}

739: 

740: \begin{proof}[Proof of Theorem \ref{limthm}]

741: Apply Theorem \ref{udi} to the characteristic function of the set of $\overline g\in\GamG$ for which $F(g)=k$ (to make sure the characteristic function is piecewise continuous, check that the set has a boundary of $\mu$ measure zero).

742: \end{proof}

743:  

744: 

745: 

746: \begin{remark}

747: As we had mentioned earlier, there is no limiting distribution as in Theorem \ref{limthm} if $\alpha$ is fixed, since there is no analog of the equidistribution result, Theorem \ref{udi}. One can show, however, that if $\alpha$ is irrational we have for any continuous, compactly supported function

748: \begin{equation}

749: 	\int_{\TT} f(n_-(\alpha,y)\Phi^t) dy

750: 	= \overline f\left(\begin{pmatrix} 1 & \alpha \\ 0 & 1 \end{pmatrix}

751: 	\begin{pmatrix} \e^{-t/2} & 0 \\ 0 & \e^{t/2} \end{pmatrix}\right) +o(1) \qquad(t\to\infty)

752: \end{equation}

753: where $\overline f$ is a (non-constant!) continuous, compactly supported function on $\SL(2,\ZZ)\backslash\SL(2,\RR)$ defined by

754: \begin{equation}

755: 	\overline f(M)= \int_{\TT^2} f( (1,\xi) (M,0)) d\xi .

756: \end{equation}

757: \end{remark}

758: 

759: \begin{remark}\label{rem2}

760: If one however fixes $y=-x_0\notin\QQ$ and keeps $\alpha$ random, Ratner's Theorem implies the following equidistribution result.

761: For any bounded piecewise continuous $f:\GamG\to\RR$

762: \begin{equation}\label{udi00}

763: 	\lim_{t\to\infty} \int_{\TT} f(n_-(\alpha,y)\Phi^t) d\alpha

764: 	=\frac{1}{\mu(\GamG)} \int_{\GamG} f d\mu.

765: \end{equation}

766: Hence the limiting distribution is universal (i.e. independent of $y$ as long as $y$ is irrational) and the same as for random $y$. Thus the probability of finding $k$ points in the interval $x_0-\ell/2,x_0+\ell/2)$ with {\em fixed} center $x_0\notin\QQ$ has the limiting distribution 

767: \begin{equation}

768: 	\lim_{N\to\infty} \meas\{ \alpha\in\TT^2 : S_N(\ell)=k\} = E(k,L),

769: \end{equation}

770: the same as for {\em random} center. We will prove \eqref{udi} in Section \ref{secRatner}.

771: \end{remark}

772: 

773: 

774: \section{$\sqrt{m\alpha}$ mod one}

775: 

776: The problem of the statistics of $\sqrt{m\alpha}$ mod 1 has been understood by Elkies and McMullen \cite{Elkies04} in the case $\alpha=1$ (and in principle also for all other rational $\alpha$). The uniform distribution of $\sqrt{m\alpha}$ mod 1 may be shown by using the fact that $\sqrt{n+m}-\sqrt{n}\to 0$ for $n\to\infty$, $m$ fixed (we leave this as an exercise). As in the last section, the key idea is the reduce the problem to equidistribution on a homogeneous space. Lucky for us, this homogeneous space will turn out to be $\GamG$ with the same $G$, $\Gamma$ as encountered earlier.

777: 

778: We are as in the previous section interested in the ``Poisson scaling limit'', i.e. $L$ is fixed. Now (we swap $m$ and $n$ in our notation)

779: \begin{equation}

780: 	S_N(\ell)= \sum_{n=1}^N \sum_{m\in\ZZ} \chi\left( \frac{N}{L} ( \sqrt{n\alpha} - x_0 +m) \right).

781: \end{equation}

782: The condition imposed on the summation can be re-written as

783: \begin{equation}

784: 	\left(x_0-m-\frac{L}{2N}\right)^2 \leq n \alpha < \left(x_0-m+\frac{L}{2N}\right)^2

785: \end{equation}

786: which amounts to

787: \begin{equation}

788: 	-\frac{L}{N} (x_0-m) \leq n\alpha -(x_0-m)^2 - \left(\frac{L}{2N}\right)^2 < \frac{L}{N} (x_0-m) .

789: \end{equation}

790: Notice also that

791: \begin{equation}

792: 	|\sqrt{n\alpha}-(x_0-m)|\leq \frac{L}{2N}.

793: \end{equation}

794: This yields

795: \begin{multline}

796: 	S_N(\ell)= \sum_{(m,n)\in\ZZ^2} \chi_{(0,1]}\left(\frac{x_0-m+O(L/2N)}{\sqrt{N\alpha}}\right)\\

797: 	\chi_{[-L,L)}\left( \frac{N^{1/2}[n\alpha - (x_0 -m)^2-(L/2N)^2]}{N^{-1/2}(x_0-m)} \right) .

798: \end{multline}

799: A more convenient object would be

800: \begin{equation}

801: 	\widetilde S_{N,\epsilon,\delta}(\ell)= \sum_{(m,n)\in\ZZ^2} \chi_{(-\epsilon,1+\epsilon]}\left(\frac{x_0-m}{\sqrt{N\alpha}}\right)

802: 	\chi_{[-L,L)}\left( \frac{N^{1/2}[n\alpha - (x_0 -m)^2]+\delta}{N^{-1/2}(x_0-m)} \right) .

803: \end{equation}

804: For the right choices of $\epsilon$ (positive/negative) we obtain upper/lower bounds for $S_N(\ell)$ which would eventually allow us to infer the limiting distribution of $S_N(\ell)$ from $\widetilde S_{N,\epsilon,\delta}(\ell)$ by taking $\delta\to 0$, $\epsilon\to \pm 0$. We will ignore this technical point here and simply take

805: \begin{equation}\label{approx}

806: 	S_N(\ell)\approx\widetilde S_{N,0,0}(\ell) = \sum_{(m,n)\in\ZZ^2} \chi_{(0,1]}\left(\frac{x_0-m}{\sqrt{N\alpha}}\right)

807: 	\chi_{[-L,L)}\left( \frac{N^{1/2}[n\alpha - (x_0 -m)^2]}{N^{-1/2}(x_0-m)} \right) .

808: \end{equation}

809: The manipulations we will now perform on the r.h.s. of \eqref{approx} can be adapted step by step for more general values of $\delta,\epsilon\neq 0$ (recommended exercise). We will use the shorthand $\widetilde S_N(\ell):=\widetilde S_{N,0,0}(\ell)$ in the following.

810: 

811: \subsection{The case $\alpha=1$}

812: 

813: We have, after substituting $(m,n)\to(-m,-n)$,

814: \begin{equation}\label{approx1}

815: 	\widetilde S_N(\ell) = \sum_{(m,n)\in\ZZ^2} \chi_{(0,1]}\left(\frac{x_0+m}{\sqrt{N}}\right)

816: 	\chi_{(-L,L]}\left( \frac{N^{1/2}[n+(x_0 +m)^2]}{N^{-1/2}(x_0+m)} \right) ,

817: \end{equation}

818: an thus, after substituting $n\mapsto n+m^2$ in the sum over $n$,

819: \begin{equation}\label{approx2}

820: 	\widetilde S_N(\ell) = \sum_{(m,n)\in\ZZ^2} \chi_{(0,1]}\left(\frac{x_0+m}{\sqrt{N}}\right)

821: 	\chi_{(-L,L]}\left( \frac{N^{1/2}(n + x_0^2 + 2mx_0)}{N^{-1/2}(x_0+m)} \right) ,

822: \end{equation}

823: We will now show that, in analogy with the previous section, we can find a function $F:\GamG\to\RR$ of the form

824: \begin{equation}\label{FF}

825: 	F(M,\xi) = \sum_{m\in\ZZ^2} \psi(mM+\xi)

826: \end{equation}

827: so that

828: \begin{equation}\label{Fg}

829: 	\widetilde S_N(\ell) = F(g)

830: \end{equation}

831: for a suitable choice of $g\in G$ and a piecewise continuous $\psi:\RR^2\to\RR$ with compact support. To this end define

832: \begin{equation}

833: 	\psi(x,y)=\chi_{(0,1]}(x) \chi_{(-L,L]}\left(\frac{y}{x}\right)

834: \end{equation}

835: (which indeed has compact support: it is the characteristic function of a triangle). Now

836: consider the one parameter subgroup $\{ n_1(x) \}_{x\in\RR}$ with

837: \begin{equation}

838: 	n_1(x)= \left(\begin{pmatrix} 1 & 2x \\ 0 & 1 \end{pmatrix}, (x,x^2) \right) 

839: \end{equation}

840: (check that this indeed yields a one parameter group). 

841: Then the choice (set $t=\log N$, $x=x_0$)

842: \begin{equation}

843: \begin{split}

844: 	(M,\xi) & = n_1(x_0)\Phi^t \\

845: 	  & = \left(\begin{pmatrix} N^{-1/2} & 2x_0 N^{1/2} \\ 0 & N^{1/2} \end{pmatrix}, (N^{-1/2} x_0, N^{1/2} x_0^2) \right)

846: \end{split}

847: \end{equation}

848: yields 

849: \begin{equation}

850: 	(m,n)M+\xi=\big( N^{-1/2} (x_0+m), N^{1/2} (2mx_0+n+x_0^2)\big) .

851: \end{equation}

852: Using this result in the definition \eqref{FF} then confirms the desired \eqref{Fg}.

853: 

854: We now follow the same steps as in the previous Section \ref{secMA} to derive the limiting distribution for $S_N(\ell)$ from equidistribution on $\GamG$. We first state the limit theorem.

855: 

856: \begin{thm}\label{limthm2}

857: For any $L>0$,

858: \begin{equation}

859: 	\lim_{N\to\infty} \meas\{ x_0\in\TT : S_N(\ell)=k\} = E(k,L),

860: \end{equation}

861: where

862: \begin{equation}\label{EF2}

863: 	E(k,L)=\frac{1}{\mu(\GamG)} \mu( \overline g\in\GamG : F(g)=k ),

864: \end{equation}

865: with $F$ as defined in \eqref{FF}.

866: \end{thm}

867: 

868: An explicit formula for $E(0,L)$ and the corresponding gap distribution $P(s)$ (recall Theorem \ref{EP}) is worked out in \cite{Elkies04}.

869: 

870: The relevant equidistribution theorem needed to prove Theorem \ref{limthm2} is the following. Note that $\Gamma \cap \{n_1(x)\}_{x\in\RR}= \{n_1(x)\}_{x\in\ZZ}$ and hence 

871: \begin{equation}

872: \Gamma\{n_1(x)\}_{x\in\TT}\Phi^t 

873: \end{equation}

874: represents a family (parametrized by $t$) of closed orbits embedded in $\GamG$.

875: 

876: \begin{thm}\label{udi2}

877: For any bounded piecewise continuous $f:\GamG\to\RR$

878: \begin{equation}

879: 	\lim_{t\to\infty} \int_{\TT} f(n_1(x)\Phi^t) dx

880: 	=\frac{1}{\mu(\GamG)} \int_{\GamG} f d\mu.

881: \end{equation}

882: \end{thm}

883: 

884: Since $n_1(x)$ generates a unipotent flow, Ratner's theorem can be employed. We will explain the general strategy of proof for statements of this type in Section \ref{secRatner}.

885: 

886: \subsection{Some heuristics in the case $\alpha=\sqrt 2$}

887: 

888: We return to generic $\alpha$, such as $\alpha=\sqrt 2$, and rewrite $\widetilde S_N(\ell)$ as

889: \begin{equation}

890: 	\widetilde S_N(\ell)=\sum_{(m,n)\in\ZZ^2} \chi_{(0,1]}\left(\frac{x_0+m}{M}\right)

891: 	\chi_{(-L,L]}\left( \frac{M[\alpha^{-1} (x_0 +m)^2+n]}{M^{-1}(x_0+m)} \right) 

892: \end{equation}

893: where $M=\sqrt{N\alpha}$. For $x_0\in[0,1]$ we can ignore terms of the form $x_0/M$, 

894: \begin{equation}

895: 	\widetilde S_N(\ell)\approx \sum_{(m,n)\in\ZZ^2} \chi_{(0,1]}\left(\frac{m}{M}\right)

896: 	\chi_{(-L,L]}\left( \frac{M[\alpha^{-1} (x_0 +m)^2+n]}{M^{-1}m} \right) .

897: \end{equation}

898: Now note that for most values of $m$, we have $m/M\asymp 1$, and it is natural to assume that, for random $x_0$,  the probability of finding $k$ elements of the set 

899: \begin{equation}

900: 	\{\alpha^{-1} (x_0 +m)^2:m=1,\ldots,M\} + \ZZ

901: \end{equation}

902: in an interval of size $1/M$ around the origin is given by the Poisson distribution (we must assume here that $\alpha$ is badly approximable by rationals, e.g. $\alpha=\sqrt 2$ would be a good choice). Hence we may assert that the limiting distribution of $S_N(\ell)$ is the same as that of the random variable

903: \begin{equation}

904: 	X=\sum_{(m,n)\in\ZZ^2} \chi_{(0,1]}\left(\frac{m}{M}\right)

905: 	\chi_{(-L,L]}\left( \frac{M(\eta_m+n)}{M^{-1}m} \right) 

906: \end{equation}

907: where $\eta_m$ are independent uniformly distributed random variables on $[-1/2,1/2)$. With this choice of interval the only contribution comes from the $n=0$ term (assume $M\gg L$), so

908: \begin{equation}

909: 	X=\sum_{m=1}^M X_m 

910: \end{equation}

911: where

912: \begin{equation}

913: 	X_m=\chi_{(-L,L]}\left( \frac{M^2 \eta_m}{m} \right)

914: \end{equation}

915: is a sequence of independent random variables with $k$th moment

916: \begin{equation}

917: 	\EE X_m^k = \int_{-1/2}^{1/2} \chi_{(-L,L]}\left( \frac{M^2 \eta_m}{m} \right) d\eta_m =\frac{2L m}{M^2} ,

918: \end{equation}

919: and hence 

920: \begin{equation}

921: 	\EE(\e^{\i t X_m}-1)= \frac{2L m}{M^2} (\e^{\i t}-1).

922: \end{equation}

923: The characteristic function of the random variable $X$ is therefore

924: \begin{equation}

925: \begin{split}

926: 	\EE \e^{\i t X} & = \prod_{m=1}^M \bigg[ 1 + \frac{2L m}{M^2} (\e^{\i t}-1) \bigg] \\ 

927: 	& = \exp \bigg\{ \sum_{m=1}^M \log\bigg[ 1 + \frac{2L m}{M^2} (\e^{\i t}-1) \bigg] \bigg\}\\

928: 	& = \exp \bigg\{ \sum_{m=1}^M \bigg[ \frac{2L m}{M^2} (\e^{\i t}-1) +O\bigg(\frac{m^2}{M^4}\bigg)\bigg]\bigg\} \\

929: 	& = \exp\bigg[ L (\e^{\i t}-1) +O\bigg(\frac{1}{M}\bigg) \bigg] .

930: \end{split}

931: \end{equation}

932: The expression $\e^{L (\e^{\i t}-1)}$ is the characteristic function of the Poisson law

933: \begin{equation}

934: E(k,L)=	\frac{L^k}{k!} \e^{-L} .

935: \end{equation}

936: Hence this should be our prediction for the limiting distribution of $S_N(\ell)$, which in turn implies that we expect the exponential distribution for gaps in $\sqrt{m\alpha}$ mod 1. This is in good agreement with our Maple experiment, Figure \ref{maple}.

937: 

938: \begin{figure}

939: \begin{minipage}{0.8\textwidth}

940: \footnotesize

941: %% Created by Maple 8.00 (IBM INTEL NT)

942: %% Source Worksheet: sqrtnalpha.mws

943: %% Generated: Tue Apr 04 13:11:48 2006

944: \begin{maplegroup}

945: \end{maplegroup}

946: \begin{maplegroup}

947: \begin{mapleinput}

948: \mapleinline{active}{1d}{alpha:=sqrt(2); N:=6001;}{%

949: }

950: \end{mapleinput}

951: 

952: \mapleresult

953: \begin{maplelatex}

954: \mapleinline{inert}{2d}{alpha := 2^(1/2);}{%

955: \[

956: \alpha  := \sqrt{2}

957: \]

958: %

959: }

960: \end{maplelatex}

961: 

962: \begin{maplelatex}

963: \mapleinline{inert}{2d}{N := 6001;}{%

964: \[

965: N := 6001

966: \]

967: %

968: }

969: \end{maplelatex}

970: 

971: \end{maplegroup}

972: \begin{maplegroup}

973: \begin{mapleinput}

974: \mapleinline{active}{1d}{L:=sort([seq(evalf[12](frac(sqrt(n*alpha))), n=1..N)]):}{%

975: }

976: \end{mapleinput}

977: 

978: \end{maplegroup}

979: \begin{maplegroup}

980: \end{maplegroup}

981: \begin{maplegroup}

982: \begin{mapleinput}

983: \mapleinline{active}{1d}{alist:=seq(evalf[12](N*(L[i+1]-L[i])),i=1..N-1):}{%

984: }

985: \end{mapleinput}

986: 

987: \end{maplegroup}

988: \begin{maplegroup}

989: \begin{mapleinput}

990: \mapleinline{active}{1d}{data:=stats[transform,tallyinto['outliers']]([alist],[seq((i-1)*0.2..

991: i*0.2,i=0..35)]):}{%

992: }

993: \end{mapleinput}

994: 

995: \end{maplegroup}

996: \begin{maplegroup}

997: \begin{mapleinput}

998: \mapleinline{active}{1d}{outliers;}{%

999: }

1000: \end{mapleinput}

1001: 

1002: \mapleresult

1003: \begin{maplelatex}

1004: \mapleinline{inert}{2d}{[7.0547245915, 7.0674227075, 7.1105849000, 7.1693268887,

1005: 7.2093775627, 7.3219323187, 7.3381866273, 7.4195061783, 7.5000233956,

1006: 7.6451419780, 7.7497418084, 7.9388213164, 8.0221013941, 8.1512135092,

1007: 8.4582030656];}{%

1008: \maplemultiline{

1009: [7.0547245915, \,7.0674227075, \,7.1105849000, \,7.1693268887, \,

1010: 7.2093775627,  \\

1011: 7.3219323187, \,7.3381866273, \,7.4195061783, \,7.5000233956, \,

1012: 7.6451419780,  \\

1013: 7.7497418084, \,7.9388213164, \,8.0221013941, \,8.1512135092, \,

1014: 8.4582030656] }

1015: %

1016: }

1017: \end{maplelatex}

1018: 

1019: \end{maplegroup}

1020: \begin{maplegroup}

1021: \begin{mapleinput}

1022: \mapleinline{active}{1d}{data1:=stats[transform,scaleweight[1/nops([alist])]](data):}{%

1023: }

1024: \end{mapleinput}

1025: 

1026: \end{maplegroup}

1027: \begin{maplegroup}

1028: \end{maplegroup}

1029: \begin{maplegroup}

1030: \begin{mapleinput}

1031: \mapleinline{active}{1d}{g1:=stats[statplots,histogram](data1):}{%

1032: }

1033: \end{mapleinput}

1034: 

1035: \end{maplegroup}

1036: \begin{maplegroup}

1037: \begin{mapleinput}

1038: \mapleinline{active}{1d}{g2:=plot(exp(-s), s=0..6):}{%

1039: }

1040: \end{mapleinput}

1041: 

1042: \end{maplegroup}

1043: \begin{maplegroup}

1044: \begin{mapleinput}

1045: \mapleinline{active}{1d}{plots[display](g1,g2);}{%

1046: }

1047: \end{mapleinput}

1048: 

1049: \mapleresult

1050: \begin{center}

1051: \mapleplot{sqrtnalpha01.eps}

1052: \end{center}

1053: 

1054: \end{maplegroup}

1055: \begin{maplegroup}

1056: \end{maplegroup}

1057: \begin{maplegroup}

1058: \end{maplegroup}

1059: \begin{maplegroup}

1060: \end{maplegroup}

1061: %% End of Maple 8.00 Output

1062: \end{minipage}

1063: \caption{Maple worksheet for calculating the gap distribution of the fractional parts of $\sqrt{m\sqrt2}$, $m=1,\ldots,6001$. \label{maple}}

1064: \end{figure}

1065: 

1066: \section{Ratner's theorem}\label{secRatner}

1067: 

1068: An excellent introduction to Ratner's theory is Dave W. Morris' recent textbook \cite{Morris05}.

1069: Let $G$ be a Lie group (e.g. $\SL(2,\RR)\times\RR^2$) and $\Gamma$ be a discrete subgroup (e.g. $\SL(2,\ZZ)\times\ZZ^2$). It is at this point not necessary to assume that $\Gamma$ is a lattice in $G$, i.e., that $\GamG$ has finite volume with respect to Haar measure $\mu$ on $G$. Ratner's measure classification theorem gives a complete geometric description of all measures that are invariant and ergodic under the a unipotent one parameter subgroup $U$ (or, more generally, invariant and ergodic under a subgroup generated by unipotent subgroups) acting on $\GamG$ by right multiplication. Examples of unipotent subgroups that appeared in the previous sections are $\{n_-(\alpha,0)\}_{\alpha\in\RR}$, $\{n_-(0,y)\}_{\alpha\in\RR}$ and $\{n_1(x)\}_{x\in\RR}$.

1070: 

1071: \begin{thm}[Ratner's theorem]

1072: 	Let $\nu$ be an ergodic, $U$-invariant probability measure on $\GamG$. Then there is a closed, connected subgroup $H\subset G$, and a point $\overline g\in\GamG$ such that

1073: \begin{enumerate}

1074: 	\item $\nu$ is $H$-invariant,

1075: 	\item $\nu$ is supported on the orbit $\overline g H$.

1076: \end{enumerate}

1077: \end{thm}

1078: 

1079: \begin{remark}

1080: Let $g\in G$ be a representative of the coset $\overline g=\Gamma g$, and define the subgroup $\Gamma_H=(g^{-1}\Gamma g)\cap H$. Then the orbit $\overline g H$ may be identified with the homogeneous space $\Gamma_H\backslash H$ and $\nu$ with the Haar measure on $H$. Furthermore one can deduce (since $\nu$ is a probability measure) that $\Gamma_H$ is a lattice in $H$, i.e., $\nu(\overline g H)<\infty$, and that the orbit $\overline g H$ is closed in $\GamG$. 

1081: \end{remark}

1082: 

1083: In simple words, measures $\nu$ invariant and ergodic under unipotent subgroups are supported on nice embedded closed subvarieties, of which there can be only countably many (modulo translations of course). We will now discuss two corollaries of Ratner's theorem that are relevant to the equidistribution theorems discussed earlier.

1084: 

1085: \subsection{Limit distributions of translates}

1086: 

1087: The following is special case of Shah's extremely useful theorem, Theorem 1.4 in \cite{Shah96}.

1088: 

1089: \begin{thm}

1090: Suppose $G$ contains a Lie subgroup $H$ isomorphic to $\SL(2,\RR)$ (we denote the corresponding embedding by $\varphi:\SL(2,\RR)\to G$), such that the set $\Gamma\backslash\Gamma H$ is dense in $\GamG$. 

1091: Then, for any bounded, piecewise continuous $f:\GamG\to \RR$ and any piecewise continuous $h:\RR\to\RR$ with compact support

1092: \begin{equation}

1093: 	\lim_{t\to\infty} \int_{\RR} f\left(\varphi\left(

1094: 	\begin{pmatrix} 1 & x \\ 0 & 1\end{pmatrix}

1095: 	\begin{pmatrix} \e^{-t/2} & 0 \\ 0 & \e^{t/2} \end{pmatrix}

1096: 	\right)\right) h(x) dx

1097: 	= \frac{1}{\mu(\GamG)} \int_{\GamG} f d\mu \, \int_{\RR} h(x) dx

1098: \end{equation}

1099: where $\mu$ is the Haar measure of $G$.

1100: \end{thm}

1101: 

1102: The general strategy of proof for statements of the above type is as follows.

1103: \begin{enumerate}

1104: 	\item Normalize $h$ such that it defines a probability density.

1105: 	\item Show that the sequences of probability measures $\nu_t$ defined by

1106: \begin{equation}

1107: 	\nu_t(f)=\int_{\RR} f\left(\varphi\left(

1108: 	\begin{pmatrix} 1 & x \\ 0 & 1\end{pmatrix}

1109: 	\begin{pmatrix} \e^{-t/2} & 0 \\ 0 & \e^{t/2} \end{pmatrix}

1110: 	\right)\right) h(x) dx 

1111: \end{equation}

1112: 	is tight. Then, by the Helly-Prokhorov theorem, it is relatively compact, i.e., every sequence of $\nu_t$ contains a convergent subsequence with weak limit $\nu$, say.

1113: 	\item Show that $\nu$ is invariant under a unipotent subgroup $U$; in the present case,

1114: \begin{equation}

1115: 	U= \left\{\varphi\left(\begin{pmatrix} 1 & x \\ 0 & 1\end{pmatrix} \right)\right\}_{x\in\RR}.

1116: \end{equation}

1117: 	\item Use a density argument to rule out measures concentrated on subvarieties (exploit the assumption that $\Gamma\backslash\Gamma H$ is dense in $\GamG$).

1118: \end{enumerate}

1119: 

1120: As an application of Shah's theorem we give a proof of the statement in Remark \ref{rem2}, in fact a slightly more general version allowing for non-constant $h$. Recall that here $G=\SL(2,\RR)\times\RR^2$ and $\Gamma=\SL(2,\ZZ)\times\ZZ^2$.

1121: 

1122: \begin{cor}

1123: Let $y\not\in\QQ$. For any bounded piecewise continuous $f:\GamG\to\RR$ and piecewise continuous $h:\RR\to\RR$ with compact support

1124: \begin{equation}\label{soso}

1125: 	\lim_{t\to\infty} \int_{\RR} f(n_-(\alpha,y)\Phi^t) h(\alpha) d\alpha

1126: 	=\frac{1}{\mu(\GamG)} \int_{\GamG} f d\mu \int_\RR h(\alpha) d\alpha.

1127: \end{equation}

1128: \end{cor}

1129: 

1130: \begin{proof}

1131: We define the embedding $\varphi:\SL(2,\RR)\to G$ by

1132: \begin{equation}

1133: 	M \mapsto (1,(0,y)) (M,0) (1,(0,y))^{-1} .

1134: \end{equation}

1135: We need to show that 

1136: \begin{equation}

1137: 	(\gamma,n)(1,(0,y)) (M,0) (1,(0,y))^{-1}

1138: \end{equation}

1139: is dense in $G$ as $\gamma,n,M$ vary over $\SL(2,\ZZ)$, $\ZZ^2$, $\SL(2,\RR)$, respectively. It is obviously sufficient to show this for

1140: \begin{equation}

1141: 		(\gamma,n)(1,(0,y)) (M,0) = (\gamma M,(n_1,(y+n_2))M),

1142: \end{equation}

1143: and thus for $(M,(n_1,(y+n_2))\gamma^{-1} M)$.

1144: It is however easy to see, using the irrationality of $y$, that $(n_1,(y+n_2))\gamma^{-1}$ is dense in $\RR^2$ (exercise). The completes the proof of the density.

1145: 

1146: Shah's theorem says now that

1147: \begin{equation}

1148: 	\lim_{t\to\infty} \int_{\RR} \tilde f(n_-(\alpha,y)\Phi^t n_-(0,y)^{-1}) h(\alpha) d\alpha

1149: 	=\frac{1}{\mu(\GamG)} \int_{\GamG} \tilde f d\mu \int_\RR h(\alpha) d\alpha.

1150: \end{equation}	

1151: for all bounded, piecewise continuous $\tilde f$. Choosing the test function 

1152: \begin{equation}

1153: 	\tilde f(g)=f(g n_-(0,y))

1154: \end{equation}

1155: which is left-$\Gamma$-invariant and bounded, piecewise continuous, if $f$ is (as assumed). This yields \eqref{soso}.

1156: \end{proof}

1157: 

1158: 

1159: \subsection{Equidistribution, unbounded test functions and diophantine conditions}

1160: 

1161: In some applications of Ratner's theorem, e.g., in questions of value distribution of quadratic forms \cite{Eskin98,Eskin05,pairI,pairII}, the test functions $f$ in the equidistribution theorems are no longer bounded. Under such circumstances the convergence of the integral can only be assured by assuming certain diophantine conditions. Without going into the intricate details for general $\GamG$, we will illustrate this phenomenon in the distribution of $m\alpha$ on $\TT$, which indeed may be viewed as a unipotent orbit on the homogeneous space $\ZZ\backslash\RR$. As mentioned earlier, it is well known that for $\alpha\notin\QQ$ the sequence is uniformly distributed mod 1. That is, for any bounded continuous function $f:\TT\to\RR$ we have

1162: \begin{equation}

1163: 	\lim_{N\to\infty} \frac1N \sum_{m=1}^N f(m\alpha) = \int_{\TT} f(x) dx.

1164: \end{equation}

1165: Let us know formulate the analogous statement for test functions with a possible singularity at $x=0$.

1166: 

1167: It is convenient to identify $\TT$ with $[-1/2,1/2)$. For any $\beta\geq 0$ we define the class $K_\beta(\TT)$ of functions continuous on $\TT-\{0\}$, with the property that there is a constant $C>0$ such that

1168: \begin{equation}

1169: 	|f(x)| \leq C |x|^{-\beta}, \qquad \text{for all $x\in[-1/2,1/2)$.}

1170: \end{equation}

1171: 

1172: We say $\alpha\in\RR$ is {\em diophantine of type $\kappa$}

1173: if there exists a constant $c>0$ such that

1174: $$

1175: \left| \alpha - \frac{p}{q} \right| > \frac{c}{q^\kappa}

1176: $$

1177: for all $p,q\in\ZZ$, $q>0$. The smallest possible value of $\kappa$ is $\kappa=2$ (achieved for quadratic surds, e.g., $\alpha=\sqrt2$), and it is well known that for any $\kappa>2$ there is a set of full Lebesgue measure of $\alpha$ that have type $\kappa$.

1178: 

1179: \begin{thm}

1180: Let $\alpha$ be diophantine of type $\kappa$. Then, for any $f\in K_\beta(\TT)$ with $0\leq \beta<1/(\kappa-1)$,

1181: \begin{equation}\label{mittach}

1182: 	\lim_{N\to\infty} \frac1N \sum_{m=1}^N f(m\alpha) = \int_{\TT} f(x) dx.

1183: \end{equation}

1184: \end{thm}

1185: 

1186: 

1187: \begin{proof}

1188: We split $f=f_+-f_-$ into positive and negative part, such that $f_\pm\geq 0$. Then $f_\pm\in K_\beta(\TT)$ and we may prove \eqref{mittach} for both $f_\pm$ separately. In the following we will thus assume that $f\geq 0$.

1189: 

1190: For any $\epsilon>0$ let us define

1191: \begin{equation}

1192: 	f_\epsilon(x)=

1193: 	\begin{cases}

1194: 	f(x) & \text{if $|x|>\epsilon$}\\

1195: 	\min\{f(x), f(\epsilon)\} & \text{if $|x|\leq \epsilon$}

1196: 	\end{cases}

1197: \end{equation}

1198: and $g_\epsilon=f-f_\epsilon$. Note that $f_\epsilon\leq f$. By assumption,

1199: \begin{equation}

1200: 	g_\epsilon(x)

1201: 		\begin{cases}

1202: 	\leq C |x|^{-\beta} & \text{if $|x|\leq \epsilon$}\\

1203: 	= 0 & \text{if $|x| \geq \epsilon$.}

1204: 	\end{cases}

1205: \end{equation}

1206: The function $f_\epsilon$ is bounded continuous, and hence by uniform distribution

1207: \begin{equation} \label{feps}

1208: 	\lim_{N\to\infty} \frac1N \sum_{m=1}^N f_\epsilon(m\alpha) = \int_{\TT} f_\epsilon(x) dx

1209: = \int_{\TT} f(x) dx - O(\epsilon^{1-\beta}).

1210: \end{equation}

1211: Since $f_\epsilon\leq f$, this implies the lower bound

1212: \begin{equation}

1213: 	\liminf_{N\to\infty} \frac1N \sum_{m=1}^N f(m\alpha) 

1214: \geq \int_{\TT} f(x) dx - O(\epsilon^{1-\beta}) . 

1215: \end{equation}

1216: 

1217: As to the upper bound,

1218: \begin{equation}

1219: 	\frac1N \sum_{m=1}^N g_\epsilon(m\alpha)

1220: 	\leq \frac{C}{N} \sum_{m=1}^N \frac{\chi_{(0,\epsilon]}(\|m\alpha\|)}{\|m\alpha \|^{\beta}}

1221: \end{equation}

1222: where $\|\,\cdot\,\|$ denotes the distance to the nearest integer.

1223: Using the dyadic decomposition of the unit interval, we find

1224: \begin{equation}

1225: \begin{split}

1226: 	\frac{1}{N} \sum_{m=1}^N \frac{\chi_{(0,\epsilon]}(\|m\alpha\|)}{\|m\alpha \|^{\beta}}

1227: 	& = \frac{1}{N} \sum_{j=0}^\infty \sum_{m=1}^N \frac{\chi_{(\epsilon 2^{-(j+1)},\epsilon 2^{-j}]}(\|m\alpha\|)}{\|m\alpha \|^{\beta}} \\

1228: 	& < \frac{1}{N\epsilon^\beta} \sum_{j=0}^\infty 2^{\beta(j+1)} \sum_{m=1}^N \chi_{(\epsilon 2^{-(j+1)},\epsilon 2^{-j}]}(\|m\alpha\|) \\

1229: 	& \leq \frac{2B}{\epsilon^\beta} \sum_{j=0}^\infty 2^{\beta(j+1)} (\epsilon 2^{-(j+1)})^{\frac{1}{\kappa-1}} \quad\text{(for some $B>0$)}\\

1230: 	& =O(\epsilon^{\frac{1}{\kappa-1}-\beta}).

1231: \end{split}

1232: \end{equation}

1233: The inequality before the last follows from Lemma \ref{lastLemma} below. 

1234: We conclude that

1235: \begin{equation}\label{gg}

1236: 	\frac1N \sum_{m=1}^N g_\epsilon(m\alpha) 

1237: 	= O(\epsilon^{\frac{1}{\kappa-1}-\beta})

1238: \end{equation}

1239: Therefore

1240: \begin{equation}

1241: \begin{split}

1242: 	\limsup_{N\to\infty} \frac1N \sum_{m=1}^N f(m\alpha)

1243: 	& =  \limsup_{N\to\infty} \frac1N \sum_{m=1}^N [f_\epsilon(m\alpha)+g_\epsilon(m\alpha)]\\

1244: 	& \leq \int_{\TT} f(x) dx + O(\epsilon^{1-\beta}) + O(\epsilon^{\frac{1}{\kappa-1}-\beta}),

1245: \end{split}

1246: \end{equation}

1247: in view of \eqref{feps} and \eqref{gg}.

1248: 

1249: Since $\epsilon>0$ can be arbitrarily small, the limsup and liminf must coincide.

1250: \end{proof}

1251: 

1252: 

1253: The following lemma is used in the preceding proof.

1254: 

1255: \begin{lem}\label{lastLemma}

1256: Let $\alpha$ be diophantine of type $\kappa$. Then there is a constant $B>0$ such that, for any interval $[x_0,x_0+\ell]$,

1257: \begin{equation}\label{numb}

1258: 	\#\{ m=1,\ldots,N: m\alpha \in [x_0,x_0+\ell] +\ZZ \} 

1259: 	\leq 

1260: 	\begin{cases}

1261: 	0 & \text{if $N^{\kappa-1}\ell< c$} \\

1262: 	B N \ell^{1/(\kappa-1)} & \text{otherwise.} 

1263: 	\end{cases} 

1264: \end{equation}

1265: \end{lem}

1266: 

1267: \begin{proof}

1268: Define $T=1/\ell$.

1269: Let us divide the counting into blocks of the form

1270: \begin{equation}

1271: 	\#\{ m_0 < m \leq m_0 + T^{1/(\kappa-1)} : m\alpha \in [x_0,x_0+\ell] +\ZZ \} ,

1272: \end{equation}

1273: The number of such blocks contributing to \eqref{numb} is less than $O(N T^{-1/(\kappa-1)}+1)$.

1274: 

1275: The gaps between elements of the sequence $m\alpha$ mod 1, $m_0< m\leq m_0+ T^{1/(\kappa-1)}$, are of the form $n\alpha$ mod 1, with $|n|<2T^{1/(\kappa-1)}$. By the diophantine condition, the gaps therefore have seize at least 

1276: \begin{equation}

1277: 	\| n\alpha \| \geq \frac{c}{|n|^{\kappa-1}} > \frac{c}{2^{\kappa-1} T}. 

1278: \end{equation}

1279: An interval of size $\ell=1/T$ can hence at most contain a bounded number of elements. 

1280: Hence

1281: \begin{equation}

1282: 	\#\{ m_0 < m \leq m_0 + T^{1/(\kappa-1)} : m\alpha \in [x_0,x_0+\ell] +\ZZ \} \leq B'

1283: \end{equation}

1284: for some constant $B'>0$ independent of $m_0,x_0,\ell$. Recall that there were at most $N T^{-1/(\kappa-1)}+1$ such blocks, and this yields the upper bound in the second alternative. 

1285: 

1286: The first alternative is easily proven since the minimum gap size for the full sequence $m=1,\ldots,N$ is at least $c/(2N)^{\kappa-1}$. 

1287: \end{proof}

1288: 

1289: 

1290: 

1291: 

1292: \begin{thebibliography}{99}

1293: 

1294: \bibitem{Einsiedler06}

1295: M. Einsiedler, A. Katok and E. Lindenstrauss,

1296: Invariant measures and the set of exceptions to Littlewoods conjecture, to appear in {\em Annals of Math.}

1297: 

1298: \bibitem{Elkies04}

1299: N.D. Elkies and C.T. McMullen, Gaps in ${\sqrt n}\bmod 1$ and ergodic theory.  {\em Duke Math. J.} {\bf 123}  (2004) 95--139.

1300: 

1301: \bibitem{Eskin98}

1302: A.\,Eskin, G.\,Margulis and S.\,Mozes, Upper bounds and

1303: asymptotics in a quantitative version of the Oppenheim conjecture,

1304: {\em Ann. of Math.} {\bf 147} (1998) 93-141.

1305: 

1306: \bibitem{Eskin05}

1307: A.\,Eskin, G.\,Margulis and S.\,Mozes, 

1308: Quadratic forms of signature (2,2) 

1309: and eigenvalue spacings on rectangular 2-tori, {\em Ann. of Math.} {\bf 161} (2005) 679-725.

1310: 

1311: \bibitem{Kleinbock99}

1312: D. Kleinbock, Badly approximable systems of affine forms.  {\em J. Number Theory} {\bf 79}  (1999) 83-102. 

1313: 

1314: \bibitem{Lindenstrauss06}

1315: E. Lindenstrauss,  Invariant measures and arithmetic quantum unique ergodicity,  {\em Ann. of Math.} {\bf 163}  (2006) 165-219.

1316: 

1317: \bibitem{npoint}

1318: J.\,Marklof,

1319: The $n$-point correlations between values of a linear form, 

1320: with an appendix by Z.~Rudnick,

1321: {\em Ergod. Th. Dyn. Sys.} {\bf 20} (2000) 1127-1172.

1322: 

1323: \bibitem{pairI}

1324: J.\,Marklof, Pair correlation densities of inhomogeneous quadratic forms,

1325: {\em Ann. of Math.} {\bf 158} (2003) 419-471.

1326: 

1327: \bibitem{pairII}

1328: J.\,Marklof, Pair correlation densities of inhomogeneous quadratic forms II,

1329: {\em Duke Math. J.} {\bf 115} (2002) 409-434; Correction,

1330: {\em ibid.} {\bf 120} (2003) 227-228.

1331: 

1332: \bibitem{energy}

1333: J. Marklof, Energy level statistics, lattice point problems 

1334: and almost modular functions, in P. Cartier; B. Julia; P. Moussa; P. Vanhove (Editors):

1335: {\em Frontiers in Number Theory, Physics and Geometry. Volume 1:

1336: On random matrices, zeta functions and dynamical systems}, Springer, 2006, pp. 163-181.

1337: 

1338: \bibitem{Morris05}

1339: D.W. Morris, {\em Ratner's theorems on unipotent flows.} Chicago Lectures in Mathematics. University of Chicago Press, Chicago, IL, 2005.

1340: 

1341: \bibitem{Rudnick98}

1342: Z. Rudnick and P. Sarnak,

1343: The pair correlation function of fractional parts of polynomials,

1344: {\em Comm. Math. Phys.} \textbf{194} (1998) 61-70.

1345: 

1346: \bibitem{Rudnick02}

1347: Z. Rudnick and A. Zaharescu, 

1348: The distribution of spacings between fractional parts of lacunary sequences.

1349: {\em Forum Math.} {\bf 14} (2002) 691-712.

1350: 

1351: \bibitem{Shah96}

1352: N.A.\,Shah, Limit distributions of expanding 

1353: translates of certain orbits on homogeneous spaces,

1354: {\em Proc. Indian Acad. Sci., Math. Sci.} {\bf 106} (1996) 105-125.

1355: 

1356: \bibitem{Slater67}

1357: N.B.\,Slater,

1358: Gaps and steps for the sequence $n\theta \mod 1$, 

1359: {\em Proc. Cambridge Philos. Soc.} {\bf 63} (1967) 1115-1123.

1360: 

1361: \bibitem{Strombersson05}

1362: A. Str\"ombergsson and A. Venkatesh, Small solutions to linear congruences and Hecke equidistribution.  {\em Acta Arith.}  {\bf 118}  (2005) 41-78.

1363: 

1364: \end{thebibliography}

1365: 

1366: \end{document}