[论文解读] Bijections from Dyck paths to 321-avoiding permutations revisited

David Callan|ArXiv.org|Nov 16, 2007

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

一句话总结

本文重新探討了 Dyck 路徑與 321-回避排列之間的三個已知雙射——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.

研究动机与目标

• 釐清三個已知雙射（B、K、M）從 Dyck 路徑到 321-回避排列之間的結構關係。
• 定義並分析 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 三個已知雙射 B、K 和 M 從 Dyck 路徑到 321-回避排列之間的關係為何？
• RQ2 組合 K⁻¹ ◦ B 的代數結構為何？其在 Dyck 路徑集合上的作用為何？
• RQ3 為何組合 L′ ◦ L（其中 L 為 Kreweras-Lalanne 對合變換，L′ 為其衍生）為階 2n 的對合變換？
• RQ4 非相交格路對的何種幾何性質可確保 (L′ ◦ L)^n 做出路徑反轉的作用？

主要发现

• 從 Dyck 路徑到 321-回避排列的雙射 M 等於 B ◦ L 與 K ◦ L′，其中 L 為 Kreweras-Lalanne 對合變換，L′ 為其衍生。
• 組合 K⁻¹ ◦ B 等於 L′ ◦ L，其在 Dyck n-路徑上作用為階 2n 的置換。
• 變換 L′ ◦ L 為路徑反轉對合變換的第 n 次單位根，即 (L′ ◦ L)^n 會反轉路徑。
• L′ ◦ L 階數為 2n 的原因在於幾何機制：若且唯若某步驟在原始路徑對中緊接於平坦步驟之後，則其在轉向角落後會被平坦化。
• 證明依賴於追蹤最小對角線（斜率為 1 的線段）的演化，其在 L′ ◦ L 下的變化決定了步驟平坦化的順序。
• 分析顯示，在大小為 n+1 的路徑對中，每個最小對角線至多在 n−1 次 L′ ◦ L 應用後被摧毀，確保在 n 步後實現路徑反轉。