[论文解读] M{ö}bius orthogonality in density for zero entropy dynamical systems

A. M. Gomilko, Mariusz Lemańczyk+1 more|arXiv (Cornell University)|May 16, 2019

Mathematical Dynamics and Fractals参考文献 6被引用 5

一句话总结

本文证明，对于具有可数个遍历测度的零熵动力系统，Möbius 函数在具有全对数密度的自然数子列上与连续观测函数正交。通过将 Tao 的二阶矩方法适配至对数强 MOMO 性质，作者建立了密度意义上的均匀 Möbius 正交性，扩展了先前关于对数 Sarnak 猜想的结果，并证实了该类系统对 Möbius 正交性的密度版本。

ABSTRACT

It is proved that whenever a zero entropy dynamical system $(X,T)$ has only countably many ergodic measures and $μ$ stands for the arithmetic M{ö}bius function, then there exists a subset $A$ of integers depending only on the system, of logarithmic density one, such that for each $f$ continuous on $X$, $\frac1N \sum_{n\leq N} f(T^nx)μ(n) o 0$ as $N o\infty$, $N\in A$, uniformly in $x\in X$. In particular, the density version of M{ö}bius orthogonality holds.

研究动机与目标

• 建立具有可数个遍历测度的零熵动力系统对 Möbius 正交性的密度版本。
• 将对数 Sarnak 猜想扩展为更强的密度一致收敛形式。
• 将 Tao 的二阶矩方法适配至具有可数个遍历测度系统的对数强 MOMO 性质。
• 证明对数强 MOMO 性质蕴含沿全对数密度子列的 Möbius 正交性。
• 提出一种新的 Möbius 正交性证明机制，避免依赖完全收敛，转而关注密度极限。

提出的方法

• 将 Tao 的二阶矩方法适配至对数强 MOMO 性质，涉及在稀疏区间上对 Möbius 函数进行加权平均。
• 利用强 MOMO 性质控制形如 $\sum_{n \in I_k} \mu(n) f(T^n x)$ 的加权和的增长，其中区间 $I_k = [b_k, b_{k+1})$ 满足 $b_{k+1} - b_k \to \infty$。
• 证明对数强 MOMO 性质蕴含在全对数密度集合 $A \subset \mathbb{N}$ 上 Cesàro 平均的一致收敛性。
• 应用分部求和法并估计调和和，将对数密度与 Cesàro 平均的收敛性联系起来。
• 利用 $\delta(A) = 1$ 蕴含 $\sum_{n \in A, n \leq N} \frac{1}{n} \sim \log N$ 的事实，控制 Cesàro 平均中的归一化。
• 使用引理 5.5 提取一个全密度子集 $\tilde{A}$，使得 $\mu(n)$ 的部分和在此子集上衰减足够快，从而保证加权平均的收敛性。

实验结果

研究问题

• RQ1 对数强 MOMO 性质是否蕴含具有可数个遍历测度的零熵系统在密度意义上的 Möbius 正交性？
• RQ2 Tao 的二阶矩方法能否被适配以证明 Cesàro 平均沿全对数密度集合的收敛性，而非完全收敛？
• RQ3 对于具有可数个遍历测度的系统，是否存在 Möbius 正交性的统一密度版本，即使完全 Möbius 正交性尚不明确？
• RQ4 对数 Chowla 猜想是否能蕴含零熵系统在密度意义上的 Möbius 正交性？
• RQ5 集合 $A \subset \mathbb{N}$ 的最小密度条件是什么，才能确保 $\mu(n) f(T^n x)$ 的 Cesàro 平均对所有 $x$ 一致收敛于零？

主要发现

• 对于任意具有可数个遍历测度的零熵系统 $(X,T)$，存在一个全对数密度子集 $A \subset \mathbb{N}$，使得当 $N \to \infty$ 沿 $A$ 时，有 $\left\| \frac{1}{N} \sum_{n \leq N} \mu(n) f \circ T^n \right\|_{C(X)} \to 0$ 对所有 $x \in X$ 一致成立。
• 对数强 MOMO 性质蕴含密度意义上的 Möbius 正交性，为 Sarnak 猜想的密度版本提供了充分条件。
• 所构造的集合 $A$ 满足 $\delta(A) = 1$，即 $\lim_{N \to ∞} \frac{1}{\log N} \sum_{n \in A, n \leq N} \frac{1}{n} = 1$，从而确保 Cesàro 型平均的归一化正确。
• 该结果在意义上是紧致的，因为它在全对数密度子列上建立了收敛性，该条件强于上密度 1，但弱于完全收敛。
• 该证明方法避免了对 Möbius 函数完全收敛的依赖，转而通过加权平均与密度论证实现一致性。
• 该方法证实，对数 Chowla 猜想蕴含存在一个全密度子集 $A$，使得 Möbius 函数在该集合上满足零熵系统的 Cesàro 正交性条件。