Hausdorff Dimension of a Class of Self-Affine Sets

Abstract

In this paper, exact Hausdorff dimension formulas for a class of self-affine attractors generated by affine Iterated Function Systems are derived. We consider systems containing an affine map whose $n$-th iterate is a similarity contraction, alongside standard similarities whose linear parts commute with the symmetric operator $A^\top A$, where $A$ is the linear part of the affine map. We prove that the attractor of such a system exists uniquely, and, under the Open Set Condition, we compute its exact Hausdorff dimension. We extend this framework to systems where all map compositions of some fixed length are similarities, and to systems where overlaps are exact homothetic copies of the attractor. We unify these approaches to establish dimension formulas for hybrid systems that combine multiple eventually contractive affine maps with universally aligned similarities. Finally, we conclude with a topological classification of these systems in the plane. For a two-map system comprising an affine map whose second iterate is a similarity with contraction ratio $c$, alongside an $f$-aligned similarity with ratio $r$, we prove that the precise parameter balance $c + r = 1$ acts as a strict topological bottleneck uniquely guaranteeing both the open set condition and the connectedness of the attractor.