APP下载

图的拉普拉斯谱半径对应的特征向量性质及其应用

2014-11-19汪秋分宋海洲

关键词:拉普拉斯特征向量顶点

汪秋分,宋海洲

(华侨大学 数学科学学院,福建 泉州362021)

设G是一个简单的连通图[1],G=(V,E).其顶点集V={v1,v2,…,vn},边集E={e1,e2,…,em}.记顶点vi的度为di,i=1,2,…,n.记D(G)=diag{d1,d2,…,dn}和A(G)分别为G的度对角矩阵和邻接矩阵[2],则L(G)=D(G)-A(G)为G的拉普拉斯矩阵[3].显然,L(G)是半正定、对称和奇异的.称L(G)的特征值为G的拉普拉斯特征值,记为μ(G)=μ1(G)≥μ2(G)≥…≥μn(G)=0.特别的,称μ(G)为G的拉普拉斯谱半径[4].树是含n个顶点,n-1条边的简单连通图.图G中所有的度为1的顶点称为图G的悬挂点[5].记NG(v)表示图G中与v相邻接的顶点集,dv表示图G中顶点v的度.有关图的拉普拉斯谱半径的结果有很多,如郭继明[6]的加边或嫁接边对图的拉普拉斯谱半径的影响,袁西英等[7]的树的运算及其Laplace谱,郭继明[8]的树的拉普拉斯谱半径,谭尚旺[9]的关于树的拉普拉斯谱半径,张晓东[10]的给定度序列的树的拉普拉斯谱半径,等等.本文给出了图的拉普拉斯谱半径对应的特征向量的性质及应用,并得到了一些有关图的移接变形对拉普拉斯谱半径影响的结果.

1 相关定义与性质

1.1 图的拉普拉斯谱半径对应的特征向量的定义

介绍其定义之前,先证明一个定理.

定理1设G=(V,E)是一个简单的连通图,且|V|=n.记L(G)为图G的拉普拉斯矩阵,有时也简记为L,μ(G)为图G的拉普拉斯谱半径.则对于向量x∈Rn×1,有

1)μ(G)=为L(G)的n个特征值;

2)μ(G)=

3)若‖x‖=1,且x′L(G)x=μ(G),则L(G)x=μ(G)x.

证明 1)由拉普拉斯谱半径的定义容易证明.

2)由于L(G)是一个实对称矩阵,因此,存在一个正交矩阵P,使得P-1LP=diag(μ1,μ2,…,μn),其中,μ1,μ2,…,μn为L(G)的n个实特征值.

令diag(μ1,μ2,…,μn)=D,P=(P1,P2,…,Pn),x=Py,则有

又由于P是正交矩阵,并且有x=Py.因此,当‖x‖=1时,有‖y‖=1.不失一般性,可假设μ1≤μ2≤…≤μn.因而有

令y*=en=(0,0,…,0,1)′n×1,记x*=Py*=Pn,则上面不等式等号成立.因此有

3)设μ1,μ2,…,μn为L(G)的n个特征值,P,D,y的含义同2).不失一般性,可设μ1≤μ2≤…≤μn.则由1)可知μ(G)=μn.又由于x′L(G)x=μ(G),因此x′L(G)x=y′Dy=μ(G)=μn.即有y′Dy=μn.

易知L(G)是一个实对称半正定矩阵,且μ1=0,μn>0.不妨假设实数s(1≤s≤n)是满足μs<μs+1且μs+1=μn的最大自然数.所以y=(01×s,Z)1×n,其中,实向量Z∈R1×(n-s)且‖Z‖=1.记Z=(ys+1,ys+2,…,yn),则有可知x是L(G)的对应于的特征向量,因此有L(G)x=μ(G)x.

下面给出图的拉普拉斯谱半径对应的特征向量的定义.

定义1设G=(V,E)是一个简单的连通图.若向量x∈Rn×1满足‖x‖=1,且x′L(G)x=μ(G),则称x为图G的一个规范拉普拉斯谱向量.

1.2 图的拉普拉斯谱半径对应的特征向量的性质

下面给出有关图的拉普拉斯谱半径对应的特征向量的一些性质.

定理2设T是一棵树,其顶点集V={v1,v2,…,vn}.记L(T)为T的拉普拉斯矩阵,μ(T)为T的拉普拉斯谱半径.若x为T的一个规范拉普拉斯谱向量,且x=(x1,x2,…,xn)′.则有:1)x为实向量;2)|x|>0,其中,|x|=(|x1|,|x2|,…,|xn|)′.

证明 1)由题意可知:L(T)是实对称矩阵.又μ(T)也为实数,因此,x为实向量.

2)反证法.假设|x|>0不成立,必然存在一个顶点集H={vj1,vj2,…,vjt},使xjl=0(l=1,2,…,t),其中,1≤t≤n,1≤j≤n,xj为顶点vj对应于一个规范拉普拉斯谱向量的分量.

又由于x为T的一个规范拉普拉斯谱向量,因而有‖x‖=1.所以x≠0,且存在顶点v∈V(T)使得xv=0,及顶点u∈NT(v)使得xu≠0.

设T是以顶点v为根节点的根树,记NT(v)={w1,w2,…,ws}.另记Ti为由wi及wi的所有子孙组成的子树,i=1,2,…,s.令yv=xv=0,ywi=|xwi|,当xwi≥0时,有yj=xj(vj∈Ti),当xwi<0时,有yj=-xj(vj∈Ti),i=1,2,…,s.

因此,有ywi≥0,i=1,2,…,s,‖y‖=1且y′L(T)y=x′L(T)x=μ(T).由定义1可知,y是T的一个规范拉普拉斯谱向量.根据定理1可得L(T)y=μ(T)y.又已知L(T)=D(T)-A(T),则(D(T)-A(T))y=μ(T)y.故((D(T)-μ(T)I)y)v=(A(T)y)v.因此可得

然而ywi≥0,且存在i0=∈{1,2,…,s},使得wi0=u满足yu>0.因而,从而导致矛盾,原命题成立.

定理3设T是一棵树,v是T的一个顶点,v1,v2,…,vs是与v相邻的悬挂点.若x=(x1,x2,…,xn)′为T的一个规范拉普拉斯谱向量,这里xi对应于顶点vi,1≤i≤n,则xvj=xvi,1≤i<j≤s.

证明 由于x=(x1,x2,…,xn)′为T的一个规范拉普拉斯谱向量,由定理1及定义1可得

又已知L(T)=D(T)-A(T),则有(D(T)-A(T))x=μ(T)x,所以可得((D(T)-μ(T)I)x)vi=(A(T)x)vi=xv,i=1,2,…,s.从而有(1-μ(T))xv1=xv,(1-μ(T))xv2=xv,…,(1-μ(T))xvs=xv.因此xvj=xvi(1≤i<j≤s).

定理4设T=(V,E)是一棵树,其顶点集V(T)={v1,v2,…,vn},边集记为E(T).若x=(x1,x2,…,xn)′为T的一个规范拉普拉斯谱向量,xi对应于顶点vi,1≤i≤n.则有:1)对于任意边uv∈E(T),有

证明 1)由于x为T的一个规范拉普拉斯谱向量,由定义1可得

对任意uv∈E(T),由定理2可得|xu|>0且|xv|>0,所以有xuxv≠0.

设存在边uv∈E(T)使得xuxv>0.设T是以r为根节点的根树,可设顶点u是顶点v的父节点(图1).设T1=(V1,E1)是由v及v的所有子孙组成的k层子树(图2).不失一般性,假设xu>0,故xv>0.

取y=(y1,y2,…,yn)′,令yi=xi(i∉V1),yw1=-|xw1|(w1是T1的第1层上的顶点,即w1=v),yw2=(-1)2|xw2|(任意w2是T1的第2层上的顶点),…,ywk=(-1)k|xwk|(任意wk是T1的第k层上的顶点).则有‖y‖=‖x‖=1,且有

图1 顶点u是顶点 v的父节点 Fig.1 Vertex uis the father vertex of vertex v

图2 v及v的所有子孙 组成的k层子树Fig.2 Subtree with klevels obtained fromv and v′s descendants

因此,存在一个单位向量y=(y1,y2,…,yn)′,使μ(T)<y′L(T)y.这与定理1矛盾,故有xuxv<0.

2)由于x为T的一个规范拉普拉斯谱向量,因而有(D(T)-A(T))x=μ(T)x.因此(dvi-所 以 有从 而,所以

2 图的拉普拉斯谱半径对应的特征向量的应用

2.1 加边对图的拉普拉斯谱半径的影响

定理5设u,v是树T的两个顶点.记顶点u,v之间的距离为d(u,v)=k,其中,k为奇数且k≥3.若G是由T添加新边设uv后所得到的图,则有μ(G)>μ(T).

证明 设x=(x1,x2,…,xn)′为T的一个规范拉普拉斯谱向量,xi对应于顶点vi,1≤i≤n.由于k为奇数且k≥3,由前面定理4可得:xuxv<0.记T与G的边集分别为E(T)和E(G),因此有

即μ(G)>μ(T).

2.2 嫁接对图的拉普拉斯谱半径的影响

定理6设u,v是树T的两个顶点,T=(V(T),E(T)),且有NT(v)/(NT(u)∪{u})={v1,v2,…,vs},1≤s≤dv,设x=(x1,x2,…,xn)′为T的一个规范拉普拉斯谱向量,xi对应于顶点vi,1≤i≤n,T*是由T删除边vvi,添加边uvi后所得到的树(1≤i≤s)(图3).若|xu|≥|xv|,则μ(T)<μ(T*).

证明 对于树T,设T=(V,E)形成一根树,且顶点v是v1,v2,…,vs的父节点.令T1是由顶点v,v1,v2,…,vs及v1,v2,…,vs的所有子孙组成的子树,T1=(V1,E1).类似的,对于树T*,设T*=(V*,E*)形成一根树,u为其根节点,并且顶点u是v1,v2,…,vs的父节点.令T*1是由顶点u,v1,v2,…,vs及v1,v2,…,vs的所有子孙组成的子树,且T*1的层次(高度加1)为k.记E′1=E1/{vv1,vv2,…,vvs}.

令yi=xi(vi∈V/V(T1)),yv=xv,yw1=-sgn(xu)|xw1|(任意w1是T*1的第2层上的顶点),yw2=(-1)2sgn(xu)|xw2|(任意w2是T*1的第3层上的顶点),…,ywk-1=(-1)k-1sgn(xu)|xwk-1|(任意wk-1是T*1的第k层上的顶点).则可得‖y‖=1,且

图3 树T和树T*Fig.3 Tree Tand T*

即有y′L(T*)y≥x′L(T)x.因此

故有μ(T)≤μ(T*).

若μ(T)=μ(T*),则式(1)中等号成立,故有μ(T)=y′L(T*)y=μ(T*).因而,由定理1可以得L(T*)y=μ(T*)y.又L(T*)=D(T*)-A(T*),所以

式(2)中:dT*(v)为顶点v在树T*中的度.

又L(T)x=μ(T)x,类似的有

由式(2)~(3)可得

不失一般性,设xv>0.

若xu>0,由定理4可得因而有μ(T)>μ(T*),这与假设矛盾.

若xu<0,由定理4可得有μ(T)>μ(T*),这也与假设矛盾.

综上所述,若|xu|≥|xv|,则μ(T)<μ(T*).

推论1设T*是如定理6所定义的树,若y=(y1,y2,…,yn)′为T*的一个规范拉普拉斯谱向量,yi对应于顶点vi,1≤i≤n,则|yu|>|yv|.

证明 反证法.若|yu|≤|yv|,由定理6可得μ(T)>μ(T*).这与定理6结论矛盾,顾原命题成立.

推论2设G=(V,E)为含n个顶点的树,r,s,t是G的三个不同的顶点,且rs∈E(G),rt∉E(G).设G*是由G删除边rs添加边rt后所得到的树.设x=(x1,x2,…,xn)′为G的一个规范拉普拉斯谱向量,xi对应于顶点vi,1≤i≤n;x*=(x*1,x*2,…,x*n)′为G*的一个规范拉普拉斯谱向量,x*i对应于顶点v*i,1≤i≤n.若|xt|≥|xs|,则|x*t|>|x*s|.

证明 显然,由题意可知,G是由G*删除边rt添加边rs后所得到的树.假设|x*t|≤|x*s|,由定理6可得μ(G)>μ(G*).又|xt|≥|xs|,由定理6得μ(G)<μ(G*).这样导致矛盾,因此原命题成立.

[1]汪秋分,宋海洲.图谱理论中一些定理的新证明[J].华侨大学学报:自然科学版,2012,33(4):477-480.

[2]刘亚国.图论中邻接矩阵的应用[J].忻州师范学院学报,2008,24(4):18-19.

[3]谭尚旺,张德龙.一定条件下图的拉普拉斯矩阵的谱半径[J].广西科学,2008,15(4):352-356.

[4]LI Jian-xi,SHIU Wai-chee,CHAN Wai-hong.The Laplacian spectral radius of some graphs[J].Linear Algebra Appl,2009,431(1):99-103.

[5]WU Bao-feng,XIAO En-li,HONG Yuan.The spectral radius of trees onkpendant vertices[J].Linear Algebra Appl,2005,395(15):343-349.

[6]GUO Ji-ming.The effect on the Laplacian spectral radius of a graph by adding or grafting edges[J].Linear Algebra Appl,2006,413(1):59-71.

[7]袁西英,吴宝丰,肖恩利.树的运算及其Laplace谱[J].华东师范大学学报:自然科学版,2004,50(2):13-18.

[8]GUO Ji-ming.On the Laplacian spectral radius of a tree[J].Linear Algebra Appl,2003,368(15):379-385.

[9]TAN Shang-wang.On the Laplacian spectral radius of trees[J].Chinese Quarterly Journal of Mathematics,2010,25(4):615-625.

[10]ZHANG Xiao-dong.The Laplacian spectral radii of trees with degree sequences[J].Discrete Mathematics,2008,308(15):3143-3150.

猜你喜欢

拉普拉斯特征向量顶点
二年制职教本科线性代数课程的几何化教学设计——以特征值和特征向量为例
克罗内克积的特征向量
过非等腰锐角三角形顶点和垂心的圆的性质及应用(下)
过非等腰锐角三角形顶点和垂心的圆的性质及应用(上)
一类特殊矩阵特征向量的求法
EXCEL表格计算判断矩阵近似特征向量在AHP法检验上的应用
基于超拉普拉斯分布的磁化率重建算法
位移性在拉普拉斯变换中的应用
具有吸收项和局部源的一维p-拉普拉斯方程解的熄灭
含有一个参数的p-拉普拉斯方程正解的存在性