[論文レビュー] Results and conjectures on simultaneous core partitions

Drew Armstrong, Christopher R. H. Hanusa+1 more|arXiv (Cornell University)|Aug 2, 2013

Advanced Combinatorial Mathematics参考文献 10被引用数 8

ひとこと要約

本稿は、互いに素な整数 $a$ と $b$ に対する同時コア分割を研究し、アバカス図を用いて $2n$- および $(2n+1)$-コア分割と型 $C_n$ の $m$-シーア配置における支配的アルコーブの間の全単写を確立する。また、$q$-アナログ版の型 $A$ および $C$ コンフォーター＝カタラン数を生み出す主要指数統計量を導入し、アバカスモデルを通じて型 $A$ と $C$ の組合せ論を統一し、フィッシュェル–バジラーニのシーア配置に関する結果を一般化する。

ABSTRACT

An n-core partition is an integer partition whose Young diagram contains no hook lengths equal to n. We consider partitions that are simultaneously a-core and b-core for two relatively prime integers a and b. These are related to abacus diagrams and the combinatorics of the affine symmetric group (type A). We observe that self-conjugate simultaneous core partitions correspond to the combinatorics of type C, and use abacus diagrams to unite the discussion of these two sets of objects. In particular, we prove that (2n)- and (2mn+1)-core partitions correspond naturally to dominant alcoves in the m-Shi arrangement of type C_n, generalizing a result of Fishel--Vazirani for type A. We also introduce a major statistic on simultaneous n- and (n+1)-core partitions and on self-conjugate simultaneous (2n)- and (2n+1)-core partitions that yield q-analogues of the Coxeter-Catalan numbers of type A and type C. We present related conjectures and open questions on the average size of a simultaneous core partition, q-analogs of generalized Catalan numbers, and generalizations to other Coxeter groups. We also discuss connections with the cyclic sieving phenomenon and q,t-Catalan numbers.

研究の動機と目的

• 互いに素な $a,b$ に対する同時 $a$-および $b$-コア分割の組合せ論を、特に型 $A$ および $C$ におけるアフィン・ワイル群の構造と統一すること。
• フィッシュェル–バジラーニの型 $A$ の $m$-シーア配置における支配的アルコーブに関する結果を、アバカス図を用いて型 $C$ に一般化すること。
• 同時 $n$-および $(n+1)$-コア分割および自己双対 $2n$-および $(2n+1)$-コア分割に対する主要指数統計量を定義・分析し、コクセター＝カタラン数の $q$-アナログを生成すること。
• 平均サイズ、一般化カタラン数の $q$-アナログ、および他のコクセター群への拡張に関する、平均サイズ、$q$-アナログ版一般化カタラン数、および他のコクセター群への拡張に関する予想を提示・検討すること。

提案手法

• アバカス図を用いて整数分割を符号化し、ビーズの位置とランナー構造を用いてコア条件をモデル化する。
• 型 $C_n$ の $m$-シーア配置は支配的アルコーブを通じて分析され、アバカス図が $2n$-および $(2mn+1)$-コア分割へ全単写を提供する。
• アバカス図に対応する格子路に主要指数統計量を定義し、ランナー間のビーズ位置における下降の寄与を導出する。
• アバカス図とデイクパス（または $N$-$E$ 格子路）との間の全単写により、主要指数統計量をルートに基づく和に翻訳できる。
• 各ランナーにおける最下位ビーズの位置が格子路における北方向ステップに対応することを用い、ビーズ列における下降が主要指数の寄与を決定する。
• マクマヘンの古典的結果を $q$-カタラン数に応用し、得られた生成関数が型 $A$ および $C$ の $q$-アナログと一致することを検証する。

実験結果

リサーチクエスチョン

• RQ1 型 $C_n$ の $m$-シーア配置における支配的アルコーブの組合せ論的性質を、アバカス図および同時コア条件を用いてどのように特徴づけられるか。
• RQ2 同時 $n$-および $(n+1)$-コア分割に対する主要指数統計量の構造は何か。この統計量は型 $A$ カタラン数の $q$-アナログを生成する。
• RQ3 自己双対 $2n$-および $(2n+1)$-コア分割に対する類似の主要指数統計量は何か。この統計量は型 $C$ カタラン数の $q$-アナログを生成する。
• RQ4 同時コアを用いて支配的領域をラベル付ける際、型 $A$ や $C$ におけるすべての（支配的でない）シーア領域をパrameter化するのに追加で必要なデータは何か。
• RQ5 アバカスの位置に関する関数 $f(i)$ で、凸性条件を満たすアバカスの有限集合を生成するものは何か。このような集合は直接に数え上げ可能か。

主な発見

• 集合 $2n$-および $(2mn+1)$-コア分割は、型 $C_n$ の $m$-シーア配置における支配的アルコーブと全単写である。これはフィッシュェル–バジラーニの型 $A$ の結果を一般化する。
• 同時 $n$-および $(n+1)$-コア分割における主要指数統計量 $\mathsf{maj}_A(\lambda)$ は、$\mathsf{maj}_A(\lambda) = \mathsf{maj}(L)$ を満たし、$L$ は対応するデイクパスを表す。この関係により、型 $A$ カタラン数の $q$-アナログが得られる。
• 自己双対 $2n$-および $(2n+1)$-コア分割に対しては、統計量 $2\cdot\mathsf{maj}_C(\lambda)$ が対応する格子路の主要指数に等しくなり、型 $C$ カタラン数の $q$-アナログを生成する。
• アバカスモデルにより、型 $A$ および $C$ における同時コア分割が一様に扱える。ビーズの位置がフック長の制約とパス統計量を符号化する。
• アバカスのビーズ列における下降からの寄与の和が、全主要指数を構成する。型 $A$ および $C$ に対して、それぞれ式 (5.1) および (5.2) に明示的な公式が与えられる。
• 本稿は、$n$-および $(n+1)$-コア分割における主要指数の生成関数が型 $A$ の $q$-カタラン数と一致することを確立している。同様に、型 $C$ に対しても同様の一致が成立する。