[論文レビュー] The dilute Temperley-Lieb O($n=1$) loop model on a semi infinite strip: the sum rule

Alexander Garbali, Bernard Nienhuis|arXiv (Cornell University)|Nov 26, 2014

Algebraic structures and combinatorial models参考文献 24被引用数 4

ひとこと要約

本稿では、開放境界をもつ半無限ストリップ上の希釈Temperley-Lieb O(n=1)ループ模型における基底状態固有ベクトルの正規化（和則）$ Z_L $ の行列式表現を導出する。R行列の因数分解から生じる2つの独立した漸化式を用いて、$ Z_L $ に対して2種類の異なる行列式公式を構成する。1つは基本対称多項式に基づくもので、もう1つは新しい対称関数の基底 $ \lambda_i $ を用いたものであり、偶数および奇数の $ L $ に対して一様な表現が得られる。主な結果は、分割関数の閉形式の行列式表現であり、これは $ U_q(A_2^{(2)}) $ スピン鎖のBaxter $ Q $-関数とも関連している。

ABSTRACT

This is the second part of our study of the ground state eigenvector of the transfer matrix of the dilute Temperley-Lieb loop model with the loop weight $n=1$ on a semi infinite strip of width $L$. We focus here on the computation of the normalization (otherwise called the sum rule) $Z_L$ of the ground state eigenvector, which is also the partition function of the critical site percolation model. The normalization $Z_L$ is a symmetric polynomial in the inhomogeneities of the lattice $z_1,..,z_L$. This polynomial satisfies several recurrence relations which we solve independently in terms of Jacobi-Trudi like determinants. Thus we provide a few determinantal expressions for the normalization $Z_L$.

研究の動機と目的

• 半無限ストリップ上、開放境界をもつ希釈Temperley-Lieb O(n=1)ループ模型における転送行列の基底状態固有ベクトルの正規化 $ Z_L $、すなわち和則を計算すること。
• R行列の因数分解から生じる漸化式を用いて、$ Z_L $ の明示的な行列式表現を導出すること。$ Z_L $ は臨界サイトパーコレーションの分配関数としても解釈可能である。
• $ Z_L $ と $ U_q(A_2^{(2)}) $ 代数的可解スピン鎖のBaxter $ Q $-関数との関係を確立し、ループ模型と頂点模型を結ぶ。
• 2つの独立した $ Z_L $ の行列式表現を提供する。1つは基本対称多項式を用い、もう1つは新しい対称基底 $ \lambda_i $ を用いることで、偶数および奇数の系サイズに対して一様な表現が得られるようにする。

提案手法

• 2つの漸化式を $ Z_L $ に対して導出する。1つはR行列の因数分解から得られるもので、$ Z_L(z_1,\dots,z_{L-1}\omega,z_L=z_{L-1}/\omega) = F \cdot Z_{L-1} $ を満たし、もう1つは別の因数分解から得られ、$ Z_L(z_1,\dots,z_{L-1},z_L=-z_{L-1}) = P \cdot Z_{L-2} $ を満たす。
• 周期的境界条件の既知の解（階段形状のスケューSchur関数として表現される基本対称多項式の行列式）を用い、対称性に基づく変換により、開放境界条件の解を構成する。
• 行および列の操作を適用し、行列式表現内の行列をブロック対角構造を明らかにする形に変形することで、開放境界の和則への還元を可能にする。
• 新しい対称多項式の基底 $ \lambda_i $ を $ \lambda_i = \sum_{k=i}^{L-1} (-1)^k \nu_{L-k} $ で定義し、$ Z_L $ の一様で簡略化された行列式公式を導出する。
• 行列式の恒等式 (96)–(97) および (100)–(101) を、体系的な行・列操作と対称性解析により証明し、偶数および奇数の $ L $ に対して正しく保証されるようにする。
• $ q $-KZ方程式に基づく基底状態の計算と、Izergin-Korepinモデルの $ Q $-関数との間の線形変換を用いて、$ L \leq 5 $ の小規模な $ L $ に対して両者の一致を確認し、行列式表現の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 開放境界をもつdTL O(n=1)ループ模型における基底状態固有ベクトルの正規化 $ Z_L $ を閉形式でどのように表現できるか？
• RQ2 2つの異なる漸化式から生じる $ Z_L $ の行列式表現は何か？ それらは既知の対称関数の恒等式とどのように関係するか？
• RQ3 偶数および奇数の $ L $ に対して一様に適用可能な、対称関数の基底は存在するか？
• RQ4 対称性と行列のブロック対角化を活用することで、周期的境界条件の解から開放境界の和則を導出できるか？
• RQ5 $ Z_L $ と $ U_q(A_2^{(2)}) $ スピン鎖のBaxter $ Q $-関数との関係は何か？ そして、この関係によってループ模型がどのように可解な頂点模型と結びつけられるか？

主な発見

• 正規化 $ Z_L $ は、不均一パラメータ $ z_1, \dots, z_L $ に関する対称多項式であり、R行列の因数分解から生じる2つの独立した漸化式を満たす。
• 2種類の異なる行列式表現が得られた：1つは基本対称多項式に基づくもので、もう1つは新しい基底 $ \lambda_i $ を用いたものであり、後者は偶数および奇数の $ L $ に対して一様な公式を提供する。
• $ L = 2m+1 $ の場合、$ Z_L = \det_{1\leq i,j\leq m}(\lambda_{3i-j} - \lambda_{3i+j}) $；$ L = 2m $ の場合、$ Z_L = \det_{1\leq i,j\leq m-1}(\lambda_{3i-j} - \lambda_{3i+j}) $ であり、偶奇にかかわらず明快で統一的な表現が得られる。
• 漸化式 $ Z_L(z_1,\dots,z_{L-1}\omega,z_L=z_{L-1}/\omega) = F \cdot Z_{L-1} $ は、周期的境界条件の解を用いて解かれ、対称性と行列変換を介して開放境界の和則が導出可能である。
• 周期的境界条件における多項式 $ P^p $ は、$ U_q(A_2^{(2)}) $ スピン鎖のBaxter $ Q $-関数として特定され、ループ模型とIzergin-Korepin頂点模型を結ぶ。
• $ L \leq 5 $ の範囲で、行列式に基づく $ Z_L $ は、$ q $-KZに基づく基底状態の計算と完全に一致し、両手法の整合性が確認された。