[论文解读] 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 applicationsMathematics参考文献 4被引用 21

一句话总结

本文证明了Weisstein猜想：具有$n$个标号顶点的有向无环图（acyclic digraph）的数量，等于所有特征值均为正实数的$n \times n$ $(0,1)$-矩阵的数量。证明通过变换$B = I + A$建立双射，其中$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.

研究动机与目标

• 解决Weisstein猜想，即具有$n$个标号顶点的有向无环图数量与$n \times n$ $(0,1)$-矩阵中所有特征值为正实数的数量相等。
• 在有向无环图与具有正特征值的$(0,1)$-矩阵之间建立结构与谱的对应关系。
• 刻画由有向图导出的$(0,1)$-矩阵的特征值行为，特别关注特征值的正性和实性。
• 探讨该对应关系在矩阵理论、图论和组合数学中的影响，包括对称性与等价类。

提出的方法

• 将$A$定义为有向无环图$G$的邻接矩阵，确保$A$的主对角线为零（无自环），因此$B = I + A$是主对角线全为1的$(0,1)$-矩阵。
• 通过拓扑排序重标号顶点，使$A$变为严格上三角矩阵，从而$B = I + A$为上三角矩阵且主对角线全为1，故$B$的所有特征值均为1。
• 应用算术-几何平均不等式，证明若$(0,1)$-矩阵$B$的所有特征值为正实数，则它们必须全等于1。
• 利用迹条件$\mathrm{Trace}(B^k) = n$对所有$k$成立，表明$B$的有向图中所有长度为$k$的闭游走必为自环，从而推出不存在非自环边。
• 定义$A = B - I$，因此$A$是主对角线为零的$(0,1)$-矩阵，且其关联有向图中无环，从而证明$A$对应一个有向无环图。
• 在置换相似性下建立等价类，表明在置换等价意义下此类矩阵的数量等于$n$个无标号顶点的有向无环图的数量。

实验结果

研究问题

• RQ1 具有$n$个标号顶点的有向无环图数量与所有特征值为正实数的$(0,1)$-矩阵数量是否相同？
• RQ2 通过$B = I + A$从有向无环图导出的$(0,1)$-矩阵具有哪些谱特性？
• RQ3 能否证明每个具有正实特征值的$(0,1)$-矩阵都可表示为$I + A$的形式，其中$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$为幂零矩阵。
• 若一个有向图包含环，则其邻接矩阵至少有一个特征值为零、负数或严格复数；若最短环长度至少为3，则存在一个严格复特征值。
• 在置换相似性下，$n \times n$ $(0,1)$-矩阵中具有正特征值的等价类数量，等于$n$个无标号顶点的有向无环图数量，对应OEIS序列A003087。