Central limit theorem and chaoticity (Q2251699)

A (topological) dynamical system is a pair \((X,f)\), where \(X\) is a compact metric space with a metric \(d\) and \(f: X\to X\) is a continuous map. Let \(\mu\) be a Borel probability measure on \(X\) and \(\varphi: X\to\mathbb{R}\) be a continuous function. The observable \(\varphi\) is said to satisfy the \textit{Central Limit Theorem} for \((f,\mu)\), if there exists \(\sigma>0\) such that for every interval \(A\subset \mathbb{R}\), \[ \lim_{n\to\infty}\mu\left(\left\{x\in X: \frac{1}{\sqrt{n}}\sum_{j=0}^{n-1} \left(\varphi(f^j(x))-\int_X\varphi\mathrm{d}\mu\right)\in A\right\}\right)=\frac{1}{\sigma\sqrt{2\pi}} \int_A e^{-t^2/(2\sigma^2)}\mathrm{d}t. \] If every observable function satisfies the center limit theorem for \((f,\mu)\), we say that the pair \((f,\mu)\) or \(f\) satisfies the central limit theorem. This paper is devoted to studying dynamical systems satisfying the central limit theorem. It is shown that if \((f,\mu)\) satisfies the central limit theorem then for any nonempty open subset \(U\) of \(X\) and any \(\varepsilon>0\) there exists \(y\in U\) such that the lower density of \(N(y,U)\) is not less than \(\mu(U)-\varepsilon\), where \(N(y,U):=\{n\in\mathbb{Z}^+: f^n(y)\in U\}\). If in addition \(f\) is strongly topologically ergodic, then \(f^n\) is syndetically sensitive for any \(n\in\mathbb{N}\). Moreover, if the state space \(X\) is restricted to a (topological) tree, then the system admits many chaotic properties. Although a few properties of dynamical systems satisfying the central limit theorem have been obtained, the following important question is still open. \textit{Question}: Does there exist a dynamical system satisfying the central limit theorem?