[論文レビュー] 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$ 乗のカステルヌオーヴォ・ムーフォ・正則性が、すべての $s \geq 1$ に対して $\operatorname{reg}(I(G)^s) = 2s + \operatorname{reg}(I(G)) - 2$ を満たすことを確立している。この結果は、正則性が $\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$ の正確な形を特定すること。
• 安定化インデックス $s_0$ と定数 $b$ を、特に誘導マッチング数 $\nu(G)$ と辺イデアルの正則性といった組合せ的不変量の言いかげて計算すること。
• 正則性 $\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$ と組み合わせることで、正確な正則性値を導出する。
• サイクルおよび森の辺イデアルの正則性に関する結果と、誘導部分グラフの性質を用いて、正則性の2通りのケース（$\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$ の場合、すべての $s \geq 1$ に対して $\operatorname{reg}(I(G)^s) = 2s + \nu(G) - 1 = 2s + \operatorname{reg}(I(G)) - 2$ が成り立つ。
• 正則性 $\operatorname{reg}(I(G)) = \nu(G)+2$ の場合、すべての $s \geq 1$ に対して $\operatorname{reg}(I(G)^s) = 2s + \nu(G) = 2s + \operatorname{reg}(I(G)) - 2$ が成り立ち、これは誘導部分グラフ $H$ を用いて $\operatorname{reg}(I(H)^s) = 2s + \nu(H)$ が成り立つことにより証明される。
• この結果は、ひげ付きサイクルに関する既知の結果を一般化し、非連結ユニサイクルグラフに対しても拡張可能であり、$s \geq 2$ に対して $\operatorname{reg}(I(G)^s) = 2s + \operatorname{reg}(I(G)) - 2$ が成り立つ。