[论文解读] Combinatorial Hopf algebras and topological Tutte polynomials

Thomas Krajewski, Iain Moffatt+1 more|arXiv (Cornell University)|Aug 4, 2015

Advanced Combinatorial Mathematics参考文献 25被引用 4

一句话总结

本文通过在不同组合结构上推广删除-收缩运算，为组合霍普夫代数引入了一个规范的图多项式。它将经典的图多项式（如经典图多项式、Krushkal 的、Bollobás–Riordan 的以及 Penrose 的）统一在一个框架下，揭示了所有实例中共享的普遍性、对偶性和卷积性质。

ABSTRACT

By considering Tutte polynomials of a combinatorial Hopf algebras, we show how a Tutte polynomial can be canonically associated to a set of combinatorial objects that have some notion of deletion and contraction. We show that numerous graph polynomials from the literature arise canonically from this framework. These polynomials include the classical Tutte polynomial of graphs and matroids, Las Vergnas' Tutte polynomial of the morphism of matroids and his Tutte polynomial for embedded graphs, Bollobas and Riordan's ribbon graph polynomial, the Krushkal polynomial, and the Penrose polynomial. We show that our Tutte polynomials of Hopf algebras share common properties with the classical Tutte polynomials, including deletion-contraction definitions, universality properties, convolution formulas, and duality relations. New results for several graph polynomials from the literature are then obtained as examples of the general results. Our results offer a framework for the study of the Tutte polynomial and its analogues in other settings, offering the means to determine the properties and connections between a wide class of polynomial invariants.

研究动机与目标

• 通过使用删除和收缩运算，为组合霍普夫代数建立一个规范的图多项式构造。
• 将文献中多种图多项式——如经典图多项式、Krushkal 的、带边图多项式以及 Penrose 多项式——统一在一个代数框架下。
• 证明这些广义图多项式继承了经典图多项式的核心性质，包括普遍性、对偶性和卷积公式。
• 为通过通用框架系统推导已知图多项式的全新结果提供一种方法。

提出的方法

• 本文通过组合霍普夫代数中的泛性质定义图多项式，使用删除和收缩作为基本运算。
• 它将图多项式构造为具有删除-收缩结构的组合对象的同态下的泛不变量。
• 该框架采用类似于经典图多项式的卷积公式和对偶关系。
• 它将该理论应用于已知的多项式不变量，表明它们自然地作为该通用构造的特例出现。
• 该方法利用霍普夫代数的代数结构，确保多项式不变量的一致性和普遍性。
• 它证明了所得多项式在所有实例中均满足删除-收缩递推式、对偶性和卷积恒等式。

实验结果

研究问题

• RQ1 如何为支持删除和收缩运算的组合霍普夫代数定义一个通用的图多项式？
• RQ2 哪些已知图多项式可作为该广义图多项式框架的特例出现？
• RQ3 在这些广义多项式中，哪些共同的结构性质（如对偶性、普遍性及卷积公式）得以保持？
• RQ4 该框架能否用于推导已知图多项式（如 Krushkal 或 Penrose 多项式）的新结果？
• RQ5 霍普夫代数的代数性质如何确保所得图多项式的一致性和普遍性？

主要发现

• 广义图多项式与任何支持删除和收缩运算的组合霍普夫代数均具有规范关联。
• 众多图多项式——包括经典图多项式、Krushkal 的、Bollobás–Riordan 的、Las Vergnas 的映射以及 Penrose 多项式——均被证明是该构造的特例。
• 所得多项式继承了关键性质：删除-收缩递推式、普遍性、对偶性和卷积公式。
• 该框架为通过利用通用理论系统推导已知图多项式的全新结果提供了方法。
• 霍普夫代数的代数结构确保了多项式定义良好，并可在各种组合对象中普遍适用。
• 该方法将此前分散的多项式不变量统一在一个连贯的数学框架之下。