MathLabs

解法: フランクル–ウィルソンの定理によるカーン=カライのボルスク予想の反証

ステップ 7/7: 正確なしきい値次元 d∗d^\ast は未解決のまま
ざっくり言うと

したがってボルスクの予想は、現在では(低次元や丸い、あるいは対称な形について)真であることと、(これらの組合せ論的カットを通じて高次元で)偽であることの両方が知られている。次に生じる自然な問い——ちょうどどこで切り替わるのか?——は、その物語のどちらの半分よりもはるかに難しいことが分かっており、反例が存在しうる正確な最小次元を現在誰も知らない。

d∗≤63d^\ast \le 63
詳しい解説

ボルスク予想は古典的に n≤3n \le 3 で真であることが知られており、また任意次元の滑らかな凸体についても真である。カーンとカライの反証は nn が大きい場合にのみ成立の失敗を示す。その後の明示的な構成により、既知の最小の失敗次元 d∗d^\ast は厳密に検証された n=64n = 64、あるいは(未査読のジのコンピュータ・AI支援プレプリントによれば)n=63n = 63 まで下げられたが、d∗d^\ast の正確な値は依然として未知である。

このステップで使う知識