Statistical Regularity of Apollonian Gaskets 11

Total Page:16

File Type:pdf, Size:1020Kb

Statistical Regularity of Apollonian Gaskets 11 STATISTICAL REGULARITY OF APOLLONIAN GASKETS XIN ZHANG Abstract. Apollonian gaskets are formed by repeatedly filling the gaps between three mutually tangent circles with further tangent circles. In this paper we give explicit formulas for the the limiting pair correlation and the limiting nearest neighbor spacing of centers of circles from a fixed Apollonian gasket. These are corollaries of the convergence of moments that we prove. The input from ergodic theory is an extension of Mohammadi-Oh's Theorem on the equidisribution of expanding horospheres in infinite volume hyperbolic spaces. 1. Introduction 1.1. Introduction to the problem and statement of results. Apollonian gaskets, named after the ancient Greek mathematician Apollonius of Perga (200 BC), are fractal sets formed by starting with three mutually tangent circles and iteratively inscribing new circles into the curvilinear triangular gaps (see Figure 1). Figure 1. Construction of an Apollonian gasket The last 15 years have overseen tremendous progress in understanding the structure of Apollonian gaskets from different viewpoints, such as number theory and geometry [16], [15], [10], [11], [20], [25]. In the geometric direction, generalizing a result of [20], Hee Oh and Nimish Shah proved the following remarkable theorem concerning the growth of circles. Place an Apollonian gasket P in the complex plane C. Let Pt be the set of circles −t from P with radius greater than e and let Ct be the set of centers from Pt. Oh-Shah proved: Theorem 1.1 (Oh-Shah, Theorem 1.6, [25]). There exists a finite Borel measure v supported on P, such that for any compact region E ⊂ C with boundary @E empty or 1 2 XIN ZHANG piecewise smooth (see Figure 2), the cardinality N(E; t) of the set Ct \ E, satisfies N(E; t) lim = v(E); t!1 eδt where δ ≈ 1:305688 [22] is the Hausdorff dimension of any Apollonian gasket. Figure 2. A region E with piecewise smooth boundary Theorem 1.1 gives a satisfactory explanation on how circles are distributed in an Apollonian gasket in large scale. In this paper we study some questions concerning the fine scale distribution of circles, for which Theorem 1.1 yields little information. For example, one such question is the following. t Question 1.2. Fix ξ > 0. How many circles in Pt are within distance ξ=e of a random circle in Pt? Here by distance of two circles we mean the Euclidean distance of their centers. Question 1.2 is closely related to the pair correlation of circles. In this article, we study the pair correlation and the nearest neighbor spacing of circles, which concern the fine structures of Apollonian gaskets. In particular, Theorem 1.3 gives an asymptotic formula for one half of the expected number of circles in Question 1.2, as t ! 1. Let E ⊂ C be an open set with @E empty or piecewise smooth as in Theorem 1.1, and with v(E) > 0 (if E \ P 6= ; then v(E) > 0). This is our standard assumption for E throughout this paper. The pair correlation function PE;t on the growing set Ct is defined as 1 X t PE;t(ξ) := 1fe jp − qj < ξg; (1.1) 2#fCt \ Eg p;q2Ct\E q6=p where ξ 2 (0; 1) and jp − qj is the Euclidean distance between p and q in C. We have a factor 1=2 in the definition (1.1) because we only want to count each pair of points once. STATISTICAL REGULARITY OF APOLLONIAN GASKETS 3 For any p 2 Ct, let dt(p) = minfjq −pj : q 2 Ct; q 6= pg. The nearest neighbor spacing function QE;t is defined as 1 X t QE;t(ξ) = 1fe dt(p) < ξg (1.2) #fCt \ Eg p2Ct\E For simplicity we abbreviate PE;t;QE;t as Pt;Qt if E = C. It is noteworthy that in both definitions (1.1) and (1.2), we normalize distance by multiplying by et. The reason can be seen in two ways. First, Theorem 1.1 implies that a random circle in Ct has radius e−t, so a random pair of nearby points (say, the centers of two tangent −t −t circles) from Ct has distance e , thus e is the right scale to measure the distance of two nearby points in Ct. The second explanation is more informal: if N points are randomly distributed in the unit interval [0; 1], then a random gap is of the scale N −1; more generally, if N points are randomly distributed in a compact manifold of dimension n, the distance between a random pair of nearby points should be of the −1=n scale N . In our situation, as t ! 1, the set Ct converges to P , where P has δt Hausdorff dimension δ ≈ 1:305688. From Theorem 1.1, we know that #Ct e , so our scaling e−t agrees with the heuristics that the distance between two random nearby δt − 1 −t points in Ct should be (e ) δ = e . Before stating our main results, we introduce terminology. It is convenient for us to work with the upper half-space model of the hyperbolic 3-space H3: 3 H = fz + rj : z = x + yi 2 C; r 2 Rg: We identify the boundary @H3 of H3 with C [ f1g. For q = x + yi + rj 2 H3, we define <(q) = x + yi and =(q) = r. Let G = P SL(2; C) be the group of orientation-preserving isometries of H3. We choose a discrete subgroup Γ < P SL(2; C) whose limit set Λ(Γ) = P such that Γ acts transitively on circles from P. It follows from Corollary 1.3, [6] that Γ is geometrically finite. Without loss of generality, we can assume that the bounding circle of P is C(0; 1), where C(z; r) ⊂ C is the circle centered at z with radius r. Let S ⊂ H3 be the hyperbolic geodesic plane with @S = C(0; 1), and H < P SL(2; C) be the stabilizer of S. As an isometry on H3, each g 2 P SL(2; C) sends S to a geodesic plane, which is either a vertical plane or a hemisphere in the upper half-space model of H3. We define 3 continuous maps q : G ! H , q< : G ! Cb as follows: ( the apex of g(S); if 1 62 g(@S); q(g) := (1.3) 1; if 1 2 g(@S) ( <(q(g)); if 1 62 g(@S); q (g) := (1.4) < 1; if 1 2 g(@S): 4 XIN ZHANG 3 ∗ 3 We further define a few subsets of H . Let Bξ := fz 2 C : jzj < ξg and let Bξ ⊂ H be the “infinite chimney" with base Bξ, where for any Ω ⊂ C, Ω∗ := fz + rj : z 2 Ω; r 2 (1; 1)g: (1.5) 3 Let Cξ be the cone in H : r 1 C := z + rj 2 3 : > ; 0 < r ≤ 1 : (1.6) ξ H jzj ξ Now we can state our main theorems. Theorem 1.3 (limiting pair correlation). For any open set E ⊂ C with @E empty or piecewise smooth, there exists a continuously differentiable function P independent of E, supported on [c; 1) for some c > 0, such that lim PE;t(ξ) = P (ξ): t!1 The derivative P 0 of P is explicitly given by Z −1 −1 δ 0 δ X jq<(h γ )j PS P (ξ) = PS δ+1 dµH (h): 2µH (ΓH nH) h2ΓH nH ξ γ2γH n(Γ−ΓH ) −1 −1 ∗ q(h γ )2Bξ [Cξ PS PS Here ΓH := Γ \ H, and µH is a Patterson-Sullivan type measure on H. Besides µH , PS BR BMS we will also encounter other conformal measures µN ; w; m ; m , which are built PS on the Patterson-Sullivan densities. The measure µN is a Patterson-Sullivan type 1 z measure on the horospherical group N := n = : z 2 , w is the pullback z 0 1 C PS BR BMS measure of µN on C under the identification z ! nz, and m ; m are the Burger- Roblin, Bowen-Margulis-Sullivan measures. We will have a detailed discussion of these measures in Section 4. See Figure 3 and Figure 5 for some numerical evidence for Theorem 1.3. Let P(θ1; θ2) be the unique Apollonian gasket determined by the four mutually tangent circles C0;C1;C2;C3, where C0 = C(0; 1) is the bounding circle, and C1;C2;C3 are θ1i θ2i tangent to C0 at 1; e , e . Figure 3, Figure 4 and Figure 5 are based on the gasket 1:8π 3:7π P( 3 ; 3 ). Figure 6 suggests that the limiting pair correlations for different Apollo- nian gaskets are the same. The reason is twofold. First, for a fixed gasket, the limiting pair correlation locally looks the same everywhere. Second, one can take any Apollo- nian gasket to any other one by a M¨obiustransformation, which locally looks like a dilation combined with a rotation, and it is an elementary exercise to check that the limiting pair correlation is invariant under these motions. STATISTICAL REGULARITY OF APOLLONIAN GASKETS 5 Figure 3. The plot for Pt with various t's Figure 4. Pair correlation for the whole plane, half plane and the first quadrant 6 XIN ZHANG 0 Figure 5. The empirical derivative Pt (ξ) for different t, with step=0.1 Figure 6. Pair correlation functions for different Apollonian gaskets STATISTICAL REGULARITY OF APOLLONIAN GASKETS 7 Theorem 1.4 (limiting nearest neighbor spacing). There exists a continuous function Q independent of E, supported on [c; 1) for some c > 0, such that lim QE;t(ξ) = Q(ξ): (1.7) t!1 The formula for Q is explicitly given by Z Z 1 δ −δt −1 ∗ PS Q(ξ) = 1 − PS e 1f#q(a−th (Γ − ΓH )) \ Bξ = 0gdtdµH (h): µH (ΓH nH) ΓH nH 0 (1.8) See Figure 7 for numerical evidence.
Recommended publications
  • Apollonian Circle Packings: Dynamics and Number Theory
    APOLLONIAN CIRCLE PACKINGS: DYNAMICS AND NUMBER THEORY HEE OH Abstract. We give an overview of various counting problems for Apol- lonian circle packings, which turn out to be related to problems in dy- namics and number theory for thin groups. This survey article is an expanded version of my lecture notes prepared for the 13th Takagi lec- tures given at RIMS, Kyoto in the fall of 2013. Contents 1. Counting problems for Apollonian circle packings 1 2. Hidden symmetries and Orbital counting problem 7 3. Counting, Mixing, and the Bowen-Margulis-Sullivan measure 9 4. Integral Apollonian circle packings 15 5. Expanders and Sieve 19 References 25 1. Counting problems for Apollonian circle packings An Apollonian circle packing is one of the most of beautiful circle packings whose construction can be described in a very simple manner based on an old theorem of Apollonius of Perga: Theorem 1.1 (Apollonius of Perga, 262-190 BC). Given 3 mutually tangent circles in the plane, there exist exactly two circles tangent to all three. Figure 1. Pictorial proof of the Apollonius theorem 1 2 HEE OH Figure 2. Possible configurations of four mutually tangent circles Proof. We give a modern proof, using the linear fractional transformations ^ of PSL2(C) on the extended complex plane C = C [ f1g, known as M¨obius transformations: a b az + b (z) = ; c d cz + d where a; b; c; d 2 C with ad − bc = 1 and z 2 C [ f1g. As is well known, a M¨obiustransformation maps circles in C^ to circles in C^, preserving angles between them.
    [Show full text]
  • SPATIAL STATISTICS of APOLLONIAN GASKETS 1. Introduction Apollonian Gaskets, Named After the Ancient Greek Mathematician, Apollo
    SPATIAL STATISTICS OF APOLLONIAN GASKETS WEIRU CHEN, MO JIAO, CALVIN KESSLER, AMITA MALIK, AND XIN ZHANG Abstract. Apollonian gaskets are formed by repeatedly filling the interstices between four mutually tangent circles with further tangent circles. We experimentally study the nearest neighbor spacing, pair correlation, and electrostatic energy of centers of circles from Apol- lonian gaskets. Even though the centers of these circles are not uniformly distributed in any `ambient' space, after proper normalization, all these statistics seem to exhibit some interesting limiting behaviors. 1. introduction Apollonian gaskets, named after the ancient Greek mathematician, Apollonius of Perga (200 BC), are fractal sets obtained by starting from three mutually tangent circles and iter- atively inscribing new circles in the curvilinear triangular gaps. Over the last decade, there has been a resurgent interest in the study of Apollonian gaskets. Due to its rich mathematical structure, this topic has attracted attention of experts from various fields including number theory, homogeneous dynamics, group theory, and as a consequent, significant results have been obtained. Figure 1. Construction of an Apollonian gasket For example, it has been known since Soddy [23] that there exist Apollonian gaskets with all circles having integer curvatures (reciprocal of radii). This is due to the fact that the curvatures from any four mutually tangent circles satisfy a quadratic equation (see Figure 2). Inspired by [12], [10], and [7], Bourgain and Kontorovich used the circle method to prove a fascinating result that for any primitive integral (integer curvatures with gcd 1) Apollonian gasket, almost every integer in certain congruence classes modulo 24 is a curvature of some circle in the gasket.
    [Show full text]
  • 2014 AMS Elections---Biographies of Candidates
    Biographies of Candidates 2014 Biographical information about the candidates has been supplied and verified by the candidates. Candidates have had the opportunity to make a statement of not more than 200 words (400 words for presidential candidates) on any subject matter without restriction and to list up to five of their research papers. Candidates have had the opportunity to supply a photograph to accompany their biographical information. Candidates with an asterisk (*) beside their names were nominated in response to a petition. Abbreviations: American Association for the Advancement of Science (AAAS); American Mathematical Society (AMS); American Statistical Association (ASA); Association for Computing Machinery (ACM); Association for Symbolic Logic (ASL); Association for Women in Mathematics (AWM); Canadian Mathematical Society, Société Mathématique du Canada (CMS); Conference Board of the Mathematical Sciences (CBMS); Institute for Advanced Study (IAS), Insti- tute of Mathematical Statistics (IMS); International Mathematical Union (IMU); London Mathematical Society (LMS); Mathematical Association of America (MAA); Mathematical Sciences Research Institute (MSRI); National Academy of Sciences (NAS); National Academy of Sciences/National Research Council (NAS/NRC); National Aeronautics and Space Administration (NASA); National Council of Teachers of Mathematics (NCTM); National Science Foundation (NSF); Society for Industrial and Applied Mathematics (SIAM). Vice President Mathematics, Princeton, 2004–2010; Dean of Natural Sci- ences, Duke, 2010–2012; Director, Information Initiative, Robert Calderbank Duke, 2012–present. Boards: Institute for Mathematics Professor of Mathematics, Direc- and Applications, Board of Governors, 1996–1999; NSF tor of the Information Initiative, Committee of Visitors, Division of Mathematical Sciences, Duke University (iiD). 2001; American Institute of Mathematics, Scientific Advi- Born: December 28, 1954, Bridg- sory Board, 2006–present; Institute for Pure and Applied water, Somerset, UK.
    [Show full text]
  • Origin of Exponential Growth in Nonlinear Reaction Networks
    Origin of exponential growth in nonlinear reaction networks Wei-Hsiang Lina,b,c,d,e,1, Edo Kussellf,g, Lai-Sang Youngh,i,j, and Christine Jacobs-Wagnera,b,c,d,e,k,1 aMicrobial Science Institute, Yale University, West Haven, CT 06516; bDepartment of Molecular, Cellular and Developmental Biology, Yale University, New Haven, CT 06511; cHoward Hughes Medical Institute, Yale University, New Haven, CT 06510; dDepartment of Biology, Stanford University, Palo Alto, CA 94305; eChemistry, Engineering & Medicine for Human Health (ChEM-H) Institute, Stanford University, Palo Alto, CA 94305; fCenter of Genomics and Systems Biology, Department of Biology, New York University, New York, NY 10003; gDepartment of Physics, New York University, New York, NY 10003; hCourant Institute of Mathematical Science, New York University, New York, NY 10012; iSchool of Mathematics, Institute for Advanced Study, Princeton, NJ 08540; jSchool of Natural Sciences, Institute for Advanced Study, Princeton, NJ 08540; and kDepartment of Microbial Pathogenesis, Yale School of Medicine, New Haven, CT 06510 Contributed by Christine Jacobs-Wagner, September 10, 2020 (sent for review June 24, 2020; reviewed by Jeff Gore and Ned S. Wingreen) Exponentially growing systems are prevalent in nature, spanning For example, the levels of metabolites and proteins can oscillate all scales from biochemical reaction networks in single cells to food during cell growth (13–15). The abundance of species in eco- webs of ecosystems. How exponential growth emerges in nonlin- systems can also oscillate (6) or exhibit nonperiodic fluctuations ear systems is mathematically unclear. Here, we describe a general (7). Yet, the biomass of these systems increases exponentially theoretical framework that reveals underlying principles of long- (6, 7, 16).
    [Show full text]
  • Uniform Exponential Mixing and Resonance Free Regions for Convex Cocompact Congruence Subgroups of Sl2(Z)
    UNIFORM EXPONENTIAL MIXING AND RESONANCE FREE REGIONS FOR CONVEX COCOMPACT CONGRUENCE SUBGROUPS OF SL2(Z) HEE OH AND DALE WINTER Abstract. Let Γ < SL2(Z) be a non-elementary finitely generated sub- group and Γ(q) be its congruence subgroup of level q for each q 2 N. We obtain an asymptotic formula for the matrix coefficients of 2 L (Γ(q)n SL2(R)) with a uniform exponential error term for all square- free q with no small prime divisors. As an application we establish a uniform resonance-free half plane for the resolvent of the Laplacian on 2 Γ(q)nH over q as above. Our approach is to extend Dolgopyat's dynam- ical proof of exponential mixing of the geodesic flow uniformly over con- gruence covers, by establishing uniform spectral bounds for congruence transfer operators associated to the geodesic flow. One of the key ingre- dients is the `2-flattening lemma due to Bourgain-Gamburd-Sarnak. 1. Introduction 1.1. Uniform exponential mixing. Let G = SL2(R) and Γ be a non- elementary finitely generated subgroup of SL2(Z). We will assume that Γ contains the negative identity −e but no other torsion elements. In other words, Γ is the pre-image of a torsion-free subgroup of PSL2(Z) under the canonical projection SL2(Z) ! PSL2(Z). For each q ≥ 1, consider the congruence subgroup of Γ of level q: Γ(q) := fγ 2 Γ: γ ≡ e mod qg: For t 2 R, let et=2 0 a = : t 0 e−t=2 As is well known, the right translation action of at on ΓnG corresponds to the geodesic flow when we identify ΓnG with the unit tangent bundle of a 2 hyperbolic surface ΓnH .
    [Show full text]
  • 2021 September-October Newsletter
    Newsletter VOLUME 51, NO. 5 • SEPTEMBER–OCTOBER 2021 PRESIDENT’S REPORT This is a fun report to write, where I can share news of AWM’s recent award recognitions. Sometimes hearing about the accomplishments of others can make The purpose of the Association for Women in Mathematics is us feel like we are not good enough. I hope that we can instead feel inspired by the work these people have produced and energized to continue the good work we • to encourage women and girls to ourselves are doing. study and to have active careers in the mathematical sciences, and We’ve honored exemplary Student Chapters. Virginia Tech received the • to promote equal opportunity and award for Scientific Achievement for offering three different research-focused the equal treatment of women and programs during a pandemic year. UC San Diego received the award for Professional girls in the mathematical sciences. Development for offering multiple events related to recruitment and success in the mathematical sciences. Kutztown University received the award for Com- munity Engagement for a series of events making math accessible to a broad community. Finally, Rutgers University received the Fundraising award for their creative fundraising ideas. Congratulations to all your members! AWM is grateful for your work to support our mission. The AWM Research Awards honor excellence in specific research areas. Yaiza Canzani was selected for the AWM-Sadosky Research Prize in Analysis for her work in spectral geometry. Jennifer Balakrishnan was selected for the AWM- Microsoft Research Prize in Algebra and Number Theory for her work in computa- tional number theory.
    [Show full text]
  • Commencement
    THE JOHNS HOPKINS UNIVERSITY Conferring of degrees COMMENCEMENT at the 2010 close of the 134th academic year May 21, 2010 8:40 a.m. Digitized by the Internet Archive in 2012 with funding from LYRASIS Members and Sloan Foundation http://archive.org/details/commencement2010 Contents Order of Seating ii Order of Procession 1 Order of Events 2 Commencement Speaker's Biography 6 Johns Hopkins Society of Scholars 7 Honorary Degree Citations 12 Academic Regalia 15 Awards 18 Honor Societies 28 Student Honors 32 Candidates for Degrees 38 Divisional Ceremonies Information 101 Please note that while //// degrees are conferred, only doctoral and bachelor's graduates process across the stage. Though taking photos from your seats during the ceremom is not prohibited, we request that guests respect each other's comfort and enjoyment by not standing and blocking other people's views. PhotOS of graduates can he purchased from Grad Images (www. grailunages.com) or (800) 424-3686. DVDs can he purchased from GradMemorj (www.gradmemory.com) or (866) 997-GRAD \\ i appreciate your cooperation! STAGE V I X ED EdD PY AD, DMA PY DMA, AD ED EdD NU DNP, PhD NU PhD, DNP BSPH DPH, PhD BSPH PhD, DPH SAIS PhD MEMO ME MD SAIS PhD ME PhD ME PhD EN PhD EN PhD AS PhD AS PhD CAREY Masters CAREY Masters EDUC CAGS, Masters EDUC CAGS, Masters PY Masters, Diplomas PY Masters, Diplomas Certificates Certificates NU Masters NU Masters BSPH Masters BSPH Masters SAIS Masters SAIS Masters ME Masters ME Masters EN Masters, Certificates EN Masters, Certificates < AS Masters, Certificates
    [Show full text]
  • Remembering Marina Ratner Hee Oh
    MEMORIAL TRIBUTE Remembering Marina Ratner Hee Oh opposite horospherical subgroups, which was a conjecture of Margulis based on Selberg’s earlier work in the case of a product of SL(2, )s. I had solved this conjecture for discrete subgroups of SL(n, ) for n ≥ 4. Ratner’s theorem on orbit closures was a keyℝ ingredient of my proof. I did not get to receive any commentsℝ from her either on my talk or on my work at that time. Seventeen years later in 2013, there was a conference in her honor titled “Homogenous Dynamics, Unipotent Flows, and Applications” at the Hebrew University. I had just finished my joint work with Amir Mohammadi on the classification of joining measures for geometrically finite subgroups of SL(2, ) or of SL(2, ). It was an exten- sion of her work “Horocycle flows, joining and rigidity of products,” published in ℝAnnals of Mathematicsℂ 1983, and our approach was to adapt her proof in the infinite-volume Ratner with (left to right) François Ledrappier, Dmitry setting. I opened my lecture saying that I was proud of my Kleinbock, Hillel Furstenberg, and Oh, 2005. mathematical aunt; she and Margulis shared a common I first met Marina at the International Conference on Lie advisor, Sinai. I then successfully squeezed the two subjects Groups and Ergodic Theory held at TIFR in Mumbai in Jan- of discrete groups and joinings into my one-hour lecture uary of 1996. I was a fourth-year graduate student working and closed with the statement that I had started my math- with Gregory Margulis.
    [Show full text]
  • Meetings of the MAA Ken Ross and Jim Tattersall
    Meetings of the MAA Ken Ross and Jim Tattersall MEETINGS 1915-1928 “A Call for a Meeting to Organize a New National Mathematical Association” was DisseminateD to subscribers of the American Mathematical Monthly and other interesteD parties. A subsequent petition to the BoarD of EDitors of the Monthly containeD the names of 446 proponents of forming the association. The first meeting of the Association consisteD of organizational Discussions helD on December 30 and December 31, 1915, on the Ohio State University campus. 104 future members attendeD. A three-hour meeting of the “committee of the whole” on December 30 consiDereD tentative Drafts of the MAA constitution which was aDopteD the morning of December 31, with Details left to a committee. The constitution was publisheD in the January 1916 issue of The American Mathematical Monthly, official journal of The Mathematical Association of America. Following the business meeting, L. C. Karpinski gave an hour aDDress on “The Story of Algebra.” The Charter membership included 52 institutions and 1045 inDiviDuals, incluDing six members from China, two from EnglanD, anD one each from InDia, Italy, South Africa, anD Turkey. Except for the very first summer meeting in September 1916, at the Massachusetts Institute of Technology (M.I.T.) in CambriDge, Massachusetts, all national summer anD winter meetings discussed in this article were helD jointly with the AMS anD many were joint with the AAAS (American Association for the Advancement of Science) as well. That year the school haD been relocateD from the Back Bay area of Boston to a mile-long strip along the CambriDge siDe of the Charles River.
    [Show full text]
  • Of the American Mathematical Society June/July 2018 Volume 65, Number 6
    ISSN 0002-9920 (print) ISSN 1088-9477 (online) of the American Mathematical Society June/July 2018 Volume 65, Number 6 James G. Arthur: 2017 AMS Steele Prize for Lifetime Achievement page 637 The Classification of Finite Simple Groups: A Progress Report page 646 Governance of the AMS page 668 Newark Meeting page 737 698 F 659 E 587 D 523 C 494 B 440 A 392 G 349 F 330 E 294 D 262 C 247 B 220 A 196 G 145 F 165 E 147 D 131 C 123 B 110 A 98 G About the Cover, page 635. 2020 Mathematics Research Communities Opportunity for Researchers in All Areas of Mathematics How would you like to organize a weeklong summer conference and … • Spend it on your own current research with motivated, able, early-career mathematicians; • Work with, and mentor, these early-career participants in a relaxed and informal setting; • Have all logistics handled; • Contribute widely to excellence and professionalism in the mathematical realm? These opportunities can be realized by organizer teams for the American Mathematical Society’s Mathematics Research Communities (MRC). Through the MRC program, participants form self-sustaining cohorts centered on mathematical research areas of common interest by: • Attending one-week topical conferences in the summer of 2020; • Participating in follow-up activities in the following year and beyond. Details about the MRC program and guidelines for organizer proposal preparation can be found at www.ams.org/programs/research-communities /mrc-proposals-20. The 2020 MRC program is contingent on renewed funding from the National Science Foundation. SEND PROPOSALS FOR 2020 AND INQUIRIES FOR FUTURE YEARS TO: Mathematics Research Communities American Mathematical Society Email: [email protected] Mail: 201 Charles Street, Providence, RI 02904 Fax: 401-455-4004 The target date for pre-proposals and proposals is August 31, 2018.
    [Show full text]
  • Dolgopyat's Method and the Fractal Uncertainty Principle." Analysis & PDE 11, 6 (May 2018): 1457-1485 © 2018 Mathematical Sciences Publishers
    Dolgopyat’s method and the fractal uncertainty principle The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters. Citation Dyatlov, Semyon and Long Jin. "Dolgopyat's method and the fractal uncertainty principle." Analysis & PDE 11, 6 (May 2018): 1457-1485 © 2018 Mathematical Sciences Publishers As Published http://dx.doi.org/10.2140/APDE.2018.11.1457 Publisher Mathematical Sciences Publishers Version Author's final manuscript Citable link https://hdl.handle.net/1721.1/123104 Terms of Use Creative Commons Attribution-Noncommercial-Share Alike Detailed Terms http://creativecommons.org/licenses/by-nc-sa/4.0/ DOLGOPYAT'S METHOD AND THE FRACTAL UNCERTAINTY PRINCIPLE SEMYON DYATLOV AND LONG JIN 1 Abstract. We show a fractal uncertainty principle with exponent 2 − δ + ", " > 0, for Ahflors–David regular subsets of R of dimension δ 2 (0; 1). This improves over 1 the volume bound 2 − δ, and " is estimated explicitly in terms of the regularity constant of the set. The proof uses a version of techniques originating in the works of Dolgopyat, Naud, and Stoyanov on spectral radii of transfer operators. Here the group invariance of the set is replaced by its fractal structure. As an application, we quantify the result of Naud on spectral gaps for convex co-compact hyperbolic surfaces and obtain a new spectral gap for open quantum baker maps. A fractal uncertainty principle (FUP) states that no function can be localized close to a fractal set in both position and frequency. Its most basic form is β k 1lΛ(h) Fh 1lΛ(h) kL2(R)!L2(R) = O(h ) as h ! 0 (1.1) where Λ(h) is the h-neighborhood of a bounded set Λ ⊂ R, β is called the exponent of the uncertainty principle, and Fh is the semiclassical Fourier transform: Z −1=2 −ixξ=h Fhu(ξ) = (2πh) e u(x) dx: (1.2) R We additionally assume that Λ is an Ahlfors{David regular set (see Definition 1.1) of dimension δ 2 (0; 1) with some regularity constant CR > 1.
    [Show full text]
  • Asymptotic Counting in Dynamical Systems
    Asymptotic Counting in Dynamical Systems Alan Yan [email protected] 3/4/2019 Abstract We consider several dynamically generated sets with certain measurable properties such as the diameters or angles. We define various counting functions on these geo- metric objects which quantify these properties and explore the asymptotics of these functions. We conjecture that these functions grow like power functions with exponent the dimension of the residual set. The main objects that we examine are Fatou com- ponents of the quadratic family and limit sets of Schottky groups. Finally, we provide heuristic algorithms to compute the counting functions in these examples in an attempt to confirm this conjecture. Contents 1 Introduction 2 2 Definitions of Dimension 3 2.1 Hausdorff Measure and Hausdorff Dimension . .3 2.2 Box-Counting Dimension . .4 3 Some Discrete Examples 4 4 Dynamics of the Fatou Components of the Quadratic Family 7 4.1 Background . .7 4.2 Counting Function on Fatou Components . .8 4.3 Algorithm to Compute the Counting Function . .9 4.3.1 Step 1: Constructing the Julia Set . .9 4.3.2 Step 2: Identify Different Components . 10 4.3.3 Step 3: Finding the Diameter of a Component . 11 4.4 Approximating the Exponent . 13 5 Limit Sets of Schottky Groups 14 5.1 Background . 14 5.1.1 Poincare half plane/disc, geodesics, angles, and metrics . 14 5.1.2 Classification of Positive Isometries . 15 1 5.1.3 Fuchsian Groups and the Limit Set . 17 5.2 Schottky Groups and its limit set . 17 5.3 Counting Function on the Limit Set .
    [Show full text]