[论文解读] On the spectrum of directed uniform and non-uniform hypergraphs

Anirban Banerjee, Arnab Char|arXiv (Cornell University)|Oct 17, 2017

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

一句话总结

本文提出一种基于张量的框架，用于表示一般有向均匀与非均匀超图，将谱理论扩展至这些结构。该研究建立了邻接、拉普拉斯及无符号拉普拉斯超矩阵的关键谱性质，并引入弱*不可约超矩阵的概念，以刻画有向超图中的强连通性。

ABSTRACT

Here, we suggest a method to represent general directed uniform and non-uniform hypergraphs by different connectivity tensors. We show many results on spectral properties of undirected hypergraphs also hold for general directed uniform hypergraphs. Our representation of a connectivity tensor will be very useful for the further development in spectral theory of directed hypergraphs. At the end, we have also introduced the concept of weak* irreducible hypermatrix to better explain connectivity of a directed hypergraph.

研究动机与目标

• 使用连通性张量建立一般有向均匀与非均匀超图的数学表示框架。
• 将无向超图的谱性质扩展至有向超图，包括邻接、拉普拉斯及无符号拉普拉斯超矩阵的谱性质。
• 引入弱*不可约超矩阵的概念，以更准确刻画有向超图中的强连通性。
• 建立有向超图的谱界与特征值性质，包括类似Perron-Frobenius的结果。
• 将现有从均匀超图到非均匀超图、从无向到有向设置的谱结果进行推广。

提出的方法

• 使用m阶超矩阵（张量）表示有向超图，其中边结构通过连通性张量编码。
• 基于顶点的入度与出度及边成员关系，定义邻接、拉普拉斯及无符号拉普拉斯超矩阵。
• 利用张量运算如 $Ax^{m-1} = \lambda x^{[m-1]}$ 定义超矩阵的特征值与特征向量。
• 通过基于超矩阵元素构造的有向图 $G^*$，引入弱*不可约性条件，以捕捉强连通性。
• 将已知的谱定理（如Perron-Frobenius定理）应用于弱*不可约超矩阵，推导特征值界。
• 使用向量 $x = \mathbb{1}$ 和 $x = (1, -1, \dots, -1)$ 证明特征值的存在性与零特征值条件。

实验结果

研究问题

• RQ1 如何系统地使用超矩阵表示一般有向均匀与非均匀超图？
• RQ2 无向超图的哪些谱性质可推广至有向超图？
• RQ3 在有向超图中，什么条件能确保无符号拉普拉斯超矩阵的零特征值存在？
• RQ4 如何通过超矩阵结构的代数方法刻画有向超图中的强连通性？
• RQ5 有向超图中拉普拉斯超矩阵的谱界是什么？它们与顶点度数有何关系？

主要发现

• 有向超图的邻接、拉普拉斯及无符号拉普拉斯超矩阵定义良好，并继承其无向对应物的谱性质。
• 对于有向超图，$ (d^+(i), \mathbf{1}_i) $ 是无符号拉普拉斯超矩阵 $ \mathbb{L}_H^+ $ 的一个特征对，其中 $ d^+(i) $ 为顶点 $ i $ 的出度。
• 无符号拉普拉斯超矩阵的谱半径 $ \rho(\mathbb{L}_H^+) $ 满足 $ 2\delta^+ \leq \rho(\mathbb{L}_H^+) \leq 2\Delta^+ $，其中 $ \delta^+ $ 与 $ \Delta^+ $ 分别为最小与最大出度。
• 若有向m-均匀超图的所有边交集非空，则 0 是 $ \mathbb{L}_H^+ $ 的一个特征值。
• 在k-出度正则有向超图中，$ 2k $ 是 $ \mathbb{L}_H^+ $ 的一个特征值，其特征向量为 $ \mathbf{1} $。
• 有向超图是强连通的，当且仅当其邻接超矩阵是弱*不可约的，该条件通过基于非零张量元素构造的有向图 $ G^* $ 定义。