[论文解读] Binary nullity, Euler circuits and interlace polynomials

Lorenzo Traldi|ArXiv.org|Mar 25, 2009

Geometric and Algebraic Topology参考文献 17被引用 4

一句话总结

本文将Cohn-Lempel等式推广至无向4-正则图，通过GF(2)上的二元矩阵秩零性，将环路划分与顶点秩零交错多项式联系起来。研究结果表明，带环交错图的交错多项式本质上是其关联4-正则图中环路划分的生成函数，统一了图论、纽结理论与拟阵不变量中的概念。

ABSTRACT

A theorem of Cohn and Lempel [J. Combin. Theory Ser. A 13 (1972), 83-89] gives an equality relating the number of circuits in a directed circuit partition of a 2-in, 2-out digraph to the GF(2)-nullity of an associated matrix. This equality is essentially equivalent to the relationship between directed circuit partitions of 2-in, 2-out digraphs and vertex-nullity interlace polynomials of interlace graphs. We present an extension of the Cohn-Lempel equality that describes arbitrary circuit partitions in (undirected) 4-regular graphs. The extended equality incorporates topological results that have been of use in knot theory, and it implies that if H is obtained from an interlace graph by attaching loops at some vertices then the vertex-nullity interlace polynomial $q_{N}(H)$ is essentially the generating function for certain circuit partitions of an associated 4-regular graph.

研究动机与目标

• 将Cohn-Lempel等式从2入2出有向图推广至无向4-正则图。
• 建立4-正则图中环路划分与顶点秩零交错多项式之间的联系。
• 证明带环交错图的交错多项式编码了其关联4-正则图中环路划分的生成函数。
• 通过GF(2)上的矩阵秩零性，统一纽结理论中的拓扑不变量与图论多项式。

提出的方法

• 利用拓扑与组合性质，为4-正则图中的任意环路划分定义广义Cohn-Lempel等式。
• 使用2入2出有向图$D$关于欧拉回路$C$的交错矩阵$I(D,C)$，以建模顶点交错关系。
• 通过扩展的Cohn-Lempel公式，将划分中回路数量与交错矩阵子矩阵的$GF(2)$-秩零性联系起来。
• 将带环交错图$H$的顶点秩零交错多项式$q_N(H)$定义为对所有子集$S \subseteq V(H)$的求和，权重为$(y-1)^{\nu(I_S)}$。
• 应用多变量交错多项式$C(H)$，以编码环路划分中的方向一致性/不一致情况。
• 证明带环交错图$H$的多变量交错多项式$C(H)$等价于其底层4-正则图的转移多项式。

实验结果

研究问题

• RQ1 Cohn-Lempel等式如何从有向2入2出有向图推广至无向4-正则图？
• RQ2 4-正则图中的环路划分与顶点秩零交错多项式之间存在何种关系？
• RQ3 交错图中的带环顶点如何编码环路划分中的方向不一致？
• RQ4 带环交错图的多变量交错多项式能否被解释为环路划分的生成函数？
• RQ5 $GF(2)$-秩零性在刻画4-正则图划分中回路数量方面起什么作用？

主要发现

• 扩展的Cohn-Lempel等式将4-正则图任意环路划分中的回路数量与由交错矩阵导出的子矩阵的$GF(2)$-秩零性联系起来。
• 对于带环交错图$H$，其顶点秩零交错多项式$q_N(H)$是关联4-正则图中环路划分的生成函数，每个划分的权重为$(y-1)^{\text{回路数量} - 1}$。
• 带环交错图$H$的多变量交错多项式$C(H)$等价于其底层4-正则图的转移多项式，编码了满足方向一致性条件的环路划分。
• 扩展的Cohn-Lempel等式适用于任意排列，而不仅限于不相交对换，从而推广了先前结果。
• 存在4-正则图（例如交错矩阵全为1的图），其不存在同秩零性的斜对称有理矩阵，表明斜对称实现存在局限性。
• 带环交错图的交错多项式完整捕获了其关联4-正则图中环路划分的结构，包括每个顶点处的方向行为。