[論文レビュー] Poset edge densities, nearly reduced words, and barely set-valued tableaux

Victor Reiner, Bridget Eileen Tenner+1 more|arXiv (Cornell University)|Mar 31, 2016

Advanced Combinatorial Mathematics参考文献 35被引用数 9

ひとこと要約

本稿は、特定の有限部分順序集合（poset）— 例えば、鎖のカルテシアン積、コクセター群上の弱ブルハート順序、ヤングの格子における下位区間 — が、一様分布とチェーン重み付き確率分布の下で期待される下位次数が等しい「偶然の下位次数期待値」（CDE）を示す。主な貢献は、0-ヘッケ代数の因数分解を用いた統一的枠組みであり、特にベキ等的順列と長方形ステアケ階段形状に対して、期待される下位次数が正確に $(d-1)ab/(a+b)$ に等しくなることを証明し、これにより、縮約語の組み合わせ論、グロチエンディーク多項式、および集合値表の関係が統一される。

ABSTRACT

In certain finite posets, the expected down-degree of their elements is the same whether computed with respect to either the uniform distribution or the distribution weighting an element by the number of maximal chains passing through it. We show that this coincidence of expectations holds for Cartesian products of chains, connected minuscule posets, weak Bruhat orders on finite Coxeter groups, certain lower intervals in Young's lattice, and certain lower intervals in the weak Bruhat order below dominant permutations. Our tools involve formulas for counting nearly reduced factorizations in 0-Hecke algebras; that is, factorizations that are one letter longer than the Coxeter group length.

研究の動機と目的

• 有限部分順序集合における一様分布とチェーン重み付き確率分布の下で、期待される下位次数が等しくなる条件を調査すること。
• この一致（CDE と呼ばれる）が、多様な部分順序集合において、組合せ論的および代数的条件のもとでどのように発生するかを理解すること。
• 0-ヘッケ代数の因数分解を用いて、ヤングの格子における辺密度、弱ブルハート順序、および最小部分順序集合の結果を統一すること。
• 特に長方形ステアケ分割に対して、共通の期待される下位次数の公式を提示すること。
• 0-ヘッケ代数におけるほぼ縮約された因数分解の理論を拡張し、部分順序集合の辺密度に関する構造的結果を証明すること。

提案手法

• 部分順序集合における一様分布とチェーン重み付き分布の下での下位次数期待値が等しいことを、CDE 性質として定義する。
• 0-ヘッケ代数の因数分解を用い、コクセター長より1つ長い「ほぼ縮約語」を数え、グロチエンディーク多項式と関連付ける。
• 指数型母関数とライブニッツの公式を用いて、因数分解数の母関数に対する微分方程式を導出する。
• フラグ付き集合値表とアンクラウディング写像を用い、0-ヘッケ語と表の統計量を関連付ける。
• 遷移公式とグロチエンディーク多項式の性質を用い、因数分解数と対称関数の恒等式を結びつける。
• 長方形ステアケ形状 $\delta_d(b^a)$ に対して、母関数の恒等式とスターリング数の係数を用いて、期待される下位次数が $(d-1)ab/(a+b)$ に等しいことを証明する。

実験結果

リサーチクエスチョン

• RQ1 一様分布とチェーン重み付き分布の下で、部分順序集合の期待される下位次数が一致する条件は何か？
• RQ2 ほぼ縮約語の0-ヘッケ代数因数分解を用いて、部分順序集合における辺密度をどのように計算できるか？
• RQ3 長方形ステアケ形状に対して、ヤングの格子の下位区間および弱ブルハート順序における共通の期待される下位次数の正確な値は何か？
• RQ4 弱ブルハート順序や最小部分順序集合のような特定の部分順序集合が、確率測度が異なるにもかかわらず CDE 性質を示すのはなぜか？
• RQ5 CDE 性質は、このような部分順序集合の双対に対しても拡張可能か？ どのような条件下で成立するか？

主な発見

• ヤングの格子の $[\varnothing, \lambda]$ と弱ブルハート順序の $[e, w]$ は、任意のベキ等的順列 $w$ に対して、$\lambda$ の形状がどれであっても、$Y$-期待値が同一である。$w$ が支配的、グラスマンニアン、または逆グラスマンニアンであっても同様である。
• グラスマンニアンまたは逆グラスマンニアン $w$ の場合、$X$-期待値（一様分布）も $[\varnothing, \lambda]$ と $[e, w]$ の間で一致し、完全な CDE が成立する。
• $\lambda = \delta_d(b^a)$ が長方形ステアケ形状であるとき、両方の部分順序集合とその双対は CDE であり、共通の期待される下位次数は $(d-1)ab/(a+b)$ に等しい。
• 証明は、$\mathfrak{G}^{(1)}_w(e^t - 1, \dots, e^t - 1)$ を含む母関数の恒等式に依存しており、これはフラグ付き集合値表とスターリング数を用いて 0-ヘッケ語を数える。
• 期待される下位次数の公式は、指数型母関数と恒等式 $\left[\frac{t^L}{L!}\right](e^t - 1)^j = j! S(L,j)$ を用いて導出され、因数分解数とスターリング数を結びつける。
• CDE 性質は、階数付き部分順序集合のカルテシアン積に関して保存され、連結な最小部分順序集合およびその分配的格子 $J(P)$ に対しても成立する。