[论文解读] On a conjecture about tricyclic graphs with maximal energy

Xueliang Li, Yongtang Shi+2 more|arXiv (Cornell University)|Dec 1, 2013

Graph theory and applications参考文献 25被引用 66

一句话总结

本文研究了具有三个顶点不相交的6阶环（6, 6, 6）的连通二分三圈图的最大能量。基于邻接矩阵特征多项式系数的拟序方法，作者证明了当 $ n \geq 22 $ 或 $ n = 20 $ 时，图 $ P_n^{6,6,6} $（即通过一条中心路径将三个 $ C_6 $ 环连接而成的图）在除九类例外图外的所有情况下均达到最大能量。该结果在二分三圈图类中支持了Aouchiche等人提出的猜想。

ABSTRACT

For a given simple graph $G$, the energy of $G$, denoted by $\mathcal {E}(G)$, is defined as the sum of the absolute values of all eigenvalues of its adjacency matrix, which was defined by I. Gutman. The problem on determining the maximal energy tends to be complicated for a given class of graphs. There are many approaches on the maximal energy of trees, unicyclic graphs and bicyclic graphs, respectively. Let $P^{6,6,6}_n$ denote the graph with $n\geq 20$ vertices obtained from three copies of $C_6$ and a path $P_{n-18}$ by adding a single edge between each of two copies of $C_6$ to one endpoint of the path and a single edge from the third $C_6$ to the other endpoint of the $P_{n-18}$. Very recently, Aouchiche et al. [M. Aouchiche, G. Caporossi, P. Hansen, Open problems on graph eigenvalues studied with AutoGraphiX, {\it Europ. J. Comput. Optim.} {\bf 1}(2013), 181--199] put forward the following conjecture: Let $G$ be a tricyclic graphs on $n$ vertices with $n=20$ or $n\geq22$, then $\mathcal{E}(G)\leq \mathcal{E}(P_{n}^{6,6,6})$ with equality if and only if $G\cong P_{n}^{6,6,6}$. Let $G(n;a,b,k)$ denote the set of all connected bipartite tricyclic graphs on $n$ vertices with three vertex-disjoint cycles $C_{a}$, $C_{b}$ and $C_{k}$, where $n\geq 20$. In this paper, we try to prove that the conjecture is true for graphs in the class $G\in G(n;a,b,k)$, but as a consequence we can only show that this is true for most of the graphs in the class except for 9 families of such graphs.

研究动机与目标

• 验证Aouchiche等人关于 $ n \geq 22 $ 或 $ n = 20 $ 时三圈图最大能量的猜想。
• 确定 $ P_n^{6,6,6} $ 是否在所有具有三个不相交 $ C_6 $ 环的连通二分三圈图中实现能量最大化。
• 识别并分析该猜想不成立的例外情况，重点关注九个特定图族。
• 应用基于特征多项式系数的拟序方法，比较图的能量。

提出的方法

• 使用拟序方法，通过比较邻接矩阵特征多项式的系数 $ b_{2i} $ 来推断能量顺序。
• 根据环与路径的连接方式，将图分为两类：$ \Theta_I $ 和 $ \Theta_{II} $。
• 通过引理证明，在特定结构变换下能量会增加，例如用环替换路径或重新分配路径长度。
• 利用Coulson积分公式及二分图的性质，将能量表示为涉及 $ b_{2i} $ 系数的积分形式。
• 通过引理2.2的递归分解，比较不同路径长度和环连接方式的图。
• 证明依赖于对所有不属于例外九类的图均有 $ G \prec H $，其中 $ H = P_n^{6,6,6} $，从而推出 $ \mathcal{E}(G) < \mathcal{E}(H) $。

实验结果

研究问题

• RQ1 对于 $ n = 20 $ 或 $ n \geq 22 $，图 $ P_n^{6,6,6} $ 是否在所有 $ n $ 个顶点的连通二分三圈图中实现最大能量？
• RQ2 在 $ G(n;6,6,6) $ 中，哪些特定三圈图族不满足 $ P_n^{6,6,6} $ 的能量最大化性质？
• RQ3 基于 $ b_{2i} $ 系数的拟序方法是否可用于证明该图类中能量的最大化？
• RQ4 哪些结构变换会增加能量，以及如何系统地应用这些变换将问题简化为标准形式？

主要发现

• 对于 $ n = 20 $ 或 $ n \geq 22 $，图 $ P_n^{6,6,6} $ 在所有具有三个顶点不相交 $ C_6 $ 环的连通二分三圈图中实现最大能量，除九类特定图族外。
• 对于所有属于 $ \Theta_I(n;6,6,6;l_1,l_2;2) $ 的图，均存在一个属于 $ \Theta_{II}(n;6,6,6;l,2,2) $ 的图，其能量严格更大，除非该图即为 $ P_n^{6,6,6} $。
• $ P_n^{6,6,6} $ 的能量严格大于 $ \Theta_I(n;6,6,6;l_1,l_2;2) $ 中任意图的能量，该结论通过系数比较及路径长度变换得以证明。
• 例外图族是那些路径结构或环连接方式导致标准变换规则无法提升能量的图，其能量并非最大。
• 证明建立了 $ G \preceq H $，且仅当 $ G \cong H $ 时取等号，其中 $ H = P_n^{6,6,6} $，适用于所有不属于例外九类图的图。