---
title: Homogeneous Self-Similar Measures
url: https://www.emergentmind.com/topics/homogeneous-self-similar-measures
type: topic
---

# Homogeneous Self-Similar Measures

Homogeneous self-similar measures are invariant Borel probability measures generated by an equicontractive iterated function system, typically of the form
$$
S_i(x)=r x+t_i \quad \text{on } \mathbb{R},
$$
or
$$
S_i(x)=r R x+t_i \quad \text{on } \mathbb{R}^2,
$$
with a common contraction factor, or more generally a common linear part. They satisfy a Hutchinson-type fixed-point equation
$$
\mu=\sum_i p_i\,\mu\circ S_i^{-1},
$$
and may also be realized as laws of random series such as $\sum_{n\ge 0} r^n \xi_n$. Within fractal geometry they constitute a basic class for the study of exact dimensionality, $L^q$-spectra, Fourier decay, projections, slices, absolute continuity, and random fractal models. At the same time, recent work shows that high dimension, strong separation, and dense rotations do not by themselves enforce regular projection or slicing behavior [1703.09977][1906.12164].

## 1. Classical framework and terminology

In the classical one-dimensional setting, a homogeneous self-similar measure is associated to an IFS
$$
S_i(x)=r x+t_i,\qquad i=1,\dots,m,
$$
with a common contraction ratio $r\in(0,1)$ and a probability vector $p=(p_1,\dots,p_m)$. The invariant measure $\mu$ is the unique Borel probability measure satisfying
$$
\mu=\sum_{i=1}^m p_i\,\mu\circ S_i^{-1}.
$$
Equivalent formulations identify $\mu$ as the law of the random series
$$
X=\sum_{n\ge 0} r^n \xi_n,
$$
where the $\xi_n$ are i.i.d. and take values in the digit set $\{t_i\}$ with probabilities $p_i$ [1906.12164][1702.06785].

In the planar setting, homogeneous usually means that all similarities share the same linear part. Rapaport formulates this as
$$
S_i(x)=r R x+t_i,
$$
where $r\in(0,1)$ is fixed and $R\in SO(2)$ is fixed, so every branch has the same contraction and rotation. The strong separation condition (SSC) is the requirement that the first-level pieces are pairwise disjoint subsets of the attractor [1703.09977].

The term is not entirely uniform across subfields. In graph-directed systems on limit spaces of self-similar groups, the canonical measure on the tile is called homogeneous because the inverse branches carry equal weights $1/|X|$, yielding the invariance relation
$$
\mu|_T(A)=\sum_{x\in X}\frac{1}{|X|}\,\mu|_T(\tau_x^{-1}(A))
$$
for Borel $A\subset T$ [1001.2291]. In random homogeneous models, the word “homogeneous” refers to the fact that at each level a single environment is chosen and applied across all branches simultaneously, rather than independently branch by branch [2512.19628].

This variation of terminology suggests that two structural features recur throughout the literature: a common geometric scaling mechanism, and a canonical symbolic coding with a Bernoulli-type product structure.

## 2. Dimension, entropy, and overlap structure

For exact-dimensional self-similar measures under SSC, the entropy–Lyapunov formula takes the form
$$
\dim \mu=\frac{H(p)}{\chi}
=\frac{-\sum_i p_i\log p_i}{-\sum_i p_i\log r_i}.
$$
In the homogeneous case with equal weights this simplifies to
$$
\dim \mu=\frac{\log m}{-\log r}.
$$
On the line, the same quantity is usually written as the similarity dimension
$$
s(\mu)=\frac{H(p)}{|\log r|},\qquad H(p)=-\sum_i p_i\log p_i
$$
[1703.09977][1702.06785].

The expected formula
$$
\dim_H\mu=\min\{1,s(\mu)\}
$$
is known to hold in broad one-parameter families when there are no exact overlaps, or more generally no super-exponential concentration of cylinders. In the language of homogeneous line IFS, exact overlaps mean that distinct words of the same length generate the same cylinder map, equivalently the same translation parameter. Hochman’s dimension theorem is invoked in this form in the study of singularity versus exact overlaps [1702.06785].

For homogeneous systems of three maps on $\mathbb{R}$, the dimension problem becomes subtler. After affine normalization one may write
$$
f_1(x)=\lambda x,\qquad f_2(x)=\lambda x+1,\qquad f_3(x)=\lambda x+\tau,
$$
and the paper on three-map systems develops an algebraic approximation theory adapted to this setting. A key feature is the appearance of families of exact-overlap curves
$$
\gamma=\{(\lambda,\tau):\tau=R(\lambda)\},
$$
with $R$ drawn from a class of ratios of power series with coefficients in $\{-1,0,1\}$. In this model, the exceptional parameter set where the expected dimension formula fails but there are no exact overlaps has Hausdorff dimension zero [2010.01022].

Beyond Hausdorff dimension, the $L^q$-dimension admits an explicit formula under exponential separation. For homogeneous self-similar measures on $\mathbb{R}$,
$$
D_q(\mu)
=
\min\Big\{
\frac{-\log\big(\sum_{i=1}^m p_i^q\big)}{(q-1)\log(1/r)},
\,1
\Big\},
\qquad q>1.
$$
In the equal-weight case $p_i=1/m$, this reduces to the similarity dimension whenever it is at most $1$ [1609.07802].

A recurrent theme is that dimension loss is strongly linked to overlap phenomena, but not all regularity failures reduce to exact overlaps. This distinction becomes especially sharp in projection problems and in supercritical regimes.

## 3. Fourier structure, decay, and absolute continuity

Homogeneity yields a decisive harmonic-analytic simplification. If
$$
S_i(x)=r x+t_i,
$$
then the Fourier transform satisfies
$$
\widehat{\mu}(\xi)=\Phi(\xi)\,\widehat{\mu}(r\xi),
\qquad
\Phi(\xi)=\sum_{i=1}^m p_i e^{-i\xi t_i},
$$
and hence
$$
\widehat{\mu}(\xi)=\prod_{n=0}^{\infty}\Phi(r^n\xi).
$$
This Riesz-product structure is the basis of the homogeneous Fourier decay theory, including the Erdős–Kahane mechanism and its later extensions [1906.12164].

A central consequence is that, outside a zero Hausdorff dimension exceptional set of parameters, homogeneous self-similar measures on the line have power Fourier decay,
$$
|\widehat{\mu}(\xi)|=O(|\xi|^{-\alpha})
\quad\text{as }|\xi|\to\infty
$$
for some $\alpha>0$. In the Bernoulli-convolution case, Pisot arithmetic yields the classical obstruction: if $\theta=1/r$ is Pisot, then $\widehat{\mu}$ need not even tend to zero at infinity. By contrast, for non-Pisot parameters one has Rajchman decay, and outside a zero-dimensional exceptional set one gets quantitative power decay [1906.12164].

A quantitative Kaufman–Tsujii-type refinement for homogeneous measures on $\mathbb{R}$ shows that the set of large frequencies where $\widehat{\mu}$ fails to decay can be covered by comparatively few short intervals. This sparse-frequency control yields several consequences. First, non-linear smooth images $F_*\mu$ with $F''>0$ have power Fourier decay. Second, convolution with a homogeneous self-similar measure increases correlation dimension by a quantitative amount. Third, the dimension and Frostman exponent of biased Bernoulli convolutions tend to $1$ as the contraction ratio tends to $1$, with explicit quantitative rates [1710.06812].

The same product structure also feeds into density results. For Bernoulli convolutions, outside a zero-dimensional exceptional set in $(1/2,1)$, the measure belongs to $L^q(\mathbb{R})$ for every finite $q>1$; outside a zero-dimensional exceptional set in $(1/\sqrt{2},1)$ it has a continuous density. More generally, the $L^q$-dimension formalism for dynamically driven self-similar measures extends Hochman’s entropy-based methods to $L^q$ norms by means of an inverse theorem for convolutions of discrete measures [1609.07802].

These results establish a broad dichotomy. Arithmetic resonance can obstruct decay and promote singularity, but away from small exceptional sets the homogeneous convolution structure strongly favors Fourier decay and, in supercritical regimes, absolute continuity.

## 4. Projections, slices, and dimension conservation

The planar theory exhibits both the most striking pathologies and some of the strongest positive results. For planar self-similar measures with SSC and dense rotations, Hochman–Shmerkin’s projection theorem gives
$$
\dim \pi_z\mu=\min\{1,\dim\mu\}
\qquad\text{for all }z\in S,
$$
where $S$ is the unit circle and
$$
\pi_z(w)=\operatorname{Re}(w\overline{z}).
$$
Thus, if $\dim\mu>1$, every orthogonal projection has full Hausdorff dimension $1$ [1703.09977].

Rapaport constructed a homogeneous planar self-similar measure with SSC, dense rotations, and $\dim\mu>1$ such that the set of directions with singular projections contains a dense $G_\delta$ subset of $S$. In the same residual set of directions, typical slices perpendicular to the projection direction are discrete, and dimension conservation fails:
$$
\dim_H\mu
\neq
\dim_H(\pi_z\mu)+\dim_H(\mu_{x,z})
\quad\text{for typical }x.
$$
The mechanism is arithmetic. The construction uses a complex Pisot number $\beta$, writes $\lambda=\beta^{-1}$, and exploits the near-integrality estimate
$$
\mathrm{dist}\big(2\,\mathrm{Re}(\beta^n),\mathbb{Z}\big)\le C\rho^{|n|}
$$
to force non-decay of Fourier transforms in residual sets of directions [1703.09977].

This establishes an important correction to a common heuristic: large dimension and dense rotations do not imply absolute continuity of every projection, nor do they imply dimension conservation in every direction.

A complementary body of results shows that these irregularities are not generic in parameter space. Outside a Hausdorff-dimension-zero exceptional set of contraction parameters, every planar homogeneous self-similar measure with SSC, dense rotations, and dimension greater than $1$ has projections in all directions belonging to some common $L^q(\mathbb{R})$, $q>1$. In that regime, the map
$$
z\mapsto P_z\nu
$$
is continuous in the weak topology of $L^q$, and $\nu$ is dimension conserving in each direction. Moreover, for every direction $z$, the projected measure is equivalent to Lebesgue measure restricted to the projected attractor [1809.09923].

A related one-parameter family of homogeneous self-similar measures on the line arises from projecting the natural measure of the Sierpiński carpet. In that setting the singular parameter set is a dense $G_\delta$ but has Hausdorff dimension zero, and singularity is not caused by exact overlaps: exact overlaps occur only for countably many angles, whereas singular parameters form a residual set. This gives a clear instance where topological largeness and fractal smallness diverge sharply [1702.06785].

## 5. Random, graph-directed, and group-theoretic extensions

Homogeneous self-similar measures extend naturally beyond deterministic Euclidean IFS. In the framework of contracting self-similar groups, the limit $G$-space carries a canonical measure obtained by pushing forward the uniform Bernoulli measure on $X^{-\omega}\times G$. Restricted to the tile $T$, this measure satisfies the equal-weight self-similarity relation
$$
\mu|_T(A)=\sum_{x\in X}\frac{1}{|X|}\,\mu|_T(\tau_x^{-1}(A)),
$$
so it is homogeneous in the sense of equal probabilities across inverse branches. The associated limit dynamical system $(\lim_S,s,m)$ is conjugate to the one-sided Bernoulli $|X|$-shift, and the tile measure $\mu(T)$ is an integer computable from the nucleus automaton [1001.2291].

Random homogeneous IFS provide another major extension. In the model studied by Hare–Hare–Troscheit, an environment $\omega\in\Omega=\mathcal{A}^{\mathbb{N}}$ is sampled from a Bernoulli measure, and at level $n$ the IFS indexed by $\omega_n$ is applied uniformly across all cylinders. The random measure satisfies
$$
\mu_\omega(E)=\sum_{k\in\mathcal{I}_{\omega_1}} p_{\omega_1,k}\,
\mu_{\omega_2\omega_3\omega_4\ldots}\circ S_{\omega_1,k}^{-1}(E).
$$
Under the uniform strong separation condition, the multifractal formalism parallels the deterministic homogeneous case: the attainable local dimensions form an interval, and the spectrum is obtained from a pressure function $\beta(q)$. In overlapping equicontractive finite-type systems, local dimensions are described by Lyapunov exponents of transition matrices, and an essential class governs almost all points. In the commuting subcase, the attainable local dimensions form almost surely a closed interval [1711.09718].

Quantization theory has recently been developed for random homogeneous self-similar measures as well. For $r>0$, the almost sure quantization dimension is determined by a critical exponent $\kappa_r$ derived from the expected pressure equation
$$
\sum_{j=1}^N \zeta_j \log\!\left(\sum_{k\in\mathbb{I}_j}(p_{j,k}c_{j,k}^r)^\theta\right)=0,
\qquad
\theta=\frac{\kappa_r}{r+\kappa_r}.
$$
Under the uniform extra strong separation condition, one has
$$
D_r(\mu_\omega)=\kappa_r
\quad\text{for }\mathbb{P}\text{-almost all }\omega.
$$
With an additional strong uniform open set condition, the lower $\kappa_r$-dimensional quantization coefficient is almost surely positive; without any separation assumption, a cocycle boundedness condition suffices for almost sure finiteness of the upper coefficient [2512.19628].

These extensions show that the homogeneous paradigm is not confined to a single deterministic Euclidean model. It persists in symbolic, group-directed, and random settings, but the relevant regularity statements are then mediated by ergodic theory, automata, transition matrices, and pressure.

## 6. Higher-dimensional, dynamical, and current directions

In the plane, a general absolute continuity theorem for self-similar measures on $\mathbb{C}\simeq\mathbb{R}^2$ states that for fixed distinct translations and positive probabilities, and for Lebesgue-almost every contraction parameter in the supercritical region
$$
s(\lambda,p)=\frac{H(p)}{-\log|\lambda|}>2,
$$
the corresponding measure is absolutely continuous. In the homogeneous case this recovers the typical-parameter paradigm for measures of the form
$$
g_i(z)=\lambda z+t_i
$$
and embeds it into a broader framework involving random self-similar measures, power Fourier decay, and dimension alternatives [2301.10620].

For dimensions $d\ge 3$, recent work treats homogeneous self-similar measures of the form
$$
f_j(x)=\lambda \mathcal{O}x+a_j
\qquad (j=0,\dots,m)
$$
with $\mathcal{O}\in O(d)$. If the digit set $\mathcal{D}$ spans $\mathbb{R}^d$, then for each fixed $\mathcal{O}$ and positive probability vector $p$, one has power Fourier decay for all but a zero-Hausdorff-dimension set of $\lambda$. In even dimensions $d\ge 4$, assuming only affine irreducibility, power Fourier decay holds for Lebesgue-almost every $\lambda$ and Haar-almost every $\mathcal{O}$. Combined with recent $L^q$-dimension results, this yields absolute continuity with $L^q$ density in the supercritical parameter regime for almost all such homogeneous systems [2508.14698].

Homogeneous self-similar measures also arise naturally in dynamics. For a homogeneous SSC self-similar set $K\subset[0,1]$ with natural equal-weight measure $\mu$ and shift-induced map $T:K\to K$, the quantitative recurrence set
$$
R(\varphi)=\{x\in K:|T^n x-x|<\varphi(n)\ \text{for infinitely many }n\}
$$
satisfies the sharp dichotomy
$$
\mu(R(\varphi))=
\begin{cases}
0,& \sum_{n=1}^\infty \varphi(n)^s<\infty,\\
1,& \sum_{n=1}^\infty \varphi(n)^s=\infty,
\end{cases}
$$
where
$$
s=\dim_H K=\frac{\log m}{-\log r}.
$$
A parallel zero-full law holds for Hausdorff $f$-measures under a doubling hypothesis on $f$ [1801.10334].

Several open directions are explicit in the current literature. Rapaport’s construction shows that under dense rotations it remains essential to exclude arithmetic resonances if one wants absolute continuity of all projections or dimension conservation in all directions [1703.09977]. In the non-homogeneous planar theory, typical absolute continuity is known, but the approach used there does not directly extend to $d\ge 3$ because of non-commutative growth issues in $O(d)$ [2301.10620]. In random quantization, weakening UESSC or clarifying the relation between UOSC and SUOSC remains open [2512.19628]. A plausible implication is that the modern theory of homogeneous self-similar measures is increasingly organized around a tension between symbolic regularity and arithmetic resonance: the former drives exact formulas and typical smoothing, while the latter produces the sharpest counterexamples.

Source: https://www.emergentmind.com/topics/homogeneous-self-similar-measures