[論文レビュー] The Square of Adjacency Matrices

Dan Kranda|arXiv (Cornell University)|Jul 12, 2012

Graph theory and applications被引用数 3

ひとこと要約

この論文は、隣接行列の平方の構造的性質を調査し、長さ2のウォーク、二部グラフ構造、連結性、4-サイクルを含むグラフにおける情報をどのように符号化するかを示している。主な貢献は、単純な無向グラフの隣接行列の平方として表現可能な行列の特徴付けであり、同一の平方隣接行列を持つ非同型のグラフの構成も含まれる。

ABSTRACT

It can be shown that any symmetric $(0,1)$-matrix $A$ with $ r A = 0$ can be interpreted as the adjacency matrix of a simple, finite graph. The square of an adjacency matrix $A^2=(s_{ij})$ has the property that $s_{ij}$ represents the number of walks of length two from vertex $i$ to vertex $j$. With this information, the motivating question behind this paper was to determine what conditions on a matrix $S$ are needed to have $S=A(G)^2$ for some graph $G$. Structural results imposed by the matrix $S$ include detecting bipartiteness or connectedness and counting four cycles. Row and column sums are examined as well as the problem of multiple nonisomorphic graphs with the same adjacency matrix squared.

研究の動機と目的

• 行列 S が単純な無向グラフ G に対して S = A(G)² と表現可能であるための必要十分条件を特定すること。
• A(G)² のブロック対角形から、二部グラフ構造や連結性といったグラフ的性質を特徴づけること。
• A(G)² の成分を用いて、グラフ内の4-サイクルの数を数えること。
• 同一の平方隣接行列を持つグラフの非一意性を調査すること、特に同一の S = A(G)² を持つ複数の非同型グラフの構成を含む。

提案手法

• s_ij = ∑ₖ a_ik a_kj を用いて、s_ij をグラフ G における頂点 i から j への長さ2のウォークの数として解釈する。
• 置換類似性（S₁ ~ S₂ は P⁻¹S₁P を通じて）を用いて、行列構造とグラフの同型類の関係を明らかにする。
• ブロック行列分解を用いて、A(G)² が二部グラフ的または非連結な成分を示すかどうかを分析する。
• 組合せ的数え上げを適用：∑ᵢ≠ⱼ (s_ij choose 2) / 4 は、G 内の異なる4-サイクルの数を与える。
• G とその二部グラフ二重被覆 H の互いに素なコピーを組み合わせることで、非同型グラフ H_t の族を構成する。この際、ブロック置換行列を用いる。
• ケイリー被覆構成（二部グラフ二重被覆）を用いて、同一の A(G)² を持つ非同型のグラフを生成する。

実験結果

リサーチクエスチョン

• RQ1 行列 S にどのような構造的条件が満たされていれば、S = A(G)² を満たす単純な無向グラフ G が存在するか？
• RQ2 A(G)² のブロック対角構造から、グラフの二部グラフ的または連結な性質をどのように特定できるか？
• RQ3 ∑ᵢ≠ⱼ (s_ij choose 2) / 4 の組合せ的解釈は、グラフのサイクルに関してどのように解釈できるか？
• RQ4 複数の非同型グラフが同一の平方隣接行列を持つことは可能か？もしそうならば、与えられた S に対してそのようなグラフは最大でいくつ存在できるか？

主な発見

• 行列 S が平方グラフ的（すなわち、S = A(G)² を満たすあるグラフ G が存在する）であるための必要十分条件は、ウォーク数と行列類似性に基づく特定の構造的制約を満たすことである。
• グラフ G が二部グラフまたは非連結であるための必要十分条件は、A(G)² が2つのゼロの非対角ブロックを持つブロック対角行列に類似することである。
• グラフ G 内の異なる4-サイクルの数は、正確に (1/4)∑ᵢ≠ⱼ (s_ij choose 2) に等しく、ここで s_ij は A(G)² の (i,j) 成分である。
• n ≥ 3 頂点を持つ非二部グラフ G と任意の正の整数 k に対して、サイズ (2kn)×(2kn) の行列 S が存在し、S = A(G_t)² を満たす k+1 個の非同型グラフ G₁,…,G_{k+1} が存在する。
• 非二部的で連結な非同型のグラフは、同じ（または類似した）平方隣接行列を持つことができ、文献に示された明示的な例によってそれが裏付けられている。
• 同一の A(G)² を持つ非同型のグラフの構成は、置換行列を用いて G とその二部グラフ二重被覆 H の互いに素なコピーを結合することで行われ、平方隣接行列が保存される。