解法:三维情形:$\mathbb{R}^3$ 中每个挂谷集的维数均为3(王虹–扎尔,2025年)
第 1/5 步:把猜想重新表述为体积下界,以及通往 d=3 的道路 通俗地说离散化:设 T 为 R3 中沿 δ-分离方向排列、尺寸为 δ×δ×1 的约 δ−2 根管。记 K(d) 为“其并集体积总是 ≳δ3−d”这一陈述。单根管平凡地给出 K(1);科尔多瓦20世纪70年代的经典 L2 论证(与平面挂谷定理背后思想相同)给出 K(2);沃尔夫1995年的“发刷”论证给出 K(2.5),此后尽管布尔甘、卡茨、陶哲轩等人做了大量深入工作,进展仍停滞了三十年。王虹与扎尔的新预印本证明了对任意 ε>0 均有 K(3−ε),这正是“R3 中每个挂谷集的豪斯多夫维数与闵可夫斯基维数均为3”这一陈述。
详细分析王虹与扎尔的论文(2502.17655,第1节)把主定理表述为对满足“卡茨–陶凸沃尔夫公理”(对单纯方向分离的技术性推广,闭合归纳所必需)的任意 δ×δ×1 管族成立的这一体积下界。陶哲轩关于该论文的解说博客文章说明,证明策略是按尺度归纳:假设界 K(d) 对任意大小的管族在每个尺度上都成立,再设法将其提升为对某个小的 α>0 成立的 K(d+α);有限次迭代后便可将 d 推高到对任意 ε>0 成立的 3−ε。
本步骤中的术语- 按尺度归纳
- 由布尔甘和沃尔夫开创的证明策略,试图通过在中间尺度把细管重新组合为粗管、在粗尺度与细尺度都应用假设、再合并结果,从而对某个小的 α>0 实现 K(d)⇒K(d+α) 的自举。