MathLabs

解法:三维情形:$\mathbb{R}^3$ 中每个挂谷集的维数均为3(王虹–扎尔,2025年)

第 1/5 步:把猜想重新表述为体积下界,以及通往 d=3d=3 的道路
通俗地说

离散化:设 T\mathbb{T} 为 R3\mathbb{R}^3 中沿 δ\delta-分离方向排列、尺寸为 δ×δ×1\delta\times\delta\times 1 的约 δ−2\delta^{-2} 根管。记 K(d)K(d) 为“其并集体积总是 ≳δ3−d\gtrsim \delta^{3-d}”这一陈述。单根管平凡地给出 K(1)K(1);科尔多瓦20世纪70年代的经典 L2L^2 论证(与平面挂谷定理背后思想相同)给出 K(2)K(2);沃尔夫1995年的“发刷”论证给出 K(2.5)K(2.5),此后尽管布尔甘、卡茨、陶哲轩等人做了大量深入工作,进展仍停滞了三十年。王虹与扎尔的新预印本证明了对任意 ε>0\varepsilon>0 均有 K(3−ε)K(3-\varepsilon),这正是“R3\mathbb{R}^3 中每个挂谷集的豪斯多夫维数与闵可夫斯基维数均为3”这一陈述。

∣⋃T∈TT∣≳δ3−d(K(d)),Goal: K(3−ε) for every ε>0\Big|\bigcup_{T\in\mathbb{T}} T\Big| \gtrsim \delta^{3-d} \quad (K(d)),\qquad \text{Goal: } K(3-\varepsilon) \text{ for every } \varepsilon>0
详细分析

王虹与扎尔的论文(2502.17655,第1节)把主定理表述为对满足“卡茨–陶凸沃尔夫公理”(对单纯方向分离的技术性推广,闭合归纳所必需)的任意 δ×δ×1\delta\times\delta\times 1 管族成立的这一体积下界。陶哲轩关于该论文的解说博客文章说明,证明策略是按尺度归纳:假设界 K(d)K(d) 对任意大小的管族在每个尺度上都成立,再设法将其提升为对某个小的 α>0\alpha>0 成立的 K(d+α)K(d+\alpha);有限次迭代后便可将 dd 推高到对任意 ε>0\varepsilon>0 成立的 3−ε3-\varepsilon。

本步骤中的术语
按尺度归纳
由布尔甘和沃尔夫开创的证明策略,试图通过在中间尺度把细管重新组合为粗管、在粗尺度与细尺度都应用假设、再合并结果,从而对某个小的 α>0\alpha>0 实现 K(d)⇒K(d+α)K(d) \Rightarrow K(d+\alpha) 的自举。