[論文レビュー] Izergin-Korepin determinant reloaded

Yu. G. Stroganov|ArXiv.org|Sep 27, 2004

Algebraic structures and combinatorial models参考文献 11被引用数 16

ひとこと要約

本稿では、六頂点模型における $\eta = 2\pi/3$ の下で、Izergin-Korepin 行列式と Kuperberg が導入した補助行列式の非線形再帰系を構築する。この再帰系を用いて、偶数次の半回転対称交代符号行列の精密な列挙に関する閉形式の公式を導出し、Robbins の長年の予想を生成関数の恒等式を介して完全に解決する。

ABSTRACT

We consider the Izergin-Korepin determinant [1] together with another determinant which was invented by Kuperberg [2]. He used these determinants to prove a formula for the total number of half-turn symmetric alternating sign matrices of even order conjectured by Robbins [3]. By developing further the method that was described in our previous paper [4], we obtain a closed nonlinear recurrence system for these determinants. It can be used in various ways. For example, in this paper, we obtain formula (29) for the refined enumeration of half-turn symmetric alternating sign matrices of even order.

研究の動機と目的

• 六頂点模型におけるドメインウォール境界を持つ場合に、Izergin-Korepin 行列式の解析法を Kuperberg が導入した補助行列式へと拡張すること。
• 偶数次の半回転対称交代符号行列の精密な列挙問題を解明すること。これは Robbins による予想であった。
• 状態和 $Z_n(u)$ 及びその補助 $V_n(u)$ に対する閉じた非線形再帰系を確立し、精密な列挙統計の正確な計算を可能にすること。
• 偶数次の半回転対称交代符号行列の左端の列における最初の 1 の位置の分布に関する明示的公式を導出すること。

提案手法

• 著者らは、状態和 $Z_n(u)$ の正規化により三角多項式 $f_n(u)$ を定義し、これが次数 $3n-2$ の有限フーリエ級数であることが示され、代数的操作が可能になる。
• Kuperberg の行列に関連する補助関数 $V_n(u)$ を導入し、これは半回転対称配置の分配関数に比例する。
• 関数的関係およびスピンパラメータ依存性に基づき、正規化された状態和 $z_n(u)$ および $v_n(u)$ に対する非線形再帰系を導出する。
• 再帰は、$n$、$\sin^2 u$、$\cos 3u$ を含む有理係数を用いた三角関数を介して、$z_{n+1}(u)$ と $v_{n+1}(u)$ を $z_n(u)$ と $v_n(u)$ に結びつける。
• 生成関数 ${\cal H}_{2n}(t)$ および ${\cal A}_n(t)$ を表現することで、半回転対称 ASM の左端の列における最初の 1 が行 $r$ に位置する確率 $H_{2n}(r)/H_{2n}$ の閉形式表現を導出する。
• 再帰と既知の精密 ASM 数 $A_n(r)$ に関する組合せ的恒等式を組み合わせることで、二項係数に類似した項と $n$、$r$ に関する二次項の積の和としての最終的な公式が得られる。

実験結果

リサーチクエスチョン

• RQ1 六頂点模型における $\eta = 2\pi/3$ の下で、Izergin-Korepin 行列式と Kuperberg が導入した補助行列式に対して非線形再帰系を導出可能か？
• RQ2 偶数次の半回転対称交代符号行列の精密な列挙、特に左端の列における最初の 1 の位置の分布は何か？
• RQ3 半回転対称 ASM の精密な数え上げの生成関数は、標準的な ASM の生成関数を用いてどのように表現できるか？
• RQ4 $H_{2n}(r)/H_{2n}$、すなわち偶数次の半回転対称 ASM で最初の 1 が行 $r$ にある相対頻度の閉形式表現は存在するか？
• RQ5 $z_n(u)$ および $v_n(u)$ の再帰関係を用いて、半回転対称 ASM の精密な列挙に関する正確な組合せ的公式を導出可能か？

主な発見

• 著者らは、$\eta = 2\pi/3$ における Izergin-Korepin 行列式および Kuperberg 行列式の振る舞いを支配する正規化状態和 $z_n(u)$ および $v_n(u)$ に対する閉じた非線形再帰系を導出した。
• この再帰系により、偶数次の半回転対称交代符号行列の精密な列挙が正確に計算可能となり、Robbins の予想が解決された。
• 精密な列挙 $H_{2n}(r)/H_{2n}$ は、二項係数と $n$、$r$ に関する二次項の積の和として与えられ、論文内の式 (56) に明示的な公式が示されている。
• この公式は、行列の半回転対称性と整合する対称性 $H_{2n}(r)/H_{2n} = H_{2n}(2n - r + 1)/H_{2n}$ を満たす。
• 生成関数 ${\cal H}_{2n}(t)$ は、${\cal A}_n(t)$ と有理関数 ${\cal B}_n(t)$ の積として表現され、半回転対称 ASM の精密な数え上げを標準的な ASM の数え上げと結びつける。
• 最終的な $H_{2n}(r)/H_{2n}$ の公式は、階乗および二項係数を含む項の和として明示的に与えられ、主係数として $\frac{(2n-1)!^2}{(n-1)!^4(3n-3)!(3n-1)!}$ が得られる。