[論文レビュー] Bounding Castelnuovo-Mumford regularity of graphs via Lozin's transformation

Türker Bı́yı́koğlu, Yusuf Civan|arXiv (Cornell University)|Feb 13, 2013

Commutative Algebra and Its Applications参考文献 13被引用数 9

ひとこと要約

本稿では、頂点を4パスに置き換えるロジン変換—隣接構造を保ったまま—が、グラフのカステルヌオーヴォ・マウムフォード正則性と誘導マッチング数の両方を正確に1つ増加させることを確立している。主な結果として、任意のグラフの正則性は、その誘導マッチング数とデサイクリング数の和によって上から有界であることを証明し、グラフ理論および可換代数における正則性計算の新たな有効な上界を提供する。

ABSTRACT

We prove that when a Lozin's transformation is applied to a graph, the (Castelnuovo-Mumford) regularity of the graph increases exactly by one, as it happens to its induced matching number. As a consequence, we show that the regularity of a graph can be bounded from above by a function of its induced matching number. We also prove that the regularity of a graph is always less than or equal to the sum of its induced matching and decycling numbers.

研究の動機と目的

• ロジン変換とグラフのカステルヌオーヴォ・マウムフォード正則性の間の明確な関係を確立すること。
• 正則性が誘導マッチング数の関数によって上から有界であることを示すこと。
• 正則性が常に誘導マッチング数とデサイクリング数の和以下であることを証明すること。
• 正則性が誘導マッチング数に等しいグラフを特徴付けるガライ型のグラフ構成法を導入すること。
• 独立複体を通じた正則性解析のための位相的および代数的道具、特に頂点分解可能性とメイヤー・ビートリス系列を提供すること。

提案手法

• 頂点 x を4パスに置き換え、その両端に隣接頂点を再接続することで、グラフ G の頂点 x にロジン変換を適用する。
• 単体的複体のメイヤー・ビートリス系列を用いて、ロジン変換下での独立複体のホモロジー的挙動を分析する。
• 頂点集合とホモロジー群の解析に基づく帰納法により、ロジン変換の下で正則性が正確に1増加することを証明する。
• 三重分割を用いてグラフを (C₄, C₅)-自由に変換し、頂点分解可能性と既知の正則性境界の適用を可能にする。
• ホイスクァー・グラフ W(G) を構成し、その正則性を誘導マッチング数およびデサイクリング数の不変量を通じて分析する。
• 頂点分解可能なグラフでは reg(W_S(G)) = im(W_S(G)) が成り立つという事実を用いて、正則性の上界を導出する。

実験結果

リサーチクエスチョン

• RQ1 ロジン変換は、誘導マッチング数と同じように、グラフのカステルヌオーヴォ・マウムフォード正則性を正確に1つ増加させるか？
• RQ2 任意のグラフの正則性は、その誘導マッチング数のみの関数によって上から有界にできるか？
• RQ3 グラフの正則性は常にその誘導マッチング数とデサイクリング数の和以下であるか？
• RQ4 正則性が誘導マッチング数に等しいグラフを特徴付ける位相的および代数的性質は何か？
• RQ5 ロジン変換の適用は、独立複体のホモロジーおよび関連するスターリング＝ライスナー環の正則性にどのように影響するか？

主な発見

• ロジン変換の下でグラフの正則性は正確に1増加する。すなわち、reg(ℒₓ(G)) = reg(G) + 1 が成り立つ。
• 任意のグラフの正則性は、その誘導マッチング数とデサイクリング数の和によって上から有界である：reg(G) ≤ im(G) + ∇(G)。
• ユニサイクルグラフでは、im(G) ≤ reg(G) ≤ im(G) + 1 が成り立つ。
• ホイスクァー・グラフ W(G) は、reg(W(G)) = im(W(G)) = α(G) を満たす。ここで α(G) は G の独立数である。
• 三重分割の適用はデサイクリング数を保存することができ、その結果、正則性が誘導マッチング数に一致する頂点分解可能なグラフの構成が可能になる。
• グラフの正則性は位相的不変量ではないが、誘導マッチング数やデサイクリング数といったグラフ論的不変量を用いて効果的に有界化できる。