[论文解读] The interlace polynomial of binary delta-matroids and link invariants

Nadezhda Kodaneva|arXiv (Cornell University)|Feb 27, 2020

Advanced Graph Theory Research被引用 5

一句话总结

该论文证明了二元delta-矩阵的交错多项式满足四次关系式，从而为三维球面中的链环定义了一个有限型不变量。通过delta-矩阵将基于图的权系统推广到带状图，证明了交错多项式通过其在二元delta-矩阵中的四次关系行为，成为有限型不变量。此外，证明了特定delta-矩阵投影的交错多项式在每个次数上生成线性无关的本原元素。

ABSTRACT

In this work, we study the interlace polynomial as a generalization of a graph invariant to delta-matroids. We prove that the interlace polynomial satisfies the four-term relation for delta-matroids and determines thus a finite type invariant of links in the 3-sphere.

研究动机与目标

• 通过将基于弦图的权系统推广到带状图，将有限型不变量理论从纽结推广到链环。
• 研究已知的delta-矩阵不变量（特别是交错多项式）是否在二元delta-矩阵中满足四次关系式。
• 通过证明交错多项式在二元delta-矩阵的四次关系下的行为，证明其为链环的有限型不变量。
• 证明特定delta-矩阵（如D_{K_n}）投影的交错多项式在每个次数上生成线性无关的本原元素，从而确认其在有限型理论中的作用。

提出的方法

• 通过类似于图论中删除和旋转操作的递归运算，定义二元delta-矩阵的交错多项式。
• 引入delta-矩阵D的投影映射π(D)，将多项式表达为基集划分为非空子集的形式。
• 通过证明在delta-矩阵的特定操作下π(D′) = −x·π(D)，证明交错多项式满足四次关系式。
• 通过归纳法和可行集的结构分析，证明完全图的delta-矩阵的多项式次数为n，且首项系数非零。
• 通过比较次数和首项系数，证明关键delta-矩阵（D_n, D_{n−1}^{[1]}, ..., D_{K_n}）投影的交错多项式值线性无关。
• 利用所有投影项中空集均为可行集，且仅全划分对D_{K_n}的次数n有贡献的事实，分离出最高次项。

实验结果

研究问题

• RQ1 二元delta-矩阵的交错多项式是否满足有限型不变量所需的四次关系式？
• RQ2 交错多项式能否用于构造链环的权系统，从而推广基于图的纽结权系统？
• RQ3 特定delta-矩阵（如D_{K_n}）的投影在交错多项式下是否线性无关？
• RQ4 完全图K_n的非退化delta-矩阵投影的交错多项式的次数和首项系数是什么？
• RQ5 在二元delta-矩阵的背景下，交错多项式在删除和旋转操作下的行为如何？

主要发现

• 二元delta-矩阵的交错多项式满足四次关系式，因此是三维球面中链环的有限型不变量。
• 完全图K_n的非退化delta-矩阵投影的次数为n，首项系数为(−1)^{n−1}(n−1)!。
• 对于所有k从0到n−2，D_{n−k}^{[k]}的交错多项式次数小于n，确保其与D_{K_n}的投影线性无关。
• D_n的交错多项式为−x倍的D_{n−1}的多项式，低阶项亦满足类似关系，确立了递归结构。
• D_n、D_{n−1}^{[1]}、...、D_2^{[n−2]}和D_{K_n}的投影线性无关，确认交错多项式在次数n中选取了n个本原元素。
• q(π(D_n))的常数项非零，确保q(π(D_n))与其他多项式在该集合中线性无关。