[论文解读] Combinatorics of the permutation tableaux of type B

Sylvie Corteel, Matthieu Josuat-Vergès+1 more|arXiv (Cornell University)|Mar 1, 2012

Advanced Combinatorial Mathematics参考文献 19被引用 6

一句话总结

本文通過類型B的置換表台引入並研究了類型B歐拉數的q-類似物，利用置換表台推廣了類型A的工具，如矩陣解法、標記Motzkin路徑和連分數。它建立了關於帶符號置換的對稱q-歐拉多項式，並與Narayana數、交叉、對齊及旗統計量建立聯繫，為類型B統計量及其生成函數提供了全面的組合框架。

ABSTRACT

Permutation tableaux are combinatorial objects related with permutations and various statistics on them. They appeared in connection with total positivity in Grassmannians, and stationary probabilities in a PASEP model. In particular they gave rise to an interesting q-analog of Eulerian numbers. The purpose of this article is to study some combinatorial properties of type B permutation tableaux, defined by Lam and Williams, and links with signed permutation statistics. We show that many of the tools used for permutation tableaux generalize in this case, including: the Matrix Ansatz (a method originally related with the PASEP), bijections with labeled paths and links with continued fractions, bijections with signed permutations. In particular we obtain a q-analog of the type B Eulerian numbers, having a lot in common with the previously known q-Eulerian numbers: for example they have a nice symmetry property, they have the type B Narayana numbers as constant terms. The signed permutation statistics arising here are of several kinds. Firstly, there are several variants of descents and excedances, and more precisely of flag descents and flag excedances. Other statistics are the crossings and alignments, which generalize a previous definition on (unsigned) permutations. There are also some pattern-like statistics arising from variants of the bijection of Fran\ccon and Viennot.

研究动机与目标

• 將置換表台的組合框架從類型A推廣至類型B，融入帶符號置換與新統計量。
• 利用矩陣解法與標記Motzkin路徑，定義並研究類型B歐拉數的q-類似物。
• 在類型B設定下，建立對稱性質，並與Narayana數及連分數建立聯繫。
• 將旗下降與旗超越統計量推廣至帶符號置換，並與表台統計量關聯。
• 探討涉及插入、巢狀與生成函數組合證明的開放問題。

提出的方法

• 將矩陣解法擴展至類型B置換表台，以推導生成函數與遞推關係。
• 使用標記Motzkin路徑編碼表台，根據表台參數為上升、下降與水平步驟分配權重。
• 透過路徑組分上的遞推關係，推導出B_n(y,t,q)生成函數的連分數展開。
• 在帶符號置換上組合定義交叉與對齊，並證明其滿足關鍵恆等式：2cr(π) + al(π) = n² - 2n + fwex(π)。
• 明確計算生成函數B_n(y,1,0)，顯示其等於二項係數平方之和，與類型B Narayana數相連。
• 透過帶符號置換的鴕鳥圖證明q-歐拉多項式的對稱性，推廣類型A的對稱性。

实验结果

研究问题

• RQ1 如何將矩陣解法適應於構造類型B置換表台的生成函數？
• RQ2 類型B的q-歐拉數在帶符號置換及其統計量下的組合解釋為何？
• RQ3 能否直接從表台結構證明類型Bq-歐拉多項式的對稱性？
• RQ4 在帶符號置換中，交叉、對齊與旗超越之間的關係為何？
• RQ5 這些結果能否擴展以包含巢狀統計量，或推廣至參數t在B_n(y,t,q)中的其他形式？

主要发现

• 類型B置換表台的q-歐拉多項式B_n(y,t,q)具有對稱性：B_n,k*(t,q) = B_n,2n+1−k*(t,q)，推廣了類型A的對稱性。
• 當q=0時，生成函數B_n(y,1,0)的值為∑_{i=1}^{2n} y^i * binom(n, floor(i/2)) * binom(n-1, ceil(i/2)−1)，其係數為類型B Narayana數binom(n,k)^2。
• 恆等式2cr(π) + al(π) = n² − 2n + fwex(π)對帶符號置換π成立，推廣了類型A中已知的恆等式。
• B_n(y,t,q)的生成函數具有連分數展開，其來自帶權重步驟的標記Motzkin路徑上的遞推關係。
• 係數B_n,k(t,q) = [y^k]B_n(y,t,q)僅在1 ≤ k ≤ 2n或k=0時非零，且當t=0時退化為q-歐拉數E_n,k(q)。
• 建立了類型B置換表台與帶符號置換之間的雙射，統計量如行數、對角線1的數量與多餘1的數量對應至旗超越與交叉。