On a conjecture of Furstenberg (Q696285)

The authors consider an iterated function system \(\Psi_t\) given by three generators: \[ \psi_0(x)=x/3, \quad \psi_1(x)=(x+1)/3, \quad \psi_t(x)=(x+t)/3, \] where \(t\in \mathbb{R}\) is a fixed parameter. For every \(t\) there is a unique compact set \(Z_t\) which is invariant under \(\Psi_t\) and such that the orbit of any compact set under \(\Psi_t\) converges to \(Z_t\) in the Hausdorff metric. (\(Z_t\) is the set of numbers which can be represented by generally infinite expressions in base 3 which use digits \(0,1,t\).) The authors prove that for every \(t\) irrational the Hausdorff dimension of the set \(Z_t\) is \(\geq 1-\log(5/3)/2\log 3>0,767\). This theorem is a step towards proving the following conjecture of Furstenberg: for every \(t\) irrational the Hausdorff dimension of the set \(Z_t\) is equal to \(1\). See also \textit{R. Kenyon} [Isr. J. Math. 97, 221-238 (1997; Zbl 0871.28006)].