---
abstract: |
    Let $G$ be a group and $\phi:H\rightarrow G$ be a contracting homomorphism from a subgroup $H<G$ of finite index. V. Nekrashevych [@self_sim_groups] associated with the pair $(G,\phi)$ the limit dynamical system $({\mathscr{J}_{G}},{\mathsf{s}})$ and the limit $G$-space ${\mathcal{X}_{G}}$ together with the covering $\cup_{g\in G}{\mathscr{T}}\cdot g$ by the tile ${\mathscr{T}}$. We develop the theory of self-similar measures ${\mathsf{m}}$ on these limit spaces. It is shown that $({\mathscr{J}_{G}},{\mathsf{s}},{\mathsf{m}})$ is conjugated to the one-sided Bernoulli shift. Using sofic subshifts we prove that the tile ${\mathscr{T}}$ has integer measure and we give an algorithmic way to compute it. In addition we give an algorithm to find the measure of the intersection of tiles ${\mathscr{T}}\cap ({\mathscr{T}}\cdot g)$ for $g\in G$. We present applications to the invariant measures for the rational functions on the Riemann sphere and to the evaluation of the Lebesgue measure of integral self-affine tiles.\
    **Keywords:** self-similar group, limit space, self-similar measure, tiling, Bernoulli shift, graph-directed system, self-affine tile.\
    **MSC 2000:** Primary 28A80, 20F65; Secondary 37B10, 37D40.\
author:
- 'Ievgen V. Bondarenko, Rostyslav V. Kravchenko[^1]'
title: |
    **Graph-directed systems and self-similar measures on limit spaces\
    of self-similar groups**
---

Introduction
============

Let $G$ be a group and $\phi$ be a virtual endomorphism of $G$, which is a homomorphism from a subgroup $H<G$ of finite index to $G$. Iterative construction involving $\phi$ (together with some additional data) produces the so-called self-similar action $(G,X^{*})$ of the group $G$ on the space $X^{*}$ of finite words over an alphabet $X$. And conversely, every self-similar action of the group $G$ defines a virtual endomorphism of $G$, which almost completely describes the action. A rich geometric theory is associated with the pair $(G,\phi)$ in [@self_sim_groups] through the theory of self-similar groups. The goal of this paper is to introduce measure to this theory.

Self-similar group is a rather new notion in geometric group theory. Like the self-similar objects in geometry (fractals) are too irregular to be described using the language of classical Euclidean geometry, the self-similar groups possess properties not typical for the traditional group theory. In particular, the class of self-similar groups contains infinite periodic finitely generated groups, groups of intermediate growth, just-infinite groups, groups of finite width, etc. (see [@self_sim_groups; @fractal_gr_sets; @branch; @gri:MilnorProb] and references therein). At the same time, it was discovered that self-similar groups appear naturally in many areas of mathematics, and have applications to holomorphic dynamics, combinatorics, analysis on fractals, etc. An important class of self-similar groups are contracting groups, which correspond to self-similar actions with contracting virtual endomorphism. A virtual endomorphism $\phi$ is contracting if it asymptotically contracts the length of group elements with respect to some generating set. The contracting property makes many problems around the group effectively solvable.

V. Nekrashevych in [@self_sim_groups] associated a limit dynamical system $({\mathscr{J}_{G}},{\mathsf{s}})$ with every contracting self-similar action, where ${\mathscr{J}_{G}}$ is a compact metrizable space and ${\mathsf{s}}:{\mathscr{J}_{G}}\rightarrow{\mathscr{J}_{G}}$ is an expanding continuous map. The limit space ${\mathscr{J}_{G}}$ can be defined as the quotient of the space of left-infinite sequences ${X^{-\omega}}=\{\ldots x_2x_1 | x_i\in X\}$ by the equivalence relation, which can be recovered from a finite directed labeled graph ${\mathcal{N}}$, called the nucleus of the action. Another associated geometric object is the limit $G$-space ${\mathcal{X}_{G}}$, which is a metrizable locally compact topological space with a proper co-compact (right) action of $G$. The limit spaces ${\mathscr{J}_{G}}$ and ${\mathcal{X}_{G}}$ depend up to homeomorphism only on the pair $(G,\phi)$. However every self-similar action with the pair $(G,\phi)$ additionally produces a tile ${\mathscr{T}}$ of the limit $G$-space and a covering ${\mathcal{X}_{G}}=\cup_{g\in G}{\mathscr{T}}\cdot g$ (not a tiling in general).

Limit spaces connect self-similar groups with the classical self-similar sets. The self-similar set (the attractor) given by the system of contracting similarities $f_1,\ldots,f_n$ (iterated function system) of a complete metric space is the unique compact set $T$ satisfying $T=\cup_{i=1}^n
f_i(T)$. Given a probability vector $p=(p_1,\ldots,p_n)$, Hutchinson [@hutch:fract_self_similarity] showed the existence of a unique probability measure $\mu$ supported on $T$ satisfying $$\label{eqn_self_similar_measure}
\mu(A)=\sum_{i=1}^{n} p_i\mu(f_i^{-1}(A)), \mbox{ for any Borel set $A$},$$ which is called the self-similar measure. Another way to introduce this measure is to consider the natural coding map $\pi:{X^{-\omega}}\rightarrow T$ given by $\pi(\ldots x_2x_1)=\cap_{m\geq 1} f_{x_1}\circ
f_{x_2}\circ\ldots\circ f_{x_m}(T)$. Then the self-similar measure $\mu$ is the image of the Bernoulli measure $\mu_p$ on ${X^{-\omega}}$ with weight $p$ (here $\mu_p(x_i)=p_i$) under the projection $\pi$. Self-similar measures play an important role in the development of fractal geometry, and have applications in harmonic analysis, conformal dynamics, algebraic number theory, etc. (see [@edgar:int_prob_fr_mes; @urb:meas_dim_confdyn; @ifs_overl_self_sim_mes; @str:self_harm; @bandt:self_sim_meas] and references therein).

The Bernoulli measure $\mu_p$ is one of the basic self-similar measures on the spaces of (left or right) infinite sequences over the alphabet $X$. In Section \[section\_Sofic\] we study the Bernoulli measure of sofic subshifts and other sets given by a finite directed graph ${\Gamma}=(V,E)$, whose edges are labeled by elements of $X$. Consider the set $F_v$ for $v\in V$ of all sequences $\ldots x_2x_1$, which are read along left-infinite paths ending in the vertex $v$. It is proved in Section \[section\_Sofic\] that if the graph ${\Gamma}$ is right-resolving (i.e. for every vertex $v$ the outgoing edges at $v$ are labeled distinctly) then the sum ${meas}({\Gamma})=\sum_{v\in V} \mu_p(F_v)$ is integer, which does not depend on the probability vector $p$. It can be interpreted as follows: almost every left-infinite sequence belongs to precisely ${meas}({\Gamma})$ sets $F_v$. The number ${meas}({\Gamma})$ we call the measure number of the graph ${\Gamma}$. We propose an algorithmic method to compute the measures $\mu_p(F_v)$ for any graph ${\Gamma}$, in particular its measure number.

The push-forward of the uniform Bernoulli measure on ${X^{-\omega}}$ provides the self-similar measure ${\mathsf{m}}$ on the limit space ${\mathscr{J}_{G}}$. The $G$-invariant measure $\mu$ on the limit $G$-space ${\mathcal{X}_{G}}$ is defined in a similar way. The measure $\mu$ restricted to the tile ${\mathscr{T}}$ satisfies the self-similarity equation (\[eqn\_self\_similar\_measure\]), so it is also self-similar. It is proved in Section \[section\_Measures\] that the measure $\mu({\mathscr{T}})$ is equal to the measure number of the nucleus ${\mathcal{N}}$. In particular it is integer, the fact which generalizes corresponding result for integral self-affine tiles [@lag_wang:int_self_affine_I]. In addition we give an algorithm to find the measure of intersection of tiles ${\mathscr{T}}\cap ({\mathscr{T}}\cdot g)$ for $g\in G$. Then the covering ${\mathcal{X}_{G}}=\cup_{g\in G}{\mathscr{T}}\cdot g$ is a perfect multiple covering of multiplicity $\mu({\mathscr{T}})$, i.e. every point of ${\mathcal{X}_{G}}$ belongs to at least $\mu({\mathscr{T}})$ tiles and almost every point belongs to precisely $\mu({\mathscr{T}})$ tiles. This is used to prove that the measures ${\mathsf{m}}$ and $\mu$ depend not on the specific self-similar action of $G$, but only on the pair $(G,\phi)$ as the limit spaces themselves. Using a criterion from [@hoffman:Bernoulli] we show that the limit dynamical system $({\mathscr{J}_{G}},{\mathsf{s}},{\mathsf{m}})$ is conjugated to the one-sided Bernoulli shift.

This work is partially motivated by applications presented in Section \[section\_Applictions\]. If $G$ is a torsion-free nilpotent group with a contractive surjective virtual endomorphism $\phi$ and a faithful self-similar action, then the measure $\mu$ on ${\mathcal{X}_{G}}$ can be considered as a Haar measure on the respective nilpotent Lie group, Malcev’s completion of $G$. In the case of self-similar actions of the free abelian group $\mathbb{Z}^n$ the limit $G$-space ${\mathcal{X}_{\mathbb{Z}^n}}$ is $\mathbb{R}^n$ and the tile ${\mathscr{T}}$ is an integral self-affine tile, which are intensively studied for the last two decades (see [@lag_wang:self_affine; @vince:digit; @lag_wang:int_self_affine_I; @lag_wang:int_self_affine_II; @he_hui:self_affine]). In this case the measure $\mu$ is the Lebesgue measure on $\mathbb{R}^n$. One can apply the methods developed in Section \[section\_Sofic\] to give an algorithmic way to find the Lebesgue measure of an integral self-affine tile, providing answer to the question in [@lag_wang:int_self_affine_I] (initially solved in [@gab_yu:natur_til] without self-similar groups). In addition we have an algorithm to find the Lebesgue measure of the intersection of tiles ${\mathscr{T}}\cap ({\mathscr{T}}+a)$ for $a\in\mathbb{Z}^n$ studied in [@gab_yu:natur_til; @int_two_tiles]. Finally, the theory of iterated monodromy groups developed in [@self_sim_groups] implies that if $G$ is the iterated monodromy group of a sub-hyperbolic rational function $f$ then the measure ${\mathsf{m}}$ on the limit space ${\mathscr{J}_{G}}$ is the unique $f$-invariant probability measure $\mu_f$ on the Julia set of $f$ studied in [@invmeas_rat; @lub:entr_ration; @rational_bernoulli].

Bernoulli measure of sofic subshifts {#section_Sofic}
====================================

Let $X$ be a finite set with discrete topology. Denote by $X^{*}=\{x_1x_2\ldots x_n | x_i\in X,
n\geq 0\}$ the set of all finite words over $X$ (including the empty word denoted $\emptyset$). Let $X^{\omega}$ be the set of all right-infinite sequences (words) $x_1x_2\ldots$, $x_i\in X$. Let $X^{-\omega}$ be the set of all left-infinite sequences (words) $\ldots x_2x_1$, $x_i\in X$. We put the product topology on these sets. The length of a word $v=x_1x_2\ldots x_n$ is denoted by $|v| =
n$.

The *shift on the space ${X^\omega}$* is the map $\sigma:{X^\omega}\rightarrow{X^\omega}$, which deletes the first letter of a word, i.e. $\sigma(x_1x_2x_3\ldots) = x_2x_3\ldots$. The *shift on the space ${X^{-\omega}}$* is the map also denoted by $\sigma$, which deletes the last letter of a word, i.e. $\sigma(\ldots x_3x_2x_1) = \ldots x_3x_2$. The shifts are continuous $|X|$-to-$1$ maps. The branches $\sigma_x$ for $x\in X$ of the inverse of $\sigma$ are defined by $\sigma_x(x_1x_2\ldots)=xx_1x_2\ldots$ and $\sigma_x(\ldots x_2x_1)=\ldots x_2x_1x$.

Let $p=(p_x)_{x\in X}$ be a probability vector (fixed for the rest of the section) and let $\mu_p$ be the *Bernoulli measure* on ${X^\omega}$ with weight $p$, i.e. this measure is defined on cylindrical sets by $$\mu_p(x_1x_2\ldots x_n{X^\omega})=p_{x_1}p_{x_2}\ldots p_{x_n}.$$ The measure on ${X^{-\omega}}$ is defined in the same way. We always suppose that $p_x>0$ for all $x\in X$ (otherwise we can pass to a smaller alphabet $X$). In case $p_x=\frac{1}{|X|}$ for all $x\in X$, the measure $\mu_p$ is the *uniform Bernoulli measure* denoted $\mu_u$. The dynamical system $({X^\omega},\sigma,\mu_u)$ is called the *one-sided Bernoulli $|X|$-shift*. The measure $\mu_p$ is the unique regular Borel probability measure on ${X^\omega}$ that satisfies the self-similarity condition: $$\mu_p(A)=\sum_{x\in X} p_x\mu_p(\sigma_x^{-1}(A))$$ for any Borel set $A\subset{X^\omega}$.

In this section all considered graphs are directed and labeled with $X$ as the set of labels. Let ${\Gamma}=(V,E)$ be such a graph and take a vertex $v\in V$. We say that a sequence $x_1x_2\ldots\in{X^\omega}$ (a word $x_1x_2\ldots x_n\in X^{*}$) *starts in the vertex $v$* if there exists a right-infinite path $e_1e_2\ldots$ (finite path $e_1e_2\ldots e_n$) in ${\Gamma}$, which starts in $v$ and is labeled by $x_1x_2\ldots$ (respectively $x_1x_2\ldots x_n$). Similarly, we say that a sequence $\ldots x_2x_1\in{X^{-\omega}}$ (a word $x_n\ldots x_2x_1\in X^{*}$) *ends in the vertex $v$* if there exists a left-infinite path $\ldots e_2e_1$ (finite path $e_n\ldots e_2e_1$) in ${\Gamma}$, which ends in $v$ and is labeled by $\ldots x_2x_1$ (respectively $x_n\ldots x_2x_1$). For every $w\in X^*\cup{X^{-\omega}}$ denote by $V_{\Gamma}(w)=V(w)\subset V$ the set of all vertices $v\in V$ such that the sequence $w$ ends in $v$. Observe that $V(w'w)\subseteq V(w)$ for arbitrary word $w'$ and finite word $w$.

For every vertex $v\in V$ denote by $B_v$ the set of all right-infinite sequences that start in $v$, and denote by $F_v$ the set of all left-infinite sequences that end in $v$. The sets $B_v$ and $F_v$ are closed correspondingly in ${X^\omega}$ and ${X^{-\omega}}$, thus compact and measurable. The sets ${\mathscr{B}}=\cup_{v\in V}B_v$ and ${\mathscr{F}}=\cup_{v\in V}F_v$ are the one-sided (respectively, right and left) *sofic subshifts* associated with the graph ${\Gamma}$. The sets $F_v, v\in V$, satisfy the recursion $$F_v=\bigcup_{u\, \stackrel{x}{\rightarrow} \,v} \sigma_x(F_u)$$ (here the union is taken over all edges which end in $v$). Hence, associating the map $\sigma_x$ with every edge $e$ of the graph ${\Gamma}$ labeled by $x$, the collection of sets $\{F_v, v\in V\}$ can be seen as the graph-directed iterated function system on the sofic subshift ${\mathscr{F}}$ with the underlying graph ${\Gamma}$ (see [@fractal_gr_sets]). All the maps $\sigma_x^{-1}$ are restrictions of the shift $\sigma$, and thus $\{F_vx, v\in V\}$ is the Markov partition of the dynamical system $({\mathscr{F}},\sigma)$. Similarly, the collection of sets $\{B_v, v\in V\}$ can be seen as the graph-directed iterated function system on the sofic subshift ${\mathscr{B}}$.

A labeled graph ${\Gamma}=(V,E)$ is called *right-resolving* (Shannon graph in some terminology) if for every vertex $v\in V$ the edges starting at $v$ have different labels. Every sofic subshift can be given by a right-resolving graph (see Theorem 3.3.2 in [@IntroSymbDyn]). A right-resolving graph is called *strictly right-resolving* if every vertex $v\in V$ has an outgoing edge labeled by $x$ for every $x\in X$.

For a labeled graph ${\Gamma}=(V,E)$ we use the following notations: $$\vec\mu_p({\mathscr{B}})=(\mu_p(B_v))_{v\in V}, \quad  \vec\mu_p({\mathscr{F}})=(\mu_p(F_v))_{v\in V}, \quad \mbox{ and }
\quad \mu_p({\Gamma})=\sum_{v\in V} \mu_p(F_v).$$ Next we study the properties of these quantities and describe an algorithmic way to find them. First we discuss the problem for right-resolving graphs, and then reduce the general case to the right-resolving one.

\[theor\_measure\_graph\_integer\] Let ${\Gamma}=(V,E)$ be a finite right-resolving graph. Then $$\mu_p({\Gamma})=\min_{w\in{X^{-\omega}}} |V(w)|=\min_{w\in X^*} |V(w)|.$$ In particular, the measure $\mu_p({\Gamma})$ is integer.

Let $w=\ldots x_2x_1\in{X^{-\omega}}$ and denote $w_n=x_n\ldots x_2x_1$ for $n\geq 1$. Observe, that $V(w)\subseteq V(w_n)$ and $V(w_n)\subseteq V(w_m)$ for $n\geq m$.

Take a vertex $v\in \cap_{n\geq 1} V(w_n)$. Let $P_n$ be the set of all paths $e_n\ldots e_2e_1$ labeled by $w_n$ and ending in $v$. The set $P_n$ is a finite non-empty set for every $n$, and $e_{n-1}\ldots e_2e_1\in P_{n-1}$ for every path $e_n\ldots e_2e_1\in P_n$. Since the inverse limit of a sequence of finite non-empty sets is non-empty, there exists a left-infinite path $\ldots
e_2e_1$ labeled by $w$ and ending in $v$. Then $v\in V(w)$ and we get $$\label{eqn_th1_V(w) eq cap V(w_n)}
V(w)=\bigcap_{n\geq 1} V(w_n).$$ From this follows that $|V(w)|=\min\limits_{n\geq 1} |V(w_n)|$ for $w\in{X^{-\omega}}$. Then $$\min_{w\in{X^{-\omega}}} |V(w)|=\min_{w\in{X^{-\omega}}} \min_{n\geq 1} |V(w_n)|=\min_{w\in X^*} |V(w)|$$ and the second equality of the theorem is proved.

Define the integer $k=\min_{w\in{X^{-\omega}}} |V(w)|$ and consider the set $\mathcal{O}=\mathcal{O}({\Gamma})\subseteq{X^{-\omega}}$ of all sequences $w\in{X^{-\omega}}$ such that $|V(w)|=k$. Define $\mathcal{O}^*$ as the set of finite words that satisfy the same condition. We have the following lemma.

\[lemma\_set V open dense\] The set $\mathcal{O}$ is open and dense in ${X^{-\omega}}$, and $\mu_p(\mathcal{O})=1$. For each $w\in\mathcal{O}$ there is a beginning of $w$ that belongs to $\mathcal{O}^*$. Equivalently, $\mathcal{O}=\cup_{w\in\mathcal{O}^*}{X^{-\omega}}w$.

If $w\in\mathcal{O}$ then $k=|V(w)|=\min_{n\geq 1} |V(w_n)|$ and there exists $N\geq 1$ such that $|V(w_N)|=k$. Then $k\leq |V(\omega w_N)|\leq |V(w_N)|=k$ for all $\omega\in{X^{-\omega}}$. Hence $w_N\in\mathcal{O}^*$, ${X^{-\omega}}w_N\subseteq\mathcal{O}$ and so $\mathcal{O}$ is open, and thus measurable.

Let $u\in X^*$ be such that $|V(u)|=k$. Let us show that if $w\in{X^{-\omega}}$ contains the subword $u$ then $w\in\mathcal{O}$. If $w=w'u$ then $k\leq |V(w'u)|\leq |V(u)|=k$ and $w\in\mathcal{O}$. Observe that $V(ux)$ is the set of those vertices $v\in V$ for which there exists an edge labeled by $x$ which starts in some vertex of $V(u)$ and ends in $v$. Since the graph ${\Gamma}$ is right-resolving there is no more than one such an edge for each vertex of $V(u)$, and thus $|V(ux)|\leq |V(u)|$. It implies that if $w=w'uu'$ than $k\leq |V(w)|\leq |V(u)|=k$ and thus $|V(w)|=k$, so $w\in\mathcal{O}$. The Bernoulli measure of the set of all words $w'uu', u'\in X^*,
w'\in{X^{-\omega}}$, is equal to $1$. Thus $\mu_p(\mathcal{O})=1$. It follows also that $\mathcal{O}$ is dense in ${X^{-\omega}}$.

By construction of the set $\mathcal{O}$ for every $w\in\mathcal{O}$ there exist exactly $k$ vertices $v$ such that $w\in F_v$. Let $\chi_{F_v}$ be the characteristic function of the set $F_v$. Then $\sum_{v\in V}\chi_{F_v}=k$ almost everywhere. Integrating we get $\mu_p({\Gamma})=\sum\limits_{v\in V} \mu_p(F_v)=k$.

The theorem holds not only for Bernoulli measures. The only property that was used is that for every word $u\in X^{*}$ the set of all words, which contain $u$ as a subword, has measure $1$. It should be pointed out that the number $\mu({\Gamma})$ is independent on the chosen measure $\mu$, while the measures $\mu(F_v)$, $\mu(B_v)$ and $\sum_{v\in V} \mu(B_v)$ depend on $\mu$.

The number ${meas}({\Gamma})=\mu_p({\Gamma})$ is called the *measure number* of the graph ${\Gamma}$.

Theorem \[theor\_measure\_graph\_integer\] shows that almost every sequence $w\in{X^{-\omega}}$ ends in precisely ${meas}({\Gamma})$ vertices of ${\Gamma}$.

We will use the following proposition in the next sections.

\[prop cup B\_v eq cup F\_v\] Let ${\Gamma}=(V,E)$ be a finite labeled graph. Then ${\mathscr{B}}={X^\omega}$ if and only if ${\mathscr{F}}={X^{-\omega}}$. In particular, ${\mathscr{F}}={X^{-\omega}}$ for a finite strictly right-resolving graph ${\Gamma}$.

Since the inverse limit of nonempty finite sets is nonempty, ${\mathscr{B}}={X^\omega}$ (${\mathscr{F}}={X^{-\omega}}$) is equivalent to the fact that every finite word $v\in{X^*}$ labels some path in ${\Gamma}$.

The matrix $A=(a_{vu})_{v,u\in V}$, where $a_{vu}$ is equal to the number of edges from $v$ to $u$, is the *adjacency matrix* of the graph ${\Gamma}$. For the probability vector $p=(p_x)_{x\in X}$ define the matrix $$T_p=(t_{vu})_{v,u\in V}, \mbox{ where } t_{vu}=\sum\limits_{v\stackrel{x}\rightarrow u}p_x$$ (the sum is taken over all edges from $v$ to $u$). The matrices $A$ and $T_p$ are irreducible if and only if the graph ${\Gamma}$ is strongly connected. If the graph ${\Gamma}$ is right-resolving, then the matrix $T_p$ is the *transition matrix* of the random walk on the weighted directed graph ${\Gamma}$, where each edge labeled by $x$ has weight $p_x$. In this case the row sums of the matrix $A$ are $\leq |X|$, and the row sums of the matrix $T_p$ are $\leq 1$, hence the spectral radius of $A$ is $\leq |X|$, and the spectral radius of $T_p$ is $\leq 1$. If the graph ${\Gamma}$ is strictly right-resolving, then the transition matrix $T_p$ is right stochastic.

\[prop\_eigenvect\_transition\_matr\] Let ${\Gamma}=(V,E)$ be a finite right-resolving graph with the transition matrix $T_p$. If the vector $\vec \mu_p({\mathscr{B}})$ is nonzero then it is the right eigenvector of $T_p$ for the eigenvalue $1$. If the vector $\vec \mu_p({\mathscr{F}})$ is nonzero then it is the left eigenvector of $T_p$ for the eigenvalue $1$.

By construction, for every vertex $v\in V$ we have $$B_v=\bigsqcup_{v\stackrel{x}\rightarrow u} xB_u$$ (here the union is disjoint because the graph ${\Gamma}$ is right-resolving). It implies $$\mu_p(B_v)=\sum_{v\stackrel{x}\rightarrow u} p_x\mu_p(B_{u})=\sum_{u\in V} t_{vu}\mu_p(B_{u}).$$ Thus the nonzero vector $\vec \mu_p({\mathscr{B}})$ is the right eigenvector of $T_p$ for the eigenvalue $1$.

Similarly, $$F_v=\bigcup_{u\stackrel{x}\rightarrow v} F_{u}x,\ v\in V,$$ and, since the graph ${\Gamma}$ is right-resolving, that implies $$\mu_p(F_v)\leq\sum_{u\stackrel{x}\rightarrow v} p_x\mu_p(F_{u})=\sum_{u\in V}
t_{uv}\mu_p(F_{u})\quad \Rightarrow\quad \vec \mu_p({\mathscr{F}})\leq\vec \mu_p({\mathscr{F}}) T_p.$$

The standard arguments based on the theory of nonnegative matrices (see for example [@he_hui:self_affine proof of Theorem 4.5], [@gab_yu:natur_til p. 197], [@handbook:rothblum]) end the proof.

\[cor\_meas\_sum\_meas\] Let ${\Gamma}=(V,E)$ be a finite right-resolving graph. Let $\{{\Gamma}_i\}$ be the set of all strongly connected components of ${\Gamma}$, which are strictly right-resolving graphs. Then ${meas}({\Gamma})=\sum_i{meas}({\Gamma}_i)$.

In particular, if a finite strictly right-resolving graph ${\Gamma}$ contains a vertex $v_0$ such that for each vertex $v$ there is a path in ${\Gamma}$ from $v$ to $v_0$ and for each $x\in X$ there is an edge from $v_0$ to $v_0$ labeled by $x$ (the open set condition for graphs), then ${meas}({\Gamma})=1$.

Let ${\Gamma}=(V,E)$ be a finite right-resolving graph with the adjacency matrix $A$. For the uniform Bernoulli measure $\mu_u$ the nonzero vectors $\vec \mu_u({\mathscr{B}})$ and $\vec \mu_u({\mathscr{F}})$ are respectively the right and left eigenvectors of $A$ for the eigenvalue $|X|$.

The next example shows that the right-resolving property in Proposition \[prop\_eigenvect\_transition\_matr\] and Theorem \[theor\_measure\_graph\_integer\] cannot be dropped even in the case of the uniform Bernoulli measure. The second example presents two right-resolving graphs with the same transition matrices, but with different measure numbers.

For the graph ${\Gamma}$ shown in Figure \[fig\_Example\_3\_Graphs\] we get $F_a={X^{-\omega}}0$, $F_b={X^{-\omega}}$, the vector $\vec\mu_u({\mathscr{F}})=(1/2,1)$ is not an eigenvector of the adjacency matrix, and $\mu_u({\Gamma})=3/2$.

Consider two graphs ${\Gamma}_1$ and ${\Gamma}_2$ shown in Figure \[fig\_Example\_3\_Graphs\]. They have the same transition matrix (for the uniform Bernoulli measure), however $F_{a_1}=F_{b_1}={X^{-\omega}}$ and $F_{a_2}={X^{-\omega}}0$, $F_{b_2}={X^{-\omega}}1$. Hence, $\mu_u({\Gamma}_1)=2$ and $\mu_u({\Gamma}_2)=1$.

Although Theorem \[theor\_measure\_graph\_integer\] gives a usefull characterization of the number $\mu_p({\Gamma})$, it does not present an algorithmic way to find it. It follows from Proposition \[prop\_eigenvect\_transition\_matr\] that the problem of finding $\vec\mu_p({\mathscr{F}})$ and $\mu_p({\Gamma})$ reduces to the strongly connected components which are strictly right-resolving graphs (for all other vertices $\mu_p(F_v)=0$). Notice that if ${\Gamma}$ is a strongly connected strictly right-resolving graph, then the vector $\frac{1}{\mu_p({\Gamma})}\vec \mu_p({\mathscr{F}})$ is the unique stationary probability distribution of the stochastic matrix $T_p$.

At the same time Proposition \[prop\_eigenvect\_transition\_matr\] implies the algorithm to find the vector $\vec\mu_p({\mathscr{B}})$ for a right-resolving graph. Indeed, a left eigenvector of $T_p$ for the eigenvalue $1$ is uniquely defined if we know its entries $\mu_p(B_v)$ for vertices $v$ in the strongly connected components of ${\Gamma}$ without outgoing edges. For every such a component ${\Gamma}'$, we have $B_v={X^\omega}$ and $\mu_p(B_v)=1$ for every vertex $v\in{\Gamma}'$ if the component ${\Gamma}'$ is a strictly right-resolving graph, and $\mu_p(B_v)=0$ otherwise. In particular, if the matrix $T_p$ is rational then the values $\mu_p(B_v)$ are rational.

Given a finite labeled graph ${\Gamma}=(V,E)$ the problems of finding the measures $\mu_p(B_v)$ and $\mu_p(F_v)$ are equivalent, and can be reduced to right-resolving graphs. The problem is that the system $$B_v=\bigcup_{v\stackrel{x}\rightarrow u} xB_{u}=\bigsqcup_{x\in
X}x\left(\bigcup_{v\stackrel{x}\rightarrow u} B_{u}\right),\ v\in V$$ is not self-similar in the sense that the above expression involves not only the sets $B_v$ but also their finite unions. Introducing additional terms to this recursion corresponding to these unions we get a system with a right-resolving graph. This procedure is similar to the construction described in the proof of Theorem 3.3.2 in [@IntroSymbDyn].

For every finite graph ${\Gamma}=(V,E)$ one can construct a finite right-resolving graph ${\Gamma}'=(V',E')$ with the property that for every $v\in V$ there exists $v'\in V'$ such that $B_v=B_{v'}$.

Similarly, one can find the measures of subshifts ${\mathscr{B}}$ and ${\mathscr{F}}$ by introducing new vertices corresponding to $\cup_{v\in V} B_v$ and $\cup_{v\in V} F_v$.

\[cor\_meas\_gr\_rational\] Let ${\Gamma}=(V,E)$ be a finite labeled graph. For the uniform Bernoulli measure $\mu_u$ all measures $\mu_u(B_v)$, $\mu_u(F_v)$, $\mu_u({\Gamma})$ are rational.

Consider the question how to find the measure of the intersection $B_v\cap B_u$ for $v,u\in V$. Construct a new graph $\mathscr{G}$ with the set of vertices $V\times V$ and put an edge from $(v,u)$ to $(v',u')$ labeled by $x\in X$ for every edges $v\stackrel{x}\rightarrow v'$ and $u\stackrel{x}\rightarrow u'$ in the graph ${\Gamma}$ (label products of graphs by Definition 3.4.8 in [@IntroSymbDyn]). It is easy to see that then $B_{(v,u)}=B_v\cap B_u$ (see Proposition 3.4.10 in [@IntroSymbDyn]).

The described methods work in a more general case when labels are words over $X$. Let ${\Gamma}=(V,E)$ be a directed graph labeled by labels from $X^{*}\setminus\{\emptyset\}$. Define the sets $B_v$ and $F_v$ for $v\in V$ as above. Similarly, the collection of sets $\{B_v, v\in V\}$ can be seen as the graph-directed function system with the underlying graph ${\Gamma}$, where the map $\sigma_{x_1\ldots
x_n}=\sigma_{x_n}\circ\ldots\circ\sigma_{x_1}$ is associated with every edge labeled by $x_1\ldots
x_n$. To find the measures of the sets $B_v$ and $F_v$, we can replace each edge labeled by a word $x_1x_2\ldots x_k$ by a sequence of edges labeled by letters $x_1,x_2,\ldots,x_k$, and apply the above method to this new graph. Also we can directly use Proposition \[prop\_eigenvect\_transition\_matr\], where such graph ${\Gamma}$ is called *right-resolving* if for every vertex $v\in V$ the word-label of an edge starting at $v$ is not a prefix of the word-label of another edge starting at $v$ (i.e. in some sense the associated automaton is deterministic). The transition matrix $T_p$ is defined similarly $$T_p=(t_{vu})_{v,u\in V}, \mbox{ where } t_{vu}=\sum\limits_{v\xrightarrow{x_1...x_k}
u}p_{x_1}p_{x_2}\ldots p_{x_k}.$$

Self-similar actions and its limit spaces {#section_Self-similar_groups}
=========================================

We review in this section the basic definitions and theorems concerning self-similar groups. For a more detailed account and for the references, see [@self_sim_groups].

**Self-similar actions.** A faithful action of a group $G$ on the set $X^*$ is called *self-similar* if for every $g\in G$ and $x\in X$ there exist $h\in G$ and $y\in X$ such that $$g(xw)=yh(w)$$ for all $w\in X^*$. The element $h$ is called the *restriction* of $g$ on $x$ and denoted $h=g|_x$. Inductively one defines the restriction $g|_{x_1x_2\ldots x_n}=g|_{x_1}|_{x_2}\ldots
|_{x_n}$ for every word $x_1\ldots x_n\in X^n$. Notice that $(g\cdot h)|_v=g|_{h(v)}\cdot h|_v$ (we are using left actions).

**Virtual endomorphisms.** The study of the self-similar actions of a group is in some sense the study of the *virtual endomorphisms* of this group, which are homomorphisms from a subgroup of finite index to the group. There is a general way to construct a self-similar representation of a group with a given associated virtual endomorphism. Let $\phi: H\rightarrow G$ be a virtual endomorphism of the group $G$, where $H<G$ is a subgroup of index $d$. Let us choose a left coset transversal $T=\{g_0,g_1,\ldots,g_{d-1}\}$ for the subgroup $H$, and a sequence $C=\{h_0,h_1,\ldots,h_{d-1}\}$ of elements of $G$ called a *cocycle*. The self-similar action $(G,X^{*})$ with the alphabet $X=\{x_0,x_1,\ldots,x_{d-1}\}$ defined by the triple $(\phi,T,C)$ is given by $$g(x_i)=x_j,\qquad g|_{x_i}=h_j^{-1}\phi(g_j^{-1}gg_i)h_i,$$ where $j$ is such that $g_j^{-1}gg_i\in H$ (such $j$ is unique). The action may be not faithful, the kernel can be described using Proposition 2.7.5 in [@self_sim_groups].

Conversely, every self-similar action can be obtained in this way. Let $(G,X^{*})$ be a self-similar action and take a letter $x\in X$. The stabilizer $St_G(x)$ of the letter $x$ in the group $G$ is a subgroup of index $\leq |X|$ in $G$. Then the map $\phi_x: g\mapsto g|_x$ is a homomorphism from $St_G(x)$ to $G$ called *the virtual endomorphism associated to the self-similar action*. Choose $T=\{g_y : y\in X\}$ and $C=\{h_y : y\in X\}$ such that $g_y (x)=y$ and $h_y=\left(g_y|_x\right)^{-1}$. Then $T$ is a coset transversal for the subgroup $St_G(x)$ and the self-similar action $(G,X^*)$ is defined by the triple $(\phi_x,T,C)$. Different self-similar actions of the group $G$ with the same associated virtual endomorphism are conjugated by Proposition 2.3.4 in [@self_sim_groups].

**Contracting self-similar actions.** An important class of self-similar actions are contracting actions. A self-similar action of a group $G$ is called *contracting* if there exists a finite set ${\mathcal{N}}$ such that for every $g\in G$ there exists $k\in\mathbb{N}$ such that $g|_v\in{\mathcal{N}}$ for all words $v\in X^*$ of length $\geq k$. The smallest set ${\mathcal{N}}$ with this property is called the *nucleus* of the self-similar action. The nucleus itself is self-similar in the sense that $g|_v\in{\mathcal{N}}$ for every $g\in{\mathcal{N}}$ and $v\in X^{*}$. It can be represented by the *Moore diagram*, which is the directed labeled graph with the set of vertices ${\mathcal{N}}$, where there is an edge from $g$ to $g|_x$ labeled $(x,g(x))$ for every $x\in X$ and $g\in{\mathcal{N}}$. We identify the nucleus with its Moore diagram, also denoted by ${\mathcal{N}}$. The contracting property of the action depends only on the virtual endomorphism but not on the chosen coset transversal and cocycle (see Corollary 2.11.7 in [@self_sim_groups]). Notice that every contracting self-similar group is countable.

Self-similar groups are related to self-similar sets through the notion of limit spaces.

**Limit $G$-spaces.** Let us fix a contracting self-similar action $(G,X^{*})$. Consider the space ${X^{-\omega}}\times G$ of all sequences  $\ldots x_2x_1\cdot g$, $x_i\in X$ and $g\in G$, with the product topology of discrete sets $X$ and $G$. Two elements $\ldots x_2x_1\cdot g$ and $\ldots
y_2y_1\cdot h$ of ${X^{-\omega}}\times G$ are called *asymptotically equivalent* if there exist a finite set $K\subset G$ and a sequence $g_n\in K, n\geq 1,$ such that $$g_n(x_n x_{n-1}\ldots x_1)=y_n y_{n-1}\ldots y_1\qquad \mbox{ and }\qquad g_n|_{x_n x_{n-1}\ldots
x_1}\cdot g=h$$ for every $n\geq 1$. This equivalence relation can be recovered from the nucleus ${\mathcal{N}}$ of the action (Proposition 3.2.6 in [@self_sim_groups]).

\[prop\_asympt\_Moore\_diagr\] Two elements $\ldots x_2x_1\cdot g$ and $\ldots y_2y_1\cdot h$ of ${X^{-\omega}}\times G$ are asymptotically equivalent if and only if there exists a left-infinite path $\ldots e_2e_1$ in the nucleus ${\mathcal{N}}$ ending in the vertex $hg^{-1}$ such that the edge $e_i$ is labeled by $(x_i,y_i)$.

The quotient of the set ${X^{-\omega}}\times G$ by the asymptotic equivalence relation is called the *limit $G$-space* of the action and denoted ${\mathcal{X}_{(G,X^*)}}$. The group $G$ naturally acts on the space ${\mathcal{X}_{(G,X^*)}}$ by multiplication from the right.

The map $\tau_x$ defined by the formula $$\tau_x(\ldots x_2 x_1\cdot g)=\ldots x_2 x_1 g(x)\cdot g|_x$$ is a well-defined continuous map on the limit $G$-space ${\mathcal{X}_{G}}$ for every $x\in X$, which is not a homeomorphism in general. Inductively one defines $\tau_{x_1x_2\ldots
x_n}=\tau_{x_n}\circ\tau_{x_{n-1}}\circ\ldots\circ\tau_{x_1}$.

The image of ${X^{-\omega}}\times 1$ in ${\mathcal{X}_{G}}$ is called the *(digit) tile* ${\mathscr{T}}$ of the action. The image of ${X^{-\omega}}v\times 1$ for $v\in X^n$ is called the *tile* ${\mathscr{T}}_v$, equivalently ${\mathscr{T}}_v=\tau_v({\mathscr{T}})$. It follows directly from definition that $${\mathcal{X}_{G}}=\bigcup_{g\in G} {\mathscr{T}}\cdot g \ \ \ \ \mbox{ and } \ \ \ \ {\mathscr{T}}=\bigcup_{v\in X^n} {\mathscr{T}}_v.$$ Two tiles ${\mathscr{T}}\cdot g$ and ${\mathscr{T}}\cdot h$ intersect if and only if $gh^{-1}\in{\mathcal{N}}$. A contracting action $(G,X^*)$ satisfies the *open set condition* if for any element $g$ of the nucleus ${\mathcal{N}}$ there exists a word $v\in X^*$ such that $g|_v=1$, i.e. in the nucleus ${\mathcal{N}}$ there is a path from any vertex to the trivial state. If the action satisfies the open set condition then the tile ${\mathscr{T}}$ is the closure of its interior, and any two different tiles have disjoint interiors; otherwise every tile ${\mathscr{T}}\cdot g$ is covered by the other tiles (see Proposition 3.3.7 in [@self_sim_groups]).

The tile ${\mathscr{T}}$ and the partition of ${\mathcal{X}_{G}}$ on tiles ${\mathscr{T}}\cdot g$ depend on the specific self-similar action of the group $G$. However, up to homeomorphism the limit $G$-space ${\mathcal{X}_{(G,X^*)}}$ is uniquely defined by the associated virtual endomorphism $\phi$ of the group, hence we denote it by ${\mathcal{X}_{G}}(\phi)$ (or ${\mathcal{X}_{G}}$ for short).

\[theor\_limsX hom limsY\] Let $\phi: H\rightarrow G$ be a virtual endomorphism of the group $G$. Let $(G,X^*)$ and $(G,Y^*)$ be the contracting self-similar actions defined respectively by the triples $(\phi,T,C)$ and $(\phi,T',C')$. Then ${\mathcal{X}_{(G,X^*)}}$ and ${\mathcal{X}_{(G,Y^*)}}$ are homeomorphic and the homeomorphism is the map $\alpha : {\mathcal{X}_{(G,X^*)}} \longrightarrow {\mathcal{X}_{(G,Y^*)}}$ such that $$\alpha(\tau_x(t))=\tau_y(\alpha(t))\cdot s_x,\ \mbox{ for }\ t\in {\mathcal{X}_{(G,X^*)}},$$ where $s_x={h'}_y^{-1}\phi({g'}_y^{-1}g_x)h_x$ and $y$ is such that $g'_yg_x^{-1}\in H$.

The statement follows from Sections 2.1–2.5 in [@self_sim_groups].

**Limit dynamical system.** The factor of the limit $G$-space ${\mathcal{X}_{G}}$ by the action of the group $G$ is called the *limit space* ${\mathscr{J}_{G}}={\mathscr{J}_{G}}(\phi)$. It follows from the definition that we may also consider ${\mathscr{J}_{G}}$ as a factor of ${X^{-\omega}}$ by the following equivalence relation: two left-infinite sequences $\ldots x_2 x_1,\ldots y_2 y_1$ are equivalent if and only if there exists a left-infinite path $\ldots e_2 e_1$ in the nucleus ${\mathcal{N}}$ such that the edge $e_i$ is labeled by $(x_i,y_i)$. The limit space ${\mathscr{J}_{G}}$ is compact, metrizable, finite-dimensional space. It is connected if the group $G$ is finitely generated and acts transitively on $X^n$ for all $n$.

The equivalence relation on ${X^{-\omega}}$ is invariant under the shift $\sigma$, therefore $\sigma$ induces a continuous surjective map ${\mathsf{s}}:{\mathscr{J}_{G}}\rightarrow{\mathscr{J}_{G}}$, and every point of ${\mathscr{J}_{G}}$ has at most $|X|$ preimages under ${\mathsf{s}}$. The dynamical system $({\mathscr{J}_{G}},{\mathsf{s}})$ is called the *limit dynamical system* of the self-similar action.

The image of ${X^{-\omega}}v$ for $v\in X^{n}$ in ${\mathscr{J}_{G}}$ is called the *tile* ${\mathsf{T}}_v$ of the $n$-th level. Clearly $${\mathsf{T}}_v=\bigcup_{x\in X}{\mathsf{T}}_{xv}\qquad\mbox{ and }\qquad {\mathsf{s}}({\mathsf{T}}_{vx})={\mathsf{T}}_v$$ for every $v\in X^{*}$ and $x\in X$. Two tiles ${\mathsf{T}}_v$ and ${\mathsf{T}}_u$ of the same level have nonempty intersection if and only if there exists $h\in{\mathcal{N}}$ such that $h(v)=u$. Under the open set condition, every tile ${\mathsf{T}}_v$ is the closure of its interior, and any two different tiles of the same level have disjoint interiors (Proposition 3.6.5 in [@self_sim_groups]). It will be used in the next section that $$\label{eqn_diam_tile_goes_zero}
\lim_{n\rightarrow\infty} \max_{v\in X^n} \rm{diam} ({\mathsf{T}}_v)=0$$ for any chosen metric on the limit space ${\mathscr{J}_{G}}$ (see Theorem 3.6.9 in [@self_sim_groups]).

The inverse limit of the topological spaces ${\mathscr{J}_{G}}\stackrel{{\mathsf{s}}}{\leftarrow} {\mathscr{J}_{G}}\stackrel{{\mathsf{s}}}{\leftarrow} \cdots$ is called the *limit solenoid* ${\mathcal{S}_{G}}$. One can consider ${\mathcal{S}_{G}}$ as a factor of the space ${X^{\mathbb{Z}}}$ of two-sided infinite sequences by the equivalence relation, where two sequences $\xi,\eta$ are equivalent if and only if there exist a two-sided infinite path in the nucleus labeled by the pair $(\xi,\eta)$. The two-sided shift on ${X^{\mathbb{Z}}}$ induces a homeomorphism ${\mathsf{e}}:{\mathcal{S}_{G}}\rightarrow{\mathcal{S}_{G}}$.

Consider a simple example to illustrate the main notions of this section (see [@self_sim_groups Chapter 6] for many other examples).

**Example.** Consider the transformation $a$ of the space $X^{*}$ over the binary alphabet $X=\{0,1\}$ defined recursively by the rule $$\begin{aligned}
a(0w)=1w \quad \mbox{ and }\quad a(1w)=0a(w)\end{aligned}$$ for $w\in X^{*}$. The action of $a$ on the space $X^{*}$ corresponds to addition of one in the binary numeration system, and therefore the transformation $a$ is called the (binary) *adding machine*. Indeed, $a(x_1x_2\ldots x_n)=y_1y_2\ldots y_n$ for $x_i,y_i\in X$ if and only if $$1+x_1+2x_2+\ldots +2^{n-1}x_n=y_1+2y_2+\ldots+2^{n-1}y_n \mod 2^{n}.$$

The group generated by $a$ is the infinite cyclic group, and we have a self-similar action of the group ${\mathbb{Z}}\cong\langle a\rangle$ on the space $X^{*}$. This action corresponds to the virtual endomorphism $\phi:2{\mathbb{Z}}\rightarrow{\mathbb{Z}}$ given by $\phi(m)=m/2$ and the coset transversal $T=\{0,1\}$ (there is no need to specify the cocycle for abelian groups). The nucleus of the action $({\mathbb{Z}},X^{*})$ is shown in Figure \[fig\_AddingMachine\]. It follows that two sequences in ${X^{-\omega}}\times {\mathbb{Z}}$ are asymptotically equivalent if and only if they are of the form $$\ldots 000\cdot a^{n+1} \approx \ldots 111\cdot a^n \quad \mbox{or} \quad \ldots 001w\cdot a^n
\approx \ldots 110w\cdot a^n$$ for $w\in X^{*}$ and $n\in{\mathbb{Z}}$. This is the usual identification of binary expansions of real numbers (but written to the left). Hence the map $\Phi$ given by the rule $$\Phi(\ldots x_2x_1\cdot a^n)=n+\sum_{i=1}^{\infty} \frac{x_i}{2^i},\quad x_i\in X \mbox{ and }
n\in{\mathbb{Z}},$$ induces a homeomorphism between the limit $G$-space ${\mathcal{X}_{({\mathbb{Z}},X^{*})}}$ and the real line $\mathbb{R}$ with the standard action of ${\mathbb{Z}}$ by translations. The image of the tile ${\mathscr{T}}$ under $\Phi$ is the unit interval $[0,1]$. The limit space ${\mathscr{J}_{({\mathbb{Z}},X^{*})}}$ is homeomorphic to the unit circle.

Self-similar measures on limit spaces {#section_Measures}
=====================================

Let us fix a contracting self-similar action $(G,X^*)$.\
**Invariant measure on the limit $G$-space ${\mathcal{X}_{G}}$**. We consider the uniform Bernoulli measure $\mu_u$ on the space ${X^{-\omega}}$ and the counting measure on the group $G$, and we put the product measure on the space ${X^{-\omega}}\times G$. The push-forward of this measure under the factor map $\pi_{{\mathcal{X}_{}}}:{X^{-\omega}}\times G\rightarrow{\mathcal{X}_{G}}$ defines the *measure $\mu$ on the limit $G$-space* ${\mathcal{X}_{G}}$. The measure $\mu$ is a $G$-invariant $\sigma$-finite regular Borel measure on ${\mathcal{X}_{G}}$.

\[prop\_measure lims propert\] The measures of tiles have the following properties.

1.  $\mu({\mathscr{T}}_v)= |X|^n\cdot\mu({\mathscr{T}}_{uv})$ for every $v\in X^{*}$ and $u\in X^n$.

2.  $\mu({\mathscr{T}}_v\cap{\mathscr{T}}_{v'})=0$ for $v,v'\in X^n, v\neq v'$.

3.  Let $\mu|_{{\mathscr{T}}}$ be the measure $\mu$ restricted to the tile ${\mathscr{T}}$. Then $$\mu|_{{\mathscr{T}}}(A)=\sum_{x\in X} \frac{1}{|X|}\mu|_{{\mathscr{T}}}(\tau_x^{-1}(A))$$ for any Borel set $A\subset{\mathscr{T}}$.

Let us show that $\mu(A)\geq |X|\mu(\tau_x(A))$ for any Borel set $A$. Consider sequences which represent points of the sets $A$ and $\tau_x(A)$: $$\pi^{-1}_{{\mathcal{X}_{}}}(A)=\bigcup_{g\in G}T_g\cdot g \ \ \Rightarrow \ \
\pi^{-1}_{{\mathcal{X}_{}}}(\tau_x(A))=\bigcup_{g\in G}T_g g(x)\cdot g|_x.$$ It implies $$\mu(\tau_x(A))\leq \sum_{g\in G} \frac{1}{|X|}\mu_u (T_g)=\frac{1}{|X|}\mu(A).$$

By applying this inequality $n$ times we get $|X|^n\mu({\mathscr{T}}_v)=|X|^n\mu(\tau_v({\mathscr{T}}))\leq\mu({\mathscr{T}})$ for $v\in{X}^n$. Since ${\mathscr{T}}=\cup_{u\in
X^n}{\mathscr{T}}_{u}$ we have that $$\mu({\mathscr{T}})\leq\sum_{u\in X^n}\mu({\mathscr{T}}_{u})\leq\sum_{u\in X^n}\frac{1}{|X|^n}\mu({\mathscr{T}})=\mu({\mathscr{T}}).$$ Hence all the above inequalities are actually equalities, $\mu({\mathscr{T}})=|X|^n\mu({\mathscr{T}}_{u})$ for every $u\in X^n$, and $\mu({\mathscr{T}}_u\cap{\mathscr{T}}_{u'})=0$ for different $u,u'\in X^n$.

Notice that since every Borel set $A\subset{\mathscr{T}}$ can be approximated by unions of tiles of the same level and using items 1 and 2 we have that if $\mu(\tau_x(A))<\varepsilon$ then $\mu(A)<\varepsilon|X|$.

It is left to prove item 3. First, let us show that the assertion holds for the tiles ${\mathscr{T}}_v$. Since the measure $\mu|_{{\mathscr{T}}}$ is concentrated on the tile ${\mathscr{T}}$, up to sets of measure zero the set $\tau_x^{-1}({\mathscr{T}}_v)$ is equal ${\mathscr{T}}_u$ if $v=ux$, and is empty if the last letter of $v$ is not $x$. Really, if $t\in\tau_x^{-1}({\mathscr{T}}_{ux})$ and $t\in{\mathscr{T}}_v$ with $v\neq u, |v|=|u|$, then $\tau_x(t)\in{\mathscr{T}}_{vx}\cap{\mathscr{T}}_{ux}$ and the measure of such points is zero. Hence $$\mu|_{{\mathscr{T}}}({\mathscr{T}}_v)=\frac{1}{|X|}\mu|_{{\mathscr{T}}}({\mathscr{T}}_u)=\sum_{x\in X}
\frac{1}{|X|}\mu|_{{\mathscr{T}}}(\tau_x^{-1}({\mathscr{T}}_v)).$$ Now we can approximate any Borel set by unions of tiles and pass to the limit.

The tile ${\mathscr{T}}$ of the limit $G$-space ${\mathcal{X}_{G}}$ can be considered as the attractor of the iterated function system $\tau_x$, $x\in X$, i.e. $${\mathscr{T}}=\bigcup_{x\in X}\tau_x({\mathscr{T}}).$$ Hence Proposition \[prop\_measure lims propert\] item 3 implies that $\mu|_{{\mathscr{T}}}$ is the self-similar measure on ${\mathscr{T}}$ by the standard definition of Hutchinson (\[eqn\_self\_similar\_measure\]). The measure $\mu$ is the $G$-invariant extension of the self-similar measure $\mu|_{{\mathscr{T}}}$ to the limit $G$-space ${\mathcal{X}_{G}}$.

Let us show how to find the measure of the tile ${\mathscr{T}}$. Let ${\mathcal{N}}$ be the nucleus of the action $(G,X^*)$ identified with its Moore diagram. Replacing each label $(x,y)$ by label $x$ in the nucleus ${\mathcal{N}}$ we get a strictly right-resolving graph denoted ${\Gamma}_{{\mathcal{N}}}$ labeled by elements of $X$, so that we can apply the methods developed in Section 2.

\[theor\_tile\_measure\] The measure $\mu({\mathscr{T}})$ is equal to the measure number ${meas}({\Gamma}_{\mathcal{N}})$ of the nucleus, in particular it is always integer. Moreover, $\mu({\mathscr{T}})=1$ if and only if the action satisfies the open set condition.

By Proposition \[prop\_asympt\_Moore\_diagr\] we have $$\pi^{-1}_{{\mathcal{X}_{}}}({\mathscr{T}})=\bigcup_{g\in{\mathcal{N}}}F_g\cdot g^{-1},$$ where the sets $F_g$ are defined using the graph ${\Gamma}_{\mathcal{N}}$ (see Section 2). Thus $$\mu({\mathscr{T}})=\sum_{g\in{\mathcal{N}}}\mu_u(F_g)={meas}({\mathcal{N}}),$$ which is integer by Theorem \[theor\_measure\_graph\_integer\]. Observe that $\mu({\mathscr{T}})\geq 1$ because $F_g={X^{-\omega}}$ for $g=1\in{\mathcal{N}}$.

If the action satisfies the open set condition then $\mu({\mathscr{T}})={meas}({\Gamma}_{\mathcal{N}})=1$ by Corollary \[cor\_meas\_sum\_meas\].

Suppose now that the action does not satisfy the open set condition. Then there exists an element $h$ of the nucleus, whose all restrictions are non-trivial. Let ${\mathcal{N}}_1$ be the set of all restrictions of $h$, and ${\Gamma}_{{\mathcal{N}}_1}$ be the corresponding graph. Then by Proposition \[prop cup B\_v eq cup F\_v\] $$\sum_{g\in{\mathcal{N}}_1}\mu_u(F_g)={meas}({\Gamma}_{{\mathcal{N}}_1})\geq 1.$$ Thus $\mu({\mathscr{T}})=\sum_{g\in{\mathcal{N}}}\mu_u(F_g)\geq {meas}({\Gamma}_{{\mathcal{N}}_1})+\mu_u(F_{g=1})\geq 2$.

The measure $\mu({\mathscr{T}})={meas}({\Gamma}_{{\mathcal{N}}})$ can be found algorithmically using the remarks after Proposition \[prop\_eigenvect\_transition\_matr\].

The next proposition shows that the covering ${\mathcal{X}_{G}}=\cup_{g\in G}{\mathscr{T}}\cdot g$ is a perfect multiple covering of multiplicity $\mu({\mathscr{T}})$.

\[points\_above\] Every point $x\in{\mathcal{X}_{G}}$ is covered by at least $\mu({\mathscr{T}})$ tiles. The set $\dot{{\mathcal{X}_{G}}}$ of all points $x\in{\mathcal{X}_{G}}$, which are covered by exactly $\mu({\mathscr{T}})$ tiles, is open and dense in ${\mathcal{X}_{G}}$, and its complement has measure $0$.

For each $x\in{\mathcal{X}_{G}}$ we define the number $n_x$ of such $g\in G$ that the tile ${\mathscr{T}}\cdot g$ contains $x$.

First we prove the inequality. Let $x\in{\mathcal{X}_{G}}$ be represented by the pair $w\cdot g$ from ${X^{-\omega}}\times G$. Then $|V(w)|\geq{meas}({\Gamma}_{\mathcal{N}})$ by Theorem \[theor\_measure\_graph\_integer\]. If $h\in V(w)$ it means that the sequence $w$ ends in $h$, which by Proposition \[prop\_asympt\_Moore\_diagr\] means that there is a sequence $u_h\in{X^{-\omega}}$ such that $w$ is asymptotically equivalent to $u_h\cdot h$. It follows that $w\cdot g$ is asymptotically equivalent to $u_h\cdot hg$. It means, in turn, that $x$ belongs to the tile ${\mathscr{T}}\cdot hg$ for every $h\in V(w)$. It follows that $n_x\geq{meas}({\Gamma}_{\mathcal{N}})$.

Consider the set $\mathcal{O}=\mathcal{O}({\Gamma}_{\mathcal{N}})$ defined in Lemma \[lemma\_set V open dense\] using the graph ${\Gamma}_{\mathcal{N}}$, in other words $\mathcal{O}$ is the set of all $w\in{X^{-\omega}}$ that end in precisely ${meas}({\Gamma}_{\mathcal{N}})$ elements of ${\mathcal{N}}$. By the same considerations as above we see that if $w\cdot g$ represents a point $x$ with $n_x={meas}({\Gamma}_{\mathcal{N}})$ then $|V(w)|={meas}({\Gamma}_{\mathcal{N}})$, that is, $w$ belongs to $\mathcal{O}$. In other words, the set $\mathcal{O}\times G$ is closed under the asymptotic equivalence relation on ${X^{-\omega}}\times G$, and it is the inverse image of the set $\dot{{\mathcal{X}_{G}}}$ under the factor map $\pi_{{\mathcal{X}_{}}}$. Since the set $\mathcal{O}\times G$ is open and dense in ${X^{-\omega}}\times G$ by Lemma \[lemma\_set V open dense\], the same hold for $\dot{{\mathcal{X}_{G}}}$ in ${\mathcal{X}_{G}}$. The complement of $\dot{{\mathcal{X}_{G}}}$ has measure $0$, because the complement of the set $\mathcal{O}$ has measure $0$ by Lemma \[lemma\_set V open dense\].

Let $\partial{\mathscr{T}}$ be the boundary of ${\mathscr{T}}$. Then $\mu(\partial{\mathscr{T}})=0$.

Take $x\in\partial{\mathscr{T}}$. Suppose that $x$ is covered by exactly $k=\mu({\mathscr{T}})$ tiles. Let $U\subset\dot{{\mathcal{X}_{G}}}$ be the neighborhood of $x$ which intersects with finitely many tiles, say with $l\geq k$ tiles. By subtracting any tile that does not contain $x$ we may suppose that $l=k$, that is, $U$ has nonempty intersection only with those tiles that contain $x$. Now, since $x$ is in the boundary of ${\mathscr{T}}$, there is a point $x'$ in $U$ that is not covered by ${\mathscr{T}}$ (otherwise $x\in U\subset{\mathscr{T}}$), thus $x'$ is covered by less than $k$ tiles, contradiction. Hence $\partial{\mathscr{T}}$ is in the complement of $\dot{{\mathcal{X}_{G}}}$ and has measure $0$.

\[rem\_meas\_inters\_tiles\] Two tiles ${\mathscr{T}}\cdot g_1$ and ${\mathscr{T}}\cdot g_2$ for $g_1,g_2\in G$ have nonempty intersection if and only if $g_1g_2^{-1}\in{\mathcal{N}}$. Let us show how to find the measure of this intersection. By Proposition \[prop\_asympt\_Moore\_diagr\] we have $$\begin{aligned}
\pi^{-1}_{{\mathcal{X}_{}}}(({\mathscr{T}}\cdot g_1)\cap ({\mathscr{T}}\cdot g_2))=\bigcup_{{\scriptsize\begin{array}{c}
                              h_1,h_2\in{\mathcal{N}}\\
                              g_1g_2^{-1}=h_1h_2^{-1}
                            \end{array}}}
(F_{h_1}\cap F_{h_2})\cdot h_1^{-1}g_1,\end{aligned}$$ where the sets $F_g$ are defined using the nucleus ${\mathcal{N}}$. The word problem in contracting self-similar groups is solvable in polynomial time [@self_sim_groups Proposition 2.13.10] (one can use the program package [@AutomGrp]). The measures of intersections $F_{h_1}\cap F_{h_2}$ can be found for example using method described after Corollary \[cor\_meas\_gr\_rational\].

The measure $\mu=\mu_{(G,X^{*})}$ on the limit $G$-space ${\mathcal{X}_{G}}$ was defined using the specific self-similar action $(G,X^{*})$ of the group $G$. Let us show that actually this measure depends only on the associated virtual endomorphism $\phi$, as the limit $G$-space itself. It allows us to consider the measure space $({\mathcal{X}_{G}}(\phi),\mu)$ independently of the self-similar action. At the same time, the measure $\mu({\mathscr{T}})$ may vary for different self-similar actions as the nucleus does. It is an interesting open question in what cases we can always choose a self-similar action which satisfies the open set condition (see [@mult_an_self_sim; @lag_wang:haar] for the abelian case and applications to wavelets).

\[theor\_measure\_limGs\_invariant\] Let $\phi: H\rightarrow G$ be a virtual endomorphism of the group $G$. Let $(G,X^*)$ and $(G,Y^*)$ be the contracting self-similar actions defined respectively by the triples $(\phi,T,C)$ and $(\phi,T',C')$. Then the homeomorphism $\alpha : {\mathcal{X}_{(G,X^*)}}\longrightarrow {\mathcal{X}_{(G,Y^*)}}$ from Theorem \[theor\_limsX hom limsY\] preserves measure, i.e. $$\mu_{(G,Y^*)}(\alpha(A))=\mu_{(G,X^*)}(A)$$ for any Borel set $A$.

Let ${\mathcal{N}}$ be the nucleus and ${\mathscr{T}}$ be the tile of the action $(G,X^{*})$. By Theorem \[theor\_tile\_measure\] and Theorem \[theor\_measure\_graph\_integer\] $$\label{eqn_theor_meraXY_mu tile }
\mu_{(G,X^*)}({\mathscr{T}})={meas}({\Gamma}_{\mathcal{N}})=\min_{w\in{X^{-\omega}}} |V(w)|=k\in\mathbb{N},$$ where $V(w)$ is defined using the graph ${\Gamma}_{\mathcal{N}}$. Consider $$\pi_Y^{-1}(\alpha({\mathscr{T}}))=\bigcup_{g\in G} T_g\cdot g\quad (\mbox{here } T_g\subseteq Y^{-\omega}),$$ where $\pi_Y:Y^{-\omega}\times G\rightarrow {\mathcal{X}_{G}}$ is the canonical projection.

Take $w\in Y^{-\omega}$ and let us prove that there exist at least $k$ elements $g\in G$ such that $w\in T_g$. The tiles ${\mathscr{T}}\cdot g$ cover the limit $G$-space ${\mathcal{X}_{(G,X^*)}}$, and we can find $g\in G$ such that if $x=\alpha^{-1}(y)$ for $y=\pi_{Y}(w\cdot g)\in{\mathcal{X}_{(G,Y^*)}}$ then $x$ belongs to the tile ${\mathscr{T}}$. Then $x$ is represented by the sequence $u\cdot 1$ for $u\in{X^{-\omega}}$. Equation (\[eqn\_theor\_meraXY\_mu tile \]) implies $|V(u)|\geq k$ and so there exist $k$ elements $h_1,\ldots, h_k\in{\mathcal{N}}$ and sequences $u_1,\ldots,u_k\in{X^{-\omega}}$ such that for every $i$ there exists a left-infinite path in the nucleus ${\mathcal{N}}$ which ends in $h_i$ and is labeled by $(u,u_i)$. By Proposition \[prop\_asympt\_Moore\_diagr\] $$x=\pi_X(u\cdot 1)=\pi_X(u_i\cdot h_i)\quad\mbox{ and }\quad x\cdot h_i^{-1}\in{\mathscr{T}}$$ for every $i=1,\ldots, k$. Then $$\pi_Y(w\cdot gh_i^{-1})=\pi_Y(w\cdot g)h_i^{-1}=y\cdot h_i^{-1}=\alpha(x\cdot
h_i^{-1})\in\alpha({\mathscr{T}})$$ and thus $w\in T_{gh_i^{-1}}$ for all $i=1,\ldots, k$.

Let $\chi_{T_g}$ be the characteristic function of the set $T_g$. Then $\sum_{g\in
G}\chi_{T_g}(x)\geq k$ for almost all $x$. Integrating we get $\mu_{(G,Y^*)}(\alpha({\mathscr{T}}))=\sum_{g\in G} \mu_u(T_g)\geq k=\mu_{(G,X^*)}({\mathscr{T}})$.

Let us now show that $\mu_{(G,Y^*)}(\alpha({\mathscr{T}}_v))\leq\mu_{(G,X^*)}({\mathscr{T}}_v)$ for any $v\in X^*$. Indeed, let $n=|v|$, then it follows from Theorem \[theor\_limsX hom limsY\] that $\alpha({\mathscr{T}}_v)=\alpha(\tau_v({\mathscr{T}}))=\tau_u(\alpha({\mathscr{T}}))g$ for some word $u\in Y^n$ and $g\in
G$. Thus $$\begin{aligned}
\mu_{(G,Y^*)}(\alpha({\mathscr{T}}_v))&=&\mu_{(G,Y^*)}(\tau_u(\alpha({\mathscr{T}})))\leq\frac{1}{|X|^n}\mu_{(G,Y^*)}(\alpha({\mathscr{T}}))=\\
&=&\frac{1}{|X|^n}\mu_{(G,X^*)}({\mathscr{T}})=\mu_{(G,X^*)}({\mathscr{T}}_v).\end{aligned}$$

Let us prove that $\mu_{(G,Y^*)}\circ\alpha$ is absolutely continuous with respect to $\mu_{(G,X^*)}$. Indeed, let $\mu_{(G,X^*)}(A)<\varepsilon$, $\pi^{-1}_{X}(A)=\cup_g T_g\cdot g$. Then $\sum_g\mu_u(T_g)<\varepsilon$. It follows that there exist $v_{i,g}\in X^*$ such that $T_g\subset\cup_i{X^{-\omega}}v_{i,g}$ and $\sum_{i,g}|X|^{-|v_{i,g}|}<\varepsilon$. Then $A\subset\cup_{i,g}{\mathscr{T}}_{v_{i,g}}\cdot g$, and we have that $\sum_{i,g}\mu_{(G,X^*)}({\mathscr{T}}_{v_{i,g}})<\varepsilon\mu_{(G,X^*)}({\mathscr{T}})$. Then $\mu_{(G,Y^*)}(\alpha(A))\leq\sum\mu_{(G,Y^*)}(\alpha({\mathscr{T}}_{v_{i,g}}))\leq\sum\mu_{(G,X^*)}({\mathscr{T}}_{v_{i,g}})<\varepsilon\mu_{(G,X^*)}({\mathscr{T}})$. Since $\varepsilon$ is arbitrary, we are done.

We will now prove that $\mu_{(G,Y^*)}\circ\alpha\leq\mu_{(G,X^*)}$. Since both $\mu_{(G,Y^*)}\circ\alpha$ and $\mu_{(G,X^*)}$ are invariant under multiplication by $g\in G$ it suffices to prove this inequality for sets $A\subset{\mathscr{T}}$. Since any Borel $A$ is a union of a closed set and a set of arbitrarily small measure, it suffices to prove the inequality for closed sets, as $\mu_{(G,Y^*)}\circ\alpha$ is absolutely continuous with respect to $\mu_{(G,X^*)}$ by above.

So let $A\subset{\mathscr{T}}$ be a closed set. For each $n$, let $A_n$ be the union of all tiles ${\mathscr{T}}_v,v\in X^n,$ that have non-empty intersection with $A$. Let us show that $A=\cap_n A_n$. Suppose $x\in\cap A_n$, and $x$ is not in $A$. Then for each $n$ there is $v_n\in X^n$ such that ${\mathscr{T}}_{v_n}$ has nonempty intersection with $A$ and $x\in{\mathscr{T}}_{v_n}$. It follows that $x$ has some representation $u_nv_n\in{X^{-\omega}}$. Since the number of such representations is finite, we may choose subsequence $n_k$ such that $v_{n_k}$ is the beginning of some word $v\in{X^{-\omega}}$. Since $A$ is compact it follows that $A$ has nonempty intersection with $\cap_k{\mathscr{T}}_{v_{n_k}}$, thus $\cap_k{\mathscr{T}}_{v_{n_k}}$ contains at least two points, which is impossible.

Since $A_n$ is the union of some tiles of level $n$, which are disjoint up to sets of measure $0$, the inequality also holds for all $A_n$. Going to the limit, we get the inequality for $A$.

By interchanging $X$ and $Y$ we get the reverse inequality, and we are done.

It is important in the theorem that we take the uniform Bernoulli measure on ${X^{-\omega}}$. The problem is that the homeomorphism $\alpha$ may change the Bernoulli measure with a non-uniform weight to a measure that is not Bernoulli.

**Self-similar measure on the limit space ${\mathscr{J}_{G}}$**. The push-forward of the uniform Bernoulli measure $\mu_u$ under the factor map $\pi_{{\mathscr{J}_{}}}:{X^{-\omega}}\rightarrow{\mathscr{J}_{G}}$ defines the *self-similar measure ${\mathsf{m}}$ on the limit space* ${\mathscr{J}_{G}}$. The measure ${\mathsf{m}}$ is a regular Borel probability measure on ${\mathscr{J}_{G}}$. The shift ${\mathsf{s}}$ is a measure-preserving transformation of ${\mathscr{J}_{G}}$.

Consider the set $\mathcal{U}=\mathcal{U}({\mathcal{N}})$ of all sequences $w\in{X^{-\omega}}$ with the property that every left-infinite path in the nucleus ${\mathcal{N}}$ labeled by $(w,w)$ ends in $1$. Define $\mathcal{U}^*$ as the set of finite words that satisfy the same condition.

\[lemma U\_open\_dense\_meas1\] The set $\mathcal{U}$ is open and dense in ${X^{-\omega}}$, and $\mu_p(\mathcal{U})=1$. For each $w\in
\mathcal{U}$ there is a beginning of $w$ that belongs to $\mathcal{U}^*$, and $\mathcal{U}=\cup_{w\in\mathcal{U}^*}{X^{-\omega}}w$.

The sets $\mathcal{U}$ and $\mathcal{U}\times G$ are closed under the asymptotic equivalence relation on ${X^{-\omega}}$ and ${X^{-\omega}}\times G$ respectively.

Construct the graph ${\Gamma}$ with the elements of ${\mathcal{N}}$ as vertices, for each edge labeled by $(x,x)$ in ${\mathcal{N}}$ we have the edge in ${\Gamma}$ with the same starting and end vertices, and labeled by $x$; and for each edge in ${\mathcal{N}}$ labeled by $(x,y)$ for $x\neq y$ there is an edge in ${\Gamma}$ with the same starting vertex that ends in the trivial element and labeled by $x$. Then the set $\mathcal{U}$ coincides with the set $\mathcal{O}({\Gamma})$. Indeed, $h\in V_{{\Gamma}}(w)$ if and only if there is a path in ${\mathcal{N}}$ labeled by $(w,w)$ that ends in $h$, thus $w\in\mathcal{U}$ if and only if $V_{{\Gamma}}(w)=\{1\}$. For every nontrivial element $h\in{\mathcal{N}}$ there exists a word $v\in X^{*}$ such that $h(v)\neq v$. It follows that there exists a path in the graph ${\Gamma}$ from $h$ to $1$. Hence the component $\{1\}$ is the only strongly connected component of the graph ${\Gamma}$ without outgoing edges. By Corollary \[cor\_meas\_sum\_meas\] the measure number of ${\Gamma}$ is $1$, and $\mathcal{U}=\mathcal{O}({\Gamma})$. The first statement of the lemma now follows from Lemma \[lemma\_set V open dense\].

Let us show that the set $\mathcal{U}$ is closed under the asymptotic equivalence relation (then the set $\mathcal{U}\times G$ is also closed). It is sufficient to show that if there is a path in ${\mathcal{N}}$ labeled by $(u,v)$ and $u\in\mathcal{U}$ ($v\in\mathcal{U}$) then $v\in\mathcal{U}$ ($u\in\mathcal{U}$). Let the path in ${\mathcal{N}}$ labeled by $(u,v)$ end in $h$. It follows that $u$ is asymptotically equivalent to $v\cdot h$. Suppose there is a path in ${\mathcal{N}}$ labeled by $(v,v)$ that ends in $g$. It follows that $v$ is asymptotically equivalent to $v\cdot g$. Thus $u$ is asymptotically equivalent to $v\cdot gh$ which is asymptotically equivalent to $u\cdot h^{-1}gh$. By definition, there is a path in ${\mathcal{N}}$ labeled by $(u,u)$ which ends in $h^{-1}gh$. Since $u\in\mathcal{U}$ we get $h^{-1}gh=1$, thus $g=1$.

\[prop\_measure\_prop\_lims\] Almost every point of ${\mathscr{J}_{G}}$ has precisely $|X|$ preimages under ${\mathsf{s}}$.

Since every point of ${\mathscr{J}_{G}}$ has at most $|X|$ preimages under ${\mathsf{s}}$, it is enough to show that for almost every $w\in{X^{-\omega}}$ the map $\pi_{{\mathscr{J}_{}}}:\sigma^{-1}(w)\rightarrow{\mathsf{s}}^{-1}(\pi_{{\mathscr{J}_{}}}(w))$ is one-to-one. Suppose that for some $w\in{X^{-\omega}}$ and $x\neq y$ in $X$ we have $\pi_{{\mathscr{J}_{}}}(wx)=\pi_{{\mathscr{J}_{}}}(wy)$. It follows that $wx,wy$ are asymptotically equivalent, thus there is a left-infinite path in ${\mathcal{N}}$ labeled by $(wx,wy)$. It follows that the prefix of this path labeled by $(w,w)$ must end in the nontrivial element, so $w\not\in\mathcal{U}$. Since $\mu_u(\mathcal{U})=1$ by Lemma \[lemma U\_open\_dense\_meas1\], we are done.

The definition of the measure ${\mathsf{m}}$ uses encoding of ${\mathscr{J}_{G}}$ by sequences ${X^{-\omega}}$. At the same time the space ${\mathscr{J}_{G}}$ is defined as the space of obits ${\mathcal{X}_{G}}/G$. Let us show that we can recover $({\mathscr{J}_{G}},{\mathsf{m}})$ from the measure space $({\mathcal{X}_{G}},\mu)$.

\[x\_j\_homeo\] Let $\rho$ be the factor map ${\mathcal{X}_{G}}\rightarrow{\mathscr{J}_{G}}$. Then for any $u\in\mathcal{U}^*$ the restriction $\rho|_{{\mathscr{T}}_u}:{\mathscr{T}}_u\rightarrow{\mathsf{T}}_u$ is a homeomorphism, $\rho^{-1}({\mathsf{T}}_u)=\sqcup_{g\in G}{\mathscr{T}}_u\cdot g$.

By definition, the map $\rho|_{{\mathscr{T}}_u}:{\mathscr{T}}_u\rightarrow{\mathsf{T}}_u$ is surjective, and ${\mathscr{T}}_u$ is compact. Hence in order to prove that $\rho$ is a homeomorphism it is left to show that $\rho$ is injective on ${\mathscr{T}}_u$. Take $x,y\in{\mathscr{T}}_u$, and let $wu\in{X^{-\omega}}$ represent $x$ and $vu\in{X^{-\omega}}$ represent $y$. Suppose that $\rho(x)=\rho(y)$. By Proposition \[prop\_asympt\_Moore\_diagr\] it means that there is a left-infinite path in ${\mathcal{N}}$ labeled by $(wu,vu)$. Since $u\in\mathcal{U}^*$, this path must end in $1$. It follows, that $wu$ and $vu$ represent the same point of the tile ${\mathscr{T}}_u$, and $x=y$.

To prove the second claim, take $x\in{\mathscr{T}}_u\cdot g\cap{\mathscr{T}}_u\cdot g'$. Then $x$ is represented by two asymptotically equivalent sequences $wu\cdot g$ and $w'u\cdot g'$. It follows that there is a path in the nucleus ${\mathcal{N}}$ labeled by $(u,u)$ which ends in $g'g^{-1}$. Then $g=g'$ since $u\in\mathcal{U}^*$.

The projection ${\mathcal{X}_{G}}\rightarrow{\mathscr{J}_{G}}$ is a covering map up to sets of measure zero.

Consider the sets $\tilde{{\mathcal{X}_{G}}}=\pi_{{\mathcal{X}_{}}}(\mathcal{U}\times G)$ and $\tilde{{\mathscr{J}_{G}}}=\pi_{{\mathscr{J}_{}}}(\mathcal{U})$. It follows that $\tilde{{\mathcal{X}_{G}}}/G=\tilde{{\mathscr{J}_{G}}}$. Since the set $\mathcal{U}$ has measure $1$ by Lemma \[lemma U\_open\_dense\_meas1\], the complements of $\mathcal{U}\times G$, of $\tilde{{\mathcal{X}_{G}}}$, and of $\tilde{{\mathscr{J}_{G}}}$ have measure $0$.

Since the group $G$ acts properly on ${\mathcal{X}_{G}}$, the same holds for $\tilde{{\mathcal{X}_{G}}}$. It is left to prove the freeness. Suppose $x\cdot g=x$ for $x\in\tilde{{\mathcal{X}_{G}}}$ and $g\in G$. Let $u\cdot h$ be a representative of $x$ in ${X^{-\omega}}\times G$. It follows that $u\cdot hg$ is asymptotically equivalent to $u\cdot h$, thus there is a path in ${\mathcal{N}}$ labeled by $(u,u)$ that ends in $h^{-1}gh$. Since $u\in\mathcal{U}$ we have $g=1$.

Hence the projection $\tilde{{\mathcal{X}_{G}}}\rightarrow\tilde{{\mathscr{J}_{G}}}$ is a covering map, and the statement follows.

Let $({\mathcal{X}_{}},\nu)$ be a locally compact measure space, the group $G$ acts freely and properly discontinuously on ${\mathcal{X}_{}}$ by homeomorphisms, and the measure $\nu$ is $G$-invariant. There is a unique measure $\nu_{*}$ on the quotient space ${\mathcal{X}_{}}/G$, called the *quotient measure*, with the property that if $U$ is an open subset of ${\mathcal{X}_{}}$ such that $Ug\cap Uh=\emptyset$ for all $g,h\in G$, $g\neq h$, then $\nu_{*}(U/G)=\nu(U)$.

The quotient measure $\mu_{*}$ of the limit $G$-space $({\mathcal{X}_{G}},\mu)$ coincides with the measure ${\mathsf{m}}$ on the limit space ${\mathscr{J}_{G}}$.

Consider the sets $\tilde{{\mathscr{J}_{G}}}$ and $\tilde{{\mathcal{X}_{G}}}$ of full measure from the previous theorem. For every $u\in\mathcal{U}^*$ we have ${\mathsf{T}}_u\subset\tilde{{\mathscr{J}_{G}}}$, ${\mathscr{T}}_u\cdot
g\subset\tilde{{\mathcal{X}_{G}}}$ for every $g\in G$, and $\rho^{-1}({\mathsf{T}}_u)=\bigsqcup_{g\in G} {\mathscr{T}}_u\cdot g$ by Proposition \[x\_j\_homeo\]. Since $\tilde{{\mathscr{J}_{G}}}=\cup_{u\in\mathcal{U}^*}{\mathsf{T}}_u$ by Lemma \[lemma U\_open\_dense\_meas1\] it suffices to show that for any $u\in\mathcal{U}^*$ the restriction of $\mu_{*}$ on ${\mathsf{T}}_u$ is equal to the restriction of ${\mathsf{m}}$. Take a Borel set $A\subset{\mathscr{T}}_u$ and consider its preimage $\pi^{-1}_{{\mathcal{X}_{}}}(A)=\sqcup_{g\in{\mathcal{N}}} A_g\cdot g$. Then $\pi^{-1}_{{\mathscr{J}_{}}}(\rho(A))=\sqcup_{g\in{\mathcal{N}}} A_g$. Here the union is disjoint because if $w\in{A_g\cap{}A_h}$ then $w\cdot g$ and $w\cdot h$ are asymptotically equivalent to $vu$ and $v'u$ respectively, for some $v,v'\in{X^{-\omega}}$. It follows that $vu\cdot g^{-1}$ is equivalent to $v'u\cdot
h^{-1}$. Since $u\in\mathcal{U}$, $g=h$. Hence $${\mathsf{m}}(\rho(A))=\mu_u(\pi^{-1}_{{\mathscr{J}_{}}}(\rho(A)))=\mu_u(\sqcup_{g\in{\mathcal{N}}}
A_g)=\sum_{g\in{\mathcal{N}}}\mu_u(A_g).$$ By the property of the quotient measure $$\mu_{*}(\rho(A))=\mu(A)=\sum_{g\in{\mathcal{N}}}\mu_u(A_g)={\mathsf{m}}(\rho(A)).$$

Theorem \[theor\_measure\_limGs\_invariant\] holds for the limit space ${\mathscr{J}_{G}}$, i.e. the measure space $({\mathscr{J}_{G}},{\mathsf{m}})$ depends only on the associated virtual endomorphism.

${\mathsf{m}}({\mathsf{T}}_u)=\mu({\mathscr{T}}_u)=\frac{1}{|X|^{|u|}}{meas}({\mathscr{T}})$ for $u\in\mathcal{U}^*$.

\[theor\_lims\_conju\_Bernoulli\] $({\mathscr{J}_{G}},{\mathsf{s}},{\mathsf{m}})$ is conjugate to the one-sided Bernoulli $|X|$-shift.

We will use notions and results from [@hoffman:Bernoulli]. First recall that a measure preserving map with entropy $\log{d}$ is called [*uniformly $d$-to-one endomorphism*]{} if it is almost everywhere $d$-to-one and the conditional expectation of each preimage is $1/d$. The standard example is $({X^{-\omega}},\sigma,\mu_u)$, which is uniformly $|X|$-to-one. Next we want to show that $({\mathscr{J}_{G}},{\mathsf{s}},{\mathsf{m}})$ is also uniformly $|X|$-to-one. By Proposition \[prop\_measure\_prop\_lims\] the map $\pi:{X^{-\omega}}\rightarrow{\mathscr{J}_{G}}$ is injective on the preimages $\sigma^{-1}(w)$ for almost all $w\in{X^{-\omega}}$, that is, $\pi$ is [*tree adapted*]{} in terminology of [@hoffman:Bernoulli]. We can apply Lemma 2.3 from [@hoffman:Bernoulli], which says that a tree adapted factor of a uniform $d$-to-one endomorphism is again uniform $d$-to-one endomorphism. In particular, the shift ${\mathsf{s}}$ is the map of maximal entropy $\log |X|$.

To prove the theorem, we use the following Theorem 5.5 in [@hoffman:Bernoulli].

A uniform $d$-to-one endomorphism $(Y,S,\mu)$ is one-sidedly conjugated to the one-sided Bernoulli $d$-shift if and only if there exists a generating function $f$ so that $(Y,S,\mu)$ and $f$ are tree very weak Bernoulli.

Recall the definition of tree very weak Bernoulli and generating function. Let $(Y,S,\mu)$ be uniformly $d$-to-one and $f:Y\rightarrow{R}$ be a tree adapted function to a compact metric space $R$ with metric $D$. The function $f$ is called *generating* if the $\sigma$-algebra on $Y$ is generated by $S^{-i}f^{-1}(\mathcal{B}),i\geq{0}$, where $\mathcal{B}$ is the $\sigma$-algebra of Borel sets of the space $R$.

Informally, “tree very weak Bernoulli” means that for almost all pairs of points in $Y$ their trees of preimages are close. To give a formal definition note that since $S$ is uniformly $d$-to-one, for almost all points $y\in Y$ the set $S^{-k}(y)$ contains exactly $d^k$ points, i.e. the tree of preimages is a $d$-regular rooted tree. The set $\{1,\ldots, d\}^{*}$ of finite words over $\{1,\ldots,d\}$ can be considered as a $d$-regular rooted tree, where every word $v$ is connected with $vx$ for $x\in\{1,\ldots,d\}$, and the root is the empty word $\emptyset$. We can use the tree $\{1,\ldots, d\}^{*}$ to label the trees of preimages. For almost all points $y\in Y$ there is a map $T_y:\{1,\dots,d\}^*\rightarrow{Y}$ such that $T_y(\emptyset)=y$ and $T_y(\sigma(v))=S(T_y(v))$ for all nonempty words $v\in \{1,\dots,d\}^*$. Every map $T_y$ is tree adapted, and it is uniquely defined up to an automorphism of the tree $\{1,\dots,d\}^*$. Then $(Y,S,\mu)$ and $f$ are called [*tree very weak Bernoulli*]{} if for any $\varepsilon>0$ and all sufficiently large $n$ there is a set $W=W(\varepsilon,n)\subset Y$ with $\mu(W)>1-\varepsilon$ such that for any $y,y'\in{W}$ $$\label{} t_n(y,y')=\min_\psi \frac{1}{n}\sum_{v\in \{1,\dots,d\}^{*}, |v|\leq
n}d^{-|v|}D(f(T_y(v)),f(T_{y'}(\psi(v))))<\varepsilon,$$ where the minimum is taken over all automorphisms $\psi$ of the tree $\{1,\dots,d\}^*$. Notice that the definition of $t_n$ does not depend on the choice of $T_y$.

Let us show that $({\mathscr{J}_{G}},{\mathsf{s}},{\mathsf{m}})$ is tree very weak Bernoulli for the identity map $id:{\mathscr{J}_{G}}\rightarrow{\mathscr{J}_{G}}$. It immediately follows that $id$ is tree adapted and generating. Take a point $x\in{\mathscr{J}_{G}}$ and let $x$ be represented by some $w\in{X^{-\omega}}$. Define the map $T_x:X^{*}\rightarrow{\mathscr{J}_{G}}$ by the rule $T_x(v)=\pi(wv)$. It is enough to show that $
t_n(x,x')\rightarrow 0, n\rightarrow\infty, $ for almost all $x,x'\in{\mathscr{J}_{G}}$. Using (\[eqn\_diam\_tile\_goes\_zero\]) we can find $n_1$ such that $\max_{v\in
X^n}\rm{diam}({\mathsf{T}}_v)<\epsilon/2$ for all $n\geq n_1$. It means that $D(\pi(wv),\pi(w'v))<\epsilon/2$ for all $v,|v|\geq n_1$ (here $D$ is a fixed metric on the limit space ${\mathscr{J}_{G}}$). Thus, taking $\psi$ to be the identical tree automorphism, we have that $$t_n(x,x')<\frac{n_1}{n} \rm{diam}({\mathscr{J}_{G}})+\frac{n-n_1}{n}\frac{\epsilon}{2}<\frac{n_1}{n}
\rm{diam}({\mathscr{J}_{G}})+\frac{\epsilon}{2}<\epsilon$$ for $n>2n_1\rm{diam}({\mathscr{J}_{G}})/\epsilon$. Hence $({\mathscr{J}_{G}},{\mathsf{s}},{\mathsf{m}})$ and $id$ are tree very weak Bernoulli, which finishes the proof.

In the same way we introduce the measure ${\mathsf{m}}_{\mathsf{e}}$ on the limit solenoid ${\mathcal{S}_{G}}$ as the push-forward of the uniform Bernoulli measure on ${X^{\mathbb{Z}}}$. It is easy to see that $({\mathcal{S}_{G}},{\mathsf{e}},{\mathsf{m}}_{\mathsf{e}})$ is the inverse limit of dynamical systems $({\mathscr{J}_{G}},{\mathsf{s}},{\mathsf{m}})$ (see [@dyn_sysII page 27]). In particular, we get

$({\mathcal{S}_{G}},{\mathsf{e}},{\mathsf{m}}_{\mathsf{e}})$ is conjugate to the two-sided Bernoulli $|X|$-shift.

Applications and Examples {#section_Applictions}
=========================

**Invariant measures on nilpotent Lie groups.** Let $G$ be a finitely generated torsion-free nilpotent group. Let $\phi:H\rightarrow G$ be a contracting surjective virtual endomorphism such that the associated self-similar action is faithful (i.e. $\phi$-core($H$) is trivial in the terminology of [@sidki:virt_nilp]). Then $\phi$ is also injective by Theorem 1 in [@sidki:virt_nilp], thus $\phi$ is an isomorphism and we can apply Theorem 6.1.6 from [@self_sim_groups]. The group $G$ and its subgroup $H$ are uniform lattices of a simply connected nilpotent Lie group $L$ by Malcev’s completion theorem. The isomorphism $\phi:H\rightarrow G$ extends to a contracting automorphism $\phi_L$ of the Lie group $L$. There exists a $G$-equivariant homeomorphism $\Phi:{\mathcal{X}_{G}}\rightarrow L$ such that $\phi_L(\Phi(t))=\Phi(\tau_{x_0}(t)\cdot g_0)$ for every $t\in{\mathcal{X}_{G}}$ and fixed $x_0\in X$ and $g_0\in G$.

\[haar\] The push-forward $\Phi_*\mu$ of the measure $\mu$ on the limit $G$-space ${\mathcal{X}_{G}}$ is the (right) Haar measure on the Lie group $L$.

The measure $\Phi_*\mu$ is a non-zero regular Borel measure on $L$. It is left to prove that it is translation invariant. Since the measure $\mu$ is $G$-invariant and the map $\Phi$ is $G$-equivariant, the measure $\Phi_*\mu$ is $G$-invariant. By the property of the map $\Phi$ we have $\phi_L(\Phi(A))=\Phi(\tau_{x_0}(A))g_0$ for every Borel set $A\subset{\mathcal{X}_{G}}$. Notice that since the map $\phi$ is injective, we get $\mu(A)=|X|\mu(\tau_x(A))$ (see the proof of Proposition \[prop\_measure lims propert\]) and hence $\Phi_*\mu(B)=|X|\Phi_*\mu(\phi_L(B))$ for every Borel set $B\subset L$. It follows that the measure $\Phi_*\mu$ is $\cup_n
\phi_L^n(G)$-invariant. Since $\phi_L$ is contracting, the set $\cup_n \phi_L^n(G)$ is dense in the Lie group $L$. Hence $\Phi_*\mu$ is $L$-invariant.

The same observation holds in a more general setting of finitely generated virtually nilpotent groups (or under the conditions of Theorem 6.1.6).

**Lebesgue measure of self-affine tiles.** Let $A$ be an $n\times n$ integer expanding matrix, where expanding means that every eigenvalue has modulus $>1$. The lattice ${\mathbb{Z}}^n$ is invariant under $A$, and we can choose a coset transversal $D=\{d_1,\ldots,d_m\}$ for ${\mathbb{Z}}^n/A({\mathbb{Z}}^n)$, where $m=|det(A)|$. There exists a unique nonempty compact set $T=T(A,D)\subset\mathbb{R}^n$, called (standard) *integral self-affine tile*, satisfying $$A(T)=\bigcup_{d\in D} T+d.$$ The tile $T$ has positive Lebesgue measure, is the closure of its interior, and the union above is nonoverlapping (the sets have disjoint interiors) [@lag_wang:self_affine]. It is well known [@lag_wang:int_self_affine_I] that the tile $T$ has integer Lebesgue measure. The question how to find this measure is studied in [@lag_wang:int_self_affine_I; @he_hui:self_affine; @deng_he:int_self_affine], and finally answered in [@gab_yu:natur_til]. A related question how to find the measure of intersection $T\cap
(T+a)$ for $a\in\mathbb{Z}^n$ is studied in [@gab_yu:natur_til; @int_two_tiles]. Let us show how to answer these questions using the theory of self-similar groups.

The inverse of the matrix $A$ can be considered as the contracting virtual endomorphism $A^{-1}:
A({\mathbb{Z}}^n)\rightarrow{\mathbb{Z}}^n$ of the group ${\mathbb{Z}}^n$, which is actually an isomorphism so that we can apply the previous example of this section. Put $X=\{x_1,\ldots,x_m\}$ and let $(\mathbb{Z}^n,X^{*})$ be the self-similar contracting action defined by the virtual endomorphism $A^{-1}$, the coset transversal $D$, and the trivial cocycle $C=\{1,\ldots,1\}$ (see Section 3). The group ${\mathbb{Z}}^n$ is the uniform lattice in the Lie group $\mathbb{R}^n$. Hence by Theorem 6.1.6 in [@self_sim_groups] (see also Section 6.2 there) there exists a ${\mathbb{Z}}^n$-equivariant homeomorphism $\Phi:{\mathcal{X}_{{\mathbb{Z}}^n}}\rightarrow\mathbb{R}^n$ given by $$\Phi(\ldots x_{i_2} x_{i_1}\cdot g)=g+A^{-1}d_{i_1}+A^{-2}d_{i_2}+\ldots$$ for $i_j\in\{1,\ldots,m\}$ and $g\in{\mathbb{Z}}^n$. The image of the tile ${\mathscr{T}}$ is the self-affine tile $T$.

The push-forward $\Phi_*\mu$ of the measure $\mu$ on the limit $G$-space ${\mathcal{X}_{{\mathbb{Z}}^n}}$ is the Lebesgue measure $\lambda$ on $\mathbb{R}^n$.

The measure $\Phi_*\mu$ is the Haar measure on $\mathbb{R}^n$ by the above example. Since the Haar measure is unique up to multiplicative constant, we have that $\Phi_*\mu=c\lambda$ for some constant $c>0$ and we need to prove that $c=1$.

Recall that $\mu({\mathscr{T}})$ is integer by Proposition \[theor\_tile\_measure\], and almost every point of ${\mathcal{X}_{G}}$ is covered by $\mu({\mathscr{T}})$ tiles ${\mathscr{T}}\cdot g$ by Proposition \[points\_above\]. Hence $\Phi_*\mu(T)=\Phi_*\mu(\Phi({\mathscr{T}}))=\mu({\mathscr{T}})$ is integer and almost every point of $\mathbb{R}^n$ is covered by $\mu({\mathscr{T}})$ tiles $T+g$, $g\in{\mathbb{Z}}^n$, with respect to the measure $\Phi_*\mu$, and thus with respect to the Lebesgue measure $\lambda$. It follows that, if $\chi_{T+g}$ is the characteristic function of $T+g$, then $\sum_{g\in{\mathbb{Z}}^n}\chi_{T+g}=\mu({\mathscr{T}})$ almost everywhere with respect to both measures. Hence $$\Phi_*\mu(T)=\mu({\mathscr{T}})=\int_I\sum_{g\in{\mathbb{Z}}^n}\chi_{T+g}d\lambda=\sum_{g\in{\mathbb{Z}}^n}\int_{I+g}\chi_T
d\lambda=\int_{\mathbb{R}^n}\chi_T d\lambda=\lambda(T),$$ where $I$ is the unit cube in $\mathbb{R}^n$. Since $\mu({\mathscr{T}})$ is positive, $c=1$.

The Lebesgue measure of the self-affine tile $T$ is equal to the measure number ${meas}({\mathcal{N}})$ of the nucleus ${\mathcal{N}}$ of the associated self-similar action $(\mathbb{Z}^n,X^{*})$.

The nucleus of a contracting self-similar action can be found algorithmically using the program package [@AutomGrp], and the number ${meas}({\mathcal{N}})$ can be found using the remarks after Proposition \[prop\_eigenvect\_transition\_matr\]. The measures of sets $T\cap (T+a)$ for $a\in\mathbb{Z}^n$ can be found by Remark \[rem\_meas\_inters\_tiles\].

The methods developed in [@gab_yu:natur_til] to find the Lebesgue measure of integral self-affine tiles are related to the discussion above. Take the complete automaton [@self_sim_groups page 11] of the self-similar action $({\mathbb{Z}}^n,X^{*})$ (it actually coincides with the graph $B({\mathbb{Z}}^n)$ from [@canon_numsys]), revert the direction of every edge, identify edges with the same starting and end vertices labeled by $(d_1,d_2)$ with the same difference $r=d_2-d_1$, and put the new label $r$ on this edge. We get the graph $\mathcal{G}({\mathbb{Z}}^n)$ constructed in [@gab_yu:natur_til] and [@fract_numsys]. The set $W$ constructed using $\mathcal{G}({\mathbb{Z}}^n)$ [@gab_yu:natur_til page 195] is precisely the nucleus ${\mathcal{N}}$. Hence the theory of self-similar groups provides a nice explanation to the ideas in [@gab_yu:natur_til Section 3] and the methods developed in Sections 2,4 can be seen as its non-abelian generalization.

It is shown in [@lag_wang:int_self_affine_II] that integral self-affine tile $T$ gives a lattice tiling of $\mathbb{R}^n$ with some lattice $L\subset{\mathbb{Z}}^n$. An interesting open question is whether this holds for any (self-replicating) contracting self-similar action $(G,X^{*})$ (or at least for self-similar actions of torsion-free nilpotent groups), i.e. the tile ${\mathscr{T}}$ gives a tiling of ${\mathcal{X}_{G}}$ with some subgroup $H< G$.

**Invariant measures on Julia sets of rational functions.** Let $f(z)\in\mathbb{C}(z)$ be a rational map of the Riemann sphere ${\hat{\mathbb{C}}}$ of degree $d\geq 2$. It is proved in [@invmeas_rat] that there exists a natural $f$-invariant probability measure $\mu_f$ with the support on the Julia set $J(f)$. In [@rational_bernoulli], D. Heicklen and C. Hoffman showed that the dynamical system $(J(f),f,\mu_f)$ is conjugated to the one-sided Bernoulli $d$-shift, proving the conjecture in [@invmeas_rat; @lub:entr_ration]. In the case of sub-hyperbolic rational functions this result also follows from Theorem \[theor\_lims\_conju\_Bernoulli\] using the theory of iterated monodromy groups developed in [@self_sim_groups].

Let $f$ be a sub-hyperbolic rational function and let ${\mathcal{M}}={\hat{\mathbb{C}}}\setminus\overline{P}_f$, where $P_f$ is the post-critical set of $f$. Then $f$ defines a $d$-fold partial self-covering $f:
f^{-1}({\mathcal{M}})\rightarrow{\mathcal{M}}$. Take a base point $t\in{\mathcal{M}}$ and let $T_t$ be the tree of preimages $f^{-n}(t)$, $n\geq 0$, where every vertex $z\in f^{-n}(t)$ is connected by an edge to $f(z)\in
f^{-n+1}(t)$. The fundamental group $\pi_1({\mathcal{M}},t)$ acts by automorphisms on $T_t$ through the monodromy action on every level $f^{-n}(t)$. The quotient of $\pi_1({\mathcal{M}},t)$ by the kernel of its action on $T_t$ is the *iterated monodromy group* $IMG(f)$ of the map $f$. The group $IMG(f)$ is contracting self-similar group and the limit dynamical system $({\mathscr{J}_{IMG(f)}},{\mathsf{s}})$ is conjugated to $(J(f),f)$ by Theorem 6.4.4 in [@self_sim_groups]. Under this conjugation the measure ${\mathsf{m}}$ is send to the measure $\mu_f$, and we can apply Theorem \[theor\_lims\_conju\_Bernoulli\] to the dynamical system $(J(f),f,\mu_f)$.

[10]{}

C. Bandt, Self-similar measures, [Fiedler, Bernold (ed.), Ergodic theory, analysis, and efficient simulation of dynamical systems. Berlin: Springer. 31-46 (2001).]{}

L. Bartholdi, R. Grigorchuk, V. Nekrashevych, From fractal groups to fractal sets, in: Fractals in Graz 2001, Trends Math., Birkhäuser, Basel, 2003, pp. 25–118.

L. Bartholdi, R. I. Grigorchuk, Z. [Š]{}uni[k]{}, Branch groups, in: Handbook of algebra, Vol. 3, North-Holland, Amsterdam, 2003, pp. 989–1112.

A. Berlatto, S. Sidki, Virtual endomorphisms of nilpotent groups, Groups Geom. Dyn. 1 (1) (2007) 21–46.

G.-T. Deng, X.-G. He, Integral self-affine sets with positive Lebesgue measures, Arch. Math. 90 (2) (2008) 150–157.

G. A. Edgar, Integral, probability, and fractal measures, [New York, NY: Springer. x, 286 p.]{}, 1998.

M. Elekes, T. Keleti, A. Ma’the’, Self-similar and self-affine sets: measure of the intersection of two copies. Ergodic Theory and Dynamical Systems, Published online by Cambridge University Press 29 Jun 2009 doi:10.1017/S0143385709000121

A. Freire, A. Lopes, R. Mane, An invariant measure for rational maps, Bol. Soc. Bras. Mat. 14 (1) (1983) 45–62.

J.-P. Gabardo, X. Yu, Natural tiling, lattice tiling and Lebesgue measure of integral self-affine tiles, J. Lond. Math. Soc., II. Ser. 74 (1) (2006) 184–204.

R. I. Grigorchuk, On the [M]{}ilnor problem of group growth, Dokl. Akad. Nauk SSSR 271 (1) (1983) 30–33.

K. Grochenig and W.R. Madych, Multiresolution analysis, Haar bases, and self-similar tilings of $\mathbb{R}^n$, IEEE Trans. Inf. Theory 38 (2) (1992) 556-568.

X.-G. He, K.-S. Lau, H. Rao, Self-affine sets and graph-directed systems, Constructive Approximation 19 (3) (2003) 373–397.

D. Heicklen, C. Hoffman, [Rational maps are $d$-adic Bernoulli]{}, Ann. of Math. (2) 156 (1) (2002) 103–114.

C. Hoffman, D. Rudolph, Uniform endomorphisms which are isomorphic to a [B]{}ernoulli shift, Ann. of Math. (2) 156 (1) (2002) 79–101.

J. E. Hutchinson, [Fractals and self similarity]{}, Indiana Univ. Math. J. 30 (1981) 713–747.

J. C. Lagarias, Y. Wang, [Haar type orthonormal wavelet bases in $\mathbb{R}^2$]{}, J. Fourier Anal. Appl. 2 (1) (1995) 1–14.

J. C. Lagarias, Y. Wang, [Integral self-affine tiles in $\mathbb{R}^n$. I: Standard and nonstandard digit sets]{}, J. Lond. Math. Soc., II. Ser. 54 (1) (1996) 161–179.

J. C. Lagarias, Y. Wang, [Self-affine tiles in $\mathbb{R}^n$]{}, Adv. Math. 121 (1) (1996) 21–49.

J. C. Lagarias, Y. Wang, [Integral self-affine tiles in $\mathbb{R}^n$. II: Lattice tilings]{}, J. Fourier Anal. Appl. 3 (1) (1997) 83–102.

K.-S. Lau, S.-M. Ngai, H. Rao, [Iterated function systems with overlaps and self-similar measures]{}, J. Lond. Math. Soc., II. Ser. 63 (1) (2001) 99–116.

D. A. Lind, B. Marcus, An Introduction to Symbolic Dynamics and Coding, Cambridge University Press, New York, NY, USA, 1995.

M. Lyubich, [Entropy properties of rational endomorphisms of the Riemann sphere]{}, Ergodic Theory Dyn. Syst. 3 (1983) 351–385.

W. Muller, J. M. Thuswaldner, R. F. Tichy, [Fractal properties of number systems]{}, Period. Math. Hung. 42 (1-2) (2001) 51–68.

Y. Muntyan and D. Savchuk. , 2008.

V. Nekrashevych, Self-similar groups, Vol. 117 of Mathematical Surveys and Monographs, American Mathematical Society, Providence, RI, 2005.

U. G. Rothblum, Nonnegative matrices and stochastic matrices, in: L. Hogben (Ed.), Handbook of Linear Algebra (Discrete Mathematics and Its Applications), [Chapman & Hall/CRC]{}, 2006.

K. Scheicher, J. M. Thuswaldner, [Canonical number systems, counting automata and fractals]{}, Math. Proc. Camb. Philos. Soc. 133 (1) (2002) 163–182.

Y. E. Sinai, R. E. Gamkrelidze, [Dynamical systems II. Ergodic theory with applications to dynamical systems and statistical mechanics. Transl. from the Russian.]{}, [Encyclopaedia of Mathematical Sciences. 2. Berlin etc.: Springer-Verlag. viii, 281 p. ]{}, 1989.

R. S. Strichartz, [Self-similarity in harmonic analysis]{}, J. Fourier Anal. Appl. 1 (1) (1994) 1–37.

M. Urbanski, [Measures and dimensions in conformal dynamics]{}, Bull. Am. Math. Soc., New Ser. 40 (3) (2003) 281–321.

A. Vince, [Digit tiling of Euclidean space]{}, [Baake, Michael (ed.) et al., Directions in mathematical quasicrystals. Providence, RI: AMS, American Mathematical Society. CRM Monogr. Ser. 13, 329-370 (2000).]{} (2000).

[^1]: The author was partially supported by NSF grants DMS-0308985, DMS-0456185 and DMS-0600975
