Related papers: Arbitrarily slow decay in the logarithmically aver…

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…

In this paper, we introduce topological dynamical systems with almost countable spectrum. We prove that the Logarithmic Sarnak Conjecture holds for zero-entropy topological dynamical systems whose spectrum is almost countable. This class…

An overview of last seven years results concerning Sarnak's conjecture on M\"obius disjointness is presented, focusing on ergodic theory aspects of the conjecture.

Let $a_n$ be the random increasing sequence of natural numbers which takes each value independently with decreasing probability of order $n^{-\alpha}$, $0 < \alpha < 1/2$. We prove that, almost surely, for every measure-preserving system…

We show that Sarnak's conjecture on M\"obius disjointness holds for all subshifts given by bijective substitutions and some other similar dynamical systems, e.g.\ those generated by Rudin-Shapiro type sequences.

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…

Tao has recently proved that if $T_1,...,T_l$ are commuting, invertible, measure-preserving transformations on a dynamical system then for any $L^\infty$ functions $f_1,...,f_l$, the average $\frac{1}{N}\sum_{n=0}^{N-1}\prod_{i\leq…

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…

Let $a_n$ be the random increasing sequence of natural numbers which takes each value independently with probability $n^{-a}$, $0 < a < 1/2$, and let $p(n) = n^{1+\epsilon}$, $0 < \epsilon < 1$. We prove that, almost surely, for every…

We formulate the generalized Sarnak's M\"obius disjointness conjecture for an arbitrary number field $K$, and prove a quantitative disjointness result between polynomial nilsequences $(\Phi(g(n)\Gamma))_{n\in\mathbb{Z}^{D}}$ and aperiodic…

Motivated by the variations of Sarnak's conjecture due to El Abdalaoui, Kulaga-Przymus, Lemanczyk, De La Rue and by the observation that the Mobius function is a good weight (with limit zero) for the polynomial pointwise ergodic theorem in…

We prove that every infinite minimal subshift with word complexity $p(q)$ satisfying $\limsup p(q)/q < 3/2$ is measure-theoretically isomorphic to its maximal equicontinuous factor; in particular, it has measurably discrete spectrum. Among…

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 conjecture of Erd\H{o}s states that for any infinite set $A \subseteq \mathbb R$, there exists $E \subseteq \mathbb R$ of positive Lebesgue measure that does not contain any nontrivial affine copy of $A$. The conjecture remains open for…

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…

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 investigate Sarnak's conjecture on the M\"obius function in the special case when the test function is the indicator of the set of integers for which a real additive function assumes a given value.

Let $\{T^z\}$ be an ergodic action of the group $Z^n$ by automorphisms of the probability space $(X,m)$, $\sum_{i}^\infty a_i<\infty$, $a_i>0$. For any sequence $M_k\to +\infty$ there exist $N_k>M_k$ and a function $ f\in L_1(X,m)$ such…

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}$…