[论文解读] 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 $-谱的必要与充分条件。

提出的方法

• 为 $ r $-矩阵引入奇横截的概念，定义为集合 $ X riangleq \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 $-谱既对称又几何对称。
• 利用 $ H $-特征值理论与非负张量的Perron-Frobenius定理分析谱性质。

实验结果

研究问题

• RQ1 在何种条件下，非负对称 $ r $-矩阵具有对称谱？
• RQ2 图的二分性概念如何推广至超矩阵与超图？
• RQ3 是否存在对具有对称谱的 $ r $-图的刻画，以解决Pearson与Zhang提出的开放问题？
• RQ4 Zhou、Sun、Wang与Bu的猜想——某些对称超矩阵必为奇着色——是否成立？
• RQ5 奇横截在决定超矩阵 $ H $-谱对称性方面起什么作用？

主要发现

• 非负对称 $ r $-矩阵具有对称谱当且仅当 $ r $ 为偶数且该矩阵为奇着色矩阵。
• 本文通过构造反例，否定了Zhou、Sun、Wang与Bu的猜想：存在具有对称谱但非奇着色的对称超矩阵。
• 对于具有奇横截且 $ r $ 为偶数的 $ r $-矩阵，其 $ H $-谱既对称又几何对称。
• 奇横截的存在确保 $ H $-特征值在取反下对称，从而为谱对称性提供了结构性条件。
• 本文表明，复特征向量在谱超图理论中具有结构性作用，因为仅靠实特征向量无法检测非奇横截的奇着色超图。
• 本研究通过奇横截条件，为非负对称超矩阵中的对称 $ H $-谱提供了完整刻画。