[論文レビュー] Linear embeddings of $K_9$ are triple linked

Ramin Naimi, Elena Pavelescu|arXiv (Cornell University)|Feb 8, 2012

Advanced Graph Theory Research参考文献 6被引用数 3

ひとこと要約

本稿は、9頂点完全グラフ $K_9$ の3次元空間への線形埋め込みが、すべて非分解性の3成分リンクを含むことを、順序付きマトロイド理論を用いて体系的に証明している。9要素のランク4の非巡回順序付きマトロイドをすべて解析し、23億を超える非巡回順序付きマトロイドを計算することで、それぞれが三重リンクを含むことが確認された。これにより、サックスの予想の3リンクへの拡張が否定された。

ABSTRACT

We use the theory of oriented matroids to show that any linear embedding of $K_9$, the complete graph on nine vertices, contains a non-split link with three components.

研究の動機と目的

• 3次元空間 $\mathbb{R}^3$ における $K_9$ のすべての線形埋め込みが非分解性の3成分リンクを含むかどうかを特定すること。
• 線形非分解埋め込みに関するサックスの予想が3リンクへ拡張可能かどうかを検証すること。
• 線形 $K_9$ 埋め込みのリンク構造を体系的に解析するために順序付きマトロイド理論を用いること。
• $K_9$ が一般には内部的に3リンクでないにもかかわらず、非分解性の3リンクを回避する線形 $K_9$ 埋め込みが存在しないことを計算的に確認すること。

提案手法

• $K_9$ の各線形埋め込みを、頂点座標とチロトープの符号パターンから導かれる9要素のランク4の順序付きマトロイドとして表現する。
• $\mathrm{OM}(9,4)$ と呼ばれる一様順序付きマトロイドの同型類の全集合を用い、23億を超える順序付きマトロイドが含まれる。
• 各非巡回順序付きマトロイドについて、Lemma 4.3 を用いて $\mathcal{M}_{-A}$ が巡回となるような再順序化集合 $A$ の集合を計算する。
• 各非巡回順序付きマトロイドについて、3–2–分割されたサイクルを特定し、どの辺が三角形を貫通するかを特定することで、Lemma 1.4 を用いたリンク検出を可能にする。
• Mathematica で実行される計算アルゴリズムを用いて、すべての互いに素な三角形3つ組をチェックし、Definition 4.2 で定義されたリンク条件を適用する。
• 支援的証拠として、$K_6$ および $K_7$ の既知の結果を再計算し、$\mathrm{OM}(9,4)$ の3つのランダムに選択された同型類を手作業で検証する。

実験結果

リサーチクエスチョン

• RQ1 3次元空間における $K_9$ のすべての線形埋め込みが非分解性の3成分リンクを含むか。
• RQ2 線形非分解埋め込みに関するサックスの予想を3リンクへ拡張できるか。
• RQ3 $K_9$ が一般には内部的に3リンクでないにもかかわらず、非分解性の3リンクをすべて回避する線形埋め込みが存在するか。
• RQ4 順序付きマトロイド理論と計算的列挙は、空間的グラフにおける非分解性3リンクを信頼性高く検出できるか。
• RQ5 計算結果は、独立的な手作業による検証と文書化された証拠によって検証可能か。

主な発見

• $\mathrm{OM}(9,4)$ に含まれる2,374,808,320 個の非巡回順序付きマトロイドすべてが、少なくとも1つの非分解性3成分リンクを含む。
• 計算により、$\mathrm{OM}(9,4}$ のすべての非巡回順序付きマトロイドが三重リンクを含むことが確認され、すべての線形 $K_9$ 埋め込みが三重リンクであることが示された。
• プログラムの $K_6$ および $K_7$ に対する結果は、先行研究の既知の結果と一致しており、計算的手法の妥当性が裏付けられた。
• 支援的証拠として、$\mathrm{OM}(9,4)$ の3つのランダムに選択された同型類の詳細な出力が提供され、リストアップされた任意の3リンクについて完全な手作業での検証が可能である。
• 著者らは、arXiv に完全に文書化された Mathematica プログラムを提供しており、すべての計算の独立的検証が可能である。
• 強力な計算的証拠があるものの、著者らは $\mathrm{OM}(9,4)$ のすべての非巡回順序付きマトロイドが実際に $K_9$ の線形埋め込みによって誘導されるとは限らないと指摘している。