MathLabs

解法: 3次元の場合:$\mathbb{R}^3$ のすべての掛谷集合は次元3をもつ(ワン・ザール、2025年)

ステップ 2/5: 易しい「粘着的」な場合:太いチューブから細いチューブへの再スケーリング
ざっくり言うと

δ×δ×1\delta\times\delta\times 1 の細いチューブを、中間スケール δ≪ρ≪1\delta\ll\rho\ll 1 で ρ×ρ×1\rho\times\rho\times1 の太いチューブへとまとめる。最も好都合な(「粘着的」な)場合には、細いチューブは方向分離が許す限りきつく太いチューブの中に集まるため、各太いチューブは実際に元の配置の再スケール版として振る舞う。K(d)K(d) を仮定し、粗いスケール ρ\rho でこれを一度適用すると、1点にどれだけの太いチューブが重なり得るか(μfat\mu_{\text{fat}})が評価され、単一の太いチューブに(倍率 1/ρ1/\rho で)拡大した後に再度適用すると、その内部にどれだけの細いチューブが重なり得るか(μfine\mu_{\text{fine}})が評価される。ある点が細いチューブに属するのは、それを含む何らかの太いチューブに属し、かつその太いチューブ内でその細いチューブに属する場合に限られるので、全体の多重度は高々積 μfatμfine\mu_{\text{fat}}\mu_{\text{fine}} となる——そして K(d)K(d) を二度適用して得た二つのべき乗評価を掛け合わせると、ちょうど K(d)K(d) 自身が再現され、本当の意味での改良 K(d+α)K(d+\alpha) のための余地が残る。

μ≲μfat⋅μfine,μfat≲ρd−3,μfine≲(δ/ρ)d−3\mu \lesssim \mu_{\text{fat}}\cdot\mu_{\text{fine}},\qquad \mu_{\text{fat}}\lesssim \rho^{d-3},\quad \mu_{\text{fine}}\lesssim (\delta/\rho)^{d-3}
詳しい解説

「自明な帰結 K(d)⇒K(d)K(d)\Rightarrow K(d) を、非自明な仕方で行う」というのが、スケールに関する帰納法(ブルガン、ウルフ、1990年代)の標準的な第一歩である。ワンとザールによる粘着的掛谷予想についての先行論文(arXiv:2210.09581)は、カッツとタオの戦略に倣ってこの再スケーリング論法をさらに推し進め、配置が粘着的である限り実際の改良 K(d)⇒K(d+α)K(d)\Rightarrow K(d+\alpha) を引き出す。2025年の論文はこれを既に解決済みとして引用し、真に新しい困難、すなわち粘着的でない配置——太いチューブが ρ\rho-分離集合をはるかに超える数存在する(「超掛谷」配置)一方で、各太いチューブ内の細いチューブはすべての方向を埋めるには少なすぎる(「劣掛谷」配置)ため、どちらのスケールでも K(d)K(d) を効率的に適用できない場合——へと向かう。