[論文レビュー] Interlaced rectangular parking functions

Jean-Christophe Aval, François Bergeron|arXiv (Cornell University)|Mar 13, 2015

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

ひとこと要約

本稿は、Grossman-Bizleyの枠組みを拡張し、$m\times n$-長方形内での入れ子な長方形パーキング関数の二重Frobenius特徴の明示的公式を導出する。垂直方向と水平方向のステップはそれぞれ$1$から$n$、$1$から$m$に独立にラベル付けされる。この公式は、このような関数の${\mathbb{S}_n \times \mathbb{S}_m}$-加群の完全可約分解を特徴づけ、互いに素な$m,n$の場合の先行研究を一般化し、Armstrong-Loehr-Warringtonの公式を特別な場合として含む。

ABSTRACT

The aim of this work is to extend to a general $S_m imes S_n$-module context the Grossman-Bizley paradigm that allows the enumeration of Dyck paths in a $m imes n$-rectangle. We obtain an explicit formula for the the "bi-Frobenius" characteristic of what we call {\em interlaced} rectangular parking functions in an $m imes n$-rectangle. These are obtained by labelling the $n$ vertical steps of an $m imes n$-Dyck path by the numbers from $1$ to $n$, together with an independent labelling of its horizontal steps by integers from $1$ to $m$. Our formula specializes to give the Frobenius characteristic of the $S_n$-module of $m imes n$-parking functions in the general situation. Hence, it subsumes the result of Armstrong-Loehr-Warrington which furnishes such a formula for the special case when $m$ and $n$ are coprime integers.

研究の動機と目的

• $\mathbb{S}_n \times \mathbb{S}_m$-加群が入れ子な長方形パーキング関数に作用する文脈において、Grossman-Bizley数え上げの枠組みを拡張すること。
• 垂直方向と水平方向のステップがそれぞれ独立に$1$から$n$、$1$から$m$にラベル付けされた$m\times n$-パーキング関数の${\mathbb{S}_n \times \mathbb{S}_m}$-加群の二重Frobenius特徴の明示的公式を提供すること。
• $m$と$n$が互いに素でない場合にまで一般化された、$m\times n$-パーキング関数のFrobenius特徴のArmstrong-Loehr-Warringtonの公式への拡張。
• $m\times n$-Dyckパスの数え上げと対称関数の間の関係を、環準同型$\Theta_{a,b}$を介して確立すること。
• 特にフックシュール関数および一般の分割に対して、$\Theta_{a,b}$による対称関数の像のシュール正値性を調査すること。

提案手法

• $m\times n$-Dyckパスを、高さ$k$における南方向ステップの$x$座標を表す整数列$\alpha = a_1a_2\cdots a_n$として表現し、$(m,n)$-階段$\delta_{m,n}$の制約下に置く。
• 垂直ステップが$1$から$n$、水平ステップが$1$から$m$に独立にラベル付けされた$ m\times n $-Dyckパスとして、入れ子な長方形パーキング関数を定義する。
• 対称関数環$\Lambda$上の環準同型$\theta_{a,b}$を定義し、$\theta_{a,b}(p_k(\mathbf{x})) = \frac{1}{a+b}\binom{ak+bk}{ak}$により、Grossman-Bizley公式を一般化する。
• $\Lambda$から対称関数上の作用素への準同型$\Theta_{a,b}$を構成し、楕円Hall代数と同型であることを用いて二重Frobenius特徴を符号化する。
• スカラー積$\langle -, h_n(\mathbf{y}) \rangle$を用いて、二重Frobenius公式から$\mathbb{S}_n$-加群のFrobenius特徴を抽出する。
• Dyckパス、組み合わせ、分割の間の双対写像を用い、特徴のシュール関数展開を多項係数および部品の重複度と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 $m\times n$-DyckパスのGrossman-Bizley数え上げ公式を、垂直方向と水平方向のステップがそれぞれ独立にラベル付けされた場合にどのように拡張できるか。
• RQ2 $\mathbb{S}_n \times \mathbb{S}_m$-加群の入れ子な長方形パーキング関数の二重Frobenius特徴の明示的公式は何か。
• RQ3 この公式は、$m$と$n$が互いに素な場合に、Armstrong-Loehr-Warringtonの結果をどのように回復するか。
• RQ4 $\Theta_{a,b}$による対称関数の像はシュール正値であるか。特にフックシュール関数に対しては。
• RQ5 楕円Hall代数の枠組みを、面積とdinv統計を含む三パrameter生成関数を記述するために拡張できるか。

主な発見

• 本稿は、部品の重複度を用いた和として表される、$\mathbb{S}_n \times \mathbb{S}_m$-加群の入れ子な長方形パーキング関数の二重Frobenius特徴の明示的公式（定理4）を提供する。
• $m$と$n$が互いに素な場合、この公式はArmstrong-Loehr-Warringtonの公式に特殊化され、$\mathbb{S}_n$-加群の$ m\times n $-パーキング関数のFrobenius特徴が回復される。
• 準同型$\Theta_{a,b}$は対称関数環$\Lambda$から作用素への写像であり、$(-1)^j s_{(k|j)}(\mathbf{x})$への作用は$h$-正値な表現をもたらし、シュール正値性を示唆する。
• 広範な実験の結果、すべての分割$\mu$に対して$\Theta_{a,b}((-1)^{\iota(\mu)} s_\mu(\mathbf{x}))$がシュール正値であることが示唆される。ここで$\iota(\mu)$は対角の下にあるセルの数を数える。
• 二重Frobenius特徴の公式は、生成関数において同一の部品構造を持つ組み合わせを集約することで導出され、多項係数$\binom{j}{\lambda}$が用いられる。
• 面積とdinv統計を含む生成関数$\sum_{\alpha \in \mathscr{D}_{m,n}} q^{\mathrm{area}(\alpha)} \alpha(\mathbf{x};t) \alpha'(\mathbf{y};r)$は、適切なパrameterの設定により、主公式（4.1）の右辺に特殊化される。