[论文解读] Very well-covered graphs with log-concave independence polynomials

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

Advanced Combinatorial MathematicsMathematics参考文献 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$。
• 通过图中三角形数量的归纳法，证明 $I(W_n;x)$ 对所有 $n$ 均为对数凹。
• 利用已知的关于独立多项式实根性的结果（例如路径图和无爪图）来支持结构洞察。

实验结果

研究问题

• RQ1 从满足 $\alpha(G) \leq 3$ 的树导出的任意非常良好覆盖图的独立多项式是否具有对数凹性？
• RQ2 当 $G$ 为路径 $P_n$ 或星图 $K_{1,n}$ 时，$G^*$ 的独立多项式是否仍保持对数凹性？
• RQ3 是否可以为无限多个非常良好覆盖图家族建立其独立多项式的对数凹性？
• RQ4 在非常良好覆盖图中，$I(G;x)$ 的对数凹性在多大程度上蕴含单峰性？
• RQ5 是否存在某些图结构类别（例如蜘蛛图、无爪图），其独立多项式可保证为对数凹？

主要发现

• 对于任意满足 $\alpha(G) \leq 3$ 的图 $G$，包括 $G = K_{1,n}$ 和 $G = P_n$，其独立多项式 $I(G^*;x)$ 均为对数凹。
• 对于蜈蚣图 $W_n$，其独立多项式满足 $I(W_n;x) = (1+x)^{n} \cdot I(\bigtriangleup_n;x)$，且已被证明为对数凹。
• 通过归纳法和命题1的递归分解，已证明 $I(W_n;x)$ 对所有 $n$ 均为对数凹。
• 对数凹多项式的乘积仍为对数凹，且由于基图满足 $\alpha(G) \leq 3$ 时 $I(G;x)$ 为对数凹，因此 $I(G^*;x)$ 继承了该性质。
• $\bigtriangleup_n$ 和 $\bigtriangleup_n \circleddash K_2$ 的独立多项式为对数凹，这构成了 $W_n$ 证明的基础。
• 该结果支持更广泛的猜想：所有良好覆盖森林图的独立多项式均为单峰，因为对数凹性蕴含单峰性。