Apollonian Gasket¶

An Apollonian gasket is the fractal residual structure of an infinite circle packing formed by recursively filling every curvilinear triangular gap among three mutually tangent circles with its uniquely tangent incircle.

Version: v2 · 2026-09-19 · History
Domain-specific #: 1294
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomain: Fractal Geometry and Circle Packing → Mathematics
Aliases: Apollonian circle packing, Apollonian net

Core Idea¶

An Apollonian gasket is the limiting fractal made by an exhaustive tangent-circle recursion. Begin with three pairwise tangent, nonoverlapping circles. Each curvilinear triangular interstice bounded by three tangent arcs has a unique inscribed circle tangent to all three boundaries. Insert that circle, thereby replacing the gap with three smaller curvilinear triangular gaps, and repeat in every new gap indefinitely. The resulting infinite family is commonly called an Apollonian circle packing; the closed residual set left after the interiors of the packed disks are removed is the gasket in the stricter set-theoretic sense. Mathematical literature often uses packing and gasket for the same recursively generated object viewed from these two sides.

How would you explain it like I'm…

Circles in Every Gap

Put three coins on a table so each one touches the other two. Between them is a little curvy gap. Squeeze in the one circle that fits exactly and touches all three. Now there are three smaller gaps -- fill each of those the same way, and keep going forever. The lacy pattern of edges left over is the Apollonian gasket.

The Never-Ending Circle Fill

Start with three circles that each touch the other two without overlapping. The space between them is a curvy triangle, and there is exactly one circle that fits inside and touches all three. Put it in. That creates three new, smaller curvy triangles, so you fill each of those, and keep repeating in every new gap forever. All those circles together are called an Apollonian circle packing, and the lacy shape that's left when you remove the insides of all the circles is the Apollonian gasket, a kind of fractal.

Recursive Tangent-Circle Fractal

An Apollonian gasket comes from a repeat-forever rule. Begin with three circles that are pairwise tangent (each touches the other two at one point) and don't overlap. Each curved triangular gap between tangent circles has exactly one circle that fits inside it tangent to all three boundaries. Inserting that circle splits the gap into three smaller gaps, and you repeat in every gap indefinitely. The infinite set of circles is called an Apollonian circle packing; the set of points left over once all the circle interiors are removed is the gasket in the strict sense, and it is a fractal. The sizes follow a precise rule, Descartes's circle theorem, which relates the curvatures (1 divided by the radius) of four mutually tangent circles, so the construction is exact rather than just a pretty drawing.

An Apollonian gasket is the limiting fractal of an exhaustive tangent-circle recursion. Starting from three pairwise tangent, nonoverlapping circles, each curvilinear triangular interstice has a unique inscribed circle tangent to its three bounding arcs; inserting it replaces the gap with three smaller gaps, and the process repeats in every gap forever. The infinite family of circles is the Apollonian circle packing, and the closed residual set left after removing all disk interiors is the gasket proper; the literature often uses both names for the same object viewed from these two sides. The local algebra is Descartes's circle theorem: for four mutually tangent oriented circles with signed bends b_i = 1/r_i (an enclosing circle gets negative bend, a line bend zero), (b1 + b2 + b3 + b4)^2 = 2(b1^2 + b2^2 + b3^2 + b4^2). Given three bends and one solution b4, the other circle tangent to the same triple has bend b4' = 2(b1 + b2 + b3) - b4, which geometrically fills the gap on the other side. Repeated nonbacktracking replacements of this kind generate the whole packing. The object can equally be described as an orbit of the Apollonian group on Descartes configurations and as a limit set of a Kleinian group, but it is the conjunction of these descriptions, not membership in any one broad class of packings or fractals, that identifies it.

Scope of Application¶

The gasket is a meeting point of several mathematical practices:

Euclidean and inversive geometry. Descartes's theorem computes admissible curvatures, and its complex extension relates curvatures and centers.
Fractal and dimension theory. The residual set lies strictly between a one-dimensional curve system and a two-dimensional region in Hausdorff dimension. Vytnova and Wormell compute its dimension rigorously to 128 decimal places and formulate it as a parabolic iterated-function-system problem.
Conformal dynamics. Möbius transformations preserve generalized circles and tangencies, mapping Apollonian packings to conformally equivalent ones. The gasket can be realized as a limit set of a parabolic conformal system.
Group theory. Replacing one circle of a Descartes configuration by the alternate solution acts linearly on curvature quadruples.

Clarity¶

The abstraction separates four objects often blurred by the familiar picture.

First is a tangent triple, which offers two global tangent-circle solutions. Second is a specified gap, which chooses exactly one of those solutions as its incircle. Third is a finite packing approximant, produced after finitely many gap insertions. Fourth is the infinite packing and residual gasket, defined only by exhaustive continuation and closure. Stating which level is meant prevents a one-step Descartes calculation from being mistaken for the fractal.

Manages Complexity¶

The rule compresses an infinite geometric arrangement into local data. Without it, specifying every circle requires infinitely many centers and radii plus infinitely many tangency constraints. With it, one stores a finite seed and one replacement operation. The gap tree organizes generation: each processed gap yields one circle and three successor gaps. The Descartes relation turns a nonlinear geometric search into an algebraic update, while group matrices turn repeated updates into an orbit computation.

Abstract Reasoning¶

Diagnostic inference. If four oriented mutually tangent circles belong to the packing, their bends satisfy the Descartes equation. Failure of that equation rules out the claimed configuration, subject to numerical error. Satisfaction is necessary but not sufficient without compatible centers and orientations.

Generative inference. If \((b_1,b_2,b_3,b_4)\) is a valid Descartes quadruple, then replacing \(b_4\) by \(b_4'=2(b_1+b_2+b_3)-b_4\) preserves the Descartes equation.

Knowledge Transfer¶

Within mathematics, the construction transfers intact among circle packing, fractal analysis, Möbius dynamics, thin-group orbits, Diophantine curvature problems, and numerical visualization. The same circles are relabeled as geometric disks, Descartes quadruples, orbit points, or components of a parabolic limit set, but the tangency and replacement invariants remain literal.

Outside those mathematical settings, transfer is normally analogical. A design can imitate the nested holes, a network can reuse the triangular insertion graph, and a materials model can use polydisperse disks; none is an Apollonian gasket unless the circle-tangency construction remains operative.

Relationships to Other Abstractions¶

Current abstraction Apollonian Gasket Domain-specific

Parents (1) — outgoing typed relations

Apollonian Gasket is a kind of Fractal Geometry Prime

Apollonian Gasket strictly instantiates prime:fractal_geometry.

Hierarchy paths (5) — routes to 5 parentless roots

Apollonian Gasket → is a kind of Fractal Geometry → is a kind of, typical Scale Invariance → is a kind of Invariance

Show alternative paths (4)

Neighborhood in Abstraction Space¶

Apollonian Gasket sits in a sparse region of the domain-specific corpus (92^nd percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Differential Geometry & Curvature (10 abstractions)

Nearest neighbors

Circular Triangle — 0.79
Algebraic curve — 0.78
Triangle group — 0.78
Ellipse — 0.78
Nine-Point Conic — 0.78

Computed from structural-signature embeddings · 2026-10-25