[論文レビュー] Alternative proofs of the Conway-Gordon-Sachs Theorems

Arseny Zimin|arXiv (Cornell University)|Nov 12, 2013

Computability, Logic, AI Algorithms参考文献 4被引用数 3

ひとこと要約

本稿では、コンウェイ＝ゴードン＝サックスの定理の代替的で平面に基づく証明を提示する。3次元のリンク理論の定理を、平面における不変量に還元することで、$K_6$ および $K_{4,4}$ の3次元埋め込みにおいて、常に少なくとも1組のリンクした三角形または四角形が存在することを示す。ヴァン・カンペンの不変量を2で割った剰余類と、平面における一般位置の議論を用いることで、$bR^3$ に埋め込まれた任意の折れ線的 $K_6$ や $K_{4,4}$ に対して、位相的不変量と偶奇性の議論により、少なくとも1組のリンクした三角形または四角形が存在することが保証される。

ABSTRACT

In this paper we present new proofs of the Conway-Gordon-Sachs and Sachs Theorems on the linked cycles in graphs embedded in $\R^3$. We reduce these theorems to certain property of graphs mapped to the plane.

研究の動機と目的

• 従来の同相型や球面の交差に関する議論を避けて、平面還元に基づく新しいコンウェイ＝ゴードン＝サックスの定理の証明を提供すること。
• 折れ線的 $K_6$ の $bR^3$ における任意の埋め込みが、少なくとも1組のリンクした3周期を含むことを、平面的不変量を用いて示すこと。
• 同様の手法を $K_{4,4}$ に拡張し、平面への $K_{3,3}$ 投影を用いて、任意の埋め込みにおいてリンクした4周期の存在を証明すること。
• 連続的変形のもとでリンクの偶奇性が不変であることを、2を法とするヴァン・カンペン不変量の不変性を用いて示すこと。
• 3次元の位相的複雑性を平面的組合せ位相と交差の偶奇性に還元することで、元の証明を簡略化すること。

提案手法

• $K_6$ および $K_{4,4}$ の埋め込みを一般平面に投影することで、3次元のリンク問題を平面的設定に還元する。
• 平面における一般位置にある5点または6点の配置に対して、ヴァン・カンペン不変量 $v(f) \bmod 2$ を用いる。
• 一般位置にある任意の5点配置に対して $v(f) = 1$ であることを証明し、位相的不変量を確立する。
• 固定された4点を基準として、点の位置の連続的変形のもとで $v(f)$ の不変性を示し、折れ線ホモトピーと交差の偶奇性を用いる。
• 平面における交差補題に依存する：一般位置にある2つの三角形は、偶数個の点で交わる。
• 3次元のリンク条件（凸包の交差）を、視点からの「より上にある」関係を用いて、平面における線分交差の偶奇性に翻訳する。

実験結果

リサーチクエスチョン

• RQ1 コンウェイ＝ゴードン＝サックスの定理は、3次元の同相型や球面の交差定理を用いずに、平面的不変量を用いて再証明可能か？
• RQ2 4点を固定した状態で、平面における5点の連続的変形のもとで、ヴァン・カンペン不変量を2で割った剰余類は不変か？
• RQ3 $K_6$ や $K_{4,4}$ の $bR^3$ におけるサイクルのリンクは、それぞれ $K_5$ や $K_{3,3}$ の平面的位相的不変量に由来するか？
• RQ4 3次元におけるリンク数の偶奇性は、平面への射影における線分交差の偶奇性に還元可能か？
• RQ5 $K_{4,4}$ の3次元における2つの4周期のリンクは、$K_{3,3}$ 部分グラフの平面的ヴァン・カンペン不変量によって検出可能か？

主な発見

• 一般位置にある任意の5点配置に対して、平面におけるヴァン・カンペン不変量 $v(f)$ は常に2を法として1に等しい。
• 他の4点が固定されている限り、第5点の位置に依存せず $v(f)$ が不変であることが示され、その位相的不変性が証明される。
• 任意の折れ線的 $K_6$ の $bR^3$ における埋め込みに対して、少なくとも1組のリンクした3周期が存在する。これは、平面への $K_5$ への還元と $v(f)$ の不変性によって示される。
• 任意の折れ線的 $K_{4,4}$ の $bR^3$ における埋め込みに対して、少なくとも1組のリンクした4周期が存在する。これは、$K_{3,3}$ への射影と平面における $v(f) = 1$ の性質によって確立される。
• 3次元におけるリンク条件（1つの三角形がもう1つの三角形の凸包と1点で交わる）は、「より上にある」関係を用いることで、平面における線分交差の奇数個に等価である。
• 証明は同相型や球面の交差定理を回避し、平面的組合せ論と偶奇性に依存することで、元のコンウェイ＝ゴードン＝サックスの証明よりも単純な代替案を提供する。