[論文レビュー] A basis for the polynomial eigenfunctions of deformed Calogero-Moser-Sutherland operators

Martin Hallnäs|ArXiv.org|Dec 10, 2007

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

ひとこと要約

本稿では、一般化された（超）シュール多項式の線形結合として表現することにより、変形された Calogero-Moser-Sutherland 演算子の多項式固有関数の線形基底を構成する。主な貢献は、超ジャック多項式の明示的な級数表現の導出と、固有値が非退化である条件の特徴付けである。

ABSTRACT

We construct a linear basis for the polynomial eigenfunctions of a family of deformed Calogero-Moser-Sutherland operators naturally associated with hypergeometric polynomials. In our construction the eigenfunctions are obtained as linear combinations of polynomials which generalise the (super) Schur polynomials. As a byproduct, we obtain explicit series representations for the super Jack polynomials.

研究の動機と目的

• 変形された Calogero-Moser-Sutherland 演算子の多項式固有関数の線形基底を、超幾何多項式に関連して構成すること。
• 固有関数展開の基本構成要素として（超）シュール多項式を一般化すること。
• 構築された基底を用いて、超ジャック多項式の明示的級数表現を導出すること。
• 固有関数がパrameter ベクトル $\bar{m}$ にどのように依存するかを特徴付け、固有値が非退化である条件を同定すること。
• 過剰な集合に代えて、線形独立な基底要素の線形結合として固有関数を再表現する枠組みを提供すること。

提案手法

• 固有関数は、対称関数論に基づいて定義される、（超）シュール多項式を一般化した多項式 $f^{(\bar{m})}_{a}$ の線形結合として構成される。
• 本手法は、標準的な CMS 演算子構造の変形に依拠し、$x = (x_1,\ldots,x_n)$ および $\tilde{x} = (\tilde{x}_1,\ldots,\tilde{x}_{\tilde{n}})$ の2組の変数と、$\theta$ を含む相互作用項を組み込む。
• $D^{k}_{n,\tilde{n}}$ および $E^{\ell}_{n,\tilde{n}}$ という演算子が定義され、2階微分作用素を混合変数相互作用を持つ多体系に一般化する。
• 固有関数 $P^{(\bar{m})}_{\lambda}$ は $\bar{m}$ に依存しないように正規化され、$\bar{m}$-許容性条件の下で $f^{(\bar{m})}_{a}$ への展開が分析される。
• 特定の分割（例えばフック分割）に対して明示的な展開を得るために、基本対称多項式 $e_r$ と完全対称多項式 $h_r$ を含む対称関数の恒等式が用いられる。
• $\bar{m}$-許容性により固有値の非退化性が符号化され、特に $\alpha_2 = 0$ の場合に十分条件が示されている（命題 6.2 参照）。

実験結果

リサーチクエスチョン

• RQ1 変形された Calogero-Moser-Sutherland 演算子の多項式固有関数に対して、線形基底を体系的に構成する方法は何か？
• RQ2 一般化されたシュール型多項式を用いた超ジャック多項式の明示的級数表現は何か？
• RQ3 固有関数はパrameter ベクトル $\bar{m}$ にどのように依存するか？ また、固有値が非退化であるための条件は何か？
• RQ4 過剰な集合 $f^{(\bar{m})}_{a}$ を、最小の線形独立基底要素の線形結合として再表現できるか？
• RQ5 特にフック分割のような特殊な分割に対して、固有関数展開の構造的性質は何か？

主な発見

• 本稿では、フック分割によってラベル付けられた超シュール多項式の明示的級数展開を提供する：$S_{(a_1,1^{a_2})}(x,\tilde{x}) = \sum_{t=0}^{a_2}(-1)^{a_2-t}\left(\sum_{r=0}^{a_1+t}e_r(\tilde{x})h_{a_1+t-r}(x)\sum_{s=0}^{a_2-t}e_s(x)h_{a_2-t-s}(\tilde{x})\right)$。
• 通常のシュール多項式（$\tilde{x}=0$）の場合、これは既知の公式 $s_{(a_1,1^{a_2})}(x) = \sum_{t=0}^{a_2}(-1)^{a_2-t}e_{a_2-t}(x)h_{a_1+t}(x)$ に簡略化される。
• 固有関数 $P^{(\bar{m})}_{\lambda}$ は、特定の $\bar{m}$ の選択に依存しないように正規化可能であり、その表現が単純化される。
• $f^{(\bar{m})}_{a}$ は任意の正の整数 $N$ に対して $\bar{m} \to (m, \tilde{m} + N)$ の変換に関して不変であるため、パラメータ依存性に一定の安定性があることが示される。
• 与えられた分割 $\lambda$ に対して、$f^{(\bar{m})}_{\varphi(\lambda)}$ は超ジャック多項式への展開において同じ先行項を持つことが、補題 5.2 で示されている。
• $\bar{m}$-許容性の条件により固有値の非退化性が保証され、十分条件が示されている——特に $\alpha_2 = 0$ の場合、$H_{\bar{n}} \cap H_{\bar{m}}$ に属するすべての分割が $\bar{m}$-許容性を満たす。