Geometric and Combinatorial Properties of Self-similar Multifractal Measures

Abstract

For any self-similar measure $\mu$ in $\mathbb{R}$, we show that the distribution of $\mu$ is controlled by products of non-negative matrices governed by a finite or countable graph depending only on the IFS. This generalizes the net interval construction of Feng from the equicontractive finite type case. When the measure satisfies the weak separation condition, we prove that this directed graph has a unique attractor. This allows us to verify the multifractal formalism for restrictions of $\mu$ to certain compact subsets of $\mathbb{R}$, determined by the directed graph. When the measure satisfies the generalized finite type condition with respect to an open interval, the directed graph is finite and we prove that if the multifractal formalism fails at some $q\in \mathbb{R}$, there must be a cycle with no vertices in the attractor. As a direct application, we verify the complete multifractal formalism for an uncountable family of IFSs with exact overlaps and without logarithmically commensurable contraction ratios.

46 pages, 1 figure. Added missing technical assumption to Theorem 1.2, with additional discussion in Section 4.3. Other results unchanged

References in corpus (4)

• Box-counting fractal strings, zeta functions, and equivalent forms of Minkowski dimension
• Dimension of ergodic measures projected onto self-similar sets with overlaps
• When the Weak Separation Condition implies the Generalized Finite Type Condition
• A Multifractal Decomposition for Self-similar Measures with Exact Overlaps

Cited by in corpus (2)

• Local Dimensions of Self-similar Measures Satisfying the Finite Neighbour Condition
• A Multifractal Decomposition for Self-similar Measures with Exact Overlaps