[論文レビュー] Regularity of binomial edge ideals of chordal graphs

Mohammad Rouzbahani Malayeri, Sara Saeedi Madani+1 more|arXiv (Cornell University)|Oct 7, 2018

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

ひとこと要約

本稿は、任意の弦的グラフ $G$ の二項辺イデアルの Castelnuovo-Mumford 正則性が、最大クリーク数 $c(G)$ で上から有界であることを証明し、このクラスのグラフについてその予想を確認する。また、正則性が $
\mathcal{L}(G)$（連結成分における最長誘導路長の和）および $c(G)$ に等しくなるような「強く区間グラフ」を導入し、その特徴づけをなす。さらに、正則性がこの上界に正確に達するのは、まさにこのようなグラフであることを示す。

ABSTRACT

In this paper we prove the conjectured upper bound for Castelnuovo-Mumford regularity of binomial edge ideals posed in [23], in the case of chordal graphs. Indeed, we show that the regularity of any chordal graph G is bounded above by the number of maximal cliques of G, denoted by c(G). Moreover, we classify all chordal graphs G for which L(G) = c(G), where L(G) is the sum of the lengths of longest induced paths of connected components of G. We call such graphs strongly interval graphs. Moreover, we show that the regularity of a strongly interval graph G coincides with L(G) as well as c(G).

研究の動機と目的

• 弦的グラフの二項辺イデアルの Castelnuovo-Mumford 正則性が、すべての弦的グラフに対して最大クリーク数 $c(G)$ で上から有界であるという予想を証明すること。
• 連結成分における最長誘導路長の和 $
  \mathcal{L}(G)$ が $c(G)$ に等しい弦的グラフ $G$ を分類すること。
• このようなグラフ（「強く区間グラフ」として知られる）に対して、$J_G$ の正則性が $
  \mathcal{L}(G)$ および $c(G)$ に等しいことを確立すること。

提案手法

• 弦的グラフの構造的解析を用いて、最大クリーク数の上界を導出する。
• 区間表現および頂点順序に関する補題を適用し、すべての弦的グラフに対して $\operatorname{reg}(S/J_G) \leq c(G)$ を証明する。
• 整数の左端を持つ区間表現を用いて、「強く区間グラフ」の概念を導入する。
• グラフのジョイン積を用いて、漸近的解析のための無限個の strongly interval graphs の族を構成する。
• ヒルベルト級数および $h$-多項式の次数を用いて、正則性の上限を $c(G)$ および $n-2$ と比較し、$c(G)$ がはるかにタイトである可能性を示す。

実験結果

リサーチクエスチョン

• RQ1 予想される正則性の上限 $\operatorname{reg}(S/J_G) \leq c(G)$ は、すべての弦的グラフに対して成り立つか？
• RQ2 どの弦的グラフが $\mathcal{L}(G) = c(G)$ を満たし、どのような構造的性質を持つのか？
• RQ3 どの弦的グラフに対して $J_G$ の正則性が $
  \mathcal{L}(G)$ および $c(G)$ に等しくなるか？
• RQ4 特定のグラフ族に対して、$c(G)$、$\deg h_G(\lambda)$、$n-2$ の上限が漸近的にどのように比較されるか？

主な発見

• 任意の弦的グラフ $G$ に対して、二項辺イデアルの正則性は $\operatorname{reg}(S/J_G) \leq c(G)$ を満たし、[23] の予想が弦的グラフに対して確認された。
• 弦的グラフ $G$ に対して $\mathcal{L}(G) = c(G)$ が成り立つための必要十分条件は、すべての左端が $\mathbb{N}_0$ に属する区間表現を持つこと、すなわち strongly interval graph であることである。
• 任意の strongly interval graph $G$ に対して、$J_G$ の正則性は $
  \mathcal{L}(G)$ および $c(G)$ に等しく、したがって $\operatorname{reg}(S/J_G) = \mathcal{L}(G) = c(G)$ が成り立つ。
• 無限族 $\{\mathcal{G}_t\}_{t=1}^\infty$ の strongly interval graph が存在し、$\lim_{t\to\infty} \frac{c(\mathcal{G}_t)}{\deg h_{\mathcal{G}_t}(\lambda)} = 0$ を満たす。これにより、$c(G)$ が $h$-多項式の次数よりも著しく小さい可能性があることが示された。
• 同じ族に対して $\lim_{t\to\infty} \frac{c(\mathcal{G}_t)}{|V(\mathcal{G}_t)| - 2} = 0$ が成り立つ。これにより、$c(G)$ が $n-2$ の上限よりも漸近的にタイトであることが示された。