---
title: Sierpiński Packings & Fractal Applications
url: https://www.emergentmind.com/topics/sierpinski-packings
type: topic
---

# Sierpiński Packings & Fractal Applications

A Sierpiński packing is a countable collection of pairwise disjoint, non-separating continua in the Riemann sphere $\widehat{\mathbb{C}}$ (equipped with the chordal metric), whose diameters shrink to zero. The residual set, obtained by removing all peripheral continua from the sphere, is a central object in the study of fractal geometry, geometric function theory, and connections with dynamical systems and graph theory. Sierpiński packings encompass classical constructions such as Sierpiński carpets and play a fundamental role in the analysis of homogeneous fractal sets, conformal uniformization problems, and packing chromatic numbers.

## 1. Definitions and Structural Properties

A family $\{p_i\}_{i\in I}$ of compact subsets of $\widehat{\mathbb{C}}$ is called a Sierpiński packing if:
- $p_i \cap p_j = \varnothing$ for $i \neq j$,
- each $p_i$ is non-separating (complement in $\widehat{\mathbb{C}}$ is connected),
- $\lim_{i\to\infty} \operatorname{diam}(p_i) = 0$.

The residual set $X$ is defined as $X = \widehat{\mathbb{C}} \setminus \bigcup_{i\in I} p_i$. If all $p_i$ are Jordan domains, $X$ is called a Sierpiński carpet. A Sierpiński packing by Jordan regions (possibly degenerate) forms a canonical class within planar fractal geometry [2210.00164].

A closely related notion is a packing by simple closed curves $\{C_k\}$ bounding topological disks $\{D_k\}$ with pairwise disjoint interiors, as formalized in [1402.5632]. The associated residual set is $S = \overline{D_0} \setminus \bigcup_{k\geq 1} D_k$.

## 2. Uniformization by Disk Packings and Packing-Conformal Maps

A central result for Sierpiński packings with square-summable diameters is the existence of disk-packing uniformizations. Specifically, for a given Sierpiński packing $Y = \widehat{\mathbb{C}} \setminus \bigcup_{i\in I} q_i$ with $\sum_{i} \operatorname{diam}(q_i)^2 < \infty$, there exist:
- a collection $\{p_i\}_{i \in I}$ of pairwise disjoint closed disks (degenerate if and only if $q_i$ is degenerate),
- a round Sierpiński packing $X = \widehat{\mathbb{C}} \setminus \bigcup_{i \in I} p_i$,
- a continuous, surjective, monotone map $H: \widehat{\mathbb{C}} \to \widehat{\mathbb{C}}$ mapping the interiors appropriately,
- a Borel function $\rho_H \in L^2(\widehat{\mathbb{C}})$

satisfying precise modulus and area inequalities; see [2210.00164, Theorem 1.1]. If the packing is "cofat" (uniform Ahlfors-2 lower bound), $H$ can be chosen homeomorphic. The developed concept of packing-conformal and packing-quasiconformal mappings generalizes analytic conformality to the context of circle packings and discrete continua via $L^2$-gradient and area distortion inequalities.

The proof utilizes approximation by finite circle domains, equicontinuity arguments, transboundary modulus estimates, and cell-like extension theorems. The theory extends to Sierpiński carpets (all $q_i$ are Jordan regions), more general cofat continua, and Conformal Loop Ensemble (CLE) carpets, providing a circle-packing model for probability-generated random carpets.

## 3. Homogeneity, Curvature Distribution, and Dimension Theory

A Sierpiński packing residual set $S$ is termed homogeneous if for some constants $\alpha,\beta,\delta>0$, it satisfies:
1. (Roundness) Each complementary disk $D_k$ admits concentric Euclidean disks of radii $r_k \leq R_k$ with $R_k/r_k \leq \alpha$,
2. (Scale–location property) For any $p\in S$ and $0 < r \leq \operatorname{diam} S$, some $C_k$ intersects $B(p, r)$, and $r/\beta \leq \operatorname{diam} C_k \leq \beta r$,
3. (Relative separation) For all $j \neq k$, $\operatorname{dist}(C_j, C_k)/\min \{\operatorname{diam} C_j, \operatorname{diam} C_k\} \geq \delta$ [1402.5632, §1.2].

Associated with any such packing, the **curvature distribution function** is $N(x) = \# \{k : (\operatorname{diam} C_k)^{-1} \leq x \}$, and the exponent is $E = \inf \{ t > 0 : \sum_k (\operatorname{diam} C_k)^t < \infty \}$.

A fundamental theorem ([1402.5632, §2]) for Julia sets of hyperbolic rational maps which are Sierpiński carpets relates these notions:
\[
\lim_{x\to\infty} \frac{\log N(x)}{\log x} = E = \dim_H J(f)
\]
i.e., the curvature count $\sim x^{\delta}$, with $\delta$ the Hausdorff dimension of the Julia set, and $E$ the exponent. The proof combines hyperbolicity (expansion/conformal distortion yielding approximate self-similarity), verification of homogeneity, and the equality of Minkowski and Hausdorff dimension for such residual sets.

By analogy, for standard Sierpiński $p$-carpets, $E = \log(p^2-1)/\log p$ and $N(x) \sim x^E$.

## 4. Computability and Closed-Form Packing Measures on Self-Similar Sets

For totally disconnected self-similar sets satisfying the Strong Separation Condition (SSC), such as the Sierpiński gasket, the packing measure at its similarity dimension admits a closed-form [1404.6920]. For the planar Sierpiński gasket $S_r$ with contraction ratio $0 < r \leq 1/3$, similarity dimension $s(r) = -\log 3 / \log r$,
\[
P^{s(r)}(S_r) = \left( \frac{2(1-r)}{r} \right)^{s(r)}.
\]
This formula is verified by explicit geometric and probabilistic calculations based on the Moran-type density function $h(x,d)$ and the uniqueness of measure maximizing balls. Furthermore, an iterative algorithm is provided, with convergence rigorously shown, to compute the packing measure for arbitrary contraction ratios and more general symmetric iterated function systems.

When $r$ exceeds certain thresholds (e.g., $r > 1/3$), the maximizing ball may lose combinatorial stability and closed forms are not generally available, motivating further research into analytic and computational approaches in packing measure theory [1404.6920].

## 5. Sierpiński Packing Chromatic Numbers and Graph Products

Within discrete mathematics, the Sierpiński product $G \otimes_f H$ for graphs $G$, $H$, and a function $f:V(G)\to V(H)$ has a vertex set $V(G) \times V(H)$, with two types of edges: 'fiber' edges within $gH$ (copies of $H$ over $g$) and 'connecting' edges between fibers dictated by $f$ [2507.06730].

Packing-colorings assign colors to vertices so that vertices of color $l$ are at distance $>l$; $\chi_p(X)$ is the smallest such number for $X$. For Sierpiński products, one defines:
\[
\chi_p^-(G,H) = \min_f \chi_p(G \otimes_f H), \quad \chi_p^+(G,H) = \max_f \chi_p(G \otimes_f H)
\]
as the lower and upper Sierpiński packing chromatic numbers.

Explicit results include:
- For $K_m \otimes_f K_n$, $\chi_p^-(K_m,K_n) = m n - 2m + 2$ and, if $m \geq n$, $\chi_p^+(K_m,K_n) = m n - m - n + 2$. For stars and paths as factors, bounds are established, with minimal chromatic numbers always $3$ and upper bounds depending on structure.
- For arbitrary $G,H$, explicit lower and upper bounds in terms of independence numbers and $2$-packing numbers are provided.
- Recognition of Sierpiński product graphs where one factor is a tree can be done in polynomial time by recursive decomposition and isomorphism checks [2507.06730].

## 6. Applications and Further Directions

Sierpiński packings bridge fractal geometry, complex dynamics, conformal geometry, and discrete mathematics. Applications include:
- Uniformization of fractal carpets, facilitating transfer between analytic and combinatorial models,
- Rigorous computation of fractal packing measures for self-similar sets,
- Analysis of random fractals such as CLE carpets in probability theory and statistical physics, enabled by packing-conformal mappings [2210.00164],
- Combinatorial encoding of iterative structures in graphs, with efficient recognition algorithms and chromatic invariant computation [2507.06730].

Open problems include generalizing explicit packing measures to higher dimensions, relaxing separation and regularity conditions, and further developing the theory of packing-conformal maps for broader classes of topological packings and random fractals [1404.6920, 2210.00164].

Source: https://www.emergentmind.com/topics/sierpinski-packings