[論文レビュー] Binary nullity, Euler circuits and interlace polynomials

Lorenzo Traldi|ArXiv.org|Mar 25, 2009

Geometric and Algebraic Topology参考文献 17被引用数 4

ひとこと要約

本稿は、Cohn-Lempel等式を無向4正則グラフへ拡張し、GF(2)上での二進行列のノルティに基づいて、回路分割と頂点ノルティインタラースポリノミアルを結びつける。本稿では、ループ付きインタラースグラフのインタラースポリノミアルが、関連する4正則グラフにおける回路分割の生成関数として本質的に機能することを示し、グラフ理論、ねじれ理論、マトロイド不変量の概念を統合する。

ABSTRACT

A theorem of Cohn and Lempel [J. Combin. Theory Ser. A 13 (1972), 83-89] gives an equality relating the number of circuits in a directed circuit partition of a 2-in, 2-out digraph to the GF(2)-nullity of an associated matrix. This equality is essentially equivalent to the relationship between directed circuit partitions of 2-in, 2-out digraphs and vertex-nullity interlace polynomials of interlace graphs. We present an extension of the Cohn-Lempel equality that describes arbitrary circuit partitions in (undirected) 4-regular graphs. The extended equality incorporates topological results that have been of use in knot theory, and it implies that if H is obtained from an interlace graph by attaching loops at some vertices then the vertex-nullity interlace polynomial $q_{N}(H)$ is essentially the generating function for certain circuit partitions of an associated 4-regular graph.

研究の動機と目的

• 2イン2アウトの有向グラフから無向4正則グラフへのCohn-Lempel等式の一般化を図ること。
• 4正則グラフにおける回路分割と頂点ノルティインタラースポリノミアルとの関係を確立すること。
• ループ付きインタラースグラフのインタラースポリノミアルが、関連する4正則グラフにおける回路分割の生成関数を符号化することを示すこと。
• GF(2)上での行列ノルティを介して、ねじれ理論の位相的不変量とグラフ論的ポリノミアルを統合すること。

提案手法

• 4正則グラフにおける任意の回路分割に対して、位相的および組合せ的性質を用いて一般化されたCohn-Lempel等式を定義する。
• 2イン2アウト有向グラフ $D$ とそのオイラー回路 $C$ に対するインタラース行列 $I(D,C)$ を用いて、頂点の入れ違い関係をモデル化する。
• 拡張されたCohn-Lempel公式を用い、回路分割における回路数をインタラース行列の部分行列の $GF(2)$-ノルティに関連付ける。
• ループ付きインタラースグラフ $H$ に対して、頂点ノルティインタラースポリノミアル $q_N(H)$ を、$S \subseteq V(H)$ の部分集合の和として定義し、$(y-1)^{\nu(I_S)}$ を重みとする。
• 多変数インタラースポリノミアル $C(H)$ を用いて、向きの整合性／整合性の欠如を符号化する。
• ループ付きインタラースグラフ $H$ の多変数インタラースポリノミアル $C(H)$ が、対応する4正則グラフの遷移ポリノミアルに一致することを示す。

実験結果

リサーチクエスチョン

• RQ1 Cohn-Lempel等式を2イン2アウト有向グラフから無向4正則グラフへどのように拡張できるか。
• RQ2 4正則グラフにおける回路分割と頂点ノルティインタラースポリノミアルとの関係は何か。
• RQ3 インタラースグラフにおけるループ付き頂点は、回路分割における向きの不整合をどのように符号化するか。
• RQ4 ループ付きインタラースグラフの多変数インタラースポリノミアルを、回路分割の生成関数として解釈できるか。
• RQ5 GF(2)-ノルティは、4正則グラフの分割における回路数を特徴付ける役割を果たすか。

主な発見

• 拡張されたCohn-Lempel等式により、4正則グラフの任意の回路分割における回路数が、インタラース行列から導かれる部分行列の $GF(2)$-ノルティに関連づけられる。
• ループ付きインタラースグラフ $H$ に対して、頂点ノルティインタラースポリノミアル $q_N(H)$ は、関連する4正則グラフの回路分割の生成関数であり、各分割は $(y-1)^{\text{回路数} - 1}$ で重み付けられる。
• ループ付きインタラースグラフ $H$ の多変数インタラースポリノミアル $C(H)$ は、対応する4正則グラフの遷移ポリノミアルに等しく、向きの整合性条件を符号化する。
• 拡張されたCohn-Lempel等式は、互いに素な対合に限らず、任意の置換にも適用可能であり、以前の結果を一般化する。
• すべての成分が1のインタラース行列を持つ4正則グラフでは、同じノルティを持つ反対称有理行列が存在しない例が存在し、反対称実現の限界を示している。
• ループ付きインタラースグラフのインタラースポリノミアルは、関連する4正則グラフにおける回路分割の構造を、各頂点における向きの挙動を含めて完全に捉えている。