[论文解读] Permanental polynomials of skew adjacency matrices of oriented graphs

Shunyi Liu, Heping Zhang|arXiv (Cornell University)|Sep 10, 2014

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

一句话总结

本文通过其歪对称邻接矩阵引入有向图的永久多项式，证明了图的所有定向具有相同的永久多项式当且仅当该图不包含偶环。文中以图的结构（如环和匹配）解释了多项式系数的含义，并证明永久根为实数当且仅当图是二分图且不包含长度被4整除的偶环。

ABSTRACT

Let $G^σ$ be an orientation of a simple graph $G$. In this paper, the permanental polynomial of an oriented graph $G^σ$ is introduced. The coefficients of the permanental polynomial of $G^σ$ are interpreted in terms of the graph structure of $G^σ$, and it is proved that all orientations $G^σ$ of $G$ have the same permanental polynomial if and only if $G$ has no even cycles. Furthermore, the roots of the permanental polynomial of $G^σ$ are studied.

研究动机与目标

• 通过其歪对称邻接矩阵定义并研究有向图的永久多项式。
• 以图的结构成分（如环和匹配）解释永久多项式的系数。
• 刻画所有定向产生相同永久多项式的图的特征。
• 研究永久多项式的根的性质与分布，特别是其实数性与对称性。

提出的方法

• 将有向图 $G^\sigma$ 的永久多项式定义为 $\pi(G^\sigma, x) = \mathrm{per}(xI - A_s(G^\sigma))$，其中 $A_s(G^\sigma)$ 为歪对称邻接矩阵。
• 通过在所有偶环子图上求和，结合环的方向与连通分支数，建立 $\pi(G^\sigma, x)$ 系数的 Sachs 型公式。
• 利用符号相反的对合方法，证明对于歪对称矩阵 $A$，$\mathrm{per}(A)$ 仅在由偶长度环组成的置换下非零，从而消除奇环贡献。
• 利用系数的图论解释，证明图 $G$ 的所有定向具有相同的永久多项式当且仅当 $G$ 不含偶环。
• 通过关联根的和 $S_p(G^\sigma)$（即根的 $p$ 次幂之和）与特征多项式及谱性质，分析永久根的性质。
• 应用关于二分图与 Pfaff 定向的已知结果，推导永久根为实数或对称的条件。

实验结果

研究问题

• RQ1 在什么条件下图 $G$ 的所有定向会产生相同的永久多项式？
• RQ2 如何从图的底层结构解释有向图永久多项式的系数？
• RQ3 在什么条件下有向图的永久根为实数？
• RQ4 有向图的永久多项式与其中心无向图的特征多项式之间有何关系？
• RQ5 在什么条件下 $S_p(G^\sigma) = iS_p(G)$ 成立？这反映了图的何种结构特征？

主要发现

• 图 $G$ 的所有定向具有相同的永久多项式当且仅当 $G$ 不含偶环。
• 在 $\pi(G^\sigma, x)$ 中，$x^{n-k}$ 项的系数 $a_k(G^\sigma)$ 对所有奇 $k$ 为零，当且仅当 $G$ 是二分图。
• 图 $G^\sigma$ 的永久根全为实数当且仅当 $G$ 是二分图且不包含长度被4整除的偶环。
• 对任意定向 $G^\sigma$，$S_p(G^\sigma) = iS_p(G)$ 成立当且仅当 $G$ 是二分图；$S_p(G^\sigma) = S(G)$ 成立当且仅当 $G$ 是森林。
• 森林的永久多项式等于其底层图的特征多项式，仅在偶次幂系数符号可能改变时成立。
• 存在非二分图满足 $S_p(G^\sigma) = S(G)$，但要使 $S_p(G^\sigma) = iS_p(G)$ 成立，此类图必须是二分图且不包含长度被4整除的偶环。