解法: 3次元の場合:$\mathbb{R}^3$ のすべての掛谷集合は次元3をもつ(ワン・ザール、2025年)
ざっくり言うと
離散化する: を における -分離された方向を向く、大きさ の 本のチューブとする。それらの和集合が常に体積 をもつという主張を と書く。単一のチューブから自明に が従う。1970年代のコルドバの古典的な 論法(平面掛谷定理の背後にあるのと同じ発想)は を与え、1995年のウルフの「ヘアブラシ」論法は を与えたが、ブルガン、カッツ、タオらによる深い研究にもかかわらず、そこで30年間進展が止まっていた。ワンとザールの新しいプレプリントはあらゆる に対して を証明し、これはまさに のすべての掛谷集合がハウスドルフ次元・ミンコフスキー次元ともに であるという主張である。
詳しい解説
ワンとザールの論文(2502.17655、第1節)は、主定理を、'カッツ・タオ凸ウルフ公理'(単純な方向分離を技術的に一般化したもので、帰納法を閉じるために必要)を満たす任意の チューブ族に対するこの体積評価として述べている。この論文についてのテレンス・タオの解説ブログ記事は、証明戦略がスケールに関する帰納法であると説明する:評価 があらゆるサイズのチューブ族についてあらゆるスケールで成り立つと仮定し、それを小さな について へと引き上げようとする。これを有限回繰り返すことで、 はあらゆる について まで押し上げられる。
- スケールに関する帰納法
- ブルガンとウルフが先駆けとなった証明戦略であり、中間スケールで細いチューブを太いチューブへ再編し、粗いスケールと細かいスケールの両方で仮説を適用し、結果を組み合わせることで、小さな について を段階的に引き上げようとするもの。