王虹与挂谷猜想：三维情形的最终解决¶

摘要¶

挂谷集合猜想（Kakeya set conjecture）是几何测度论和调和分析中一个长期悬而未决的核心问题。该猜想断言：\(\mathbb{R}^d\) 中的 Kakeya 集（即包含每个方向单位线段的集合）的 Minkowski 维数和 Hausdorff 维数均为 \(d\)。2025年2月，王虹（Hong Wang，1991年生于广西桂林）与 Joshua Zahl 在 arXiv 上发表了 127 页的长文 [1]，宣称完整解决了该猜想的三维情形。陶哲轩（Terence Tao）称挂谷猜想为"几何测度论中最受追捧的开放问题之一"。本文系统介绍挂谷猜想的历史背景、主要技术框架以及 Wang-Zahl 证明的核心思路。

0. 作者简介¶

王虹（Hong Wang）¶

王虹（Hong Wang），1991年出生于广西桂林市平乐县，父母均为中学教师。小学时跳级两次，2004年入读桂林中学，2007年（16岁）以653分高考成绩提前批录取至北京大学。初入地球与空间科学学院，一年后转入数学科学学院，2011年获理学学士学位。

学术履历¶

主要荣誉¶

Joshua Zahl¶

Joshua Zahl，加拿大数学家，与王虹合作完成三维 Kakeya 猜想的证明。二人合作发表了三篇论文：粘性 Kakeya 集 [2]、Assouad 维数 [3]、以及最终的完整证明 [1]。

1. 引言与历史背景¶

1.1 挂谷转针问题¶

1917年，日本数学家挂谷宗一（Sōichi Kakeya）提出如下问题：在一个平面区域内，一根单位长度的针旋转 360° 所需的最小面积是多少？对于凸区域，Gyula Pál 证明最小面积为 \(\frac{1}{\sqrt{3}}\)，由高为 1 的等边三角形实现。挂谷本人猜测，无凸性限制时最小面积区域为三尖瓣线（deltoid）。

1.2 别西科维奇的反直觉构造¶

1919年，Abram Besicovitch 证明了一个惊人的结果：针可以在面积任意小的区域内旋转一周。他构造了测度为零的集合（现称为 Besicovitch 集），该集合包含每个方向的单位线段。这一结果表明，仅从测度角度无法衡量 Kakeya 集合的"大小"，需要引入更精细的维度概念。

1.3 维度猜想的现代形式¶

现代挂谷猜想可以如下离散化表述：设 \(0 < \delta < 1\)，令 \(\mathbf{T}\) 为一族 \(\delta \times \delta \times 1\) 管（tube），其中心线段方向两两 \(\delta\)-分离，且 \(|\mathbf{T}| \approx \delta^{-2}\)。则存在 \(d\) 使得

其中 \(d\) 尽可能大，最终目标是证明 \(d = 3\)。等价地，对任意 Kakeya 集 \(K \subset \mathbb{R}^3\)，有 \(\dim_M(K) = \dim_H(K) = 3\)。

2. 已有的维度下界¶

2.1 二维情形¶

二维挂谷猜想首先由 Davies (1971) 解决，后由 Córdoba 给出更简洁的 \(L^2\) 证明：利用 Fourier 变换和 Plancherel 定理，可证明二维管并的面积下界。设 \(\mathbf{T}\) 为二维 \(\delta\)-管族，Córdoba 证明

即 \(d=2\) 时的体积下界，等价于 \(\dim_M(K) = 2\)。

2.2 Bourgain-Wolff 的归纳尺度方法¶

自 Bourgain 和 Tom Wolff 起，证明高维 Kakeya 维数下界的标准技术是"归纳尺度"（induction on scales）。基本框架如下：

粗/细分解：将 \(\delta\)-管按中间尺度 \(\delta \ll \rho \ll 1\)（如 \(\rho = \sqrt{\delta}\)）分组为"粗管"（\(\rho \times \rho \times 1\) 管）。由于方向 \(\delta\)-分离，每个粗管至多包含 \((\rho/\delta)^2\) 个细管，故至少有 \(\approx \rho^{-2}\) 个粗管。

粗重数估计：设 \(\mu_{\text{fat}}\) 为典型粗管的重数（即覆盖同一点的粗管数）。应用归纳假设 \(\mathcal{K}(d)\)（即在尺度 \(\rho\) 下的体积下界），得 \(\mu_{\text{fat}} \lesssim \rho^{d-3}\)。

细重数估计：在每个粗管内部，沿轴方向 rescale \(1/\rho\)，细管变为 \((\delta/\rho) \times (\delta/\rho) \times 1\) 管，方向 \(\delta/\rho\)-分离。再次应用 \(\mathcal{K}(d)\)，得细重数 \(\mu_{\text{fine}} \lesssim (\delta/\rho)^{d-3}\)。

重数乘法原理：关键不等式为

这恰好恢复 \(\mathcal{K}(d)\)，因此需要额外的增益来推进 \(d\)。

2.3 现有最佳结果¶

Wolff（1995）利用"发刷论证"（hairbrush argument）证明 \(d \geq 2.5\)。此后，基于 Bourgain 的组合方法和 Balog–Szemerédi–Gowers 引理，最佳结果为 \(d \approx 2.5417\)（对应和差问题 sum-difference problem 中 \(N^{2-1/6}\) 的界）。三维情形始终未被完全解决。

3. Wang-Zahl 证明的整体架构¶

3.1 粘性与非粘性的二分¶

Wang-Zahl 的证明引入了"粘性"（sticky）与"非粘性"（non-sticky）的二分法：

• 粘性情形：细管在粗管内尽可能聚集。此时粗管近似为 Kakeya 构型，可直接应用归纳假设。
• 非粘性情形：细管在粗管内分布稀疏，粗管形成"超 Kakeya 构型"（管数超过 \(\rho\)-分离假设允许的数量）。

粘性情形由 Wang-Zahl 在先前工作 [2]（arXiv:2210.09581）中解决。三维完整证明的难点在于非粘性情形。

3.2 增强重数不等式与 Frostman 违反¶

在非粘性情形下，设粗管数为 \(m \cdot \rho^{-2}\)（\(m \gg 1\)），每个粗管包含 \(m^{-1}(\delta/\rho)^{-2}\) 个细管。此时粗管形成"超 Kakeya 构型"，而细管形成"亚 Kakeya 构型"。标准的重数乘法原理 \(\mu \lesssim \mu_{\text{fat}} \cdot \mu_{\text{fine}}\) 无法给出增益。

Wang-Zahl 的关键改进是引入增强重数不等式：用管并的实际填充部分 \(\bigcup_{T \subset T_\rho} T\) 的重数 \(\mu_{\text{coarse}}\) 替代粗管重数 \(\mu_{\text{fat}}\)。由于颗粒结构使得 \(\bigcup_{T \subset T_\rho} T\) 由本质不相交的颗粒组成，\(\mu_{\text{coarse}}\) 比 \(\mu_{\text{fat}}\) 更小。具体地，应用 \(\mathcal{K}(d)\) 于颗粒排列（其局部类似于 \(\rho \times \rho \times 1\) 管），得 \(\mu_{\text{coarse}} \lesssim \rho^{-d}\)；对亚 Kakeya 构型的细管，得 \(\mu_{\text{fine}} \lesssim m^{-\sigma}(\delta/\rho)^{-d}\)。从而

实现了所需的增益。

另一条路径是证明Frostman 违反：若集合 \(E\) 在某 \(\rho\)-球内过于稠密，即存在 \(x\) 使得

则由于 \(E\) 的 \(\rho\)-邻域体积 \(\gtrsim \rho^{3-d}\)（由 \(\mathcal{K}(d)\)），需要 \(\gtrsim \rho^{-d}\) 个球覆盖 \(E\)，从而 \(|E| \gtrsim \delta^{3-d-\alpha}\)，实现维度增益 \(\mathcal{K}(d+\alpha)\)。这一 Frostman 型界 \(|E \cap B(x,\rho)| \lesssim (\rho/\delta)^d \delta^3\) 的违反，提供了从 \(\mathcal{K}(d)\) 推进到 \(\mathcal{K}(d+\alpha)\) 的替代路径。

3.3 Graininess 与多项式方法¶

Kakeya 集合在多尺度结构中呈现"颗粒化"（graininess）：细管在粗管内组织为更大的"颗粒"（grain）——\(\delta \times \rho c \times c\) 的棱柱，其中 \(\delta \ll \rho c, c \ll 1\)，且颗粒之间本质不相交。颗粒的具体维度并非预先给定，但 Guth 的多项式方法提供了颗粒化约化：它证明颗粒的 \(\rho c\) 维度显著大于 \(\delta\)，且不失一般性可假设颗粒尽可能大。

这一颗粒化是证明的关键结构输入。同一粗管内的颗粒本质不相交，但不同粗管的颗粒可能重叠。颗粒的排列方式决定了后续的案例分析：若颗粒排列类似于 Kakeya 或亚 Kakeya 构型，可直接应用 \(\mathcal{K}(d)\)；否则进入结构定理的分析。值得注意的是，Guth 据报道有一条不依赖多项式方法的替代路径来获得颗粒化，但细节尚未被研究。

4. 核心技术工具¶

4.1 结构定理¶

当颗粒排列不形成 Kakeya 或亚 Kakeya 构型时，Wang-Zahl 证明了一个结构定理：颗粒组织为更大的凸棱柱 \(W\)，每个棱柱内的颗粒形成"超 Kakeya 构型"（颗粒数超过 \(\rho\)-分离假设允许的数量）。该定理将一般情形归结为两类可处理的子情形：

情形 1 — 厚棱柱（所有维度 \(\gg \delta\)）：通过细致的归纳尺度论证，\(\mathcal{K}(d)\) 推出超 Kakeya 构型的"X 射线"版本（即超 Kakeya 构型比普通 Kakeya 构型有更好的体积下界）。这一 X 射线估计给出 Frostman 违反，从而关闭归纳。

情形 2 — 薄棱柱（厚度 \(\approx \delta\)）：利用 Córdoba 的 \(L^2\) 方法和超 Kakeya 性质，证明每个棱柱几乎被 \(E\) 完全填充。这些棱柱本身可作为颗粒，与颗粒维度的最大性矛盾（在适当设置下），从而处理最后一个情形。

4.2 多重尺度结构定理与 Assouad 维数¶

Wang-Zahl 在 [3]（arXiv:2401.12337）中建立了多重尺度结构定理，这是最终证明的另一关键输入。该定理断言：对任意 Kakeya 集 \(K \subset \mathbb{R}^3\)，存在相距足够远的尺度 \(0 < \delta < \rho \leq 1\)，使得 \(K\) 的 \(\delta\)-邻域体积接近其 \(\rho\)-邻域体积。这一多尺度放大性质迫使 Assouad 维数达到最大值 \(3\)。

论文 [3] 的主要定理为：每个 Kakeya 集 \(K \subset \mathbb{R}^3\) 的 Assouad 维数为 \(3\)。此外，每个 Ahlfors-David 正则的 Kakeya 集的 Hausdorff 维数为 \(3\)。论文还引入了"稳定相等"（stably equal）的 Hausdorff 维数和 Packing 维数概念，并证明具有该性质的 Kakeya 集的 Hausdorff 维数为 \(3\)。

4.3 体积估计¶

最终论文 [1] 的标题"凸集并的体积估计"揭示了核心工具。设 \(\mathbf{T}\) 为一族 \(\delta \times \delta \times 1\) 管，满足以下凸集非集中条件：对任意凸集 \(V\)，包含在 \(V\) 中的管数不超过 \(|V| \cdot \delta^{-3+o(1)}\)。在此条件下，Wang-Zahl 证明

即管并的体积几乎达到最大值。该估计是维度结论的直接推论：当管的方向 \(\delta\)-分离且数量为 \(\delta^{-2}\) 时，非集中条件自然成立，从而推出 \(d=3\) 的体积下界。

5. 证明的规模与影响¶

5.1 技术规模¶

完整证明横跨 127 页，包含 14 幅图示。Quanta Magazine 称之为"百年一遇的证明"（"Once in a Century" Proof）。证明融合了众多前人技术：

• Bourgain-Wolff 的归纳尺度框架
• Tao 的和差方法与 Balog–Szemerédi–Gowers 引理
• Guth 的多项式方法（颗粒化约化）
• Wolff 的发刷论证
• Córdoba 的 \(L^2\) 方法
• Katz-Tao 的粘性 Kakeya 策略

陶哲轩评价："案例分析和迭代方案的复杂性令人惊叹"（"the case analysis and iterative schemes required are remarkably sophisticated and delicate"）。他指出，证明的非粘性情形需要处理粗管的"超 Kakeya 构型"和细管的"亚 Kakeya 构型"之间的不平衡，这要求引入增强重数不等式和结构定理等全新工具。

5.2 后续开放问题¶

尽管三维 Kakeya 猜想已解决，以下问题仍然开放：

1. 高维 Kakeya 猜想（\(d \geq 4\)）：目前的最佳结果远未达到 \(d\)。
2. Kakeya 极大函数猜想：Wang-Zahl 的方法给出了非平凡的界，但尚未完全解决。
3. 有限域 Kakeya 猜想：与有限域上的类似问题仍有本质区别。

6. 参考文献¶

[1] H. Wang, J. Zahl. Volume estimates for unions of convex sets, and the Kakeya set conjecture in three dimensions. arXiv:2502.17655, 2025. 127 pages.

[2] H. Wang, J. Zahl. Sticky Kakeya sets in three dimensions. J. Amer. Math. Soc., to appear, 2026. arXiv:2210.09581, 69 pages.

[3] H. Wang, J. Zahl. Assouad dimension of Kakeya sets in ℝ³. Inventiones Mathematicae, to appear. arXiv:2401.12337, 48 pages.

[4] T. Wolff. Recent work connected with the Kakeya problem. Prospects in Mathematics (Princeton, NJ, 1996), Amer. Math. Soc., Providence, RI, 1999, pp. 129–162.

[5] J. Bourgain. On the Erdős-Volkmann and Katz-Tao ring conjectures. Geom. Funct. Anal. 13 (2003), no. 2, 334–365.

[6] N. Katz, T. Tao. Recent progress on the Kakeya conjecture. Proc. 6^th Int. Conf. on Harmonic Analysis and Partial Differential Equations, 2002, pp. 161–179.

[7] L. Guth. The polynomial method in combinatorial and analytic geometry. Lecture Notes, 2020.

[8] T. Tao. The Kakeya conjecture in three dimensions (blog post). February 24, 2025. terrytao.wordpress.com.

本文作者： 王科文