[論文レビュー] Intrinsic knotting and linking of almost complete partite graphs

Thomas W. Mattman, Ryan Ottman+1 more|ArXiv.org|Dec 9, 2003

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

ひとこと要約

本稿は、0-、1-、および2欠損の完全および完全部品グラフにおける内在的絡みつきと絡みつきの分類を行い、8頂点におけるすべての内在的絡みつきグラフを完全に特徴づけた。これらの族に対してアダムズの予想（内在的絡みつきグラフから任意の頂点を削除すると、内在的絡みつきグラフが得られる）を検証し、13欠損の反例が存在するにもかかわらず、8頂点までのすべてのグラフに対してこの予想が成り立つことを確認した。

ABSTRACT

We classify graphs that are 0, 1, or 2 edges short of being complete partite graphs with respect to intrinsic linking and intrinsic knotting. In addition, we classify intrinsic knotting of graphs on 8 vertices. For graphs in these families, we verify a conjecture presented in Adams' "The Knot Book": If a vertex is removed from an intrinsically knotted graph, one obtains an intrinsically linked graph.

研究の動機と目的

• 完全または完全部品グラフから0、1、または2本の辺が欠けたグラフにおける内在的絡みつきと絡みつきを分類すること。
• アダムズの予想（内在的絡みつきグラフから頂点を削除すると、内在的絡みつきグラフが得られる）がこれらの族に対して成り立つかどうかを特定すること。
• 8頂点におけるすべての内在的絡みつきグラフを完全に列挙し、特徴づけること。
• 5n−15本を超える辺をもつグラフが内在的絡みつきでない可能性があるかどうかを調査し、サックスの問いを内在的絡みつきの文脈に拡張すること。

提案手法

• マイナー理論および三角形-Y交換などのグラフ操作を用いて、0-、1-、および2欠損の完全および完全部品グラフを体系的に分析する。
• 既知のマイナー最小の内在的絡みつきグラフ（例：$K_7$ および $K_{3,3,1,1}$）を分類の基準点として適用する。
• 辺の削除および頂点の削除操作を用いて、部分グラフの内在的絡みつきおよび絡みつきの性質をテストする。
• $K_7$ および $H_8$ がマイナー最小の内在的絡みつきであるという事実を活用し、最大8本の辺が削除された $K_8$ における絡みつき部分グラフを特定する。
• $K_8 - ke$ の補グラフを構築し、特に $k = 5,6,7$ の場合の絡みつき構成を特定する。
• 各絡みつきグラフから頂点を削除すると、マイナーまたは部分グラフとして内在的絡みつきグラフが得られることを確認することで、アダムズの予想を検証する。

実験結果

リサーチクエスチョン

• RQ1 0-、1-、または2欠損の完全または完全部品グラフの中で、どのグラフが内在的絡みつきまたは絡みつきであるか？
• RQ2 アダムズの予想（内在的絡みつきグラフから頂点を削除すると、内在的絡みつきグラフが得られる）は、すべての0-、1-、および2欠損グラフに対して成り立つか？
• RQ3 8頂点における内在的絡みつきグラフはいくつ存在し、それらはすべてアダムズの予想を満たすか？
• RQ4 $n > 8$ に対して、$5n - 15$ 本を超える辺をもつが、内在的絡みつきでないグラフが存在するか？
• RQ5 $n = 8$ を超えて、非内在的絡みつきグラフのための $5n - 15$ 本の辺の上限を拡張できるか？

主な発見

• 8頂点における内在的絡みつきグラフはちょうど20個であり、それらすべてがアダムズの予想を満たしている。
• 内在的絡みつきである0-、1-、および2欠損の完全および完全部品グラフは、すべて頂点を削除すると内在的絡みつきになるため、これらの族に対してアダムズの予想が確認された。
• 0-、1-、2欠損のグラフ、または8頂点のグラフにおいて、既知の例（$K_7$ および $K_{3,3,1,1}$ からのもの）以外のマイナー最小の内在的絡みつきグラフは発見されなかった。
• $H_8$ および $K_7$ に追加の頂点を加えたグラフは、どちらも内在的絡みつきであり、マイナー最小である。また、それらから頂点を削除すると、内在的絡みつきグラフが得られる。
• $5 \leq n \leq 8$ の範囲で、$5n - 15$ を超える辺をもつ任意のグラフは内在的絡みつきであることが示され、内在的絡みつきの閾値の可能性が示唆された。
• $K_8 - ke$ グラフで $k \geq 8$ 本の辺が削除されたものはすべて、内在的絡みつきでないことが確認され、8頂点における20個の絡みつきグラフが完全な集合であることが裏付けられた。