解法:三维情形:$\mathbb{R}^3$ 中每个挂谷集的维数均为3(王虹–扎尔,2025年)
通俗地说王虹与扎尔并不粗糙地用 δ×δ×δ 立方体铺满 E,而是证明(由于卡茨–瓦巴–陶哲轩基于粘性的方法在此不可用,他们改用古斯多项式方法处理颗粒性)粗管 Tρ 内部的管会组织成本质上互不相交的“颗粒”——尺寸为某个先验未知的中间值 δ×ρc×c 的扁平矩形棱柱,且取得尽可能大。用这些更贴合的颗粒的重数 μcoarse 替换第2步中浪费空间的粗管重数 μfat,得到严格更好的重数不等式 μ≲μcoarseμfine:若经重新缩放后,颗粒表现得像普通(或更稀疏的)挂谷配置,则 K(d) 已给出 μcoarse≲ρ−d,再配合对 μfine 的相应估计,便如粘性情形一样直接闭合归纳。
详细分析这一步(王虹–扎尔2025年,第5节,对古斯通过多项式方法引入的“颗粒性”技术的一种改编)是非粘性情形的技术核心。由于卡茨–瓦巴–陶哲轩原本基于粘性的颗粒性化归需要在此一般性下不可用的“X射线估计”,王虹与扎尔转而运用多项式分割论证,在每根粗管 Tρ 内部找出所含细管到扁平互不相交棱柱的最粗分解。只要颗粒确实比粗管本身更小,由此得到的重数不等式 μ≲μcoarseμfine 就严格优于第2步中朴素的 μ≲μfatμfine,因为此时 μcoarse 衡量的是颗粒的重叠,而非那些大得多、浪费空间的粗管的重叠。
常见错误. 颗粒的尺寸 ρc,c 并非预先固定,原则上可能退化:若 ρ≈c≈1,颗粒就是巨大的 δ×1×1 薄片,E 看起来像平面薄片的并集——此时平面情形(即 R2 证明中第3步)的经典科尔多瓦 L2 论证已经足够,这种情形容易处理。真正困难的情形是重新缩放后的颗粒完全不表现得像挂谷或次挂谷配置,这迫使需要下一步的结构定理。