[論文レビュー] Factorial Schur functions via the six vertex model

Peter J. McNamara|ArXiv.org|Oct 28, 2009

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

ひとこと要約

本稿は、特定のボルツマン重みと $\lambda$-境界条件の下で分配関数を計算することにより、統計力学における六頂点模型と階乗シュール関数の間の直接的な関係を確立する。その結果、分配関数は単項式因子を除いて階乗シュール関数に等しいことが示された。証明は、厳密なゲルファンド＝ツェトリン型パターンとの同一視を用いて対称性と消滅性の性質を用い、ラスコウの定理の新しい組合せ的証明を提供する。

ABSTRACT

For a particular set of Boltzmann weights and a particular boundary condition for the six vertex model in statistical mechanics, we compute explicitly the partition function and show it to be equal to a factorial Schur function, giving a new proof of a theorem of Lascoux.

研究の動機と目的

• 階乗シュール関数と六頂点模型の分配関数を結ぶラスコウの定理の新しい組合せ的証明を提供すること。
• 星-三角関係式を用いて、正規化された分配関数 $x^{-\delta}Z_{\lambda}(x|a)$ の対称性と多項式性を確立すること。
• 分配関数が階乗シュール関数と同一の消滅性および正規化性質を満たすことを示し、それによってそれが階乗シュール関数として同定されることを証明すること。
• 六頂点模型と厳密なゲルファンド＝ツェトリン型パターンおよび階段構造の間の関係を確立し、計算に用いる組合せ的双対枠組みを提供すること。

提案手法

• 特定のボルツマン重みを用いた六頂点模型を定義する：縦辺には $x_i/a_j$、北西方向の分子には $x_i/a_j - 1$、それ以外にはすべて 1 を使用する。
• $\lambda$-境界条件を課す：上端の列 $\lambda_i + n + 1 - i$ に水素原子が存在しないこと、下端に水素原子が存在しないこと。
• 正方形のアイス状態と上段が $\lambda + \rho$ である厳密なゲルファンド＝ツェトリン型パターンとの間の同一視を用いる。ここで $\rho = (n-1, n-2, \dots, 0)$ である。
• 局所的配置における星-三角関係式を証明し、水平のストリングが垂直のストリングを越えて移動させても分配関数が変わらないことを示す。
• 星-三角関係式と数学的帰納法を用いて、$x^{-\delta}Z_{\lambda}(x|a)$ が $x_1, \dots, x_n$ に関して対称であることを証明する。
• 階乗シュール関数の消滅定理を用いる：$\lambda \not\subset \mu$ のとき $s_\lambda(a_\mu|a) = 0$ であり、$x = a_\lambda$ での正規化を計算することで、$Z_\lambda(x|a)$ が $s_\lambda(x|a)$ の定数倍であると同定する。

実験結果

リサーチクエスチョン

• RQ1 特定のボルツマン重みと $\lambda$-境界条件を備えた六頂点模型の分配関数は、階乗シュール関数を与えるか？
• RQ2 星-三角関係式を用いた組合せ的証明により、正規化された分配関数 $x^{-\delta}Z_{\lambda}(x|a)$ の対称性を示せるか？
• RQ3 分配関数の消滅性および正規化性質は、階乗シュール関数のそれらと一致するか？
• RQ4 六頂点模型の状態と厳密なゲルファンド＝ツェトリン型パターンとの間には、ボルツマン重みを保存する双対的対応が存在するか？
• RQ5 特徴的な性質を用いて、分配関数が階乗シュール関数として一意に同定できるか？

主な発見

• 分配関数 $Z_{\lambda}(x|a)$ は $\frac{x^{\delta}}{a^{(\lambda+\rho)'}} s_{\lambda}(x|a)$ に等しく、これにより主定理が証明された。
• 星-三角関係式と帰納法を用いて、関数 $x^{-\delta}Z_{\lambda}(x|a)$ が $x_1, \dots, x_n$ に関して対称であることが示された。
• 初期にはローレント多項式に見えるが、関数 $x^{-\delta}Z_{\lambda}(x|a)$ は $x_1, \dots, x_n$ に関する多項式であることが判明した。
• 分配関数は $x = a_\mu$ で $\lambda \subset \mu$ でない限り消えることが確認され、階乗シュール関数の消滅性質と一致した。
• $x = a_\lambda$ での評価値は $\prod_{(i,j)\in\lambda} \left( \frac{a_{n+1-i+\lambda_i}}{a_{n-\lambda_j'+j}} - 1 \right)$ に等しく、$s_\lambda(x|a)$ の正規化と一致した。
• $Z_{\lambda}(a_\lambda|a)$ に寄与する唯一の状態は定数のゲルファンド＝ツェトリン型パターンに対応しており、正規化が確認された。