[論文レビュー] Universal Tutte characters via combinatorial coalgebras

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

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

ひとこと要約

この論文は、バンフ・クイバーに関するOpen Problems in Algebraic Combinatorics (OPAC)ブログの2つの未解決問題を解決する。まず、すべてのバンフ・クイバーが、出力源と吸収源の変異のみを用いて同定可能である（OPAC-034）ことを証明する。次に、すべてのバンフ・クイバーがクラスPに含まれることを示す（OPAC-035）。著者らは、頂点数に関する帰納法を用い、三角的拡張と変異列を用いて、クラスBとB′が等しいことを確立する。さらに、L = L′を示すことにより、ルイーズ・クイバーへと結果を拡張する。

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を解決する。これは、すべてのバンフ・クイバーが出力源と吸収源の変異のみを用いて同定可能かどうかを問うものである。
• OPAC-035を解決する。これは、すべてのバンフ・クイバーがクラスPのクイバーに含まれるかどうかを問うものである。
• 変異同値性と三角的拡張を介して、バンフ・クイバーとクラスPとの間の構造的関係を確立する。
• ルイーズ・クイバーへと議論を拡張し、OPAC-033への部分的進展としてL = L′を証明する。
• 出力源／吸収源の変異列とカバーングペアを用いた、クイバークラスの検証フレームワークを提供する。

提案手法

• クイバーの頂点数に関する帰納法を用いて、B = B′を証明する。
• 出力源と吸収源の変異列を適用し、カバーングペア(i,j)が出力源または吸収源となるようにクイバーを変形する。
• 部分クイバーの三角的拡張を用いて、出力源／吸収源の変異下でも非巡回性と変異同値性を維持する。
• カバーングペアの定義と非巡回順序を用いて、変異列がクイバー構造を保存することを保証する。
• 補題3.2を適用し、変異列がQ\{i}、Q\{j}、Q\{i,j}の部分クイバーの同値性を保存することを示す。
• B′ ⊆ P′ ⊂ P であることに基づき、B ⊆ P を結論づけ、OPAC-035を解決する。

実験結果

リサーチクエスチョン

• RQ1 すべてのバンフ・クイバーが、出力源と吸収源の変異のみを用いて同定可能か？
• RQ2 すべてのバンフ・クイバーがクラスPのクイバーに含まれるか？
• RQ3 バンフ・クイバーのクラスは、赤色化シーケンスを用いて定義されるクラスB′と等しいか？
• RQ4 類似の結果がルイーズ・クイバーに対しても得られるか、すなわちL = L′か？
• RQ5 クイバークラスにおける準素的性質の失敗が、B ≠ L を示唆するか？

主な発見

• この論文は、すべてのバンフ・クイバーがB′に属するクイバーと変異同値であることを証明し、B = B′を示し、OPAC-034を解決する。
• これによりB ⊆ Pが従い、すべてのバンフ・クイバーがクラスPに含まれることを示し、OPAC-035を解決する。
• 著者らはL = L′を示し、ルイーズ・クイバーに対しても類似の結果を確立し、OPAC-033への部分的進展を示す。
• 証明は帰納法と、Q\{i}とQ\{j}がバンフであるようなカバーングペア(i,j)の存在に依存し、変異列によりiを出力源またはjを吸収源にできる。
• 部分クイバーの同値性を保つ変異列が可能であるため、帰納ステップでB′への属性が維持される。
• 6頂点の反例クイバーにより、B、L、P′、Pへの属性が準素的でないことが示された。