[論文レビュー] Some results on the spectral radii of uniform hypergraphs

Liying Kang, Lele Liu+2 more|arXiv (Cornell University)|May 3, 2016

Tensor decomposition and applications参考文献 4被引用数 7

ひとこと要約

本稿は、3種類の均一ハイパーグラフ—$B_m^L(1)$、$B_m^L(2)$、$B_m^P$—の固有値半径に関する予想を解決し、$m \geq 5$ に対して $\rho(B_m^L(1)) > \rho(B_m^L(2)) > \rho(B_m^P)$ が成り立つことを証明する。重み付きインシデント行列法を導入し、$t$-一様ハイパーグラフ $G$ の固有値半径とその一般化 $k$-一様パワー・ハイパーグラフ $G^{k,s}$ の間の一般関係を確立し、$\rho(\mathcal{A}(G^{k,s})) = \rho(\mathcal{A}(G))^{ts/k}$ を示す。

ABSTRACT

Let A(G) be the adjacency tensor (hypermatrix) of uniform hypergraph G. The maximum modulus of the eigenvalues of A(G) is called the spectral radius of G. In this paper, the conjecture of Fan et al. in [5] related to compare the spectral radii of some three uniform hypergraphs is solved. Moreover, some eigenvalues properties of a kind of uniform hypergraphs are obtained.

研究の動機と目的

• ファンらが提起した予想を解決すること：3つの線形二重サイクル $k$-一様ハイパーグラフ $B_m^L(1)$、$B_m^L(2)$、$B_m^P$ 間の固有値半径の順序について。
• 特に固有値半径と主固有ベクトルに注目した、一様ハイパーグラフのクラスの固有値性質を確立すること。
• $t$-一様ハイパーグラフ $G$ とその一般化 $k$-一様パワー・ハイパーグラフ $G^{k,s}$ 間の固有値半径の関係を一般化すること。

提案手法

• ルとマンが提唱した重み付きインシデント行列法を用いて、ハイパーグラフの固有値半径を比較する。
• $t$-一様ハイパーグラフ $G$ の主固有ベクトル $x$ から新しいベクトル $y$ を構成し、$G^{k,s}$ の固有ベクトルを導出する。
• 弱非可約非負テンソルに対するペロン＝フロベニウスの定理を適用し、正の主固有ベクトルの存在を保証する。
• 重要な式 $\mathcal{A}(G^{k,s})y = \mu^{ts/k} y^{[k-1]}$ を導出し、ここで $\mu = \rho(\mathcal{A}(G))$ である。これにより固有値半径のスケーリングが証明される。
• $G^{k,s}$ を、各頂点と辺をそれぞれ $s$ 個および $k-ts$ 個の新しい頂点に置き換えることによって構築された $k$-一様ハイパーグラフとして定義し、構造を保持する。
• 構築されたベクトル $y$ が $\mathcal{A}(G^{k,s})$ の固有値方程式を満たすことを検証し、固有値 $\mu^{ts/k}$ が正当であることを確認する。

実験結果

リサーチクエスチョン

• RQ1 $\rho(B_m^L(1)) > \rho(B_m^L(2)) > \rho(B_m^P)$ はすべての $m \geq 5$ に対して成り立つか？
• RQ2 $t$-一様ハイパーグラフ $G$ とその一般化 $k$-一様パワー・ハイパーグラフ $G^{k,s}$ 間の固有値半径の関係は何か？
• RQ3 複雑な辺の重なりを示すハイパーグラフの固有値半径を比較する際に、重み付きインシデント行列法を適用できるか？

主な発見

• 重み付きインシデント行列法を用いて、$m \geq 5$ に対して予想 $\rho(B_m^L(1)) > \rho(B_m^L(2)) > \rho(B_m^P)$ が正当であることが証明された。
• 任意の連結 $t$-一様ハイパーグラフ $G$ に対して、一般化パワー・ハイパーグラフ $G^{k,s}$ の固有値半径は $\rho(\mathcal{A}(G^{k,s})) = \rho(\mathcal{A}(G))^{ts/k}$ を満たす。
• $G^{k,s}$ の正の固有ベクトルは、$G$ の主固有ベクトルから明示的に構成され、頂点のクローンに対しては $x_w = (y_v)^{t/k}$、辺のクローンに対しては $x_w = (y^e / \rho(G))^{1/k}$ と定義される。
• 既知のケースを一般化する：$t=2, s=1$ のとき、これはグラフの $k$ 乗に一致し、先行研究におけるハイパーグラフのパワーと固有値半径に関する結果を拡張する。
• この方法により、ハイパーグラフ間の固有値半径の順序は、固有ベクトルの構築とテンソル固有値方程式を用いて分析可能であることが確認された。
• 弱非可約性および主固有ベクトルの正の性質を仮定すれば、固有値半径スケーリング則 $\rho(G^{k,s}) = \rho(G)^{ts/k}$ が成り立つ。