[論文レビュー] Matrices in the Theory of Signed Simple Graphs

Thomas Zasĺavsky|arXiv (Cornell University)|Mar 13, 2013

Graph theory and applications参考文献 26被引用数 119

ひとこと要約

この論文は、符号付き単純グラフの理論における行列、特に隣接行列、接続行列、およびキルホフ行列（ラプラシアン）の使用を調査し、符号なしグラフ理論の概念を一般化する。符号付きグラフですべての固有値 ≤ 2 であるものは、単純な符号付きグラフの縮約線グラフに正確に一致し、根系 $D_n$ および $E_8$ で表されることが示された。これは、グラフ理論における線グラフと固有値の境界に関する古典的結果を拡張するものである。

ABSTRACT

I discuss the work of many authors on various matrices used to study signed graphs, concentrating on adjacency and incidence matrices and the closely related topics of Kirchhoff (`Laplacian') matrices, line graphs, and very strong regularity.

研究の動機と目的

• 隣接行列、接続行列、キルホフ行列といった行列に基づく古典的グラフ理論の概念を、符号付き単純グラフへ一般化すること。
• 行列の性質、特に固有値が符号付きグラフの構造的および組合的特徴をどのように反映するかを調査すること。
• 有界固有値をもつ符号付きグラフと既知の根系、特に $D_n$ および $E_8$ の間の関係を明確にすること。
• 符号付きグラフとベクトル表現の文脈において、線グラフおよび一般化線グラフに関する結果を統合・拡張すること。

提案手法

• 符号付きグラフの隣接行列を用い、辺の符号を +1 または -1 として符号化することで、スペクトル的性質を分析する。
• 非向き付き（負の辺用）および向き付き（正の辺用）の2種類の接続行列を導入し、符号なしグラフの接続行列を一般化する。
• キルホフ行列を接続行列の転置と自身の積として定義し、符号付きグラフにおけるラプラシアン行列の一般化を行う。
• 恒等式 $A( ext{線グラフ}) = M^T M - 2I$ を適用し、線グラフの隣接行列と接続行列との関係を確立する。
• ベクトル内積表現を用いる：$2I - A(\theta)$ が半正定値であれば、固有値 ≤ 2 は $ olimits\mathbb{R}^m$ 内の幾何的実現を意味する。
• スペクトルの境界と行列のランクの議論を用い、$ olimits\text{rank}(H^T H) = n - b(\Sigma)$ を示し、固有値の重複度を導出する。

実験結果

リサーチクエスチョン

• RQ1 どの符号付きグラフがすべての固有値 ≤ 2 をもつのか。また、代数的および組合的特徴づけは可能か？
• RQ2 符号付きグラフの隣接行列、接続行列、キルホフ行列は、符号なしグラフのそれらの一般化としてどのように定義されるか？
• RQ3 符号付きグラフの縮約線グラフと根系 $D_n$ および $E_8$ の間にはどのような関係があるか？
• RQ4 固有値 2 は符号付きグラフにおける誘導部分グラフの閾値としてどのように機能し、スペクトル構造にどのような含意をもつのか？
• RQ5 一般化線グラフ（例：ホフマンのもの）は、符号付きグラフの縮約線グラフとして表現可能か。もし可能であれば、どのような条件下で成立するか？

主な発見

• すべての固有値 ≤ 2 をもつ符号付きグラフは、正確に単純な符号付きグラフの縮約線グラフに一致し、根系 $D_n$ および $E_8$ で表される。
• 行列 $2I - A(\Sigma)$ が半正定値であることは、$A(\Sigma)$ のすべての固有値が ≤ 2 であることと同値であり、これにより幾何的ベクトル表現が可能になる。
• 固有値 2 は閾値として機能する：符号付きグラフに固有値 ≥ 2 が存在する場合、最大固有値が正確に 2 である誘導部分グラフを含む。
• 符号付きグラフの接続行列 $H$ は $ olimits\text{rank}(H^T H) = n - b(\Sigma)$ を満たし、$H^T H$ は $|E| - n + b(\Sigma)$ の重複度で 0 を固有値として持つ。
• 線グラフ $\Lambda(\Sigma)$ がアンチバランス（すべての辺が負）であることは、$ olimits\Sigma$ が通常または一般化線グラフの負のバージョンとスイッチ同値であることと同値である。
• ホフマンの一般化線グラフは、$-\Gamma(m_1,\dots,m_n)$ の縮約線グラフとして現れる。すなわち、頂点に負のダイゴンを接続した負のグラフである。