[论文解读] Universal Tutte characters via combinatorial coalgebras

Clément Dupont, Alex Fink+1 more|arXiv (Cornell University)|Jan 1, 2018

Advanced Combinatorial Mathematics参考文献 39被引用 15

一句话总结

本文解决了来自代数组合学开放问题博客（OPAC）的两个开放问题，涉及Banff箭图：证明了仅通过源点和汇点的突变即可验证每个Banff箭图（OPAC-034），且所有Banff箭图均属于P类（OPAC-035）。作者通过顶点数的归纳法，利用三角形扩张和突变序列，证明了类B与B′相等，并通过证明L = L′将结果推广至Louise箭图。

ABSTRACT

The Tutte polynomial is the most general invariant of matroids and graphs that can be computed recursively by deleting and contracting edges. We generalize this invariant to any class of combinatorial objects with deletion and contraction operations, associating to each such class a universal Tutte character by a functorial procedure. We show that these invariants satisfy a universal property and convolution formulae similar to the Tutte polynomial. With this machinery we recover classical invariants for delta-matroids, matroid perspectives, relative and colored matroids, generalized permutohedra, and arithmetic matroids, and produce some new convolution formulae. Our principal tools are combinatorial coalgebras and their convolution algebras. Our results generalize in an intrinsic way the recent results of Krajewski--Moffatt--Tanasa.

研究动机与目标

• 解决OPAC-034，即验证是否每个Banff箭图均可仅通过源点和汇点的突变来确认。
• 解决OPAC-035，即验证每个Banff箭图是否均包含于P类中。
• 通过突变等价性和三角形扩张，建立Banff箭图与P类之间的结构联系。
• 将论证扩展至Louise箭图，证明L = L′，作为向解决OPAC-033迈出的部分进展。
• 提供一种利用源点/汇点突变序列和覆盖对来验证箭图类别的框架。

提出的方法

• 通过箭图中顶点数的归纳法，证明B = B′。
• 应用源点和汇点的突变序列，将箭图变换为使覆盖对(i,j)成为源点或汇点的形式。
• 利用子箭图的三角形扩张，确保在源点/汇点突变下保持无环性和突变等价性。
• 利用覆盖对的定义和无环序，确保突变序列保持箭图结构。
• 应用引理3.2，证明在突变下，子箭图Q\{i}、Q\{j}和Q\{i,j}的等价性得以保持。
• 利用B′ ⊆ P′ ⊂ P的事实，得出B ⊆ P，从而解决OPAC-035。

实验结果

研究问题

• RQ1 是否每个Banff箭图均可仅通过源点和汇点的突变来验证？
• RQ2 每个Banff箭图是否均包含于P类中？
• RQ3 Banff箭图类是否等于通过红化序列定义的B′类？
• RQ4 是否可对Louise箭图建立类似结果，即L = L′？
• RQ5 箭图类中遗传性质的失效是否意味着B ≠ L？

主要发现

• 本文证明每个Banff箭图均突变等价于B′中的箭图，因此B = B′，解决了OPAC-034。
• 由此可得B ⊆ P，因此每个Banff箭图均属于P类，解决了OPAC-035。
• 作者证明了L = L′，为Louise箭图建立了类比结果，为OPAC-033提供了部分进展。
• 证明依赖于归纳法以及存在覆盖对(i,j)，使得Q\{i}和Q\{j}为Banff箭图，且可通过突变序列使i成为源点或j成为汇点。
• 该结论成立的原因是保持子箭图等价性的突变序列允许归纳步骤维持B′中的成员身份。
• 本文表明B、L、P′或P中的成员身份不具有遗传性，如一个6个顶点的反例箭图所示。