Fractal Sets of Bounded-Type

• Fractal sets of bounded-type are defined via bounded continued fraction expansions and yield Cantor-like structures with non-integer Hausdorff dimensions.
• They exhibit intricate dynamical behavior through symbolic dynamics, multifractal scaling, and bifurcation structures reminiscent of Feigenbaum cascades.
• These sets find applications in bounded remainder sets and aperiodic tiling, linking number theory, ergodic theory, and complex dynamics.

Fractal sets of bounded-type arise across several mathematical disciplines, particularly in ergodic theory, symbolic dynamics, complex dynamics, and Diophantine approximation. Such sets combine the combinatorial structure imposed by boundedness constraints—typically on sequence expansions or dynamical orbits—with a finely resolved fractal geometry, reflected in their non-integer Hausdorff dimension, multifractal scaling laws, and rich bifurcation structure. The analysis and construction of fractal sets of bounded-type leverage tools from continued fractions, cut-and-project schemes, symbolic substitutions, and transcendental dynamics, exhibiting interconnections between number theory, aperiodic order, and the geometry of Julia sets.

1. Definitions and Key Constructions

A central class of fractal sets of bounded type is the family $B(t)$ of compact subsets of $[0,1]$ parameterized by $t\in[0,1]$, defined via the continued fraction expansion $x = [0;a_1,a_2,\dots]$. For each $t$,

$$B(t) := \left\{ x \in [0,1] : G^k(x) \geq t \ \forall k \geq 0 \right\},$$

where $G$ is the Gauss map $G(x) = \{1/x\}$ for $x > 0$, and $a_k(x)$ are the partial quotients. For $t = 1/(N+1)$, $B(t)$ coincides with the classical set of bounded-type numbers $\mathcal{B}_N$ where $a_k(x) \leq N$ for all $k$, but the real-parameter family $B(t)$ provides a continuous interpolation between these sets. Each $B(t)$ is a compact, forward-invariant, nowhere dense Cantor-like set with Lebesgue measure zero for $t > 0$ (Carminati et al., 2011).

In other contexts, bounded-type sets arise as bounded remainder sets (BRS) in $\mathbb{R}^d$, delimited by discrepancy under totally irrational toral rotations, and as Julia or escaping sets of certain bounded-type entire functions with precise Hausdorff measure characteristics (Frettlöh et al., 2017, Peter, 2011).

2. Dynamical and Geometric Structures

Fractal sets of bounded-type possess intricate internal and parameter space structures. In the $B(t)$ family, as $t$ increases, $B(t)$ shrinks monotonically from $[0,1]$ to $\emptyset$ for $t > g = (\sqrt{5}-1)/2$, with each set $B(t)$ exhibiting a Cantor-set structure. The complement $[0,1]\setminus B(t)$ decomposes as a union of $t$-gaps corresponding to rationals $r$ whose finite Gauss-map orbits avoid the minimal point $\ell(t)$ of $B(t)$. These gaps have precise continued-fraction addresses, giving a symbolic description of the entire set (Carminati et al., 2011).

In symbolic dynamics, Pisot substitution sequences yield self-similar tilings whose underlying Delone sets are constructed via cut-and-project schemes. The "window" sets in internal space, which define these cut-and-project sets, can be self-similar fractals of non-integer Hausdorff dimension, satisfying systems of graph-directed iterated function systems (IFS) (Frettlöh et al., 2017).

Julia and escaping sets associated to bounded type entire functions form topologically distinct fractals whose "size" in gauge Hausdorff measures depends delicately on the growth order $\rho$ of the underlying function. Although their classical Hausdorff dimension is always two, their measure in a two-parameter scale $H^{h_\gamma}$ undergoes a phase transition as $\gamma$ varies with respect to $\rho$ (Peter, 2011).

3. Bifurcation Loci and Parameter Space Fractals

The map $t \mapsto B(t)$ exhibits a complex bifurcation locus $E$, the set of parameters where $B(t)$ is not locally constant. This set has the characterization

$$E = \left\{ x \in [0,1] : G^k(x) \geq x \text{ for all } k \geq 0 \right\},$$

is closed, nowhere dense, of Lebesgue measure zero, but Hausdorff dimension one. The bifurcation structure features period-doubling cascades, with explicit "Feigenbaum points" marking accumulation of period-doubling bifurcations, analogous to those seen in real quadratic polynomials (Carminati et al., 2011).

Within such bifurcation loci, the $B(t)$-family mirrors universal scaling properties of dynamical systems. For instance, the Hausdorff dimension of $B(t)$ as $t$ approaches the Feigenbaum accumulation point $c_F$ scales like $c/(-\log|t-c_F|)$ for positive constants $c$, indicating a non-Hölder continuous "devil's staircase" behavior in the dimension function.

4. Measure, Dimension, and Scaling Properties

The sets $B(t)$, as well as more general fractal sets of bounded-type, possess multifractal scaling properties. The Hausdorff dimension function $\eta(t) = \dim_H B(t)$ is continuous in $t$ and constant on intervals ("tuning windows") corresponding to certain symbolic constraints. At boundary points or tuning window endpoints, $\eta(t)$ can change non-smoothly, often via logarithmic scaling laws (Carminati et al., 2011).

In the context of Julia and escaping sets of bounded-type entire functions, the gauge Hausdorff measure $H^{h_\gamma}$ associated to $h_\gamma(t) = t^2 g(1/t)^\gamma$ shows a sharp phase transition: for $\gamma > (\log \rho + K_1)/c$ the measure is infinite, while for $\gamma < (\log \rho - K_2)/c$, it is zero, where $g$ is the inverse of a linearizer of an associated exponential map. This demonstrates that while these sets all have full Hausdorff dimension, their fractal "volume" can be tuned by analytic parameters, with the critical index scaling as $\gamma_c \asymp (\log \rho)/\log \beta_\lambda$ (Peter, 2011).

Pisot substitution-generated windows in cut-and-project sets have boundaries that are true self-similar fractals, with their Hausdorff dimension strictly between $m-1$ and $m$ for windows in $\mathbb{R}^{m-1}$ (Frettlöh et al., 2017).

5. Bounded Remainder Sets, Substitutions, and Aperiodic Order

A key link in the construction of fractal bounded-type sets is the use of bounded remainder sets (BRS). A set $W \subset [0,1]^d$ is a BRS for a totally irrational rotation by $\alpha$ if the discrepancy $|D_n(W,x)|$ is uniformly bounded over all $n$ and $x$. Such sets naturally arise as windows in one-dimensional cut-and-project (CPS) model sets determined from Pisot substitution sequences (Frettlöh et al., 2017).

For a primitive Pisot substitution $\sigma$, the associated Delone set $\Lambda$ is a CPS in $(\mathbb{R}, \mathbb{R}^{m-1})$ with a compact fractal window $W$, realized as the unique attractor of a graph-directed IFS. These fractal windows inherit the bounded remainder property via their bounded-distance equivalence to an appropriate lattice, quantifying their regularity within aperiodic order. While for $m=2$ (two-letter substitutions) this equivalence is well-understood and always holds, for $m>2$ the general Pisot substitution conjecture remains unresolved.

Explicit cases include:

• Fibonacci substitution ($\sigma_F$: $a \to ab$, $b \to a$): $W_F$ is an interval, with no fractal boundary.
• Quadratic example ($\sigma: a \to aab, b \to ba$): $W = W_a \cup W_b$ consists of two fractal Cantor-like sets, forming a BRS.
• Cubic example ($\sigma_3: a \to abc, b \to ab, c \to b$): $W \subset \mathbb{R}^2$ decomposes into planar fractals, giving a BRS whose boundary is genuinely non-trivial (Frettlöh et al., 2017).

6. Interrelations, Open Problems, and Further Directions

Fractal sets of bounded-type unify themes in symbolic dynamics, number theory, and fractal geometry, with cross-connections such as the equality of Hausdorff dimensions between $B(t)$ and parameter slices $E(t)$, and applications to recurrence spectra of Sturmian sequences, where fractal sets encode quantitative combinatorial properties (Carminati et al., 2011).

Open problems remain in several directions:

• For Pisot substitutions with $m > 2$, the full realization of all fixed-point tilings as cut-and-project sets with fractal windows depends on unresolved conjectures.
• The classification of bounded-distance equivalence classes in the hull of a given Pisot substitution tiling exhibits a dichotomy: either all elements are equivalent to the same lattice, or there are infinitely many distinct classes (Frettlöh et al., 2017).
• The scaling laws for gauge Hausdorff measures of Julia sets prompt further investigation into the links between analytic growth rates and fractal measure transitions (Peter, 2011).

A plausible implication is that further exploration of cross-disciplinary techniques—such as graph-directed systems, large deviations in continued fraction dynamics, and substitution tiling theory—will continue to enrich the structural theory of fractal sets of bounded-type.