Related papers: Reducing the Sarnak Conjecture to Toeplitz systems
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…
Sarnak's M\"{o}bius disjointness conjecture asserts that for any zero entropy dynamical system $(X,T)$, $\frac{1}{N} \sum_{n=1} ^N f(T^n x) \mu (n)= o(1)$ for every $f\in \mathcal{C}(X)$ and every $x\in X$. We construct examples showing…
Although Sarnak's conjecture holds for compact group rotations (irrational rotations, odometers), it is not even known whether it holds for all Jewett-Krieger models of such rotations. In this paper we show that it does, as long as the…
In 2017 Tao proposed a variant Sarnak's M\"{o}bius disjointness conjecture with logarithmic averaging: For any zero entropy dynamical system $(X,T)$, $\frac{1}{\log N} \sum_{n=1} ^N \frac{f(T^n x) \mu (n)}{n}= o(1)$ for every $f\in…
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…
We show that the M\"obius disjointess of zero entropy dynamical systems implies the existence of an increasing sequence of positive integers along which the Chowla conjecture on autocorrelations of the M\"obius function holds.
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…
Assuming the existence of Siegel zeros, we prove that there exists an increasing sequence of positive integers for which Chowla's Conjecture on $k$-point correlations of the Liouville function holds. This extends work of Germ\'an and…
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…
In this paper, the notion of measure complexity is introduced for a topological dynamical system and it is shown that Sarnak's M\"{o}bius disjointness conjecture holds for any system for which every invariant Borel probability measure has…
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…
It is shown that Sarnak's M\"{o}bius orthogonality conjecture is fulfilled for the compact metric dynamical systems for which every invariant measure has singular spectra. This is accomplished by first establishing a special case of Chowla…
We obtain that Sarnak's M\"{o}bius Disjointness Conjecture holds for product flows between affine linear flows on compact abelian groups of zero topological entropy and a class of rigid dynamical systems. To prove this, we show an estimate…
We show that the images via $z\mapsto z^m$ of the continuous part of the spectral measures of the dynamical systems generated by the 0-1 sequences of the Thue-Morse type are pairwise mutually singular for different odd numbers $m\in\N$.…
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 a streamlined proof of a result essentially present in previous work of the author, namely that for every set $S = \{s_1, s_2, \ldots\} \subset \mathbb{N}$ of zero Banach density and finite set $A$, there exists a minimal…
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…
We provide a criterion for a point satisfying the required disjointness condition in Sarnak's M\"obius Disjointness Conjecture. As a direct application, we have that the conjecture holds for any topological model of an ergodic system with…
Let $\lambda$ denote the Liouville function. The Chowla conjecture asserts that $$ \sum_{n \leq X} \lambda(a_1 n + b_1) \lambda(a_2 n+b_2) \dots \lambda(a_k n + b_k) = o_{X \to \infty}(X) $$ for any fixed natural numbers $a_1,a_2,\dots,a_k$…
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) \]…