[論文レビュー] The independence polynomial of a graph at -1

Vadim E. Levit, Eugen Mǎndrescu|arXiv (Cornell University)|Apr 30, 2009

Graph theory and applications参考文献 20被引用数 10

ひとこと要約

この論文は、グラフの独立多項式を -1 で評価したときの絶対値が、$2^{\nu(G)}$ で有界であることを確立している。ここで $\nu(G)$ はグラフのサイクル数である。鋭い境界を示し、特にサイクル長 $\geq 6$ の well-covered グラフを含む、$I(G;-1) = 0$ を満たすグラフを同定している。また、境界内にあるすべての整数値が連結グラフを用いて実現可能であることを示している。

ABSTRACT

If alpha=alpha(G) is the maximum size of an independent set and s_{k} equals the number of stable sets of cardinality k in graph G, then I(G;x)=s_{0}+s_{1}x+...+s_{alpha}x^{alpha} is the independence polynomial of G. In this paper we prove that: 1. I(T;-1) equels either -1 or 0 or 1 for every tree T; 2. I(G;-1)=0 for every connected well-covered graph G of girth > 5, non-isomorphic to C_{7} or K_{2}; 3. the absolute value of I(G;-1) is not greater than 2^nu(G), for every graph G, where nu(G) is its cyclomatic number.

研究の動機と目的

• 任意の有限単純グラフ $G$ に対して、独立多項式 $I(G;x)$ を $x = -1$ で評価したときの絶対値の最大値を特定すること。
• $I(G;-1) = 0$ を満たすグラフを同定すること、特にサイクル長 $\geq 6$ の well-covered グラフに焦点を当てる。
• すべての整数 $q$ に対して $|q| \leq 2^{\nu(G)}$ が成り立つとき、ある連結グラフ $G$ に対して $I(G;-1)$ として実現可能であることを確立すること。ここで $\nu(G)$ はサイクル数である。
• 特定の $I(G;-1)$ 値を実現するための構成的技法を提供すること、特に Zykov 和や辺の追加などのグラフ操作を用いる。
• 与えられたサイクル数 $\nu$ を持つ連結グラフに対して、範囲 $[-2^{\nu}, 2^{\nu}]$ 内のすべての整数が $I(G;-1)$ 値として実現可能かどうかを解明すること。

提案手法

• 頂点の削除と近傍の除去を用いた $I(G;x)$ の再帰的公式を導出する：$I(G;x) = I(G-w;x) + x \cdot I(G-N[w];x)$。これにより帰納的構成が可能になる。
• サイクル数 $\nu(G) = |E| - |V| + c$ を、$|I(G;-1)|$ を有界にする主要なパラメータとして用いる。
• 恒等式 $I(G;-1) = f_0(G) - f_1(G)$ を適用する。ここで $f_0(G)$ と $f_1(G)$ はそれぞれ偶数サイズと奇数サイズの安定集合の数を表す。
• 極値 $\pm 2^{\nu}$ および $\pm(2^{\nu}-1)$ を達成する特定のグラフ族（例：$W_q$、$G_1$、$G_2$）を構成する。
• 素因数分解とグラフ合成（例：$L_{p_i-1}$ グラフの結合）を用いて、任意の正の整数 $q$ を $I(G;-1)$ として実現可能であることを示す。ここで $\nu(G) = \sum \varepsilon_i(p_i-1)$ である。
• Corollary 3.4 と Lemma 3.5 を用いて、$\nu$ が小さい場合、$[-2^{\nu}, 2^{\nu}]$ 内のすべての整数値が実現可能であることを示している。ただし $\nu=4$ の場合、$\pm13$ は例外となる可能性がある。

実験結果

リサーチクエスチョン

• RQ1 サイクル数 $\nu(G)$ を持つグラフ $G$ に対して、$|I(G;-1)|$ の最大値は何か？
• RQ2 どのクラスのグラフにおいて $I(G;-1) = 0$ が成り立つか。特に well-covered グラフの文脈で。
• RQ3 すべての整数 $q$ に対して $|q| \leq 2^{\nu}$ が成り立つとき、ある連結グラフ $G$ に対して $I(G;-1)$ として実現可能か？ここで $\nu(G) = \nu$ である。
• RQ4 どのグラフ構成法が $I(G;-1)$ の値を正確に制御可能か。特に $\pm 2^{\nu}$ または $\pm(2^{\nu}-1)$ を達成する場合に。
• RQ5 サイクル数 $\nu(G) = 4$ を持つ連結グラフ $G$ に対して $I(G;-1) = 13$ が実現可能か？

主な発見

• すべての有限単純グラフ $G$ に対して $|I(G;-1)| \leq 2^{\nu(G)}$ が成り立ち、この境界は鋭い。$|I(G;-1)| = 2^{\nu(G)}$ を達成するグラフが存在することにより、これが示されている。
• サイクル長 $\geq 6$ で $C_7$ や $K_2$ に同型でない連結 well-covered グラフでは、$I(G;-1) = 0$ が成り立つ。これは $K_2$ を除くすべての well-covered 木にも適用される。
• $|I(G;-1)| = 2^{\nu(G)} - 1$ を満たすグラフが存在することにより、境界が鋭く、最大値に近い値も実現可能であることが示された。
• 任意の正の整数 $q$ に対して、$q = \prod p_i^{\varepsilon_i}$ の素因数分解に基づき $\nu(G) = \sum \varepsilon_i(p_i - 1)$ と選ぶことで、ある連結グラフ $G$ に対して $I(G;-1) = q$ が実現可能である。
• すべての整数 $q$ に対して $|q| \leq 2^{\nu}$ が成り立つとき、$I(G;-1)$ として実現可能であるという予想は、$\nu \in \{0,1,2,3\}$ に対して確認されており、$\nu = 4$ に対しても部分的に確認されている。
• $\nu = 4$ の範囲で未解決な唯一のケースは、$I(G;-1) = 13$ が実現可能かどうかである。$[-16,16]$ の他のすべての整数値に対してはグラフが構成されているが、13 についてはまだ構成がなされていない。