Density of large holes among power-free lattice points

技术摘要：无幂格点中大空洞的密度

问题陈述
本文研究了 $\mathbb{Z}^d$ 中 $r$-free 格点集中“大空洞”（large holes）的统计分布。一个 $r$-free 格点被定义为其坐标的最大公约数不被任何素数的 $r$ 次幂整除的向量。其补集 $W_{d,r}$ 由非 $r$-free 点组成。研究的核心对象是包含“深”内部（deep interior）的 $W_{d,r}$ 有限连通分量的密度。

具体而言，对于给定的半径 $R$ 和 $\ell_q$-范数，一个点 $t \in \mathbb{Z}^d$ 被称为 $R$-深，如果以 $t$ 为中心、半径为 $R$ 的闭 $\ell_q$-球完全包含在 $W_{d,r}$ 内。本文分析了此类 $R$-深点的密度 $\eta_{d,r,q}(R)$，以及包含此类点的有限连通分量代表元的密度 $\lambda_{d,r,q}(R)$ 和 $\kappa_{d,r,q}(R)$，当 $R \to \infty$ 时的渐近行为。研究涵盖了固定的维度 $d$ 和指数 $r$（满足 $dr \ge 2$），以及维度 $d$ 随 $R$ 增长的机制。

方法论
作者结合了概率数论、解析数论和几何组合学的方法。其核心方法包括：

1. 随机覆盖模型： 将确定性的非 $r$-free 点集与一个随机模型进行比较，在该模型中，对于每个素数 $p$，模 $p^r$ 的剩余类是均匀且独立选择的。该随机模型中特定有限模式的概率等于确定性集合中该模式的密度（通过容斥原理和中国剩余定理得出）。
2. 两阶段素数分析： 通过将素数分为“小素数”和“大素数”两类来分析对“窗口”（一个 $\ell_q$-球，半径为 $R$）的覆盖情况：
   • 小素数 ($p^r \le 2R$)： 利用截断容斥原理和小素数余数集的容量界限，估计窗口内未被覆盖的点数。这确立了未覆盖点的数量渐近为 $N/\zeta(dr)$，其中 $N$ 是窗口的体积。
   • 大素数 ($p^r > 2R$)： 剩余的未覆盖点必须由不同的不同大素数覆盖。通过使用涉及伯努利随机变量、鞍点法以及精确素数和估计的技术，估计此类事件的概率，记为 $Z_{s,K}(L)$。推导了 $-\log Z_{s,K}(L)$ 的渐近展开式。
3. 几何限制： 为了确保大空洞对应于一个有限连通分量（而非无限连通分量），作者构建了一个周围的“壳层”（shell）的 $r$-free 点。该壳层阻止了路径从空洞通向无穷远，从而确保了连通分量的有限性，并使其拥有代表元。证明了强制执行该壳层条件的代价在对数密度尺度上是可忽略不计的。
4. 误差控制： 文中提供了涉及 $\log R$ 和 $\log \log R$ 幂次的严格误差项，确保了对范数参数 $q$ ($1 \le q \le \infty$) 的一致性。

主要贡献与结果

• 空洞密度的渐近公式： 主要结果（定理 1.7）确立了对于固定的 $d, r$，密度的负对数 $\xi \in \{\lambda, \kappa, \eta\}$ 在 $R \to \infty$ 时具有如下渐近展开式：
  $$-\log \xi_{d,r,q}(R) = a_{d,r,q} R^d \left[ d(dr-1)\log R + dr \log \log R - \Upsilon_{d,r,q} + \frac{r \log \log R - \Lambda_{d,r,q}}{\log R} + O\left(\frac{(\log \log R)^2}{(\log R)^2}\right) \right]$$
  其中 $a_{d,r,q}$ 是体积因子，$\Upsilon_{d,r,q}, \Lambda_{d,r,q}$ 是依赖于 $d, r, q$ 的显式常数。这精炼了先前的上界和正密度构造。

• 一维情形（$r$-free 整数之间的间隙）： 通过将分析特化到 $d=1$，本文推导了非 $r$-free 整数连贯序列的密度。对于长度为 $g$ 的间隙，由 $r$-free 整数紧跟恰好 $g-1$ 个非 $r$-free 整数（然后又是另一个 $r$-free 整数）的密度由一个精确的渐近公式给出（定理 1.11）。这改进了 Grimmett 的领先项，并通过提供显式的低阶项和误差界限，精炼了 Jiang 最近的预印本。

• 高维机制： 本文将分析扩展到维度 $d$ 随 $R$ 增长的情况（具体为 $d = O((\log R)^r)$）。研究表明，负对数密度的领先项为 $\Phi_{dr}(N/\zeta(dr))$，其中 $\Phi_s(K) \approx (s-1)K \log K$。

• 与独立模型的比较： 在高维情况下，本文将实际的空洞密度与一个格点以概率 $1 - \zeta(dr)^{-1}$ 独立为非 $r$-free 点的模型进行了比较。研究发现，实际的大空洞概率显著小于独立模型所预测的概率；具体而言，它们负对数的比值随 $\log N / \log 2$ 增长。这突显了幂自由整数中固有的算术结构所带来的强相关性。

意义与主张
本文声称提供了关于幂自由格点中大空洞密度的首个精确渐近公式，包括精确的低阶项和误差估计。

• 它通过量化密度随空洞大小增加的衰减速率，精炼了 Baake, Moody, 和 Pleasants 以及 Pleasants 和 Huck 的正密度空洞构造。
• 它精炼了对 $r$-free 整数间隙统计的理解，提供了比以往概率表示（Grimmett）更详细的展开，并修正并改进了最近的预印本（Jiang）关于特定误差项形式以及“至少”与“恰好”间隙密度区别的处理。
• 它证明了筛法的算术约束（幂自由条件）产生了一种“排斥”效应，使得大空洞比在纯随机（独立）设定下更难出现，这种现象在高维情况下变得愈发显著。

这项工作被呈现为一个严谨的解析数论结果，依赖于已建立的工具（中国剩余定理、容斥原理、素数定理估计）应用于特定的几何筛法问题，并未在数学范围之外提出新的实验应用或未来方向。