[論文レビュー] A Family of Well-Covered Graphs with Unimodal Independence Polynomials

Vadim E. Levit, Eugen Mǎndrescu|ArXiv.org|Jul 1, 2003

Graph theory and applications参考文献 8被引用数 16

ひとこと要約

本稿では、$G^*$（$G$ の各頂点に pendant エッジを接続して得られるグラフ）の独立多項式が、$\alpha(G) \leq 4$ の場合に限り、unimodal であることを証明している。著者らは $I(G;x)$ と $I(G^*;x)$ の間の係数変換公式を確立し、組合せ的不等式を用いて、すべての such $G$ に対して unimodality を示しており、well-covered グラフにおける unimodal な独立多項式に関するより広範な予想を支持する。

ABSTRACT

If for any $k$ the $k$-th coefficient of a polynomial I(G;x) is equal to the number of stable sets of cardinality $k$ in graph $G$, then it is called the independence polynomial of $G$ (Gutman and Harary, 1983). J. I. Brown, K. Dilcher and R. J. Nowakowski (2000) conjectured that the independence polynomial of a well-covered graph $G$ (i.e., a graph whose all maximal independent sets are of the same size) is unimodal, that is, there exists an index $k$ such that the part of the sequence of coefficients from the first to $k$-th is non-decreasing while the other part of coefficients is non-increasing. T. S. Michael and N. Traves (2002) provided examples of well-covered graphs whose independence polynomials are not unimodal. A. Finbow, B. Hartnell and R. J. Nowakowski (1993) proved that under certain conditions, any well-covered graph equals G* for some $G$, where G* is the graph obtained from $G$ by appending a single pendant edge to each vertex of $G$. Y. Alavi, P. J. Malde, A. J. Schwenk and P. Erdös (1987) asked whether for trees the independence polynomial is unimodal. V. E. Levit and E. Mandrescu (2002) validated the unimodality of the independence polynomials of some well-covered trees (e.g., $P_{n}^{*},K_{1,n}^{*}$, where $P_{n}$ is the path on $n$ vertices and $K_{1,n}$ is the $n$-star graph). In this paper we show that for any graph $G$ with the stability number alpha(G) < 5, the independence polynomial of G* is unimodal.

研究の動機と目的

• well-covered グラフにおける独立多項式の unimodality を調査すること、特に各頂点に pendant エッジを接続した形の $G^*$ についての研究を行う。
• 特定のグラフ族を分析することで、木および well-covered グラフにおける独立多項式の unimodality に関する長年の予想を解決すること。
• $\alpha(G) \leq 4$ であるすべてのグラフ $G$ について、$I(G^*;x)$ が unimodal であることを構成的証明すること。この際、係数変換と組合せ的不等式を用いる。

提案手法

• 二項係数と安定集合の個数を用いて、$I(G;x)$ と $I(G^*;x)$ の係数間の閉形式変換を導出する。
• $I(G^*;x)$ の $x^k$ の係数 $t_k$ を、$I(G;x)$ の係数 $s_i$ と二項係数を重みとして用いた線形結合として表現する：$t_k = \sum_{i=0}^{\min(k,4)} \binom{n - i}{k - i} s_i$。
• 二項係数に関する不等式を用いて、$m = \lfloor \alpha(G^*)/2 \rfloor$ として、$t_0 \leq t_1 \leq \cdots \leq t_m$ および $t_{m+2} \geq t_{m+3} \geq \cdots \geq t_{2m}$ を証明し、unimodality を確立する。
• 中央の係数差 $2t_{m+1} - t_m - t_{m+2}$ を非負の係数を持つ和として表現し、それが非負であることを示すことで、unimodality を保証する。
• 小規模なケース（$n \leq 4$）を別個に処理し、$G = \sqcup 4K_1$ に対して直接的に unimodality を検証する。この場合、$(1+2x)^4$ を用いる。
• 非常に well-covered グラフに関する既知の結果と、$G^*$ が常に非常に well-covered であることから、得られた結果をより広いグラフ族の文脈に位置づける。

実験結果

リサーチクエスチョン

• RQ1 すべての $\alpha(G) \leq 4$ を満たすグラフ $G$ に対して、$G^*$ の独立多項式が unimodal であるか？
• RQ2 独立数が有界であるといった $G$ の構造的制約のもとで、$I(G^*;x)$ の unimodality を保証できるか？
• RQ3 $\alpha(G) \leq 4$ のとき、$I(G;x)$ が unimodal でない場合でも、$I(G;x)$ から $I(G^*;x)$ への変換が unimodality を保存するか？
• RQ4 $I(G^*;x)$ のモードの可能な位置は何か？ そして、$n = |V(G)|$ によって特徴づけられるか？
• RQ5 独立数が $\alpha(G) \geq 5$ の場合に、$I(G^*;x)$ の unimodality は拡張可能か？

主な発見

• $\alpha(G) \leq 4$ であるすべてのグラフ $G$ に対して、係数の不等式と二項係数の分析を用いて、独立多項式 $I(G^*;x)$ が unimodal であることが証明された。
• モードは $\{m, m+1, m+2\}$ の範囲にあり、ここで $m = \lfloor \alpha(G^*)/2 \rfloor$ であり、$n$ と $G$ に応じて $\lfloor (n+1)/2 \rfloor$、$\lfloor (n+1)/2 \rfloor + 1$、または $\lfloor (n+1)/2 \rfloor + 2$ に等しくなる。
• 多項式 $I((\sqcup 4K_1)^*;x) = (1+2x)^4 = 1 + 8x + 24x^2 + 32x^3 + 16x^4$ はモードが 3 の unimodal であり、基本ケースの結果を確認している。
• 変換 $I(G^*;x)$ は $\alpha(G) \leq 4$ のとき unimodality を保存するが、$I(G;x)$ が unimodal でない場合でも成立する。$\alpha(G) = 4$ だが $I(G;x)$ が非 unimodal である反例により、これが示された。
• 著者らは、任意の $n \geq 3$ に対して、$\alpha(H) = n$ かつ $I(H;x)$ が unimodal である連結で非木の非常に well-covered グラフ $H = G^*$ を構成し、補題 2.3 を証明した。
• 本稿では、$\alpha(G) \geq 5$ の場合に $I(G^*;x)$ が still unimodal であるかどうかは未解決であり、今後の研究の自然な方向性であると示唆している。