Veech's conjecture on the Pinsker-factor criterion for Sarnak's conjecture

From papers

Let (Z,D,κ,R)(Z,\mathcal{D},\kappa,R) be a measure-theoretic dynamical system, let Π(κ)\Pi(\kappa) denote its Pinsker factor, let μ\boldsymbol{\mu} be the arithmetic function under consideration, let VS(μ)V_S(\boldsymbol{\mu}) be the family of Furstenberg systems associated with μ\boldsymbol{\mu}, and let π0\pi_0 denote the corresponding function in each Furstenberg system. Sarnak's conjecture is the assertion that μCZE\boldsymbol{\mu}\perp \mathscr{C}_{\rm ZE}, where CZE\mathscr{C}_{\rm ZE} is the class of topological systems of zero entropy.

Veech's conjecture. Condition π0L2(Π(κ))\pi_0\perp L^2(\Pi(\kappa)) for each Furstenberg system κVS(μ)\kappa\in V_S(\boldsymbol{\mu}) is equivalent to Sarnak's conjecture.

Veech's conjecture gives a necessary-and-sufficient Pinsker-factor characterization of Sarnak's conjecture; the supplied text does not state whether it has been resolved.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Adam Kanigowski, Joanna Kulaga-Przymus, Mariusz Lemańczyk and Thierry de la Rue, “On arithmetic functions orthogonal to deterministic sequences”, arXiv:2105.11737 (2021).

Solutions 0

No solutions have been posted yet.