[論文レビュー] Postnikov-Shapiro Algebras, Graphical Matroids and their generalizations

Gleb Nenashev|arXiv (Cornell University)|Sep 29, 2015

Advanced Topics in Algebra参考文献 12被引用数 3

ひとこと要約

本稿は、グラフのスパンニングフォレストを数えるポストニコフ・シャピロ代数が、グラフの具体的な構造に依存せず、グラフィカルマトロイドにのみ依存することを確立する。本稿は、ハイパーグラフにおけるスパンニングツリーおよびフォレストの3通りの同値な定義を導入し、グラフィカルマトロイドをハイパーグラフィカルマトロイドへ一般化し、代数的構造がブリッジフリーなマトロイドに依存することを証明する。これにより、マトロイド同値性における同型不変性に関する予想が支持される。

ABSTRACT

In this paper we consider the original and different generalizations of Postnikov-Shapiro algebra which enumerate forests and trees of graphs, see~\cite{PSh}. Our main result is that the algebra counting forests depends only on graphical matroid and converse. Also we generalize algebras for a hypergraph. For this, we define spanning forests and trees of a hypergraph and the corresponding "hypergraphical" matroid. We present $3$ different equivalent definitions of spanning forests and trees, which can be read independently from other parts of the paper.

研究の動機と目的

• ポストニコフ・シャピロ代数とグラフィカルマトロイドの直接的な代数的関係を確立し、フォレストを数える代数がマトロイドにのみ依存することを示す。
• マトロイド理論の枠組みを拡張し、グラフからハイパーグラフへのスパンニングツリーおよびフォレストの概念を一般化する。
• 3通りの同値な定式化を通じてハイパーグラフィカルマトロイドを定義・特徴づけ、ハイパーグラフのスパンニング構造の代数的数え上げを可能にする。
• ハイパーグラフの下部構造のブリッジフリーなマトロイドにのみ依存するという、ツリーのポストニコフ・シャピロ代数の同型クラスがマトロイド同値性において不変であるという予想を提示・検証する。

提案手法

• エッジカットに基づくべき乗をとる生成子を備えた多項式環の商として定義される、2つの同型なポストニコフ・シャピロ代数を定義する。一方は頂点に基づく生成子を有するクリフォード代数の部分代数として定義する。
• ツェッテ多項式を代数のヒルベルト系列の母関数として用い、代数の次元とフォレスト・ツリーの組合せ的数え上げを結びつける。
• グラフからすべてのブリッジを取り除くことで「ブリッジフリーなマトロイド」の概念を導入し、その除去に対して代数的構造が不変であることを示す。
• カット、ベクトル配置、代数的イデアルを用いた3通りの同値な定式化を通じて、ハイパーグラフにおけるスパンニングツリーの定義を構築し、グラフィカルケースを一般化する。
• カット関連の関係で生成されるイデアルによる商をとることで、代数 ${\cal C}_{G}^{T}$ が ${\cal B}_{G}^{T}$ に同型であることを証明し、マトロイド構造を保存する。
• 完全な構成は未解決であるが、ハイパーグラフへの $G$-パークイング関数の一般化を提案し、ハイパーグラフィカル代数の定義の基盤を提供する。

実験結果

リサーチクエスチョン

• RQ1 ポストニコフ・シャピロ代数がスパンニングフォレストを数える際、グラフの具体的なエッジ・バーテックス構成に依存せず、グラフィカルマトロイドにのみ依存するか？
• RQ2 マトロイド論的原則に従い、グラフにおけるスパンニングツリーおよびフォレストの概念をハイパーグラフへ自然に拡張できるか？
• RQ3 グラフィカルケースを一般化する3通りの同値な代数的および組合せ的定義を、ハイパーグラフにおけるスパンニングツリーに与えることができるか？
• RQ4 ツリーのポストニコフ・シャピロ代数の同型クラスは、下部ハイパーグラフのブリッジフリーなマトロイドにのみ依存するか？
• RQ5 グラフのポストニコフ・シャピロ構成に類似した、ハイパーグラフのスパンニングツリーに対する一貫した代数的枠組みを構築できるか？

主な発見

• ポストニコフ・シャピロ代数 ${\cal B}_{G}^{F}$ と ${\cal C}_{G}^{F}$ は同型であり、全次元は $G$ におけるスパンニングフォレストの数に等しく、それぞれの次数付き成分は外部活性度ごとのフォレスト数を数え上げる。
• ツリー数え上げ代数 ${\cal C}_{G}^{T}$ のヒルベルト系列は、$\mathcal{H}_{{\cal C}_{G}^{T}}(t) = T_{G}(1, \frac{1}{t}) \cdot t^{e(G)-v(G)+c(G)}$ で与えられ、代数とツェッテ多項式の直接的な関係を示す。
• 連結グラフの場合、代数 ${\cal B}_{G}^{T}$ は ${\cal C}_{G}^{T}$ に同型であり、その次元は $G$ におけるスパンニングツリーの数に等しい。
• 代数 ${\cal B}_{G}^{T}$ は $G$ のブリッジフリーなマトロイドにのみ依存し、このような代数の同型はブリッジフリーなマトロイドの同型を意味する。これはマトロイド再構成に関する予想を支持する。
• 本稿は、カット、ベクトル配置、代数的イデアルを用いた3通りの同値な定式化を通じて、ハイパーグラフにおけるスパンニングツリーの定義を構築し、グラフィカルマトロイドをハイパーグラフへ一般化する。
• 完全な構成は未解決であるが、ハイパーグラフへの $G$-パークイング関数の一般化を提案し、ハイパーグラフのスパンニングツリーに対する完全な代数的構造の定義のための必要条件を提供する。