[論文レビュー] 2-dimensional vertex decomposable circulant graphs

Francesco Romeo, Giancarlo Rinaldo|arXiv (Cornell University)|Jul 16, 2018

Graph theory and applications参考文献 15被引用数 3

ひとこと要約

本稿は、巡回グラフの2次元頂点分解可能独立集合複体を特徴付け、特定の生成子集合を用いて無限族を構成する。$ C_n(S) $ において $ n = 3 \cdot 2^m $、$ S = \{1,2,4,\dots,2^m, 2^m-1\} $ のとき、独立集合複体は頂点分解可能であり、対応する Stanley-Reisner 環はレベル代数であることが示され、Gorenstein となるのは唯一 $ C_6(3) $ の場合である。

ABSTRACT

Let $G$ be the circulant graph $C_n(S)$ with $S\subseteq\{ 1,\ldots,\left \lfloor\frac{n}{2} ight floor\}$ and let $Δ$ be its independence complex. We describe the well-covered circulant graphs with 2-dimensional $Δ$ and construct an infinite family of vertex-decomposable circulant graphs within this family.

研究の動機と目的

• 独立集合複体が2次元で頂点分解可能な well-covered 巡回グラフを特徴付ける。
• このクラスに属する頂点分解可能な巡回グラフの無限族を構成する。
• Stanley-Reisner 環の代数的性質、特にそれがレベル代数か Gorenstein 代数かを調べる。
• このようなグラフの Stanley-Reisner 環が Gorenstein となる必要十分条件を特定する。
• 構造的・代数的洞察を得るため、独立集合複体の $ f $-ベクトル、$ h $-ベクトル、および縮約オイラー標数の分析を行う。

提案手法

• 巡回グラフ $ G = C_n(S) $ の独立集合複体 $ \Delta $ を、$ G $ のすべての独立集合からなる単体的複体として定義する。
• Hochster の公式を用いてエッジイデアル $ I(G) $ のベッチ数を計算し、リンクと削除のホモロジーをベッチ数と関連付ける。
• 頂点分解可能性の条件を用いる：頂点 $ v $ に対して、$ \operatorname{link}_\Delta(v) $ と $ \operatorname{del}_\Delta(v) $ が両方とも頂点分解可能でなければならない。
• $ f $-ベクトルと $ h $-ベクトルの公式（命題 2.2 および 2.4）を用いて、縮約オイラー標数 $ \widetilde{\chi}(\Delta) $ などの位相的不変量を計算する。
• Auslander-Buchsbaum の公式を用いて射影次元と深さを関連付け、$ R/I(G) $ の正則性を用いてベッチ数を制約する。
• Gorenstein 性の必要条件として $ h $-ベクトルの対称性を用い、$ h_1 = h_2 $ を解いて候補となるグラフを同定する。

実験結果

リサーチクエスチョン

• RQ1 どの巡回グラフが、2次元の独立集合複体をもち、かつ頂点分解可能か？
• RQ2 クルル次元 3 の頂点分解可能な巡回グラフの無限族を構成できるか？
• RQ3 このようなグラフの Stanley-Reisner 環がレベル代数となるのはいつか？
• RQ4 Stanley-Reisner 環が Gorenstein となる条件は何か？
• RQ5 縮約オイラー標数 $ \widetilde{\chi}(\Delta) $ は、Cohen-Macaulay 型を決定する上で果たす役割は何か？

主な発見

• $ n = 3 \cdot 2^m $、$ S = \{1,2,4,\dots,2^m, 2^m-1\} $ のとき、$ C_n(S) $ の独立集合複体は $ m \geq 3 $ に対して頂点分解可能であり、このようなグラフの無限族を形成する。
• この族の Stanley-Reisner 環 $ R/I(G) $ は、Cohen-Macaulay 型が非ゼロの縮約オイラー標数 $ \widetilde{\chi}(\Delta) $ に等しいため、レベル代数である。
• このクラスで唯一 Gorenstein となるのは $ G = C_6(3) $ の場合であり、このとき $ \widetilde{\chi}(\Delta) = 1 $ で $ h $-ベクトルは対称的である。
• 巡回グラフの2次元頂点分解可能な独立集合複体に対して、縮約オイラー標数は常に非ゼロであり、これにより環がレベル代数であることが保証される。
• $ R/I(G) $ の正則性は 3 であり、Auslander-Buchsbaum の公式から射影次元は $ n - 3 $ である。
• $ \Delta(C_6(3)) $ の $ f $-ベクトルは $ (1,6,12,8) $ であり、$ \widetilde{\chi}(\Delta) = -1 + 6 - 12 + 8 = 1 $ となる。これにより Gorenstein 性が確認される。