[论文解读] Hodge Decompositions for Weighted Hypergraphs

Shiquan Ren, Chengyuan Wu+1 more|arXiv (Cornell University)|May 29, 2018

Topological and Geometric Data Analysis参考文献 23被引用 6

一句话总结

本文通过引入加权嵌入同调与加权下确界/上确界链复形，将加权单纯复形上的加权拉普拉斯算子和霍奇分解理论推广至加权超图。核心贡献是为加权超图建立了一个霍奇分解定理，通过加权拉普拉斯算子在余链空间上实现规范的正交分解，适用于谱性质分析及非零特征值的研究。

ABSTRACT

Weighted hypergraphs are generalizations of weighted simplicial complexes. In recent years, weighted Laplacians of weighted simplicial complexes have been studied. In 2016, as a generalization of the homology of simplicial complexes, the embedded homology of hypergraphs was constructed. In this paper, we generalize the weighted Laplacians of weighted simplicial complexes to weighted hypergraphs. We study the relations between the weighted Laplacians and the weighted embedded homology of weighted hypergraphs. We generalize the Hodge decompositions of weighted simplicial complexes to weighted hypergraphs. Moreover, as a complement for the Hodge decompositions, we give some results for the nonzero eigenvalues of the weighted Laplacians of weighted hypergraphs.

研究动机与目标

• 将加权单纯复形上的加权拉普拉斯算子与霍奇分解理论推广至加权超图。
• 为超图定义一种加权嵌入同调理论，以推广未加权超图的嵌入同调。
• 引入加权下确界链复形与加权上确界链复形，作为关联超图结构与其上同调不变量的工具。
• 建立类似于单纯复形中经典霍奇定理的加权超图霍奇分解定理。
• 分析加权拉普拉斯算子的谱性质，特别是其非零特征值的结构。

提出的方法

• 将加权超图定义为在其关联单纯复形 ΔH 上配备权重函数的超图。
• 通过由权重函数诱导的扭曲边界映射与内积，在 ΔH 的余链复形上构造加权拉普拉斯算子 $ L_n^{ riangle\text{H},\rho} $。
• 通过加权链复形结构，将超图的嵌入同调推广为加权嵌入同调 $ H_n(\text{H}, \rho; \mathbb{F}) $。
• 引入加权下确界链复形 $ \text{Inf}^\rho_*(\text{H}) $ 与加权上确界链复形 $ \text{Sup}^\rho_*(\text{H}) $，以在权重作用下建模超图的拓扑结构。
• 证明一个霍奇分解定理，表明余链空间可正交分解为余边界算子的像、余边界算子的核，以及余拉普拉斯算子的像。
• 分析加权拉普拉斯算子的非零特征值，提供结构结果，作为霍奇分解的补充。

实验结果

研究问题

• RQ1 如何将单纯复形上加权拉普拉斯算子的理论推广至超图？
• RQ2 在超图的加权设定下，嵌入同调的适当推广是什么？
• RQ3 能否为加权超图建立一个类似于单纯复形中经典情况的霍奇分解定理？
• RQ4 加权超图上加权拉普拉斯算子的非零特征值具有何种结构？
• RQ5 加权下确界与上确界链复形如何与加权超图的上同调结构相关联？

主要发现

• 在关联单纯复形 ΔH 上，加权拉普拉斯算子 $ L_n^{ riangle\text{H},\rho} $ 的核与加权同调 $ H_n(\triangle\text{H}, \rho; \mathbb{F}) $ 线性同构，推广了单纯复形上的已知结果。
• 为加权超图建立了霍奇分解，将余链空间正交分解为三个分量：余边界算子的像、调和余链与余拉普拉斯算子的像。
• 定义了加权嵌入同调 $ H_n(\text{H}, \rho; \mathbb{F}) $，并证明其同构于加权拉普拉斯算子 $ L_n^{ riangle\text{H},\rho} $ 的核，扩展了未加权情形。
• 构建了加权下确界链复形 $ \text{Inf}^\rho_*(\text{H}) $ 与加权上确界链复形 $ \text{Sup}^\rho_*(\text{H}) $，以建模超图的拓扑与加权结构。
• 本文提供了加权拉普拉斯算子非零特征值的结构结果，作为霍奇分解的补充，刻画了调和空间之外的谱行为。
• 通过利用面关系与维度差作为权重，从超图构造加权有向图，为超图与谱理论之间建立了新的代数拓扑桥梁。