820 likes | 1.06k Views
网络特征值谱与 网络拓扑及同步的关系. 陆君安 陈 娟 School of Mathematics and statistics Wuhan University E-mail: jalu@whu.edu.cn 第六届全国网络科学论坛与第二届全国混沌应用研讨会 北京, 2010.7. Acknowledgements. 感谢香港城市大学陈关荣教授的帮助和支持
E N D
网络特征值谱与网络拓扑及同步的关系 陆君安 陈 娟School of Mathematics and statisticsWuhan UniversityE-mail: jalu@whu.edu.cn 第六届全国网络科学论坛与第二届全国混沌应用研讨会 北京,2010.7
Acknowledgements • 感谢香港城市大学陈关荣教授的帮助和支持 • 感谢国家自然科学基金项目《基于耦合矩阵特征值谱分布的网络拓扑结构与同步动力学关系研究 》(60974081)和国家973项目《需求工程—对复杂系统的软件工程的基础研究》(2007CB310800)的资助
Abstract 在研究网络拓扑和同步能力时,网络耦合矩阵的特征值谱起到决定性作用。通过对网络特征值谱分布与网络拓扑及同步关系的研究,总结和发现 (1)随机网络和小世界网络的特征值谱分布比较集中,而无标度网络的分布相对较广,社团网络的分布呈现出跳跃 (2)随机、小世界和无标度网络特征值谱与度序列有很高的相关性,可以从度序列入手研究特征值谱,提出基于度序列的特征值谱的局部预估-校正算法
Abstract (3)网络中尺度层次的研究有利于揭示同步过程,同步从度大区域开始,不同拓扑结构同步过程是不一样的 (4)不同时间尺度下网络的社团结构是不一样的;社团网络同步过程为:部分同步-聚类同步-完全同步;基于演化过程存在的时间尺度,可以通过同步过程识别网络的社团结构
提 纲 1. 网络耦合矩阵特征值谱的几个理论结果 2. 几种典型网络的特征值谱分布 3. 特征值谱与度序列的相关性 4. 同步过程与度分布的关系 5. 社团网络特征值谱及其同步过程 6. 结束语
Introduction • 复杂网络的统计性质已经有许多研究,它们对于认识和刻画网络的特征有着重要的意义。最近文献指出网络局部子图的变化会造成特征值谱和同步性质的很大变化,仅仅利用网络的统计量推断网络动力学性质经常会得到错误的结论,起到决定性的因素是网络耦合矩阵的特征值,但目前研究较少。本文研究几种典型网络的特征值谱分布,特征值谱与度序列相关性,同步演化过程时间尺度和网络拓扑尺度的关系,不同网络特别是社团网络同步过程及与特征值谱的关系
1. 网络耦合矩阵的特征值谱的 几个理论结果
考虑一个具有N个节点和m条边的图G(V,E). • 如果D表示对角元为度其它为0,A表示邻接矩阵,则 图G的Laplacian矩阵 L=D-A 的元素为 (1) 其中 是节点v的度。当L是对称时,L为半正定,特征值非负, 由于L的行和为0,所以最小特征值 ,对应的特征向量为(1,1,…,1).当网络是连通的(L不可约),则
注:一些文献定义Normalized Laplacian matrix • 这种定义比较复杂,好处:与谱几何、随机过程中的定义一致。 • 参考:Fan R K Chung, Lectures on Spectral Graph Theory, CHAPTER 1: Eigenvalues and the Laplacian of a graph
讨论耗散耦合的连续动力网络 A是负的Laplacian矩阵,为方便起见都按Laplacian矩阵特征值讨论 由主稳定函数方法 ,当动力学和内连函数给定,同步化区域分为 • 类型1网络:同步化区域是半无界的,同步能力由A第二特征值 刻画,它越远离0,其同步能力越强 • 类型2网络:同步化区域是有界的,同步能力由A的特征值比率 来刻画,它越靠近1,其同步化能力越强 • 类型3网络:同步化区域为空集
因此 和 在刻画同步能力中十分重要。 • 我们的问题是: 1)如何利用度值对这两个特征值作估计? 2)除了这两个特征值外,整个特征值谱与网络同步过程有什么关系? 3)整个特征值谱在刻画网络拓扑结构和动力学过程中起到什么作用?
对于无向网络(L对称),假设 和 是L的最大和最小度,则特征值可以由网络节点的度估计[6] (2) 这是一个著名的估计式,但是比较保守,即使最小度 ,也只能得到 另外 是点的连通度, 是边的连通度
注: 有许多估计: 如[16] [17] 其中 表示节点u的所有邻居的平均度 [18] 其中 表示u和v相互是邻居的数目 [19] 其中等号当且仅当 成立 [20] 其中G为二分图或度为(N/2,N/2,1,…,1)的 树时等号成立 [21]给出了网络有环、链等作为子图的特征值估计
的下界估计较少 • 如 其中e是边的连通度, 对于链e=1, • 如 • 如 其中D是图的直径
由(2)得到 (4) • 注:由(4)并不能得到度分布比较均匀一定有好的同步性。因为度分布均匀只是统计意义的性质,并不能保证最大和最小度的差很小,只要有一个节点的度很大或者很小,都会使得(4)的右边发生很大变化。一般实际网络, , 很大,所以 很小。 • 说明:网络局部的度的变化会造成同步性质的很大变化,但是它几乎不影响网络的统计性质(如度分布、平均距离)
[6]指出,设无向网络G的节点集V, S V是子集 , V − S是余集,|S| 是S的节点数目 记 表示S和它的余集V − S之间边的权值和. G 的等周数(isoperimetric number) i (G)为 (5) 表示S中每一个节点与它的余集平均边数
图论的一个重要结果是i (G)作为 上界估计 但是计算i (G)是一个 NP-hard problem .利用这个式子和(5)得到 的重要估计 (6) 其中 ,S可以是任意一个子集。 (6)比 精确 (6)的重要意义: 的界经常由某个子图S的性质所确定,而改变子图对网络的统计性质影响不大,因此仅仅利用网络的统计性质估计 常常失效
[6]给出的例子 G的统计量主要依赖H,而第2特征值却依赖S
500个节点 小世界NW模型 50个节点 全连接 例子 (i)没有小社团:p增加时 也增加 (ii)有小社团:p增加时 保持在 0.021附近 ,而最大特征值有所增加,导致 有所下降。表明尽管长程边在增加,但网络同步能力不会提高 (iV)有小社团时, 利用(6)计算得出 说明估计式(6)并非很保守 (iii)小社团的存在是阻碍同步的
[6]给出的例子 切换前是连通的,切换后不连通 ,不能同步,但是切换前后度分布不变。所以度分布不能确定 和同步性质。
小结 • 分析网络的同步能力时,起到决定性的因素是网络耦合矩阵的特征值谱。 • 在研究复杂动力网络的控制和同步性质的时候,仅仅利用网络的统计量(度分布和平均距离)不但不能充分刻画网络的动力学性质,而且经常会得到相反的结论。 • 网络局部子图的变化会造成同步性质的很大变化,但是它几乎不影响网络的统计性质。
规则网络 • 全连接网络的特征值,除一个为0外其余均为N • 2K(K=1)规则环状无向网络的特征值: 0, N偶数时最大和最小非零特征值分别为4和 K≠1时,网络的特征值: 0, • 链状无向网络的特征值: 0, • 星形无向网络的特征值: 0, 1,…,1,和 N.
随机网络 Fig 1. 不同p的特征值分布(N=1000,50次平均) 表明:随机网络随p的增加,特征值分布的范围迅速缩小(注:全连接网络的特征值,除一个为0外其余均为N)
随机网络 Fig 2. 近似地线性依赖于p (N=1000,50次平均) • 当 p = 0.005, p < pc. 这时第2特征值=0(有孤立块)。当p = 0.01,第2特征值=1.4512,特征值比为0.0610,当p= 0.1,第2特征值=68.0447,特征值比为0.4979.当p 接近1时, 网络几乎是全连通,特征值比几乎为1.因此从统计角度看,当p增加时同步能力是提高的
随机网络第2特征值的一个算法:由于 近似地线性依赖p。当固定N时,如果已知 ,可估计 • 只要选 ,例如 ,能保证连通性.从Fig 3可见,在 时相对误差非常小 Fig 3.计算随机网络第2特征值的相对误差
小世界网络 (NW小世界网络模型) Fig 4. N=500,p=0.005的特征值谱的分布 表明:小世界网络的特征值谱分布跨度较小,比较均匀,谱密度较一致。
小世界网络 Fig 5. 随p的增加特征值的分布(N=1000) 表明:小世界网络接近随机网络,随p的增加,特征值分布的范围缩小
小世界网络 Fig 6. 随p的增加 及 的变化规律图(21次平均) 表明:随着p的增大,小世界网络的同步能力从统计角度看是增强的。
无标度网络 ( N=1000, m0=5, m=3) Fig 7.无标度网络特征值分布(N=1000, 3次平均) 无标度网络的特征值分布极不均匀, 谱密度不一致。 特征值谱 后面大的特征值表明hubs的存在
小世界与无标度网络特征值分布比较 Fig 8. 小世界网络与无标度网络特征值谱的对比图 ( N=500) 表明:小世界网络特征值分布跨度小,比较集中,谱密度较一致;而无标度网络特征值分布跨度大,大多数较小的特征值比较集中,同时有一些很大的特征值存在,谱密度很不均匀。
小世界网络与随机网络的比较 Fig 9.小世界网络与随机网络的特征值谱的对比图 ( N=500,p=0.005 的NW模型;p=0.005的ER随机模型) 随机网络特征值分布跨度比小世界网络更小,更集中, 谱密度更一致
小结 • 随机网络谱分布跨度最小, 小世界网络其次, 无标度网络谱分布跨度大, 而且大多数较小的特征值比较集中, 也存在一些很大的特征值. 造成上述差异的原因: 度分布的差异,而度分布与谱分布相关(第3节) • 随机网络和小世界网络随p的增加特征值分布范围迅速缩小,从统计角度看,当p增加时同步能力是提高的 • 少量的长程连接对2K规则网络的Laplace矩阵的结构改变很小,但是对矩阵的特征值谱影响很大,长程连接有利于同步能力提高
最近文献【13】研究了Laplace耦合矩阵特征值谱与度序列的关系,给出一个很有用的估计式:特征值谱关于度序列的相对误差为最近文献【13】研究了Laplace耦合矩阵特征值谱与度序列的关系,给出一个很有用的估计式:特征值谱关于度序列的相对误差为 其中 按非降排序。 意义:对于一般的网络,由于度的差异性, 是很小的。特别对于无标度网络,由于Hubs的存在, 是非常小的(尤其在N非常大时)
[13]ER网络 上面:N和p给定,2000次的相对误差 下面:特征值与度的相对误差 [13]BA网络 上面:N,mo和m给定,2000次的相对误差 下面:特征值与度的相对误差
[13]WS网络 上面:N,mo和p给定,2000次的相对误差 下面两幅:特征值与度的相对误差 [13]NW网络 上面:N,mo和p给定,2000次的相对误差 下面两幅:特征值与度的相对误差
特征值谱与度序列具有很强的相关性 下面定义相对谱和相对度
Fig 1.随机网络(N=1000,50次平均) (a)相对谱和相对度分布 (b)相对谱和相对度的相关性 表明:相对谱和相对度有很高的相关性
Fig 2.小世界网络(N=1000,50次平均,p=0.0218) (a)相对谱和相对度分布 (b)相对谱和相对度的相关性 表明:相对谱和相对度有比较高的相关性
Fig 3.无标度网络(N=1000,50次平均,m0=m=13) 相对谱和相对度分布 表明:相对谱和相对度的相关性达0.9992 注:无标度网络相关谱的分布与随机网络和小世界网络的区别,后者几乎线性
在相对谱和相对度的相关性基础上,建立特征值谱的局部预估-校正算法:在相对谱和相对度的相关性基础上,建立特征值谱的局部预估-校正算法: • 预估:已知 以及度序列,计算 • 校正:已知 ,计算 的近似值
Fig 4.局部预估-校正算法的精度(N=1000,50次平均) 相对误差0.3263% 不足:局部性,只能已知 计算
小结 • 随机网络、小世界网络和无标度网络特征值谱与度序列有很强的相关性,特别是无标度网络 • 提出特征值谱的局部预估-校正算法,由于实际网络很大,特征值计算非常困难,而网络的度序列是容易得到的,因此算法是有意义的
复杂网络可以在不同层次用不同尺度去刻画 目前小尺度层次和大尺度层次研究得比较清楚, 可是中尺度层次的属性,很多都还没有搞清楚, 存在着巨大的挑战 目前主要集中在给定拓扑结构和动力学后判断 网络能否达到同步,至于同步过程的很少研究。 事实上,从中尺度层次看不同的拓扑结构同步 过程是不一样的。 网络中尺度层次的研究有利于揭示同步过程
有关工作 [1] A Arenas, A Diaz-Guilera, C J. Perez-Vicente, Synchronization processes in complex networks,Physica D 224 (2006) 27–34 [2] J Gomez-Gardenes, Y Moreno, and A Arenas,Paths to Synchronization on Complex Networks,PRL 98,034101 (2007) [3] S G Guan, X G Wang, X F Gong,K Li and C.-H. Lai,The development of generalized synchronization on complex networks, Chaos 19,013130 (2009) [4] J Chen, J A Lu, X Q Wu, and W X Zheng, Generalized synchronization of complex dynamical networks via impulsive control, CHAOS 19, 043119 (2009) [5] H Liu , J Chen, J A Lu, M Cao,Generalized synchronization in complex dynamical networks via adaptive couplings ,Physica A ,2010,389 :1759-1770
振子模型 全局序参数r刻画同步程度 局部序参数刻画同步边所占比例 注:这两个序参数和后面的GC和 Nc的引入是网络中尺度层次研究的关键 ※J Gomez-Gardenes, Y Moreno, and A Arenas,Paths to Synchronization on Complex Networks,PRL 98,034101 (2007)