[論文レビュー] Hypergraphs and hypermatrices with symmetric spectrum

Vladimir Nikiforov|arXiv (Cornell University)|May 2, 2016

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

ひとこと要約

本稿では、二部グラフのスペクトル対称性条件をハイパーグラフおよびハイパーマトリクスへ一般化するため、奇色可能ハイパーマトリクスの概念を導入する。非負で対称な $ r $-行列が対称スペクトルを持つための必要十分条件は、$ r $ が偶数であり、かつ行列が奇色可能であることであると証明し、PearsonとZhangが提起した問題を解決するとともに、Zhouたちの予想を反証する。この結果は、奇横断を鍵とする構造的条件を用いて $ H $-スペクトルへ拡張される。

ABSTRACT

It is well known that a graph is bipartite if and only if the spectrum of its adjacency matrix is symmetric. In the present paper, this assertion is dissected into three separate matrix results of wider scope, which are extended also to hypermatrices. To this end the concept of bipartiteness is generalized by a new monotone property of cubical hypermatrices, called odd-colorable matrices. It is shown that a nonnegative symmetric $r$-matrix $A$ has a symmetric spectrum if and only if $r$ is even and $A$ is odd-colorable. This result also solves a problem of Pearson and Zhang about hypergraphs with symmetric spectrum and disproves a conjecture of Zhou, Sun, Wang, and Bu. Separately, similar results are obtained for the $H$-spectram of hypermatrices.

研究の動機と目的

• 二部グラフの古典的スペクトル対称性結果をハイパーグラフおよびハイパーマトリクスへ拡張すること。
• PearsonとZhangが提起した、スペクトルが対称である連結な $ r $-グラフを特徴付ける未解決問題を解決すること。
• Zhou, Sun, Wang, および Buが提起したハイパーマトリクスのスペクトル対称性に関する予想を反証すること。
• 二部グラフにおける二部性の一般化として、奇色可能ハイパーマトリクスの概念を導入し、形式化すること。
• 非負で対称なハイパーマトリクスにおける対称 $ H $-スペクトルの必要十分条件を確立すること。

提案手法

• 行列の奇横断を定義する：$ X \triangleq \bigcup_{i=1}^n \text{supp}(x_i) $ で、任意の $ i $ に対して $ \text{odd}(I_X(i)) $ を満たす。ここで $ I_X(i) = 1 $ ならば $ i \in X $、さもなくば $ 0 $ である。
• 奇横断を許容する行列を奇色可能行列と定義し、これをハイパーマトリクスにおける二部性の一般化とする。
• 変換 $ y_k = (2I_X(k) - 1)x_k $ を用いて、$ \lambda $ が $ H $-固有値であれば $ -\lambda $ も固有値であることを示し、スペクトル対称性を証明する。
• 非負で対称な $ r $-行列に対して、対称スペクトルが成立するためには $ r $ が偶数であり、かつ行列が奇色可能でなければならないことを証明する。
• 逆を示す：$ r $-行列が奇横断を備え、$ r $ が偶数であれば、その $ H $-スペクトルは対称的かつジオメトリックに対称的である。
• 非負テンソルのPerron-Frobenius定理および $ H $-固有値理論を用いて、スペクトル特性を分析する。

実験結果

リサーチクエスチョン

• RQ1 非負で対称な $ r $-行列が対称スペクトルを持つための条件は何か？
• RQ2 グラフにおける二部性の概念をハイパーマトリクスおよびハイパーグラフへどのように一般化できるか？
• RQ3 PearsonとZhangが提起した未解決問題を解消する、スペクトルが対称である $ r $-グラフの特徴付けは存在するか？
• RQ4 Zhou, Sun, Wang, および Buの予想——特定の対称ハイパーマトリクスは必ず奇色可能でなければならない——は真であるか？
• RQ5 奇横断は、ハイパーマトリクスの $ H $-スペクトルの対称性を決定づける役割を果たすか？

主な発見

• 非負で対称な $ r $-行列が対称スペクトルを持つための必要十分条件は、$ r $ が偶数であり、かつ行列が奇色可能であることである。
• 本稿では、Zhou, Sun, Wang, および Buの予想を反証するため、奇色可能でないがスペクトルが対称である対称ハイパーマトリクスの反例を構成した。
• 奇横断を備え、$ r $ が偶数である $ r $-行列に対して、$ H $-スペクトルは対称的かつジオメトリックに対称的である。
• 奇横断の存在は、$ H $-固有値が符号反転に対して対称であることを保証し、スペクトル対称性の構造的条件を提供する。
• 本稿では、複素固有ベクトルがスペクトルハイパーグラフ理論において構造的役割を果たすことを示した。実固有ベクトルだけでは、奇横断を備えない奇色可能ハイパーグラフを検出できない。
• 本結果により、非負で対称なハイパーマトリクスにおける対称 $ H $-スペクトルの完全な特徴付けが、奇横断条件を用いて確立された。