Recurrence in generic staircases (Q765087)

Let \(\Sigma_2=\{0,1\}^{\mathbb{Z}}\) and let \((\Sigma_2,\sigma)\) be the full shift on two symbols. For \(s\in \Sigma_2\) the surface \(T_s\), called a staircase, consists of an infinite number of unit squares labeled by \(\mathbb{Z}\). The sides of squares are parallel to the \(x\) and \(y\) axes. The \((n+1)\)-th square is placed above the \(n\)-th one if \(s_n=0\) and to the right of it otherwise. Consider the straight-line flow \(\psi\) on \(T_s\) in a fixed direction \(\theta\in \mathbb{S}^1\). A staircase \(T_s\) is recurrent in the direction \(\theta\) if for any set in \(T_s\) of positive measure, a.e. orbit (under \(\psi\)) returns to this set. We say that \(T_s\) is recurrent if it is recurrent in a.e. direction. Let \(\mu\) be a probability measure on \(\Sigma_2\) whose support contains a periodic orbit other than \(0^\infty\) and \(1^\infty\). The main results of the paper can be summarized as follows: (i) for \(\mu\) a.e. \(s\in \Sigma_2\) the staircase \(T_s\) is recurrent, (ii) for \(\mu\) a.e. \(s\in \Sigma_2\) the staircase \(T_s\) has a dense set of purely periodic directions, (iii) if the \(\alpha\) and \(\omega\) of \(s\in \Sigma_2\) include a periodic point \(\hat{s}\in \Sigma_2\) such that the staircase \(T_{\hat{s}}\) has a dense set of strongly periodic directions, then the staircase \(T_s\) has a dense set of purely periodic directions.