[论文解读] The Largest Laplacian and Signless Laplacian H-Eigenvalues of a Uniform Hypergraph

Shenglong Hu, Liqun Qi+1 more|arXiv (Cornell University)|Apr 4, 2013

Tensor decomposition and applications参考文献 21被引用 9

一句话总结

该论文为一致超图的最大的拉普拉斯H-特征值和无符号拉普拉斯H-特征值建立了紧致界，表明对于偶数一致超图，最大的拉普拉斯H-特征值严格大于最大度数，且当且仅当超图是奇二部图时，其等于无符号拉普拉斯H-特征值。对于奇数一致超图，最大的拉普拉斯H-特征值等于最大度数，但其极值结构尚未被完全刻画。

ABSTRACT

In this paper, we show that the largest Laplacian H-eigenvalue of a $k$-uniform nontrivial hypergraph is strictly larger than the maximum degree when $k$ is even. A tight lower bound for this eigenvalue is given. For a connected even-uniform hypergraph, this lower bound is achieved if and only if it is a hyperstar. However, when $k$ is odd, it happens that the largest Laplacian H-eigenvalue is equal to the maximum degree, which is a tight lower bound. On the other hand, tight upper and lower bounds for the largest signless Laplacian H-eigenvalue of a $k$-uniform connected hypergraph are given. For a connected $k$-uniform hypergraph, the upper (respectively lower) bound of the largest signless Laplacian H-eigenvalue is achieved if and only if it is a complete hypergraph (respectively a hyperstar). The largest Laplacian H-eigenvalue is always less than or equal to the largest signless Laplacian H-eigenvalue. When the hypergraph is connected, the equality holds here if and only if $k$ is even and the hypergraph is odd-bipartite.

研究动机与目标

• 刻画k-一致超图的最大拉普拉斯H-特征值并确定其紧致下界。
• 研究一致超图中最大拉普拉斯H-特征值与无符号拉普拉斯H-特征值之间的关系。
• 识别实现这些特征值最紧致界的极值超图（例如，超星形图、完全超图）。
• 确定最大拉普拉斯H-特征值等于最大无符号拉普拉斯H-特征值的条件，特别是在连通超图中。
• 通过使用非负张量理论分析基于张量的特征值，将谱图论结果推广至超图。

提出的方法

• 使用度张量和邻接张量为k-一致超图定义拉普拉斯张量和无符号拉普拉斯张量。
• 应用张量的H-特征值理论，特别是利用非负张量谱理论的相关结果。
• 通过方程 $(\lambda \mathcal{I} - \mathcal{T})\mathbf{x}^{k-1} = 0$ 利用单位张量和多项式系统定义H-特征值。
• 采用基于支撑的分析和向量符号模式比较特征值，特别是在k为奇数的情况下。
• 利用极值图构造——超星形图和完全超图——建立紧致界。
• 通过反证法和符号一致性论证证明谱相等条件，特别涉及 $|\mathbf{x}|$ 和 $\mathbf{y} = |\mathbf{x}|$。

实验结果

研究问题

• RQ1 k-一致超图中最大拉普拉斯H-特征值的最紧致下界是什么？在何种情况下达到？
• RQ2 当k为偶数与奇数时，最大拉普拉斯H-特征值与最大度数相比如何？
• RQ3 在连通k-一致超图中，最大拉普拉斯H-特征值在何种条件下等于最大无符号拉普拉斯H-特征值？
• RQ4 哪些超图结构——超星形图或完全超图——实现了最大无符号拉普拉斯H-特征值的极值界？
• RQ5 当k为奇数时，最大拉普拉斯H-特征值的极值超图具有何种特征？

主要发现

• 对于偶数k，k-一致非平凡超图的最大拉普拉斯H-特征值严格大于最大度数，且仅在超星形图情况下取等。
• 当k为奇数时，最大拉普拉斯H-特征值的紧致下界等于最大度数，但其极值超图尚未被完全刻画。
• 对于连通k-一致超图，最大无符号拉普拉斯H-特征值在且仅在超图是超星形图时达到其最紧致下界。
• 最大无符号拉普拉斯H-特征值在且仅在超图是完全超图时达到其最紧致上界。
• 最大拉普拉斯H-特征值总是小于或等于最大无符号拉普拉斯H-特征值，且在连通情况下当且仅当k为偶数且超图为奇二部图时取等。
• 对于奇数k和连通非平凡超图，最大拉普拉斯H-特征值严格小于最大无符号拉普拉斯H-特征值。