[論文レビュー] H$^+$-Eigenvalues of Laplacian and Signless Laplacian Tensors

Liqun Qi|arXiv (Cornell University)|Mar 9, 2013

Tensor decomposition and applications参考文献 18被引用数 22

ひとこと要約

本稿では、古典的な行列形式を高階テンソルに拡張することで、一様超グラフのラプラシアンおよび符号なしラプラシアンテンソルについて、単純かつ自然な定義を提示する。各テンソルが最大で一つのH++-固有値（正の固有ベクトルを伴う）を持つことが確立され、最大および最小のH+-固有値が特徴づけられ、解析的連結度——最小の正のH+-固有値によって定義される——がエッジ連結度の下界として機能することを証明する。

ABSTRACT

We propose a simple and natural definition for the Laplacian and the signless Laplacian tensors of a uniform hypergraph. We study their H$^+$-eigenvalues, i.e., H-eigenvalues with nonnegative H-eigenvectors, and H$^{++}$-eigenvalues, i.e., H-eigenvalues with positive H-eigenvectors. We show that each of the Laplacian tensor, the signless Laplacian tensor and the adjacency tensor has at most one H$^{++}$-eigenvalue, but has several other H$^+$-eigenvalues. We identify their largest and smallest H$^+$-eigenvalues, and establish some maximum and minimum properties of these H$^+$-eigenvalues. We then define analytic connectivity of a uniform hypergraph and discuss its application in edge connectivity.

研究の動機と目的

• 一様超グラフのラプラシアンおよび符号なしラプラシアンテンソルを、行列の場合を一般化する単純で自然な方法で定義すること。
• これらのテンソルのスペクトル的性質を研究すること、特に非負の固有ベクトルを伴うH+-固有値および正の固有ベクトルを伴うH++-固有値に焦点を当てる。
• H+-固有値の最大および最小の性質を確立し、解析的連結度をエッジ連結度のスペクトル的測度として定義すること。
• 非負およびM-テンソル構造を持つテンソルを用いたスペクトル的超グラフ理論の理論的基盤を提供すること。

提案手法

• 隣接テンソル$\mathcal{A}$および次数テンソル$\mathcal{D}$を用いて、ラプラシアンテンソルを$\mathcal{L} = \mathcal{D} - \mathcal{A}$、符号なしラプラシアンテンソルを$\mathcal{Q} = \mathcal{D} + \mathcal{A}$として定義する。
• 標準的なテンソル固有値フレームワーク、特にH-固有値を用い、非負および正の固有ベクトルの制約下でのスペクトル的性質を分析する。
• 非負単位球上で変分原理および最適化を適用し、最小および最大のH+-固有値を特徴づける。
• 解析的連結度$\alpha(G)$をラプラシアンテンソル$\mathcal{L}$の最小の正のH+-固有値として定義し、それをエッジ連結度の下界として関連付ける。
• 超グラフが連結である場合に$\mathcal{L}$および$\mathcal{Q}$の対称性および弱非可約性の性質を用いてスペクトル的境界を導出する。
• 頂点の部分集合で成分がゼロであるものに対して最適化を適用し、エッジカットおよび次数を含む不等式を導出することで、$\alpha(G)$の境界を確立する。

実験結果

リサーチクエスチョン

• RQ1 偶数次の場合を越えて、一様超グラフのラプラシアンおよび符号なしラプラシアンテンソルの自然かつ一般化可能な定義は何か？
• RQ2 ラプラシアンおよび符号なしラプラシアンテンソルが何個のH++-固有値を持つことができ、その構造的意味は何か？
• RQ3 これらのテンソルの極値的H+-固有値は何か？ そしてそれらは超グラフの連結性とどのように関係するか？
• RQ4 最小の正のH+-固有値によって定義される解析的連結度——$\alpha(G)$——は、超グラフにおけるエッジ連結度の下界として機能するか？
• RQ5 文献に登場する隣接テンソルや他のテンソルベースのラプラシアンと比較して、$\mathcal{L}$および$\mathcal{Q}$のスペクトル的性質はどのように異なるか？

主な発見

• ラプラシアンテンソル$\mathcal{L}$および符号なしラプラシアンテンソル$\mathcal{Q}$は、それぞれ最大で一つのH++-固有値を持ち、それは正のH-固有ベクトルに対応する。
• $\mathcal{L}$の最大のH+-固有値は最大次数$\Delta$によって上から抑えられ、超グラフが非連結である場合には最小固有値が0に等しい。
• 解析的連結度$\alpha(G)$は、$\mathcal{L}$の最小の正のH+-固有値として定義され、$0 \leq \alpha(G) \leq \delta$を満たす。ここで$\delta$は最小次数を表す。
• 任意の空でない真部分集合$S \subset V$に対して、エッジカットサイズは$|E(S, \bar{S})| \geq \frac{n}{k} \alpha(G)$を満たし、これより$e(G) \geq \frac{n}{k} \alpha(G)$が導かれる。
• 超グラフが非連結である場合、$\alpha(G) = 0$であり、連結である場合には$\alpha(G) > 0$である。正則超グラフでは$\alpha(G) = \delta$となる可能性がある。
• 3-一様超グラフ（4頂点）の例では、$\alpha(G) = 1 - \beta^2 < 1 = \delta$となり、$\beta$は$\beta + \beta^3 = 1$を満たす。このように、$\alpha(G)$の正確な値は$\delta$より厳密に小さくなることがある。