Pólya's conjecture up to $\epsilon$-loss and quantitative estimates for the remainder of Weyl's law

本文通过提供不依赖诺伊曼特征值的韦伊律余项的显式定量估计，为有界利普希茨区域建立了波利亚猜想的$\epsilon$-损失版本，从而将猜想简化为计算问题，并识别出包括不规则形状和条带铺砌区域在内的更广泛满足该猜想甚至表现出更强特征值界的区域类别。

要点

想象你有一个神秘且形状不规则的房间（我们称之为 Ω）。你想知道如果敲击它的墙壁，这个房间能产生多少种不同的音符（或“振动”）。在数学中，这些音符被称为狄利克雷特征值，它们从最低音到最高音依次编号为 $1, 2, 3, \dots$。

一个多世纪以来，数学家们一直在试图精确预测在某个音高之下究竟存在多少音符。这被称为韦伊定律（Weyl's Law）。这就像拥有一张粗略的地图，上面写着：“如果你走到音高 $X$，你大约会发现 $Y$ 个音符。”这张地图是基于房间的体积（大小）绘制的。

然而，这张地图并不完美。总是存在一个“余项”或误差项。著名数学家乔治·波利亚（George Pólya）在 1954 年提出的一个大问题是：实际的音符数量是否总是小于或等于由体积地图预测的数量？

波利亚证明了对于能够完美铺满地板的房间（如正方形或六边形），这是成立的；但对于怪异、锯齿状或不规则的房间，这仍然是一个未解之谜。

主要突破："$\epsilon$-损耗”

江仁金和林芳华的这篇论文并没有立即解决每一个房间中每一个音符的谜题。相反，他们发现了一个巧妙的变通方法。

这样想：波利亚最初的猜测是房间恰好能容纳 $N$ 个音符。作者们说：“好吧，让我们稍微宽容一点。假设房间能容纳 $N \times (1 + \epsilon)$ 个音符，其中 $\epsilon$ 是一点点额外的空间（比如 1% 或 0.1%）。”

他们证明了，对于任何具有合理良好边界（即“利普希茨区域”）的房间，如果你观察高音调的音符（那些具有极高能量的音符），音符的数量确实少于这个略微膨胀的预测值。

“计算”转折：
该论文表明，要证明波利亚的严格猜想对某个特定房间成立，你只需要检查直到某个“截止”音高之前的音符。一旦超过那个音高，数学就保证了该规则成立。这将一个巨大且理论上不可能解决的问题，转化为了一个可管理的计算机计算问题。你只需要计算低音调音符的数值，高音调音符会自动满足条件。

“条带铺砌”的秘密

作者们发现了一类特殊的形状，他们称之为**“条带铺砌区域”**（Strip-Tiling Domains）。

想象一条长长的走廊。如果你能将那个形状怪异的房间旋转并沿着走廊滑动，从而在不留缝隙或不重叠的情况下覆盖整个地板，那么它就是一个条带铺砌区域。

• 令人惊讶的是：对于这些形状，房间实际上比波利亚最初猜测的更高效。它容纳的音符数量少于体积地图的预测值。
• 三角形的例子：这对三角形来说意义重大！由于任何三角形都可以铺满平面（你可以将它们完美地拼接在一起），作者们证明了波利亚猜想对每一个三角形都成立，而且事实上，估算结果甚至比预期的还要好。

“瑞士奶酪”策略

如果你有一个完美的形状（比如一个大正方形），并在上面打孔（移除立方体），规则仍然成立吗？

作者们表明，如果你从一个遵循该规则的形状（如铺砌形状或三角形）开始，并移除一组小立方体（就像从饼干上咬下一口），只要原始形状的“表面积”相对于孔洞的总大小足够大，该规则仍然成立。

他们称这组立方体为**“可容许类”**。这就像在说：“只要饼干上的孔洞不是太多，关于音符数量的规则就依然有效。”

“惠特尼分解”（数学工具）

为了证明这些结果，作者们使用了一种称为惠特尼分解（Whitney Decomposition）的技术。

• 类比：想象你有一个锯齿状、不规则的形状。为了理解它，你不会一次性看整个混乱的场面。相反，你用网格覆盖它，网格由许多微小的、互不重叠的正方形组成（就像马赛克）。
• 神奇之处：他们利用这个网格来计算小正方形内的音符数量，然后将它们相加。通过仔细控制这些正方形边缘的“误差”，他们能够为音符数量创建一个精确的“上界”（上限）。这使得他们能够证明，即使边界混乱，音符的数量也永远不会超过这个限制。

他们声称的总结

1. $\epsilon$-损耗版本：对于任何有界房间，如果你观察足够高的音符，其数量严格小于 $(1 + \epsilon)$ 倍的体积预测值。这将问题简化为对低音调音符的计算机检查。
2. 比预期更好：对于“条带铺砌”形状（包括所有三角形），音符的数量实际上低于标准预测值，而不仅仅是低于宽松预测值。
3. 孔洞是可以的：你可以从一个有效的形状中移除特定类型的“瑞士奶酪”图案（立方体），只要原始形状相对于孔洞足够大，规则仍然成立。
4. 没有“诺伊曼”技巧：以前的方法通常依赖于将房间与“诺伊曼”版本（具有不同边界规则的房间）进行比较。作者们找到了一种新方法，仅使用“狄利克雷”规则（标准的振动墙壁）来证明这一点，使他们的证明更简洁、更直接。

简而言之，这篇论文说：“我们目前还无法证明每个怪异形状中每一个音符的规则都成立，但我们可以证明高音调音符的规则成立，并且我们已经表明，对于许多特定形状（如三角形和条带铺砌），该规则实际上比我们想象的还要强。”

技术摘要

技术摘要：Pólya 猜想直至$\epsilon$-损耗及 Weyl 定律余项的定量估计

问题陈述
本文探讨了谱几何中关于有界区域$\Omega \subset \mathbb{R}^n$（$n \geq 2$）上 Dirichlet 拉普拉斯算子的两个相互关联的问题：

1. Pólya 猜想：该猜想断言，对于任意有界开区域$\Omega$，第$k$个 Dirichlet 特征值$\lambda_k(\Omega)$满足不等式$k \leq \frac{|\Omega|\omega(n)}{(2\pi)^n} \lambda_k(\Omega)^{n/2}$对所有$k \in \mathbb{N}$成立。尽管该猜想已在平铺区域及特定形状（球体、扇形、圆环）上得到证明，但在一般区域上仍未解决。
2. Weyl 定律的定量余项：Weyl 定律提供了特征值计数函数$N_\Omega^D(\lambda) = \#\{k : \lambda_k(\Omega) < \lambda\}$的渐近行为。余项$R_\Omega(\lambda) = N_\Omega^D(\lambda) - \frac{|\Omega|\omega(n)}{(2\pi)^n} \lambda^{n/2}$已知为$o(\lambda^{n/2})$，但以往的结果往往缺乏对所有特征值均有效的显式常数或一致界，特别是在粗糙（Lipschitz）区域上。

方法论
作者采用了改进的特征值估计、几何分解和单调性论证相结合的方法：

• 乘积域与条带平铺域上的改进估计：基于 Laptev 关于乘积域的工作及 Pólya 的平铺方法，作者推导了乘积域$\Omega_1 \times \Omega_2$及“条带平铺”域（即在前$n-1$个方向上通过等距变换可平铺条带$R^{n-1} \times (0, w)$的区域）上特征值计数函数的更锐利上界。这些估计包含了显式的负低阶项，改进了标准的 Pólya 界。
• Whitney 分解：为了处理一般的 Lipschitz 区域，作者利用了区域及其补集的 Whitney 分解。这使得他们能够通过求和二元立方体的贡献来界定计数函数，从而避免了使用 Courant 经典 Dirichlet-Neumann 括号法中核心的 Neumann 特征值。
• 立方体上的定量下界：通过分析与球相交的格点几何，论文建立了立方体（进而推广至长方体）上计数函数的显式下界。这些界对于估计从大区域中移除子区域（如立方体）时引入的“误差”至关重要。
• 单调性与区域扰动：该策略涉及将一般区域$\Omega$包含在一个更大的“良好”区域$T$（如条带平铺域）内，并分析余项$T \setminus \Omega$。通过证明$T$满足优于 Pólya 的估计，且被移除部分$T \setminus \Omega$具有受控的特征值计数，作者推导出了$\Omega$的界。

主要贡献与结果

1. 一致定量余项估计（定理 1.5）：
   论文为有界 Lipschitz 区域上 Weyl 定律余项提供了带有显式常数的一致估计的新证明。对于任意$k \in \mathbb{N}$：
   $$k \leq \frac{|\Omega|\omega(n)}{(2\pi)^n} \lambda_k(\Omega)^{n/2} + C(n, \Omega, \lambda_k) \frac{\omega(n)}{(2\pi)^n} \lambda_k(\Omega)^{\frac{n-1}{2}}$$
   其中常数$C$显式依赖于 Lipschitz 常数$C_{\text{Lip}}(\Omega)$、边界面积以及包含$\Omega$的最小允许矩形的几何性质。同时也建立了相应的下界。该结果是在不依赖 Neumann 特征值的情况下推导得出的。

2. Pólya 猜想的$\epsilon$-损耗版本（定理 1.3）：
   作者证明，对于任意$\epsilon \in (0, 1)$，存在一个显式可计算的阈值$\Lambda(\epsilon, \Omega)$，使得对于所有特征值$\lambda_k(\Omega) \geq \Lambda(\epsilon, \Omega)$，Pólya 猜想的$\epsilon$-损耗版本成立：
   $$k \leq (1 + \epsilon) \frac{|\Omega|\omega(n)}{(2\pi)^n} \lambda_k(\Omega)^{n/2}$$
   对于凸区域，阈值$\Lambda$可以取得更小。论文指出，这将大特征值情形下猜想的验证问题简化为有限个低于$\Lambda$的特征值的计算问题。

3. 满足 Pólya 猜想的新区域类：
   论文识别了所有维度$n \geq 2$中满足完整 Pólya 猜想的新区域类，即使它们具有不规则的形状或边界：

   • 条带平铺域：作者证明条带平铺域满足严格优于 Pólya 猜想的不等式（定理 1.10）。
   • 移除立方体的区域：如果一个条带平铺域（或一个满足 Pólya 猜想的区域与一个区间的乘积）移除了一组不相交的立方体，只要原始区域的“侧面”表面积相对于被移除立方体的总表面积足够大，则猜想对剩余区域成立（定理 1.15）。
   • 具体示例：这包括$\mathbb{R}^2$中的三角形（推论 1.12）以及通过从条带平铺域中移除特定序列的立方体而形成的各种区域（图 2）。

4. 三角形的改进估计：
   对于$\mathbb{R}^2$中的任意三角形，论文建立了比经典 Pólya 结果更锐利的界：
   $$k \leq \frac{|\Omega|}{4\pi} \lambda_k(\Omega) - \frac{\max\{|ab|, |bc|, |ca|\}}{12\pi} \lambda_k(\Omega)^{1/2}$$

意义与主张
论文声称其主要意义在于为 Pólya 猜想提供了一种定量的且显式的方法。通过建立带有显式常数的一致余项估计，作者将大特征值情形下验证猜想的问题简化为有限次计算检查。

作者强调，他们的方法在不使用 Neumann 特征值的情况下给出了 Courant 型余项估计的新证明，这偏离了经典技术。此外，将条带平铺域及其扰动（移除立方体）识别为满足 Pólya 猜想的区域类，将猜想已知的有效性范围从平铺区域及球体、扇形等简单形状扩展开来。论文谦逊地指出，虽然它将$\epsilon$-损耗版本简化为计算问题，但一般 Lipschitz 区域上的完整猜想仍未解决，这取决于能否获得补区域$T \setminus \Omega$计数函数的更好下界。