ボルスク予想

ボルスク予想

ボルスク予想（ボルスクよそう）は、カロル・ボルスクに名を由来とする離散幾何学の問題です。この問題は、主に球体の分割に関する数学的探求であり、多次元の幾何学において重要な役割を果たしています。1932年にボルスクは、3次元ユークリッド空間における球体を、直径が小さな部分に4つに分割することができることを示しました。この探索は、ボルスク・ウラムの定理を基に、一般的にn次元の球体がn + 1個の小さなコンパクト集合で覆われることを証明しましたが、n個では不十分であることを示しました。

特殊な場合の解決

この問題のいくつかの特殊なケースは、過去に肯定的に解決されています。具体的には、
n = 2 の場合はボルスク自身の論文で示され、
n = 3 の場合は1947年にユリアン・ペルカル、1955年にH.G.エグレストンによって証明されました。さらに、ブランコ・グリュンバウムとヘッペス・アラダールは、より簡潔な証明を発見しました。その他の特定の集合についても研究が行われ、フーゴー・ハドヴィガー（1946）が滑らかな凸集合のケースを、A.S.リースリング（1971）が中心対称な集合の場合を、ボリス・デクスター（1995）が回転体についての結果を示しました。

否定的解決と最小次元

1993年、ジェフ・カーンとギル・カライは、nが1325以上または2014を超えるときに、n + 1個の部分に分割することが不十分であることを示しました。しかし、後にBernulf Weißbachがその証明に誤りがあると指摘し、証明の修正により1325から1560における反例としての特定の点集合が構成されました。2003年にはHinrichsとRichterによって、nが298以上の場合にn + 11個では不十分な例が示されました。さらに2013年には、Andriy V. Bondarenkoがnが65以上のケースで反例を提供し、Thomas Jenrichがその手法を用いて64次元の反例を構成しました。

最近では、2026年にMax GrinsztajnがOpenAIのAIを利用して63次元の反例を作成し、OpenAIがその他の次元における反例を発見したと報告しています。

関連する研究

ボルスク予想に関連する研究は、分割部分の最小数についての研究とも関連しています。カーンとカライは、大きなnに対して分割が必要な最小個数α(n)が(1.2)√nであることを示しました。一方で、オデッド・シュラムは、十分大きなnに対して、α(n)の上限を(√3/2 + ε)nであると示しました。正確なオーダーは未だ不明で、ある定数c > 1が存在し、任意のn ≥ 1においてα(n) > cnが成り立つことが予想されています。

シュラムはまた、定幅図形に関連する問題にも取り組みました。特定の体積条件を満たすことで、最小のeffective radiusを示す下界が証明されました。2024年には、ボルスク予想に基づく新しい構成が肯定的に解決された結果が発表されました。これらの研究は、ボルスク予想の理解を深めるとともに、離散幾何学の理論をさらに進展させています。加えて、ボルスク予想の類似の問題が2次元と3次元の球面および双曲空間においても肯定的に解決されており、様々な次元の一般化が進められています。

まとめ

ボルスク予想は、幾何学的研究において挑戦的な問題であり、具体的な数理的アプローチが必要とされています。未来の研究は、この問題の理解をさらに深め、新たな発見をもたらすことが期待されています。

もう一度検索