[论文解读] Cored Hypergraphs, Power Hypergraphs and Their Laplacian H-Eigenvalues

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

Tensor decomposition and applications参考文献 19被引用 11

一句话总结

本文引入了核心超图（cored hypergraphs）和幂超图（power hypergraphs）——将图推广至k-一致超图的推广形式——并刻画了其拉普拉斯H-特征值。研究证明，当k为偶数时，核心超图的最大的拉普拉斯H-特征值等于其最大的无符号拉普拉斯H-特征值，并显式计算了郁金香型超图（sunflowers）、超环（hypercycles）、超路径（hyperpaths）和超星型超图（hyperstars）的这些特征值，表明当k为奇数时，郁金香型超图、超环和超路径的最大拉普拉斯H-特征值等于最大度数（2）。

ABSTRACT

In this paper, we introduce the class of cored hypergraphs and power hypergraphs, and investigate the properties of their Laplacian H-eigenvalues. From an ordinary graph, one may generate a $k$-uniform hypergraph, called the $k$th power hypergraph of that graph. Power hypergraphs are cored hypergraphs, but not vice versa. Hyperstars, hypercycles, hyperpaths are special cases of power hypergraphs, while sunflowers are a subclass of cored hypergraphs, but not power graphs in general. We show that the largest Laplacian H-eigenvalue of an even-uniform cored hypergraph is equal to its largest signless Laplacian H-eigenvalue. Especially, we find out these largest H-eigenvalues for even-uniform sunflowers. Moreover, we show that the largest Laplacian H-eigenvalue of an odd-uniform sunflower, hypercycle and hyperpath is equal to the maximum degree, i.e., 2. We also compute out the H-spectra of the class of hyperstars. When $k$ is odd, the H-spectra of the hypercycle of size 3 and the hyperpath of length 3 are characterized as well.

研究动机与目标

• 通过定义和分析核心超图与幂超图，将谱图论推广至超图。
• 解决k-一致超图中拉普拉斯H-特征值的开放问题，特别是针对奇k的情况。
• 显式计算特殊超图类（如超星型、超环与超路径）的完整H-谱。
• 确定最大拉普拉斯H-特征值何时等于最大度数，尤其针对奇k。
• 刻画郁金香型超图与幂超图的最大拉普拉斯H-特征值，并将其与奇-二分结构联系起来。

提出的方法

• 将幂超图定义为图的k次幂，将路径、环与星型推广为k-一致超图。
• 引入核心超图为包含幂超图的更广类，其结构条件在k为偶数时保证奇-二分性质。
• 运用张量代数与H-特征值理论，分析k-一致超图的拉普拉斯与无符号拉普拉斯张量。
• 应用对称性与变量替换技术，求解由H-特征值方程导出的非线性方程组。
• 基于符号模式与变量大小的分情况分析，推导特征值方程，尤其针对超星型与超环。
• 使用替换（如s = α/β, t = γ/β）与在(0,1)区间内的根查找法求解特征值，利用k为奇数的性质以约束解。

实验结果

研究问题

• RQ1 对于奇k，是否存在唯一一个k-一致超图使得其最大拉普拉斯H-特征值等于最大度数？
• RQ2 能否显式计算出如超星型与超环等特殊k-一致超图的所有拉普拉斯H-特征值？
• RQ3 在核心超图中，最大拉普拉斯H-特征值与最大无符号拉普拉斯H-特征值之间有何关系？
• RQ4 对于奇k，郁金香型超图、超环或超路径的最大拉普拉斯H-特征值是否等于最大度数（2）？
• RQ5 当k为奇数时，超星型、大小为3的超环与长度为3的超路径的完整H-谱是什么？

主要发现

• 当k为偶数时，由于奇-二分结构，核心超图的最大拉普拉斯H-特征值等于其最大无符号拉普拉斯H-特征值。
• 当k为奇数时，郁金香型超图、超环或超路径的最大拉普拉斯H-特征值恰好为2，等于最大度数。
• 超星型的H-谱被完全刻画，所有H-特征值均已显式计算。
• 当k为奇数时，大小为3的超环与长度为3的超路径的H-谱被完全确定并明确刻画。
• 当k为偶数时，偶-一致郁金香型超图的最大拉普拉斯H-特征值可计算，且等于最大度数。
• 当k为奇数时，方程$(2- heta)^2(1- heta)^{k-2} - 1 = 0$在(0,1)内有唯一根，该根对应于超环与超路径的H-特征值。