[論文レビュー] A quasi-tree expansion of the Krushkal polynomial

Clark Butler|arXiv (Cornell University)|May 2, 2012

Geometric and Algebraic Topology参考文献 6被引用数 4

ひとこと要約

本稿では、コンパクトで、可能なかぎり非可定向な曲面に埋め込まれたグラフの一般化されたクルシュカル多項式を導入し、自然な準ツリー展開を備えることを証明する。主な貢献は、この展開がボロバース＝リオルダン多項式およびラス・ベルナス多項式の既存の準ツリー展開を統合・拡張し、準ツリーを用いた曲面埋め込みグラフ不変量の包括的枠組みを確立することにある。

ABSTRACT

We introduce a generalization of the Krushkal polynomial to nonorientable surfaces, and prove that this polynomial has a natural quasi-tree expansion. This generalized Krushkal polynomial contains the Bollobás-Riordan polynomial of a (possibly nonorientable) ribbon graph as a specialization. The quasi-tree expansion proven here then extends the recent quasi-tree expansions of the Bollobás-Riordan polynomial deduced in the oriented case by A. Champanerkar et al. and in the more general unoriented case by E. Dewey and F. Vignes-Tourneret. The generalized Krushkal polynomial also contains the Las Vergnas polynomial of a cellulation of a surface as a specialization; we use this fact to deduce a quasi-tree expansion for the Las Vergnas polynomial.

研究の動機と目的

• 非可定向な曲面に埋め込まれたグラフに対するクルシュカル多項式の拡張を図り、その双対性および位相的性質を保持すること。
• この一般化された多項式が、元来の可定向の場合に類似した準ツリー展開を備えることを証明すること。
• 一般化されたクルシュカル多項式が、ボロバース＝リオルダン多項式およびラス・ベルナス多項式の両方に特殊化されることを示すこと。
• 一般化された枠組みを用いて、ラス・ベルナス多項式の新たな準ツリー展開を導出すること。

提案手法

• コンponents数、ホモロジーの核次元、および曲面近傍の genus を用いた位相的不変量を用いて、一般化されたクルシュカル多項式を定義する。
• すべてのスパンニング部分グラフの和として多項式を定義し、各項は c(F)−c(G)、k(F)、s(F)/2、s⊥(F)/2 という位相的不変量から構成される。
• リボングラフに対して全エッジ順序を導入し、単一の面を持つスパンニング部分グラフとして準ツリーを定義する。
• ポアンカレ双対性とマトロイド的双対性を用いて、一般化されたクルシュカル多項式とラス・ベルナス多項式との関係を特殊化により関係づける。
• 一般化されたクルシュカル多項式の双対性と準ツリー分解の構造を活用して、準ツリー展開を証明する。
• Las Vergnas 多項式と一般化されたクルシュカル多項式を結ぶ恒等式 LV_{G,Σ}(X,Y,Z) = Z^{s(Σ)/2} P_{G,Σ}(X−1,Y−1,Z^{−1},Z) を確立する。

実験結果

リサーチクエスチョン

• RQ1 クルシュカル多項式は、双対性および位相的不変量を保持したまま、非可定向な曲面へ一般化可能か？
• RQ2 一般化されたクルシュカル多項式は、非可定向な場合においてもボロバース＝リオルダン多項式と類似した準ツリー展開を備えるか？
• RQ3 一般化されたクルシュカル多項式は、セルラーリーに埋め込まれたグラフのラス・ベルナス多項式とどのように関係するか？
• RQ4 一般化されたクルシュカル多項式の特殊化により、ラス・ベルナス多項式の準ツリー展開を導出可能か？
• RQ5 一般化されたクルシュカル多項式の位相的不変量と、ラス・ベルナス多項式のマトロイド的不変量との正確な関係は何か？

主な発見

• 一般化されたクルシュカル多項式は、任意のコンパクト曲面（非可定向を含む）に埋め込まれたグラフに対して定義され、双対性 P_{G,Σ}(X,Y,A,B) = P_{G*,Σ}(Y,X,B,A) を保持する。
• 多項式は準ツリー展開を備える：P_{G,Σ}(X,Y,A,B) = ∑_{Q∈Q_G} T_{G_Q}(X,A) T_{G*_Q^*}(Y,B) A^{n(R_{VE(Q)}) - n(G_Q)} B^{n(R_{VE(Q)}) - n(G_Q)}
• 一般化されたクルシュカル多項式は、任意のリボングラフに対してボロバース＝リオルダン多項式に特殊化され、非可定向な場合への既存の準ツリー展開を拡張する。
• 一般化されたクルシュカル多項式は、恒等式 LV_{G,Σ}(X,Y,Z) = Z^{s(Σ)/2} P_{G,Σ}(X−1,Y−1,Z^{−1},Z) を用いてラス・ベルナス多項式に特殊化される。
• ラス・ベルナス多項式の新たな準ツリー展開が導出される：LV_{G,Σ}(X,Y,Z) = ∑_{Q∈Q_G} T_{G_Q}(X,Z^{−1}) T_{G*_Q^*}(Y,Z) Z^{n(R_{VE(Q)}) - n(G_Q)}
• 証明は、準ツリーの頂点・辺部分複体の双対を特定し、genus とコンponents数の恒等式を用いて項の指数を一致させることに依拠する。