Hitting functions for mixed partitions

Пусть $T_{\rho}$ — иррациональный поворот на единичной окружности $S^{1}\simeq [0,1)$. Рассмотрим последовательность $\{\mathcal{P}_{n}\}$ возрастающих разбиений на $S^{1}$. Определим время попадания $N_{n}(\mathcal{P}_n;x,y):= \inf \{ j\geq 1\mid T^{j}_{\rho}(y) \in P_{n}(x)\}$, где $P_{n}(x)$ — элемент разбиения $\mathcal{P}_{n}$, содержащий точку $x$. Д. Ким и Б. Сео [9] доказали, что время попадания $K_n(\mathcal{Q}_n;x,y):= \frac{\log N_n(\mathcal{Q}_n;x,y)}{n}$ почти всюду (по мере Лебега) сходится к $\log2$, где последовательность разбиений $\{\mathcal{Q}_n\}$ порождена хаотическим отображением $f_{2}(x):=2x \bmod 1$. Хорошо известно, что отображение $f_{2}$ имеет положительную энтропию $\log2$. Возникает естественный вопрос о том, что если последовательность разбиений $\{\mathcal{P}_n\}$ порождена отображением с нулевой энтропией. В настоящей работе мы изучаем поведение $K_n(\tau_n;x,y)$ с последовательностью смешанных разбиений ${\tau_{n}}$ таких, что $\mathcal{Q}_{n}\cap [0,\frac{1}{2}]$ порождена отображением $f_{2}$, а $ \mathcal{D}_{n}\cap [\frac{1}{2},1]$ порождена иррациональным поворотом $T_{\rho}$. Доказано, что $K_n(\tau_n;x,y)$ почти всюду (по мере Лебега) сходится к кусочно-постоянной функции с двумя значениями. Также показано, что существуют некоторые иррациональные повороты, демонстрирующие различное поведение.