[論文レビュー] Complete intersection graphs

I. Bermejo, I. Garc+1 more|arXiv (Cornell University)|Jan 1, 2014

Commutative Algebra and Its Applications参考文献 22被引用数 3

ひとこと要約

本稿では、トーリックイデアルが完全交叉である単純な無向グラフのアルゴリズム的かつ組合せ的特徴付けを提示する。グラフのトーリックイデアルが完全交叉であるかどうかを判定するための決定手続きを提供し、成立する場合には最小生成集合を返す。主要な結果として、このようなグラフは二部輪グラフと、空、奇数の原始的サイクル、または適切に接続された二つの奇数の原始的サイクルからなる成分に分解可能であることが示される。

ABSTRACT

Our purpose is to study the family of simple undirected graphs whose toric ideal is a complete intersection from both an algorithmic and a combinatorial point of view. We obtain an effective method that, given a graph G, checks whether or not its toric ideal PG is a complete intersection. Whenever PG is a complete intersection, the algorithm also returns a minimal set of generators of PG. Moreover, we prove that if G is a connected graph and PG is a complete intersection, then there exist two induced subgraphs R and C of G such that the vertex set V(G) of G is the disjoint union of V(R) and V(C), where R is a bipartite ring graph and C is either the empty graph, an odd primitive cycle, or consists of two odd primitive cycles properly connected. Finally, if R is 2-connected and C is connected, we list the families of graphs whose toric ideals are complete intersection.

研究の動機と目的

• 与えられたグラフのトーリックイデアルが完全交叉であるかどうかを判定する効果的なアルゴリズムを開発すること。
• トーリックイデアルが完全交叉である場合に、その最小生成集合を提供すること。
• トーリックイデアルが完全交叉である連結グラフの組合せ的構造を特徴付けること。
• 追加の接続性制約（例：2連結なRおよび連結なC）の下で、完全交叉トーリックイデアルをもつグラフ族を分類すること。

提案手法

• アルゴリズムは、組合せ的および代数的基準を用いて、グラフGのトーリックイデアルPGが完全交叉性を満たすかをチェックする。
• Rは二部輪グラフであり、Cは空、奇数の原始的サイクル、または適切に接続された二つの奇数の原始的サイクルである二つの誘導部分グラフRとCへのGの分解を利用する。
• 誘導部分グラフ、頂点に交わらない直積、サイクルの接続性などのグラフ論的性質を用いて、完全交叉条件を検証する。
• 完全交叉条件を満たす場合に、PGの最小生成集合を計算するために代数的技法を適用する。
• 構造的分解定理に依拠して、問題を既知のグラフクラスのチェックに還元する。
• アルゴリズムは、組合せ的不変量に基づく一連のグラフ操作とイデアル属性テストを通じて実装される。

実験結果

リサーチクエスチョン

• RQ1 グラフのトーリックイデアルが完全交叉であるかどうかをアルゴリズム的に判定できるか？
• RQ2 トーリックイデアルが完全交叉である場合、その最小生成集合は何か？
• RQ3 連結グラフの完全交叉トーリックイデアルを特徴付ける構造的分解は何か？
• RQ4 Rが2連結でCが連結である場合、どのグラフ族が完全交叉トーリックイデアルをもつのか？

主な発見

• グラフGのトーリックイデアルPGが完全交叉であるための必要十分条件は、Gが二つの誘導部分グラフRとCに分解可能であること。ここで、V(G) = V(R) ∪ V(C) かつ V(R) ∩ V(C) = ∅ である。
• 部分グラフRは二部輪グラフであり、Cは空グラフ、単一の奇数の原始的サイクル、または適切なパスで接続された二つの奇数の原始的サイクルである。
• PGが完全交叉である場合、アルゴリズムはPGの最小生成集合を返し、計算の効率性を保証する。
• Rが2連結でCが連結である場合、本稿ではトーリックイデアルが完全交叉であるすべてのグラフ族を列挙する。
• この特徴付けにより、完全交叉トーリックイデアルをもつグラフの完全な組合せ的および代数的分類が得られる。