[論文レビュー] 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マッチングと、特定の再帰的制約を持つ整数列である上昇列の間の直接的な全単射を提示する。著者らは、マッチングに対して明示的な再帰的除去および追加操作を定義し、それらが上昇列の構造を模倣するようにし、中間のposetや置換に依存せずに直接符号化を実現する一対一対応を確立する。

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})$-自由posetのような中間の組合せ的対象を回避する。
• 上昇列における操作と類似する除去および追加操作を定義することで、Stoimenowマッチングの再帰的構造を解明する。
• ラベルに基づくアーク操作を用いて、生成および分解を行う構成的でアルゴリズム的な枠組みを提供する。
• 得られた写像が、$2n$ 個の点におけるStoimenowマッチングの集合と長さ$n$ の上昇列の集合との間で、well-definedかつ可逆な対応であることを証明する。
• マッチングの再帰的ダイナミクスが、$\mathsf{M}(\pi)$および$\mathsf{m}(\pi)$といった重要な統計量を保ちながら、上昇列のそれらと正確に一致することを示す。

提案手法

• 各アークのラベルを、そのオープナーの直前までに閉じられたアークの数として定義し、構造的特徴を追跡するラベル付け方式を確立する。
• 2つの重要なアークを特定する：最後の2点をカバーする最大アーク$\mbox{\sf{maxarc}}(\pi)$と、再帰的除去手順を決定する還元アーク$\mbox{\sf{redarc}}(\pi)$。
• 還元アークのラベル$i = \mathsf{m}(\pi)$とそのラベルクラスのサイズに基づき、3つの除去ルール（Rem1, Rem2, Rem3）を定義し、それらがマッチングがStoimenowの性質を保つようにする。
• 長さ$n$の上昇列の各要素$i \in [0, 1 + \mathsf{M}(\sigma)]$に基づき、新しいアークを挿入することで、より小さなマッチングから再構成する3つの追加ルール（Add1, Add2, Add3）を定義し、Stoimenow性を保つ。
• 再帰的にマップ$\Psi^\prime: \mathcal{I}_n \to \mathcal{A}_n$を構成する：$\Psi^\prime(\pi) = (\Psi^\prime(\sigma), i)$、ここで$\psi^\prime(\pi) = (\sigma, i)$は除去操作に従う。
• 除去および追加操作が互いに逆であることを証明し、$n$に関する帰納法を用いて、well-definedな全単射を確立する。

実験結果

リサーチクエスチョン

• RQ1 中間の組合せ的対象に依存せずに、Stoimenowマッチングと上昇列の間で直接的かつ再帰的な全単射を構築できるか？
• RQ2 Stoimenowマッチングにおいて、マッチングの性質を保ちつつ上昇列の再帰的構造と一致するように、アークを再帰的に除去および追加する正確な規則は何か？
• RQ3 最大アークおよび還元アークのラベル$\mathsf{M}(\pi)$および$\mathsf{m}(\pi)$は、除去および追加操作の下でどのように変化するか？
• RQ4 Stoimenowマッチングの再帰的構造は上昇列のそれと同型であるか。もしそうならば、その同型写像を明示的かつアルゴリズム的に定義できるか？
• RQ5 提案された直接的符号化は、Stoimenowマッチングと上昇列の間の等数性を保ち、可逆な写像を用いて証明可能か？

主な発見

• 本稿では、Stoimenowマッチングから上昇列への直接的全単射$\Psi^\prime$を構築し、両者の集合が一対一に対応することを証明する。
• 除去操作$\psi^\prime(\pi) = (\sigma, i)$はwell-definedかつ可逆であり、ラベル$i = \mathsf{m}(\pi)$とそのラベルクラスのサイズに基づく3つの異なるケースに分けられる。
• 追加操作$\varphi^\prime(\sigma, i)$は、$\sigma$とラベル$i$からマッチング$\pi$を再構成するもので、除去の各ケースに対応する3つの規則を有し、$\pi$がStoimenowマッチングのまま保たれる。
• 写像$\Psi^\prime$は、$n \geq 2$のとき、$\psi^\prime(\varphi^\prime(\sigma, i)) = (\sigma, i)$および$\varphi^\prime(\psi^\prime(\pi)) = \pi$を満たし、可逆性が確認される。
• $\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})$-自由posetを経由する間接的全単射の直接的代替が提供される。