[论文解读] 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$，其中 $\mathcal{L}(G)$ 表示连通分支中最长诱导路径长度之和。
• 建立对于此类图（称为强区间图）而言，$J_G$ 的正则性等于 $\mathcal{L}(G)$ 与 $c(G)$。

提出的方法

• 通过弦图的结构分析推导最大团数的上界。
• 应用关于区间表示和顶点排序的引理，证明所有弦图的正则性上界 $\operatorname{reg}(S/J_G) \leq c(G)$。
• 通过具有整数左端点的区间表示引入“强区间图”的概念。
• 利用图的连接积构造强区间图的无限族，以进行渐近分析。
• 使用 Hilbert 级数与 $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$ 的区间表示。
• 对于任意强区间图 $G$，有 $\operatorname{reg}(S/J_G) = \mathcal{L}(G) = c(G)$。
• 存在一个强区间图的无限族 $\{\mathcal{G}_t\}_{t=1}^\infty$，使得 $\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$ 的上界。