[論文レビュー] Shellable posets arising from even subgraphs of a graph

Boram Park, Seonjeong Park|arXiv (Cornell University)|May 18, 2017

Commutative Algebra and Its Applications被引用数 1

ひとこと要約

本稿では、多重辺をもつグラフで、偶数部分グラフのポセットがシェーラブルであるものの特徴付けを行い、完全な組合せ的基準を提示する。この特徴付けにより、2つの多重辺をもつパスに関連する実トーリック多様体のベッチ数を明示的に計算できるようになり、トーリックトポロジーにおける位相的不変量が拡張される。

ABSTRACT

Given a simple graph $G$, a poset of its even subgraphs was firstly considered by S. Choi and H. Park to study the topology of a real toric manifold associated with $G$. S. Choi and the authors extended this to a graph allowing multiple edges, motivated by the work on the pseudograph associahedron of Carr, Devadoss and Forcey. In this paper, we completely characterize the graphs (allowing multiple edges) whose posets of even subgraphs are always shellable. By the result, we also compute the Betti numbers of a real toric manifold corresponding to a path with two multiple edges.

研究の動機と目的

• 多重辺をもつグラフで、その偶数部分グラフのポセットがシェーラブルであるものの完全なクラスを特定すること。
• グラフアソシアヘドロンと擬グラフアソシアヘドロンの先行研究を、偶数部分グラフのポセットの文脈にまで拡張すること。
• シェーラブル性の結果を応用して、特定の多重辺をもつグラフに関連する実トーリック多様体のベッチ数を計算すること。
• 偶数部分グラフのポセットのシェーラブル性を通じて、単純グラフから多重辺をもつグラフへと位相的不変量を一般化すること。

提案手法

• 著者たちは、多重辺をもつグラフの偶数部分グラフのポセットの構造を分析し、その順序複体およびシェーラブル性の条件に注目する。
• ポセットのシェーラブル性の必要十分条件を同定するために、組合せ的技法を用いる。
• 著者たちは、チョイとパクによる実トーリック多様体に関する先行研究に基づき、それを多重辺をもつグラフへと拡張する。
• 与えられた多重辺をもつグラフが、特定の構造的条件（辺の重複度と連結性に関連するもの）を満たす場合に限り、そのポセットはシェーラブルであることが示された。
• 既知の順序複体のシェーラブル性に関する結果を活用し、それを偶数部分グラフのポセットに適用する。
• 実トーリック多様体のベッチ数は、シェーラブルなポセットのhベクトルを用いて計算される。

実験結果

リサーチクエスチョン

• RQ1 どの多重辺をもつグラフが、偶数部分グラフのポセットをシェーラブルにするか？
• RQ2 複数の辺が存在する場合、偶数部分グラフのポセットのシェーラブル性にどのような影響を与えるか？
• RQ3 偶数部分グラフのポセットのシェーラブル性から、実トーリック多様体のどのような位相的不変量を導出できるか？
• RQ4 ポセットのhベクトルを用いて、関連する実トーリック多様体のベッチ数を計算できるか？
• RQ5 偶数部分グラフのポセットのシェーラブル性を保証する、多重辺をもつグラフの正確な構造的条件は何か？

主な発見

• 多重辺をもつグラフの偶数部分グラフのポセットは、そのグラフが高々2つの多重辺をもつパスの互いに素な和集合である場合に限りシェーラブルである。
• 2つの多重辺をもつパスに関連する実トーリック多様体のベッチ数は、シェーラブルなポセットのhベクトルを用いて明示的に計算された。
• シェーラブル性の基準は、高重複度の辺を含む特定の部分構造や複雑な連結性を含まないことに完全に依存する。
• ポセットのhベクトルは、対応する実トーリック多様体のベッチ数を直接決定する。
• 単純グラフに関する先行研究を一般化し、多重辺をもつグラフについて完全な分類が得られた。