[论文解读] Oscillating sequences of higher orders and topological systems of quasi-discrete spectrum

Ai Hua Fan|arXiv (Cornell University)|Feb 14, 2018

Analytic Number Theory Research参考文献 7被引用 8

一句话总结

本论文证明了所有阶数的完全振荡序列与拟离散谱的拓扑动力系统正交，从而证明了加权此类序列的多重遍历平均处处收敛于零。该结果通过将正交性扩展至多项式时间及加权多重遍历平均，强化了Sarnak猜想。

ABSTRACT

Fully oscillating sequences are orthogonal to all topological dynamical systems of quasi-discrete spectrum in the sense of Hahn-Parry. This orthogonality concerns with not only simple but also multiple ergodic means. It is stronger than that required by Sarnak's conjecture.

研究动机与目标

• 将振荡序列的正交性从简单遍历平均扩展至拟离散谱拓扑动力系统的更高阶形式。
• 证明沿多项式时间、加权于完全振荡序列的多重遍略平均在处处收敛于零。
• 阐明高阶振荡与动力系统谱结构之间的关系。
• 在具有拟离散谱的拓扑模型背景下，推广Möbius正交性与Sarnak猜想的结果。

提出的方法

• 引入了阶数 $ d $ 的振荡序列概念，其定义为：沿任意实系数多项式（次数 $ \leq d $）的加权指数和为零。
• 通过拟特征函数与拟特征值的归纳层次结构定义拟离散谱，推广动力系统中的特征函数概念。
• 应用Stone-Weierstrass定理，证明当其生成代数在 $ C(X) $ 中稠密时，拟特征函数可分离点。
• 利用条件 $ \sum_{n=1}^N |c_n| = O(N) $ 控制加权平均中振荡序列的增长。
• 将正交性条件应用于次数有界于 $ \Delta $ 的多项式序列 $ q_j(n) $，要求序列 $ (c_n) $ 为阶数 $ d_T \Delta $ 的振荡序列。
• 利用连通紧致阿贝尔群上极小仿射变换的结构，推导出具体应用。

实验结果

研究问题

• RQ1 完全振荡序列（所有阶数）是否在Hahn-Parry意义下与拟离散谱的拓扑系统正交？
• RQ2 正交性是否可扩展至沿多项式时间、加权于振荡序列的多重遍历平均？
• RQ3 为使序列与阶数为 $ d_T $ 的拟离散谱系统正交，其振荡的最小阶数为何？
• RQ4 系统的谱结构（拟离散谱）如何与加权遍历平均的衰减相关？
• RQ5 该结果能否应用于非连通空间的动力系统，如 $ p $-进整数或符号空间？

主要发现

• 序列 $ (c_n) $ 为完全振荡（即属于 $ \mathrm{OSC}_\infty $）当且仅当对所有实系数多项式 $ P $（次数 $ \leq d $），对任意 $ d \geq 1 $，有 $ \lim_{N\to\infty} \frac{1}{N} \sum_{n=0}^{N-1} c_n e^{2\pi i P(n)} = 0 $。
• 对任意阶数为 $ d_T $ 的拟离散谱拓扑动力系统 $ (X,T) $，以及任意 $ \ell $-元多项式 $ q_j \in \mathbb{Q}[z] $（最大次数为 $ \Delta $），若 $ (c_n) \in \mathrm{OSC}_{d_T \Delta} $ 且 $ \sum_{n=1}^N |c_n| = O(N) $，则对所有连续函数 $ F \in C(X^\ell) $ 和所有 $ x \in X $，有 $ \frac{1}{N} \sum_{n=0}^{N-1} c_n F(T^{q_1(n)}x, \dots, T^{q_\ell(n)}x) \to 0 $。
• 该结果适用于连通紧致阿贝尔群上的极小仿射变换，这些系统已知具有有限阶 $ d_T $ 的拟离散谱，因此在相同条件下正交性成立。
• 正交性强于Sarnak猜想所要求的条件，因其适用于多重及加权遍历平均，而不仅限于单重平均。
• 该框架涵盖非连通空间（如 $ \mathbb{Z}_p $）中的系统，其中多项式动力系统可能极小但非完全极小，且特征值可能为有限阶。
• 该结果与早期Möbius正交性结果有重叠但不蕴含其结论，因其适用于更广泛的序列与系统类。