2025-11-12T07:19:09.653600

Orders of Oscillation Motivated by Sarnak's Conjecture--Part II

Jiang
This work is a continuation of [13]. We study the linear disjointness between higher-order oscillating sequences and nonlinear dynamical systems. Specifically, we prove that any oscillating sequence of order $m=d+k-1$ and any simple polynomial skew product of degree $k$ on the $d$-Euclidean space are linearly disjoint. Additionally, we demonstrate that any oscillating sequence of order $d$ and any minimal mean attractable and minimal quasi-discrete spectrum dynamical system of order $d$ are linearly disjoint. Finally, we introduce multi-linearly disjoint sequences and construct examples of such sequences.
academic

Orders of Oscillation Motivated by Sarnak's Conjecture--Part II

基本信息

  • 论文ID: 2201.08800
  • 标题: Orders of Oscillation Motivated by Sarnak's Conjecture--Part II
  • 作者: Yunping Jiang (Queens College & Graduate Center, City University of New York)
  • 分类: math.DS (Dynamical Systems), math.NT (Number Theory)
  • 发表时间: arXiv预印本，2022年1月提交，2025年11月修订（v2）
  • 论文链接: https://arxiv.org/abs/2201.08800v2

摘要

本文是作者前期工作13的延续，研究高阶振荡序列与非线性动力系统之间的线性不相交性。主要证明了：(1) 任何阶数为 m=d+k−1m=d+k-1 的振荡序列与 dd-欧几里得空间上度数为 kk 的简单多项式斜积是线性不相交的；(2) 任何阶数为 dd 的振荡序列与阶数为 dd 的极小平均吸引且极小拟离散谱动力系统是线性不相交的；(3) 引入了多重线性不相交序列的概念并构造了具体例子。

研究背景与动机

核心问题

本文研究的核心问题是Sarnak猜想的推广和深化。Sarnak猜想断言：Möbius序列 u=(μ(n))n∈Nu = (\mu(n))_{n\in\mathbb{N}} 与任何零拓扑熵的连续动力系统是线性不相交的。这是数论与动力系统交叉领域的重要问题。

问题重要性

  1. 连接数论与动力系统：Sarnak猜想建立了数论中的算术函数（如Möbius函数）与动力系统理论之间的深刻联系
  2. 理论意义：线性不相交性是理解确定性系统与"伪随机"序列相互作用的关键概念
  3. 推广价值：研究一般振荡序列的性质有助于理解哪些序列具有类似Möbius序列的性质

现有方法的局限性

  1. 前期工作：作者在13中研究了振荡序列与仿射环面映射的线性不相交性，但仅限于线性情况
  2. 非线性挑战：对于非线性动力系统（如多项式斜积），需要更高阶的振荡性质
  3. 谱理论局限：经典的离散谱系统理论不足以处理更一般的动力系统

研究动机

作者旨在：

  • 将线性情况推广到非线性多项式斜积
  • 引入振荡序列的阶数概念，精确刻画所需的振荡性质
  • 探索哪些动力系统需要何种阶数的振荡序列才能保证线性不相交性

核心贡献

  1. 推广到非线性系统：证明了阶数为 m=d+k−1m=d+k-1 的振荡序列与 dd-维空间上度数为 kk 的简单多项式斜积的线性不相交性（定理1）
  2. 一般多项式斜积：对于一般形式的多项式斜积，证明存在有限阶数 m=m(d,k,h1,…,hd)m=m(d,k,h_1,\ldots,h_d) 使得相应阶数的振荡序列与之线性不相交（定理2）
  3. 谱理论推广：将拟离散谱（QDS）系统推广到极小拟离散谱（MQDS）系统，并证明阶数为 dd 的振荡序列与MMA且MQDS(d)系统的线性不相交性（定理3）
  4. 多重线性不相交性：引入多重线性不相交序列的新概念，并构造了具体例子（定理4），这与Chowla猜想相关
  5. 理论框架完善：将线性不相交性的定义推广到Polish空间上的动力系统，为处理非紧空间提供了框架

方法详解

任务定义

线性不相交性（经典定义）：设 XX 为紧度量空间，f:X→Xf: X \to X 为连续映射，c=(cn)n∈Nc = (c_n)_{n\in\mathbb{N}} 为复数序列。称 cc 与 ff 线性不相交，如果对任意 ϕ∈C(X)\phi \in C(X) 和 x∈Xx \in X，有 lim⁡N→∞1N∑n=1Ncnϕ(fnx)=0\lim_{N\to\infty} \frac{1}{N}\sum_{n=1}^N c_n \phi(f^n x) = 0

振荡序列的阶数：称 cc 为阶数为 dd 的振荡序列，如果对所有度数不超过 dd 的实系数多项式 PP，有 lim⁡N→∞1N∑n=1Ncne2πiP(n)=0\lim_{N\to\infty} \frac{1}{N}\sum_{n=1}^N c_n e^{2\pi i P(n)} = 0

推广的线性不相交性：对于Polish空间 YY 和商空间 X=Y/∼X = Y/\sim，投影 π:Y→X\pi: Y \to X，以及连续映射 f:Y→Yf: Y \to Y，称 cc 与 ff 线性不相交，如果对任意 ϕ∈C(X)\phi \in C(X) 和 y∈Yy \in Y，有 lim⁡N→∞1N∑n=1Ncnϕ(π(fny))=0\lim_{N\to\infty} \frac{1}{N}\sum_{n=1}^N c_n \phi(\pi(f^n y)) = 0

核心技术框架

1. 多项式斜积的结构分析

简单多项式斜积定义为：

x_1 + a \\ x_2 + h_2(x_1) \\ x_3 + b_{32}x_2 + h_3(x_1) \\ \vdots \\ x_d + b_{d(d-1)}x_{d-1} + \cdots + b_{d2}x_2 + h_d(x_1) \end{pmatrix}$$ 其中 $h_i(x_1)$ 是度数不超过 $k$ 的多项式。 **关键观察**：迭代后，每个坐标 $x_i^n = f^n(x)$ 的第 $i$ 个分量是 $n$ 的多项式，且度数可以精确计算： - $x_1^n$ 是度数 $\leq 1$ 的多项式 - $x_2^n$ 是度数 $\leq k+1$ 的多项式 - $x_i^n$ 是度数 $\leq k+i-1$ 的多项式 因此，对于三角多项式 $e^{2\pi i(k_1 x_1 + \cdots + k_d x_d)}$ 沿轨道的演化： $$e^{2\pi i(k_1 x_1^n + \cdots + k_d x_d^n)} = e^{2\pi i P_k(n)}$$ 其中 $P_k(n)$ 是度数不超过 $d+k-1$ 的多项式。 #### 2. 三角多项式逼近策略 **证明思路**： 1. 使用Stone-Weierstrass定理，三角多项式在 $C(T^d)$ 中稠密 2. 对任意连续函数 $\phi$，构造三角多项式逼近序列 $\{p_q\}$ 3. 将求和分解为两部分： $$S_N\phi(x) = \underbrace{\frac{1}{N}\sum_{n=1}^N c_n(\phi(f^n x) - p_r(f^n x))}_{I} + \underbrace{\frac{1}{N}\sum_{n=1}^N c_n p_r(f^n x)}_{II}$$ **第一部分估计（误差项）**：使用Hölder不等式，对于对偶指数 $\lambda, \lambda'$（满足 $1/\lambda + 1/\lambda' = 1$）： $$|I| \leq \left(\frac{1}{N}\sum_{n=1}^N |c_n|^\lambda\right)^{1/\lambda} \left(\frac{1}{N}\sum_{n=1}^N |\phi(f^n x) - p_r(f^n x)|^{\lambda'}\right)^{1/\lambda'} \leq C^{1/\lambda} \cdot \frac{\epsilon}{2C^{1/\lambda}}$$ **第二部分估计（主项）**：利用振荡序列的定义，对于三角多项式 $$p_r(f^n x) = \sum_{m_{1r}\leq k_1 \leq s_{1r}} \cdots \sum_{m_{dr}\leq k_d \leq s_{dr}} a_{k,r} e^{2\pi i P_k(n)}$$ 每一项都满足 $$\left|\frac{1}{N}\sum_{n=1}^N c_n e^{2\pi i P_k(n)}\right| < \frac{\epsilon}{2L^d}$$ 因此 $|II| < \epsilon/2$。 #### 3. MMA和MQDS系统的处理 **极小平均吸引（MMA）**：系统的每个点都被某个极小集平均吸引，即 $$\limsup_{N\to\infty} \frac{1}{N}\sum_{n=1}^N d(f^n x, f^n z) < \epsilon$$ **极小拟离散谱（MQDS(d)）**：在极小集上，系统具有拟离散谱结构，且阶数为 $d+1$。这意味着存在单模拟特征向量的层次结构： $$G_1 \subseteq G_2 \subseteq \cdots \subseteq G_{d+1}$$ 其中 $G_n = \ker(\Lambda^n)$。 **证明策略**： 1. 利用MMA性质，将一般点的行为归约到极小集上的点 2. 在极小集上，利用MQDS结构，将函数分解为拟特征向量的线性组合 3. 对于阶数 $n-1$ 的拟特征向量 $g \in G_n$，有 $$\Phi^n g(z) = e^{2\pi i P(n)}$$ 其中 $P(n)$ 是度数不超过 $d$ 的多项式 4. 应用振荡序列的定义完成证明 ### 技术创新点 1. **精确的阶数匹配**：证明了所需振荡序列的阶数恰好是 $m=d+k-1$，这是紧的（不能降低） 2. **归纳构造**：通过归纳法精确计算每个坐标的多项式度数，避免了粗糙的估计 3. **统一框架**：将仿射情况（定理A）和多项式情况（定理1）纳入统一框架 4. **谱理论推广**：将经典的离散谱理论推广到拟离散谱，并引入阶数概念 5. **Polish空间推广**：将定义推广到非紧空间，为研究更一般的动力系统提供了工具 ## 实验设置 本文是纯数学理论论文，不包含数值实验。主要结果通过严格的数学证明获得。 ### 理论验证方法 1. **构造性例子**：通过定理B和定理4构造了具体的完全振荡序列 2. **等价性证明**：命题1证明了算术意义下的振荡序列与标准定义的等价性 3. **推论验证**：从主定理推导出多个推论，验证理论的一致性 ### 使用的数学工具 1. **调和分析**：Stone-Weierstrass定理、三角多项式逼近 2. **概率论**：Hölder不等式、均匀分布理论 3. **数论**：Weyl准则、Koksma定理 4. **动力系统理论**：拓扑熵、拟离散谱理论 5. **泛函分析**：Koopman算子理论 ## 实验结果 ### 主要理论结果 **定理1（简单多项式斜积）**： - **陈述**：任何阶数为 $m=d+k-1$ 的振荡序列与度数为 $k$ 的简单多项式斜积线性不相交 - **意义**：将前期工作从线性（$k=1$，对应仿射映射）推广到任意度数的多项式 - **最优性**：阶数 $m=d+k-1$ 是必要的，不能降低 **定理2（一般多项式斜积）**： - **陈述**：对于一般形式的多项式斜积，存在有限阶数 $m=m(d,k,h_1,\ldots,h_d)$ 使得结论成立 - **局限性**：阶数依赖于具体的多项式系数，不如定理1精确 **定理3（MMA和MQDS系统）**： - **陈述**：阶数为 $d$ 的振荡序列与MMA且MQDS(d)系统线性不相交 - **应用范围**：覆盖了大类零拓扑熵系统，包括具有拟离散谱的系统 **定理4（多重线性不相交性）**： - **陈述**：对于 $g \in C_+^2((1,\infty))$，几乎所有参数 $(\alpha, \beta)$ 使得序列 $$c = (e^{2\pi i(\alpha\beta^n g(\beta))})_{n\in\mathbb{N}}$$ 是多重线性不相交的 - **意义**：提供了除Möbius序列外的其他完全振荡序列例子 ### 理论推论 **推论1**：将定理1应用到仿射环面映射的迭代，处理了特征值为单位根但不全为1的情况 **推论2**：推广推论1到一般多项式情况 **推论A**：从定理A直接得到，任何阶数为 $d$ 的振荡序列与零拓扑熵的仿射环面映射线性不相交 ### 关键引理 **命题1（等价性）**： - 标准意义下的振荡序列等价于算术意义下的振荡序列 - 证明使用了单位根的正交性和多项式扩展技巧 **引理1**： - 所有特征值为1的整数矩阵可以相似变换为下三角矩阵 - 这为处理仿射斜积提供了标准形式 ### 理论发现 1. **阶数的必要性**：不同类型的动力系统需要不同阶数的振荡序列，这反映了系统的复杂度 2. **非线性效应**：多项式非线性项的度数直接影响所需振荡序列的阶数 3. **谱理论局限**：注记4指出，一般的零拓扑熵环面映射不一定是MQDS(d)，说明需要更精细的分类 4. **熵的作用**：定理B构造的完全振荡序列具有正熵（与自身作为动力系统），但仍可与零熵系统线性不相交 ## 相关工作 ### 数论基础 1. **Davenport [7]**：证明了Möbius序列是振荡序列（阶数1） 2. **Hua [12]**：证明了Möbius序列是完全振荡序列 3. **Chowla [5]**：提出了关于Möbius序列多重相关性的猜想 ### 动力系统理论 1. **Fomin [8]**：引入了纯点谱动力系统和MLS概念 2. **Abramov [2], Hahn & Parry [11]**：发展了拟离散谱理论 3. **Sinai [19]**：刻画了仿射环面映射的拓扑熵 4. **Kronecker [14]**：证明了特征值为单位根的矩阵的性质 ### 作者前期工作 1. **Jiang [9]**：定义了振荡序列，研究了与MLS系统的线性不相交性 2. **Fan & Jiang [9]**：引入MMA和MMLS概念 3. **Jiang [13]**：定义了振荡序列的阶数，证明了与仿射斜积的线性不相交性（定理A） 4. **Akiyama & Jiang [3]**：构造了完全振荡序列的例子（定理B） ### 相关进展 1. **el Abdalaoui [1]**：使用Gowers范数研究振荡序列 2. **Byszewski et al. [4]**：研究自动序列的Gowers范数 3. **Haase & Moriakov [10]**：系统研究拟离散谱系统 4. **Dai & Jiang [6]**：定义非紧空间上的距离熵 ### 本文的定位 本文在以下方面推进了该领域： 1. **从线性到非线性**：首次系统处理多项式斜积 2. **精确的阶数理论**：建立了振荡阶数与系统复杂度的精确关系 3. **谱理论推广**：将拟离散谱理论与线性不相交性联系起来 4. **多重线性不相交性**：引入新概念，连接到Chowla猜想 ## 结论与讨论 ### 主要结论 1. **非线性推广成功**：证明了振荡序列理论可以有效处理多项式非线性系统 2. **阶数理论完善**：建立了清晰的阶数层次： - 阶数1：与线性旋转线性不相交 - 阶数 $d$：与 $d$-维仿射斜积线性不相交 - 阶数 $d+k-1$：与 $d$-维度数 $k$ 的多项式斜积线性不相交 3. **谱理论连接**：通过MQDS概念，将谱理论与振荡序列理论联系起来 4. **构造性结果**：提供了除Möbius序列外的大量完全振荡序列例子 ### 局限性 1. **一般多项式情况**：定理2中的阶数 $m(d,k,h_1,\ldots,h_d)$ 依赖于具体系数，没有统一的界 2. **非多项式情况**：对于一般的连续环面映射（问题1），仍然开放 3. **MMA条件的必要性**：不清楚MMA条件是否可以减弱 4. **MQDS的普遍性**：注记4指出一般零熵系统不一定是MQDS，限制了定理3的应用范围 5. **计算复杂性**：对于具体系统，计算所需的最小振荡阶数可能很困难 ### 未来方向 **问题1**：任何完全振荡序列与任何零拓扑熵的连续环面映射是否线性不相交？ **问题2**：定理B构造的完全振荡序列（具有正熵）是否与所有零熵系统线性不相交？ **潜在研究方向**： 1. 推广到更一般的非线性系统（如有理函数、超越函数） 2. 研究高维环面上的一般连续映射 3. 探索多重线性不相交性的应用 4. 发展算法判断给定系统所需的最小振荡阶数 5. 研究振荡序列与正熵系统的关系 ## 深度评价 ### 优点 1. **理论深度**： - 建立了振荡序列阶数与动力系统复杂度之间的精确定量关系 - 证明技术巧妙，特别是归纳构造多项式度数的方法 - 统一了前期工作，形成了系统的理论框架 2. **数学严谨性**： - 所有定理都有完整严格的证明 - 引理和推论之间逻辑关系清晰 - 命题1的等价性证明消除了定义的歧义 3. **创新性**： - 首次系统研究非线性多项式斜积的线性不相交性 - 引入MQDS概念，推广经典谱理论 - 多重线性不相交性是新颖的概念 4. **写作质量**： - 结构清晰，从简单到复杂层层推进 - 动机阐述充分，与Sarnak猜想的联系明确 - 技术细节完整，可复现性强 5. **理论意义**： - 深化了对Sarnak猜想的理解 - 为数论与动力系统的交叉研究提供了新工具 - 构造的例子（定理4）具有独立价值 ### 不足 1. **应用范围有限**： - 定理1仅适用于"简单"多项式斜积（特殊形式） - 定理2的阶数估计不够精确 - MQDS条件较强，排除了许多零熵系统 2. **开放问题较多**： - 问题1（一般连续环面映射）仍未解决 - 问题2（正熵振荡序列）的答案不明 - 注记4指出理论框架的局限性 3. **缺少数值验证**： - 虽然是纯数学论文，但一些数值实验可能有助于理解 - 例如，计算具体例子的振荡阶数 4. **技术复杂性**： - 证明涉及多个数学分支，可能对非专家不够友好 - 一些技术细节（如Hölder不等式的应用）可以更详细 5. **与Sarnak猜想的距离**： - Sarnak猜想涉及所有零熵系统，而本文仅处理特定类别 - Möbius序列的特殊性质（如与自守形式的联系）未被充分利用 ### 影响力 1. **对领域的贡献**： - 为Sarnak猜想的研究提供了新视角和工具 - 振荡阶数理论可能成为该领域的标准概念 - 连接了数论、动力系统、调和分析等多个领域 2. **实用价值**： - 虽然是理论工作，但为判断具体系统的性质提供了方法 - 构造的完全振荡序列可用于测试其他猜想 - 技术方法（如三角多项式逼近）具有普适性 3. **可复现性**： - 所有证明都是构造性的，原则上可以验证 - 定理4的构造可以生成具体的序列例子 - 理论框架清晰，便于后续研究者使用 4. **后续研究方向**： - 启发了多个开放问题（问题1、2） - 多重线性不相交性概念可能催生新的研究方向 - MQDS理论值得进一步发展 ### 适用场景 1. **理论研究**： - 研究Sarnak猜想及其变体 - 发展振荡序列理论 - 探索数论与动力系统的联系 2. **特定系统分析**： - 判断多项式斜积的线性不相交性 - 分析仿射环面映射的迭代行为 - 研究拟离散谱系统的性质 3. **构造反例**： - 使用定理4构造具有特定性质的序列 - 测试其他猜想的边界情况 4. **教学用途**： - 作为数论与动力系统交叉课程的案例 - 展示调和分析在动力系统中的应用 ## 参考文献（关键文献） 1. **Sarnak, P.** (2009, 2012): 提出Sarnak猜想的原始文献 2. **Jiang, Y.** (2019): 本文的前导工作（定理A） 3. **Fan, A. & Jiang, Y.** (2018): MMA和MMLS概念的来源 4. **Davenport, H.** (1937) & **Hua, L.** (1966): Möbius序列振荡性质的经典结果 5. **Kuipers, L. & Niederreiter, H.** (1974): 均匀分布理论的标准参考 6. **Haase, M. & Moriakov, N.** (2015): 拟离散谱系统的现代处理 --- **总体评价**：这是一篇高质量的理论数学论文，在Sarnak猜想的研究中取得了实质性进展。通过引入振荡序列的阶数理论，作者建立了数论序列与动力系统复杂度之间的精确定量关系。主要结果（定理1-4）在技术上具有创新性，证明严谨完整。虽然距离完全解决Sarnak猜想还有距离，但本文为该方向的研究奠定了坚实基础，并提出了多个值得深入探索的问题。对于从事数论、动力系统或相关交叉领域研究的学者，这是一篇必读的重要文献。