[論文レビュー] Set-Valued Tableaux & Generalized Catalan Numbers

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

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

ひとこと要約

本稿は、Fuss-Catalan数、有理Catalan数、テニスボール問題の解など、一般化されたCatalan数の新しい組合せ的解釈を、2行の標準的セット値ヤング盤を用いて確立する。2行の標準的セット値ヤング盤と、最大経路の下に弱く位置する格子路との間の双対写像を導入し、任意の2行密度に対する明示的な数え上げ公式を提示。また、このような盤の数が、一意的に定義された最大経路の下にある格子路の数に等しいことを証明し、このクラスの数え上げ問題を解決する。

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.

研究の動機と目的

• 標準的セット値ヤング盤を用いて、一般化されたCatalan数の新しい組合せ的解釈を提供すること。
• 任意のセル密度をもつ2行の標準的セット値ヤング盤を数えるための手法を開発すること。
• 2行の標準的セット値ヤング盤と、最大経路の下に弱く位置する格子路との間の双対写像を確立すること。
• 任意の行密度におけるこのような盤の数の明示的閉形式公式を導出すること。
• 2行の場合の標準的セット値ヤング盤の数え上げ問題を解決し、一般のフック長の公式が存在しないという空白を埋めること。

提案手法

• 各行と各列が標準的である条件を満たす標準的セット値ヤング盤を定義し、各セルが順序制約を満たす整数の集合を含むこと。
• 表盤から格子路への写像 ψρ を導入し、1行目の要素を東進み（East）に、2行目の要素を北進み（North）に割り当てる。
• 弱い優位性に基づく部分順序を用いて、格子路のposetにおける順序イデアルとして ψρ の像を特徴付ける。
• ψρ の像が、列ごとにソートされた表盤に対応する最大経路 Pmax = Ea1Nb1...EanNbn によって生成される順序イデアルであることを証明する。
• 補題4.1を用いて、P1 ≥ P2 かつ P1 が像に属するならば P2 も像に属することを示し、像が下向き閉じていることを保証する。
• S(λ, ρ) と、Pmax の下に弱く位置するすべての格子路の集合との間の双対写像を確立し、定理4.2を証明する。

実験結果

リサーチクエスチョン

• RQ1 2行の長方形形状の標準的セット値ヤング盤は、どのように一般化されたCatalan数を解釈できるか？
• RQ2 2行のセット値ヤング盤における与えられた密度に対応する格子路の集合の構造は何か？
• RQ3 任意の2行密度をもつ標準的セット値ヤング盤の数の閉形式公式を導出できるか？
• 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⌋ をもつ標準的セット値ヤング盤の数は、有理Catalan数 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 に写され、すべての有効な表盤はそれより下の経路に対応する。