[论文解读] Extending the Tutte and Bollobás-Riordan Polynomials to Rank 3 Weakly-Colored Stranded Graphs

Rémi Cocou Avohou, Joseph Ben Geloun+1 more|arXiv (Cornell University)|Jan 9, 2013

Advanced Combinatorial Mathematics参考文献 17被引用 8

一句话总结

本文为秩3的弱着色编织图（rank 3 weakly-colored stranded graphs）——即花结图和抽象图的推广——引入了一个七变量多项式不变量，该不变量扩展了图论中的Tutte多项式与Bollobás-Riordan多项式。论文建立了广义的收缩/删除递归关系，将这些经典不变量推广至更广泛的张量图模型类别，适用于量子引力研究，能够捕捉原始多项式未编码的拓扑与组合信息。

ABSTRACT

The Bollobás-Riordan polynomial [Math. Ann. 323, 81 (2002)] is a universal polynomial invariant for ribbon graphs. We find an extension of this polynomial for a particular family of combinatorial objects, called rank 3 weakly-colored stranded graphs. Stranded graphs arise in the study of tensor models for quantum gravity in physics, and generalize graphs and ribbon graphs. We present a seven-variable polynomial invariant of these graphs, which obeys a contraction/deletion recursion relation similar to that of the Tutte and Bollobás-Riordan polynomials. However, it is defined on a much broader class of objects, and furthermore captures properties that are not encoded by the Tutte or Bollobás-Riordan polynomials.

研究动机与目标

• 将Tutte多项式与Bollobás-Riordan多项式不变量推广至张量模型中出现的更广泛的一类组合对象。
• 为秩3弱着色编织图定义一个满足收缩/删除递归关系的多项式不变量。
• 捕捉原始Tutte多项式与Bollobás-Riordan多项式未包含的拓扑与组合信息。
• 建立在这些图上对边操作（收缩与切割）的稳定框架，确保在这些操作下保持封闭性。
• 为张量模型中的多项式不变量提供统一的代数结构，从而为非着色图与混合图类型生成新的不变量。

提出的方法

• 引入半边编织图（HEGs）作为基础结构，将带半边的抽象图推广，以建模物理与拓扑特性。
• 定义带面结构与定向性的花结半边图（HERGs），将Bollobás-Riordan多项式推广至带半边的花结图。
• 引入弱着色（w-colored）编织图，作为边收缩下的闭包，确保该类图在所提操作下保持稳定。
• 提出一个七变量多项式不变量，记为 $\mathfrak{T}_{\mathscr{G}}(x, \{\beta_e\}, z, s, q, t)$，通过基于边收缩与切割（取代删除）的线性递归定义。
• 采用改进的主动/被动收缩方案，相较于Gurau与Tanasa的方法，更好地保持了操作下的图结构。
• 通过生成树子图求和与终态形式分析递归计算该多项式，借助显式例子验证其一致性。

实验结果

研究问题

• RQ1 Tutte多项式与Bollobás-Riordan多项式不变量能否被推广至包含张量模型与量子引力费曼图的更广泛图类？
• RQ2 在秩3编织图上，哪些操作（收缩与删除）可被一致定义，以支持递归多项式不变量？
• RQ3 如何定义弱着色编织图，使其在边收缩下保持封闭，并支持通用多项式不变量？
• RQ4 扩展后的多项式相较于原始Tutte多项式与BR多项式，捕捉了哪些新的拓扑与组合信息？
• RQ5 新多项式的递归关系能否在非着色图与混合图类型上被一致应用并验证？

主要发现

• 本文为秩3弱着色编织图构造了一个七变量多项式不变量 $\mathfrak{T}_{\mathscr{G}}$，其满足广义的收缩/删除递归关系，推广了Tutte多项式与Bollobás-Riordan多项式。
• 该不变量通过线性递归定义：$\mathfrak{T}_{\mathscr{G}} = \mathfrak{T}_{\mathscr{G} \vee e} + x\beta_0 \mathfrak{T}_{\mathscr{G}/e}$，其中 $\mathscr{G} \vee e$ 表示切割操作，$\mathscr{G}/e$ 表示收缩操作，$\beta_0$ 与边的颜色相关。
• 对于一个秩3着色张量图 $\mathscr{G}$，该多项式计算结果为 $\mathfrak{T}_{\mathscr{G}} = \beta_1\beta_2\beta_3 xz_1^3z_2z_3^3sw^3q^3t^2 + (\beta_1\beta_2 + \beta_1\beta_3 + \beta_2\beta_3)xz_1z_3^4sw^4q^6t^4 + (\beta_1 + \beta_2 + \beta_3)xz_3^5sw^5q^9t^6 + z_3^8s^2w^8q^{12}t^8$。
• 该方法在非着色、类似平面的弱着色图 $\mathscr{G}_{\mathfrak{f}^0}$ 上得到验证，其多项式计算结果为 $\mathfrak{T}_{\mathscr{G}_{\mathfrak{f}^0}} = [xz^{10}sw^5q^9t^6 + xyz^9sw^4q^6t^4 + 2z^2w^2q^6t^4 + 3yzwq^3t^2 + y^2]z^{14}sw^5q^9t^6$。
• 通过显式计算子图，验证了递归的一致性：$\mathfrak{T}_{\mathscr{G}_{\mathfrak{f}^0}} = \mathfrak{T}_{\mathscr{G}_{\mathfrak{f}^0} \vee e_2} + \mathfrak{T}_{\mathscr{G}_{\mathfrak{f}^0}/e_2}$，结果完全匹配。
• 该框架推广了Gurau与Tanasa的前期工作，通过引入弱着色图作为封闭类，为张量图模型中的边操作提供了更稳定、更系统的处理方法。