Operations Research and Fuzziology
Vol.
14
No.
01
(
2024
), Article ID:
82218
,
7
pages
10.12677/ORF.2024.141085
等能量树的新判定方法
苏柯,申悦
长安大学理学院,陕西 西安
收稿日期:2023年12月15日;录用日期:2024年1月5日;发布日期:2024年2月29日
摘要
设G和G'是一对非同谱图,当它们的特征值不能用根式表达的时候,证明它们等能量是一个非常具有挑战性的问题。但是对于树而言,此问题可借助韦达定理将其转换为证明一个代数方程有唯一的正实根。
关键词
图能量,等能量树,根式
A New Criterion for Determining Equienergetic Trees
Ke Su, Yue Shen
School of Science, Chang’an University, Xi’an Shaanxi
Received: Dec. 15th, 2023; accepted: Jan. 5th, 2024; published: Feb. 29th, 2024
ABSTRACT
Let G and G' be a pair of noncospectral graphs. It is a challenge problem to prove G and G' are equienergetic when their eigenvalues cannot be expressed in radicals. But for trees, this problem can be deduced to proving a specific algebraic equation with a positive root by Vieta’s theorem.
Keywords:Graph Energy, Equienergetic Trees, Radicals
Copyright © 2024 by author(s) and Hans Publishers Inc.
This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).
http://creativecommons.org/licenses/by/4.0/
1. 引言
设n阶简单图 ,其中 表示点集, 表示边集。 表示图G邻接矩阵,其中 当且仅当 ,否则 。 定义为图G的特征多项式,其中I表示单位矩阵。 的根称为图G的特征值。图G特征值的多重集称为G的谱。两个图如果有相同的谱,则成它们同谱。设 是图G不同特征值,图G的能量定义为
,其中 ( )为特征值 的重数。
李学良,史永堂,Gutman [1] 提出这样一个问题:对于特征值不能用根式表示的非同谱等能量图G和G',能否用数学的方法证明它们等能量。Miljković等人 [2] 也遇到了这样一个问题,树T1 (见图1)和树T2 (见图2)尽管利用数学软件进行数值运算可以确定它们等能量,但是却不能利用数学方法严格证明。对于这个问题的研究,几乎没有文献有所提及,近几年有关图能量的研究几乎都是对能求出图的能量,并借此来构造一系列等能量的图,例如文献 [3] 给出了所有树 的特征值和能量计算公式,文献 [4] 探讨了图的算术–几何谱半径和能量在化学应用中的一些应用,文献 [5] 则找出了顶点数介于7~10的等能量连通图及22个顶点以下的等能量化学树,并构造出了一类等能量图。
Figure 1. T1
图1. T1
Figure 2. T2
图2. T2
在构造等能量的图过程中,不可避免的会出现图的特征值不能用根式表达,因此我们希望找到一种方法能够避开这种问题,从而能够构造一系列的等能量图。现如今我们已经找到一种方法来证明两棵树等能量。这种方法利用特征多项式和韦达定理来确定它们等能量,而不用求它们各自的特征值,这样就规避了树的特征值不能用根式表达而无法求能量的问题,也为后面构造或寻找一系列等能量的树打下基础。
2. 预备知识
定理2.1. (笛卡尔符号法则 [6] )设 , ,那么函数 的正根个数(包含重数)等于 中变号的次数。
定理2.2. (零点存在定理 [7] )设函数 在区间 上连续,且 ,则存在点
成立 。
定理2.3. (韦达定理 [8] )设 是n阶多项式,对应的根为 ,设 , , , , , ,那么成立
3. 利用特征多项式证明等能量
在证明树等能量之前,我们先给出如下两个定理。
定理3.1. 设 ,其中 , ,则 由4个正根,设为 ,记 ,那么有
证明:根据定理2.1可知 有4个正根,设为 ,记 。根据定理2.3可得到 ,, , ,那么有
即有 ,进一步有
则 ,因此
故有 ,即
值得注意的是,如果上述多项式 有一个零根,那么这个多项式就退化为3阶多项式,此时 ,上述结论依然成立。
随着多项式次数的增加,运算复杂度也会加大,但是在实际计算过程中,4阶多项式完全能够处理20阶以下的等能量树。因此后面的研究主要是20以下的等能量树的证明。由于树的特征值正负成对出现的,那么它的能量可以看作所有正特征值和的两倍,如果两棵树所有的正特征值的和相等,那么它们一定等能量,在此基础上,如果再删掉它们相同的特征值,保证两棵树不同特征值的和相同,同样可以得到它们的能量相同,基于这个原理,我们给出以下定理。
定理3.2. 设 , , , , , , 分别是 的所有非零根。而 , 满足定理3.1,那么当方程有唯一正实根是 的充分条件。
(1)
现在我们可以根据以下步骤来证明树T和树T'等能量:
① 消去树T和树T'特征多项式的最大公因式,剩下的多项式一定是偶次,分别用 和 表示;
② 令 ,得到多项式 和 ,如果定理3.2成立,那么可以确定 。
步骤①的目的是消去树T和树T'的相同特征值,保留剩下不同的特征值;由于剩下的特征值一定是正负成对出现的,而步骤②的目的就是只考虑所有正特征值的和,只要正特征值的和相等,那么树T和树T'必定等能量。下面我们给出一个例子来具体说明这个过程。
4. 应用
证明:树T1和树T2的特征多项式分别为
最大公因式为 ,消去最大公因式后得到树T1和树T2剩下的多项式为
令 ,得到
根据定理2.1可知, 和 的所有根均为正数,不妨设 和 分别为 和 的所有根,记 , ,下面证明方程(2)有唯一正实根。
(2)
化简得到
构造辅助函数 ,显然当 时,有 ,并且 ,根据定理2.2可知至少存在一点 ,成立 。另一方面,有
即对 ,成立 ,即 在 上严格单调增加,故 在 上存在唯一的正实根,那么定理3.2成立,因此 。
Figure 3. T3
图3. T3
Figure 4. T4
图4. T4
证明:树T3和树T4的特征多项式分别为
最大公因式为 ,消去最大公因式后得到树T3和树T4剩下的多项式为
令 ,得到
根据定理2.1可知, 和 的所有根均为正数,不妨设 和 分别为 和 的所有根,记 , ,下面证明方程(3)有唯一正实根。
(3)
化简得到
构造辅助函数 ,显然当 时,有 ,并且 ,根据定理2.2可知至少存在一点 ,成立 。另一方面,有
即对 ,成立 ,即 在 上严格单调增加,故 在 上存在唯一的正实根,那么定理3.2成立,因此 。
文章引用
苏 柯,申 悦. 等能量树的新判定方法
A New Criterion for Determining Equienergetic Trees[J]. 运筹与模糊学, 2024, 14(01): 921-927. https://doi.org/10.12677/ORF.2024.141085
参考文献
- 1. Li, X., Shi, Y. and Gutman, I. (2012) Graph Energy. Springer, New York. https://doi.org/10.1007/978-1-4614-4220-2
- 2. Miljković, O., Furtula, B., Radenkovic, S., et al. (2009) Equienergetic and Almost-Equienergetic Trees. Match Communications in Mathematical and in Computer Chemistry, 61, 451-461.
- 3. Xu, H. and Yan, W. (2022) On Eigenvalues and the Energy of Dendrimer Trees. Applied Mathematics and Computation, 424, Article ID: 127051. https://doi.org/10.1016/j.amc.2022.127051
- 4. Dorel, L. and Openhaim, E. (2022) Developing Mathematical Proof: Back to the Future with Vieta Extended Theorem. Creative Education, 13, 3298-3310. https://doi.org/10.4236/ce.2022.1310211
- 5. Zheng, R., Su, P. and Jin, X. (2023) Arithmetic-Geometric Ma-trix of Graphs and Its Applications. Applied Mathematics and Computation, 442, Article ID: 127764. https://doi.org/10.1016/j.amc.2022.127764
- 6. Wang, X. (2004) A Simple Proof of Descartes’s Rule of Signs. The American Mathematical Monthly, 111, Article No. 525. https://doi.org/10.1080/00029890.2004.11920108
- 7. Zorich, V.A. and Paniagua, O. (2016) Mathematical Analysis II. Springer, Berlin. https://doi.org/10.1007/978-3-662-48993-2
- 8. Stankovic, I., Milosevic, M. and Stevanovic, D. (2009) Small and Not so Small Equienergetic Graphs. Match, 61, Article No. 443.