Sarnak's M\"obius disjointness for dynamical systems with singular spectrum and dissection of M\"obius flow

TL;DR

This paper proves Sarnak's M"obius disjointness conjecture for systems with singular spectra by establishing a special case of Chowla's conjecture, using measure affinity, and analyzing the M"obius flow.

Contribution

It introduces a novel approach to verify Sarnak's conjecture for systems with singular spectra, connecting it with Chowla's conjecture and measure-theoretic techniques.

Findings

Proves Sarnak's conjecture for systems with singular spectra.

Establishes a special case of Chowla's conjecture related to M"obius function.

Provides a new proof of results on correlations of the Liouville function.

Abstract

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 conjecture which gives a correlation between the M\"{o}bius function and its square. Then a computation of W. Veech, followed by an argument using the notion of `affinity between measures', (or the so-called `Hellinger method'), completes the proof. We further present an unpublished theorem of Veech which is closely related to our main result. This theorem asserts, if for any probability measure in the closure of the Cesaro averages of the Dirac measure on the shift of the M\"{o}bius function, the first projection is in the orthocomplement of its Pinsker algebra then Sarnak M\"{o}bius disjointness conjecture holds. Among other consequences, we obtain a simple proof of Matom{\"a}ki-Radziwi{\l}l-Tao's theorem and Matom{\"a}ki-Radziwi{\l}l's theorem on the correlations of order two of the Liouville function.