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

一句话总结

该论文利用组合不变量，为有限简单图的边理想幂的Castelnuovo-Mumford正则性建立了上界。它证明了Alilooee、Banerjee、Beyarslan和Hà的猜想，表明对所有 $ q \geq 1 $，有 $ \operatorname{reg}(I(G)^q) \leq 2q + \operatorname{co-chord}(G) - 1 $，并确认了上界 $ \operatorname{reg}(I(G)^q) \leq 2q + \zeta(G) - 1 $，其中 $ \zeta(G) $ 是一个星打包不变量。研究结果被推广至顶点可分解图，从而在多个图类中得出了正则性的精确线性公式。

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.

研究动机与目标

• 为有限简单图的边理想幂的Castelnuovo-Mumford正则性建立一般上界。
• 解决Alilooee、Banerjee、Beyarslan和Hà关于共弦覆盖数的正则性上界猜想。
• 利用组合图不变量，将结果从边理想本身推广至其高次幂。
• 识别出正则性满足 $ \operatorname{reg}(I(G)^q) = 2q + \nu(G) - 1 $ 的图类，其中 $ \nu(G) $ 为诱导匹配数。

提出的方法

• 引入一个定义在诱导子图上的函数 $ \rho $，满足三个条件：(1) $ \operatorname{reg}(I(L)) \leq \rho(L) + 1 $，(2) 在诱导子图下单调递减，(3) 存在顶点 $ x $ 使得 $ \rho(L \setminus N_L[x]) + 1 \leq \rho(L) $。
• 利用该函数证明对所有 $ 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 $。
• 结合归纳法与图的结构性质（如顶点可分解性、单纯顶点和弦性），辅以代数工具（如分次Betti数和Rees代数正则性）。
• 利用顶点可分解图满足所需 $ \rho $-函数条件的事实，从而得出正则性的精确公式。
• 通过Macaulay2、SAGE以及SimplicialDecomposability软件包等计算工具验证结果。

实验结果

研究问题

• RQ1 是否存在一个定义在诱导子图集合上的函数 $ \rho $，使得对所有 $ q \geq 1 $，有 $ \operatorname{reg}(I(G)^q) \leq 2q + \rho(G) - 1 $？
• RQ2 能否证明所有有限简单图均满足猜想的上界 $ \operatorname{reg}(I(G)^q) \leq 2q + \operatorname{co-chord}(G) - 1 $？
• RQ3 对于所有图，上界 $ \operatorname{reg}(I(G)^q) \leq 2q + \zeta(G) - 1 $ 是否成立，其中 $ \zeta(G) $ 是星打包不变量？
• RQ4 在哪些图类中，对所有 $ q \geq 1 $，有 $ \operatorname{reg}(I(G)^q) = 2q + \nu(G) - 1 $ 成立？
• RQ5 是否能利用 $ I(G) $ 的正则性来界定 $ I(G)^q $ 的正则性，如猜想 $ \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à的Conjecture 1.1。
• 对所有图均建立了上界 $ \operatorname{reg}(I(G)^q) \leq 2q + \zeta(G) - 1 $，其中 $ \zeta(G) $ 是Hà与Woodroofe定义的星打包不变量。
• 对于顶点可分解图，$ 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 $，支持了Conjecture 1.2。
• 通过Macaulay2、SAGE和SimplicialDecomposability等计算工具的验证，支持了理论结果，并有助于检验猜想。