[論文レビュー] 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

ひとこと要約

本稿では、k-一様ハイパーグラフへの一般化として、コアハイパーグラフとパワーハイパーグラフを導入し、それらのラプラシアンH固有値を特徴づける。偶数kの場合、コアハイパーグラフの最大ラプラシアンH固有値は、最大の符号なしラプラシアンH固有値に等しくなることを証明し、スノーフレーク、ハイパーサイクル、ハイパーパス、ハイパースターについてもそれらの固有値を明示的に計算する。奇数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におけるk-一様ハイパーグラフのラプラシアンH固有値に関する未解決問題を解消すること。
• ハイパースター、ハイパーサイクル、ハイパーパスなどの特殊ハイパーグラフクラスの完全なHスペクトルを計算すること。
• 特に奇数kにおいて、最大ラプラシアンH固有値が最大次数に等しくなる条件を特定すること。
• スノーフレークおよびパワーハイパーグラフの最大ラプラシアンH固有値を特徴づけ、奇数双対構造と関連付けること。

提案手法

• グラフのk乗としてパワーハイパーグラフを定義し、パス、サイクル、スターハイパーグラフをk-一様ハイパーグラフへ一般化する。
• パワーハイパーグラフを含むより広いクラスとしてコアハイパーグラフを導入し、kが偶数のとき奇数双対性を保証する構造的条件を満たす。
• テンソル代数およびH固有値理論を用いて、k-一様ハイパーグラフのラプラシアンおよび符号なしラプラシアンテンソルを分析する。
• H固有値方程式から導かれる非線形方程式系を解くために、対称性および変数置換技術を適用する。
• 符号パターンおよび変数の絶対値に基づく場合分けを用いて、特にハイパースターおよびハイパーサイクルの固有値方程式を導出する。
• 置換（例：s = α/β, t = γ/β）および(0,1)内での根の探索を用いて固有値を解き、kが奇数であることから解の制限を活用する。

実験結果

リサーチクエスチョン

• RQ1 奇数kの場合、最大ラプラシアンH固有値が最大次数に等しいk-一様ハイパーグラフはハイパースターに限るか？
• 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スペクトルは完全に決定され、特徴づけられている。
• 偶数一様のスノーフレークの最大ラプラシアンH固有値は計算可能であり、kが偶数のとき最大次数に等しい。
• kが奇数の場合、方程式$(2- heta)^2(1- heta)^{k-2} - 1 = 0$は(0,1)内に唯一の根をもち、これはハイパーサイクルおよびハイパースターのH固有値に対応する。