[論文レビュー] Classification of bijections between 321- and 132-avoiding permutations

Anders Claesson, Sergey Kitaev|ArXiv.org|May 9, 2008

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

ひとこと要約

この論文は、321-回避および132-回避順列の間の既知の全双対写像を包括的に分類し、それらが自明な対称性を通じてどのように関連しているかを示し、各写像がどの統計量を保存するかを特定する。Knuth-Richardsの写像（Simion-SchmidtおよびKrattenthalerの写像と同値）が、既知の中で最高の11個の順列統計量を保存することを確立し、この写像の再帰的構成を提示する。

ABSTRACT

It is well-known, and was first established by Knuth in 1969, that the number of 321-avoiding permutations is equal to that of 132-avoiding permutations. In the literature one can find many subsequent bijective proofs of this fact. It turns out that some of the published bijections can easily be obtained from others. In this paper we describe all bijections we were able to find in the literature and show how they are related to each other via ``trivial'' bijections. We classify the bijections according to statistics preserved (from a fixed, but large, set of statistics), obtaining substantial extensions of known results. Thus, we give a comprehensive survey and a systematic analysis of these bijections. We also give a recursive description of the algorithmic bijection given by Richards in 1988 (combined with a bijection by Knuth from 1969). This bijection is equivalent to the celebrated bijection of Simion and Schmidt (1985), as well as to the bijection given by Krattenthaler in 2001, and it respects 11 statistics--the largest number of statistics any of the bijections respects.

研究の動機と目的

• 321-および132-回避順列の間の既存の双対写像を体系的に分類し、それらの関係を同定すること。
• 各双対写像がどの順列統計量を保存するかを、基本統計量の対称性を用いて合成した190個の統計量を包括的に用いて特定すること。
• Knuth-Richardsの双対写像が、321-および132-回避順列の間の既知の写像の中で最大の11個の統計量を保存することを示し、それにより構造を最もよく保つ写像であることを証明すること。
• Knuth-Richardsの双対写像の再帰的記述を提供し、KnuthおよびRichardsの以前の構成と関連付けること。
• 双対写像が線形独立な統計量を尊重することを示し、保存された性質に冗長性が最小限に抑えられることを保証すること。

提案手法

• 基本統計量23個（例：asc, des, exc, lmax, peak）を定義し、逆転、補数、逆写像、およびそれらの合成を用いて190個の代表的統計量を生成する。
• 長さ7までの一貫性の確認（実験的等価性）を用いて等価な統計量を統合し、分析に用いる190個の異なる統計量の集合を得る。
• 最大要素（n+1）の再帰的挿入を用いて双対写像をモデル化し、lir, rir, slmax, および成分の変化を追跡する。
• 自明な対称性（例：逆転、補数、逆写像）との合成により双対写像の同値性を確立する。例：Knuth-Richards写像が逆転、補数、または逆写像との合成によりSimion-SchmidtおよびKrattenthalerの写像と同値であることを示す。
• Dyckパス表現とテーブルァ対応（Robinson-Schensted挿入を介して）を用いて統計量の保存を解釈・検証する。特にlir, lmax, rminの保存に焦点を当てる。
• 再帰的挿入の過程で活性化された位置と成分構造を追跡しながら、順列長に関する帰納法を用いて統計量の同値性を証明する。

実験結果

リサーチクエスチョン

• RQ1 321-および132-回避順列の間のどの双対写像が最大の数の順列統計量を保存するか？
• RQ2 既知の双対写像は、自明な対称性（逆転、補数、逆写像）およびそれらの合成を通じてどのように関連しているか？
• RQ3 Knuth-Richardsの双対写像は再帰的に記述可能か？また、Simion-SchmidtやKrattenthalerの他の有名な双対写像とどのように関連しているか？
• RQ4 321-および132-回避順列の間の1つの双対写像が保存できる線形独立な統計量の最大集合は何か？
• RQ5 lir, rir, slmax, および成分といった統計量は、双対写像の構成における最大要素の再帰的挿入の下でどのように変化するか？

主な発見

• Knuth-Richardsの双対写像は、321-および132-回避順列の間の既知のどの双対写像よりも11個の順列統計量を保存する。
• この双対写像は、逆転、補数、逆写像との合成により、Simion-SchmidtおよびKrattenthalerの双対写像と同値である。
• この双対写像は以下の11個の統計量を保存する：asc, des, exc, ldr, rdr, lir, rir, zeil, comp, lmax, rmax、およびn-statおよびm-statによる対称的変種。
• Knuth-Richardsの双対写像の再帰的構成が形式的に記述され、n+1の活性化された位置への挿入がslmaxや成分といった統計量をどのように保存・変換するかを示している。
• lir ≃ lmaxおよびlir.i ≃ rminは、Dyckパスの解釈を通じて保存され、テーブルァ構造とパスの傾き・帰還位置が関連づけられる。
• 190個の統計量の集合は対称性および実験的等価性のチェックに対して閉じており、分析に冗長または重複する統計量が含まれないことを保証する。