[论文解读] 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

一句话总结

本文證明了關於二項式邊理想的 Castelnuovo-Mumford 正則性之兩個猜想：對於具有割邊或單純頂點的圖，建立了 reg(J_G) ≤ c(G) + 1 的界——因此對所有弦圖成立——並驗證了圖的併集的界，包括完全 t-分圖。主要貢獻在於提出兩個圖併集的正則性公式，顯示 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 對具有割邊或單純頂點的圖成立。
• 建立兩個圖併集的二項式邊理想正則性的公式。
• 驗證完全 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₃），有 reg(J_G) ≤ n − 1。
• 利用團複形與單純頂點的結構，證明弦圖的正則性界。
• 使用數學歸納法與最大團的性質，將結果推廣至完全 t-分圖。
• 透過分析併集構造及其對正則性的影響，推廣先前關於二項式邊理想的結果。

实验结果

研究问题

• RQ1 該猜想 reg(J_G) ≤ c(G) + 1 對所有弦圖（特別是具有割邊或單純頂點的圖）是否成立？
• RQ2 兩個圖併集的二項式邊理想正則性為何？是否滿足 Matsuda-Murai 的猜想？
• RQ3 能否利用併集結構將正則性界推廣至完全 t-分圖？
• RQ4 Matsuda 與 Murai 的猜想對推廣的塊圖（弦圖的一個子類）是否成立？
• RQ5 二項式邊理想正則性在併集運算下如何表現，特別是當一個或兩個圖非完全圖時？

主要发现

• 具有割邊或單純頂點的圖的二項式邊理想正則性滿足 reg(J_G) ≤ c(G) + 1，從而證明 Matsuda-Murai 對所有弦圖的猜想。
• 對於兩個圖 G₁ 與 G₂ 的併集（非皆完全圖），有 reg(J_{G₁*G₂}) = max{reg(J_{G₁}), reg(J_{G₂}), 3}。
• Matsuda 與 Murai 的猜想對完全 t-分圖成立，當圖非完全且 t ≥ 2 時，有 reg(J_G) = 3。
• 推廣的塊圖（弦圖的一個子類）的二項式邊理想正則性滿足作者的猜想，並推廣了 Ene 與 Zarojanu 的結果。
• 對於所有不與 P₂ 或 P₃ 同構的 n 個頂點圖 G，有 reg(J_G) ≤ n − 1 的界成立，從而確認此類圖的猜想。
• 併集正則性公式使我們能推廣 Schenzel 與 Zafar 對完全 t-分圖的結果。