Sarnak's Program for Erdős Sieves. Part II: Measure Systems and Applications

1. 研究背景与问题定义

背景：
本文是作者两篇系列论文的第二部分，旨在推广 Sarnak 关于 $B$-free 系统（即从整数环中移除某些同余类后剩余的集合）的动力学程序。第一部分建立了基础定义，第二部分则深入探讨测度论动力学系统、谱理论以及数论应用。

核心对象：

• Étale $\mathbb{Q}$-代数 $K$：有限个数域的直积，其整数环记为 $\mathcal{O}_K$。
• Erdős 筛法 (Erdős Sieve) $R$：由一组两两互素的理想 $B_R = \{b\}$ 和对应的同余类集合 $R_b \subset \mathcal{O}_K/b$ 组成。
  • Erdős 条件：$\sum_{b \in B_R} \frac{|R_b|}{N(b)} < \infty$，其中 $N(b)$ 是理想的范数。
• $R$-free 数集 $F_R$：$\mathcal{O}_K$ 中不属于任何 $R_b$ 的元素集合，即 $F_R = \mathcal{O}_K \setminus \bigcup_{b \in B_R} R_b$。

主要问题：

1. 动力学系统的等价性：研究 $F_R$ 的轨道闭包 $X_R$（在 $\{0,1\}^{\mathcal{O}_K}$ 中）与 $R$-可容许集集合 $\Omega_R$ 之间的关系。在经典的无平方因子筛法中，Sarnak 指出 $X_R = \Omega_R$，但在一般筛法中这并不总是成立。
2. 测度同构：将动力学系统 $(\Omega_R, S, \nu_R)$（其中 $S$ 为移位作用，$\nu_R$ 为 Mirsky 测度）同构于紧阿贝尔群上的旋转系统，并计算其谱。
3. 数论应用：利用上述动力学结果解决关于无限和集、多项式无平方因子值以及 $R$-free 数的素数定理等问题。

2. 方法论与核心概念

最小筛法 (Minimal Sieves)：
作者引入了“最小筛法”的概念，用于解决筛法表示的非唯一性问题。

• 收缩 (Contraction)：如果一个筛法 $R$ 可以通过将同余类分解为更小的理想上的并集来简化，则称其为可收缩的。
• 最小性：一个筛法如果不能进一步收缩，则称为最小筛法。
• 结论：任何 Erdős 筛法都等价于一个最小筛法。如果原筛法具有“弱轻尾”（weak light tails）性质，则存在唯一的最小筛法保持该性质。

轻尾性质 (Light Tails)：

• 弱轻尾：随着筛法索引 $L$ 增大，剩余部分的密度趋于 0。
• 强轻尾：所有大于 $L$ 的筛法部分的并集的密度趋于 0。
• 这是连接 $X_R$ 与 $\Omega_R$ 关系的关键条件。

动力学同构与谱计算：

• 定义了群 $G_{R,F} = \prod_{b \in B_R} \mathcal{O}_K / F(R_b)$，其中 $F(R_b) = \{x \in \mathcal{O}_K : x + R_b = R_b\}$ 是保持同余类不变的加法子群。
• 证明了系统 $(\Omega_R, S, \nu_R)$ 同构于群 $G_{R,F}$ 上的旋转系统 $(G_{R,F}, T^F, P_F)$，其中 $P_F$ 是哈尔测度。
• 利用 Halmos-von Neumann 定理，通过计算点谱（Point Spectrum）来刻画系统的同构类。

3. 主要贡献与结果

3.1 动力学系统之间的关系 ($X_R$ vs $\Omega_R$)

• 定理 1.1：对于 Erdős 筛法 $R$，存在一个 Følner 序列使得 $R$ 具有弱轻尾性质，当且仅当 Mirsky 测度赋予轨道闭包的测度为 1，即 $\nu_R(X_R) = 1$。
• 定理 1.2 & 5.11：对于具有弱轻尾性质的最小 Erdős 筛法 $R$ 和 $R'$，以下等价：
  1. 支撑集相同 ($B_R = B_{R'}$) 且同余类仅相差一个平移 ($R_b = \delta_b + R'_b$)。
  2. 轨道闭包相同 ($X_R = X_{R'}$)。
  3. 可容许集集合相同 ($\Omega_R = \Omega_{R'}$)。
• 定理 5.8：如果 $R$ 具有弱轻尾性质，则 $X_R$ 的遗传闭包（hereditary closure）$\tilde{X}_R$ 等于 $\Omega_R$。这意味着在弱轻尾条件下，$X_R$ 和 $\Omega_R$ 在测度论意义下是紧密相关的。

3.2 谱理论 (Spectrum)

• 定理 1.4 & 4.16：建立了 $(\Omega_R, S, \nu_R)$ 与紧阿贝尔群旋转的同构。
• 定理 4.19：计算了系统的谱。点谱 $\sigma_p(\Omega_R, S, \nu_R)$ 由满足特定整除条件的特征标组成：
  $$\sigma_p = \{ \chi \in \widehat{\mathcal{O}_K} : \exists \text{有限集 } C \subset \mathbb{N}, \chi|_{\bigcap_{j \in C} F(R_j)} = 1 \}$$
  这表明系统的动力学性质完全由支撑集 $B_R$ 的素理想分解结构决定，而与具体的同余类平移无关（对于最小筛法）。

3.3 数论应用

A. 无限和集 (Infinite Sumsets)

• 定理 1.5：证明了对于具有强轻尾性质的 Erdős 筛法，其 $R$-free 数集 $F_R$ 包含无限和集 $A+B$，其中 $B$ 具有正密度 ($d(B)>0$)。这推广了 Moreira, Richter 和 Robertson 的结果，并回应了 Host 关于正密度集合是否包含无限和集的讨论。

B. 多项式的无平方因子值

• 将多项式 $f(x)$ 的无平方因子值集合 $\Sigma_f$ 视为特定筛法 $R_f$ 的 $F_{R_f}$。
• 定理 6.15：证明了对于不同的不可约多项式 $f, g$，其对应的筛法 $R_f$ 和 $R_g$ 是不同的（除非在平凡情况下）。
• 定理 6.17：如果 $f$ 是不可约多项式且 $R_f$ 具有弱轻尾性质，则 $X_{R_f} = \Omega_{R_f}$。这解决了多项式无平方因子值集合的动力学结构问题。

C. $R$-free 数的素数定理 (Ergodic Prime Number Theorem)

• 定理 1.6 & 6.20：证明了 $R$-free 数序列上的加权遍历定理。
  $$\lim_{N \to \infty} \frac{1}{N} \sum_{m \in F_R \cap [1,N]} f(T^{\Omega(m)}x) = d(F_R) \int_X f d\mu$$
  其中 $\Omega(m)$ 是 $m$ 的素因子个数（计重数）。
• 推论：该结果统一并推广了 Heath-Brown 以及 [39] 中关于 $X^d+c$ 等特定多项式无平方因子值的素数定理结果。它表明 $R$-free 数在动力学系统中表现出类似于素数的分布规律。

4. 意义与影响

1. 理论统一：本文成功地将 Sarnak 关于 $B$-free 系统的程序推广到了更广泛的 Erdős 筛法框架下，涵盖了 étale $\mathbb{Q}$-代数上的整数环，不仅限于 $\mathbb{Z}$。
2. 结构刻画：通过引入“最小筛法”和“收缩/扩张”操作，清晰地刻画了不同筛法生成相同动力学系统的条件，解决了表示唯一性问题。
3. 动力学与数论的桥梁：文章展示了如何利用动力系统的谱性质（如离散谱、遍历性）来推导深刻的数论结论（如素数定理的推广、无限和集的存在性）。
4. 解决开放问题：
   • 明确了 $X_R = \Omega_R$ 的充要条件（弱轻尾性质）。
   • 证明了具有强轻尾性质的筛法生成的集合包含具有正密度的无限和集。
   • 为多项式无平方因子值的分布提供了统一的遍历理论解释。

总结：
这篇文章是解析数论与遍历动力系统交叉领域的重要进展。它通过精细的测度论分析，不仅推广了 Sarnak 的纲领，还为理解整数环中复杂筛法集合的算术和动力学性质提供了强有力的工具。特别是其关于“弱轻尾”条件的刻画以及由此导出的素数定理推广，为后续研究多项式值分布和加法组合问题奠定了坚实基础。