[論文レビュー] The Active Bijection 2.a - Decomposition of activities for matroid bases, and Tutte polynomial of a matroid in terms of beta invariants of minors

Emeric Gioan, Michel Las Vergnas|arXiv (Cornell University)|Jul 17, 2018

Advanced Combinatorial Mathematics参考文献 11被引用数 4

ひとこと要約

本稿では、マトロイド基底のアクティブなフィルタリング／分割を導入し、内部または外部アクティブ性がユニアクティブ（1/0 または 0/1）である部分マトロイドへの標準的分解を提示する。基礎的双対グラフとアクティブ閉包作用素に基づく構造的分解を通じて、古典的な基底アクティブ性および方向付きアクティブ性の公式を精緻化し、β不変量の部分マトロイドに関する新たな Tutte 多項式の表現を導出する。

ABSTRACT

We introduce and study filtrations of a matroid on a linearly ordered ground set, which are particular sequences of nested sets. A given basis can be decomposed into a uniquely defined sequence of bases of minors, such that these bases have an internal/external activity equal to 1/0 or 0/1 (in the sense of Tutte polynomial activities). This decomposition, which we call the active filtration/partition of the basis, refines the known partition of the ground set into internal and external elements with respect to a given basis. It can be built by a certain closure operator, which we call the active closure. It relies only on the fundamental bipartite graph of the basis and can be expressed also as a decomposition of general bipartite graphs on a linearly ordered set of vertices. From this, first, structurally, we obtain that the set of all bases can be canonically partitioned and decomposed in terms of such bases of minors induced by filtrations. Second, enumeratively, we derive an expression of the Tutte polynomial of a matroid in terms of beta invariants of minors. This expression refines at the same time the classical expressions in terms of basis activities and orientation activities (if the matroid is oriented), and the well-known convolution formula for the Tutte polynomial. Third, in a companion paper of the same series (No. 2.b), we use this decomposition of matroid bases, along with a similar decomposition of oriented matroids, and along with a bijection in the 1/0 activity case from a previous paper (No. 1), to define the canonical active bijection between orientations/signatures/reorientations and spanning trees/simplices/bases of a graph/real hyperplane arrangement/oriented matroid, as well as various related bijections.

研究の動機と目的

• マトロイド基底を内部または外部アクティブ性がユニアクティブである部分マトロイドへの標準的分解を実現すること。
• フィルタリングによる階層的分解を導入することで、古典的な基底アクティブ性に基づく Tutte 多項式の表現を精緻化すること。
• 基底アクティブ性および方向付きアクティブ性の公式を統一的かつ一般化すること。
• 同伴論文で開発された方向付きマトロイドにおける方向付きと基底のアクティブ双対性の構造的基盤を確立すること。
• アクティブ閉包作用素を定義・特徴づけ、基礎的双対グラフからアクティブなフィルタリングを生成すること。

提案手法

• 地面集合の部分集合のネストされた列（フィルタリング）を導入し、制限および縮約によって部分マトロイドを生成する。
• 基礎的双対グラフを用いて地面集合上にアクティブ閉包作用素を定義し、アクティブなフィルタリングの構築を可能にする。
• 線形順序付けられた地面集合上で一回の走査によるアルゴリズムを用いてアクティブなフィルタリングを構築し、各要素を閉包およびアクティブ性条件に基づき成分に割り当てる。
• Tutte 多項式をすべての連結フィルタリングに関する和として表現し、各項は内部および外部ユニアクティブ基底に対応する部分マトロイドのβ不変量の積である。
• β(M) を部分マトロイド M におけるユニアクティブ内部基底の数として定義し、β*(M) を双対に対して定義することで、Tutte 多項式の係数を精緻化する。
• 元のマトロイドの基底と、アクティブなフィルタリングによって誘導される部分マトロイド列におけるユニアクティブ基底のタプルとの間の標準的双対写像を確立する。

実験結果

リサーチクエスチョン

• RQ1 マトロイドのすべての基底の集合を、内部または外部アクティブ性がユニアクティブである部分マトロイドへの標準的分割および分解としてどのように行えるか？
• RQ2 Tutte 多項式がフィルタリングに関する和として表現可能であり、各項が部分マトロイドのβ不変量を含むか？
• RQ3 アクティブ閉包作用素は、基底の基礎的双対グラフとどのように関係し、基底の一意的分解を可能にするか？
• RQ4 この分解は、古典的な基底アクティブ性の公式および方向付きアクティブ性の公式をどのように精緻化するか？
• RQ5 アクティブなフィルタリングは、方向付きマトロイドおよびアクティブ双対性の文脈において、構造的および数え上げ的意味をどのように有するか？

主な発見

• 基底のアクティブなフィルタリングは、内部または外部ユニアクティブ性（アクティブ性 1/0 または 0/1）を持つ部分マトロイドの列への一意的・標準的分解である。
• マトロイドの Tutte 多項式は、すべての連結フィルタリングに関する和として表現され、各項は部分マトロイドのβ不変量の積である：$ t(M;x,y) = \textstyle\bigsum \bigl( \textstyle\bigprod_{k=1}^{\theta} \beta(M(F_k)/F_{k-1}) \bigr) \bigl( \textstyle\bigprod_{k=1}^{\rho} \beta^{*}(M(F'_k)/F'_{k-1}) \bigr) x^{\theta} y^{\rho} $。
• Tutte 多項式における$ x^{\theta} y^{\rho} $の係数は、内部アクティブ性$ \theta $および外部アクティブ性$ \rho $を持つ基底の数に等しく、これは連結フィルタリングによって誘導される部分マトロイド列におけるユニアクティブ基底のタプルと双対写像の関係にある。
• β不変量$ \beta(M) $は、M におけるユニアクティブ内部基底の数を数え、$ \beta^{*}(M) $は、M におけるユニアクティブ外部基底の数を数える。これは Zaslavsky および Las Vergnas の有界領域に関する結果を一般化する。
• 基礎的双対グラフを介して定義されるアクティブ閉包作用素により、一回の走査による構成的アルゴリズムが可能となり、アクティブなフィルタリングの一意性と一貫性が保証される。
• この分解は、古典的な基底アクティブ性の公式および方向付きマトロイドにおける方向付きアクティブ性の公式を両方精緻化し、統一的な代数的・構造的枠組みを提供する。