Pure Mathematics
Vol. 13  No. 05 ( 2023 ), Article ID: 66366 , 6 pages
10.12677/PM.2023.135146

符号图网拉普拉斯最大特征值的一个上界

刘燕

福州大学,数学与统计学院,福建 福州

收稿日期:2023年4月22日;录用日期:2023年5月24日;发布日期:2023年5月31日

摘要

本文给出了符号图 Γ 的网拉普拉斯最大特征值 κ 1 的上界: κ 1 m a x { d i ± + ( d i ± ) 2 + 8 m i d i 4 M i 2 : i V ( Γ ) } ,其中 d i 为顶点i的度; d i ± = d i + d i d j = m a x { d j + , d j } m i = i j E d j d i M i = i j E [ | N i σ ( i j ) N j | a b s ( | N i σ ( i j ) N j σ ( i j ) | | N i σ ( i j ) N j σ ( i j ) | ) ] ;(abs)表示绝对值函数; σ ( i j ) 表示边ij的符号; N i , N i + N i 分别表示顶点i的邻域、正邻域和负邻域; | U | 表示集合U中所含元素的个数。

关键词

符号图,网拉普拉斯矩阵,最大特征值,上界

An Upper Bound for the Largest Net Laplacian Eigenvalue of Signed Graphs

Yan Liu

College of Mathematics and Statistics, Fuzhou University, Fuzhou Fujian

Received: Apr. 22nd, 2023; accepted: May 24th, 2023; published: May 31st, 2023

ABSTRACT

An upper bound for the largest net Laplacian eigenvalue κ 1 of a signed graph Γ is given: κ 1 m a x { d i ± + ( d i ± ) 2 + 8 m i d i 4 M i 2 : i V ( Γ ) } where d i is the degree of vertex i; d i ± = d i + d i ; d j = m a x { d j + , d j } ; m i = i j E d j d i ; M i = i j E [ | N i σ ( i j ) N j | a b s ( | N i σ ( i j ) N j σ ( i j ) | | N i σ ( i j ) N j σ ( i j ) | ) ] ; (abs) is an absolute value function; σ ( i j ) denotes the sign of edge ij; N i , N i + and N i denotes its neighbourhood, the positive neighbourhood and the negative neighbourhood of a vertex i, respectively; | U | denotes the number of elements in a set U.

Keywords:Signed Graph, Net Laplacian Matrix, Largest Eigenvalue, Upper Bound

Copyright © 2023 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. 引言

将普通图的每条边标上符号(+或者−),所得到的图称为符号图。符号图最早是在1953年Harary [1] 提出的。设 Γ = ( V ( Γ ) , E ( Γ ) , σ ) 为n阶符号图,其中 V ( Γ ) = { 1 , 2 , , n } 表示顶点集, E ( Γ ) = { e 1 , e 2 , , e m } 表示边集, e i ( i = 1 , 2 , , m ) 是顶点集的二元子集, σ : E ( Γ ) { + 1 , 1 } 为符号函数, G = ( V ( Γ ) , E ( Γ ) ) 称为符号图 Γ 的底图,因此也可将符号图记为 Γ = ( G , σ )

对任意的顶点 i V ( Γ ) ,记 d i 为顶点i的度, d i + d i 分别表示i的正顶点度和负顶点度(即分别表示与顶点i相连的正边个数和负边个数),易知 d i = d i + + d i 。网度 d i ± = d i + d i 。对任意的顶点i和j,若i和j相邻,记为 i j E ;若称i和j不相邻,记为 i j E ;若i和j通过正边相邻,记为 i j E + ;若i和j通过负边相邻,记为 i j E N i 表示与顶点i相邻的顶点集合, N i + 表示与顶点i通过正边相邻的顶点集合, N i 表示与顶点i通过负边相邻的顶点集合。关于符号图的其它记号,读者可以参考 [2] 。

符号图 Γ 的网拉普拉斯矩阵定义为 N ( Γ ) = D ± ( Γ ) A ( Γ ) ,其中 A ( Γ ) 为符号图 Γ 的邻接矩阵, D ± ( Γ ) 为符号图 Γ 的网度对角矩阵, D ± ( Γ ) = d i a g ( d 1 ± , d 2 ± , , d n ± ) d i ± = d i + d i

在符号图谱理论中,邻接矩阵和拉普拉斯矩阵受到了广泛的关注。与之相比,网拉普拉斯矩阵(net Laplacian matrix)是近几年才出现的,关于它的结果很少。(本文将net Laplacian matrix直接翻译成网拉普拉斯矩阵。注意:由于该矩阵是近几年才开始被陆陆续续进行研究,并未统一名称)。文献 [3] [4] 指出了符号图网拉普拉斯特征值在控制理论当中的应用。文献 [5] 给出了更多关于 N ( Γ ) 的谱的详细介绍,同时通过对 N ( Γ ) 谱的详细分析,强调了用网拉普拉斯代替符号图的拉普拉斯的一些优点,它们大多是基于这样一个事实,即关于(无符号)图的拉普拉斯的一些结果可以推广到网拉普拉斯上,但不能推广到符号图拉普拉斯上。若一些结果对网拉普拉斯成立,那么它也在图的拉普拉斯的特殊情况下成立。符号图网拉普拉斯矩阵在控制理论当中有着重要的应用,尤其是符号图网拉普拉斯谱。由于近几年才开始陆续研究符号图网拉普拉斯矩阵,因此关于符号图网拉普拉斯最大特征值的上界相关结论很少。下面给出了已知的上界。记 κ 1 N ( Γ ) 的最大特征值。

在2021年,Ramezani和Stanić [6] 给出了符号图网拉普拉斯最大特征值的上界:

κ 1 max 2 ( ( d i + ) 2 + ( d i ) 2 + d i m i * T i ± ) : i V ( Γ ) (1.1)

其中 m i * = i j E d j * d i d j * = max { d j + , d j } T i ± = j ~ i T i j σ ( i j )

以及

κ 1 max { 1 2 ( d i ± + ( d i ± ) 2 + 8 d i m i * ) : i V ( Γ ) } (1.2)

下面将会给出符号图网拉普拉斯最大特征值的一个上界以及推导过程,在这一过程中需要使用一些相关的引理。

在符号图中把边符号的乘积为正的路径称为正路径,边符号的乘积为负的路径称为负路径。 ω l + ( i , j ) 表示从顶点i到顶点j长为l的正路径的个数, ω l ( i , j ) 表示从顶点i到顶点j长为l的负路径的个数。

引理1.1 ( [7] ) Γ 为n阶符号图, A ( Γ ) 为符号图 Γ 的邻接矩阵,则矩阵 A l ( Γ ) 的第 ( i , j ) 项为

[ A l ( Γ ) ] ( i , j ) = ω l + ( i , j ) ω l ( i , j ) .

引理1.2 若 Γ 为n阶符号图, A ( Γ ) 为符号图 Γ 的邻接矩阵,x为n维列向量, x i 是x中最大的分量且 x i > 0 ,则

[ A 2 ( Γ ) x ] i = i j E + j k E + x k + i j E j k E x k i j E + j k E x k i j E j k E + x k i j E [ abs ( | N i σ ( i j ) N j σ ( i j ) | | N i σ ( i j ) N j σ ( i j ) | ) | N i σ ( i j ) N j | ] x i + i j E d j x i .

证明 由引理1.1可知

[ A 2 ( Γ ) x ] i = k = 1 n ( ω 2 + ( i , k ) ω 2 ( i , k ) ) x k = i j E + j k E + x k + i j E j k E x k i j E + j k E x k i j E j k E + x k ,

对等式右边的每一项分别进行放缩,可得

i j E + j k E + x k = i j E + j k E + i k E + x k + i j E + j k E + i k E + x k = i j E + | N i + N j + | x j + i j E + j k E + i k E + x k i j E + | N i + N j + | x j + i j E + ( d j + | N i + N j + | ) x i ,

同理可得:

i j E j k E x k i j E | N i N j | x j + i j E ( d j | N i N j | ) x i ,

i j E + j k E x k i j E + | N i + N j | x j i j E + ( d j | N i + N j | ) x i ,

i j E j k E + x k i j E | N i N j + | x j i j E ( d j + | N i N j + | ) x i ,

最后将每一项进行相加,可得

[ A 2 ( Γ ) x ] i = i j E + j k E + x k + i j E j k E x k i j E + j k E x k i j E j k E + x k i j E + ( | N i + N j + | | N i + N j | ) x j + i j E ( | N i N j | | N i N j + | ) x j + i j E + ( d j + | N i + N j + | + d j | N i + N j | ) x i + i j E ( d j | N i N j | + d j + | N i N j + | ) x i = i j E ( | N i σ ( i j ) N j σ ( i j ) | | N i σ ( i j ) N j σ ( i j ) | ) x j + i j E ( d j | N i σ ( i j ) N j σ ( i j ) | | N i σ ( i j ) N j σ ( i j ) | ) x i i j E [ abs ( | N i σ ( i j ) N j σ ( i j ) | | N i σ ( i j ) N j σ ( i j ) | ) | N i σ ( i j ) N j | ] x i + i j E d j x i .

注:引理1.2借鉴了文献 [8] 中定理3.3的证明过程。

2. 符号图网拉普拉斯最大特征值的一个新上界

由于符号图网拉普拉斯矩阵的特征值(尤其是最大特征值)在控制理论当中有着重要的应用,本文研究了符号图网拉普拉斯最大特征值的上界,给出了网拉普拉斯最大特征值的一个新上界。

引理1.3 设阶符号图, κ 1 Γ 的网拉普拉斯最大特征值,则

κ 1 max { d i ± + ( d i ± ) 2 + 8 m i * d i 4 M i 2 : i V ( Γ ) } (1.3)

其中 d i ± = d i + d i d j * = max { d j + , d j } m i * = i j E d j * d i

M i = i j E [ | N i σ ( i j ) N j | abs ( | N i σ ( i j ) N j σ ( i j ) | | N i σ ( i j ) N j σ ( i j ) | ) ] .

证明 令 x = ( x 1 , x 2 , , x n ) T 是矩阵 N ( Γ ) 的属于特征值 κ 1 的特征向量,设 x i 为x中绝对值最大的分量.不失一般性,假设 x i > 0

N ( Γ ) = D ± ( Γ ) A ( Γ ) N ( Γ ) x = κ 1 x [ N ( Γ ) x ] i = κ 1 x i ,可得

κ 1 x i = d i ± x i i j E + x j + i j E x j (1.4)

等式 N ( Γ ) x = κ 1 x 两边同时左乘 N ( Γ ) ,得到 N 2 ( Γ ) x = κ 1 N ( Γ ) x = κ 1 2 x ,将 N ( Γ ) = D ± ( Γ ) A ( Γ ) 代入且取第i个分量,可得

κ 1 2 x i = ( d i ± ) 2 x i d i ± i j E + x j + d i ± i j E x j i j E + d j ± x j + i j E d j ± x j + i j E + j k E + x k + i j E j k E x k i j E + j k E x k i j E j k E + x k , (1.5)

将(1.4)式的两边同时乘以 d i ± 代入(1.5)式,可得

κ 1 2 x i = κ 1 d i ± x i i j E + d j ± x j + i j E d j ± x j + i j E + j k E + x k + i j E j k E x k i j E + j k E x k i j E j k E + x k ,

对任意顶点j,由于 x i > 0 ,则 | x j | x i ,因此 j ~ + i d j ± x j j ~ + i | d j ± | x i j ~ i d j ± x j j ~ i | d j ± | x i

再由引理1.2可得

i j E + j k E + x k + i j E j k E x k i j E + j k E x k i j E j k E + x k i j E [ abs ( | N i σ ( i j ) N j σ ( i j ) | | N i σ ( i j ) N j σ ( i j ) | ) | N i σ ( i j ) N j | ] x i + i j E d j x i ,

M i = i j E [ | N i σ ( i j ) N j | abs ( | N i σ ( i j ) N j σ ( i j ) | | N i σ ( i j ) N j σ ( i j ) | ) ] ,则有

κ 1 2 x i κ 1 d i ± x i + i j E + | d j ± | x i + i j E | d j ± | x i + i j E d j x i M i x i = κ 1 d i ± x i + i j E | d j ± | x i + i j E d j x i M i x i ,

因为 x i > 0 ,所以

κ 1 2 κ 1 d i ± + i j E | d j ± | + i j E d j M i ,

又因为 | d j ± | + d j = { 2 d j + ; d j + d j 2 d j ; d j + d j ,取 d j * = max { d j + , d j } ,因此

κ 1 { d i ± + ( d i ± ) 2 + 8 m i * d i 4 M i 2 : i V ( Γ ) } ,

取所有顶点的最大值,可得

κ 1 max { d i ± + ( d i ± ) 2 + 8 m i * d i 4 M i 2 : i V ( Γ ) } .

3. 上界的比较

上一节给出了符号图网拉普拉斯最大特征值的一个新上界,下面将该上界与已知的上界进行比较。首先将本文的上界(1.3)与上界(1.2)进行比较。上界(1.3)与上界(1.2)相比,相差了 4 M i ,观察到

M i = i j E [ | N i σ ( i j ) N j | abs ( | N i σ ( i j ) N j σ ( i j ) | | N i σ ( i j ) N j σ ( i j ) | ) ] 0 ;

因此本文的上界(1.3)改进上界(1.2)。

接下来将上界(1.3)与上界(1.1)进行比较。下面通过具体例子说明对于某些符号图而言,本文的上界(1.3)要优于上界(1.1)。

Figure 1. Signed graph Γ 1

图1. 符号图 Γ 1

N ( Γ 1 ) 为上图1所示的符号图 Γ 1 的网拉普拉斯矩阵,由上图1可知

N ( Γ 1 ) = ( 3 1 1 1 0 1 1 1 1 0 1 1 2 1 1 1 1 1 0 1 0 0 1 1 2 )

通过Maple计算可得 κ ( Γ 1 ) = 4.508 。利用上界(1.1)计算符号图 Γ 1 的网拉普拉斯最大特征值的上界为 κ 1 = 5.477 ,利用本文的上界(1.3)计算 Γ 1 的网拉普拉斯最大特征值的上界为 κ 1 = 5.123 ,从而对于符号图 Γ 1 来说本文的上界(1.3)优于上界(1.1)。

文章引用

刘 燕. 符号图网拉普拉斯最大特征值的一个上界
An Upper Bound for the Largest Net Laplacian Eigenvalue of Signed Graphs[J]. 理论数学, 2023, 13(05): 1425-1430. https://doi.org/10.12677/PM.2023.135146

参考文献

  1. 1. Harary, F. (1953) On the Notion of Balance of a Signed Graph. Michigan Mathematical Journal, 2, 143-146. https://doi.org/10.1307/mmj/1028989917

  2. 2. Zaslavsky, T. (1982) Signed Graphs. Discrete Applied Mathematics, 4, 47-74. https://doi.org/10.1016/0166-218X(82)90033-6

  3. 3. Stanić, Z. (2020) Net Laplacian Controllability for Joins of Signed Graphs. Discrete Applied Mathematics, 285, 197-203. https://doi.org/10.1016/j.dam.2020.05.011

  4. 4. Gao, H., Ji, Z. and Hou, T. (2018) Equitable Partitions in the Controllability of Undirected Signed Graphs. 2018 IEEE 14th International Conference on Control and Automation (ICCA), Anchorage, AK, 12-15 June 2018, 532-537. https://doi.org/10.1109/ICCA.2018.8444164

  5. 5. Stanić, Z. (2020) On the Spectrum of the Net Laplacian Matrix of a Signed Graph. Bulletin Mathématique de la Société des Sciences Mathématiques de Roumanie, 63, 205-213.

  6. 6. Ramezani, F. and Stanić, Z. (2022) Some Upper Bounds for the Net Laplacian Index of a Signed Graph. Bulletin of the Iranian Mathematical Society, 48, 243-250. https://doi.org/10.1007/s41980-020-00514-2

  7. 7. Zaslavsky, T. (2010) Matrices in the Theory of Signed Simple Graphs. In: Acharya, B.D., Katona, G.O.H. and Nesetril, J., Eds., Advances in Discrete Mathematics and Applications: Mysore, 2008 (ICDM-2008, Mysore, India), Vol. 13, Ramanujan Mathematical Society, Mysore, 207-229.

  8. 8. Stanić, Z. (2019) Bounding the Largest Eigenvalue of Signed Graphs. Linear Algebra and Its Applications, 573, 80-89. https://doi.org/10.1016/j.laa.2019.03.011

期刊菜单