|
这里的主要工具是谱图论中的一个引理,这个引理应该是已知的,但我们之前没有发现它。首先,定义:对于两个n×n加权邻接矩阵W,~W,设ν=ν(W,~W)=maxi,jWijWij·maxi,jWijWij,当分子和分母为0时,比率取1。(因此)≥ 1,仅当v=1时,~W是同一矩阵的比例副本。)引理4(拉普拉斯稳定性)。λ↑2(长(~W))≤ ν(W,~W)·λ↑2(L(W))。这个界限是最有可能的。(在这个引理中,W可以是任何加权邻接矩阵,不一定是我们的市场图,尽管这就是我们应用引理的方式。)拉普拉斯的无形之手。我们可以假设W是连通的,否则将引理分别应用于每个连通分量。请注意,总有一个c>0 s.t.Wij≤ ν1/2c~Wij≤ 对于所有i,j(这是对ν的替代定义)。回想一下,在参数的重缩放下,L是不变的,我们可以假设,W已经被缩放,所以Wij≤ ν1/2~Wij≤ 对于所有的i,j,设w=σ(w)和w=σ(~w)。设L=L(W)和<<L=L(<<W)。众所周知,ker L=span | wi。同样地,kerL=span | wi。根据谱定理λ↑2(L)=infx:hx | | wi=0hx | L | xihx | | xind应用转换| bi=w-1 | xi我们有(3.7)λ↑2(L)=infb:hb | | wi=0hb | wLw | bihb | w | biNote thathb | wLw | bihb | w | bi=Pi<jWij(bi- bj)Piwibi=:RW(b)RW(b)被称为W中b的罗利商。设b是一个达到等式(3.7)的向量,也就是说,L的第二个本征向量。因此hb | | wi=0和λ↑2(L)=hb | wLw | bihb | w | bi。我们使用b为第二个特征向量|L:|^bi=|bi生成一个代理^b- |1ih | w | bih | w | 1这满足了所需的H | w | bi=0。所以λ↑2(L)≤ R~W(^b)=Pi<j~Wij(^bi-^bj)Pi^wi^bi=Pi<jKWij(bi)- bj)πwi^biw的上界,我们有。≤ ν1/2Pi<jWij(bi)- bj)皮维比比8尤瓦尔·拉巴尼和伦纳德·J。
|