[論文レビュー] Another bijection for 021-avoiding ascent sequences

David Callan|arXiv (Cornell University)|Feb 24, 2014

Coding theory and cryptography参考文献 2被引用数 3

ひとこと要約

本稿では、021-回避上昇列とDyckパスの間の新しいアルゴリズム的双対写像を提示する。この双対写像は、列の各要素に基づいて上り下りペアを挿入することで、Dyckパスを段階的に構築する。この双対写像は、上昇数、下降数、および終端ゼロの数といった重要な統計量を保持しており、Chenらの再帰的構成とは異なった構造的性質を持つ直接的な代替手法を提供する。

ABSTRACT

Chen and collaborators give a recursively defined bijection from 021-avoiding ascent sequences to 021-avoiding (aka 132-avoiding) permutations. Here we give an algorithmic bijection from 021-avoiding ascent sequences to Dyck paths. Our bijection does not appear to be closely related to the Chen bijection but, like the Chen bijection, it preserves several interesting statistics.

研究の動機と目的

• 021-回避上昇列とDyckパスの間の、Chenらの再帰的アプローチとは異なる新しいアルゴリズム的双対写像を提供すること。
• 上昇数、下降数、終端ゼロの数といった意味のある組合せ的統計量が双対写像によって保持されることを確保すること。
• 上昇列から段階的にパスを生成する構成的で反復的な手法を確立すること。
• 列の値とパスの特徴に基づく明示的な挿入規則を通じて、上昇列とDyckパスの間の構造的関係を明確にすること。

提案手法

• 双対写像は、021-回避上昇列の各要素を左から右へ処理することで、初期状態としてUDから始める。
• 各エントリ $ u_i $ に対して、$ u_i $ の値、直前の要素との関係、および現在のパス構造に基づいて4つのケースのうちの1つを適用する。
• ケース1（$ u_i = 0 $）は、最後のピークにUDを挿入し、長大な最後の上昇を生成する。
• ケース2（$ u_i = u_{i-1} \neq 0 $）は、パスの高さを上げるためにUDを先頭と末尾に追加する。
• ケース3（$ u_i = a+1 $、ここで $ a $ はこれまでの上昇数）は、パスの末尾にUDを追加する。
• ケース4（$ u_i $ が特定の範囲内にある）は、$ j $ 番目のキーダウンステップにUDを挿入し、上りステップを先頭から移動させることでパスのバランスを維持し、正しい挿入位置を保証する。

実験結果

リサーチクエスチョン

• RQ1 021-回避上昇列とDyckパスの間で、直接的かつ非再帰的な双対写像を構築することは可能か？
• RQ2 このような双対写像において、どの組合せ的統計量が保持され、それらは谷（DUペア）、下降、キーダウンステップといったパスの特徴とどのように関係するか？
• RQ3 上昇列の構造、特にエントリの値と位置が、生成されるDyckパスの形状と特徴にどのように影響を与えるか？
• RQ4 この新しい双対写像は、Chenらの再帰的構成とは構造的に異なるものか？ もしそうであれば、どのような点で異なるか？

主な発見

• 双対写像はアルゴリズム的かつ反復的であり、上昇列からの段階的挿入によってDyckパスを構築する。各挿入ルールは、現在の列の値とパスの状態に基づく。
• 列における上昇数は、Dyckパスにおける谷（DUペア）の数に正確に一致する。
• 列における下降数は、DyckパスにおけるDUU部分文字列の数に一致する。
• 列における終端ゼロの数は、Dyckパスにおける最後の上昇の長さから1を引いた値に一致する。
• 列における初期ゼロの数は、Dyckパスにおける最初の下降の長さに一致する。
• Dyckパスの上昇度は、最後の非ゼロエントリに直ちに続く値がそれと等しいエントリの数に一致する。