[論文レビュー] Multiple orthogonal polynomials and a counterexample to Gaudin Bethe Ansatz Conjecture

E. Mukhin, Alexander Varchenko|ArXiv.org|Jan 10, 2005

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

ひとこと要約

本稿は、$sl_{r+1}$ に関連する Gaudin モデルのベーテ・アンザッツ方程式と、複数の直交多項式（特にジャコビ＝ピニエロ多項式）との間の関係を確立し、解がこれらの多項式のワロンスキー行列式によって与えられることを示している。主な貢献は、$sl_3$ の場合において特定のパラメータ値に対して解が存在しないことの反例を提示し、標準的ベーテ・アンザッツ予想が一般形では成り立たないことを示したことにある。

ABSTRACT

Jacobi polynomials are polynomials whose zeros form the unique solution of the Bethe Ansatz equation associated with two sl_2 irreducible modules. We study sequences of r polynomials whose zeros form the unique solution of the Bethe Ansatz equation associated with two highest weight sl_{r+1} irreducible modules, with the restriction that the highest weight of one of the modules is a multiple of the first fundamental weight. We describe the recursion which can be used to compute these polynomials. Moreover, we show that the first polynomial in the sequence coincides with the Jacobi-Piñeiro multiple orthogonal polynomial and others are given by Wronskian type determinants of Jacobi-Piñeiro polynomials. As a byproduct we obtain a counterexample to the Bethe Ansatz Conjecture for the Gaudin model.

研究の動機と目的

• Gaudin モデルの $sl_{r+1}$ に関するベーテ・アンザッツ方程式の解の構造を、2つの最高重量モジュールに対して調査すること。
• 特にジャコビ＝ピニエロ多項式を含む複数の直交多項式が、これらの解の構成に果たす役割を調査すること。
• $sl_{r+1}$ の高ランクリー・代数において、標準的ベーテ・アンザッツ予想が Gaudin モデルに対して成り立つかどうかを特定すること。
• 微分作用素を用いて2つの特異点を持つ多項式空間の再帰的族を構成すること。
• $y_1, \dots, y_r$ の多項式に対する明示的公式を提示し、パラメータの変化に対するその性質を分析すること。

提案手法

• 重み $\boldsymbol{m}, k, \boldsymbol{l}$ から導かれる明示的な指数と次数を用いて、$x=0$ および $x=1$ にちょうど2つの特異点を持つ次元 $r+1$ の多項式空間 $V(\boldsymbol{m}, \boldsymbol{l}, k)$ を定義する。
• 一階線形微分作用素 $D_i$ を用いて、これら空間を再帰的に構成する。これらの作用素は、$sl_{r+1}$ のアフィン・ワイル群作用を拡張する。
• 多項式空間 $V(\boldsymbol{m}, \boldsymbol{l}, k)$ の基底が複数の直交多項式から成り、$y_1$ がジャコビ＝ピニエロ多項式であり、$y_i$（$i>1$）がワロンスキー型行列式によって与えられることを示す。
• 微分作用素から導かれるロドリゲス型公式を用いて、多項式基底を明示的に表現する。
• 空間 $V(\boldsymbol{m}, \boldsymbol{l}, k)$ と双対空間 $U(\boldsymbol{m}, \boldsymbol{l}, k)$ の間に双対性を確立し、部分積分恒等式を満たす随伴作用素 $D_i^\vee$ を導入する。
• スカラー積 $ (f,g)_{m,k} = \int_0^1 f(x)g(x)(x-1)^{-k-1}x^{-m-1}dx $ を分析し、直交性を検証し、内積を明示的に計算する。

実験結果

リサーチクエスチョン

• RQ1 2つの最高重量モジュール（そのうち1つが最初の基本的ウェイトの倍数である）に対する $sl_{r+1}$ ベーテ・アンザッツ方程式の解は、複数の直交多項式に対応するか？
• RQ2 ジャコビ＝ピニエロ多項式のワロンスキー行列式によって、多項式解 $y_1, \dots, y_r$ を明示的に構成できるか？
• RQ3 パラメータ空間が制限された $sl_3$ の場合において、標準的ベーテ・アンザッツ予想は Gaudin モデルに対して有効か？
• RQ4 微分作用素 $D_i$ は、解空間 $V(\boldsymbol{m}, \boldsymbol{l}, k)$ を再帰的に生成する役割を果たすか？また、アフィン・ワイル群とどのように関係するか？
• RQ5 どのようなパラメータ条件下でベーテ・アンザッツ方程式が解を持たなくなり、これは予想にどのような含意を持つのか？

主な発見

• 列における最初の多項式 $y_1$ は、区間 $[0,1]$ 上で特定のジャコビ型重みに関して直交するジャコビ＝ピニエロ多重直交多項式に一致する。
• 残りの多項式 $y_2, \dots, y_r$ は、ジャコビ＝ピニエロ多項式のワロンスキー型行列式によって与えられ、明示的な構成法を提供する。
• 特別なパラメータ値、例えば $\boldsymbol{m} = (1,1)$、$k=2$、$\boldsymbol{l} = (2,1)$ の $sl_3$ の場合に、ベーテ・アンザッツ方程式に解が存在しないことが判明し、標準的予想に対する反例を提供する。
• スカラー積 $ (y_1, y_r)_{|\boldsymbol{m}|+1,k} $ は、パrameter $m_i, k, l_i$ の有理関数の積として明示的に計算され、直交性および正規化性質を確認する。
• 微分作用素 $D_i$ 及びその随伴 $D_i^\vee$ は、スカラー積の下で明確な随伴関係を満たし、多項式基底の再帰的計算を可能にする。
• 作用素 $D_i$ とワイル群 $\mathcal{S}_{r+1}$ は、$sl_{r+1}$ のアフィン・ワイル群と同型な半群を生成し、$D_0 \cdots D_r$ が中心的であることが示され、深い代数的構造が確立される。