[论文解读] Set-Valued Tableaux & Generalized Catalan Numbers

Paul Drube|arXiv (Cornell University)|Jul 25, 2016

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

一句话总结

本文通過兩行標準集合值楊圖，為廣義卡塔蘭數（如Fuss-Catalan、有理卡塔蘭及網球問題解）建立了新的組合解釋。文章引入了一種從這些楊圖到弱位於最大路徑之下的格路的雙射，提供了任意兩行密度下的顯式計數公式，並證明此類楊圖的數目等於位於唯一定義的最大路徑之下的格路數目，從而解決了此類對象的計數問題。

ABSTRACT

Standard set-valued Young tableaux are a generalization of standard Young tableaux in which cells may contain more than one integer, with the added conditions that every integer at position (i, j) must be smaller than every integer at positions (i, j + 1) and (i+ 1, j). This paper explores the combinatorics of standard setvalued Young tableaux with two-rows, and how those tableaux may be used to provide new combinatorial interpretations of generalized Catalan numbers. New combinatorial interpretations are provided for the two-parameter Fuss-Catalan numbers (Raney numbers), the rational Catalan numbers, and the solution to the so-called “generalized tennis ball problem”. Methodologies are then introduced for the enumeration of standard set-valued Young tableaux, prompting explicit formulas for the general two-row case. The paper closes by drawing a bijection between arbitrary classes of two-row standard set-valued Young tableaux and collections of two-dimensional lattice paths that lie weakly below a unique maximal path.

研究动机与目标

• 使用標準集合值楊圖，為廣義卡塔蘭數提供新的組合解釋。
• 發展一種方法，用於計數具有任意單元密度的兩行標準集合值楊圖。
• 建立兩行標準集合值楊圖與弱位於最大路徑之下的格路之間的雙射。
• 推導出在任意行密度下，此類楊圖數目的顯式封閉公式。
• 解決兩行情況下標準集合值楊圖的計數問題，彌補缺乏一般性hook長度公式所留下的空白。

提出的方法

• 定義具有行標準性與列標準性條件的標準集合值楊圖，其中每個格子包含一組滿足順序約束的整數。
• 引入從楊圖到格路的映射 ψρ，其中第一行的元素對應於東向步驟，第二行的元素對應於北向步驟。
• 利用基於弱支配關係的偏序，將 ψρ 的像特徵化為格路偏序集中的一個理想。
• 證明 ψρ 的像是由最大路徑 Pmax = Ea1Nb1...EanNbn 生成的下理想，該路徑對應於按列排序的楊圖。
• 使用引理 4.1 來證明：若路徑 P1 ≥ P2 且 P1 屬於像集中，則 P2 也屬於像集，從而確保像集為向下封閉。
• 建立 S(λ, ρ) 與所有弱位於 Pmax 之下的格路集合之間的雙射，從而證明定理 4.2。

实验结果

研究问题

• RQ1 如何利用兩行矩形形狀的標準集合值楊圖來解釋廣義卡塔蘭數？
• RQ2 在兩行集合值楊圖中，給定密度對應的格路集合具有何種結構？
• RQ3 能否推導出具有任意兩行密度的標準集合值楊圖數目的封閉公式？
• RQ4 是否存在一個自然的最大路徑，可作為 ψρ 映射下所有有效格路像的界？
• RQ5 所得的路徑集合與已知組合對象（如有理Dyck路徑與Fuss-Catalan路徑）有何關係？

主要发现

• 對於形狀為 (n²)、行常數密度 ρ1,j = k−1 與 ρ2,j = 1 的標準集合值楊圖，其數目等於 k-Catalan 數 Ck_n。
• 當 a,b 互質時，對於形狀為 (a²)、ρ1,j = 1 與 ρ2,j = ⌊bj/a⌋ − ⌊b(j−1)/a⌋ 的標準集合值楊圖，其數目等於有理卡塔蘭數 C(a,b) = (1/(a+b)) × C(a+b,a)。
• (s,t)-網球問題的解在組合上被解釋為形狀為 (n+1)²、ρ1,j = t 與 ρ2,j = s−t 的標準集合值楊圖的數目。
• 從楊圖到格路的映射 ψρ 是單射，其像集為所有弱位於最大路徑 Pmax = Ea1Nb1...EanNbn 之下的路徑所構成的下理想。
• 此類楊圖的數目等於弱位於 Pmax 之下的格路數目，從而提供了完整的組合特徵化。
• 最大楊圖 Tmax（其中元素按列遞增排列，且列之間也依序遞增）映射至 Pmax，且所有有效楊圖對應於位於其下的路徑。