[論文レビュー] An involution on Dyck paths that preserves the rise composition and interchanges the number of returns and the position of the first double fall

Martin Rubey|arXiv (Cornell University)|Jan 24, 2017

Mathematical Dynamics and Fractals参考文献 2被引用数 6

ひとこと要約

この論文は、上昇成分（すなわち、上昇ステップ長の列）を保ちつつ、戻りの数と最初の二重上昇の位置を交換する、Dyckパス上の明示的な対合を提示する。この対合は、パスの分解に対する再帰的かつ可逆な変換によって構成され、これらの統計量の母関数における共同対称性を証明する。これは、最近の321-回避順列に関する研究から生じた対称性の問題を解決するものである。

ABSTRACT

Motivated by a recent paper of Adin, Bagno and Roichman, we present an involution on Dyck paths that preserves the rise composition and interchanges the number of returns and the position of the first double fall.

研究の動機と目的

• アディン、バグノ、ロイクマンが提起した、321-回避順列の統計量の母関数における対称性の問題を解決すること。
• 上昇成分を保ちつつ、戻りの数と最初の二重上昇の位置を交換する、構成的かつ可逆な写像をDyckパスに定義すること。
• 固定された上昇成分の下で、戻りの数と最初の二重上昇の位置を含む母関数の共同対称性を証明すること。
• 明示的かつ反復的な対合を用いて、Dyckパスの統計量における組合せ的対称性の理解を拡張すること。

提案手法

• 対合は、Dyckパスを三つのセグメント P、Q、R に分解することにより定義され、R は上昇ステップで始まる最大の単一上昇の列である。
• 写像 φ は、最後が単一の東ステップで終わらず、かつ ldr(D) が最大でないパスに対して作用し、Q をその素成分の順序を入れ替え、上昇ステップの列を調整することで変換する。
• Q の構造に基づいて三つの異なるケースを定義する：早期の上昇ステップ列の存在、Q に戻りがないこと、複数の素成分が存在すること。
• 逆写像は各ケースごとに別個に構成され、可逆性と上昇成分の保存が保証される。
• 変換は、上昇ステップ列と東ステップの順序のみを並び替えることで、上昇成分を維持する。
• 完全な対合 Φ は、φ またはその逆を繰り返し適用することで得られ、母関数における所望の対称性が保証される。

実験結果

リサーチクエスチョン

• RQ1 上昇成分を保ちつつ、戻りの数と最初の二重上昇の位置を交換する、明示的かつ可逆な写像をDyckパスに構成できるか？
• RQ2 このような写像は、固定された上昇成分の下で、戻りの数と最初の二重上昇の位置の母関数の共同対称性を示唆するか？
• RQ3 321-回避順列の母関数に観察される対称性を証明する、構成的かつ反復的な対合が存在するか？
• RQ4 321-回避順列における統計量 bl(π) と ldes(π⁻¹) をDyckパスを介してどのように組合せ的に解釈・変換できるか？
• RQ5 このような対称性を保つ対合を可能にするDyckパスの構造的性質は何か？

主な発見

• 対合 Φ は、Dyckパスの上昇成分を保存し、上昇ステップ長の多重集合が変化しないことを保証する。
• 写像は、戻りの数（ret(D)）と最初の二重上昇の位置（ldr(D)）を交換する。ここで、ldr(D) は最後の二重上昇の中点の y 座標として測定される。
• 構成は反復的かつ可逆的であり、パスの分解における三つの構造的ケースごとに明示的な逆則が提供されている。
• 対合により、関数方程式 ∑_{D∈Dₙ} x^{RISES(D)} p^{ret(D)} q^{n−ldr(D)} = ∑_{D∈Dₙ} x^{RISES(D)} p^{n−ldr(D)} q^{ret(D)} が証明される。
• この方法により、母関数における共同対称性の組合せ的証明が得られ、アディン、バグノ、ロイクマンが提起した問題が解決される。
• この結果は、321-回避順列に関連する準対称関数におけるシュール正定性の理解を拡張する、Dyckパス統計量における新たな対称性を確立する。