[論文レビュー] Quadratic algebra contractions and 2nd order superintegrable systems

E. G. Kalnins, Willard Miller|arXiv (Cornell University)|Jan 4, 2014

Quantum Mechanics and Non-Hermitian Physics参考文献 21被引用数 9

ひとこと要約

本稿は、$e(2,\mathbb{C})$ および $o(3,\mathbb{C})$ の包あらわし代数内の二次代数の共軛類と、一定曲率空間上における2次超可積分系（ポテンシャル付き）の同型類との間に一対一対応を確立する。Lie代数の縮約が、それに対応する二次代数および関連物理系の縮約を引き起こすことを示し、可約表現の関数空間実現を通じて、超幾何直交多項式の完全なAskeyスキームが得られることを示す。

ABSTRACT

Quadratic algebras are generalizations of Lie algebras; they include the symmetry algebras of 2nd order superintegrable systems in 2 dimensions as special cases. The superintegrable systems are exactly solvable physical systems in classical and quantum mechanics. For constant curvature spaces we show that the free quadratic algebras generated by the 1st and 2nd order elements in the enveloping algebras of their Euclidean and orthogonal symmetry algebras correspond one-to-one with the possible superintegrable systems with potential defined on these spaces. We describe a contraction theory for quadratic algebras and show that for constant curvature superintegrable systems, ordinary Lie algebra contractions induce contractions of the quadratic algebras of the superintegrable systems that correspond to geometrical pointwise limits of the physical systems. One consequence is that by contracting function space realizations of representations of the generic superintegrable quantum system on the 2-sphere (which give the structure equations for Racah/Wilson polynomials) to the other superintegrable systems one obtains the full Askey scheme of orthogonal hypergeometric polynomials.

研究の動機と目的

• 自由な二次代数（1次および2次元の生成元をもつ）が $e(2,\mathbb{C})$ および $o(3,\mathbb{C})$ の包あらわし代数内で生成されるものと、一定曲率空間上におけるポテンシャル付き2次超可積分系の同型類との間の一対一対応を確立すること。
• 幾何的点ごとの極限として物理系が収束するのを模倣する二次代数の縮約理論を構築し、Lie代数の縮約が超可積分系の対称代数に対応する縮約を引き起こすことを示すこと。
• 2次球面上の一般超可積分量子系の不可約表現の関数空間実現を縮約することで、完全なAskeyスキームの超幾何直交多項式が得られることを示すこと。
• 非Lie的二次代数およびその縮約を含む代数的枠組みを拡張し、将来的にDarboux空間およびKoenig空間上における超可積分系への応用を想定すること。

提案手法

• 2次超可積分系の対称代数として、$e(2,\mathbb{C})$ および $o(3,\mathbb{C})$ の包あらわし代数内で1次および2次元の生成元によって生成される自由な二次代数の使用。
• $e(2,\mathbb{C})$ および $o(3,\mathbb{C})$ におけるLie代数の縮約技術の適用。その作用が、極限過程においても代数的構造を保存することが示される。
• 座標実現およびパラメータ変換（例：$\phi = i\epsilon\alpha - i\ln\sqrt{\epsilon}$, $\psi = \xi\sqrt{\epsilon}$）の明示的構成により、縮約されたハミルトニアンおよび対称性生成子を導出すること。
• 対称代数の不可約表現の関数空間実現を用いて特殊関数を生成し、縮約が表現構造を保存し、直交多項式の間の極限関係を導くこと。
• 縮約された二次代数の構造関係の導出（例：$\mathcal{R}'^2 = 16\left(\mathcal{L}_1'^2\mathcal{H}' - (c_2\mathcal{L}_1' + c_1\mathcal{L}_2')(\mathcal{L}_1' + \mathcal{L}_2') - 4c_1a_3\mathcal{H}' + a_3(c_2 - c_1)\right)$）。
• パラメータスケーリング（例：$a_1 = b_1$, $a_2 = \frac{b_1}{\epsilon^4} - \frac{b_2}{2\epsilon^3}$）による縮約の分類により、係数が縮約下でどのように変化するかを示し、代数的一致性が保たれることを示すこと。

実験結果

リサーチクエスチョン

• RQ1 一定曲率空間上におけるポテンシャル付き2次超可積分系は、その対称代数によってどのように分類されるか？
• RQ2 $e(2,\mathbb{C})$ および $o(3,\mathbb{C})$ のLie代数の縮約を、それに対応する超可積分系の二次代数への縮約に体系的かつ一貫して拡張できるか？
• RQ3 2次球面上の一般超可積分量子系の不可約表現の関数空間実現を縮約することで、Askeyスキームの直交多項式が得られる代数的メカニズムは何か？
• RQ4 二次代数の構造関係は縮約下でどのように変化するか。また、それらは物理的および代数的構造の保存に果たす役割は何か？
• RQ5 ポテンシャルパラメータは縮約プロセスにおいて果たす役割は何か。また、それらは幾何的極限変換下でどのように振る舞うか？

主な発見

• 包あらわし代数内における $e(2,\mathbb{C})$ および $o(3,\mathbb{C})$ の自由な二次代数の共軛類と、一定曲率空間上におけるポテンシャル付き2次超可積分系の同型類との間に一対一対応が存在する。
• $e(2,\mathbb{C})$ および $o(3,\mathbb{C})$ のLie代数の縮約は、それに対応する二次代数の明確な縮約を誘導し、これは物理系の幾何的点ごとの極限に対応する。
• 2次球面上の一般超可積分量子系の不可約表現の関数空間実現を縮約することで、完全なAskeyスキームの超幾何直交多項式が得られる。
• $S_9$ からヘイゼンベルク代数への縮約系は、非退化な二次代数構造を保持する。これは、標準的なポテンシャルが存在しない場合でも、ポテンシャルに類似した項を含む対称性生成子を持つ。
• 縮約された代数の構造関係は明示的に導出され、$\mathcal{R}'^2 = 16\left(\mathcal{L}_1'^2\mathcal{H}' - (c_2\mathcal{L}_1' + c_1\mathcal{L}_2')(\mathcal{L}_1' + \mathcal{L}_2') - 4c_1a_3\mathcal{H}' + a_3(c_2 - c_1)\right)$ となる。これにより代数的一致性が確認される。
• 縮約下でのパラメータ変換（例：$a_1 = b_1$, $a_2 = \frac{b_1}{\epsilon^4} - \frac{b_2}{2\epsilon^3}$）により、係数が予測可能に変化することが示され、極限過程においても代数的枠組みが保たれることを示している。