[论文解读] 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.

研究动机与目标

• 将拟阵基进行典范分解，分解为具有内部或外部单活跃（1/0 或 0/1）活动性的极小元。
• 通过引入基于过滤的分层分解，改进经典 Tutte 多项式关于基活动性的表达式。
• 统一并推广现有的 Tutte 多项式公式，包括基活动性和方向活动性表达式。
• 为配套论文中提出的定向拟阵中方向与基之间的主动双射建立结构基础。
• 定义并表征主动闭包算子，该算子可从基的基本二分图生成主动过滤。

提出的方法

• 引入过滤——基集的嵌套子集序列——通过限制和约化诱导出极小元。
• 利用基的基本二分图在基集上定义主动闭包算子，从而实现主动过滤的构建。
• 通过在基集的线性序上进行单次遍历算法，将每个元素根据闭包和活动性条件分配至对应分量，构造主动过滤。
• 将 Tutte 多项式表达为所有连通过滤的和，每一项为对应内部和外部单活跃基的极小元的 β 不变量的乘积。
• 使用 β 不变量 β(M) 计数极小元中单活跃内部基的数量，β*(M) 计数其对偶中单活跃外部基的数量，以细化 Tutte 多项式系数。
• 在主动过滤的基础上，建立原拟阵的基与极小元序列中单活跃基元组之间的典范双射。

实验结果

研究问题

• RQ1 如何对拟阵的所有基集合进行典范划分与分解，使其以具有单活跃内部或外部活动性的极小元为单位？
• RQ2 Tutte 多项式能否表示为过滤的和，其中每一项包含极小元的 β 不变量？
• RQ3 主动闭包算子如何与基的基本二分图相关联，并实现基的唯一分解？
• RQ4 该分解在何种程度上细化了经典的基活动性公式和 Tutte 多项式的定向活动性公式？
• 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 关于有界区域的结果。
• 通过基本二分图定义的主动闭包算子，可实现构造性、单次遍历的算法来计算主动过滤，确保其一致性和唯一性。
• 该分解细化了经典的基活动性公式和定向拟阵的定向活动性公式，提供了一个统一的代数与结构框架。