[论文解读] Matroids, Delta-matroids and Embedded Graphs

Carolyn Chun, Iain Moffatt+2 more|arXiv (Cornell University)|Mar 4, 2014

Advanced Combinatorial Mathematics参考文献 65被引用 28

一句话总结

本文建立了嵌入图（以带状图表示）与delta-矩阵之间的基础对应关系，表明delta-矩阵自然地将图的拟阵推广到拓扑设定中。它表明Bollobás-Riordan、Krushkal和Las Vergnas等关键不变量是delta-矩阵的，且证明了这些多项式的对偶对称性在delta-矩阵层面成立，将图的拟阵对偶性推广至嵌入图。

ABSTRACT

Matroid theory is often thought of as a generalization of graph theory. In this paper we propose an analogous correspondence between embedded graphs and delta-matroids. We show that delta-matroids arise as the natural extension of graphic matroids to the setting of embedded graphs. We show that various basic ribbon graph operations and concepts have delta-matroid analogues, and illustrate how the connections between embedded graphs and delta-matroids can be exploited. Also, in direct analogy with the fact that The Tutte polynomial is matroidal, we show that several polynomials of embedded graphs from the literature, including the Las Vergnas, Bollabas-Riordan and Krushkal polynomials, are in fact delta-matroidal.

研究动机与目标

• 建立嵌入图与delta-矩阵之间的对应关系，类似于图与拟阵之间广为人知的对应关系。
• 表明delta-矩阵自然地作为循环拟阵在带状图上的推广而出现，同时捕捉图结构与嵌入结构。
• 证明基本的拓扑图多项式——Bollobás-Riordan、Krushkal、Las Vergnas和Tutte多项式——是delta-矩阵不变量。
• 证明这些多项式的对偶对称性在delta-矩阵层面成立，镜像拟阵对偶性。
• 将该框架应用于纽结理论，表明Kauffman括号和Jones多项式由非分裂纽结图的delta-矩阵决定。

提出的方法

• 将嵌入图表示为带状图，即嵌入在曲面上的图的组合模型。
• 将带状图的delta-矩阵定义为形成拟树（亏格为零、单边界分量）的边子集集合，推广图中生成树的概念。
• 利用delta-矩阵中可行集的对称交换公理，形式化由曲面拓扑产生的结构。
• 用delta-矩阵的秩和零度函数表达拓扑图多项式（如Bollobás-Riordan、Krushkal多项式），表明它们是delta-矩阵不变量。
• 证明delta-矩阵中的扭操作与带状图的部分对偶相对应，建立关键的结构联系。
• 利用delta-矩阵中的对偶关系，推导并证明图多项式的对偶恒等式，包括$ K(D;x,y-1,a,b) = K(D^*;y,x-1,b,a) $。

实验结果

研究问题

• RQ1 如何利用delta-矩阵将拟阵理论推广到嵌入图的设定中？
• RQ2 带状图与delta-矩阵之间的精确对应关系是什么？它如何扩展循环拟阵的构造？
• RQ3 如Bollobás-Riordan和Krushkal多项式等著名拓扑图多项式是否由带状图的delta-矩阵决定？
• RQ4 这些多项式的对偶对称性是否在delta-矩阵层面成立？如果是，如何代数表达？
• RQ5 纽结理论中的不变量（如Kauffman括号）能否从纽结图的delta-矩阵中恢复？

主要发现

• 带状图中拟树的边集构成一个delta-矩阵，将图拟阵的基结构推广至嵌入图。
• 带状图的delta-矩阵通过秩和零度函数编码了关键的拓扑与组合数据，包括连通性与边结构。
• delta-矩阵中的扭操作与带状图的部分对偶完全对应，建立了深层的范畴等价性。
• Bollobás-Riordan、Krushkal和Las Vergnas多项式均为delta-矩阵不变量，即它们仅依赖于带状图的delta-矩阵。
• 这些多项式的对偶恒等式（如$ L(D;x,y,z) = z^{w(D)}L(D^*;y,x,z^{-1}) $）在delta-矩阵层面成立，推广了拟阵对偶性。
• 纽结的Kauffman括号是delta-矩阵不变量：它可从与纽结图相关的非分裂带状图的delta-矩阵中恢复。