No abstract uploaded!

We will prove Sarnak’s conjecture on Möbius disjointness for continuous interval maps of zero entropy and also for orientation-preserving circle homeomorphisms by reducing these result to a well-known theorem of Davenport from 1937.

There is much research on the dynamical complexity on irregular sets andlevel sets of ergodic average from the perspective of density in base space, theHausdorff dimension, Lebesgue positive measure, positive or full topological entropy (andtopological pressure), etc. However, this is not the case from the viewpoint of chaos.There are many results on the relationship of positive topological entropy and variouschaos. However, positive topological entropy does not imply a strong version of chaos,called DC1. Therefore, it is non-trivial to study DC1 on irregular sets and level sets. Inthis paper, we will show that, for dynamical systems with specification properties, thereexist uncountable DC1-scrambled subsets in irregular sets and level sets. Meanwhile, weprove that several recurrent level sets of points with different recurrent frequency haveuncountable DC1-scrambled subsets. The major argument in proving the above results isthat there exists uncountable DC1-scrambled subsets in saturated sets.

We propose a new method for constructing partially hyperbolic diffeomorphisms on closed manifolds. As a demonstration of the method we show that there are simply connected closed manifolds that support partially hyperbolic diffeomorphisms. Laying aside many surgery constructions of 3-dimensional Anosov flows, these are the first new examples of manifolds which admit partially hyperbolic diffeomorphisms in the past forty years.

We consider densities $D_\Sigma(A)$, $\overline{D}_\Sigma(A)$ and $\underline{D}_\Sigma(A)$ for a subset $A$ of $\mathbb{N}$ with respect to a sequence $\Sigma$ of finite subsets of $\mathbb{N}$ and study Fourier coefficients of ergodic, weakly mixing and strongly mixing $\times p$-invariant measures on the unit circle $\mathbb{T}$. Combining these, we prove the following measure rigidity results: on $\mathbb{T}$, the Lebesgue measure is the only non-atomic $\times p$-invariant measure satisfying one of the following: (1) $\mu$ is ergodic and there exist a F\o lner sequence $\Sigma$ in $\mathbb{N}$ and a nonzero integer $l$ such that $\mu$ is $\times (p^j+l)$-invariant for all $j$ in a subset $A$ of $\mathbb{N}$ with $D_\Sigma(A)=1$; (2) $\mu$ is weakly mixing and there exist a F\o lner sequence $\Sigma$ in $\mathbb{N}$ and a nonzero integer $l$ such that $\mu$ is $\times (p^j+l)$-invariant for all $j$ in a subset $A$ of $\mathbb{N}$ with $\overline{D}_\Sigma(A)>0$; (3) $\mu$ is strongly mixing and there exists a nonzero integer $l$ such that $\mu$ is $\times (p^j+l)$-invariant for infinitely many $j$. Moreover, a $\times p$-invariant measure satisfying (2) or (3) is either a Dirac measure or the Lebesgue measure. As an application we prove that for every increasing function $\tau$ defined on positive integers with $\lim_{n\to\infty}\tau(n)=\infty$, there exists a multiplicative semigroup $S_\tau$ of $\mathbb{Z}^+$ containing $p$ such that $|S_\tau\cap[1,n]|\leq (\log_p n)^{\tau(n)}$ and the Lebesgue measure is the only non-atomic ergodic $\times p$-invariant measure which is $\times q$-invariant for all $q$ in $S_\tau$.