[論文レビュー] Bijections from Dyck paths to 321-avoiding permutations revisited

David Callan|ArXiv.org|Nov 16, 2007

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

ひとこと要約

この論文は、Dyckパスと321を避ける順列の間の3つの既知の双対写像B、K、Mを再検討し、M = B ◦ L = K ◦ L′であることを示す。ここでLはKreweras-Lalanneの対合写像、L′はその導関数である。主な結果は、K⁻¹ ◦ B = L′ ◦ Lが、2n次の対合写像であり、非交差する格子パス対の幾何的解析を通じて、パス反転写像のn乗根として作用することを示している。

ABSTRACT

There are (at least) three bijections from Dyck paths to 321-avoiding permutations in the literature, due to Billey-Jockusch-Stanley, Krattenthaler, and Mansour-Deng-Du. How different are they? Denoting them B,K,M respectively, we show that M = B \circ L = K \circ L' where L is the classical Kreweras-Lalanne involution on Dyck paths and L', also an involution, is a sort of derivative of L. Thus K^{-1} \circ B, a measure of the difference between B and K, is the product of involutions L' \circ L and turns out to be a very curious bijection: as a permutation on Dyck n-paths it is an nth root of the "reverse path" involution. The proof of this fact boils down to a geometric argument involving pairs of nonintersecting lattice paths.

研究の動機と目的

• Dyckパスから321を避ける順列への3つの既知の双対写像（B、K、M）の間の構造的関係を明確化すること。
• Dyckパス上でのKreweras-Lalanne対合写像Lの導関数L′を定義し、その性質を分析すること。
• K⁻¹ ◦ B = L′ ◦ LをDyckパスの置換として特徴づけ、その代数的および幾何的性質を特定すること。
• 非交差する格子パス対に基づく幾何的議論を通じて、L′ ◦ Lがパス反転対合写像のn乗根であることを証明すること。

提案手法

• 各パスの上昇成分にFを適用することにより、Dyckパス上のサイズを保つ双対写像Fの導関数F′を定義する。
• 上昇-降下コードとLRMaxコードを用いてDyckパスおよび321を避ける順列を符号化し、それらの共通する組合せ的構造を示す。
• Dyckパスを非交差する格子パスのペアとして表現し、上側および下側のパスにおけるステップ反転操作を通じてLおよびL′をこの文脈で定義する。
• コーナー・ターニングステップおよび最小対角線を特定することで、L′ ◦ Lをパスペアに適用し、反復におけるステップの進化を追跡する。
• 頂点間の傾き1の線分（最小対角線）に基づく幾何的議論を用い、ステップがコーナー・ターニングイベントの後にどのようにフラット化されるかを分析する。
• 各ステップがコーナーを曲がり、制御された順序でフラット化されることを示すことで、(L′ ◦ L)^nがパスを反転することを証明する。操作の順序は、初期のフラットステップの隣接関係によって決定される。

実験結果

リサーチクエスチョン

• RQ1 Dyckパスから321を避ける順列への3つの既知の双対写像B、K、Mの間にはどのような関係があるか？
• RQ2 合成K⁻¹ ◦ Bの代数的構造は何か？ そして、Dyckパスの集合上でどのように作用するか？
• RQ3 Kreweras-Lalanne対合写像Lの導関数L′を用いた合成L′ ◦ Lが、なぜ2n次の対合写像となるのか？
• RQ4 非交差する格子パス対のどの幾何的性質が、(L′ ◦ L)^nがパス反転として作用することを保証するのか？

主な発見

• Dyckパスから321を避ける順列への双対写像Mは、LがKreweras-Lalanne対合写像でL′がその導関数であるとき、B ◦ LおよびK ◦ L′に等しい。
• 合成K⁻¹ ◦ BはL′ ◦ Lに等しく、これはDyck nパス上で2n次の置換として作用する。
• 変換L′ ◦ Lはパス反転対合写像のn乗根である。つまり、(L′ ◦ L)^nはパスを反転させる。
• L′ ◦ Lの2n次の位数は、幾何的メカニズムに起因する：各ステップは、元のパスペアにおいて直前にフラットステップがある場合に限り、コーナーを曲がった後にフラット化される。
• 証明は、頂点間の傾き1の線分（最小対角線）の進化を追跡することに依存し、それらの進化がステップのフラット化順序を決定する。
• 解析により、サイズn+1のパスペアにおけるすべての最小対角線は、L′ ◦ Lを高々n−1回適用するまで生存し、n回のステップ後にパスが反転することが保証される。