[論文レビュー] On the spectrum of directed uniform and non-uniform hypergraphs

Anirban Banerjee, Arnab Char|arXiv (Cornell University)|Oct 17, 2017

Tensor decomposition and applications参考文献 17被引用数 3

ひとこと要約

本稿では、一般の有向一様および非一様ハイパーグラフを表現するテンソルベースのフレームワークを導入し、これらの構造へスペクトル理論を拡張する。隣接、ラプラシアン、および符号なしラプラシアンハイパーマトリックスの主要なスペクトル性質を確立し、有向ハイパーグラフにおける強い連結性を特徴付けるために、弱*非可約ハイパーマトリックスの概念を導入する。

ABSTRACT

Here, we suggest a method to represent general directed uniform and non-uniform hypergraphs by different connectivity tensors. We show many results on spectral properties of undirected hypergraphs also hold for general directed uniform hypergraphs. Our representation of a connectivity tensor will be very useful for the further development in spectral theory of directed hypergraphs. At the end, we have also introduced the concept of weak* irreducible hypermatrix to better explain connectivity of a directed hypergraph.

研究の動機と目的

• 接続性テンソルを用いて、一般の有向一様および非一様ハイパーグラフを表現する数学的フレームワークを構築すること。
• 非有向ハイパーグラフのスペクトル性質を有向ハイパーグラフへ拡張すること、特に隣接、ラプラシアン、および符号なしラプラシアンハイパーマトリックスのスペクトル性質を含む。
• 有向ハイパーグラフにおける強い連結性をよりよく特徴付けるために、弱*非可約ハイパーマトリックスの概念を導入すること。
• 有向ハイパーグラフにおけるスペクトル境界および固有値の性質を確立すること、Perron-Frobenius型の結果を含む。
• 既存のスペクトル結果を一様ハイパーグラフから非一様ハイパーグラフへ、および非有向から有向設定へ一般化すること。

提案手法

• エッジ構造を接続性テンソルによって符号化するm次ハイパーマトリックス（テンソル）を用いて、有向ハイパーグラフを表現する。
• 頂点のインデグリーやアウトデグリー、エッジへの所属関係に基づいて、隣接、ラプラシアン、および符号なしラプラシアンハイパーマトリックスを定義する。
• テンソル演算 $Ax^{m-1} = \lambda x^{[m-1]}$ を用いて、ハイパーマトリックスの固有値および固有ベクトルを定義する。
• ハイパーマトリックスの非ゼロ要素に基づいて構築される有向グラフ $G^*$ を用いて、弱*非可約性の条件を導入し、強い連結性を捉える。
• 既知のスペクトル定理（例：Perron-Frobenius）を弱*非可約ハイパーマトリックスに適用し、固有値の境界を導出する。
• ベクトル $x = \mathbb{1}$ および $x = (1, -1, \dots, -1)$ を用いて、固有値の存在およびゼロ固有値の条件を証明する。

実験結果

リサーチクエスチョン

• RQ1 一般の有向一様および非一様ハイパーグラフは、どのようにしてハイパーマトリックスを用いて体系的に表現できるか？
• RQ2 非有向ハイパーグラフのどのスペクトル性質が有向ハイパーグラフへ拡張可能か？
• RQ3 有向ハイパーグラフにおける符号なしラプラシアンハイパーマトリックスのゼロが固有値であるための条件は何か？
• RQ4 ハイパーマトリックス構造を用いて、有向ハイパーグラフにおける強い連結性を代数的にどのように特徴付けられるか？
• RQ5 有向ハイパーグラフにおけるラプラシアンハイパーマトリックスのスペクトル境界は何か？また、頂点の次数とどのように関係するか？

主な発見

• 有向ハイパーグラフの隣接、ラプラシアン、および符号なしラプラシアンハイパーマトリックスは適切に定義されており、それらの非有向版と同様のスペクトル性質を備えている。
• 有向ハイパーグラフにおいて、$ (d^+(i), \mathbf{1}_i) $ は符号なしラプラシアンハイパーマトリックス $ \mathbb{L}_H^+ $ の固有対である。ここで $ d^+(i) $ は頂点 $ i $ のアウトデグリーを表す。
• 符号なしラプラシアンハイパーマトリックス $ \mathbb{L}_H^+ $ のスペクトル半径 $ \rho(\mathbb{L}_H^+) $ は、$ 2\delta^+ \leq \rho(\mathbb{L}_H^+) \leq 2\Delta^+ $ を満たす。ここで $ \delta^+ $ および $ \Delta^+ $ は最小および最大アウトデグリーを表す。
• 有向m一様ハイパーグラフにおいて、すべてのエッジの共通部分集合が空でない場合、$ \mathbb{L}_H^+ $ はゼロを固有値として持つ。
• kアウト正則な有向ハイパーグラフにおいて、$ 2k $ は $ \mathbb{L}_H^+ $ の固有値であり、固有ベクトルは $ \mathbf{1} $ である。
• 有向ハイパーグラフが強い連結性を持つための必要十分条件は、その隣接ハイパーマトリックスが、非ゼロテンソル要素に基づく有向グラフ $ G^* $ を用いて定義される弱*非可約であることである。