[论文解读] Regularity of Powers of Unicyclic Graphs

Ali Alilooee, Selvi Kara+1 more|arXiv (Cornell University)|Feb 3, 2017

Commutative Algebra and Its Applications参考文献 21被引用 9

一句话总结

该论文证明了对于任意单环图 $G$，其边理想第 $s$ 次幂的 Castelnuovo-Mumford 正则性满足 $\operatorname{reg}(I(G)^s) = 2s + \operatorname{reg}(I(G)) - 2$，对所有 $s \geq 1$ 成立。该结果通过组合刻画具有正则性 $\nu(G)+1$ 和 $\nu(G)+2$ 的单环图完成，其中 $\nu(G)$ 为诱导匹配数，并依赖于先前工作的界限以及单环图分解为带附着树的环的结构。

ABSTRACT

Let $G$ be a finite simple graph and $I(G)$ denote the corresponding edge ideal. In this paper we prove that if $G$ is a unicyclic graph then for all $s \geq 1$ the regularity of $I(G)^s$ is exactly $2s+ ext{reg}(I(G))-2$. We also characterize the unicyclic graphs with regularity $ν(G)+1$ and $ν(G)+2$, where $ν(G)$ denotes the induced matching number of $G$.

研究动机与目标

• 确定单环图中边理想幂的渐近线性函数 $\operatorname{reg}(I(G)^s) = as + b$ 的精确形式。
• 用图的组合不变量，特别是诱导匹配数 $\nu(G)$ 和边理想正则性，计算稳定化指标 $s_0$ 和常数 $b$。
• 提供单环图的完整组合刻画，以确定 $\operatorname{reg}(I(G)) = \nu(G)+1$ 和 $\operatorname{reg}(I(G)) = \nu(G)+2$ 的图。
• 将边理想幂正则性已知结果推广至单环图，这一类图此前在该背景下尚未被完全刻画。

提出的方法

• 作者将单环图分解为在顶点上附着树的环，定义根及根的非环邻居集合 $\Gamma(G)$。
• 通过归纳法和结构分解，建立对所有 $s \geq 1$ 满足 $\operatorname{reg}(I(G)^s) \leq 2s + \operatorname{reg}(I(G)) - 2$ 的上界。
• 将此上界与文献 [4, 定理 4.5] 中已知的下界 $\operatorname{reg}(I(G)^s) \geq 2s + \nu(G) - 1$ 结合，推导出精确的正则性值。
• 利用环和森林的边理想正则性结果，以及诱导子图的性质，验证两种正则性情形下等式的成立：$\operatorname{reg}(I(G)) = \nu(G)+1$ 和 $\operatorname{reg}(I(G)) = \nu(G)+2$。
• 应用 [4]、[24]、[28] 和 [31] 中关于单项式理想和诱导匹配正则性的已知结果，以支持主要证明。
• 通过 Macaulay2 计算验证非单环图中的反例，确认单环条件的必要性。

实验结果

研究问题

• RQ1 单环图中 $\operatorname{reg}(I(G)^s)$ 的精确形式是什么？其是否在 $s_0 = 1$ 处稳定？
• RQ2 哪些单环图满足 $\operatorname{reg}(I(G)) = \nu(G)+1$，哪些满足 $\operatorname{reg}(I(G)) = \nu(G)+2$？
• RQ3 单环图中边理想幂的正则性能否完全用 $\operatorname{reg}(I(G))$ 和 $s$ 表示？
• RQ4 等式 $\operatorname{reg}(I(G)^s) = 2s + \operatorname{reg}(I(G)) - 2$ 是否对所有 $s \geq 1$ 在单环图中成立？其背后的组合原因是什么？

主要发现

• 对于任意单环图 $G$，对所有 $s \geq 1$，有 $\operatorname{reg}(I(G)^s) = 2s + \operatorname{reg}(I(G)) - 2$ 成立，且稳定化指标 $s_0 = 1$。
• 单环图的边理想正则性满足 $\nu(G)+1 \leq \operatorname{reg}(I(G)) \leq \nu(G)+2$，且两个边界均为紧致。
• 单环图满足 $\operatorname{reg}(I(G)) = \nu(G)+2$ 当且仅当其环长 $n \equiv 2 \pmod{3}$ 且 $\nu(G \setminus \Gamma(G)) = \nu(G)$。
• 当 $\operatorname{reg}(I(G)) = \nu(G)+1$ 时，幂的正则性为 $\operatorname{reg}(I(G)^s) = 2s + \nu(G) - 1 = 2s + \operatorname{reg}(I(G)) - 2$，对所有 $s \geq 1$ 成立。
• 当 $\operatorname{reg}(I(G)) = \nu(G)+2$ 时，幂的正则性为 $\operatorname{reg}(I(G)^s) = 2s + \nu(G) = 2s + \operatorname{reg}(I(G)) - 2$，对所有 $s \geq 1$ 成立，其证明基于一个诱导子图 $H$，满足 $\operatorname{reg}(I(H)^s) = 2s + \nu(H)$。
• 该结果推广了关于带须环的已知结果，并可扩展至不连通的单环图，此时对所有 $s \geq 2$，有 $\operatorname{reg}(I(G)^s) = 2s + \operatorname{reg}(I(G)) - 2$ 成立。