[论文解读] Topological Tutte Polynomial

Sergei Chmutov|arXiv (Cornell University)|Aug 27, 2017

Topological and Geometric Data Analysis参考文献 41被引用 3

一句话总结

本文综述了图在曲面上的拓扑 Tutte 多项式扩展，重点讨论了带边图及其推广。通过 Krushkal 多项式建立了一个统一框架，该框架通过拟树展开和对偶关系，推广了 Bollobás-Riordan、Las Vergnas 和相对 Tutte 多项式，揭示了纽结理论、拟阵理论与拓扑图论之间的深层联系。

ABSTRACT

This is a survey recent works on topological extensions of the Tutte polynomial.

研究动机与目标

• 在单一框架内统一各种拓扑 Tutte 多项式扩展——Bollobás-Riordan、Las Vergnas 和相对 Tutte 多项式。
• 通过代换和约化阐明这些多项式之间的关系，特别是证明 Krushkal 多项式推广了 Bollobás-Riordan 和 Las Vergnas 多项式。
• 为 Krushkal 多项式建立拟树展开，推广经典 Tutte 多项式关于生成树的展开。
• 在虚纽结和带边图的背景下，探讨对偶性与不变性性质，特别是部分对偶性。
• 基于算术与单纯纯拟阵的新兴结果，提出存在一个更一般的拟阵多项式，可统一这些拓扑扩展。

提出的方法

• 利用带边图作为曲面上细胞嵌入图的组合模型，通过循环边序和曲面邻域表示拓扑嵌入。
• 应用 Clark Butler 的拟树展开，将 Krushkal 多项式表示为所有生成拟树之和，其贡献来自抽象图和曲面拓扑。
• 通过代换将 Krushkal 多项式与其它已知多项式关联：令 $ Z = 1 $ 可恢复 Las Vergnas 多项式，而 $ X = x-1, Y = y-1, Z = (XY)^{-1/2} $ 可得 Bollobás-Riordan 多项式。
• 利用部分对偶（广义对偶）解释虚拟纽结理论中 Bollobás-Riordan 多项式某些特化在对偶变换下的不变性。
• 通过拓扑不变量分析每个拟树的贡献：$ A^{s(F(Q))/2} $ 和 $ B^{s(F(Q^*)) / 2} $，其中 $ s $ 表示带边图边界分量的数量。
• 证明 Krushkal 多项式在特定代换下退化为相对 Tutte 多项式，且 Las Vergnas 与 Bollobás-Riordan 多项式彼此独立。

实验结果

研究问题

• RQ1 如何将 Tutte 多项式推广到嵌入在曲面上的图，特别是在非平面和非可定向情况下？
• RQ2 Krushkal 多项式、Bollobás-Riordan 多项式与 Las Vergnas 多项式之间的精确关系是什么？它们如何通过代换相互关联？
• RQ3 能否为 Krushkal 多项式建立一个统一的拟树展开，以推广经典 Tutte 多项式关于生成树的展开？
• RQ4 在虚纽结理论中，部分对偶在解释纽结多项式（如 Jones 多项式）不变性性质方面起什么作用？
• RQ5 是否存在一个更一般的拟阵多项式，可统一 Krushkal、Bollobás-Riordan 和 Las Vergnas 多项式？它与算术或单纯纯拟阵有何关联？

主要发现

• 通过不同的代换，Krushkal 多项式推广了 Bollobás-Riordan 和 Las Vergnas 多项式：令 $ X = x-1, Y = y-1, Z = 1 $ 可恢复 Las Vergnas 多项式，而 $ X = x-1, Y = y-1, Z = (XY)^{-1/2} $ 可得 Bollobás-Riordan 多项式。
• Krushkal 多项式具有拟树展开，如 Clark Butler 所示，该展开将经典 Tutte 多项式在生成树上的展开推广至拓扑情形。
• 对于含四条边的示例带边图，Krushkal 多项式计算结果为 $ K_G = (X+1)(Y+1)B + (Y+1)B + (Y+1)A^{1/2}B^{1/2} + (X+A+2)(Y+1) $，通过显式计算验证了展开的正确性。
• 该多项式在部分对偶下保持不变，这解释了 Bollobás-Riordan 多项式在虚纽结不变量中某些特化下的不变性。
• 相对 Tutte 多项式与 Las Vergnas 多项式彼此独立，提示可能存在一个更一般的拟阵多项式，统一这些拓扑扩展。
• Krushkal 多项式在特定代换下也退化为相对 Tutte 多项式，且其与虚纽结中广义对偶框架的等价性已得到澄清。