[論文レビュー] Very well-covered graphs with log-concave independence polynomials

Vadim E. Levit, Eugen Mǎndrescu|arXiv (Cornell University)|Nov 10, 2004

Advanced Combinatorial Mathematics参考文献 9被引用数 20

ひとこと要約

本稿では、安定数 ≤3 または特定のパス/スパイダー構造（例：$K_{1,n}$, $P_n$）から導かれる非常に良いカバー性を持つグラフの独立多項式が対数的凸性を示すことを示しており、これは単調性を示唆する。主な貢献は、このようなグラフに対して $I(G^*;x)$ が対数的凸性を示すことを証明したことであり、非常に良いカバー性を持つグラフや森のグラフの独立多項式が単調であるという長年の予想を支持する。

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 the graph $G$, then it is called the independence polynomial of $G$ (Gutman and Harary, 1983). Alavi, Malde, Schwenk and Erdos (1987) conjectured that $I(G;x)$ is unimodal, whenever $G$ is a forest, while Brown, Dilcher and Nowakowski (2000) conjectured that $I(G;x)$ is unimodal for any well-covered graph G. Michael and Traves (2003) showed that the assertion is false for well-covered graphs with $a(G)$ > 3 ($a(G)$ is the size of a maximum stable set of the graph $G$), while for very well-covered graphs the conjecture is still open. In this paper we give support to both conjectures by demonstrating that if $a(G)$ < 4, or $G$ belongs to ${K_{1,n}, P_{n}: n > 0}$, then $I(G*;x)$ is log-concave, and, hence, unimodal (where $G*$ is the very well-covered graph obtained from $G$ by appending a single pendant edge to each vertex).

研究の動機と目的

• 非常に良いカバー性を持つグラフの独立多項式が単調であるという予想を支持すること、特に非常に良いカバー性を持つグラフに対して。
• 安定数が小さい木から構成される非常に良いカバー性を持つグラフにおける独立多項式の対数的凸性を調査すること。
• 従来の単調性に関する結果を、構造的グラフ性質を用いてより広いクラスの非常に良いカバー性を持つグラフへと拡張すること。
• グラフ構造（例：木、スパイダー、パス）とそれらの独立多項式の対数的凸性との関係を調査すること。

提案手法

• 各頂点にパビリオンエッジを追加することで、基本となるグラフ $G$ から非常に良いカバー性を持つグラフ $G^*$ を構築する。
• 命題1による再帰的分解：$I(G;x) = I(G-v;x) + xI(G-N[v];x)$ を用いて独立多項式を導出する。
• 対数的凸多項式の積は対数的凸性を保つ（定理1）ことと、対数的凸性が単調性を示唆することを応用する。
• 特定の族（$W_n$（シダム）、$\bigtriangleup_n$、$\bigtriangleup_n \circleddash K_2$）の独立多項式の閉形式表現を確立する。
• グラフ内の三角形の数に関する帰納法を用いて、すべての $n$ に対して $I(W_n;x)$ が対数的凸であることを証明する。
• 既知の結果（例：パスやクラウドフリーなグラフの実根性）を活用し、構造的洞察を支援する。

実験結果

リサーチクエスチョン

• RQ1 安定数 $\alpha(G) \leq 3$ の木から導かれる任意の非常に良いカバー性を持つグラフの独立多項式は対数的凸性を示すか？
• RQ2 $G$ がパス $P_n$ またはスターフリー $K_{1,n}$ の場合、$G^*$ の独立多項式は対数的凸性を保つか？
• RQ3 無限族の非常に良いカバー性を持つグラフに対して、独立多項式の対数的凸性を確立できるか？
• RQ4 非常に良いカバー性を持つグラフにおいて、$I(G;x)$ の対数的凸性が単調性をどの程度示唆するか？
• RQ5 スパイダー、クラウドフリーなグラフなど、構造的グラフクラスのうち、独立多項式が保証的に対数的凸性を示すものはあるか？

主な発見

• 任意の $\alpha(G) \leq 3$ を満たすグラフ $G$ に対して、独立多項式 $I(G^*;x)$ は対数的凸性を示す。これには $G = K_{1,n}$ および $G = P_n$ も含まれる。
• シダム $W_n$ に対して、独立多項式は $I(W_n;x) = (1+x)^{n} \cdot I(\bigtriangleup_n;x)$ を満たし、対数的凸性が証明されている。
• 命題1を用いた帰納法と再帰的分解により、すべての $n$ に対して $W_n$ の独立多項式が対数的凸であることが示された。
• 対数的凸多項式の積は対数的凸性を保つため、$\alpha(G) \leq 3$ を満たす基本グラフに対して $I(G;x)$ が対数的凸であるならば、$I(G^*;x)$ も同様の性質を有する。
• $\bigtriangleup_n$ および $\bigtriangleup_n \circleddash K_2$ の独立多項式は対数的凸である。これは $W_n$ の証明の根拠となっている。
• この結果は、すべての非常に良いカバー性を持つ森のグラフの独立多項式が単調であるというより広い予想を支持する。なぜなら、対数的凸性は単調性を示唆するからである。