本文主要研究折叠超立方体(FQ
n)上随机游动的平均首达时间(MFPT)。当随机游动遍历图中所有顶点对时,可得到全局平均首达时间的一个显式表达,即,如果n是奇数,
;如果n是偶数,
。此外,还给出了折叠超立方体上随机游动的效率衡量:
,以及讨论了折叠超立方体的基尔霍夫指数的计算。
In this paper, we mainly study the mean first-passage time (MFPT)) of random walks on folded hypercubes (FQn). We obtain an explicit expression of the mean first-passage time over all node pairs, that is, if n is odd, ; if n is even, . Moreover, the scaling efficiency characterizing the random walks on is given: , and the Kirchhoff index of folded hypercubes is discussed.
随机游动,平均首达时间,基尔霍夫指数,折叠超立方体, Random Walks Mean First-Passage Time Kirchhoff Index Folded Hypercube折叠超立方体上的随机游动
任艳芳,杨卫华
太原理工大学数学学院,山西 太原
收稿日期:2019年10月1日;录用日期:2019年10月17日;发布日期:2019年10月24日
摘 要
本文主要研究折叠超立方体( F Q n )上随机游动的平均首达时间(MFPT)。当随机游动遍历图中所有顶点对时,可得到全局平均首达时间的一个显式表达,即,如果n是奇数, 〈 T 〉 n = ( n + 1 ) 2 n − 1 2 n − 1 [ 1 2 ( n + 1 2 ) + 1 4 ( n + 1 4 ) + ⋯ + 1 n + 1 ( n + 1 n + 1 ) ] ;如果n是偶数, 〈 T 〉 n = ( n + 1 ) 2 n − 1 2 n − 1 [ 1 2 ( n + 1 2 ) + 1 4 ( n + 1 4 ) + ⋯ + 1 n ( n + 1 n ) ] 。此外,还给出了折叠超立方体上随机游动的效率衡量: N 2 ≤ 〈 T 〉 n ≤ N 4 ( n + 1 ) ,以及讨论了折叠超立方体的基尔霍夫指数的计算。
This work is licensed under the Creative Commons Attribution International License (CC BY).
http://creativecommons.org/licenses/by/4.0/
1. 引言
图上的简单随机游动指的是质点在某个顶点i处,下一时刻到达它每一个邻点概率相等的游动过程。它实际上是一个马尔科夫过程: X 0 , X 1 , ⋯ , X n , ⋯ ,其中 X n 表示质点在时刻n所处的位置。简单随机游动最初是由Pearson [1] 提出的,后来进行了大量的研究并且得到广泛的应用 [2] [3]。其中许多应用都与统计量有关,包括首达时间(FPT) [4],平均首达时间(MFPT) [5],全局首达时间(GFPT) [6],全局平均首达时间(GMFPT) [7]。
对连通图 G = ( V , E ) ,令 T i j = min { n : n ≥ 0 , X n = j , X 0 = i } ,它表示一个质点从图上一顶点i出发,第一次到达顶点j所需要的时间为n或经过n步首次到达顶点j。则期望 T i j ¯ = E i T j = ∑ n = 1 ∞ n P { T i j = n | X 0 = i } 就是顶点i到顶点j的平均首达时间(MFPT)它表示从顶点i出发首次到达顶点 的期望时间。图上所有顶点
对的平均首达时间的平均值用 〈 T 〉 n = 1 n ( n − 1 ) ∑ i ∑ j ≠ i T i j ¯ 表示,称为全局平均首达时间(GMFPT)。
研究图上简单随机游动的一个重要方法是电网络方法。电网络方法为理解随机游动的某些参数提供了直观的基础,并通过随机游动过程中电阻距离与参数之间的关系,极大地简化了这些参数的计算和估计。本文就是利用电网络方法得到折叠超立方体上随机游动的全局平均首达时间的一个表达式。Doyle和Snell [8] 研究了随机游动和电网络之间的关系,他们指出一个无向图的每一条边都当成电阻值为1的单位电阻,则这个图就可以看作一个电网络。Klein和Randic [9] 提出了一个很有用的参数—电阻距离,记为 r i j (1安培的电流从顶点i流进,顶点j流出这个电网络,则i,j之间的电势差称为i,j之间的等效电阻或电阻距离)。基于电阻距离的一个著名的拓扑指数为基尔霍夫指数 [9],它被定义为图G上所有顶点对的电阻距离之和,记为 K f = ∑ i < j r i j 。
然而设计计算电阻距离与基尔霍夫指数的有效算法是有困难的。因此,对于某些特殊结构的图类,寻找它的基尔霍夫指数的显式表达是有意义的。折叠超立方体网络近年来引起了人们对广泛关注。由EI-Amawy和Latifi [10] 首次提出的折叠超立方体( F Q n )是超立方体( Q n )的一个重要变形。但是在很多性
质上折叠超立方体要优于超立方体,例如 F Q n 的直径为 [ n 2 ] ,约为 Q n 的一半。更多的性质可参见 [11] [12] [13] [14]。n维折叠超立方体是定义在集合 { 0 , 1 } n 上的含有 2 n 个顶点的图。它的一个顶点x可以由序列 x = ( x 1 , x 2 , ⋯ , x n ) 编码,其中每一个 x i 取值为0或1,两个顶点之间有边相连当且仅当它们在一个坐标或全部坐标的值不同时。显然折叠超立方体的顶点数为 N = 2 n ,边数为 E = ( n + 1 ) 2 n − 1 。
此外,我们还需要介绍一下图的拉普拉斯谱。矩阵 L ( G ) = D ( G ) − A ( G ) 称为图G的拉普拉斯矩阵,其中 D ( G ) 是图G的度矩阵, A ( G ) 是图G的邻接矩阵。 L ( G ) 的特征值则为图G的拉普拉斯特征值,所有的拉普拉斯特征值: λ 1 , λ 2 , ⋯ , λ N ,构成图G的拉普拉斯谱,记为 S p e c L ( G ) 。拉普拉斯矩阵在图论研究中占有重要地位,利用拉普拉斯谱可以估计图的连通性,直径等不变量。Zhu et al. [15] 和Gutman [16] 给出了拉普拉斯谱与基尔霍夫指数的关系。M.Chen和B.X.Chen [17] 研究了折叠超立方体的拉普拉斯谱。下面给出一些我们需要应用的结果。
引理1.1:(Zhu et al. [15] ) K f = N ∑ i = 2 N 1 λ i 。
引理1.2:(Chen et al. [17] ) S p e c L ( F Q n ) = { 0 , 1 , [ 2 t + 2 ] γ t , [ 2 n + 2 ] γ n | t = 1 , 2 , ⋯ , n } , γ t = ∑ j = 0 n ( n + 1 2 j ) , γ n = ∑ j = 1 n ( n 2 j − 1 ) 。
引理1.3:(Chandra [18] ) T i j + T j i = 2 E r i j 。
引理1.4:(二项式定理) ( x + y ) n = ∑ k = 0 n ( n k ) x k y n − k 。
1 2 ∑ j = 1 n ( n 2 j − 1 ) ( 0 n − 2 j + 1 ) 1 n + 1 = { 1 2 ( n + 1 ) , n 为 奇 数 0 , n 为 偶 数
综合上述讨论即得证。
定理2.2: N 2 ≤ 〈 T 〉 n ≤ N 4 ( n + 1 ) 。
证明:定理2.1中的结果可改写为 〈 T 〉 n = ( n + 1 ) 2 n − 1 2 n − 1 [ 1 2 ( n + 1 2 ) + 1 4 ( n + 1 4 ) + ⋯ + 1 2 n ( n + 1 2 n ) ] ,当n为奇数时,利用 ( n k ) = ( n − 1 k ) + ( n − 1 k − 1 ) 有
( n + 1 2 ) + ( n + 1 4 ) + ⋯ + ( n + 1 n + 1 ) = ( n 2 ) + ( n 1 ) + ( n 4 ) + ( n 3 ) + ⋯ + ( n n + 1 ) + ( n n ) = ( n 1 ) + ( n 2 ) + ⋯ + ( n n ) = 2 n − 1 .
当n为偶数时,利用引理1.4中的二项式定理,则有
( n + 1 2 ) + ( n + 1 4 ) + ⋯ + ( n + 1 n ) = ( n + 1 n − 1 ) + ( n + 1 n − 3 ) + ⋯ + ( n + 1 1 ) = 1 2 ( 2 n + 1 − 2 ) = 2 n − 1.
由此可知 ( n + 1 2 ) + ( n + 1 4 ) + ⋯ + ( n + 1 2 n ) = 2 n − 1 。
显然,
1 n + 1 [ ( n + 1 2 ) + ( n + 1 4 ) + ⋯ + ( n + 1 2 n ) ] ≤ 1 2 ( n + 1 2 ) + 1 4 ( n + 1 4 ) + ⋯ + 1 2 n ( n + 1 2 n ) ≤ 1 2 [ ( n + 1 2 ) + ( n + 1 4 ) + ⋯ + ( n + 1 2 n ) ] .
因此, 2 n − 1 ≤ 〈 T 〉 n ≤ 2 n − 2 ( n + 1 ) 。
3. 基尔霍夫指数
由定理2.1可以很容易得到折叠超立方体的基尔霍夫指数。
定理3.1:折叠超立方体的基尔霍夫指数为
K f ( F Q n ) = { 2 n − 1 [ 1 2 ( n + 1 2 ) + 1 4 ( n + 1 4 ) + ⋯ + 1 n − 1 ( n + 1 n − 1 ) + 1 n + 1 ( n + 1 n + 1 ) ] , n 为 奇 数 2 n − 1 [ 1 2 ( n + 1 2 ) + 1 4 ( n + 1 4 ) + ⋯ + 1 n − 1 ( n + 1 n − 1 ) + 1 n ( n + 1 n ) ] , n 为 偶 数
并且 lim n → ∞ K f ( F Q n ) = N 2 4 。
证明:与定理2.2中的讨论类似,
2 n − 1 n + 1 2 n − 1 ≤ K f ( F Q n ) ≤ 2 n − 1 2 2 n − 1 ( n → ∞ )
2 n − 1 2 ( n + 1 ) N ≤ K f ( F Q n ) ≤ 2 n − 1 4 N ( n → ∞ )
参考文献ReferencesPearson, K. (1905) The Problem of the Random Walk. Nature, 72, 294. https://doi.org/10.1038/072294b0Spitzer, F. (2001) Principles of Random Walk. Springer, Berlin.Woess, W. (1994) Random Walks on Infinite Graphs and Groups—A Survey on Selected Topics. Bulletin of the London Mathematical Society, 26, 1-60. https://doi.org/10.1112/blms/26.1.1Zhang, Z., Lin, Y., Zhou, S., Wu, B. and Guan, J. (2009) Mean First-Passage Time for Random Walks on the T-Graph. New Journal of Physics, 11, Article ID: 103043. https://doi.org/10.1088/1367-2630/11/10/103043Wu, S., Zhang, Z. and Chen, G. (2011) Random Walks on Dual Sierpinski Gaskets. The European Physical Journal, 82, 91-96. https://doi.org/10.1140/epjb/e2011-20338-0Haynes, C.P. and Roberts, A.P. (2008) Global First-Passage Times of Fractal Lattices. Physical Review E, 78, Article ID: 041111. https://doi.org/10.1103/PhysRevE.78.041111Zhang, Z., Wu, B., Zhang, H., Zhou, S., Guan, J. and Wang, Z. (2010) Determining Global Mean First-Passage Time of Random Walks on Vicsek Fractals Using Eigenvalues of Laplacian Matrices. Physical Review E, 81, Article ID: 031118. https://doi.org/10.1103/PhysRevE.81.031118Doyle, P.G. and Snell, J.L. (2006) Random Walks and Electric Networks. The Mathematical Association of America, Oberlin.Klein, D.J. and Randic, M. (1993) Resistance Distance. Journal of Mathematical Chemistry, 12, 81-95.
https://doi.org/10.1007/BF01164627El-amawy, A. and Latifi, S. (1991) Propertes and Performance of Folded Hypercubes. IEEE Transactions on Parallel and Distributed Systems, 2, 31-42. https://doi.org/10.1109/71.80187Mirafzal, S.M. (2016) Some Other Algebraic Properties of Folded Hypercubes. Ars Combinatoria, 124, 153-156.Xu, J.M. (2001) Topological Structure and Analysis of Interconnection Networks. Kluwer Academic Publishers, Dordrecht, Boston, London.Xu, J.M. and Ma, M.J. (2006) Cyeles-In Folded Hypercubes. Applied Mathematics Letters, 19, 140-145.
https://doi.org/10.1016/j.aml.2005.04.002Xu, J.M. and Ma, M.J. (2010) Algebraic Properties and Panconnectivity of Folded Hypercubes. Ars Combinatoria, 95, 179-186.Zhu, H., Klein, D.J. and Lukovits, I. (1996) Extensions of the Wiener Number. Journal of Chemical Information and Computer Sciences, 36, 420-428. https://doi.org/10.1021/ci950116sGutman, I. and Mohar, B. (1996) The Quasi-Wiener and the Kirchhoff Indices Coincide. Journal of Chemical Information and Computer Sciences, 36, 982-985. https://doi.org/10.1021/ci960007tChen, M. and Chen, B.X. (2011) Spectra of Folded Hypercubes. Journal of East China Normal University, 61, 39-46.Chandra, A.K., Raghavan, P., Ruzzo, W.L. and Smolensky, R. (1989) The Electrical Resistance of a Graph Captures Its Commute and Cover Times. Proceedings of the 21st Annual ACM Symposium on Theory of Computing, Seattle, 14-17 May 1989, 574-585. https://doi.org/10.1145/73007.73062Montroll, E.W. (1969) Random Walks on Lattices. III. Calculation of First-Passage Times with Application to Exciton Trapping on Photosynthetic Units. Journal of Mathematical Physics, 10, 753-765. https://doi.org/10.1063/1.1664902Agliarl, E. (2008) Exact Mean First-Passage Time on the T-Graph. Physical Review E, 77, Article ID: 011128.
https://doi.org/10.1103/PhysRevE.77.011128Estrada, E. and Hatano, N. (2010) Topological Atomic Displacements, Kirchhoff and Wiener Indices of Molecules. Chemical Physics Letters, 486, 166-170. https://doi.org/10.1016/j.cplett.2009.12.090Maden, A.D., Cevik, A.S., Cangul, I.N. and Das, K.C. (2013) On the Kirchhoff Matrix, a New Kirchhoff Index and the Kirchhoff Energy. Journal of Inequalities and Applications, 2013, 337. https://doi.org/10.1186/1029-242X-2013-337Zhang, H., Jiang, X. and Yang, Y. (2009) Bicyclic Graphs with Extremal Kirchhoff Index. Communications in Mathematical and in Computer Chemistry, 61, 697-712.Liu, J., Pan, X., Wang, Y., et al. (2014) The Kirchhoff Index of Folded Hypercubes and Some Variet Networks. Mathematical Problems in Engineering, 3, 1-9. https://doi.org/10.1155/2014/380874Zhang, J.Y., Xiang, Y.H. and Sun, W.G. (2018) A Discrete Random Walk on the Hypercube. Physical A: Statistical Mechanics and İts Applications, 494, 1-7. https://doi.org/10.1016/j.physa.2017.12.005