[论文解读] Regularity of Powers of edge ideal of very well-covered graphs

Pooran Norouzi, S. A. Seyed Fakhari+1 more|arXiv (Cornell University)|Jul 16, 2017

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

一句话总结

该论文证明了对于奇圈长至少为 $2k+1$（$k \geq 3$）的非常良好覆盖图，其边理想第 $s$ 次幂的 Castelnuovo-Mumford 正则性等于 $2s + \nu(G) - 1$，其中 $1 \leq s \leq k-2$，从而将已知的关于二分图和无混合二分图的结果推广到了更广泛的图类。证明方法基于归纳法，并利用偶连通路径与理想商的性质，表明 $I(G)^s$ 的关联图始终保持非常良好覆盖，从而保持正则性界不变。

ABSTRACT

Let $k\geq 3$ be an integer and $G$ be a very well-covered graph with ${ m odd-girth}(G)\geq 2k+1$. Assume that $I(G)$ is the edge ideal of $G$. We show that for every integer $s$ with $1\leq s\leq k-2$, we have ${ m reg}(I(G)^s)=2s+ν(G)-1$, where $ν(G)$ is the induced matching number of $G$.

研究动机与目标

• 将已知的关于二分图和无混合二分图中边理想的正则性界推广到更广泛的图类：奇圈长大于等于 $2k+1$ 的非常良好覆盖图。
• 研究公式 $\mathrm{reg}(I(G)^s) = 2s + \nu(G) - 1$ 是否在非常良好覆盖图中，超出二分图情形也成立。
• 确定在何种条件下，边理想幂的正则性保持线性且斜率为 2，这与一般界预测的一致。
• 建立当 $G$ 为非常良好覆盖图且奇圈长大于等于 $2k+1$ 时，理想商 $ (I(G)^{s+1} : e_1 \cdots e_s) $ 所关联的图仍为非常良好覆盖图，从而支持归纳性正则性论证。

提出的方法

• 对 $s$ 使用归纳法证明正则性公式，从基础情形 $s=1$ 开始，此时已知对于非常良好覆盖图有 $\mathrm{reg}(I(G)) = \nu(G) + 1$。
• 应用 Banerjee [3] 关于偶连通路径的结果，分析理想商关联图的结构。
• 使用理想商 $ (I(G)^{s+1} : e_1 \cdots e_s) $ 将问题转化为研究与导出图 $G'$ 关联的新边理想之正则性。
• 证明若 $G$ 为非常良好覆盖图且 $\mathrm{odd\text{-}girth}(G) \geq 2k+1$，则 $G'$（即 $ (I(G)^{s+1} : e_1 \cdots e_s) $ 的关联图）也是非常良好覆盖图，从而保持归纳结构。
• 利用 $\nu(G') \leq \nu(G)$ 及已知的正则性界，建立上界 $\mathrm{reg}(I(G)^{s+1}) \leq 2s + \nu(G) + 1$，结合 [4] 中的下界即可推出等式成立。
• 依赖定理 2.3（Banerjee）验证 $G'$ 满足成为非常良好覆盖图的条件，特别是关于诱导路径与边邻接性的条件。

实验结果

研究问题

• RQ1 该正则性公式 $\mathrm{reg}(I(G)^s) = 2s + \nu(G) - 1$ 是否对所有非常良好覆盖图都成立，而不仅限于二分图？
• RQ2 非常良好覆盖图的何种结构条件可确保其边理想幂的正则性保持线性且斜率为 2？
• RQ3 在何种条件下，理想商 $ (I(G)^{s+1} : e_1 \cdots e_s) $ 关联的图仍为非常良好覆盖图？
• RQ4 当 $G$ 具有高奇圈长时，是否可对 $s \leq k-2$ 精确界定 $I(G)^s$ 的正则性？
• RQ5 诱导匹配数 $\nu(G)$ 是否足以作为该图类中确定 $I(G)^s$ 正则性的充分不变量？

主要发现

• 对于满足 $1 \leq s \leq k-2$ 的每个整数 $s$，奇圈长大于等于 $2k+1$ 的非常良好覆盖图 $G$ 的边理想第 $s$ 次幂的正则性恰好为 $2s + \nu(G) - 1$。
• 当 $G$ 为非常良好覆盖图且奇圈长大于等于 $2k+1$ 时，理想商 $ (I(G)^{s+1} : e_1 \cdots e_s) $ 所关联的图 $G'$ 也是非常良好覆盖图，从而支持归纳推理。
• 诱导匹配数 $\nu(G)$ 满足 $\nu(G') \leq \nu(G)$，确保在理想商运算下正则性界保持紧致。
• 证明依赖于 $G$ 不含长度 $\leq 2k-1$ 的奇圈，这可防止小奇圈的形成，从而避免破坏正则性结构。
• 该结果将先前对森林、环、胡须环、单圈图及无混合二分图的结果推广到了更大的非常良好覆盖图类。
• 关键技术洞见在于：$G$ 中的偶连通路径结构确保导出图 $G'$ 保持为非常良好覆盖图，从而保持正则性公式不变。