[論文レビュー] Doubly-refined enumeration of Alternating Sign Matrices and determinants of 2-staircase Schur functions

Philippe Biane, Luigi Cantini+1 more|arXiv (Cornell University)|Jan 18, 2011

Advanced Combinatorial Mathematics参考文献 18被引用数 5

ひとこと要約

本稿では、2段階の階段図形に関連するシュール関数に対する行列式の恒等式を確立し、二重に精製された交代符号行列（ASM）の列挙行列の行列式と、より小さいサイズのASMの個数の間で、新たな非線形関係を証明する。主な結果は、$−−\mathcal{A}^n\uf029 = (-A_{n-1})^{n-3}$ であり、これは6-vertexモデルおよびシュール関数の合成行列式との関連から導かれる、ASM列挙における非線形的で構造的な恒等式を提供する。

ABSTRACT

We prove a determinantal identity concerning Schur functions for 2-staircase diagrams lambda=(ln+l',ln,l(n-1)+l',l(n-1),...,l+l',l,l',0). When l=1 and l'=0 these functions are related to the partition function of the 6-vertex model at the combinatorial point and hence to enumerations of Alternating Sign Matrices. A consequence of our result is an identity concerning the doubly-refined enumerations of Alternating Sign Matrices.

研究の動機と目的

• 2段階の階段図形におけるシュール関数の行列式の恒等式を確立すること、特に$ℓ=1$、$ℓ'=0$ の場合に焦点を当て、これは6-vertexモデルの分配関数と関連する。
• 二重に精製された交代符号行列の列挙と総数$A_n$の間で、新たな非線形関係を導出すること。
• 二重に精製されたASM行列$ℜ^n$の行列式が$−\mathcal{A}^n\uf029 = (-A_{n-1})^{n-3}$ を満たすことを証明すること。これは非線形的で変数次数に依存する性質を持つ結果である。
• 対称関数における合成行列式およびホイル条件に関する予想を一般化し、帰納法と次数の上限を用いて証明すること。

提案手法

• 著者たちは、6-vertexモデルに基づく多変数母関数の手法を用い、重み関数$μ_n(B; \vec{x}, \vec{y}, q)$ を行列要素ごとに因数分解する。
• ASM列挙行列の構造を符号化する一般化された$(m,\ell)$-ホイル条件を満たす対称関数$P(\vec{z})$ を分析する。
• バジンの定理を用いた合成行列式の技法が、$ℜ^n$ の行列式と2段階の階段図形のシュール関数を結ぶ鍵となる。
• 対称多項式の次数の上限とその特殊化を用い、変数の個数$N$に関する帰納法によって証明を進める。
• ホイル条件の文脈における対称関数$F$の次数$D_w(F)$、$d_w(F)$、$d_m(F)$ に対する上限を導出し、一意性の議論に繋げる。
• 次数関数$f_{m,\ell}(D,d)$ における$m$と$m-1$のケースの次数上限を比較し、厳密な不等式を示すことにより、差多項式$R(\vec{z})$ が恒等的に消えることが結論づけられ、恒等式の証明が完成する。

実験結果

リサーチクエスチョン

• RQ1 交代符号行列の二重に精製された列挙行列$ℜ^n$ の行列式は何か？
• RQ2 2段階の階段図形におけるシュール関数は、組合せ的点における6-vertexモデルの分配関数とどのように関連するか？
• RQ3 $ℜ^n$ に対して非線形の行列式恒等式を確立できるか？ これは既知の$A_n$の線形精製を一般化するものである。
• RQ4 合成行列式およびホイル条件は、ASM列挙から生じる対称関数を特徴付ける上で果たす役割は何か？
• RQ5 恒等式$−\mathcal{A}^n\uf029 = (-A_{n-1})^{n-3}$ は、対称関数論および次数に基づく一意性の議論によって証明可能か？

主な発見

• 二重に精製されたASM行列$ℜ^n$ の行列式は、$−\mathcal{A}^n\uf029 = (-A_{n-1})^{n-3}$ で与えられ、$n$ に応じて次数が増加する非線形関係である。
• $n=2$ のとき、$−\mathcal{A}^2\uf029 = -1 = -1^{-1}$ であり、公式と整合する。
• $n=3$ のとき、$−\mathcal{A}^3\uf029 = 1 = 2^0$ であり、公式と整合する。
• $n=4$ のとき、$−\mathcal{A}^4\uf029 = -7 = -7^1$ であり、$n=5$ のとき、$−\mathcal{A}^5\uf029 = 1764 = 42^2$ であり、両者とも$(-A_{n-1})^{n-3}$ と一致する。
• この結果は、一般の恒等式 $\lambda = (\ell n + \ell', \ell n, \dots, \ell + \ell', \ell, \ell', 0)$ に対する2段階の階段図形のシュール関数に関する恒等式の推論として得られる。
• 証明は次数の上限と帰納法に依拠しており、次数関数$f_{m,\ell}(D,d)$ における厳密な不等式により、対称関数$P$とシュール関数$s_{N,m,\ell}$ の差が消えることが示され、恒等式が成立する。
• 特殊化$F^{(K)}_{N,m,\ell} = c_K s_{N-m,m,\ell}$ における定数$c_K$ が$K$に依存しないことが確認され、すべての特殊化において一貫性が保証される。