Related papers: M\"obius disjointness along ergodic sequences for …

Let $\mathbb{T}^\omega$ be the infinite-dimensional torus, and $T: \mathbb{T}^\omega\to \mathbb{T}^\omega$ be defined by \[ T: (x_1, x_2, \dots, x_k, \ldots) \mapsto (x_1 + \alpha, x_2 + h(x_1), \dots, x_k + h(x_1 + (k-2)\beta), \dots) \]…

Furstenberg's flow on the infinite-dimensional torus $\mathbb{T}^\omega$ is defined by \[ T (x_1, x_2, \ldots, x_\nu, \ldots) = (x_1 + \alpha, x_2 + h(x_1), \ldots, x_\nu + h(x_1 + (\nu-2)\beta), \ldots) \] with $\alpha\in \mathbb{R}$…

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…

For $\tau>2$, let $T$ be a $C^\tau$ skew product map of the form $(x+\alpha,y+h(x))$ on $\mathbb T^2$ over a rotation of the circle. We show that if $T$ preserves a measurable section, then it is disjoint to the M\"{o}bius sequence. This in…

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…

Let $ G $ be a connected, simply connected nilpotent Lie group and $ \Gamma < G $ a lattice. We prove that each ergodic diffeomorphism $ \phi(x\Gamma)=uA(x)\Gamma $ on the nilmanifold $ G/\Gamma $, where $ u\in G $ and $ A:G\to G $ is a…

A recent result of Downarowicz and Serafin (DS) shows that there exist positive entropy subshifts satisfying the assertion of Sarnak's conjecture. More precisely, it is proved that if $y=(y_n)_{n\ge 1}$ is a bounded sequence with zero…

For a rotation by an irrational $\alpha$ on the circle and a BV function $\varphi$, we study the variance of the ergodic sums $S_L \varphi(x) := \sum_{j=0}^{L -1} \, \varphi(x + j\alpha)$. When $\alpha$ is not of constant type, we construct…

For $R_{\alpha}$ being an irrational rotation of angle $\alpha$ on the one torus $\mathbb{T}$ and $\phi(x)=\frac{1}{x}-\frac{1}{1-x}$, we compare the behavior of the Birkhoff sum $S_N(\phi)=\sum_{k=0}^{N-1}(\phi\circ R_{\alpha}^k)(x)$ with…

The M\"obius disjointness conjecture of Sarnak states that the M\"obius function does not correlate with any bounded sequence of complex numbers arising from a topological dynamical system with zero topological entropy. We verify the…

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…

Let $f\colon \mathbb{T}\to \mathbb{R}$ be of class $C^{1+\delta}$ for some $\delta>0$ and let $c\in\mathbb{Z}$. We show that for a generic $\alpha\in\mathbb{R}$, the extension $T_{c,f}\colon \mathbb{T}^2\to\mathbb{T}^2$ of the irrational…

Given $\a \in [0,1]$ and $\varphi: \T \to \R$ measurable, the {\it cylindircal cascade} $S_{\a,\varphi}$ is the map from $\T \times \R$ to itself given by $S_{\a,\varphi} (x,y) = (x+\a,y+\varphi(x))$ that naturally appears in the study of…

We prove that the M\"{o}bius function is linearly disjoint from an analytic skew product on the $2$-torus. These flows are distal and can be irregular in the sense that their ergodic averages need not exist for all points. The previous…

Motivated by Sarnak's conjecture on M\"obius orthogonality, we investigate the general problem of orthogonality for a bounded sequence to topological models of characteristic classes of measure-preserving automorphisms. Our main observation…

We show that if $y=(y_n)_{n\ge 1}$ is a bounded sequence with zero average along every infinite arithmetic progression then for every $N\ge 2$ there exist (unilateral or bilateral) subshifts $\Sigma$ over $N$ symbols, with entropy…

Let f be a self-map of a compact manifold M, admitting an global SRB measure \mu. For a continuous test function \phi on M and a constant \alpha>0, consider the set of the initial points for which the Birkhoff time averages of the function…

Let M be a smooth compact connected manifold, on which there exists an effective smooth circle action preserving a positive smooth volume. We show that on M, the smooth closure of the smooth volume-preserving conjugation class of some…

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…

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…