Recurrence in generic staircases

From MaRDI portal



Abstract: The straight-line flow on almost every staircase and on almost every square tiled staircase is recurrent. For almost every square tiled staircase the set of periodic orbits is dense in the phase space.


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.











This page was built for publication: Recurrence in generic staircases

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q765087)