[論文レビュー] The graph spectrum of barycentric refinements

Oliver Knill|arXiv (Cornell University)|Aug 9, 2015

Mathematical Dynamics and Fractals参考文献 40被引用数 6

ひとこと要約

本稿は、有限単純グラフの重心的リファインメントのスペクトル的進化を研究し、連続するリファインメントの固有値分布関数が、元のグラフのクライーク数（または次元）にのみ依存する普遍的な極限分布に、一様的かつ指数的速さで収束することを証明している。三角形を含まない場合（d=1）には、極限は弧線正弦分布 $ F(x) = 4\sin^2(\pi x/2) $ であり、二次写像 $ T(z) = 4z - z^2 $ のジュリア集合に関連し、再正規化と曲率分布への影響を示唆する。

ABSTRACT

Given a finite simple graph G, let G' be its barycentric refinement: it is the graph in which the vertices are the complete subgraphs of G and in which two such subgraphs are connected, if one is contained into the other. If L(0)=0= dim(G). Let G(m) be the sequence of barycentric refinements of G=G(0). We prove that for any finite simple graph G, the spectral functions F(G(m)) of successive refinements converge for m to infinity uniformly on compact subsets of (0,1) and exponentially fast to a universal limiting eigenvalue distribution function F which only depends on the clique number respectively the dimension d of the largest complete subgraph of G and not on the starting graph G. In the case d=1, where we deal with graphs without triangles, the limiting distribution is the smooth function F(x) = 4 sin^2(pi x/2). This is related to the Julia set of the quadratic map T(z) = 4z-z^2 which has the one dimensional Julia set [0,4] and F satisfies T(F(k/n))=F(2k/n) as the Laplacians satisfy such a renormalization recursion. The spectral density in the d=1 case is then the arc-sin distribution which is the equilibrium measure on the Julia set. In higher dimensions, where the limiting function F still remains unidentified, F' appears to have a discrete or singular component.

研究の動機と目的

• リファインメントの深さが増すに従って、有限単純グラフの重心的リファインメントのスペクトル的挙動を理解すること。
• ラプラシアンの固有値分布が収束するかどうかを特定し、もしそうならば、その極限関数が何かを同定すること。
• 元のグラフのクライーク数または次元に、極限スペクトル分布がどのように依存するかを調査すること。
• 極限スペクトル分布、グラフの曲率、およびジュリア集合などの力学系（例：二次写像）との関係を探索すること。
• d=1の場合に類似する再正規化構造が、高次元でも存在するかどうかを検討すること。

提案手法

• グラフ $ G $ の重心的リファインメント $ G_1 $ を定義する。ここで頂点は完全部分グラフ（クライーク）であり、一方のクライークが他方の部分集合である場合に辺が存在する。
• スペクトル関数 $ F_{G_m}(x) = \lambda_{[n x]} $ を構成する。ここで $ \lambda_i $ は $ m $ 階リファインメント $ G_m $ のラプラシアンの固有値を小さい順に並べたものである。
• 初期グラフ $ G $ に依存せず、$ m \to \infty $ のとき、$ F_{G_m}(x) $ が $ (0,1) $ 上で一様的かつ指数的速さで、最大クライークの次元 $ d $ のみに依存する普遍的極限 $ F_d(x) $ に収束することを証明する。
• d=1の場合（三角形を含まないグラフ）を分析し、極限関数が $ F(x) = 4\sin^2(\pi x/2) $ であることを示し、これは二次写像 $ T(z) = 4z - z^2 $ に関連する関数方程式を満たす。
• d=1における極限分布が、写像 $ T(z) $ のジュリア集合 $[0,4]$ 上の均衡測度（弧線正弦法則）に一致することを確立する。
• シュールの不等式と曲率関係を用いて、極限固有値分布と頂点次数および曲率分布を比較し、特に d=2 の場合に注目する。

実験結果

リサーチクエスチョン

• RQ1 リファインメントの深さが増すに従って、重心的リファインメントのスペクトル関数は収束するか？
• RQ2 もしそうならば、極限分布は普遍的であり、元のグラフのクライーク数または次元にのみ依存するか？
• RQ3 三角形を含まないグラフ（d=1）の場合、極限スペクトル分布の明示的形は何か？
• RQ4 極限分布が既知の写像（例：二次写像 $ T(z) = 4z - z^2 $）と関連する力学的または再正規化構造（例：関数方程式）を有するか？
• RQ5 極限スペクトル分布は、高次元における頂点次数や曲率分布などの幾何的不変量とどのように関係するか？

主な発見

• 連続する重心的リファインメントのスペクトル関数 $ F_{G_m}(x) $ は、$ m \to \infty $ のとき、$ (0,1) $ 上で一様的かつ指数的速さで、初期グラフ $ G $ に依存しない普遍的極限 $ F_d(x) $ に収束する。
• d=1 の場合、極限スペクトル関数は $ F(x) = 4\sin^2(\pi x/2) $ であり、これは弧線正弦分布であり、写像 $ T(z) = 4z - z^2 $ のジュリア集合 $[0,4]$ 上の均衡測度である。
• 極限関数 $ F_d(x) $ は関数方程式 $ T(F_d(k/n)) = F_d(2k/n) $ を満たし、d=1の場合の再正規化構造を反映している。
• 高次元（$ d \geq 2 $）では、導関数 $ F_d' $ が離散的または特異的成分を有するとみられるが、類似する再正規化は知られていない。
• 極限スペクトル分布は頂点次数分布および曲率分布と関係しており、すべての $ x \in (0,1) $ に対して $ H(x) > F(x) $ が成り立つ。ここで $ H $ は統合次数関数である。
• k-形式上のホッジラプラシアンのスペクトル極限も、k と次元 d のみに依存する。超対称性により、四面体の場合、$ L_0 $ と $ L_2 $ のスペクトルは $ L_1 $ と $ L_3 $ のそれらと一致する。