[论文解读] The graph spectrum of barycentric refinements

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

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

一句话总结

本文研究了有限简单图的重心细分的谱演化，证明了连续细分下拉普拉斯算子的特征值分布函数在 $ m \to \infty $ 时以一致且指数快速的方式收敛到一个仅依赖于原图团数（或维度）的通用极限分布。在无三角形情形（$ d=1 $）下，极限分布为弧-sin分布 $ 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 $ 上拉普拉斯算子的有序特征值。
• 证明 $ F_{G_m}(x) $ 在 $ (0,1) $ 上关于 $ m \to \infty $ 一致且指数收敛，且收敛极限 $ F_d(x) $ 为仅依赖于 $ G $ 中最大团的维度 $ d $ 的通用函数。
• 分析 $ d=1 $ 情形（无三角形图），并证明极限函数为 $ F(x) = 4\sin^2(\pi x/2) $，其满足与二次映射 $ T(z) = 4z - z^2 $ 相关的函数方程。
• 建立 $ d=1 $ 情形下的极限分布对应于映射 $ T(z) $ 在区间 $[0,4]$ 上的若尔当集的平衡测度（即弧-sin律）。
• 利用舒尔不等式与曲率关系，将极限特征值分布与顶点度分布及曲率分布进行比较，尤其在 $ d=2 $ 情形下。

实验结果

研究问题

• RQ1 随着细分深度增加，重心细分的谱函数是否收敛？
• RQ2 若是，极限分布是否为通用分布，仅依赖于原图的团数或维度？
• RQ3 在无三角形图情形（$ d=1 $）下，极限谱分布的显式形式为何？
• RQ4 是否存在动力系统或重整化结构（如函数方程），将极限分布与已知映射（如二次映射 $ T(z) = 4z - z^2 $）联系起来？
• RQ5 在高维情形下，极限谱分布如何与顶点度或曲率分布等几何不变量相关联？

主要发现

• 连续重心细分的谱函数 $ F_{G_m}(x) $ 在 $ (0,1) $ 上一致且指数快速收敛到一个通用极限 $ F_d(x) $，且该极限与初始图 $ G $ 无关。
• 当 $ d=1 $ 时，极限谱函数为 $ F(x) = 4\sin^2(\pi x/2) $，即弧-sin分布，也是映射 $ 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 $ 的谱一致。