[论文解读] On the Mean Order of Connected Induced Subgraphs of Block Graphs

Kristaps J. Balodis, Matthew E. Kroeker+2 more|arXiv (Cornell University)|Nov 13, 2018

Graph theory and applications参考文献 7被引用 7

一句话总结

该论文证明，在所有阶为 $n$ 的连通块图中，路径图 $P_n$ 最小化了连通诱导子图的平均阶（平均 CIS 阶）。作者通过建立块图的局部-全局平均不等式，将 Jamison 在树上的结果推广到块图，该不等式确保每个顶点处的平均 CIS 阶至少不小于全局平均值。这支持了如下猜想：$P_n$ 在所有阶为 $n$ 的连通图中最小化平均 CIS 阶。该结果依赖于关于顶点粘合与边粘合的新引理，以及对块图结构的分析。

ABSTRACT

The average order of the connected induced subgraphs of a graph $G$ is called the mean connected induced subgraph (CIS) order of $G$. This is an extension of the mean subtree order of a tree, first studied by Jamison. In this article, we demonstrate that among all connected block graphs of order $n$, the path $P_n$ has minimum mean CIS order. This extends a result of Jamison from trees to connected block graphs, and supports the conjecture of Kroeker, Mol, and Oellermann that $P_n$ has minimum mean CIS order among all connected graphs of order $n$.

研究动机与目标

• 将 Jamison 在树上关于最小平均子树阶的结果推广到更广泛的连通块图类。
• 研究路径图 $P_n$ 是否在所有阶为 $n$ 的连通块图中最小化平均连通诱导子图（CIS）阶。
• 支持如下猜想：$P_n$ 在所有阶为 $n$ 的连通图中具有最小的平均 CIS 阶，该猜想已对 $n \leq 9$ 验证。
• 建立块图的局部-全局平均不等式，表明每个顶点处的局部平均 CIS 阶至少不小于全局平均值。

提出的方法

• 证明块图的局部-全局平均不等式：对每个顶点 $v$，局部平均 CIS 阶 $M_{G,v}$ 至少不小于全局平均 $M_G$。
• 引入并证明三个关键引理：顶点粘合引理、边粘合引理和伸展引理，分析块图在结构修改下平均 CIS 阶的变化。
• 基于割点和块的递归分解，推导出 $W_G$ 和 $N_G$ 的闭式表达式，分别表示连通诱导子图的总权重和数量。
• 应用微积分分析平均 CIS 阶关于结构参数（如路径长度 $s$）的导数，证明导数的单调性和正性，从而证明 $P_n$ 的最小性。
• 利用先前工作中的已知不等式（如 $M_{H,u} \geq M_{H-u}$）和涉及 $L = \ln 2$ 的对数恒等式，对导数分析中的表达式进行界定。
• 通过分类讨论和代数界定，验证导出表达式的正性（如 $\sum E_i > 0$），特别是针对 $t \geq 1$ 和 $s \in [1, n-1]$ 的情况。

实验结果

研究问题

• RQ1 路径图 $P_n$ 是否在所有阶为 $n$ 的连通块图中最小化平均 CIS 阶？
• RQ2 在连通块图中，平均 CIS 阶的局部-全局平均不等式是否在每个顶点处成立，如同在树中一样？
• RQ3 是否能通过如顶点或边粘合等结构变换使块图的平均 CIS 阶最小化？
• RQ4 路径图 $P_n$ 是否是所有阶为 $n$ 的连通图中平均 CIS 阶的唯一最小化者，正如 Kroeker、Mol 和 Oellermann 所猜想的那样？
• RQ5 具有最大平均 CIS 阶的块图的结构是什么？对于 $n \geq 5$，它是否总是为毛毛虫树（caterpillar）？

主要发现

• 路径图 $P_n$ 在所有阶为 $n$ 的连通块图中具有最小的平均 CIS 阶，将 Jamison 的树结果推广到了块图。
• 该局部-全局平均不等式对所有连通块图中的顶点均成立：对每个 $v \in V(G)$，有 $M_{G,v} \geq M_G$，这是证明的关键。
• 平均 CIS 阶关于路径长度 $s$ 的导数在所有 $s \in [1, n-1]$ 上严格为正，证明了 $P_n$ 的最小性。
• 对所有有效参数，有 $\sum_{i=1}^5 E_i > 0$，确认当块图结构偏离路径结构时，平均 CIS 阶会增加。
• 当 $n \in \{3,4\}$ 时，完全图 $K_n$ 最大化平均 CIS 阶；当 $5 \leq n \leq 11$ 时，最大值由毛毛虫树（一种树）实现，表明存在结构规律。
• 本文猜想：对于 $n \geq 5$，具有最大平均 CIS 阶的块图是毛毛虫树，从而强化了 Jamison 的毛毛虫猜想。