Dimensions of stable sets and scrambled sets in positive finite entropy systems (Q2908148)

The authors analyze the dimensions of stable sets and scrambled sets of hyperbolic dynamical systems \((X, T )\) with positive entropy. The problem is to know ``how big'' are these sets, a subset \( E \subset X\) being understood as ``big'' if \(E\) contains a \(G_\delta\) set or has positive Bowen topological entropy or has positive Hausdorff dimension. A set \( E \subset X\) is called scrambled if any pair of distinct points \((x, y)\) of \(E\) forms a Li-Yorke pair with modulus \(\delta\), this means that NEWLINE\[NEWLINE\underset {n \to \infty} {\lim \sup}\, d (T^n x; T^n y) = \delta \mathrm{ and } \underset {n \to \infty} { \lim \inf}\, d (T^n x; T^n y) = 0.NEWLINE\]NEWLINE The authors study the Bowen topological entropy and Hausdorff dimensions of stable and scrambled sets. Their main result is the following:NEWLINENEWLINELet \((X, T )\) be a topological dynamical system with positive entropy, with respect to an ergodic, \(T\)-invariant measure and \(h_{\mathrm{top}} (T ) < \infty\) then \(h^B_{\mathrm{top}} \Big( T, \overline{W^s (x; T ) }\Big)> 0\), where \(h^B_{\mathrm{top}}\) is the Bowen topological entropy for non-compact non-invariant sets and \(W^s (x, T )\) is the stable manifold at \(x\). Besides for any \(x\) there exists a scrambled set \(E_x \subset\overline{W^s(x, T)}\) with \(h^B_{\mathrm{top}} (T; E_x ) > 0\). If \(T\) is Lipschitz with constant \(L > 1\) then \(\mathrm{dim}_H \overline{W^s (x, T )}\geq h_\mu (T ) / \log L\) and under the continuum hypothesis for any \(x\) there exists a scrambled set \(E_x \subset \overline{W^s (x, T )}\) such that for any \(x\) there exists an scrambled set \(E_x \subset \overline{W^s (x, T )}\) with \(\mathrm{dim}_H E_x\leq h_\mu (T ) / \log L\).