[论文解读] 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)$ 是图的环秩。本文证明了紧致界，并刻画了满足 $I(G;-1) = 0$ 的图，特别是环长 $\geq 6$ 的完美覆盖图；同时表明，该界内的所有整数值均可通过连通图实现。

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$ 的完美覆盖图。
• 建立每个整数 $q$ 满足 $|q| \leq 2^{\nu(G)}$ 均可表示为某个具有环秩 $\nu(G)$ 的连通图 $G$ 的 $I(G;-1)$ 值。
• 提供构建具有指定 $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)$ 分别表示偶数大小与奇数大小稳定集的计数。
• 构造特定图族（如 $W_q$、$G_1$、$G_2$）以实现极值 $\pm 2^{\nu}$ 与 $\pm(2^{\nu}-1)$。
• 利用质因数分解与图复合（例如连接 $L_{p_i-1}$ 图）将任意正整数 $q$ 表示为 $I(G;-1)$，其中 $\nu(G) = \sum \varepsilon_i(p_i-1)$。
• 利用推论 3.4 与引理 3.5 表明，当 $\nu$ 较小时，$[-2^{\nu}, 2^{\nu}]$ 内的所有整数值均可实现，仅在 $\nu=4$ 时可能无法实现 $\pm13$。

实验结果

研究问题

• RQ1 对于环秩为 $\nu(G)$ 的图 $G$，$|I(G;-1)|$ 的最大可能值是多少？
• RQ2 在哪些图类中成立 $I(G;-1) = 0$，特别是在完美覆盖图的背景下？
• RQ3 是否每个满足 $|q| \leq 2^{\nu}$ 的整数 $q$ 都可表示为某个环秩 $\nu(G) = \nu$ 的连通图 $G$ 的 $I(G;-1)$ 值？
• RQ4 哪些图构造方法可精确控制 $I(G;-1)$ 的值，特别是实现 $\pm 2^{\nu}$ 或 $\pm(2^{\nu}-1)$？
• RQ5 是否存在一个连通图 $G$ 满足 $\nu(G) = 4$ 且 $I(G;-1) = 13$？

主要发现

• 对所有有限简单图 $G$，有 $|I(G;-1)| \leq 2^{\nu(G)}$，且该界是紧致的，因为存在图使得 $|I(G;-1)| = 2^{\nu(G)}$。
• 对于连通的、环长 $\geq 6$ 且不与 $C_7$ 或 $K_2$ 同构的完美覆盖图，有 $I(G;-1) = 0$，包括除 $K_2$ 外的所有完美覆盖树。
• 存在图使得 $|I(G;-1)| = 2^{\nu(G)} - 1$，表明该界是紧致的，且最大值附近的值也可实现。
• 对每个正整数 $q$，存在一个连通图 $G$ 使得 $I(G;-1) = q$，只要 $\nu(G)$ 取为 $\sum \varepsilon_i(p_i - 1)$，其中 $q = \prod p_i^{\varepsilon_i}$ 是 $q$ 的质因数分解。
• 对 $\nu \in \{0,1,2,3\}$，猜想中所有满足 $|q| \leq 2^{\nu}$ 的整数 $q$ 均可实现为某个连通图 $G$ 的 $I(G;-1)$ 值，且在 $\nu = 4$ 时部分成立。
• 在 $\nu = 4$ 的范围内，唯一未解决的情况是 $I(G;-1) = 13$ 是否可实现，尽管 $[-16,16]$ 内的其他所有整数均已构造出对应图。