[论文解读] A direct encoding of Stoimenow's matchings as ascent sequences

Anders Claesson, Mark Dukes+1 more|Strathprints: The University of Strathclyde institutional repository (University of Strathclyde)|Oct 8, 2009

Geometric and Algebraic Topology参考文献 2被引用 10

一句话总结

本文提出了一种直接双射，将Stoimenow匹配——在纽结理论中出现的特定非交叉、非嵌套匹配——与上升序列（一类具有特定递归约束的整数序列）对应起来。作者定义了匹配上显式的递归删除与添加操作，其结构与上升序列相匹配，建立了一一对应关系，从而实现了无需依赖中间偏序集或排列的直接编码。

ABSTRACT

In connection with Vassiliev's knot invariants, Stoimenow (1998) introduced certain matchings, also called regular linearized chord diagrams. Bousquet-Melou et al. (2008) gave a bijection from those matchings to unlabeled (2+2)-free posets; they also showed how to encode the posets as so called ascent sequences. In this paper we present a direct encoding of Stoimenow's matchings as ascent sequences. In doing so we give the rules for recursively constructing and deconstructing such matchings.

研究动机与目标

• 建立Stoimenow匹配与上升序列之间的直接、显式双射，绕过如$(\mathbf{2+2})$-自由偏序集等中间组合对象。
• 通过定义类似于上升序列上操作的删除与添加操作，揭示Stoimenow匹配的递归结构。
• 提供一个构造性、算法化的框架，通过基于标签的弧操作生成与逆向分解Stoimenow匹配。
• 证明该映射是定义良好的、可逆的对应关系，其在$2n$个点上的Stoimenow匹配集合与长度为$n$的上升序列集合之间建立一一对应。
• 证明匹配的递归动态与上升序列完全一致，保持关键统计量如$\mathsf{M}(\pi)$与$\mathsf{m}(\pi)$不变。

提出的方法

• 将匹配中每条弧的标签定义为在其开启者之前出现的闭合者数量，建立一种用于追踪结构特征的标记方案。
• 识别两条关键弧：最大弧$\mbox{\sf{maxarc}}(\pi)$，即跨越最后两个点的弧；以及缩减弧$\mbox{\sf{redarc}}(\pi)$，其决定递归删除步骤。
• 基于缩减弧的标签$i = \mathsf{m}(\pi)$及其标签类的大小，引入三条删除规则（Rem1, Rem2, Rem3），确保结果匹配仍为Stoimenow匹配。
• 定义三条添加规则（Add1, Add2, Add3），通过在由标签$i \in [0, 1 + \mathsf{M}(\sigma)]$确定的位置插入新弧，从更小的匹配重构出一个匹配，同时保持Stoimenow性质。
• 递归构造映射$\Psi^\prime: \mathcal{I}_n \to \mathcal{A}_n$：$\Psi^\prime(\pi) = (\Psi^\prime(\sigma), i)$，其中$\psi^\prime(\pi) = (\sigma, i)$由删除操作定义。
• 通过数学归纳法证明删除与添加操作互为逆操作，从而通过归纳法确立定义良好的双射关系。

实验结果

研究问题

• RQ1 能否在不依赖中间组合对象的前提下，构建Stoimenow匹配与上升序列之间的直接、递归双射？
• RQ2 在Stoimenow匹配中，递归删除与添加弧的精确规则是什么，以确保结果结构保持Stoimenow性质，并与上升序列的递归规则一致？
• RQ3 统计量$\mathsf{M}(\pi)$与$\mathsf{m}(\pi)$——即最大弧与缩减弧的标签——在删除与添加操作下的行为如何？
• RQ4 Stoimenow匹配的递归结构是否与上升序列同构？若是，该同构能否被显式表达并实现为算法？
• RQ5 所提出的直接编码是否保持Stoimenow匹配与上升序列之间的等势性？能否通过一个构造性、可逆的映射加以证明？

主要发现

• 本文构建了一个从Stoimenow匹配到上升序列的直接双射$\Psi^\prime$，并证明了两集合之间存在一一对应关系。
• 删除操作$\psi^\prime(\pi) = (\sigma, i)$是定义良好且可逆的，包含三种不同情形，依据缩减弧的标签$i = \mathsf{m}(\pi)$及其标签类的大小。
• 添加操作$\varphi^\prime(\sigma, i)$从$\sigma$与标签$i$重构出匹配$\pi$，其三条规则分别对应于删除操作的三种情形，确保$\pi$仍为Stoimenow匹配。
• 映射$\Psi^\prime$满足$\psi^\prime(\varphi^\prime(\sigma, i)) = (\sigma, i)$与$\varphi^\prime(\psi^\prime(\pi)) = \pi$（当$n \geq 2$时），确认其可逆性。
• 统计量$\mathsf{M}(\pi)$与$\mathsf{m}(\pi)$的变换具有可预测性：若$i \leq \mathsf{m}(\sigma)$，则$\mathsf{M}(\pi) = \mathsf{M}(\sigma)$；若$i > \mathsf{m}(\sigma)$，则$\mathsf{M}(\pi) = \mathsf{M}(\sigma) - 1$，从而保持递归结构不变。
• 该构造提供了Stoimenow匹配作为上升序列的完整、算法化编码，为通过$(\mathbf{2+2})$-自由偏序集的间接双射提供了一种直接替代方案。