[論文レビュー] Whiskers and sequentially Cohen-Macaulay graphs

Christopher A. Francisco, Huy Tài Hà|ArXiv.org|May 17, 2006

Commutative Algebra and Its Applications参考文献 19被引用数 7

ひとこと要約

この論文は、既存の頂点に辺で接続された新しい頂点（ひげ）を追加することで、グラフが逐次 Cohen-Macaulay になる方法を調査する。部分グラフ G\S（ひげのない頂点に誘導される部分グラフ）が弦的であるか、五角形 C₅ である場合、結果として得られるグラフは逐次 Cohen-Macaulay であることが示され、Villarreal がひげをすべての頂点に追加することで Cohen-Macaulay になるという結果を一般化する。

ABSTRACT

Let G be a simple (i.e., no loops and no multiple edges) graph. We investigate the question of how to modify G combinatorially to obtain a sequentially Cohen-Macaulay graph. We focus on modifications given by adding configurations of whiskers to G, where to add a whisker one adds a new vertex and an edge connecting this vertex to an existing vertex in G. We give various sufficient conditions and necessary conditions on a subset S of the vertices of G so that the graph G \cup W(S), obtained from G by adding a whisker to each vertex in S, is a sequentially Cohen-Macaulay graph. For instance, we show that if S is a vertex cover of G, then G \cup W(S) is a sequentially Cohen-Macaulay graph. On the other hand, we show that if G \backslash S is not sequentially Cohen-Macaulay, then G \cup W(S) is not a sequentially Cohen-Macaulay graph. Our work is inspired by and generalizes a result of Villarreal on the use of whiskers to get Cohen-Macaulay graphs.

研究の動機と目的

• ひげを追加することでグラフが逐次 Cohen-Macaulay になるような組合せ的条件を特定すること。
• すべての頂点にひげを追加することでグラフが Cohen-Macaulay になるという Villarreal の結果を一般化すること。
• ひげが追加される頂点の集合 S に対して、必要十分条件を同定すること。
• 頂点被覆とグラフ構造（例：弦的、C₅）が逐次 Cohen-Macaulay 性を保証する役割を明確にすること。
• 逐次 Cohen-Macaulay 性が基本体の特性に依存するかどうかを、非自明な場合に特に検討すること。

提案手法

• アレクサンダー双対性を用いて、代数的性質である逐次 Cohen-Macaulay 性を双対イデアルにおける頂点被覆の組合せ論的性質に関連付ける。
• グラフが逐次 Cohen-Macaulay であるための必要十分条件として、そのアレクサンダー双対が成分ごとの線形分解を持つことを利用する。
• アレクサンダー双対の多重次数に関連する単体的複体を分析し、ホモロジー的性質を比較する。
• 多項式環における辺イデアルとその双対の構造を用いて、グラフの部分グラフに関する条件を導出する。
• 平方自由単項式イデアルが線形分解を持つことと、その関連する単体的複体がシェーリング可能または線形分解を持つことは同値であるという事実を利用する。
• Hilbert 関数と Gorenstein イデアルに関する Herzog と Sbarra の結果を応用し、逐次 Cohen-Macaulay 性を特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 頂点の部分集合 S に対して、S の各頂点にひげを追加したとき、どのような条件下でグラフ G∪W(S) が逐次 Cohen-Macaulay になるか。
• RQ2 G\S（S に属しない頂点に誘導されるグラフ）の構造が、G∪W(S) の逐次 Cohen-Macaulay 性にどのように影響するか。
• RQ3 一部の頂点にのみひげを追加することで、逐次 Cohen-Macaulay グラフを構成することは可能か。もし可能であれば、どのような頂点集合が十分か。
• RQ4 逐次 Cohen-Macaulay 性を保証するために必要な最小のひげの数は何か。また、これはグラフの構造にどのように依存するか。
• RQ5 逐次 Cohen-Macaulay 性が基本体の特性に依存する可能性はあるか。その場合、ひげの役割にどのような影響を与えるか。

主な発見

• S が G の頂点被覆であるならば、G∪W(S) は逐次 Cohen-Macaulay である。これは、ひげの配置がその数よりも重要であることを示している。
• G\S が弦的であるか、五角形 C₅ に同型であるならば、G∪W(S) は逐次 Cohen-Macaulay である。これは、ひげを追加することで性質が保証される広いクラスのグラフを提供する。
• |S| ≥ |V_G| − 3 ならば、S の配置に関わらず、G∪W(S) は逐次 Cohen-Macaulay である。これは定量的な閾値を示している。
• G\S が n ≠ 3,5 であるサイクル C_n であるならば、G∪W(S) は逐次 Cohen-Macaulay でない。これは C₅ 条件の鋭さを示している。
• G\S が逐次 Cohen-Macaulay でないならば、G∪W(S) の辺イデアルのアレクサンダー双対は線形分解を持たない。これは、G∪W(S) が逐次 Cohen-Macaulay でないことを示している。
• ある種のグラフでは、その逐次 Cohen-Macaulay 性が基本体の特性に依存する。これは、この性質が常に体に依存しないわけではないことを示しており、双対の線形商が常に成り立つとは限らない。