[论文解读] The McKean-Singer Formula in Graph Theory

Oliver Knill|arXiv (Cornell University)|Jan 8, 2013

Graph theory and applications参考文献 27被引用 33

一句话总结

本文在图论中建立了麦凯恩-辛格公式，证明了任意复时间 t 下，有限简单图 G 的欧拉示性数 χ(G) 等于其拉普拉斯算子 L 的热核 e^{-tL} 的反对称迹（supertrace）。该结果在 t=0 时推广了欧拉-庞加莱公式，在 t→∞ 时推广了霍奇定理，并进一步扩展至酉演化（如 cos(tD)），揭示了离散几何中深刻的谱学与拓扑学联系。

ABSTRACT

For any finite simple graph G=(V,E), the discrete Dirac operator D=d+d* and the Laplace-Beltrami operator L=d d* + d* d on the exterior algebra bundle Omega are finite v times v matrices, where dim(Omega) = v is the sum of the cardinalities v(k) of the set G(k) of complete subgraphs K(k) of G. We prove the McKean-Singer formula chi(G) = str(exp(-t L)) which holds for any complex time t, where chi(G) = str(1)= sum (-1)k v(k) is the Euler characteristic of G. The super trace of the heat kernel interpolates so the Euler-Poincare formula for t=0 with the Hodge theorem in the real limit t going to infinity. More generally, for any continuous complex valued function f satisfying f(0)=0, one has the formula chi(G) = str(exp(f(D))). This includes for example the Schroedinger evolutions chi(G) = str(cos(t D)) on the graph. After stating some general facts about the spectrum of D which includes statements about the complexity, the product of the non-zero eigenvalues as well as a perturbation result estimating the spectral difference of two graphs, we mention as a combinatorial consequence that the spectrum of D encodes the number of closed paths in the simplex space of a graph. McKean-Singer implies that the number of closed paths of length n starting at an even dimensional simplex is the same than the number of closed paths of length n starting at an odd dimensional simplex. We give a couple of worked out examples and see that McKean-Singer allows to find explicit pairs of non-isometric graphs which have isospectral Dirac operators.

研究动机与目标

• 将黎曼几何中的麦凯恩-辛格超对称公式推广至有限简单图。
• 证明图的欧拉示性数可通过其拉普拉斯算子的热核的反对称迹来编码。
• 证明该公式对任意复时间 t 成立，并可推广至如 cos(tD) 等酉演化。
• 建立狄拉克算子的谱与单纯形空间中闭路径等组合数据之间的联系。
• 利用图上的狄拉克算子与拉普拉斯算子，提供霍奇理论与上同调的离散类比。

提出的方法

• 在有限简单图 G 上的外代数丛 Ω 上定义离散狄拉克算子 D = d + d*。
• 构造拉普拉斯-贝尔特拉米算子 L = D² = dd* + d*d，作用于 p-形式，其中 L 为对称且有限维的。
• 利用谱分解与反对称迹性质，证明麦凯恩-辛格公式：对所有复数 t，有 χ(G) = str(e^{-tL})。
• 利用霍奇分解 Ω = im(d) ⊕ im(d*) ⊕ ker(L)，证明在 t=0 时反对称迹退化为欧拉示性数。
• 将公式推广至任意满足 f(0)=0 的连续复函数 f(D)，得到 χ(G) = str(e^{f(D)})。
• 将公式应用于酉演化（如 cos(tD)）及薛定谔型演化，证明其保持欧拉示性数不变。

实验结果

研究问题

• RQ1 已知于微分几何中的麦凯恩-辛格公式，能否推广至有限简单图？
• RQ2 在离散设定中，热核 e^{-tL} 的反对称迹与欧拉示性数 χ(G) 有何关系？
• RQ3 狄拉克算子 D 在编码图的拓扑与几何不变量中起何作用？
• RQ4 该公式能否超越热核，推广至 D 的其他函数（如 cos(tD)）？
• RQ5 狄拉克算子 D 的谱如何与图的单纯形空间中的闭路径等组合结构相关？

主要发现

• 麦凯恩-辛格公式 χ(G) = str(e^{-tL}) 对所有复数 t 成立，统一了 t=0 时的欧拉-庞加莱公式与 t→∞ 时的霍奇定理。
• 热核反对称迹在欧拉示性数与调和形式维数之间插值，证实了离散情形下的霍奇-外尔定理。
• 对任意满足 f(0)=0 的连续复函数 f，恒等式 χ(G) = str(e^{f(D)}) 成立，将公式推广至酉演化。
• 该公式适用于薛定谔型演化 T(f(t), f(t-1)) = (Df(t) - f(t-1), f(t))，表明此类动力系统保持拓扑不变性。
• 狄拉克算子 D 的谱编码了图的单纯形空间中闭路径的数量，构成一种新型组合不变量。
• 具体例子表明，非等距图可具有等谱狄拉克算子，证明了该公式在等谱图构造中的实用性。