[論文レビュー] Partition functions of integrable lattice models and combinatorics of symmetric polynomials

Kohei Motegi, Kazumitsu Sakai+1 more|arXiv (Cornell University)|Dec 25, 2015

Algebraic structures and combinatorial models参考文献 5被引用数 3

ひとこと要約

本稿は、XXZ型およびFelderhofモデルという可積分格子模型の分配関数と、シュール、グロテンディーク、およびシミプレクティックシュール関数などの対称多項式との間の深い対応関係を確立する。L-作用素と境界条件から波動関数を導出し、それらの分配関数と階数因子およびシミプレクティックシュール関数を結ぶ一般化された双対キャウチー恒等式を証明することで、量子可積分性を通じて新たな組合せ的構造を明らかにする。

ABSTRACT

We review and present new studies on the relation between the partition functions of integrable lattice models and symmetric polynomials, and its combinatorial representation theory based on the correspondence, including our work. In particular, we examine the correspondence between the wavefunctions of the XXZ type, Felderhof type and the boson type integrable models and symmetric polynomials such as the Schur, Grothendieck and symplectic Schur functions. We also give a brief report of our work on generalizing the correspondence between the Felderhof models and factorial Schur and symplectic Schur functions.

研究の動機と目的

• 可積分格子模型の分配関数と対称多項式との間の体系的対応関係を確立すること。
• XXZ型およびFelderhofモデルにおける波動関数がシュール、グロテンディーク、およびシミプレクティックシュール関数をどのように生成するかを調査すること。
• 色付き表現および拡張されたスペクトルパラメータを含む対応関係を一般化すること。
• ドメインウォールおよびTsuchiya境界条件を用いて、階数因子およびシミプレクティックシュール関数の新しい双対キャウチー恒等式を導出すること。
• 量子可積分性が、代数的組合せ論における対称関数論の組合せ的恒等式を発見・証明する強力な枠組みを提供することを示すこと。

提案手法

• RLL関係を満たすL-作用素からスペクトルパラメータおよび追加の変形パラメータを用いて波動関数を導出する。
• ドメインウォールおよびTsuchiya境界条件を用いて分配関数を構築し、対称多項式を生成する。
• ヤン・バクスター関係およびR行列形式を用いて、モデルの可積分性と整合性を保証する。
• 行列式表現および母関数を用いて、一般化されたシュールおよびグロテンディーク多項式を表現する。
• 特定の境界条件下でのスカラー積および分配関数の評価を通じて、双対キャウチー恒等式を導出する。
• 拡張されたパラメータ集合および変更されたL-作用素を用いて、階数因子およびシミプレクティックシュール関数への対応関係を一般化する。

実験結果

リサーチクエスチョン

• RQ1 XXZ型およびFelderhofモデルの波動関数は、シュール関数およびグロテンディーク多項式とどのように対応するか？
• RQ2 スペクトルパラメータおよび追加の変形パラメータは、格子分配関数から対称多項式を生成する際に果たす役割は何か？
• RQ3 ドメインウォールおよびTsuchiya境界条件は、階数因子およびシミプレクティックシュール関数の双対キャウチー恒等式をどのように導くか？
• RQ4 可積分モデルと対称多項式との間の一般化された対応関係の背後にある代数的構造は何か？
• RQ5 量子可積分性は、そうでなければ困難な組合せ的公式を対称関数に提供できるか？

主な発見

• XXZ型モデルの波動関数は、qパラメータが量子群Uq(sl2)に関連するβ-グロテンディーク多項式のq変形として特定される。
• Felderhofモデルにおいて、ドメインウォール境界を持つ分配関数は、パラメータαとγを含む階数因子シュール関数を含む双対キャウチー恒等式を生成する。
• Tsuchiya境界条件は、分配関数にシミプレクティックシュール関数の出現をもたらし、以前の結果を一般化する。
• 階数因子およびシミプレクティックシュール関数のための新しい双対キャウチー恒等式が導出され、(1 + αj(γk − γj))および(1 − γjγk)の積を含む。
• 一般化されたシミプレクティックシュール関数は、gμ(z|{α}, {γ})関数を要素とする行列の行列式として定義され、これらの対称多項式の新たな表現を提供する。
• この対応関係は、可積分モデルが代数的組合せ論、特にシューベルト計算において、深いつながりを持つ組合せ的恒等式を自然に表現していることを明らかにする。