[论文解读] Resolvent Energy of Unicyclic, Bicyclic and Tricyclic Graphs

Luiz Emílio Allem, Juliane Capaverde+4 more|arXiv (Cornell University)|Dec 30, 2015

Ferrocene Chemistry and Applications参考文献 2被引用 8

一句话总结

该论文通过分析谱矩和特征多项式，证实了关于单环图、双环图和三环图的可解能量猜想。研究证明，单环图 $X_n$（一个三角形连接 $n-3$ 个悬挂顶点）在所有 $n$ 阶单环图中使可解能量最大化，而 $ ilde{X}_n$（一个 4-圈连接 $n-4$ 个悬挂顶点）在所有二分单环图中实现最大可解能量；类似地，$Z_n^1$ 被证明是在 $n$ 阶三环图中使可解能量最大的图。结果通过基于特征值的能量公式和特征多项式的求导推导得出。

ABSTRACT

The resolvent energy of a graph $G$ of order $n$ is defined as $ER=\sum_{i=1}^n (n-λ_i)^{-1}$, where $λ_1,λ_2,\ldots,λ_n$ are the eigenvalues of $G$. In a recent work [Gutman et al., {\it MATCH Commun. Math. Comput. Chem.\/} {\bf 75} (2016) 279--290] the structure of the graphs extremal w.r.t. $ER$ were conjectured, based on an extensive computer--aided search. We now confirm the validity of some of these conjectures.

研究动机与目标

• 基于先前的猜想，确定使可解能量最大和最小的单环图、双环图和三环图。
• 通过谱分析，证实图的可解能量由特定极值结构实现。
• 研究奇圈与偶圈在决定单环图可解能量极值中的作用。
• 通过特征多项式及其导数，为可解能量极值建立严格的数学基础。
• 通过将埃斯特拉达指数的结果推广至可解能量，基于谱矩调整证明方法。

提出的方法

• 可解能量定义为 $ER(G) = \sum_{i=1}^n \frac{1}{n - \lambda_i}$，其中 $\lambda_i$ 是邻接矩阵的特征值。
• 公式 (2) 将可解能量表示为谱矩 $M_k(G) = \sum_{i=1}^n \lambda_i^k$ 的级数，从而通过矩支配关系实现比较。
• 利用引理 2 推导特征多项式 $\phi(G, \lambda)$，该引理通过顶点和边的删除将 $\phi(G, \lambda)$ 与子图关联。
• 通过 $ER(G) = \frac{\phi'(G, n)}{\phi(G, n)}$ 计算可解能量，从而利用多项式导数实现图之间的直接比较。
• 通过证明差值 $ER(H) - ER(G)$ 的分子和分母均为正（当 $n \geq 4$ 时），利用多项式不等式证明 $ER(G) < ER(H)$。
• 将先前关于埃斯特拉达指数的研究结果推广至可解能量，方法是在级数展开中将 $\frac{M_k}{k!}$ 替换为 $\frac{M_k}{n^k}$。

实验结果

研究问题

• RQ1 对于 $n$ 阶单环图，哪类图使可解能量最大，其结构形式如何？
• RQ2 奇圈与偶圈的存在如何影响单环图的可解能量？
• RQ3 具有最大可解能量的极值三环图是什么，其特征如何描述？
• RQ4 谱矩支配性和特征多项式分析能否证实关于可解能量极值的先前猜想？
• RQ5 对于所有 $n \geq 4$，$X_n$ 的可解能量是否严格大于 $\tilde{X}_n$ 的可解能量？

主要发现

• 单环图 $X_n$（将 $n-3$ 个悬挂顶点连接到三角形的一个顶点上）在所有 $n$ 阶单环图中使可解能量最大化。
• 单环图 $\tilde{X}_n$（将 $n-4$ 个悬挂顶点连接到 4-圈上）在所有二分单环图中使可解能量最大化。
• 在所有 $n$ 个顶点的三环图中，$Z_n^1$ 具有最大的可解能量，且对所有 $2 \leq i \leq 6$，有 $ER(Z_n^1) > ER(Z_n^i)$。
• 通过有理函数证明可解能量差值为正，且当 $n \geq 4$ 时分子和分母均为正，从而确认严格不等式。
• 对于所有 $n \geq 4$，$X_n$ 的可解能量严格大于 $\tilde{X}_n$ 的可解能量，由差值 $ER(X_n) - ER(\tilde{X}_n)$ 的正性得以证明。
• 极值图的特征多项式被显式计算，从而可通过 $ER(G) = \frac{\phi'(G, n)}{\phi(G, n)}$ 精确计算可解能量。