On the Gauss-Kuzmin-Lévy problem for nearest integer continued fractions (Q6565877)

The authors investigate the Gauss-Kuzmin-Lévy problem for nearest integer continued fractions (NICFs). Let \(T:[0,\frac{1}{2}] \to [0,\frac{1}{2}]\) be the folded NICF map given by \(T(0):=0\) and\N\[\NT(x):=\left|\frac{1}{x} -\left\lfloor\frac{1}{x} +\frac{1}{2}\right\rfloor \right|,\quad \forall x\in (0,\frac{1}{2}].\N\]\NIt is known that the folded NICF map \(T\) has an invariant probability measure:\N\[\Nd\mu:=\frac{1}{\log G} \left(\frac{1}{G+x} + \frac{1}{G+1-x}\right) dx,\N\]\Nwhere \(G:=\frac{\sqrt{5}+1}{2}\). The authors prove that, with \(q:=0.288\), for any Borel set \(E\subseteq [0,\frac{1}{2}]\),\N\[\N\lambda (T^{-n}E) = \mu(E) \left(\frac{1}{2} + O(q^n)\right),\N\]\Nwhere \(\lambda\) denotes the Lebesgue measure on \([0,\frac{1}{2}]\).