From Apollonius to Zaremba: Local-global phenomena in thin orbits

Kontorovich, Alex

doi:10.1090/S0273-0979-2013-01402-2

From Apollonius to Zaremba: Local-global phenomena in thin orbits
HTML articles powered by AMS MathViewer

by Alex Kontorovich PDF

Bull. Amer. Math. Soc. 50 (2013), 187-228 Request permission

Abstract:

We discuss a number of natural problems in arithmetic, arising in completely unrelated settings, which turn out to have a common formulation involving “thin” orbits. These include the local-global problem for integral Apollonian gaskets and Zaremba’s Conjecture on finite continued fractions with absolutely bounded partial quotients. Though these problems could have been posed by the ancient Greeks, recent progress comes from a pleasant synthesis of modern techniques from a variety of fields, including harmonic analysis, algebra, geometry, combinatorics, and dynamics. We describe the problems, partial progress, and some of the tools alluded to above.

References

Jean Bourgain and Elena Fuchs, A proof of the positive density conjecture for integer Apollonian circle packings, J. Amer. Math. Soc. 24 (2011), no. 4, 945–967. MR 2813334, DOI 10.1090/S0894-0347-2011-00707-8
Jean Bourgain and Alex Gamburd, Uniform expansion bounds for Cayley graphs of $\textrm {SL}_2(\Bbb F_p)$, Ann. of Math. (2) 167 (2008), no. 2, 625–642. MR 2415383, DOI 10.4007/annals.2008.167.625
Jean Bourgain, Alex Gamburd, and Peter Sarnak, Sieving and expanders, C. R. Math. Acad. Sci. Paris 343 (2006), no. 3, 155–159 (English, with English and French summaries). MR 2246331, DOI 10.1016/j.crma.2006.05.023
Jean Bourgain, Alex Gamburd, and Peter Sarnak, Affine linear sieve, expanders, and sum-product, Invent. Math. 179 (2010), no. 3, 559–644. MR 2587341, DOI 10.1007/s00222-009-0225-3
Jean Bourgain, Alex Gamburd, and Peter Sarnak, Generalization of Selberg’s $\frac {3}{16}$ theorem and affine sieve, Acta Math. 207 (2011), no. 2, 255–290. MR 2892611, DOI 10.1007/s11511-012-0070-x
Emmanuel Breuillard, Ben Green, and Terence Tao, Approximate subgroups of linear groups, Geom. Funct. Anal. 21 (2011), no. 4, 774–819. MR 2827010, DOI 10.1007/s00039-011-0122-y
Jean Bourgain and Alex Kontorovich, On representations of integers in thin subgroups of $\textrm {SL}_2(\Bbb Z)$, Geom. Funct. Anal. 20 (2010), no. 5, 1144–1174. MR 2746949, DOI 10.1007/s00039-010-0093-4
Jean Bourgain and Alex Kontorovich, On Zaremba’s conjecture, C. R. Math. Acad. Sci. Paris 349 (2011), no. 9-10, 493–495 (English, with English and French summaries). MR 2802911, DOI 10.1016/j.crma.2011.03.023
J. Bourgain and A. Kontorovich. On the local-global conjecture for integral Apollonian gaskets, 2012. Preprint, arXiv:1205.4416v1.
Jean Bourgain, Alex Kontorovich, and Peter Sarnak, Sector estimates for hyperbolic isometries, Geom. Funct. Anal. 20 (2010), no. 5, 1175–1200. MR 2746950, DOI 10.1007/s00039-010-0092-5
J. Bourgain, N. Katz, and T. Tao, A sum-product estimate in finite fields, and applications, Geom. Funct. Anal. 14 (2004), no. 1, 27–57. MR 2053599, DOI 10.1007/s00039-004-0451-1
Jean Bourgain, The sum-product theorem in $\Bbb Z_q$ with $q$ arbitrary, J. Anal. Math. 106 (2008), 1–93. MR 2448982, DOI 10.1007/s11854-008-0044-2
David W. Boyd, The residual set dimension of the Apollonian packing, Mathematika 20 (1973), 170–174. MR 493763, DOI 10.1112/S0025579300004745
David W. Boyd, The sequence of radii of the Apollonian packing, Math. Comp. 39 (1982), no. 159, 249–254. MR 658230, DOI 10.1090/S0025-5718-1982-0658230-7
Jean Bourgain and Péter P. Varjú, Expansion in $SL_d(\textbf {Z}/q\textbf {Z}),\,q$ arbitrary, Invent. Math. 188 (2012), no. 1, 151–173. MR 2897695, DOI 10.1007/s00222-011-0345-4
J. W. S. Cassels, Rational quadratic forms, London Mathematical Society Monographs, vol. 13, Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], London-New York, 1978. MR 522835
H. S. M. Coxeter, The problem of Apollonius, Amer. Math. Monthly 75 (1968), 5–15. MR 230204, DOI 10.2307/2315097
Rene Descartes. Œuvres, volume 4. Paris, 1901. C. Adams and P. Tannery, eds.
Dmitry Dolgopyat, On decay of correlations in Anosov flows, Ann. of Math. (2) 147 (1998), no. 2, 357–390. MR 1626749, DOI 10.2307/121012
W. Duke, Z. Rudnick, and P. Sarnak, Density of integer points on affine homogeneous varieties, Duke Math. J. 71 (1993), no. 1, 143–179. MR 1230289, DOI 10.1215/S0012-7094-93-07107-4
Giuliana Davidoff, Peter Sarnak, and Alain Valette, Elementary number theory, group theory, and Ramanujan graphs, London Mathematical Society Student Texts, vol. 55, Cambridge University Press, Cambridge, 2003. MR 1989434, DOI 10.1017/CBO9780511615825
Nicholas Eriksson and Jeffrey C. Lagarias, Apollonian circle packings: number theory. II. Spherical and hyperbolic packings, Ramanujan J. 14 (2007), no. 3, 437–469. MR 2357448, DOI 10.1007/s11139-007-9052-6
Alex Eskin and Curt McMullen, Mixing, counting, and equidistribution in Lie groups, Duke Math. J. 71 (1993), no. 1, 181–209. MR 1230290, DOI 10.1215/S0012-7094-93-07108-6
Elena Fuchs and Katherine Sanden, Some experiments with integral Apollonian circle packings, Exp. Math. 20 (2011), no. 4, 380–399. MR 2859897, DOI 10.1080/10586458.2011.565255
Elena Fuchs, Strong approximation in the Apollonian group, J. Number Theory 131 (2011), no. 12, 2282–2302. MR 2832824, DOI 10.1016/j.jnt.2011.05.010
Alex Gamburd, On the spectral gap for infinite index “congruence” subgroups of $\textrm {SL}_2(\mathbf Z)$, Israel J. Math. 127 (2002), 157–200. MR 1900698, DOI 10.1007/BF02784530
Ronald L. Graham, Jeffrey C. Lagarias, Colin L. Mallows, Allan R. Wilks, and Catherine H. Yan, Apollonian circle packings: number theory, J. Number Theory 100 (2003), no. 1, 1–45. MR 1971245, DOI 10.1016/S0022-314X(03)00015-5
Ronald L. Graham, Jeffrey C. Lagarias, Colin L. Mallows, Allan R. Wilks, and Catherine H. Yan, Apollonian circle packings: geometry and group theory. I. The Apollonian group, Discrete Comput. Geom. 34 (2005), no. 4, 547–585. MR 2173929, DOI 10.1007/s00454-005-1196-9
Ronald L. Graham, Jeffrey C. Lagarias, Colin L. Mallows, Allan R. Wilks, and Catherine H. Yan, Apollonian circle packings: geometry and group theory. II. Super-Apollonian group and integral packings, Discrete Comput. Geom. 35 (2006), no. 1, 1–36. MR 2183489, DOI 10.1007/s00454-005-1195-x
Ronald L. Graham, Jeffrey C. Lagarias, Colin L. Mallows, Allan R. Wilks, and Catherine H. Yan, Apollonian circle packings: geometry and group theory. III. Higher dimensions, Discrete Comput. Geom. 35 (2006), no. 1, 37–72. MR 2183490, DOI 10.1007/s00454-005-1197-8
Andrew Granville, Harald Cramér and the distribution of prime numbers, Scand. Actuar. J. 1 (1995), 12–28. Harald Cramér Symposium (Stockholm, 1993). MR 1349149, DOI 10.1080/03461238.1995.10413946
H. A. Helfgott, Growth and generation in $\textrm {SL}_2(\Bbb Z/p\Bbb Z)$, Ann. of Math. (2) 167 (2008), no. 2, 601–623. MR 2415382, DOI 10.4007/annals.2008.167.601
Doug Hensley, The distribution of badly approximable numbers and continuants with bounded digits, Théorie des nombres (Quebec, PQ, 1987) de Gruyter, Berlin, 1989, pp. 371–385. MR 1024576
Doug Hensley, Continued fraction Cantor sets, Hausdorff dimension, and functional analysis, J. Number Theory 40 (1992), no. 3, 336–358. MR 1154044, DOI 10.1016/0022-314X(92)90006-B
Douglas Hensley, A polynomial time algorithm for the Hausdorff dimension of continued fraction Cantor sets, J. Number Theory 58 (1996), no. 1, 9–45. MR 1387719, DOI 10.1006/jnth.1996.0058
Oliver Jenkinson and Mark Pollicott, Computing the dimension of dynamically defined sets: $E_2$ and bounded continued fractions, Ergodic Theory Dynam. Systems 21 (2001), no. 5, 1429–1445. MR 1855840, DOI 10.1017/S0143385701001687
Alex Kontorovich and Hee Oh, Apollonian circle packings and closed horospheres on hyperbolic 3-manifolds, J. Amer. Math. Soc. 24 (2011), no. 3, 603–648. With an appendix by Oh and Nimish Shah. MR 2784325, DOI 10.1090/S0894-0347-2011-00691-7
Alex Kontorovich and Hee Oh, Almost prime Pythagorean triples in thin orbits, J. Reine Angew. Math. 667 (2012), 89–131. MR 2929673, DOI 10.1515/crelle.2011.128
Alex V. Kontorovich, The hyperbolic lattice point count in infinite volume with applications to sieves, ProQuest LLC, Ann Arbor, MI, 2007. Thesis (Ph.D.)–Columbia University. MR 2710911
Alex V. Kontorovich, The hyperbolic lattice point count in infinite volume with applications to sieves, Duke Math. J. 149 (2009), no. 1, 1–36. MR 2541126, DOI 10.1215/00127094-2009-035
Steven P. Lalley, Renewal theorems in symbolic dynamics, with applications to geodesic flows, non-Euclidean tessellations and their fractal limits, Acta Math. 163 (1989), no. 1-2, 1–55. MR 1007619, DOI 10.1007/BF02392732
E. Landau. Über die Einteilung der positiven ganzen Zahlen in vier Klassen nach der Mindestzahl der zu ihrer additiven Zusammensetzung erforderlichen Quadrate. Arch. der Math. u. Phys., 13(3):305–312, 1908.
Jeffrey C. Lagarias, Colin L. Mallows, and Allan R. Wilks, Beyond the Descartes circle theorem, Amer. Math. Monthly 109 (2002), no. 4, 338–361. MR 1903421, DOI 10.2307/2695498
M. Lee and H. Oh. Effective circle count for Apollonian packings and closed horospheres, 2012. Preprint, arXiv:1202.1067.
Peter D. Lax and Ralph S. Phillips, The asymptotic distribution of lattice points in Euclidean and non-Euclidean spaces, J. Functional Analysis 46 (1982), no. 3, 280–350. MR 661875, DOI 10.1016/0022-1236(82)90050-7
Alexander Lubotzky, Expander graphs in pure and applied mathematics, Bull. Amer. Math. Soc. (N.S.) 49 (2012), no. 1, 113–162. MR 2869010, DOI 10.1090/S0273-0979-2011-01359-3
J. M. Marstrand, Some fundamental geometrical properties of plane sets of fractional dimensions, Proc. London Math. Soc. (3) 4 (1954), 257–302. MR 63439, DOI 10.1112/plms/s3-4.1.257
Curtis T. McMullen, Hausdorff dimension and conformal dynamics. III. Computation of dimension, Amer. J. Math. 120 (1998), no. 4, 691–721. MR 1637951, DOI 10.1353/ajm.1998.0031
C. R. Matthews, L. N. Vaserstein, and B. Weisfeiler, Congruence properties of Zariski-dense subgroups. I, Proc. London Math. Soc. (3) 48 (1984), no. 3, 514–532. MR 735226, DOI 10.1112/plms/s3-48.3.514
Frédéric Naud, Expanding maps on Cantor sets and analytic continuation of zeta functions, Ann. Sci. École Norm. Sup. (4) 38 (2005), no. 1, 116–153 (English, with English and French summaries). MR 2136484, DOI 10.1016/j.ansens.2004.11.002
Harald Niederreiter, Quasi-Monte Carlo methods and pseudo-random numbers, Bull. Amer. Math. Soc. 84 (1978), no. 6, 957–1041. MR 508447, DOI 10.1090/S0002-9904-1978-14532-7
P. S. Novikov, Ob algoritmičeskoĭ nerazrešimosti problemy toždestva slov v teorii grupp, Izdat. Akad. Nauk SSSR, Moscow, 1955 (Russian). Trudy Mat. Inst. Steklov. no. 44. MR 0075197
http://oeis.org/A195901.
Hee Oh, Dynamics on geometrically finite hyperbolic manifolds with applications to Apollonian circle packings and beyond, Proceedings of the International Congress of Mathematicians. Volume III, Hindustan Book Agency, New Delhi, 2010, pp. 1308–1331. MR 2827842
Hee Oh and Nimish Shah, The asymptotic distribution of circles in the orbits of Kleinian groups, Invent. Math. 187 (2012), no. 1, 1–35. MR 2874933, DOI 10.1007/s00222-011-0326-7
S. J. Patterson, The limit set of a Fuchsian group, Acta Math. 136 (1976), no. 3-4, 241–273. MR 450547, DOI 10.1007/BF02392046
http://en.wikipedia.org/wiki/Plimpton\_322.
L. Pyber and E. Szabo. Growth in finite simple groups of lie type of bounded rank, 2010. Preprint arXiv:1005.1858.
A. Rapinchuk. On strong approximation for algebraic groups, 2012. Preprint arXiv:1207.4425.
Peter Sarnak, What is$\dots$an expander?, Notices Amer. Math. Soc. 51 (2004), no. 7, 762–763. MR 2072849
P. Sarnak. Letter to J. Lagarias, 2007. http://web.math.princeton.edu/sarnak/AppolonianPackings.pdf.
Peter Sarnak, Equidistribution and primes, Astérisque 322 (2008), 225–240. Géométrie différentielle, physique mathématique, mathématiques et société. II. MR 2521658
Peter Sarnak, Integral Apollonian packings, Amer. Math. Monthly 118 (2011), no. 4, 291–306. MR 2800340, DOI 10.4169/amer.math.monthly.118.04.291
Wolfgang M. Schmidt, Irregularities of distribution. VII, Acta Arith. 21 (1972), 45–50. MR 319933, DOI 10.4064/aa-21-1-45-50
Alireza Salehi Golsefidy, Counting lattices in simple Lie groups: the positive characteristic case, Duke Math. J. 161 (2012), no. 3, 431–481. MR 2881228, DOI 10.1215/00127094-1507421
A. Salehi Golsefidy and P. Sarnak. Affine sieve, 2011. Preprint.
A. Salehi Golsefidy and P. Varju. Expansion in perfect groups, 2011. Preprint.
F. Soddy. The kiss precise. Nature, 137:1021, 1936.
F. Soddy. The bowl of integers and the hexlet. Nature, 139:77–79, 1937.
Dennis Sullivan, Entropy, Hausdorff measures old and new, and limit sets of geometrically finite Kleinian groups, Acta Math. 153 (1984), no. 3-4, 259–277. MR 766265, DOI 10.1007/BF02392379
Peter Sarnak and Xiao Xi Xue, Bounds for multiplicities of automorphic representations, Duke Math. J. 64 (1991), no. 1, 207–227. MR 1131400, DOI 10.1215/S0012-7094-91-06410-0
P. Varju. Expansion in ${SL}_{d}({O}_{K}/{I})$, ${I}$ square-free, 2010. arXiv:1001.3664v1.
I. M. Vinogradov. Representation of an odd number as a sum of three primes. Dokl. Akad. Nauk SSSR, 15:291–294, 1937.
I. Vinogradov. Effective bisector estimate with application to Apollonian circle packings, 2012. Princeton University Thesis, arxiv:1204.5498v1.
S. C. Zaremba, Good lattice points, discrepancy, and numerical integration, Ann. Mat. Pura Appl. (4) 73 (1966), 293–317. MR 218018, DOI 10.1007/BF02415091
S. K. Zaremba, La méthode des “bons treillis” pour le calcul des intégrales multiples, Applications of number theory to numerical analysis (Proc. Sympos., Univ. Montréal, Montreal, Que., 1971) Academic Press, New York, 1972, pp. 39–119 (French, with English summary). MR 0343530