[論文レビュー] Graph polynomials and their applications II: Interrelations and interpretations

Joanna A. Ellis-Monaghan, Criel Merino|ArXiv.org|Jun 28, 2008

Graph theory and applications参考文献 93被引用数 12

ひとこと要約

この論文は、グラフ多項式の間の関係を調査し、トゥッテ多項式との関連性と、統計力学および生物学への応用を強調している。状態モデルの定式化、行列式に基づく多項式、および多変数一般化、特にポッツ模型の分配関数が、深いつながりを持つ代数的・組合せ論的構造を明らかにしている。特に、ポッツ模型が特定化されたトゥッテ多項式と等価であることが示され、分野横断的な知見が得られる。

ABSTRACT

This paper surveys a comprehensive, although not exhaustive, sampling of graph polynomials with the goal of providing a brief overview of a variety of techniques defining a graph polynomial and then for decoding the combinatorial information it contains. The polynomials we discuss here are not generally specializations of the Tutte polynomial, but they are each in some way related to the Tutte polynomial, and often to one another. We emphasize these interrelations and explore how an understanding of one polynomial can guide research into others. We also discuss multivariable generalizations of some of these polynomials and the theory facilitated by this. We conclude with two examples, one from biology and one from physics, that illustrate the applicability of graph polynomials in other fields. This is the second chapter of a two chapter series, and concludes Graph Polynomials and Their Applications I: The Tutte Polynomial, arXiv:0803.3079

研究の動機と目的

• トゥッテ多項式を超える多様なグラフ多項式の間の関係をマッピングし、共通する代数的・組合せ論的構造を強調すること。
• グラフ多項式の多変数一般化が、その適用可能性と理論的深さをどのように拡張するかを明確にすること。
• スピン系や感染症の伝播など、物理学および生物学における複雑系のモデリングにおいて、グラフ多項式の有用性を示すこと。
• ペイノーズ多項式やポッツ模型といった、見た目は異なる多項式を、トゥッテ多項式を通じて共通の代数的枠組みで統一すること。
• 組合せ論、統計物理学、応用数学の研究者を対象に、グラフ多項式について包括的かつアクセス可能なサーベイを提供すること。

提案手法

• 状態モデルの定式化を用い、局所的頂点構成に重みを割り当て、すべての可能な状態にわたって合計することでグラフ多項式を定義する。
• 削除／縮約の線形再帰と母関数技術を適用し、トゥッテ多項式の手法を拡張して多項式を導出する。
• 隣接行列、ラプラシアン行列、次数行列を用いた行列式に基づく定式化により、固有多項式および関連多項式を定義する。
• エッジ差分多項式を導入し、リスト彩色問題に多変数の道具として用い、代数的条件と組合せ的妥当性を結びつける。
• 変換 $ P(G;q,eta) = q^{k(G)}v^{|V|-k(G)}T(G;\frac{q+v}{v},v+1) $ を用いて、ポッツ模型の分配関数と特定化されたトゥッテ多項式との等価性を確立し、ここで $ v = \exp(J\beta) - 1 $ である。
• ポッツ模型をエッジ依存の相互作用エネルギーに拡張し、一般化された分配関数 $ P(G) = \sum_{A\subseteq E(G)} q^{k(A)} \prod_{e\in A} v_e $ を得る。この関数はパrametrized Tutte関数の公理を満たす。

実験結果

リサーチクエスチョン

• RQ1 ペイノーズ多項式やポッツ多項式といった、さまざまなグラフ多項式は、トゥッテ多項式および互いにどのように関係しているか？
• RQ2 グラフ多項式の多変数一般化は、統計力学および組合せ論におけるモデリング能力をどのように向上させるか？
• RQ3 ポッツ模型の分配関数とトゥッテ多項式の正確な代数的関係は何か？ そして、この関係が新たな計算的・理論的知見を可能にする仕組みは？
• RQ4 状態モデルの定式化を、物理的および生物学的系におけるグラフ多項式の導出および解釈に体系的になおどう応用できるか？
• RQ5 ポッツ模型をエッジ依存の相互作用エネルギーに拡張した場合の意味は何か？ そして、パラメータ化されたトゥッテ関数とはどのように関係するか？

主な発見

• ポッツ模型の分配関数は、代数的に特定化されたトゥッテ多項式と等価であり、$ P(G;q,eta) = q^{k(G)}v^{|V|-k(G)}T(G;\frac{q+v}{v},v+1) $ で表され、ここで $ v = \exp(J\beta) - 1 $ である。これにより、統計力学とグラフ理論の間で結果を移転可能となる。
• θグラフ（2つの頂点と3本の平行エッジ）のペイノーズ多項式は $ P(G;x) = x^3 - 3x^2 + 2x $ に評価され、各頂点での3つの局所的再構成による状態モデル計算が示されている。
• エッジ差分多項式 $ D(G;x_1,\ldots,x_n) = \prod_{(i,j)\in E} (x_i - x_j) $ は、リスト彩色可能性の必要十分条件を提供する：適切な彩色が存在するための必要十分条件は、正の整数 $ N_i $ に対して $ D(G;N_1,\ldots,N_n) \neq 0 $ となることである。
• エッジ依存のポッツ模型から生じるトゥッテ多項式の多変数拡張は、パラメータ化されたトゥッテ関数の公理を満たし、代数的グラフ理論の範囲を広げている。
• 一般化されたポッツ分配関数 $ P(G) = \sum_{A\subseteq E(G)} q^{k(A)} \prod_{e\in A} v_e $ で $ v_e = \exp(\beta J_e) - 1 $ とすると、標準モデルの一般化であり、重み付きトゥッテ多項式と等価であることが保たれる。
• トゥッテ多項式、固有多項式、および隣接行列に基づく不変量（例：$ \nu(G;x,y) = |A(G)+y(J-I-A)-xI| $）の相互作用は、代数的グラフ理論のあらゆる分野に深いつながりを示している。