[论文解读] 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

一句话总结

本文证明了当 $\alpha(G) \leq 4$ 时，将悬挂边附加到图 $G$ 的每个顶点上所形成的图 $G^*$ 的独立多项式是单峰的。作者推导出 $I(G;x)$ 与 $I(G^*;x)$ 之间系数变换的公式，并利用组合不等式证明了所有此类 $G$ 的单峰性，支持了关于广义良好覆盖图中单峰独立多项式的更广泛猜想。

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.

研究动机与目标

• 研究良好覆盖图中独立多项式的单峰性，特别是形式为 $G^*$ 的图，其中 $G$ 的每个顶点都附加一条悬挂边。
• 通过分析一类特定图族，解决关于树和良好覆盖图中独立多项式单峰性的长期猜想。
• 提供构造性证明，表明对于所有独立数满足 $\alpha(G) \leq 4$ 的图 $G$，$I(G^*;x)$ 是单峰的，方法为利用系数变换和组合不等式。

提出的方法

• 利用二项式系数和稳定集计数，推导出 $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$。
• 通过二项式系数的不等式，证明 $t_0 \leq t_1 \leq \cdots \leq t_m$ 且 $t_{m+2} \geq t_{m+3} \geq \cdots \geq t_{2m}$，其中 $m = \lfloor \alpha(G^*)/2 \rfloor$，从而确立单峰性。
• 分析中间系数差 $2t_{m+1} - t_m - t_{m+2}$，通过将其表示为具有非负系数的和，证明其非负，从而确保单峰性。
• 单独处理小规模情况（$n \leq 4$），通过 $(1+2x)^4$ 直接验证 $G = \sqcup 4K_1$ 的单峰性。
• 利用关于非常良好覆盖图的已知结果，并指出 $G^*$ 总是属于非常良好覆盖图类，从而将研究结果置于更广泛的图族背景中。

实验结果

研究问题

• RQ1 对于所有满足 $\alpha(G) \leq 4$ 的图 $G$，$G^*$ 的独立多项式是否为单峰？
• RQ2 在 $G$ 的结构受到限制（如独立数有界）的条件下，是否能保证 $I(G^*;x)$ 的单峰性？
• RQ3 当 $\alpha(G) \leq 4$ 时，从 $I(G;x)$ 到 $I(G^*;x)$ 的变换是否保持单峰性，即使 $I(G;x)$ 本身并非单峰？
• RQ4 如何确定 $I(G^*;x)$ 的峰值位置？其位置能否由 $n = |V(G)|$ 表征？
• RQ5 $I(G^*;x)$ 的单峰性是否可推广至 $\alpha(G) \geq 5$ 的图？

主要发现

• 对于所有满足 $\alpha(G) \leq 4$ 的图 $G$，通过系数不等式和二项式系数分析，已证明 $I(G^*;x)$ 是单峰的。
• 多项式 $I(G^*;x)$ 的峰值位于 $\{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，验证了基础情形的结果。
• 当 $\alpha(G) \leq 4$ 时，$I(G^*;x)$ 的变换保持单峰性，即使 $I(G;x)$ 不是单峰的，这一点通过 $\alpha(G) = 4$ 但 $I(G;x)$ 非单峰的反例得到证实。
• 作者构造了连通的非树型非常良好覆盖图 $H = G^*$，对任意 $n \geq 3$ 满足 $\alpha(H) = n$ 且 $I(H;x)$ 为单峰，从而证明了推论 2.3。
• 本文未解决 $\alpha(G) \geq 5$ 时 $I(G^*;x)$ 是否仍为单峰的问题，提示了未来研究的自然方向。