[论文解读] Hyperwalk Formulae for Even and Odd Laplacians in Finite CW-Hypergraphs

Iván Contreras, Sarah Loeb+1 more|arXiv (Cornell University)|Aug 26, 2017

Tensor decomposition and applications参考文献 5被引用 3

一句话总结

本文提出了有限CW-超图中偶数和奇数拉普拉斯算子的超行走公式，通过有向关联矩阵将离散量子力学概念扩展至超图。研究证明，偶数拉普拉斯算子的幂次计数顶点之间的带符号超行走，而奇数拉普拉斯算子的幂次则计数单元之间的带符号边-超行走，其组合解释基于CW复形结构与定向性。

ABSTRACT

In this note we provide a combinatorial interpretation for the powers of the hypergraph Laplacians. Our motivation comes from the discrete formulation of quantum mechanics and thermodynamics in the case of finite graphs, which suggest a natural extension to simplicial and CW-complexes. With this motivation, we also define generalizations of the odd Laplacian which is specific to hypergraphs arising from CW-complexes. We then provide a combinatorial interpretation for the powers of these Laplacians.

研究动机与目标

• 将先前仅应用于图的离散量子力学公式化方法推广至有限CW复形及其相关超图。
• 定义一种基于CW复形细胞结构的有向性的超图拉普拉斯算子框架。
• 以超图上的带符号超行走为依据，提供偶数与奇数拉普拉斯算子幂次的组合解释。
• 将图上的广义行走概念扩展至超图，特别是在CW-超图上的超对称量子力学背景下。

提出的方法

• 将偶数拉普拉斯算子定义为 $\Delta^+ = II^T$，奇数拉普拉斯算子定义为 $\Delta^- = I^T I$，其中 $I$ 为超图的关联矩阵。
• 将超行走定义为顶点与边交替出现的序列，将边-超行走定义为边与顶点交替出现的序列。
• 利用CW复形中单元的定向性，通过带符号关联矩阵为超行走分配符号。
• 通过指数 $k$ 的归纳法，证明 $(\Delta^+)^k(i,j)$ 计数从顶点 $v_i$ 到 $v_j$ 的长度为 $k$ 的带符号超行走数量。
• 利用带符号行走的分配律性质，证明 $(\Delta_d^-)^k(i,j)$ 计算从 $e_i^{d+1}$ 到 $e_j^{d+1}$ 的长度为 $k$ 的 $(d+1,d)$-超行走的符号总和。
• 将该框架应用于CW-超图，其中单元的定向性诱导出行走的一致符号分配，从而在量子力学设定中实现类似划分函数的解释。

实验结果

研究问题

• RQ1 如何从组合角度解释超图中偶数拉普拉斯算子幂次的行走意义？
• RQ2 在由CW复形导出的超图上，定向在定义带符号行走中起什么作用？
• RQ3 奇数拉普拉斯算子的幂次如何与CW-超图中边-超行走的带符号计数相关联？
• RQ4 能否通过超图拉普拉斯算子将图上超对称量子力学的离散划分函数形式化方法扩展至CW复形？
• RQ5 在高维超图中，超行走符号总和的组合意义是什么？

主要发现

• 偶数拉普拉斯算子 $\Delta^+$ 的 $k$ 次幂计数了从顶点 $v_i$ 到 $v_j$ 的长度为 $k$ 的超行走数量。
• 在图1(b)的CW-超图中，根据定理3.6计算，从 $e_1^1$ 到 $e_6^1$ 的长度为4的 $(1,2)$-超行走的符号总和为零。
• 根据定理3.7确认，从 $e_1^2$ 到 $e_3^2$ 的长度为2的 $(2,1)$-超行走的符号总和为 $+1$。
• 在图1(a)的超图中，根据定理2.3，从 $v_1$ 到 $v_3$ 的长度为4的超行走共有5,886条。
• 根据定理2.4计算，在同一超图中，从 $e_7$ 到 $e_9$ 的长度为3的边-超行走共有384条。
• 在CW-超图中，$e_6^1$ 在 $e_1^2$ 中的符号为负，展示了奇数拉普拉斯算子框架中依赖定向的符号分配。