[论文解读] L-Borderenergetic graphs

Fernando Tura|arXiv (Cornell University)|May 14, 2016

Graph theory and applications参考文献 5被引用 9

一句话总结

本文引入了L-borderenergetic图的概念，定义为拉普拉斯能量等于完全图$K_n$的图。通过图的并集与谱分析，作者构造了此类图的无限家族，证明对于每个$r \geq 1$，存在$2r+1$对非共谱的$L$-borderenergetic图，其阶为$n = 4r+4$，将borderenergetic图的概念扩展至拉普拉斯矩阵背景。

ABSTRACT

The energy of a graph is defined as the sum the absolute values of the eigenvalues of its adjacency matrix. A graph G on n vertices is said to be borderenergetic if its energy equals the energy of the complete graph Kn. In this paper, we promote this concept for the Laplacian matrix, introduced by Gutman and Zhou [5]. We say G to be L-borderenergetic if LE(G) = LE(Kn). Several classes of L-borderenergetic graphs are obtained including result that for each positive integer r; there are 2r +1 graphs, of order n = 4r + 4; pairwise L-noncospectral and L-bordernergetic graphs.

研究动机与目标

• 将原本基于邻接矩阵能量定义的borderenergetic图概念，推广至拉普拉斯矩阵框架，通过引入$L$-borderenergetic图。
• 刻画拉普拉斯能量与完全图$K_n$相等的图，其值为$2n-2$。
• 利用图运算（如不相交并集与并集）显式构造$L$-borderenergetic图的家族。
• 展示相同阶数下存在多个非共谱的$L$-borderenergetic图，凸显同一能量类中的谱多样性。

提出的方法

• 定义拉普拉斯能量$LE(G) = \sum_{i=1}^n |\mu_i - \overline{d}|$，其中$\mu_i$为拉普拉斯特征值，$\overline{d}$为平均度数。
• 使用并集运算$G_1 \nabla G_2$从较小分量构造新图，利用并集已知的谱性质。
• 应用定理1，该定理以分量图的谱表示并集的拉普拉斯谱。
• 使用引理1，将图的拉普拉斯谱与其补图的谱关联，尤其关注谱对称性。
• 通过完全图与无边图的并集的并集，构造特定图家族$\Omega_1, \Omega_2, \Omega_3, \Omega_4$及其组合。
• 通过计算$LE(G)$验证$L$-borderenergetic性质，确认其等于$2n-2 = LE(K_n)$，其中$n = 4r+4$。

实验结果

研究问题

• RQ1 borderenergetic图的概念能否推广至拉普拉斯能量框架？
• RQ2 是否存在多个非共谱图，其拉普拉斯能量与$K_n$相同？
• RQ3 哪些无限图族表现出与$K_n$相等的拉普拉斯能量？
• RQ4 对每个$r \geq 1$，阶为$n = 4r+4$的非共谱$L$-borderenergetic图有多少个？
• RQ5 何种谱配置可使图实现$LE(G) = 2n-2$，而其本身不与$K_n$同构？

主要发现

• 对每个整数$r \geq 1$，存在$2r+1$对彼此非共谱的阶为$n = 4r+4$的$L$-borderenergetic图。
• 完全图$K_n$的拉普拉斯能量为$2n - 2$，且所构造的图家族也匹配此值。
• 图族$G_{i,r} = ((2r+1)K_1) \nabla ((2r+1-i)K_1 \cup (K_1 \nabla (i+1)K_1))$（$i = 0,1,\ldots,2r$）生成了$2r+1$个不同的$L$-borderenergetic图，其阶为$n = 4r+4$。
• 在家族$\Omega_1, \Omega_2, \Omega_3, \Omega_4$及其组合中构造的每个图$G_r$，其拉普拉斯谱均被精确计算，确保$LE(G_r) = LE(K_n)$。
• 当$n = 4r+4$时，每个$L$-borderenergetic图的平均度数$\overline{d}$为$2r+3$，此值用于能量计算。
• 所有构造的图均被证明与$K_n$非共谱，确认在能量相等的前提下谱上具有显著差异。