[論文レビュー] Acyclic Digraphs and Eigenvalues of (0,1)-Matrices

Brendan D. McKay, Frédérique Oggier+4 more|arXiv (Cornell University)|Oct 28, 2003

Graph theory and applications参考文献 4被引用数 21

ひとこと要約

この論文は、$n$ 個のラベル付き頂点を持つ有路無し有向グラフの数が、すべての固有値が正の実数である $n \times n$ $(0,1)$-行列の数に等しいという Weisstein の予想を証明する。証明では、有路無し有向グラフの隣接行列 $A$ を用いて $B = I + A$ と変換することで双対性を確立し、このような行列はすべての固有値が 1 に等しいことを示し、逆に、すべての固有値が正の実数である $(0,1)$-行列は、必ずこの形をしていることを示す。

ABSTRACT

We show that the number of acyclic directed graphs with n labeled vertices is equal to the number of n X n (0,1)-matrices whose eigenvalues are positive real numbers.

研究の動機と目的

• 「$n$ 個のラベル付き頂点を持つ有路無し有向グラフの数が、$n \times n$ $(0,1)$-行列のうちすべての固有値が正の実数であるものの数と一致する」という Weisstein の予想を解決すること。
• 有路無し有向グラフと正の固有値をもつ $(0,1)$-行列との間の構造的・スペクトル的対応を確立すること。
• 有向グラフから導かれる $(0,1)$-行列の固有値の振る舞い、特に固有値の正負および実数性を特徴づけること。
• この対応が行列論、グラフ理論、組合せ論に与える影響を検討すること。特に、対称性や同値類についても考察する。

提案手法

• 有路無し有向グラフ $G$ の隣接行列を $A$ と定義し、$A$ が対角成分が 0（ループなし）であることを保証する。このとき $B = I + A$ は対角成分がすべて 1 の $(0,1)$-行列となる。
• トポロジカルソートを用いて頂点を再ラベルし、$A$ を厳密に上三角行列にできる。これにより $B = I + A$ は対角成分がすべて 1 の上三角行列となり、したがって $B$ のすべての固有値は 1 に等しい。
• 相加・相乗平均の不等式を適用し、$(0,1)$-行列 $B$ のすべての固有値が正の実数であれば、それらはすべて 1 に等しいことを示す。
• すべての $k$ に対して $ \mathrm{Trace}(B^k) = n$ が成り立つことから、$B$ の隣接グラフにおける長さ $k$ の閉路はすべてループであることが示され、非ループ辺は存在しないことが導かれる。
• ここで $A = B - I$ と定義すると、$A$ は対角成分が 0 で、関連する有向グラフにサイクルを含まない $(0,1)$-行列となり、$A$ が有路無し有向グラフに対応することが証明される。
• 置換相似変換による同値類を定義し、その同値類の数が $n$ 個の非ラベル付き頂点を持つ有路無し有向グラフの数に等しいことを示す。

実験結果

リサーチクエスチョン

• RQ1 $n$ 個のラベル付き頂点を持つ有路無し有向グラフの数と、すべての固有値が正の実数である $(0,1)$-行列の数が、同じ列挙列に一致するか？
• RQ2 有路無し有向グラフから $B = I + A$ を通じて得られる $(0,1)$-行列がもつスペクトル的性質は何か？
• RQ3 すべての固有値が正の実数である $(0,1)$-行列は、必ずある有路無し有向グラフの隣接行列 $A$ を用いて $I + A$ の形に書けるか？
• RQ4 固有値がすべて正の実数であると仮定した場合、$(0,1)$-行列のトレースと行列式が固有値に与える制約は何か？
• RQ5 グラフの構造（例えばサイクルの有無）は、隣接行列の固有値の性質にどのように影響するか？

主な発見

• $n$ 個のラベル付き頂点を持つ有路無し有向グラフの数は、ちょうど $n \times n$ $(0,1)$-行列のうちすべての固有値が正の実数であるものの数に等しく、Weisstein の予想が裏付けられた。
• すべての固有値が正の実数である $(0,1)$-行列は、すべての固有値が 1 に等しく、対角成分もすべて 1 に等しい。
• 正の固有値をもつ唯一の対称 $(0,1)$-行列は単位行列である。
• 整数成分の行列 $B$ で $ \mathrm{Trace}(B) \leq n$ を満たすものについて、すべての固有値が実数かつ正であるための必要十分条件は、$B = I + N$ を満たすべき冪零行列 $N$ が存在することである。
• 有向グラフにサイクルが含まれる場合、その隣接行列は少なくとも一つの固有値が 0、負、または非実数（純虚数を含む）である。特に、最小のサイクル長が 3 以上であれば、少なくとも一つの固有値は非実数（純虚数を含む）である。
• $(0,1)$-行列の正の固有値に関する置換相似変換による同値類の数は、$n$ 個の非ラベル付き頂点を持つ有路無し有向グラフの数に等しく、OEIS シーケンス A003087 に対応する。