[論文レビュー] 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}$ の場合にきつい上限と下限を与える。また、poset分解と生成子に基づく推定を用いて、単項イデアルの商のスタニレー次元に対する組合せ的境界を確立している。

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$ のスタニレー次元を計算すること。
• 単項イデアルの商のスタニレー次元に対する組合せ的上界および下界を確立すること。
• poset分解と最小単項生成子を用いたスタニレー次元の推定手法を提供すること。

提案手法

• Depth Lemma と帰納的議論を用いて $S/J_n$ の深さを計算し、$\operatorname{depth}(S/J_n) = \left\lceil \frac{n-1}{3} \right\rceil$ を示している。
• スタニレー分解技術を適用し、平方自由単項式上のposet構造を介して $\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 循環グラフのエッジイデアルに対してスタンレー予想は成り立つか？
• RQ2 長さ $n$ の循環グラフに対して $S/J_n$ のスタニレー次元の正確な値は何か？
• RQ3 $n \equiv 1 \pmod{3}$ の場合に、$\operatorname{sdepth}(S/J_n)$ に対してきつい組合せ的境界を確立できるか？
• RQ4 関連するposet不変量を用いて、2つの平方自由単項イデアルの商のスタニレー次元の上界は何か？
• 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$ が得られている。
• $\operatorname{sdepth}(J/I)$ の上界は、関連するposetにおける独立集合の数に基づく再帰的公式における係数 $\alpha_t$ を用いて与えられる。
• $\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$ は非負であることが示され、正確な公式の可能性を示唆するが、完全な分解が得られていないため、これはまだヒューリスティックにとどまっている。