Hausdorff dimension of trees generated by piecewise linear transformations (Q2566552)

This paper deals with piecewise linear, expanding and topologically transitive maps from the interval \(I=[0,1]\) into itself, that is, (nonnecessarily continuous) maps \(F:I\rightarrow I\) for which there is a finite interval partition \(\mathcal{A}\) of \(I\) such that \((F| _A)'\) is constant for every \(A\in \mathcal{A}\), satisfying \[ \xi =\liminf_{n\rightarrow \infty}\frac{1}{n}\text{\,ess\,inf}_{x\in I}\log | (F^n)'(x)| >0, \] and with the additional property of having a dense orbit. For such a map \(F\), a tree (or, more properly speaking, a dendrite) \(T\in \mathbb{R}^d\) is constructed for some \(d\geq 2\) as follows. We fix \(0<r<1\) and put \(R=re^{\xi}\). We start from a branch (a segment) \((\emptyset)\) of length 1 having the origin as one of its endpoints. Inductively, for every admissible sequence \(w=A_1A_2\cdots A_n\) of elements of \(\mathcal{A}\) we add a branch \((w)\) of length \(R^{| w| }| \langle w\rangle| \) by connecting it at the free endpoint of \((A_1A_2\cdots A_{n-1})\). ``Admissible'' (written \(w\in \mathcal{W}\)) means that there is an \(x\in I\) satisfying \(F^i(x)\in A_{i+1}\) for every \(0\leq i\leq n-1\). Also, we write \(| w| =n\) and denote by \(| \langle w\rangle| \) the length of the interval \(\bigcup_{i=0}^{n-1} F^{-i}(A_{i+1})\). Finally, we put \(T^0=\bigcup_{w\in \mathcal{W}}(w)\) and denote by \(T\) the closure of \(T^0\). It is additionally assumed that two branches \((u)\) and \((v)\) intersect only when \(u=A_1A_2\cdots A_{n-1}\) and \(v=A_1A_2\cdots A_{n-1}A_n\), and also that there is a constant \(C_0>0\) such that for every branch \((w)\), the diameter of \(((w))\cap (T\setminus T^0)\) is greater than \(C_0\) times the length of \((w)\) (here \(((w))\) is the closure of the family of branches starting off from \((w)\)). It is shown that the Hausdorff dimension of \(T\) is the maximal solution of \(\text{det\,}(\text{Id}-\Phi(R^\alpha,\alpha))=0\). For the somewhat involved definition of the so-called Fredholm matrix \(\Phi(z,\alpha)\), we refer to the paper itself.