[论文解读] On Laplacian like energy of trees

Aleksandar Ilić, Djordje Krtinic+1 more|arXiv (Cornell University)|Mar 24, 2011

Graph theory and applications参考文献 26被引用 46

一句话总结

本文更正了先前关于树的拉普拉斯型能量（LEL）工作的错误证明，确立了LEL关于拉普拉斯系数 $c_k$（$k=1,\ldots,n-1$）严格递增。作者使用逆雅可比矩阵和连续性论证，给出了一个初等证明，表明若对所有 $k$ 有 $c_k(G) \leq c_k(H)$，则 $LEL(G) \leq LEL(H)$，且当 $G$ 中任意 $c_k$ 严格较小时，不等式严格成立。该结果通过关联能量等价性推广至二分图。

ABSTRACT

Let $G$ be a simple undirected $n$-vertex graph with the characteristic polynomial of its Laplacian matrix $L(G)$, $\det (λI - L (G))=\sum_{k = 0}^n (-1)^k c_k λ^{n - k}$. Laplacian--like energy of a graph is newly proposed graph invariant, defined as the sum of square roots of Laplacian eigenvalues. For bipartite graphs, the Laplacian--like energy coincides with the recently defined incidence energy $IE (G)$ of a graph. In [D. Stevanovi\' c, extit{Laplacian--like energy of trees}, MATCH Commun. Math. Comput. Chem. 61 (2009), 407--417.] the author introduced a partial ordering of graphs based on Laplacian coefficients. We point out that original proof was incorrect and illustrate the error on the example using Laplacian Estrada index. Furthermore, we found the inverse of Jacobian matrix with elements representing derivatives of symmetric polynomials of order $n$, and provide a corrected elementary proof of the fact: Let $G$ and $H$ be two $n$-vertex graphs; if for Laplacian coefficients holds $c_k (G) \leqslant c_k (H)$ for $k = 1, 2, ..., n - 1$, then $LEL (G) \leqslant LEL (H)$. In addition, we generalize this theorem and provide a necessary condition for functions that satisfy partial ordering based on Laplacian coefficients.

研究动机与目标

• 识别并更正原始论文中关于树的拉普拉斯系数与拉普拉斯型能量（LEL）之间关系定理的错误证明。
• 建立LEL关于拉普拉斯系数 $c_k$（$k=1,\ldots,n-1$）严格递增的严谨初等证明。
• 将基于拉普拉斯系数的偏序关系推广至其他满足该偏序的函数。
• 通过连续性将结果从互异特征值情形推广至闭包域，包括特征值重复的情形。

提出的方法

• 将拉普拉斯型能量（LEL）定义为图的非零拉普拉斯特征值的平方根之和。
• 使用韦达公式，将拉普拉斯系数 $c_k$ 表示为特征值 $\mu_i$ 的初等对称多项式。
• 计算从特征值到系数的变换的雅可比矩阵，并推导其逆矩阵，以分析LEL对 $c_k$ 的偏导数。
• 应用链式法则，将 $\partial LEL / \partial c_k$ 表示为包含 $1/(2\sqrt{\mu_i})$ 和 $\partial \mu_i / \partial c_k$ 的和，利用多项式根的导数。
• 利用罗尔定理及函数 $f(x) = x^{n-k-3/2}$ 的高阶导数性质，确定 $\partial LEL / \partial c_k$ 的符号，证明其为正。
• 通过连续性将结果扩展至互异特征值域的闭包，证明即使特征值不互异，不等式依然成立。

实验结果

研究问题

• RQ1 原始证明是否对所有 $n$-顶点图均正确，即 $c_k(G) \leq c_k(H)$ 是否蕴含 $LEL(G) \leq LEL(H)$？
• RQ2 建立LEL关于拉普拉斯系数 $c_k$ 单调性的正确分析方法是什么？
• RQ3 基于 $c_k$ 的偏序关系能否推广至其他特征值函数？
• RQ4 如何将结果从互异特征值图推广至具有重复特征值的图？
• RQ5 当特征值不互异时，拉普拉斯型能量在每个 $c_k$ 上是否仍保持严格递增？

主要发现

• 原始证明存在错误，反例通过拉普拉斯Estrada指数予以验证。
• 提供了更正的初等证明，表明对所有 $k=1,\ldots,n-1$ 有 $\partial LEL / \partial c_k > 0$，意味着LEL在每个系数上严格递增。
• 该结论对所有 $n$-顶点图成立：若对所有 $k=1,\ldots,n-1$ 有 $c_k(G) \leq c_k(H)$，则 $LEL(G) \leq LEL(H)$，且当 $G$ 中任意 $c_k$ 严格较小时，不等式严格成立。
• 通过连续性将证明扩展至互异特征值域的闭包，确保即使特征值重复，不等式依然成立。
• 该方法为分析满足基于拉普拉斯系数偏序的函数提供了通用框架。
• 对于二分图，LEL与关联能量 $IE(G)$ 一致，因此该排序结果也直接适用于 $IE(G)$。