[Paper Review] On the Strong Density Conjecture for Integral Apollonian Circle Packings

Jean Bourgain, Alex Kontorovich|arXiv (Cornell University)|May 20, 2012

Mathematical Dynamics and Fractals17 references7 citations

TL;DR

This paper proves that, for any fixed integral, primitive Apollonian gasket, the set of integers that appear as curvatures in the gasket has density one among all admissible integers—those not excluded by local obstructions. Using advanced number-theoretic techniques, the authors establish a strong density result supporting the local-global conjecture for integral Apollonian circle packings.

ABSTRACT

We prove that a set of density one satisfies the local-global conjecture for integral Apollonian gaskets. That is, for a fixed integral, primitive Apollonian gasket, almost every (in the sense of density) admissible (passing local obstructions) integer is the curvature of some circle in the gasket.

Motivation & Objective

• To investigate the distribution of curvatures in integral Apollonian circle packings.
• To determine whether all admissible integers (those not ruled out by local obstructions) appear as curvatures in a given integral, primitive Apollonian gasket.
• To establish a strong density result, showing that almost all such admissible integers do in fact occur as curvatures.

Proposed method

• The authors employ techniques from arithmetic geometry and the theory of thin groups to analyze the orbit of curvature values under the action of the Apollonian group.
• They use the affine linear sieve to study the distribution of integers in thin orbits, focusing on curvature values in the gasket.
• The proof relies on establishing a spectral gap in the associated automorphic forms to control error terms in the sieve method.
• They reduce the problem to studying the density of integers in a thin, symmetric, and Zariski-dense subgroup of SL(2,Z).
• The argument combines harmonic analysis with effective equidistribution results to show that curvature values are dense in the admissible set.

Experimental results

Research questions

• RQ1 Do all integers that are not locally excluded (i.e., not ruled out by congruence obstructions) appear as curvatures in a given integral Apollonian gasket?
• RQ2 What is the natural density of the set of curvatures in an integral Apollonian gasket among all admissible integers?
• RQ3 Can the local-global conjecture be strengthened to assert density one for the curvature set?

Key findings

• The set of curvatures in any fixed integral, primitive Apollonian gasket has natural density one within the set of all admissible integers.
• All integers that pass local obstructions (e.g., congruence conditions modulo small primes) are realized as curvatures in the gasket, except possibly a set of density zero.
• The proof establishes a strong form of the local-global conjecture by showing that the curvature set is not just infinite but also dense in the admissible integers.
• The result is achieved through a combination of the affine linear sieve and spectral gap estimates in the context of thin groups.