[论文解读] Major Index Over Descent for Pattern-avoiding Permutations

William J. Keith|arXiv (Cornell University)|Jul 5, 2017

Advanced Combinatorial Mathematics参考文献 3被引用 3

一句话总结

本文為具有固定下降數的321-避免排列中主要指數的分佈提供了一個公式，證明了兩次下降情況下的單峰性。它細化了兩行分拆的Frame-Robinson-Thrall勾長公式之$q$-類比，並建立了與標準楊表的聯繫，為證明321-避免排列中主要指數分佈的長期未解猜想提供了途徑。

ABSTRACT

An open conjecture in pattern avoidance theory is that the distribution of the major index among 321-avoiding permutations is distributed unimodally. We construct a formula for this distribution, and in the case of 2 descents prove unimodality, with unimodality for 3 through 5 descents likely being little more complicated. The formula refines the $q$-analogue of the Frame-Robinson-Thrall hooklength formula for two-rowed partitions, and in the latter part of the paper we discuss another theorem of the same type, and further exploration toward this question. We also give observations on the analogous behaviors for other permutation patterns of length 3.

研究动机与目标

• 解決關於具有固定下降數的321-避免排列中主要指數分佈為單峰的開放猜想。
• 推導出形狀為$(n-k,k)$、具有$i$次下降的標準楊表的主要指數生成函數的封閉形式公式。
• 使用組合與代數技術，建立兩次下降情況下的單峰性。
• 探索模式避免排列、標準楊表與$q$-類比勾長公式之間的聯繫。
• 為將單峰性證明推廣至更高下降數奠定基礎。

提出的方法

• 推導出$f_{(n-k,k),i}(q)$的封閉形式公式，即形狀為$(n-k,k)$、具有$i$次下降的標準楊表的主要指數生成函數。
• 以Frame-Robinson-Thrall勾長公式為基礎，透過$q$-二項式係數與$q$-整數加以細化。
• 應用遞推關係與不同形狀楊表之間的雙射，以證明基礎情況，特別是$i=2$的情況。
• 使用符號計算來驗證由遞推代換產生的複雜$q$-二項式恆等式。
• 建立形狀為$(m,k,1)$、具有兩次下降的楊表與形狀為$(m+1,k+1)$、具有兩次下降的楊表之間的雙射，且主要指數增加1。
• 利用Robinson-Schensted對應關係與已知的$q$-對稱與單峰多項式結果，以支持相關猜想。

实验结果

研究问题

• RQ1 對於所有$k$，具有$k$次下降的321-避免排列中主要指數的分佈是否為單峰？
• RQ2 能否推導出形狀為$(n-k,k)$、具有$i$次下降的標準楊表的主要指數生成函數的封閉形式公式？
• RQ3 多項式$f_{(n-k,k),i}(q)$是否對所有$n,k,i$均具有對稱性與單峰性？
• RQ4 模式避免排列與標準楊表的Stanley勾長公式之間存在何種結構性聯繫？
• RQ5 用於兩行與三行形狀的遞推方法能否推廣至任意分拆？

主要发现

• 本文推導出封閉形式公式：$f_{(n-k,k),i}(q)=\frac{q^{k+i^{2}-i}(1-q^{n-2k+1})}{1-q^{i}}\left[{{k-1}\atop{i-1}}\right]_{q}\left[{{n-k}\atop{i-1}}\right]_{q}$，該公式給出了形狀為$(n-k,k)$、具有$i$次下降的標準楊表的主要指數生成函數。
• 當$i=2$時，多項式$f_{(n-k,k),2}(q)$具有對稱性與單峰性，其中心項位於$n$，這意味著$A_{n,2}(q)$是單峰的。
• 當$i=1$時，透過直接的組合論證可得其為單峰：$A_{n,1}(q) = (1+q)^n - \sum_{j=0}^{n} q^j$。
• 經驗驗證支持$f_{(n-k,k),i}(q)$在$n \leq 30$時具有對稱性與單峰性，暗示完整猜想可能成立。
• 三行形狀$(m,k,1)$的公式為$f_{(m,k,1),i}(q)=q^{k+i^{2}-2i+2}\frac{(1-q^{m-k+1})(1-q^{i-1})}{(1-q^{i})(1-q)}\left[{k\atop{i-1}}\right]_{q}\left[{{m+1}\atop{i-1}}\right]_{q}$，透過遞推與雙射驗證。
• 遞推方法僅適用於小的$i$與特定形狀，表明需借助更深入的對稱函數理論，方能將其推廣至兩行與三行以外的情況。