[论文解读] On the Stanley depth of edge ideals of line and cyclic graphs

Mircea Cimpoeaş|arXiv (Cornell University)|Nov 3, 2014

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

一句话总结

本文证明了斯坦利猜想对线图和环图的边理想成立，计算了环图对应商环 $S/J_n$ 的斯坦利深度：当 $n \equiv 0,2 \pmod{3}$ 时为精确值，当 $n \equiv 1 \pmod{3}$ 时为紧致界。此外，还通过偏序集分解和生成元估计方法，建立了单项式理想商的斯坦利深度的组合界。

ABSTRACT

We prove that the edge ideals of line and cyclic graphs and their quotient rings satisfy the Stanley conjecture. We compute the Stanley depth for the quotient ring of the edge ideal associated to a cycle graph of length $n$, given a precise formula for $n\equiv 0,2 \pmod{3}$ and tight bounds for $n\equiv 1 \pmod{3}$. Also, we give bounds for the Stanley depth of a quotient of two monomial ideals, in combinatorial terms.

研究动机与目标

• 验证线图和环图边理想的斯坦利猜想。
• 计算与长度为 $n$ 的环图边理想相关的商环 $S/J_n$ 的斯坦利深度。
• 为单项式理想商的斯坦利深度建立组合上界与下界。
• 提供一种基于偏序集分解和最小单项式生成元的斯坦利深度估计方法。

提出的方法

• 使用深度引理和归纳论证计算 $S/J_n$ 的深度，证明 $\operatorname{depth}(S/J_n) = \left\lceil \frac{n-1}{3} \right\rceil$。
• 应用斯坦利分解技术，通过平方自由单项式的偏序集结构计算 $\operatorname{sdepth}(S/J_n)$。
• 基于循环图中大小为 $t$ 的独立集数量 $\beta_t$，推导出基于递推公式中系数 $\alpha_t$ 的斯坦利深度上界组合准则。
• 利用命题 2.7 和定理 1.4，基于 $I$ 和 $J$ 的最小生成元数量，建立 $\operatorname{sdepth}(J/I)$ 的下界。
• 通过 CoCoA 的计算机辅助实验，检验 $\alpha_t$ 系数非负性的猜想。
• 利用商环的同构关系，将 $S/J_n$ 的结构简化为更简单的环如 $S_{n-3}/I_{n-3}$ 和 $S_{n-1}/I_{n-1}$。

实验结果

研究问题

• RQ1 斯坦利猜想对长度为 $n$ 的环图边理想是否成立？
• RQ2 长度为 $n$ 的环图对应的 $S/J_n$ 的斯坦利深度的精确值是什么？
• RQ3 当 $n \equiv 1 \pmod{3}$ 时，能否为 $\operatorname{sdepth}(S/J_n)$ 建立紧致的组合界？
• RQ4 以偏序集不变量表示的两个平方自由单项式理想商的斯坦利深度上界是什么？
• RQ5 能否从 $I$ 和 $J$ 的最小生成元数量推导出 $\operatorname{sdepth}(J/I)$ 的下界？

主要发现

• 斯坦利猜想对线图和环图的边理想均成立，因为 $\operatorname{sdepth}(S/J_n) \geq \operatorname{depth}(S/J_n) = \left\lceil \frac{n-1}{3} \right\rceil$。
• 当 $n \equiv 0 \pmod{3}$ 或 $n \equiv 2 \pmod{3}$ 时，$\operatorname{sdepth}(S/J_n) = \left\lceil \frac{n-1}{3} \right\rceil$。
• 当 $n \equiv 1 \pmod{3}$ 时，$\left\lceil \frac{n-1}{3} \right\rceil \leq \operatorname{sdepth}(S/J_n) \leq \left\lceil \frac{n}{3} \right\rceil$，且 $\operatorname{sdepth}(S/J_7) = 2$ 为精确值。
• 通过基于关联偏序集中独立集数量的递推公式中的系数 $\alpha_t$，给出了 $\operatorname{sdepth}(J/I)$ 的上界。
• 建立了 $\operatorname{sdepth}(J/I)$ 的下界为 $n - p - \left\lfloor \frac{q - r}{2} \right\rfloor$，其中 $p$ 为 $I$ 的生成元数，$q - r$ 为 $J$ 中不属于 $I$ 的生成元数。
• 当 $n = 3k - 2$ 时，对较小的 $k$，系数 $\alpha_0, \ldots, \alpha_k$ 为非负，提示可能存在精确公式，但因缺乏完整分解，该结论仍为启发式。