[论文解读] Twisted duality and polynomials of embedded graphs

Joanna A. Ellis-Monaghan, Iain Moffatt|arXiv (Cornell University)|Jun 30, 2009

Graph theory and applications参考文献 49被引用 11

一句话总结

本文引入了一种由边半扭转和部分对偶生成的折纸群作用于嵌入图上，该作用完全刻画了对偶性：图在群作用下的轨道恰好对应于所有具有相同中位图的图。该框架通过统一的对偶结构揭示了广义转移多项式与拓扑Tutte多项式等图多项式之间的深层联系。

ABSTRACT

Abstract. We consider two operations on the edge of an embedded graph (or equivalently a ribbon graph): giving a half-twist to the edge and taking the partial dual with respect to the edge. These two operations give rise to an action of S3 e(G), the ribbon group of G, on G. We show that this ribbon group action gives a complete characterization of duality in that if G is any cellularly embedded graph with medial graph Gm, then the orbit of G under the group action is precisely the set of all graphs with medial graphs isomorphic (as abstract graphs) to Gm. We provide characterizations of special sets of twisted duals, such as the partial duals, of embedded graphs in terms of medial graphs and we show how different kinds of graph isomorphism give rise to these various notions of duality. We then show how the ribbon group action leads to a deeper understanding of the properties of, and relationships among, various graph polynomials such as the generalized transition polynomial, an extension of the Penrose polynomial to embedded graphs, and the topological Tutte polynomials of Las Vergnas and of Bollobás and Riordan. 1.

研究动机与目标

• 通过边操作建立群论框架，以理解嵌入图中的对偶性。
• 通过图在折纸群作用下的轨道，刻画所有具有同构中位图的图。
• 利用中位图不变量，阐明不同类型对偶性（尤其是部分对偶）之间的关系。
• 通过折纸群作用，统一并深化对拓扑图多项式的理解。
• 阐明各种图同构如何对应于嵌入图理论中不同的对偶概念。

提出的方法

• 将折纸群 S3 e(G) 定义为 S3 与边集 e(G) 的半直积，作用于一个折纸图 G。
• 引入两种基本操作：对边进行半扭转，以及关于某条边取部分对偶。
• 证明 S3 e(G) 在 G 上的作用生成的轨道，恰好对应于所有中位图与 Gm 同构的图。
• 利用中位图结构，刻画特殊类型的扭曲对偶（如部分对偶）的特征。
• 分析不同类型图同构（如抽象同构、拓扑同构）如何与轨道中的对偶类相对应。
• 应用群作用，揭示广义转移多项式与拓扑Tutte多项式的结构与代数性质。

实验结果

研究问题

• RQ1 如何通过边上的群作用完全刻画嵌入图中的对偶性？
• RQ2 图在折纸群作用下的轨道与其中位图之间的确切关系是什么？
• RQ3 不同类型图同构（如抽象同构与拓扑同构）在中位图的语境下如何对应于不同的对偶概念？
• RQ4 折纸群作用以何种方式统一了广义转移多项式与拓扑Tutte多项式的行为？
• RQ5 部分对偶及其他扭曲对偶如何作为折纸群轨道中的特定元素出现？

主要发现

• 图 G 在折纸群作用 S3 e(G) 下的轨道，恰好是所有中位图与 Gm 作为抽象图同构的图的集合。
• 半扭转与部分对偶操作生成的群作用，完全捕捉了嵌入图中对偶性的组合结构。
• G 的部分对偶被刻画为轨道中对应于折纸群作用特定元素的图。
• 广义转移多项式与拓扑Tutte多项式在折纸群作用下保持不变，揭示了它们在对偶性中的深层结构性作用。
• 不同类型图同构（如抽象同构与拓扑同构）对应于折纸群作用中的不同子群或轨道。
• 该框架为理解嵌入图中图多项式与对偶性之间的相互作用提供了统一的代数基础。