[Paper Review] The Local-Global Principle for Integral Generalized Apollonian Sphere Packings

Dimitri Dias|arXiv (Cornell University)|Jan 20, 2014

Mathematics and Applications8 references3 citations

TL;DR

This paper establishes the local-global principle for integral generalized Apollonian sphere packings by showing that an integer curvature appears in the packing if and only if it satisfies certain local conditions—specifically, congruence conditions modulo 4 and solubility conditions modulo primes dividing the discriminant of an associated quadratic form. The proof leverages group actions on integral vectors and applies Sarnak’s method adapted to 3D sphere packings, demonstrating that the curvature set has positive density and is characterized by arithmetic conditions on the orbit of an initial configuration under a discrete group action.

ABSTRACT

Four mutually tangent spheres form two gaps. In each of these, one can inscribe in a unique way four mutually tangent spheres such that each one of these spheres is tangent to exactly three of the original spheres. Repeating the process gives rise to a generalized Apollonian sphere packing. These packings have remarkable properties. One of them is the local to global principle and will be proven in this paper.

Motivation & Objective

• To establish the local-global principle for integral generalized Apollonian sphere packings, where global representability of curvatures is determined by local solubility conditions.
• To characterize the set of curvatures appearing in such packings using the orbit of an initial configuration under a discrete group action on integral vectors.
• To show that the curvature set has positive density in the integers, with density bounded below by a product over primes dividing the discriminant.
• To extend methods from Apollonian circle packings to 3D sphere packings by exploiting the increased degrees of freedom in three dimensions.

Proposed method

• Represent spheres using augmented bend-center (abbc) coordinates, encoding curvature and center in a 5-dimensional vector.
• Define a symmetric bilinear form via a matrix W to encode tangency relations: a(S1)W a(S2)^T = 1 for identical spheres, -1 for externally tangent, and -3 for non-tangent pairs in an octuple.
• Model the packing as the orbit of an initial octuple under the action of a discrete group generated by reflections, preserving the abbc coordinates and the quadratic form.
• Use Sarnak’s method to analyze the representation of integers by a quadratic form f_{a_0}, linking curvature values to the primitively represented values of this form over Gaussian integers.
• Apply Mertens’ formula and local density estimates to show that the natural density of representable curvatures is bounded away from zero when local conditions are satisfied.
• Establish that a curvature m is realized in the packing if and only if m ≡ b₀ mod 4 and m is coprime to a₀, with local solubility conditions modulo 8 and odd primes dividing the discriminant of f_{a_0}.

Experimental results

Research questions

• RQ1 Which integers can appear as curvatures in an integral generalized Apollonian sphere packing?
• RQ2 Under what local conditions is a given integer curvature guaranteed to appear globally in the packing?
• RQ3 How does the 3D structure of sphere packings enhance the applicability of the local-global principle compared to 2D circle packings?
• RQ4 What is the natural density of the set of curvatures in such packings, and how is it bounded below?

Key findings

• An integer curvature m appears in the packing if and only if m ≡ b₀ mod 4 and gcd(m, a₀) = 1, with m satisfying local solubility conditions modulo 8 and all odd primes dividing the discriminant of the associated quadratic form f_{a_0}.
• The set of curvatures in an integral generalized Apollonian sphere packing has positive lower density, bounded below by 1/4 times the product over odd primes dividing the discriminant of (1 - 1/p).
• The curvature set is precisely the set of integers that are Z[i]-primitively represented by the quadratic form f_{a_0}(x,y,z,t) - a₀, under the coprimality condition gcd(x+iy, z+it) = 1.
• The local-global principle holds in 3D sphere packings because the increased number of variables in the quadratic form allows Sarnak’s method to succeed, unlike in the 2D case where additional work was required.
• The proof relies on showing that the density of representable curvatures is bounded away from zero when local conditions are satisfied, using estimates from Mertens’ formula and local density formulas.