[論文レビュー] Counterexamples to Borsuk's conjecture on spheres of small radii

Андрей Борисович Купавский, А. М. Райгородский|arXiv (Cornell University)|Oct 3, 2010

Digital Image Processing Techniques参考文献 6被引用数 5

ひとこと要約

この論文は、高次元ユークリッド空間における半径 r > 1/2 の球面上で、ボルスキーの予想に対する反例を構成する。任意の r > 1/2 に対して、ある次元 d₀ が存在し、すべての d ≥ d₀ に対して、球面 Sᵣ^{d−1} 上に直径が 1 の集合が存在し、それが d+1 個のより小さい直径の部分に分割できないことを証明する。これにより、このような球面上での予想が否定され、必要な部分の数が d に対して線形より速く増加することを示している。

ABSTRACT

In this work, the classical Borsuk conjecture is discussed, which states that any set of diameter 1 in the Euclidean space $ {\mathbb R}^d $ can be divided into $ d+1 $ parts of smaller diameter. During the last two decades, many counterexamples to the conjecture have been proposed in high dimensions. However, all of them are sets of diameter 1 that lie on spheres whose radii are close to the value $ {1}{\sqrt{2}} $. The main result of this paper is as follows: {\it for any $ r > {1}{2} $, there exists a $ d_0 $ such that for all $ d \ge d_0 $, a counterexample to Borsuk's conjecture can be found on a sphere $ S_r^{d-1} \subset {\mathbb R}^d $.

研究の動機と目的

• 高次元空間における半径 r > 1/2 の球面上に直径 1 の集合が存在する場合、ボルスキーの予想を否定すること。
• ボルスキーの予想に対する反例が、半径 1/√2 に近い球面上でのみ存在するのではなく、半径 1/2 に限りなく近い球面上でも存在することを示すこと。
• このような集合をより小さい直径の部分に分割するために必要な最小部分数の下界を確立し、十分に大きな d に対してそれが d+1 を超えることを示すこと。
• f_r(d) > d+1 または f_r(d) ≤ d+1 となる境界の閾値関数 r(d) = 1/2 + φ(d) の挙動を特定し、既知の境界の差を狭めること。

提案手法

• r > 1/2 の場合、ℝ^d 内の球面 Sᵣ^{d−1} 上に直径 1 の有限集合を構成する。
• 極値的組合せ論と多項式最適化技術を用いて、直径 1 の集合を分割するために必要な最小部分数 f_r(d) の上限を求める。
• ボルスキー問題に関する先行研究で用いられた多項式法の変種を適用し、特定の多項式クラス上で |h(−n)|/h(n) を最大化することに注力する。
• 整数格子 ℤⁿ の部分集合を、ℓ²ノルムを固定するように選ぶことにより、球面上の集合の新規構成を導入し、直径が一様になるように保証する。
• 得られた集合 Ω′ の次元を分析して f_r(d) の境界を精緻化し、固定された r > 1/2 に対して f_r(d) が d の任意の多項式より速く増加することを示す。
• 漸近的解析を用いて、r(d) = 1/2 + φ(d) の閾値挙動を特定し、φ(d) = o(1) および φ(d) = O(1/d) の場合に応じて、f_r(d) > d+1 または f_r(d) ≤ d+1 となるかを区別する。

実験結果

リサーチクエスチョン

• RQ1 半径 r > 1/2 の球面上に直径 1 の集合が存在する場合で、r が 1/2 に限りなく近い場合でも、ボルスキーの予想を反証できるか？
• RQ2 Sᵣ^{d−1} 上に直径 1 の集合が存在する場合、f_r(d)（より小さい直径の部分に分割するために必要な最小部分数）の漸近的増加率はどのようになるか？
• RQ3 f_r(d) > d+1 となるような閾値関数 r(d) = 1/2 + φ(d) が存在するか？また、この現象が生じるためには φ(d) はどの程度小さくできるか？
• RQ4 r > 1/2 の場合、特に r(d) → 1/2（d → ∞ のとき）の領域において、f_r(d) の下界を改善するための構成を精緻化できるか？
• RQ5 r(d) の関数として、f_r(d) ≤ d+1 と f_r(d) > d+1 の境界が正確にどこにあるか？

主な発見

• 任意の r > 1/2 に対して、d₀(r) が存在し、すべての d ≥ d₀ に対して、直径 1 の集合 Ω ⊂ Sᵣ^{d−1} が存在し、それが d+1 個のより小さい直径の部分に分割できない。
• 任意の r > 1/2 に対して、十分に大きな d に対して f_r(d) > d+1 であり、実際には f_r(d) ≥ (c + δ)^{√[2k]{d}}（c > 1、δ = o(1)、k ∈ ℕ）が成り立つ。
• r(d) = 1/2 + φ(d) で、φ(d) ≥ c (ln ln d)/ln d（十分に大きな c > 0）のとき、すべての十分に大きな d に対して f_r(d) > d+1 となる。
• r(d) = 1/2 + φ(d) で、φ(d) = O(1/d) のとき、f_r(d) ≤ d+1 となる。これは、この閾値における挙動の急変化を示している。
• φ(d) = O(1/d) と φ(d) = Θ((ln ln d)/ln d) の間のギャップは未解決であり、f_r(d) の挙動が変化する可能性がある臨界領域が残っている。