[論文レビュー] The regularity of binomial edge ideals of graphs

Dariush Kiani, Sara Saeedi Madani|arXiv (Cornell University)|Oct 23, 2013

Commutative Algebra and Its Applications参考文献 14被引用数 11

ひとこと要約

この論文は、二項辺イデアルのカステルヌオーヴォ・マウフリディ正則性に関する2つの予想を証明する。それは、切断辺または単体的頂点をもつグラフに対して、reg(J_G) ≤ c(G) + 1 の上限を確立し、したがってすべての弦的グラフに対して成り立つ。また、グラフの結合に対してその上限を検証し、完全 t 分割グラフを含む。主な貢献は、2つのグラフの結合における正則性の公式を示したことである。すなわち、reg(J_{G₁*G₂}) = max{reg(J_{G₁}), reg(J_{G₂}), 3} であり、これは完全 t 分割グラフおよび一般化されたブロックグラフに対して予想が成り立つことを示している。

ABSTRACT

We prove two recent conjectures on some upper bounds for the Castelnuovo-Mumford regularity of the binomial edge ideals of some different classes of graphs. We prove the conjecture of Matsuda and Murai for graphs which has a cut edge or a simplicial vertex, and hence for chordal graphs. We determine the regularity of the binomial edge ideal of the join of graphs in terms of the regularity of the original graphs, and consequently prove the conjecture of Matsuda and Murai for such a graph, and hence for complete $t$-partite graphs. We also generalize some results of Schenzel and Zafar about complete $t$-partite graphs. We also prove the conjecture due to the authors for a class of chordal graphs.

研究の動機と目的

• 切断辺または単体的頂点をもつグラフに対して、Matsuda と Murai が提起した予想 reg(J_G) ≤ c(G) + 1 が成り立つことを証明すること。
• 2つのグラフの結合における二項辺イデアルの正則性の公式を確立すること。
• 完全 t 分割グラフおよび一般化されたブロックグラフに対して、予想を検証すること。
• Schenzel と Zafar が完全 t 分割グラフに対して得た結果を一般化すること。
• 筆者らの予想が、ブロックグラフを含む弦的グラフのクラスに対して成り立つことを確認すること。

提案手法

• グラフの結合演算を用いて、J_{G₁*G₂} の正則性が J_{G₁} と J_{G₂} の正則性と関係づけられることを示す。
• 非完全グラフ G₁ および G₂ に対して、reg(J_{G₁*G₂}) = max{reg(J_{G₁}), reg(J_{G₂}), 3} を証明する。
• この公式を応用して、P₂ および P₃ を除く2つのグラフの結合に対して、reg(J_G) ≤ n − 1 が成り立つことを示す。
• クリーク複体と単体的頂点の構造を活用して、弦的グラフに対する上限を証明する。
• 最大クリークの性質と帰納法を用いて、完全 t 分割グラフへの結果の拡張を行う。
• 結合構成とその正則性への影響を分析することで、二項辺イデアルに関する先行研究を一般化する。

実験結果

リサーチクエスチョン

• RQ1 切断辺または単体的頂点をもつ弦的グラフに対して、予想 reg(J_G) ≤ c(G) + 1 は常に成り立つか？
• RQ2 2つのグラフの結合における二項辺イデアルの正則性は何か？ また、それは Matsuda-Murai 予想を満たすか？
• RQ3 結合構造を用いて、完全 t 分割グラフへの正則性の上限を拡張できるか？
• RQ4 Matsuda と Murai の予想は、弦的グラフのクラスである一般化されたブロックグラフに対しても成り立つか？
• RQ5 特に、1つまたは両方のグラフが非完全である場合に、結合演算における二項辺イデアルの正則性はどのように振る舞うか？

主な発見

• 切断辺または単体的頂点をもつグラフに対して、二項辺イデアルの正則性は reg(J_G) ≤ c(G) + 1 を満たす。これは、Matsuda-Murai 予想がすべての弦的グラフに対して成り立つことを証明する。
• 2つのグラフ G₁ および G₂（両方とも完全でない）に対して、reg(J_{G₁*G₂}) = max{reg(J_{G₁}), reg(J_{G₂}), 3} が成り立つ。
• Matsuda と Murai の予想は完全 t 分割グラフに対しても成り立つ。G が完全でない場合、t ≥ 2 ならば reg(J_G) = 3 である。
• 一般化されたブロックグラフ（弦的グラフのクラス）の二項辺イデアルの正則性は、筆者らの予想を満たす。これは、Ene と Zarojanu の結果を拡張する。
• P₂ および P₃ に同型でないすべての n 頂点のグラフ G に対して、reg(J_G) ≤ n − 1 が成り立つ。これは、このクラスに対する予想を確認する。
• 結合における正則性の公式により、Schenzel と Zafar が完全 t 分割グラフに対して得た結果が一般化される。