[論文レビュー] A counterexample to the Lando conjecture on intersection of spheres in 3-space

Sergey Avvakumov|arXiv (Cornell University)|Oct 27, 2012

Advanced Numerical Analysis Techniques被引用数 1

ひとこと要約

この論文は、S. Landoが2010年に提唱した予想である「3次元球面上の互いに交わらない円の和集合は、3次元空間内の2つの3次元球面の横断的交線として常に実現可能である」という仮説を反証する。著者らは明示的な反例を構成することで、このような球面が常に存在するとは限らないことを示し、実現可能性の必要十分条件を提示する。この条件は、アルゴリズム的検証が可能なグラフ論的表現に再定式化されている。

ABSTRACT

The following problem was proposed in 2010 by S. Lando. Let $M$ and $N$ be two unions of the same number of disjoint circles in a sphere. Do there always exist two spheres in 3-space such that their intersection is transversal and is a union of disjoint circles that is situated as $M$ in one sphere and as $N$ in the other? Union $M'$ of disjoint circles is {\it situated} in one sphere as union $M$ of disjoint circles in the other sphere if there is a homeomorphism between these two spheres which maps $M'$ to $M$. We prove (by giving an explicit example) that the answer to this problem is no. We also prove a necessary and sufficient condition on $M$ and $N$ for existing of such intersecting spheres. This result can be restated in terms of graphs. Such restatement allows for a trivial brute-force algorithm checking the condition for any given $M$ and $N$. It is an open question if a faster algorithm exist.

研究の動機と目的

• 3次元球面上の任意の2つの互いに交わらない円の和集合が、3次元空間内における2つの3次元球面の横断的交線として実現可能かどうかを調査すること。
• 互いに交わらない円の配置を保存するホメオモルフィズムが常にそのような実現を可能にするかどうかを特定すること。
• 与えられた円の和集合 M と N と一致する横断的交線を持つ2つの交わる球面の存在に関する必要十分条件を確立すること。
• 幾何学的問題をグラフ論的表現に再定式化し、アルゴリズム的検証を可能にすること。

提案手法

• 3次元球面上に特定の互いに交わらない円の和集合 M と N を定義することで、Landoの予想に対する明示的な反例を構成する。
• 位相的不変性および球面交差の性質を用いて、M と N が横断的交線として実現可能な2つの3次元球面の組が存在しないことを示す。
• 幾何学的問題を、円の和集合がグラフに対応し、交差条件がグラフの条件に帰着されるグラフ論的枠組みに再定式化する。
• M と N を表すグラフに対して、ホメオモルフィズムに不変な条件を定義し、球面交差の実現可能性を決定する。
• グラフ論的条件に基づくブルートフォースアルゴリズムを提案し、任意の与えられた M と N について実現可能性を検証可能であることを示す。
• 条件が、そのような交わる球面の存在にとって必要かつ十分であることを示す。

実験結果

リサーチクエスチョン

• RQ1 3次元球面上の任意の2つの互いに交わらない円の和集合は、3次元空間内における2つの3次元球面の横断的交線として常に実現可能か？
• RQ2 2つの円の和集合 M と N に対して、それらと一致する横断的交線を持つ2つの交わる球面の存在を保証する、位相的または組合せ的条件は何か？
• RQ3 幾何学的実現可能性問題は、グラフ論的決定問題に還元可能か？
• RQ4 ブルートフォースによるチェックよりも高速なアルゴリズムは存在するか、それとも現在の手法が最適か？

主な発見

• 本論文は、3次元球面上の任意の2つの円の和集合 M と N が、2つの3次元球面の横断的交線として常に実現可能であるとは限らないことを示す明確な反例を提供する。
• そのような交わる球面の存在に関する必要十分条件が、円の和集合の位相的構造に基づいて確立された。
• 幾何学的問題は、成功裏にグラフ論的表現に再定式化され、体系的ではあるがブルートフォースなアルゴリズム的検証が可能になった。
• グラフ論的再定式化により、決定手続きが可能になったが、より効率的なアルゴリズムの存在は未解決の問題のまま残っている。
• 反例により、Landoの予想が、M と N が同じ数の互いに交わらない円から構成されていても、一般には成り立たないことが示された。
• 実現可能性に影響を与えるのは、円の数だけではなく、それらの球面上での配置そのものが、決定的な役割を果たすことが明らかになった。