[论文解读] Enumeration of permutations starting with a longest increasing subsequence

Greta Panova|arXiv (Cornell University)|May 13, 2009

Advanced Combinatorial Mathematics参考文献 1被引用 2

一句话总结

本文為一個公式提供了兩種基本的雙射證明，該公式用於計數 $S_n$ 中前 $n-k$ 個元素遞增且最長遞增子序列長度為 $n-k$ 的排列。通過 RSK 對應關係與直接的排列雙射，本文建立了封閉表達式及其 $q$-類比，解決了最初使用特徵多項式方法推導出的結果。

ABSTRACT

We prove a formula for the number of permutations in $S_n$ such that their first $n-k$ entries are increasing and their longest increasing subsequence has length $n-k$. This formula first appeared as a consequence of character polynomial calculations in recent work of Adriano Garsia and Alain Goupil. We give two `elementary' bijective proofs of this result and of its $q$-analogue, one proof using the RSK correspondence and one only permutations.

研究动机与目标

• 提供原本使用特徵多項式技術推導出的公式之基本組合證明。
• 建立 $S_n$ 中前 $n-k$ 個元素遞增且最長遞增子序列長度為 $n-k$ 的排列之封閉形式計數。
• 將結果推廣至 $q$-類比，透過排列統計量捕捉加權計數。
• 提出兩種不同的雙射方法——一種使用 RSK 對應關係，另一種純粹基於排列的組合方法——以提供更深入的結構洞察。

提出的方法

• 利用 RSK 對應關係將排列映射至標準楊氏表的對，將遞增子序列的結構與表的形狀聯繫起來。
• 構造從目標排列集合到已知計數的組合類之間的直接雙射，避免使用特徵多項式機制。
• 定義第二種純粹基於排列的雙射，保持遞增前綴與最長遞增子序列長度不變。
• 透過在雙射中追蹤逆序統計量或其他排列統計量，引入 $q$-類比。
• 驗證兩種雙射均保持必要條件：前 $n-k$ 個元素遞增且 LIS 長度為 $n-k$。
• 利用標準楊氏表與 RSK 對應關係的性質，確保構造的正確性與雙射性。

实验结果

研究问题

• RQ1 能否在不使用特徵多項式方法的情況下證明 $S_n$ 中前 $n-k$ 個元素遞增且最長遞增子序列長度為 $n-k$ 的排列數量公式？
• RQ2 是否存在直接利用 RSK 對應關係實現此排列計數的雙射構造？
• RQ3 是否存在一種純粹基於排列的雙射，可避開楊氏表，同時證明該公式？
• RQ4 如何組合地構造並驗證此計數的 $q$-類比？
• RQ5 在這些雙射下，排列的哪些結構性質被保持，它們如何反映 LIS 與前綴約束？

主要发现

• 本文提供了兩種獨立的雙射證明，一種透過 RSK 對應關係，另一種僅基於排列。
• 透過相同的雙射框架，建立了公式的 $q$-類比，並保持了 $q$-加權計數。
• 證明此類排列的數量等於特定形狀的標準楊氏表的數量，從而確認公式的正確性。
• 雙射顯示，前 $n-k$ 個元素遞增且 LIS 長度為 $n-k$ 的條件可透過組合方法編碼，無需代數特徵理論。
• 結果確認了最初透過特徵多項式計算推導出的公式，現已獲得明確且構造性的證明。
• 構造揭示了排列模式、遞增子序列與楊氏表之間更深的聯繫，豐富了對此問題的組合理解。