[論文レビュー] Upper bounds for the regularity of powers of edge ideals of graphs

A. V. Jayanthan, S. Selvaraja|arXiv (Cornell University)|May 3, 2018

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

ひとこと要約

この論文は、有限単純グラフの辺イデアルのべきのカステルヌオーヴォ・マウフュール正則性の上界を、組合せ的不変量を用いて確立する。Alilooee, Banerjee, Beyarslan, および Hà の予想を証明し、すべての $ q \geq 1 $ に対して $ \operatorname{reg}(I(G)^q) \leq 2q + \operatorname{co-chord}(G) - 1 $ が成り立つことを示し、$ \zeta(G) $ をスターパッキング不変量とする上界 $ \operatorname{reg}(I(G)^q) \leq 2q + \zeta(G) - 1 $ を確認する。結果は、頂点分解可能グラフに拡張され、いくつかのクラスに対して正規性の正確な線形公式が得られる。

ABSTRACT

Let $G$ be a finite simple graph and $I(G)$ denote the corresponding edge ideal. In this paper, we obtain upper bounds for the Castelnuovo-Mumford regularity of $I(G)^q$ in terms of certain combinatorial invariants associated with $G$. We also prove a weaker version of a conjecture by Alilooee, Banerjee, Beyarslan and Hà on an upper bound for the regularity of $I(G)^q$ and we prove the conjectured upper bound for the class of vertex decomposable graphs. Using these results, we explicitly compute the regularity of $I(G)^q$ for several classes of graphs.

研究の動機と目的

• 有限単純グラフにおける辺イデアルのべきのカステルヌオーヴォ・マウフュール正則性の一般上界を確立すること。
• Alilooee, Banerjee, Beyarslan, および Hà が提起した、共弦的被覆数を含む正則性上界に関する予想を解決すること。
• 組合せ的グラフ不変量を用いて、辺イデアル自体からその高次のべきへの結果を拡張すること。
• すべての $ q \geq 1 $ に対して $ \operatorname{reg}(I(G)^q) = 2q + \nu(G) - 1 $ が成り立つようなグラフのクラスを同定すること、ここで $ \nu(G) $ は誘導マッチング数である。

提案手法

• 誘導部分グラフに定義された関数 $ \rho $ を導入し、次の3条件を満たすようにする：(1) $ \operatorname{reg}(I(L)) \leq \rho(L) + 1 $、(2) 誘導部分グラフにおける単調性、(3) $ \rho(L \setminus N_L[x]) + 1 \leq \rho(L) $ を満たす頂点 $ x $ の存在。
• この関数を用いて、すべての $ q \geq 1 $ に対して $ \operatorname{reg}(I(G)^q) \leq 2q + \rho(G) - 1 $ を証明し、組合せ的不変量による一般化された上界を導出する。
• 一般上界を特定の不変量に適用する：$ \zeta(G) $（スターパッキング）および $ \operatorname{co-chord}(G) $（共弦的被覆数）、これにより $ \operatorname{reg}(I(G)^q) \leq 2q + \zeta(G) - 1 $ および $ \leq 2q + \operatorname{co-chord}(G) - 1 $ を証明する。
• 帰納法と構造的グラフ性質（頂点分解可能性、単体的頂点、弦的性）を用い、グレード付きベッチ数およびリース代数の正則性といった代数的道具を組み合わせる。
• 頂点分解可能グラフが要求される $ \rho $-関数の条件を満たすことを用い、正確な正則性公式を導出する。
• Macaulay2、SAGE、および SimplicialDecomposability パッケージを用いた計算ツールによる検証を実施する。

実験結果

リサーチクエスチョン

• RQ1 すべての $ q \geq 1 $ に対して $ \operatorname{reg}(I(G)^q) \leq 2q + \rho(G) - 1 $ を満たすような、誘導部分グラフの集合上に関数 $ \rho $ が存在するか？
• RQ2 すべての有限単純グラフに対して、予想された上界 $ \operatorname{reg}(I(G)^q) \leq 2q + \operatorname{co-chord}(G) - 1 $ が証明可能か？
• RQ3 すべてのグラフに対して、$ \zeta(G) $ をスターパッキング不変量とする上界 $ \operatorname{reg}(I(G)^q) \leq 2q + \zeta(G) - 1 $ は有効か？
• RQ4 どのクラスのグラフに対して、すべての $ q \geq 1 $ に対して $ \operatorname{reg}(I(G)^q) = 2q + \nu(G) - 1 $ が成り立つか？
• RQ5 正則性 $ \operatorname{reg}(I(G)^q) $ は、$ \operatorname{reg}(I(G)) $ を用いて $ \operatorname{reg}(I(G)^q) \leq 2q + \operatorname{reg}(I(G)) - 2 $ のように上界で抑えられるか？

主な発見

• 予想 $ \operatorname{reg}(I(G)^q) \leq 2q + \operatorname{co-chord}(G) - 1 $ は、すべての有限単純グラフに対して成り立つ。Alilooee, Banerjee, Beyarslan, および Hà の予想 1.1 を証明する。
• すべてのグラフに対して、$ \zeta(G) $ をハとウッドルーフの定義するスターパッキング不変量とする上界 $ \operatorname{reg}(I(G)^q) \leq 2q + \zeta(G) - 1 $ が確立される。
• 頂点分解可能グラフでは、$ I(G)^q $ の正則性は正確に $ 2q + \nu(G) - 1 $ に等しい。ここで $ \nu(G) $ は誘導マッチング数である。
• 結果は、5-サイクルを含まないグラフ、誘導された4-サイクルや5-サイクルを含まないグラフ、任意の独立集合 $ A $ に対して $ G \setminus N_G[A] $ が単体的頂点を持つグラフ、逐次的 Cohen-Macaulay な二部グラフ、および弦的グラフに whiskers を加えたグラフなど、いくつかのクラスに拡張される。
• $ \operatorname{reg}(I(G)^q) \leq 2q + \operatorname{reg}(I(G)) - 2 $ の上界は、頂点分解可能グラフに対して確認され、予想 1.2 を支持する。
• Macaulay2、SAGE、および SimplicialDecomposability を用いた計算による検証は、理論的結果を支持し、予想のテストに役立つ。