[論文レビュー] The interlace polynomial of binary delta-matroids and link invariants

Nadezhda Kodaneva|arXiv (Cornell University)|Feb 27, 2020

Advanced Graph Theory Research被引用数 5

ひとこと要約

本稿は、二進デルタマトロイドのインターラス多項式が四項関係を満たすことを確立し、3次元球面内のリンクに対する有限型不変量を定義する。グラフに基づく重み関数をデルタマトロイドを介してリボングラフに一般化し、その投影が各次数における線形独立な原始的要素を生成することを示すことにより、インターラス多項式が有限型不変量であることを証明する。

ABSTRACT

In this work, we study the interlace polynomial as a generalization of a graph invariant to delta-matroids. We prove that the interlace polynomial satisfies the four-term relation for delta-matroids and determines thus a finite type invariant of links in the 3-sphere.

研究の動機と目的

• グラフに基づく重み関数をリボングラフに一般化することで、結び目の理論からリンクへの有限型不変量の理論を拡張すること。
• 既知のデルタマトロイド不変量、特にインターラス多項式が、二進デルタマトロイドにおいて四項関係を満たすかどうかを調査すること。
• インターラス多項式が二進デルタマトロイドにおける四項関係の下での挙動によって、リンクに対する有限型不変量を定義することを証明すること。
• 特定のデルタマトロイドの投影におけるインターラス多項式が、各次数において線形独立な原始的要素を生成することを示すことにより、その有限型理論における役割を確認すること。

提案手法

• グラフ理論における削除およびピボット操作に類似した再帰的削除およびピボット操作を用いて、二進デルタマトロイドのインターラス多項式を定義する。
• デルタマトロイド D に対して、基底集合の空でない部分集合への分割を用いて多項式を表現する投影写像 π(D) を導入する。
• デルタマトロイドにおける特定の操作の下で π(D′) = −x·π(D) が成り立つことを示すことにより、インターラス多項式が四項関係を満たすことを証明する。
• 妥当集合の構造的解析と帰納法を用いて、完全グラフのデルタマトロイドの多項式が次数 n であり、先頭係数が非ゼロであることを示す。
• 主要なデルタマトロイド（D_n, D_{n−1}^{[1]}, ..., D_{K_n}）の投影におけるインターラス多項式の次数と先頭係数を比較することで、それらが線形独立であることを確立する。
• すべての和項において空集合が妥当であることに加え、D_{K_n} においては唯一の全分割が次数 n の項に寄与することを活用し、最高次の項を分離する。

実験結果

リサーチクエスチョン

• RQ1 二進デルタマトロイドのインターラス多項式は、有限型不変量に必要な四項関係を満たすか？
• RQ2 インターラス多項式を用いて、結び目のグラフに基づく重み関数を一般化したリンク用の重み関数を構成できるか？
• RQ3 特定のデルタマトロイド（例：D_{K_n}）の投影がインターラス多項式において線形独立か？
• RQ4 完全グラフ K_n の非退化性デルタマトロイドの投影におけるインターラス多項式の次数と先頭係数は何か？
• RQ5 二進デルタマトロイドの文脈において、インターラス多項式は削除およびピボット操作の下でどのように振る舞うか？

主な発見

• 二進デルタマトロイドのインターラス多項式は四項関係を満たし、3次元球面内のリンクに対する有限型不変量である。
• 完全グラフ K_n の非退化性デルタマトロイドの投影は次数 n であり、先頭係数は (−1)^{n−1}(n−1)! である。
• k = 0 から n−2 のすべての k に対して、D_{n−k}^{[k]} のインターラス多項式の次数は n より小さいため、D_{K_n} の投影とは線形独立である。
• D_n のインターラス多項式は D_{n−1} の多項式の −x 倍であり、同様に低次の項に対しても成り立つ。これにより再帰的構造が確立される。
• D_n, D_{n−1}^{[1]}, ..., D_2^{[n−2]}, D_{K_n} の投影は線形独立であり、インターラス多項式が次数 n において n 個の原始的要素を選択することを確認する。
• q(π(D_n)) の定数項は非ゼロであり、これにより q(π(D_n)) が集合内の他の多項式と線形独立であることが保証される。