Fractal tiles induced by tent maps

Basic Information

• Paper ID: 2503.16790
• Title: Fractal tiles induced by tent maps
• Authors: Klaus Scheicher, Víctor F. Sirvent, Paul Surer
• Classification: math.DS (Dynamical Systems)
• Publication Date: October 14, 2025
• Paper Link: https://arxiv.org/abs/2503.16790v3

Abstract

This paper investigates geometric objects induced by tent maps associated with special Pisot numbers, termed tent-tiles. These objects are compact subsets of one-, two-, or three-dimensional Euclidean space, with the specific dimension depending on the particular special Pisot number. Most tent-tiles exhibit fractal geometry, and the paper studies the Hausdorff dimension of their boundaries. Furthermore, tilings induced by tent-tiles are investigated. The results demonstrate that tent-tiles generate two types of lattice tilings. To obtain these results, the paper establishes and exploits connections between tent-tiles and Rauzy fractals induced by substitutions and free group automorphisms.

Research Background and Motivation

Problem Definition

1. Core Problem: Investigate the topological and geometric properties of geometric objects (tent-tiles) produced by tent maps induced by special Pisot numbers
2. Specific Objectives:
   • Determine the topological characteristics of tent-tiles (compactness, interior closure properties)
   • Calculate the Hausdorff dimension of boundaries
   • Study the tiling properties induced by tent-tiles

Research Significance

1. Theoretical Value: Connects tent maps in dynamical systems theory with Rauzy fractals in fractal geometry
2. Geometric Significance: Provides new perspectives for understanding fractal tilings and self-similar structures
3. Application Prospects: Holds important significance in the interdisciplinary field of number theory, algebraic geometry, and fractal geometry

Limitations of Existing Research

1. Lagarias et al. in 19 studied tent-tiles but did not term them "tent-tiles," and due to programming errors, their figures differ from those in this paper
2. Lack of systematic theoretical connections between tent-tiles and Rauzy fractals
3. Insufficient complete classification and property investigation of tent-tiles induced by special Pisot numbers

Core Contributions

1. Establishing Theoretical Connections: First systematically establishes precise correspondence between tent-tiles and Rauzy fractals
2. Complete Classification: Provides comprehensive analysis and classification of tent-tiles induced by all 11 special Pisot numbers
3. Topological Properties Proof: Proves that all tent-tiles are compact sets that are the closure of their interiors (Theorem 1.1)
4. Dimension Calculation: Precisely calculates the Hausdorff dimension of boundaries for most tent-tiles
5. Tiling Properties: Determines two types of lattice tiling patterns and identifies the tiling type for each tent-tile

Methodology Details

Task Definition

For real number α > 1, define β = β(α) := α(α-1)^(-1), and the tent map T_α as:

T_α: [0,1] → [0,1], x ↦ {
  αx,           if x ∈ [0, α^(-1)]
  β(1-x),       if x ∈ [α^(-1), 1]
}

When α is a special Pisot unit (i.e., both α and β are Pisot numbers), the paper studies geometric objects induced by Galois conjugates.

Model Architecture

1. Special Pisot Numbers

According to Smyth's results, there exist exactly 11 special Pisot numbers, of which 10 are algebraic units. These numbers satisfy specific algebraic dependencies α^(m_i) = β^(m_{-i}).

2. Tent-tile Construction

Let α be a special Pisot unit of degree d+1, with α^(1),...,α^(r) being real Galois conjugates and α^(r+1),...,α^(r+s) being complex Galois conjugates.

Define Euclidean space: K_α = R^r × C^s ≅ R^d

Embedding map: ψ: Q(α) → K_α, z ↦ (z^(1),...,z^(r+s))^T

Linear operator: Ψz: K_α → K_α, (x_1,...,x_{r+s}) ↦ (z^(1)·x_1,...,z^(r+s)·x_{r+s})^T

Define contraction maps:

• f_L: K_α → K_α, x ↦ Ψα
• f_R: K_α → K_α, x ↦ Ψ[β](ψ(1) - x)

The tent-tile F_α is the unique non-empty compact set satisfying F_α = f_L(F_α) ∪ f_R(F_α).

3. Connection with Rauzy Fractals

The paper establishes correspondences between four classes of substitutions and tent-tiles:

1. ζ_p-class substitutions (p ≥ 3): When α^p = β^2
2. θ_q-class substitutions (q ≥ 2): When α^q = β
3. θ'_q-class substitutions (q ≥ 2): When α = β^q
4. ζ'_p-class substitutions (p ≥ 3): When α^2 = β^p

Technical Innovations

1. Unified Framework: Unifies tent map dynamics with substitution dynamics under the graph-directed iterated function system (GIFS) framework
2. Algebraic Methods: Utilizes Galois theory and number field embeddings to establish precise correspondences
3. Boundary Graph Technique: Introduces self-replicating boundary graphs and lattice boundary graphs to analyze fractal dimensions and tiling properties
4. Complete Classification: Exhaustive analysis of all special Pisot numbers

Experimental Setup

Computational Tools

• Mathematica used for numerical computation and figure generation
• Algorithms construct boundary graphs and compute eigenvalues
• Verification of theoretical results' numerical accuracy

Evaluation Metrics

1. Hausdorff Dimension: Fractal dimension of boundaries
2. Tiling Properties: Whether lattice tilings are produced and their types
3. Topological Properties: Compactness and interior closure properties

Experimental Results

Main Results

One-dimensional Case

• α_{-2}: F_{α_{-2}} = -φ, 0 ⊂ R, where φ is the golden ratio
• α_2: F_{α_2} = (1-φ)/2, 1/2 ⊂ R
• Both produce periodic lattice tilings with boundary Hausdorff dimension 0

Two-dimensional Case (6 planar tent-tiles)

All two-dimensional tent-tiles exhibit fractal geometry:

Three-dimensional Case

• α_4: dim_H(∂F_α) ≤ 2.74421, tiling with reflection
• α_{-4}: dim_H(∂F_α) ≤ 2.815, lattice tiling

Special Cases

α_5 and α_{-5} do not produce known types of lattice tilings, but boundary dimensions can still be computed.

Key Findings

1. Positive Measure: All tent-tiles are closures of their interiors with positive Lebesgue measure
2. Tiling Patterns: Two tiling types identified: direct tiling and tiling requiring reflection
3. Dimension Formula: For most cases, boundary Hausdorff dimension can be precisely calculated:

   dim_H(∂F_α) = d + log(λ) - log(μ_sr) / min_k log(|λ^(k)|)
   

Related Work

Main Research Directions

1. Pisot Number Theory: Smyth's classification of special Pisot numbers
2. Rauzy Fractals: Fractals induced by substitutions and their tiling properties
3. Tent Map Dynamics: Early work by Lagarias et al.
4. Free Group Automorphisms: Fractal representations of free group automorphisms by Arnoux et al.

Advantages of This Paper

1. Establishes direct connections between tent-tiles and Rauzy fractals
2. Provides complete classification and property analysis
3. Resolves Conjecture 2.4 posed by Lagarias et al.
4. Corrects graphical errors in earlier literature

Conclusions and Discussion

Main Conclusions

1. All tent-tiles are compact sets and closures of their interiors
2. Most tent-tiles have fractal boundaries with precisely calculable Hausdorff dimensions
3. Tent-tiles generate two types of periodic lattice tilings
4. Precise correspondence exists between tent-tiles and specific classes of Rauzy fractals

Limitations

1. Applies only to special Pisot numbers (11 total)
2. For α_5 and α_{-5}, tiling properties remain undetermined
3. Hausdorff dimensions in three-dimensional cases only provide upper bounds
4. Depends on the correctness of the Pisot conjecture

Future Directions

1. Investigate possibilities of non-periodic tilings
2. Extend to more general Pisot numbers
3. Deepen investigation of connections with free group automorphisms
4. Explore applications in number theory and algebraic geometry

In-depth Evaluation

Strengths

1. Theoretical Depth: Establishes profound connections between dynamical systems and fractal geometry
2. Completeness: Exhaustive analysis of all relevant cases
3. Technical Innovation: Skillful application of Galois theory and GIFS theory
4. Computational Precision: Provides exact numerical results and dimension formulas
5. Clear Presentation: Well-structured with sufficient technical details

Weaknesses

1. Limited Scope: Restricted to 11 special Pisot numbers with limited generality
2. Unresolved Issues: Tiling properties for two special cases remain undetermined
3. Computational Complexity: Construction and computation of boundary graphs are complex
4. Theoretical Dependencies: Some results depend on the unproven Pisot conjecture

Impact

1. Academic Value: Provides important theoretical tools for the interdisciplinary field of fractal geometry and dynamical systems
2. Methodological Contribution: GIFS framework application provides a paradigm for similar problems
3. Practical Value: Potential applications in fractal tiling and self-similar structure research
4. Reproducibility: Provides detailed computational methods and numerical results

Applicable Scenarios

1. Fractal geometry and self-similar structure research
2. Attractor analysis in dynamical systems
3. Pisot number applications in number theory
4. Tiling theory and quasicrystal research

References

This paper cites 29 important references, primarily including:

• Smyth's classical work on special Pisot numbers 27
• Research on tent maps by Lagarias et al. 18,19
• Foundational work in Rauzy fractal theory 23
• Related research in substitution dynamics and tiling theory 3,12,16,25,26