[論文レビュー] Padded Schubert polynomials and weighted enumeration of Bruhat chains

Christian Gaetz, Yibo Gao|arXiv (Cornell University)|Apr 30, 2019

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

ひとこと要約

本論文は、パディングされたシューベルト多項式を用いた統一的枠組みを導入し、対称群における強いブルハート順序における飽和鎖の1パラメータ族の重み付き列挙恒等式を証明する。スタームブリッジ（シェヴァリエの重み）とマクドナルド（縮約語の恒等式）の古典的結果を一般化し、特定の重み割り当て（置換行列内の領域に基づく）のもとで、単位元から最長置換 w₀ への最大鎖の総重み付き数え上げが、パラメータ z に依存せず常に (n choose 2)! であることを示す。主な貢献は、コード重みとシェヴァリエ重みの恒等式の共通一般化であり、重み付き鎖の総数がパラメータ z に依存しないことである。

ABSTRACT

We prove a common generalization of the fact that the weighted number of maximal chains in the strong Bruhat order on the symmetric group is ${n \choose 2}!$ for both the code weights and the Chevalley weights. We also define weights which give a one-parameter family of strong order analogues of Macdonald's reduced word identity for Schubert polynomials.

研究の動機と目的

• 強いブルハート順序における最大鎖の古典的重み付き列挙結果（スタームブリッジの「シェヴァリエ重み」およびマクドナルドの「縮約語恒等式」）を統一・一般化すること。
• 単位元 e から最長置換 w₀ への最大鎖のコード重みとシェヴァリエ重みの数え上げが、両方とも (n choose 2)! に一致するという驚くべき一致を説明すること。
• 強いブルハート順序における被覆関係に1パラメータ族の重みを定義し、コード重みとシェヴァリエ重みの両方を一般化すること。
• 新しい重み定義のもとで、単位元 e から最長置換 w₀ への最大鎖の総重み付き数え上げが、パラメータ z のすべての値に対して (n choose 2)! に一定であることを証明すること。

提案手法

• 置換行列における転置 (i j) の周囲の4領域（A, B, C, D）に含まれる点の数 a, b, c, d を用いて、重み関数 f(v ⋖ w) = 1 + a zA + b zB + c zC + d zD を導入する。
• zA, zB, zC, zD を多重集合 {0, 0, z, 2−z} に特殊化することで1パラメータ族の重みを定義し、総鎖数 mwt(e, w₀) が z に依存しないことを証明する。
• パディングされたシューベルト多項式の代数的構造と分離差分作用素の作用を用いて、重み付き鎖の数え上げを分析する。
• シューベルト多項式に M + zR 演算子を作用させることで、重み付き鎖の母関数を導出する。ここで M はシェヴァリエ重みを符号化し、R はコード重みに類似した項を符号化する。
• 帰納法と主スペシャルイゼーション技術を用いて、パラメータ z に対する重み付き鎖の数え上げの不変性を証明する。
• ブルハート順序の対称性（例えば、逆転、w₀ による左/右乗算）を活用し、証明におけるケース数を削減する。

実験結果

リサーチクエスチョン

• RQ1 なぜコード重みとシェヴァリエ重みの両方において、e から w₀ への最大鎖の重み付き数え上げが (n choose 2)! に一致するのか？
• RQ2 コード重みとシェヴァリエ重みの両方を一般化する1パラメータ族の重みを1つに構成できるか？
• RQ3 e から w₀ への最大鎖の総重み付き数え上げが、重みの1パラメータ変形に対して不変であるか？
• RQ4 マクドナルドの縮約語恒等式の強い順序版が、1パラメータ族の重みに拡張可能か？その場合、同じ定数値 (n choose 2)! をとるか？
• RQ5 新しいパラメータ族の重みにおいて、重み付き鎖の数え上げが z に依存しないという性質を保証する代数的メカニズムは何か？

主な発見

• 重み関数 f(v ⋖ w) = 1 + a zA + b zB + c zC + d zD において、{zA, zB, zC, zD} = {0, 0, z, 2−z} として多重集合に特殊化したすべてのケースにおいて、単位元 e から最長置換 w₀ への最大鎖の総重み付き数え上げは、正確に (n choose 2)! に等しい。
• wt(v ⋖ vtij) = αi + ... + αj−1 + (bv⋖w − dv⋖w)z で定義される1パラメータ族の重みにおいて、総鎖数 mwt(e, w₀) = (n choose 2)! · ∏(k<ℓ)(αk + ... + αℓ−1)/(ℓ−k) が得られ、これは z に依存しない。
• wt(v ⋖ w) = 1 + bv⋖w(2−z) + cv⋖w z で定義される重みにおいて、恒等式 mwt(w, w₀) = ( (n choose 2) − ℓ(w) )! · Sw(1, ..., 1) が成り立つ。これはマクドナルドの縮約語恒等式の強い順序版を証明する。
• z = 0 に特殊化すると、重み族はスタームブリッジのシェヴァリエ重みの結果を回復し、マクドナルド型族においても z = 0 に特殊化するとコード重み恒等式が回復する。
• z-不変性の証明は、(M + zR)^(n choose 2) における Sw₀ の係数が z に依存しないことに依存しており、これは R 演算子を右に移動させ、定数 1 における R の消滅を用いた組合せ的議論によって示される。