[論文レビュー] Proof of Schur's conjecture in $\mathbb R^d$

Andrey Kupavskii, Alexandr Polyanskii|arXiv (Cornell University)|Feb 15, 2014

Limits and Structures in Graph Theory参考文献 8被引用数 3

ひとこと要約

この論文は $\mathbb{R}^d$ におけるシュールの予想を証明し、$\mathbb{R}^d$ に存在する $n$ 頂点の直径グラフは、サイズ $d$ のクリークを高々 $n$ 個もつことを確立した。証明は、$\mathbb{R}^d$ 内の単位正則単体とそれらの相互距離に関する重要な幾何学的補題に依存しており、その補題は、2つのこのような単体が少なくとも $d-2$ 個の頂点を共有するか、あるいは異なる単体に属するある頂点のペアが距離 1 よりも離れていることを示している。この結果は、半径 $r > 1/\sqrt{2}$ の球面上の直径グラフにも拡張可能である。

ABSTRACT

In this paper we prove Schur's conjecture in $\mathbb R^d$, which states that any diameter graph $G$ in the Euclidean space $\mathbb R^d$ on $n$ vertices may have at most $n$ cliques of size $d$. We obtain an analogous statement for diameter graphs with unit edge length on a sphere $S^d_r$ of radius $r>1/\sqrt 2$. The proof rests on the following statement, conjectured by F. Morić and J. Pach: given two unit regular simplices $Δ_1,Δ_2$ on $d$ vertices in $\mathbb R^d$, either they share $d-2$ vertices, or there are vertices $v_1\in Δ_1,v_2\in Δ_2$ such that $\|v_1-v_2\|>1$. The same holds for unit simplices on a $d$-dimensional sphere of radius greater than $1/\sqrt 2$.

研究の動機と目的

• シュールの予想を解決すること。すなわち、$\mathbb{R}^d$ における $n$ 頂点の直径グラフは高々 $n$ 個のサイズ $d$ のクリークをもつ。
• 半径 $r > 1/\sqrt{2}$ の球面上におけるシュールの予想の球面的類似を確立すること。
• F. モリッチと J. パッチが提起した、$\mathbb{R}^d$ 内の単位正則単体同士の相互距離に関する幾何学的予想を証明すること。
• ユークリッド空間および球面空間における直径グラフの極値的性質を理解するための統一的枠組みを提供すること。

提案手法

• 幾何学的補題の証明：$\mathbb{R}^d$ 内の2つの単位正則単体は、$d-2$ 個の頂点を共有するか、あるいはそれぞれの単体から1つずつ選んだ頂点のペアで距離 $>1$ のものが存在する。
• 固定された頂点からの距離を増加させながら、点を含む領域の次元を低下させるための再帰的射影法を、球面的ルーロー単体に適用すること。
• 球面幾何学とユークリッド幾何学における三角不等式による距離比較と、球面版の余弦定理の適用。
• メトリック空間における距離比較と幾何的射影を通じて、キルツブラウンの定理を暗黙的に利用すること。
• 連続的変形と半径依存の距離制御を用いて、ユークリッドの場合の結果を球面の場合に移行すること。
• 凸包の境界における極値点解析と帰納法を用いて、幾何的制約のもとで距離を最大化すること。

実験結果

リサーチクエスチョン

• RQ1 任意の $\mathbb{R}^d$ における $n$ 頂点の直径グラフは、高々 $n$ 個のサイズ $d$ のクリークをもつのか？
• RQ2 シュールの予想は、半径 $r > 1/\sqrt{2}$ の球面上の直径グラフへ拡張可能か？
• RQ3 2つの単位正則単体が $d-2$ 個の頂点を共有しない場合、異なる単体に属するある頂点ペアが距離 $>1$ 離れている必要があるか？
• RQ4 大きな半径において、球面的距離制約のもとでも直径グラフにおける $d$-クリークの極値的上限が保たれるか？

主な発見

• シュールの予想は $\mathbb{R}^d$ で完全に解決された：$n$ 頂点の直径グラフは高々 $n$ 個のサイズ $d$ のクリークをもつ。
• 半径 $r > 1/\sqrt{2}$ の球面 $S^d_r$ において、シュールの予想の球面的類似が成り立つ。直径グラフは高々 $n$ 個のサイズ $d$ のクリークをもつ。
• F. モリッチと J. パッチの幾何学的予想は証明された：$\mathbb{R}^d$ 内の2つの単位正則単体は、$d-2$ 個の頂点を共有するか、あるいは異なる単体から選んだある頂点ペアが距離 $>1$ 離れている。
• 半径 $r > 1/\sqrt{2}$ の球面上の単位辺長の球面的 $d$-単体に対しても、同様の結論が成り立ち、相互距離とクリーク数の制約が保たれる。
• 反復的射影と球面領域上での距離最大化による証明手法は、固定点からの距離を維持または増加させながら次元を低下させるのに有効である。
• この手法により、直径グラフにおける $d$-クリークの数に対するタイトな上限が確立され、離散幾何学における長年の予想が確認された。