[論文レビュー] Factorial Schur functions and the Yang-Baxter equation

Daniel Bump, Peter J. McNamara+1 more|arXiv (Cornell University)|Aug 15, 2011

Advanced Combinatorial Mathematics参考文献 19被引用数 11

ひとこと要約

この論文は、ヤン・バクスター方程式を用いて、変形されたボルツマン重みをもつ六頂点模型を介して、階乗シュール関数の統計力学的解釈を確立する。これにより、既知の公式を統一・一般化し、階乗シュール関数に重み付けされたWeylのデノミネータが、この模型の分配関数に等しいことを証明する。特殊な変形パラメータ $ t $ の値において古典的結果が回復され、この枠組みを用いて双対コーシー恒等式の主題的証明がなされる。

ABSTRACT

Factorial Schur functions are generalizations of Schur functions that have, in addition to the usual variables, a second family of "shift" parameters. We show that a factorial Schur function times a deformation of the Weyl denominator may be expressed as the partition function of a particular statistical-mechanical system (six vertex model). The proof is based on the Yang-Baxter equation. There is a deformation parameter $t$ which may be specialized in different ways. If $t=-1$, then we recover the expression of the factorial Schur function as a ratio of alternating polynomials. If $t=0$, we recover the description as a sum over tableaux. If $t=\infty$ we recover a description of Lascoux that was previously considered by McNamara. We also are able to prove using the Yang-Baxter equation the asymptotic symmetry of the factorial Schur functions in the shift parameters. Finally, we give a proof using our methods of the dual Cauchy identity for factorial Schur functions. Thus using our methods we are able to give thematic proofs of many of the properties of factorial Schur functions.

研究の動機と目的

• 変形されたボルツマン重みをもつ六頂点模型を用いて、階乗シュール関数の統計力学的モデルを確立すること。
• ラスコーフ、マナマラ、バンプ＝フリードバーグ＝ブルハーカーらの既知の階乗シュール関数の表現を統一・一般化すること。
• ヤン・バクスター方程式を用いて、階乗シュール関数のシフトパラメータにおける漸近的対称性を証明すること。
• 分配関数の分解を用いて、階乗シュール関数の双対コーシー恒等式に対して、新たな主題的証明を提供すること。

提案手法

• 著者らは、行ごとのスペクトルパラメータ $ z_i $、列ごとのシフトパラメータ $ \alpha_j $、および変形パラメータ $ t $ をもつ六頂点模型を定義する。
• 非アーベル的パラメータ群 $ \mathrm{GL}(2) \times \mathrm{GL}(1) $ を用いたヤン・バクスター方程式により可積分性を保証し、分配関数を計算する。
• この模型の分配関数が、階乗シュール関数に変形されたWeylのデノミネータを乗じたものに等しいことが示され、トクヤマの公式が一般化される。
• $ t $ を $ -1 $、$ 0 $、$ \infty $ に特殊化すると、それぞれ既知の恒等式が回復される：交代多項式の比、テーブルックスムの公式、ラスコーフの記述。
• 大きな系の分配関数を上部と下部の2つの部分系に分解することで、双対部分集合に対応するシュール関数をもつそれぞれの部分系に対応させ、双対コーシー恒等式を証明する。
• 境界条件とスピン配置を用いて、分割 $ \lambda $ と $ \hat{\lambda} $ を符号化し、上部部分系をスピン反転と反射によって標準的な境界条件に一致させる。

実験結果

リサーチクエスチョン

• RQ1 階乗シュール関数は、変形されたボルツマン重みをもつ六頂点模型の分配関数としてどのように解釈できるか？
• RQ2 ヤン・バクスター方程式は、階乗シュール関数の異なる表現を統一するために果たす役割は何か？
• RQ3 変形パラメータ $ t $ は、階乗シュール関数の既知の公式の間をどのように補間するか？
• RQ4 統計力学を用いて、階乗シュール関数のシフトパラメータにおける漸近的対称性を証明できるか？
• RQ5 六頂点模型における分配関数の分解から、階乗シュール関数の双対コーシー恒等式を導出できるか？

主な発見

• パラメータ $ z_i $、$ \alpha_j $、および変形 $ t $ をもつ六頂点模型の分配関数は、$ s_\lambda(z|\alpha) $ に変形されたWeylのデノミネータを乗じたものに等しく、トクヤマの公式が一般化される。
• $ t = -1 $ において、模型は交代多項式の比を回復し、マクドナルドの観察を確認する。
• $ t = 0 $ において、分配関数はテーブルックスムの公式に簡約され、標準的な組合せ論的定義が回復される。
• $ t = \infty $ において、模型はラスコーフの階乗シュール関数の記述をもたらし、以前マナマラが研究した内容と一致する。
• ヤン・バクスター方程式を用いて、$ s_\lambda(z|\alpha) $ の $ \alpha_i $ における漸近的対称性が証明され、マクドナルドの予想が裏付けられる。
• 大きな系の分配関数を2つの部分系に分解することで、双対コーシー恒等式 $ \prod_{i,j}(x_i + y_j) = \sum_\lambda s_\lambda(x|\alpha) s_{\hat{\lambda}}(y| -\alpha) $ が確立される。