[論文レビュー] Quantum integrable combinatorics of Schur polynomials

Kohei Motegi, Kazumitsu Sakai|arXiv (Cornell University)|Jul 24, 2015

Algebraic structures and combinatorial models参考文献 43被引用数 6

ひとこと要約

本稿では、t-変形非ヒルベルト的ボソン模型の退化として生じる六頂点模型から得られる、量子可積分性を用いたシュール多項式の新しい組合せ的公式を提示する。波動関数に量子逆散乱法を適用し、2通りの方法（直接評価とB作用素の行列要素解析）で分配関数を評価することにより、既存の時刻・タコヤマ公式とは異なる、追加のパラメータβを含む新しい表現が得られ、コーシー恒等式および交代符号行列の生成関数について代数的・解析的証明が与えられる。

ABSTRACT

We examine and present new combinatorics for the Schur polynomials from the viewpoint of quantum integrability. We introduce and analyze an integrable six-vertex model which can be viewed as a certain degeneration model from a t-deformed boson model. By a detailed analysis of the wavefunction from the quantum inverse scattering method, we present a novel combinatorial formula which expresses the Schur polynomials by using an additional parameter, which is in the same sense but different from the Tokuyama formula. We also give an algebraic analytic proof for the Cauchy identity and make applications of the domain wall boundary partition functions to the enumeration of alternating sign matrices.

研究の動機と目的

• 量子可積分性を用いたシュール多項式の新しい組合せ的公式の構築。
• シュール多項式の組合せ的構造における追加パラメータβの役割の解明。
• 可積分格子模型を用いたスカラー積およびコーシー恒等式の代数的・解析的証明。
• ドメインウォール境界条件の分配関数を用いた、交代符号行列の生成関数による列挙。
• 時刻・タコヤマ公式を超える、可積分頂点模型と対称多項式恒等式の関係の一般化。

提案手法

• 著者たちは、t = -1 におけるt-変形非ヒルベルト的ボソン模型の退化として得られる六頂点模型を分析する。
• L作用素から出発し、量子逆散乱法を用いて波動関数を分配関数として構成する。
• 分配関数を2通りの方法で評価する：シュール多項式にβ依存係数を乗じた直接的評価、およびB作用素の行列要素による和公式の導出。
• 厳密な部分分割x^(k)の入れ子構造と、非共有部の個数# (x^{(k)}|x^{(k-1)}) を用いて、組合せ的構造を表現する。
• スカラー積を代数的に評価し、行列式形式であることを示し、シュール多項式のコーシー恒等式の証明に繋げる。
• ドメインウォール境界条件の分配関数を再帰的関係と対称性を用いて計算し、v_jおよびw_jパラメータを含む因数分解形を得る。

実験結果

リサーチクエスチョン

• RQ1 追加のパラメータβを用いた量子可積分系から、シュール多項式の新しい組合せ的公式を導出可能か？
• RQ2 波動関数に導入されたパラメータβは、既知の変形（例：時刻・タコヤマ公式）とどのように関係するか？
• RQ3 六頂点模型におけるスカラー積を代数的・解析的に証明し、シュール多項式のコーシー恒等式を導けるか？
• RQ4 ドメインウォール境界条件は、交代符号行列の列挙における閉形式表現をどのように果たすか？
• RQ5 可積分性フレームワークを、シュール多項式を超える他の対称多項式の恒等式の導出に拡張可能か？

主な発見

• 厳密な部分分割の入れ子列を用いた和として表される、シュール多項式の新しい組合せ的公式が導出された。この式にはβ依存重み関数が含まれる。
• 式 (1.1) は、元のシュール多項式定義に存在しない新たなパラメータβを導入しており、時刻・タコヤマ公式とは明確に区別される。
• 代数的・解析的技法によりスカラー積が行列式形式に表現され、シュール多項式のコーシー恒等式の証明が得られた。
• ドメインウォール境界条件の分配関数は、Z = ∏_{j=1}^N (2v_j) ∏_{j=M+1-N}^M w_j^{M-N-j} ∏_{1≤j<k≤N} (v_j + v_k) として閉形式で評価された。
• この分配関数は、交代符号行列の簡単な生成関数をもたらし、新たな代数的・組合せ論的列挙手法を提供した。
• 六頂点模型の波動関数がシュール多項式にβ依存係数を乗じたものとして特定され、その可積分構造が裏付けられた。