[论文解读] Universality for Barycentric subdivision

Oliver Knill|arXiv (Cornell University)|Sep 21, 2015

Graph theory and applications参考文献 35被引用 16

一句话总结

本文证明了任意有限简单图的Barycentric细分序列上Kirchhoff拉普拉斯算子的谱分布会以指数速度收敛到一个仅依赖于初始图团数的通用极限。该收敛由作用于团向量的线性算子驱动，其特征向量对应于积分几何不变量，如欧拉示性数和离散曲率不变量。

ABSTRACT

The spectrum of the Laplacian of successive Barycentric subdivisions of a graph converges exponentially fast to a limit which only depends on the clique number of the initial graph and not on the graph itself. The proof uses an explicit linear operator mapping the clique vector of a graph to the clique vector of the Barycentric refinement. The eigenvectors of its transpose produce integral geometric invariants for which Euler characteristic is one example.

研究动机与目标

• 建立有限图Barycentric细分中谱极限的普遍性。
• 识别将图的团向量映射到其Barycentric精化团向量的线性算子。
• 通过该算子的转置的特征向量表征积分几何不变量——如欧拉示性数和曲率——。
• 证明谱函数在L¹范数下收敛，且收敛速度受图距离有界。
• 研究d-图中在边精化和同伦变换下保持不变的不变量。

提出的方法

• 将Barycentric精化 $ G_1 $ 定义为顶点为 $ G $ 的非空团的图，当一个团是另一个团的子图时在它们之间连边。
• 引入谱函数 $ F_G(x) = \text{位置 } \text{floor}(nx) \text{处的特征值} $，并证明当 $ d(G,H)/n \to 0 $ 时有 $ ||F_G - F_H||_1 \to 0 $，其中 $ d $ 为图距离。
• 构造线性Barycentric算子 $ A $，其为上三角矩阵且对角线元素 $ A_{kk} = k! $，将图 $ G $ 的团向量 $ \boldsymbol{v} $ 映射到 $ G_1 $ 的团向量。
• 利用 $ A $ 的转置生成对应于几何不变量的特征向量：$ [1,-1,1,\text{...}] $ 对应欧拉示性数，$ [0,0,\ldots,1] $ 对应体积，其他向量对应曲率。
• 分析 $ K_{d+1} $ 的Barycentric细分 $ G_m $ 的边界 $ \beta G_m $，证明当 $ m \to \rho $ 时其为 $ (d-1) $-球面，且 $ G_m $ 为 $ d $-球体。
• 使用冯·诺依曼迹和密度态函数描述谱极限，并通过在 $ d $-图和带边界的 $ d $-图上的数值实验验证不变量。

实验结果

研究问题

• RQ1 Barycentric细分上Kirchhoff拉普拉斯算子的谱是否普遍收敛，且与初始图无关？
• RQ2 何种线性算子控制Barycentric精化下团向量的演化？
• RQ3 该算子的转置的哪些特征向量对应于欧拉示性数或曲率等几何不变量？
• RQ4 在 $ d $-图中，某些谱不变量是否在边精化和同伦变换下保持不变？
• RQ5 任意两个同胚的 $ d $-图是否可通过重复Barycentric或边精化变为等价？

主要发现

• 在Barycentric细分的连续序列上，Kirchhoff拉普拉斯算子的谱函数 $ F_G $ 以指数速度在 $ L^1([0,1]) $ 中收敛到一个仅依赖于初始图团数 $ d+1 $ 的通用极限。
• Barycentric精化在团向量空间上诱导出一个线性算子 $ A $，其为上三角矩阵且对角线元素为 $ k! $，将 $ \boldsymbol{v}(G) $ 映射到 $ \boldsymbol{v}(G_1) $。
• 算子 $ A^T $ 的特征向量给出积分几何不变量：$ [1,-1,1,\text{...}] $ 对应欧拉示性数，$ [0,0,\text{...},1] $ 对应体积，$ [0,22,-33,40,\text{...}] $ 对应曲率不变量。
• 对于 $ d $-图，不变量 $ X_{2k}(G) = \boldsymbol{v}(G) \boldsymbol{\bullet} \boldsymbol{v}_{2k} $ 恒为零，且在保持 $ d $-图结构的边精化下仍保持为零。
• 作为 $ K_{d+1} $ 的第 $ m $ 次Barycentric细分 $ G_m $ 的边界 $ \beta G_m $，当 $ m \to 1 $ 时为 $ (d-1) $-球面，且 $ G_m $ 为 $ d $-球体。
• 数值证据表明，如 $ [0,-22,33,-40,45] $ 这类不变量在精化下保持不变，且在 $ d $-图上为零，暗示更深层的拓扑不变性。