Related papers: The M\"obius function and distal flows
Let $(X, T)$ be a topological dynamical system. We show that if each invariant measure of $(X, T)$ gives rise to a measure-theoretic dynamical system that is either: a. rigid along a sequence of "bounded prime volume" or b. admits a…
In this paper, for a discontinuous skew-product transformation with the integrable observation function, we obtain uniform ergodic theorem and semi-uniform ergodic theorem. The main assumptions are that discontinuity sets of transformation…
Assuming Sarnak conjecture is true for any singular dynamical process, we prove that the spectral measure of the M\"{o}bius function is equivalent to Lebesgue measure. Conversely, under Elliott conjecture, we establish that the M\"{o}bius…
We establish Sarnak's conjecture on M\"obius disjointness for the dynamical system of a skew product on a circle and the three-dimensional Heisenberg nilmanifold, first studied by Wen Huang, Jianya Liu and Ke Wang. We advance the work of…
We prove that on the typical translation surface the flow in almost every pair of directions are not isomorphic to each other and are in fact disjoint. It was not known if there were any translation surfaces other than torus covers with…
We prove that the M\"obius disjointness conjecture holds for graph maps and for all monotone local dendrite maps. We further show that this also hold for continuous map on certain class of dendrites. Moreover, we see that there is a…
The Ratner property, a quantitative form of divergence of nearby trajectories, is a central feature in the study of parabolic homogeneous flows. Discovered by Marina Ratner and used in her 1980th seminal works on horocycle flows, it pushed…
We show that Sarnak's conjecture on M\"obius disjointness holds in every uniquely ergodic modelof a quasi-discrete spectrum automorphism. A consequence of this result is that, for each non constant polynomial $P\in\R[x]$ with irrational…
It is shown that the cubic nonconventional ergodic average of order 2 with M\"obius and Liouville weight converge almost surely to zero. As a consequence, we obtain that the Ces\`aro mean of the self-correlations and some moving average of…
We prove Veech's conjecture on the equivalence of Sarnak's conjecture on M\"obius orthogonality with a Kolmogorov type property of Furstenberg systems of the M\''obius function. This yields a combinatorial condition on the M\"obius function…
We show that for $\varepsilon > 0$, every $C^{1 + \varepsilon}$ skew product on $\mathbb{T}^2$ over a rotation of $\mathbb{T}^1$ satisfies Sarnak's conjecture. This is an improvement of earlier results of Kulaga-Przymus-Lema\'nczyk,…
We present Veech's proof of Sarnak's theorem on the M\"{o}bius flow which say that there is a unique admissible measure on the M\"{o}bius flow. As a consequence, we obtain that Sarnak's conjecture is equivalent to Chowla conjecture with the…
Given a topological dynamical system $(X,T)$ and an arithmetic function $\boldsymbol{u}\colon\mathbb{N}\to\mathbb{C}$, we study the strong MOMO property (relatively to $\boldsymbol{u}$) which is a strong version of…
We prove that the flow generated by any interval map with zero topological entropy is minimally mean-attractable (MMA) and minimally mean-L-stable (MMLS). One of the consequences is that any oscillating sequence is linearly disjoint with…
We construct the counter-example for polynomial version of Sarnak's conjecture for minimal systems, which assets that the M\"obius function is linearly disjoint from subsequences along polynomials of deterministic sequences realized in…
This work is a continuation of [13]. We study the linear disjointness between higher-order oscillating sequences and nonlinear dynamical systems. Specifically, we prove that any oscillating sequence of order $m=d+k-1$ and any simple…
We prove that Sarnak's conjecture holds for any infinite measure symbolic rank-one map. We further extended Bourgain-Sarnak's result, which says that the M\"{o}bius function is a good weight for the ergodic theorem, to maps acting on…
We show that all $q$-semimultiplicative sequences are asymptotically orthogonal to the M\"obius function, thus proving the Sarnak conjecture for this class of sequences. This generalises analogous results for the sum-of-digits function and…
We consider steady states of the incompressible Euler equation on two-dimensional domains. For non-radial analytic steady states on bounded simply connected domains, it was shown previously that there must be a global functional…
We prove that strongly $b$-multiplicative functions of modulus $1$ along squares are asymptotically orthogonal to the M\"obius function. This provides examples of sequences having maximal entropy and satisfying this property.