[論文レビュー] Borsuk's Conjecture Fails in Dimensions 321 and 322

Oleg Pikhurko|ArXiv.org|Feb 12, 2002

Limits and Structures in Graph Theory参考文献 6被引用数 7

ひとこと要約

この論文は、Borsukの予想が次元321で成り立たないことを証明している。ℝ³²¹内に、直径がより小さい部分集合に分割できるより少ない数の部分集合に分割できない集合を構成することで、f(321) ≥ 333であることを示した。Leech格子の単位ベクトルに対する組合せ論的議論を用い、321次元のアフィン部分空間に存在する大きな部分集合を同定した。Hinrichsの研究で知られている直径の上限を活用することで、f(321)の下界を確立した。

ABSTRACT

Borsuk's conjecture states that any bounded set in R^n can be partitioned into n+1 sets of smaller diameter. It is known to be false for all n bigger or equal to 323. Here we show that Borsuk's conjecture fails in dimensions 321 and 322. (This result has been independently discovered by Hinrichs and Richter.)

研究の動機と目的

• Borsukの予想が成り立たない最小の次元を特定すること、すなわちf(n) > n + 1となる最小の次元を求める。
• 以前の結果を上回る、n₀ = min{n ∈ ℕ | f(n) > n + 1}の上界を改善すること。
• f(321) ≥ 333を示し、予想が次元321およびそれ以上の次元で成り立たないことを証明すること。
• 次元322に対しても、同様の集合を322次元のアフィン部分空間に構成することで、結果を拡張すること。

提案手法

• Leech格子 Λ₂₄ 及びその単位長ベクトルからなる部分集合 M を用い、座標パターンの3種類のタイプによって明示的に記述する。
• 幾何的性質（特に直径に関連する性質）を保存する線形写像 Φ: ℝ²⁴ → ℝ³²⁴ を用い、M を ℝ³²⁴ に埋め込む。
• 頂点を M と {1,…,24} の3要素部分集合からなる二部グラフ G を構成し、3つの座標の絶対値が等しいような三つ組に対応するベクトルと接続する。
• 二重数え上げ法を用いて、ある3要素部分集合 {k,l,m} が M に属する少なくとも116,424個のベクトルと接続されていることを示し、N ⊂ M を構成する。
• Φ(N) が ℝ³²⁴ 内の321次元アフィン部分空間に含まれることを示し、Hinrichsの結果により Φ(M) の直径を保ったままであることを確認する。
• Hinrichsの結果（直径が Φ(M) より小さい任意の部分集合は Φ(M) の点をたかだか350個まで含む）を応用し、f(321) の下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 f(n) > n + 1 となる最小の次元 n は何か、すなわちBorsukの予想が成り立たない最小の次元は何か？
• RQ2 n₀ の上界を、以前の最高の境界である323未満にまで低下させることは可能か？
• RQ3 ℝ³²¹ 内に、直径がより小さい部分集合に分割するため、322個より多くの部分集合を必要とする有界集合が存在するか？
• RQ4 Leech格子における類似の構成により、次元321および322で反例を構成できるか？

主な発見

• この論文は f(321) ≥ 333 を確立し、Borsukの予想が次元321で成り立たないことを証明した。
• Φ(N) が ℝ³²⁴ 内の321次元アフィン部分空間に含まれるような M の部分集合 N ⊂ M で、|N| ≥ 116,424 を満たすものを構成した。
• Φ(N) の直径は Φ(M) と同じであり、Φ(M) の直径より小さい任意の部分集合はたかだか350点までしか含めないため、少なくとも116,424 / 350 > 332 個の部分集合が必要である。
• この結果により、すべての n ≥ 321 に対して f(n) > n + 1 が成り立つため、Borsukの予想は321次元以上すべての次元で成り立たない。
• 類似の構成により、Φ(K) が ℝ³²⁴ 内の322次元アフィン部分空間に含まれる M の部分集合 K ⊂ M（|K| = 143,136）を構成し、f(322) ≥ 409 を示した。
• この結果は Hinrichs と Richter によって独立に確認され、彼らはまた、L = {(x₁,…,x₂₄) ∈ M | x₁ = x₂} に対して異なる構成を用いて n₀ ≤ 298 を示したと主張している。