[論文レビュー] On the chromatic numbers of spheres in $ {\mathbb R}^n $

А. М. Райгородский|arXiv (Cornell University)|Oct 3, 2010

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

ひとこと要約

この論文は、代数的および確率的技法を用いて、単位距離が禁止されたℝⁿにおける球面の彩色数に指数的下界を確立する。任意の半径r > 1/2に対して、彩色数χ(Sₙ⁻¹ʳ)は次元nとともに指数的に増加することを証明し、線形下界を著しく改善し、Lovászによる以前に引用されたが誤りである上界χ(Sₙ⁻¹ʳ) ≤ n+1を反証する。

ABSTRACT

In this paper, we obtain new asymptotic lower bounds for the chromatic numbers of spheres.

研究の動機と目的

• ℝⁿにおける半径r > 1/2の球面Sₙ⁻¹ʳの彩色数χ(Sₙ⁻¹ʳ)の漸近的挙動を解明すること。
• Lovászの主張χ(Sₙ⁻¹ʳ) ≤ n+1（r < 1/√2のとき）を、次第に大きなnに対して厳密に反証し、指数的増加を示すこと。
• 組合せ的配置の最適化と有限体上の多項式技法を用いて、明示的な指数的下界を導出すること。
• rがnに依存する場合にも同様の解析を拡張し、彩色数の増加率を最適化すること。

提案手法

• ℤ/pℤ上にラティスに類似した構造を用いて、内積が制御された部分集合V ⊂ Sₙ⁻¹ʳを構築する。
• 距離が1でない場合にのみ辺が存在するグラフG = (V, E)を定義し、点のペアの内積がaである場合に辺を張る。
• 𝔽ₚ上での線形代数法を用い、次数<tの多変数多項式を用いて独立集合の大きさα(G) ≤ Mを評価する。
• Johnson–Schechtmanの不等式とStirlingの近似を用いて、L/Mの比を推定する。ここでLは有効な配置の数、Mは独立集合の上限を表す。
• パラメータt, b₁,…,bₜおよびl₁⁰,…,lₜ⁰を最適化し、下界の指数的ベースを最大化する。
• 下界χ(Sₙ⁻¹ʳ) ≥ (L₀/M₀ + o(1))ⁿを導出し、L₀とM₀は多項係数に基づくエントロピー的表現である。

実験結果

リサーチクエスチョン

• RQ1 固定されたr > 1/2に対して、球面Sₙ⁻¹ʳの彩色数は次元nとともに指数的に増加するか？
• RQ2 r < 1/√2のとき、χ(Sₙ⁻¹ʳ) ≤ n+1という主張が十分に大きなnに対して厳密に反証可能か？
• RQ3 n → ∞のとき、χ(Sₙ⁻¹ʳ)の最適な指数的増加率は何か？また、rに依存するか？
• RQ4 有限体上の多項式技法と組合せ的最適化を用いて、彩色数に下界を付与可能か？
• RQ5 rをnに依存させる場合、増加率はどのように変化するか？

主な発見

• 任意のr > 1/2に対して、γ(r) > 1が存在し、χ(Sₙ⁻¹ʳ) ≥ (γ(r) + o(1))ⁿを満たす。これは次元に伴う指数的増加を示している。
• r ∈ (1/2, 1/√2)のとき、明示的な下界はχ(Sₙ⁻¹ʳ) ≥ (2(1/(8r²))^(1/(8r²)) (1−1/(8r²))^(1−1/(8r²)) + o(1))ⁿであり、r → 1/√2に近づくと約1.139ⁿに近づく。
• Lovászによるχ(Sₙ⁻¹ʳ) ≤ n+1という主張は、十分に大きなnに対して誤りである。定理3により、すべての十分に大きなnに対してχ(Sₙ⁻¹ʳ) > n+1であることが示された。
• r ≥ 1/√2であっても、彩色数は指数的に増加し、下界は(1.139 + o(1))ⁿに近づく。
• 本手法により一般の下界χ(Sₙ⁻¹ʳ) ≥ L/Mが得られ、LとMは組合せ的配置から得られる多項係数である。
• 漸近的下界(L₀/M₀ + o(1))ⁿは、内積条件を満たす多項分布に沿ったエントロピー最適化により導出される。