[论文解读] A quasi-tree expansion of the Krushkal polynomial

Clark Butler|arXiv (Cornell University)|May 2, 2012

Geometric and Algebraic Topology参考文献 6被引用 4

一句话总结

本文为嵌入在紧致、可能非可定向曲面上的图引入了一种广义的Krushkal多项式，证明其具有自然的拟树展开。关键贡献在于该展开统一并扩展了Bollobás-Riordan与Las Vergnas多项式的先前拟树展开，通过拟树建立了一个关于曲面嵌入图不变量的全面框架。

ABSTRACT

We introduce a generalization of the Krushkal polynomial to nonorientable surfaces, and prove that this polynomial has a natural quasi-tree expansion. This generalized Krushkal polynomial contains the Bollobás-Riordan polynomial of a (possibly nonorientable) ribbon graph as a specialization. The quasi-tree expansion proven here then extends the recent quasi-tree expansions of the Bollobás-Riordan polynomial deduced in the oriented case by A. Champanerkar et al. and in the more general unoriented case by E. Dewey and F. Vignes-Tourneret. The generalized Krushkal polynomial also contains the Las Vergnas polynomial of a cellulation of a surface as a specialization; we use this fact to deduce a quasi-tree expansion for the Las Vergnas polynomial.

研究动机与目标

• 将Krushkal多项式推广至非可定向曲面，同时保持其对偶性与拓扑性质。
• 证明该广义多项式具有拟树展开，扩展了定向情形下的先前结果。
• 证明广义Krushkal多项式可退化为Bollobás-Riordan与Las Vergnas多项式。
• 利用广义框架推导出Las Vergnas多项式的新型拟树展开。

提出的方法

• 利用拓扑不变量（连通分支数、同调核维数、曲面邻域亏格）引入广义Krushkal多项式。
• 将多项式定义为所有生成子图的和，其单项式由拓扑不变量构成：c(F)−c(G)，k(F)，s(F)/2，以及s⊥(F)/2。
• 对带边图施加总边序，将拟树定义为仅有一个面的生成子图。
• 利用Poincaré对偶性与拟阵对偶性，通过特化将广义Krushkal多项式与Las Vergnas多项式关联。
• 通过利用广义Krushkal多项式的对偶性与拟树分解结构，证明其拟树展开。
• 建立恒等式LV_{G,Σ}(X,Y,Z) = Z^{s(Σ)/2} P_{G,Σ}(X−1,Y−1,Z^{−1},Z)，将Las Vergnas多项式与广义Krushkal多项式关联。

实验结果

研究问题

• RQ1 Krushkal多项式能否在保持其对偶性与拓扑不变量的前提下推广至非可定向曲面？
• RQ2 广义Krushkal多项式是否在非可定向情形下也具有类似于Bollobás-Riordan多项式的拟树展开？
• RQ3 广义Krushkal多项式与曲面中细胞嵌入图的Las Vergnas多项式有何关系？
• RQ4 能否通过特化从广义Krushkal多项式推导出Las Vergnas多项式的拟树展开？
• RQ5 广义Krushkal多项式中的拓扑不变量与Las Vergnas多项式中的拟阵不变量之间的确切关系为何？

主要发现

• 广义Krushkal多项式定义于任意紧致曲面（包括非可定向曲面）上的图，且保持对偶性：P_{G,Σ}(X,Y,A,B) = P_{G*,Σ}(Y,X,B,A)。
• 该多项式具有拟树展开：P_{G,Σ}(X,Y,A,B) = ∑_{Q∈Q_G} T_{G_Q}(X,A) T_{G*_Q^*}(Y,B) A^{n(R_{VE(Q)}) - n(G_Q)} B^{n(R_{VE(Q)}) - n(G_Q)}。
• 对于任意带边图，广义Krushkal多项式退化为Bollobás-Riordan多项式，将先前的拟树展开扩展至非可定向情形。
• 广义Krushkal多项式亦通过恒等式LV_{G,Σ}(X,Y,Z) = Z^{s(Σ)/2} P_{G,Σ}(X−1,Y−1,Z^{−1},Z) 退化为Las Vergnas多项式。
• 推导出Las Vergnas多项式的新型拟树展开：LV_{G,Σ}(X,Y,Z) = ∑_{Q∈Q_G} T_{G_Q}(X,Z^{−1}) T_{G*_Q^*}(Y,Z) Z^{n(R_{VE(Q)}) - n(G_Q)}。
• 证明依赖于识别拟树的点边子复形的对偶，并利用亏格与连通分支数恒等式匹配单项式指数。