[论文解读] Regular Uniform Hypergraphs, $s$-Cycles, $s$-Paths and Their largest Laplacian H-Eigenvalues

Liqun Qi, Jia‐Yu Shao+1 more|arXiv (Cornell University)|Sep 9, 2013

Graph theory and applications参考文献 14被引用 3

一句话总结

该论文证明，对于连通的 $k$-一致超图（$k \geq 3$），其最大无符号拉普拉斯 H-特征值达到上界 $2\Delta$ 当且仅当该超图是正则的；而最大拉普拉斯 H-特征值达到同一上界当且仅当该超图既是正则的又是奇二部图。论文刻画了 $s$-环和 $s$-路径的最大 H-特征值，证明了偶一致的 $s$-路径和非正则的 $s$-环总是奇二部图，并在特定条件下推导出广义广义松 $s$-环和紧 $s$-环的确切特征值。

ABSTRACT

In this paper, we show that the largest signless Laplacian H-eigenvalue of a connected $k$-uniform hypergraph $G$, where $k \ge 3$, reaches its upper bound $2Δ(G)$, where $Δ(G)$ is the largest degree of $G$, if and only if $G$ is regular. Thus the largest Laplacian H-eigenvalue of $G$, reaches the same upper bound, if and only if $G$ is regular and odd-bipartite. We show that an $s$-cycle $G$, as a $k$-uniform hypergraph, where $1 \le s \le k-1$, is regular if and only if there is a positive integer $q$ such that $k=q(k-s)$. We show that an even-uniform $s$-path and an even-uniform non-regular $s$-cycle are always odd-bipartite. We prove that a regular $s$-cycle $G$ with $k=q(k-s)$ is odd-bipartite if and only if $m$ is a multiple of $2^{t_0}$, where $m$ is the number of edges in $G$, and $q = 2^{t_0}(2l_0+1)$ for some integers $t_0$ and $l_0$. We identify the value of the largest signless Laplacian H-eigenvalue of an $s$-cycle $G$ in all possible cases. When $G$ is odd-bipartite, this is also its largest Laplacian H-eigenvalue. We introduce supervertices for hypergraphs, and show the components of a Laplacian H-eigenvector of an odd-uniform hypergraph are equal if such components corresponds vertices in the same supervertex, and the corresponding Laplacian H-eigenvalue is not equal to the degree of the supervertex. Using this property, we show that the largest Laplacian H-eigenvalue of an odd-uniform generalized loose $s$-cycle $G$ is equal to $Δ(G)=2$. We also show that the largest Laplacian H-eigenvalue of a $k$-uniform tight $s$-cycle $G$ is not less than $Δ(G)+1$, if the number of vertices is even and $k=4l+3$ for some nonnegative integer $l$.

研究动机与目标

• 确定 $k$-一致超图的最大无符号拉普拉斯 H-特征值何时达到上界 $2\Delta$，其中 $\Delta$ 为最大度。
• 刻画 $s$-路径和 $s$-环的最大拉普拉斯 H-特征值，尤其关注其与正则性和奇二部性的关系。
• 引入并利用超图中“超顶点”（supervertices）的概念，分析奇一致超图中拉普拉斯 H-特征向量与特征值的性质。
• 解决关于广义松 $s$-环与紧 $s$-环特征值界的一些开放问题，特别是针对 $k=4l+3$ 和奇 $k$ 的情形。
• 通过识别在各种一致性和奇偶性条件下，如 $s$-环和 $s$-路径等结构化超图的确切特征值，拓展谱超图理论。

提出的方法

• 利用张量特征值理论与基于度的界，证明连通 $k$-一致超图的最大无符号拉普拉斯 H-特征值达到 $2\Delta$ 当且仅当该超图是正则的。
• 在奇一致超图中引入“超顶点”概念，证明当特征值不同于超顶点度时，同一超顶点中顶点对应的特征向量分量相等。
• 建立 $s$-环是正则的当且仅当 $k = q(k-s)$ 对某个正整数 $q$ 成立，将结构正则性与 $k$ 和 $s$ 的数论条件联系起来。
• 通过超顶点对称性与特征向量约束，推导出奇一致超图中广义松 $s$-环的最大拉普拉斯 H-特征值，证明其等于 $\Delta(G) = 2$。
• 通过代数恒等变形与对称性论证，证明当 $k=4l+3$ 且顶点数为偶数时，$k$-一致紧 $s$-环的最大拉普拉斯 H-特征值至少为 $\Delta(G)+1$，并针对 $k=3$，$s=2$，$n=4$ 的情形显式构造出 $\lambda = 4$。
• 通过 MATLAB 进行数值计算，分析小规模 $s$-环的 H-特征值，进而提出关于 $k=3$，$s=2$ 时特征值行为的猜想，其结果取决于 $n$ 的奇偶性。

实验结果

研究问题

• RQ1 在何种条件下，$k$-一致超图的最大无符号拉普拉斯 H-特征值达到上界 $2\Delta$？
• RQ2 在何种条件下，$k$-一致超图的最大拉普拉斯 H-特征值等于 $2\Delta$？
• RQ3 对于哪些 $s$-环和 $s$-路径，超图是奇二部图，这又如何影响其最大拉普拉斯 H-特征值？
• RQ4 奇一致广义松 $s$-环的最大拉普拉斯 H-特征值的确切值是多少？
• RQ5 $k$-一致紧 $s$-环的最大拉普拉斯 H-特征值是否可能超过 $\Delta(G)$，在何种结构条件下？

主要发现

• 连通 $k$-一致超图的最大无符号拉普拉斯 H-特征值达到 $2\Delta$ 当且仅当该超图是正则的。
• $k$-一致超图的最大拉普拉斯 H-特征值达到 $2\Delta$ 当且仅当该超图既是正则的又是奇二部图。
• $s$-环是正则的当且仅当 $k = q(k-s)$ 对某个正整数 $q$ 成立，即当且仅当 $k$ 是 $k-s$ 的倍数时成立。
• 偶一致的 $s$-路径与偶一致的非正则 $s$-环总是奇二部图，这意味着它们的最大拉普拉斯 H-特征值等于其最大无符号拉普拉斯 H-特征值。
• 对于满足 $k = q(k-s)$ 的正则 $s$-环，其为奇二部图当且仅当边数 $m$ 是 $2^{t_0}$ 的倍数，其中 $q = 2^{t_0}(2l_0+1)$，$t_0, l_0$ 为整数。
• 奇一致广义松 $s$-环的最大拉普拉斯 H-特征值恰好为 $\Delta(G) = 2$，该结果通过超顶点对称性与特征向量约束推导得出。