A zero-one law for improvements to Dirichlet's theorem in arbitrary dimension

这是一篇关于数论与动力系统交叉领域的学术论文，标题为《任意维数下改进狄利克雷定理的零一律》（A ZERO-ONE LAW FOR IMPROVEMENTS TO DIRICHLET'S THEOREM IN ARBITRARY DIMENSION），作者为 Andreas Strömbergsson 和 Shucheng Yu。

以下是对该论文的详细技术总结：

1. 研究背景与问题 (Problem)

核心问题：
狄利克雷定理（Dirichlet's Theorem）断言，对于任意实矩阵 $A \in M_{m,n}(\mathbb{R})$ 和充分大的 $t$，总存在非零整数向量 $q \in \mathbb{Z}^n$ 和整数向量 $p \in \mathbb{Z}^m$，使得 $\|Aq - p\| < 1/t$ 且 $\|q\| < t$。
自然的问题是：能否用一个比 $1/t$ 衰减更快的函数 $\psi(t)$ 来改进这个界限？即研究满足以下不等式组的矩阵 $A$ 的集合（称为 $\psi$-Dirichlet 矩阵）：
$$\|Aq - p\| < \psi(t) \quad \text{且} \quad \|q\| < t$$
对于所有充分大的 $t$ 是否都有解。

研究目标：
确定集合 $DI_{\alpha, \beta}(\psi)$（加权情形下的 $\psi$-Dirichlet 矩阵集合）的勒贝格测度（Lebesgue measure）。具体而言，作者旨在证明一个零一律（Zero-One Law）：即该集合的测度要么是 0，要么是 1，这取决于逼近函数 $\psi$ 的某种级数收敛性。

现有局限：
之前的研究（KSY22）在一般维数下建立了一个“部分零一律”，但其结论依赖于一个较强的技术条件（公式 1.8），即要求某个特定的极限下确界为 0。此外，KSY22 假设 $t\psi(t)$ 是单调递增的。这些限制使得某些自然出现的函数（如 $t\psi(t)$ 震荡或趋于 0 的情况）无法被涵盖。

2. 主要贡献 (Key Contributions)

本文的主要贡献在于去除了 KSY22 中的技术限制，并推广了单调性假设，从而在更广泛的条件下证明了完整的零一律：

1. 移除技术条件 (1.8)： 证明了在发散情形下，无需假设公式 (1.8) 中的极限条件，即可得出测度为 0 的结论。
2. 弱化单调性假设： 将 $t\psi(t)$ 单调递增的假设替换为更弱的“准递减”条件（公式 1.9）。该条件允许 $F_\psi(t) = 1 - t\psi(t)$ 在一定范围内波动，只要其变化率受控即可。
3. 统一级数判据： 给出了一个统一的级数判据（公式 1.10），涵盖了收敛和发散两种情形，直接决定了测度是 1 还是 0。
4. 推广到加权情形： 结果适用于任意维数 $m, n$ 以及任意权重向量 $\alpha, \beta$ 的加权准范数情形。

3. 方法论 (Methodology)

论文采用了**齐次动力系统（Homogeneous Dynamics）**的方法，具体步骤如下：

A. 丹尼对应 (Dani Correspondence)

利用经典的丹尼对应，将矩阵逼近问题转化为格空间（Space of Lattices）$X_d = SL_d(\mathbb{R})/SL_d(\mathbb{Z})$ 上的动力学问题。

• 定义对角子群 $g_s$ 作用于格 $\Lambda_A$。
• 矩阵 $A$ 是 $\psi$-Dirichlet 的充要条件与格点函数 $\Delta(g_s \Lambda_A)$ 的行为有关。
• 问题转化为研究格点在收缩目标集（Shrinking Targets）中的击中频率。

B. 构造新的收缩目标集

这是本文的核心创新点之一。

• 在 KSY22 中，目标集定义为 $\Delta^{-1}[0, r]$。
• 本文引入了更精细的目标集 $\Delta'_r = \Delta^{-1}[0, r] \cap H(R_r)$，其中 $H(R_r)$ 要求格点必须落在特定的矩形区域 $R_r$ 内。
• 目的： 这种构造允许在更大的参数范围内证明目标集的互不相交性（Disjointness），这是去除技术条件 (1.8) 的关键。

C. 测度估计与平滑逼近

• 定理 2.2： 证明了新构造的目标集 $\Delta'_r$ 的测度与原始目标集 $\Delta^{-1}[0, r]$ 具有相同的量级（$r^{\kappa_d} \log^{\lambda_d}(1/r)$）。
• 引理 3.7： 构造了光滑函数 $\phi_r$ 来逼近目标集的示性函数，并控制了其 $C^\ell$ 范数，以便应用动力系统的混合定理。

D. 有效等分布与双重混合 (Effective Equidistribution & Double Mixing)

• 利用 Kleinbock-Margulis 和 Kleinbock-Shi-Weiss 的结果，获得了 $g_s$ 平移在格空间上的有效等分布和双重混合估计。
• 这些估计提供了击中事件的相关性衰减速度，是应用 Borel-Cantelli 引理的基础。

E. 发散情形的证明策略

• 互不相交性 (Proposition 4.4)： 利用新目标集 $\Delta'_r$ 的几何性质，证明了在一定时间间隔内，不同时刻的收缩目标集是互不相交的。这一性质直接解决了 KSY22 中需要额外假设 (1.8) 来处理的相关性问题。
• Borel-Cantelli 引理的应用：
  • 收敛情形： 利用 Borel-Cantelli 第一引理，通过级数收敛证明测度为 0（即几乎所有矩阵不满足条件，或者说满足条件的矩阵测度为 0，这里需注意原文定义：收敛对应全测度，发散对应零测度，需仔细核对原文逻辑。修正：原文定理 3 指出，若级数收敛，则 $DI$ 为全测度；若发散，则为零测度。 实际上，收敛情形对应的是“几乎所有矩阵都能被改进”，发散情形对应“几乎所有矩阵不能被改进”。再次核对原文定理 3 公式 (1.10)：
    • 级数收敛 $\implies$ 测度为 1 (Full measure)。
    • 级数发散 $\implies$ 测度为 0 (Zero measure)。
    • 注：这与经典 Borel-Cantelli 在独立事件中的直觉（收敛则发生有限次，发散则发生无限次）略有不同，因为这里讨论的是“对所有大 $t$ 都有解”的性质，属于 limsup 集合的补集或相关性质。具体逻辑是：收敛意味着目标集太小，几乎不可能被无限次击中（即几乎所有矩阵都能被改进？不，通常收敛对应零测度。让我们重新阅读定理 3 的结论）。
    • 重新阅读定理 3 (1.10)：
      • 如果 $\sum < \infty$，则 $Leb(DI) = 1$。
      • 如果 $\sum = \infty$，则 $Leb(DI) = 0$。
      • 逻辑解释： 这里的 $DI$是指“对于所有充分大的$t$ 都有解”的集合。这通常对应于“坏”集合（即无法被改进的矩阵是“好”的，能被改进的是“坏”的？不，Dirichlet 定理保证了解存在。改进意味着解存在且界限更紧。通常“改进狄利克雷定理”的集合是指那些存在改进的矩阵。如果级数收敛，意味着改进条件太苛刻，只有测度为 0 的矩阵能满足？
      • 纠正： 让我们看 KSY22 的定理 1.2。
        • 收敛 $\implies$ 全测度 (Full measure)。
        • 发散 $\implies$ 零测度 (Zero measure)。
        • 这意味着：如果级数收敛，那么几乎所有矩阵都是 $\psi$-Dirichlet 的（即改进是可能的）。如果级数发散，那么几乎所有矩阵都不是 $\psi$-Dirichlet 的（即改进是不可能的）。
        • 这与直觉相反吗？ 不。$\psi(t)$ 越小，条件越苛刻。如果 $\psi$ 衰减很快（导致级数收敛），通常意味着条件很难满足。但在均匀逼近问题中，情况往往相反：如果 $\psi$ 衰减得不够快（级数发散），则几乎所有矩阵都能满足；如果 $\psi$ 衰减太快（级数收敛），则几乎所有矩阵都不能满足？
        • 再次仔细检查定理 3 的陈述：
          • "If the series converges, then $DI$ is of full Lebesgue measure."
          • "If the series diverges, then $DI$ is of zero Lebesgue measure."
          • 这里的 $DI$定义为：对于所有充分大的$t$，存在解。
          • 在 KSY22 中，收敛对应全测度。这通常发生在 $\psi(t)$ 相对较大（衰减较慢）时？不，公式 (1.7) 中 $F_\psi(k) = 1 - k\psi(k)$。如果 $\psi$ 很小，$F_\psi$ 接近 1，级数发散。如果 $\psi$ 接近 $1/k$，$F_\psi$ 接近 0，级数收敛。
          • 所以：$\psi$ 接近 $1/t$（改进幅度小） $\implies$ 级数收敛 $\implies$ 全测度（几乎所有矩阵都能被这样微小的改进）。
          • $\psi$ 很小（改进幅度大） $\implies$ 级数发散 $\implies$ 零测度（几乎不可能有矩阵能被大幅改进）。
          • 结论： 级数收敛 $\implies$ 几乎所有矩阵满足条件（测度 1）；级数发散 $\implies$ 几乎所有矩阵不满足条件（测度 0）。

4. 主要结果 (Results)

定理 3 (Theorem 3)：
设 $d=m+n$，$\psi$ 是连续递减函数，满足 $\psi(t) < 1/t$ 以及准递减条件 (1.9)。定义 $F_\psi(t) = 1 - t\psi(t)$。
则集合 $DI_{\alpha, \beta}(\psi)$ 的勒贝格测度为：
$$Leb(DI_{\alpha, \beta}(\psi)) = \begin{cases} 1 & \text{若 } \sum_{k} k^{-1} F_\psi(k)^{\kappa_d} \log^{\lambda_d}\left(1 + \frac{1}{F_\psi(k)}\right) < \infty \\ 0 & \text{若 } \sum_{k} k^{-1} F_\psi(k)^{\kappa_d} \log^{\lambda_d}\left(1 + \frac{1}{F_\psi(k)}\right) = \infty \end{cases}$$
其中 $\kappa_d = \frac{d^2+d-4}{2}$，$\lambda_d = \frac{d(d-1)}{2}$。

推论：
该结果完全去除了 KSY22 中的条件 (1.8)，并推广了单调性假设，使得该零一律适用于更广泛的函数类，包括那些 $t\psi(t)$ 不单调或趋于 0 的情况。

5. 意义 (Significance)

1. 理论完整性： 解决了任意维数下改进狄利克雷定理的零一律问题，消除了之前结果中的技术障碍，使得理论框架更加完整和普适。
2. 方法创新： 通过构造特殊的子集 $\Delta'_r$ 并利用其几何性质证明互不相交性，展示了在齐次动力系统框架下处理收缩目标问题的新技巧。这种方法可能适用于其他类似的度量数论问题。
3. 适用范围扩大： 弱化的单调性假设使得该定理可以应用于更多自然出现的逼近函数，特别是那些在极限行为上表现出不规则性的函数。
4. 连接领域： 进一步加深了数论（丢番图逼近）与动力系统（格流、混合性）之间的联系，展示了有效混合估计在解决经典数论问题中的强大威力。

总结来说，这篇论文通过精细的动力学构造和测度估计，成功地将改进狄利克雷定理的零一律推广到了更一般的情形，是该领域的一个重要进展。