\newcommand{\etalchar}[1]{$^{#1}$}
\begin{thebibliography}{GLM{\etalchar{+}}05}

\bibitem[Ber12]{Bernays1912}
P.~Bernays.
\newblock {\em \"{U}ber die {D}arstellung von positiven, ganzen {Z}ahlen durch
  die primitiven, bin\"{a}ren quadratischen {F}ormen einer nicht quadratischen
  {D}iskriminante}.
\newblock PhD thesis, Georg-August-Universit\"{a}t, G\"{o}ttingen, Germany,
  1912.

\bibitem[BF10]{BourgainFuchs2010}
J.~Bourgain and E.~Fuchs.
\newblock A proof of the positive density conjecture for integer {A}pollonian
  circle packings, 2010.
\newblock Preprint, {\tt arXiv:1001.3894}.

\bibitem[BG08a]{BourgainGamburd2008a}
Jean Bourgain and Alex Gamburd.
\newblock Expansion and random walks in {${\rm SL}_d(\Bbb Z/p^n\Bbb Z)$}. {I}.
\newblock {\em J. Eur. Math. Soc. (JEMS)}, 10(4):987--1011, 2008.

\bibitem[BG08b]{BourgainGamburd2008}
Jean Bourgain and Alex Gamburd.
\newblock Uniform expansion bounds for {C}ayley graphs of {${\rm SL}_2(\Bbb
  F_p)$}.
\newblock {\em Ann. of Math. (2)}, 167(2):625--642, 2008.

\bibitem[BG09]{BourgainGamburd2009}
Jean Bourgain and Alex Gamburd.
\newblock Expansion and random walks in {${\rm SL}_d(\Bbb Z/p^n\Bbb Z)$}. {II}.
\newblock {\em J. Eur. Math. Soc. (JEMS)}, 11(5):1057--1103, 2009.
\newblock With an appendix by Bourgain.

\bibitem[BGS10]{BourgainGamburdSarnak2010}
Jean Bourgain, Alex Gamburd, and Peter Sarnak.
\newblock Affine linear sieve, expanders, and sum-product.
\newblock {\em Invent. Math.}, 179(3):559--644, 2010.

\bibitem[BGS11]{BourgainGamburdSarnak2011}
J.~Bourgain, A.~Gamburd, and P.~Sarnak.
\newblock Generalization of {S}elberg's 3/16th theorem and affine sieve.
\newblock {\em Acta Math}, 207:255--290, 2011.

\bibitem[BGT11]{BreuillardGreenTao2011}
Emmanuel Breuillard, Ben Green, and Terence Tao.
\newblock Approximate subgroups of linear groups.
\newblock {\em Geom. Funct. Anal.}, 21(4):774--819, 2011.

\bibitem[BK10]{BourgainKontorovich2010}
J.~Bourgain and A.~Kontorovich.
\newblock On representations of integers in thin subgroups of {SL}$(2,{{\bf
  {Z}}})$.
\newblock {\em GAFA}, 20(5):1144--1174, 2010.

\bibitem[BK11]{BourgainKontorovich2011a}
J.~Bourgain and A.~Kontorovich.
\newblock On {Z}aremba's conjecture, 2011.
\newblock Preprint, {\tt arXiv:1107.3776}.

\bibitem[BKS10]{BourgainKontorovichSarnak2010}
J.~Bourgain, A.~Kontorovich, and P.~Sarnak.
\newblock Sector estimates for hyperbolic isometries.
\newblock {\em GAFA}, 20(5):1175--1200, 2010.

\bibitem[Bou12]{Bourgain2012}
J.~Bourgain.
\newblock Integral {A}pollonian circle packings and prime curvatures.
\newblock {\em J. Anal. Math.}, 118(1):221--249, 2012.

\bibitem[Bro86]{Brooks1986}
R.~Brooks.
\newblock The spectral geometry of a tower of coverings.
\newblock {\em J. Differential Geom.}, 23(1):97--107, 1986.

\bibitem[Bro07]{Brooks2007}
R.~Brooks.
\newblock The spectral geometry of {R}iemannian surfaces.
\newblock In {\em Topology in molecular biology, ed. M. I. Monastyrsky}.
  Springer, 2007.

\bibitem[Bur86a]{Burger1986}
Marc Burger.
\newblock Grandes valeurs propres du laplacien et graphes.
\newblock In {\em S\'eminaire de {T}h\'eorie {S}pectrale et {G}\'eom\'etrie,
  {N}o.\ 4, {A}nn\'ee 1985--1986}, pages 95--100. Univ. Grenoble I, 1986.

\bibitem[Bur86b]{BurgerThesis}
Marc Burger.
\newblock {\em Petites valeurs propres du laplacien et topologie de {F}ell}.
\newblock PhD thesis, EPFL, 1986.

\bibitem[Bur88]{Burger1988}
Marc Burger.
\newblock Spectre du laplacien, graphes et topologie de {F}ell.
\newblock {\em Comment. Math. Helv.}, 63(2):226--252, 1988.

\bibitem[BV11]{BourgainVarju2011}
J.~Bourgain and P.~Varj{\'u}.
\newblock Expansion in ${SL}\sb n(\bold {Z}/q \bold {Z})$, $q$ arbitrary, 2011.
\newblock To appear, {\it Invent. Math.} {\tt arXiv:1006.3365v1}.

\bibitem[BY91]{BerensteinYger1991}
Carlos~A. Berenstein and Alain Yger.
\newblock Effective {B}ezout identities in {${\bf Q}[z_1,\cdots,z_n]$}.
\newblock {\em Acta Math.}, 166(1-2):69--120, 1991.

\bibitem[CHH88]{CowlingHaagerupHowe1988}
M.~Cowling, U.~Haagerup, and R.~Howe.
\newblock Almost {$L\sp 2$} matrix coefficients.
\newblock {\em J. Reine Angew. Math.}, 387:97--110, 1988.

\bibitem[DSC93]{DiaconisSaloffCoste1993}
P.~Diaconis and L.~Saloff-Coste.
\newblock Comparison techniques for random walk on finite groups.
\newblock {\em Ann. Probab.}, 21(4):2131--2156, 1993.

\bibitem[FS11]{FuchsSanden2011}
Elena Fuchs and Katherine Sanden.
\newblock Some experiments with integral {A}pollonian circle packings.
\newblock {\em Exp. Math.}, 20(4):380--399, 2011.

\bibitem[Fuc10]{FuchsThesis}
E.~Fuchs.
\newblock Arithmetic properties of {A}pollonian circle packings, 2010.
\newblock Princeton University Thesis.

\bibitem[GGPS66]{GelfandGraevPS1966}
I.~M. Gelfand, M.~I. Graev, and I.~I. Pjateckii-Shapiro.
\newblock {\em Teoriya predstavlenii i avtomorfnye funktsii}.
\newblock Generalized functions, No. 6. Izdat. ``Nauka'', Moscow, 1966.

\bibitem[GLM{\etalchar{+}}03]{GrahamLagarias2003}
Ronald~L. Graham, Jeffrey~C. Lagarias, Colin~L. Mallows, Allan~R. Wilks, and
  Catherine~H. Yan.
\newblock Apollonian circle packings: number theory.
\newblock {\em J. Number Theory}, 100(1):1--45, 2003.

\bibitem[GLM{\etalchar{+}}05]{GrahamLagariasMallowsWilksYanI}
Ronald~L. Graham, Jeffrey~C. Lagarias, Colin~L. Mallows, Allan~R. Wilks, and
  Catherine~H. Yan.
\newblock Apollonian circle packings: geometry and group theory. {I}. {T}he
  {A}pollonian group.
\newblock {\em Discrete Comput. Geom.}, 34(4):547--585, 2005.

\bibitem[Goo83]{GoodBook}
Anton Good.
\newblock {\em Local analysis of {S}elberg's trace formula}, volume 1040 of
  {\em Lecture Notes in Mathematics}.
\newblock Springer-Verlag, Berlin, 1983.

\bibitem[Hel08]{Helfgott2008}
H.~A. Helfgott.
\newblock Growth and generation in {${\rm SL}_2(\Bbb Z/p\Bbb Z)$}.
\newblock {\em Ann. of Math. (2)}, 167(2):601--623, 2008.

\bibitem[Her26]{Hermann1926}
Grete Hermann.
\newblock Die {F}rage der endlich vielen {S}chritte in der {T}heorie der
  {P}olynomideale.
\newblock {\em Math. Ann.}, 95(1):736--788, 1926.

\bibitem[IK04]{IwaniecKowalski}
Henryk Iwaniec and Emmanuel Kowalski.
\newblock {\em Analytic number theory}, volume~53 of {\em American Mathematical
  Society Colloquium Publications}.
\newblock American Mathematical Society, Providence, RI, 2004.

\bibitem[KLN06]{KLN2006}
Martin Kassabov, Alexander Lubotzky, and Nikolay Nikolov.
\newblock Finite simple groups as expanders.
\newblock {\em Proc. Natl. Acad. Sci. USA}, 103(16):6116--6119, 2006.

\bibitem[Klo27]{Kloosterman1927}
H.~D. Kloosterman.
\newblock On the representation of numbers in the form {$ax^2+by^2+cz^2+dt^2$}.
\newblock {\em Acta Math.}, 49(3-4):407--464, 1927.

\bibitem[KO11]{KontorovichOh2011}
A.~Kontorovich and H.~Oh.
\newblock Apollonian circle packings and closed horospheres on hyperbolic
  3-manifolds.
\newblock {\em Journal of the American Mathematical Society}, 24(3):603--648,
  2011.

\bibitem[LMW02]{LagariasMallowsWilks2002}
Jeffrey~C. Lagarias, Colin~L. Mallows, and Allan~R. Wilks.
\newblock Beyond the {D}escartes circle theorem.
\newblock {\em Amer. Math. Monthly}, 109(4):338--361, 2002.

\bibitem[LP82]{LaxPhillips1982}
P.D. Lax and R.S. Phillips.
\newblock The asymptotic distribution of lattice points in {E}uclidean and
  non-{E}uclidean space.
\newblock {\em Journal of Functional Analysis}, 46:280--350, 1982.

\bibitem[MVW84]{MatthewsVasersteinWeisfeiler1984}
C.~Matthews, L.~Vaserstein, and B.~Weisfeiler.
\newblock Congruence properties of {Z}ariski-dense subgroups.
\newblock {\em Proc. London Math. Soc}, 48:514--532, 1984.

\bibitem[MW83]{MasserWustholz1983}
D.~W. Masser and G.~W{\"u}stholz.
\newblock Fields of large transcendence degree generated by values of elliptic
  functions.
\newblock {\em Invent. Math.}, 72(3):407--464, 1983.

\bibitem[Pat76]{Patterson1976}
S.J. Patterson.
\newblock The limit set of a {F}uchsian group.
\newblock {\em Acta Mathematica}, 136:241--273, 1976.

\bibitem[PS10]{PyberSzabo2010}
L.~Pyber and E.~Szabo.
\newblock Growth in finite simple groups of lie type of bounded rank, 2010.
\newblock Preprint {\tt arXiv:1005.1858}.

\bibitem[Sar90]{Sarnak1990}
Peter Sarnak.
\newblock {\em Some applications of modular forms}, volume~99 of {\em Cambridge
  Tracts in Mathematics}.
\newblock Cambridge University Press, Cambridge, 1990.

\bibitem[Sar07]{SarnakToLagarias}
P.~Sarnak.
\newblock Letter to {J}. {L}agarias, 2007.
\newblock \url{http://web.math.princeton.edu/sarnak/AppolonianPackings.pdf}.

\bibitem[Sar11]{Sarnak2011}
Peter Sarnak.
\newblock Integral {A}pollonian packings.
\newblock {\em Amer. Math. Monthly}, 118(4):291--306, 2011.

\bibitem[Sel65]{Selberg1965}
A.~Selberg.
\newblock On the estimation of {F}ourier coefficients of modular forms.
\newblock {\em Proc. of Symposia in Pure Math.}, VII:1--15, 1965.

\bibitem[SGV11]{SalehiVarju2011}
A.~Salehi~Golsefidy and P.~Varj{\'u}.
\newblock Expansion in perfect groups, 2011.
\newblock Preprint.

\bibitem[Sha99]{Shalom1999}
Yehuda Shalom.
\newblock Bounded generation and {K}azhdan's property ({T}).
\newblock {\em Inst. Hautes \'Etudes Sci. Publ. Math.}, 90:145--168, 1999.

\bibitem[Sod37]{Soddy1937}
F.~Soddy.
\newblock The bowl of integers and the hexlet.
\newblock {\em Nature}, 139:77--79, 1937.

\bibitem[Sul84]{Sullivan1984}
D.~Sullivan.
\newblock Entropy, {H}ausdorff measures old and new, and limit sets of
  geometrically finite {K}leinian groups.
\newblock {\em Acta Math.}, 153(3-4):259--277, 1984.

\bibitem[Var12]{Varju2012}
P{\'e}ter~P. Varj{\'u}.
\newblock Expansion in {$SL_d(O_K/I)$}, {$I$} square-free.
\newblock {\em J. Eur. Math. Soc. (JEMS)}, 14(1):273--305, 2012.

\bibitem[Vin13]{Vinogradov2013}
I.~Vinogradov.
\newblock Effective bisector estimate with application to {A}pollonian circle
  packings.
\newblock {\em IMRN}, 2013.
\newblock Princeton University Thesis 2012, {\tt arxiv:1204.5498v1}.

\end{thebibliography}