[論文レビュー] Representations of the Schrödinger group and matrix orthogonal polynomials

Luc Vinet, Alexei Zhedanov|arXiv (Cornell University)|May 3, 2011

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

ひとこと要約

本稿では、調和振動子基底における1次元シュレーディンガー群の明示的ユニタリ表現を構築し、その群の行列要素が離散チェビシェフ多項式およびマイクセル多項式から構成される行列直交多項式（MOPs）に従うことを明らかにする。リー理論的枠組みにより、再帰関係、差分方程式、ロドリゲスの公式、母関数といった構造的公式を体系的に導出でき、物理的動機付けのある文脈においてこれらのMOPsの完全な対称性に基づく特徴付けがなされる。

ABSTRACT

The representations of the Schrödinger group in one space dimension are explicitly constructed in the basis of the harmonic oscillator states. These representations are seen to involve matrix orthogonal polynomials in a discrete variable that have Charlier and Meixner polynomials as building blocks. The underlying Lie-theoretic framework allows for a systematic derivation of the structural formulas (recurrence relations, difference equations, Rodrigues' formula etc.) that these matrix orthogonal polynomials satisfy.

研究の動機と目的

• 1次元シュレーディンガー群 Sch1 を調和振動子基底において明示的に表現すること。
• これらの表現の行列要素として現れる行列直交多項式（MOPs）を同定すること。
• これらのMOPsの主要な構造的公式（再帰、差分、ロドリゲス、母関数）を、基礎となるリー代数的構造を用いて体系的に導出すること。
• 物理的文脈におけるMOPsの完全な対称性解析を提供し、現在の数学的取り扱いにおける空白を埋めること。

提案手法

• シュレーディンガー群 Sch1 はそのリー代数 sl(2,R) ⊗ H1 を通じて実現され、生成子は調和振動子の生成・消滅演算子 a と a+ で表現される。
• 群の表現は、数状態 |n⌉ で張られるフォック空間上で構成され、調和振動子ハミルトニアン H を用いた時間発展演算子により生成子が時間発展される。
• 群生成子の行列要素は、離散変数におけるチャイリエル多項式およびマイクセル多項式の線形結合からなるMOPsを導くことが示される。
• リー代数的構造を用いることで、交換関係および演算子恒等式から再帰関係、差分方程式、ロドリゲスの公式が導出可能である。
• コherent状態 |z⌉ が母関数の表現に用いられ、MOPsのスカラー成分の解析にも用いられる。
• この枠組みにより、ユニタリ表現および群不変性を用いて直交性関係および双対直交性が導出可能である。

実験結果

リサーチクエスチョン

• RQ1 1次元シュレーディンガー群はどのように調和振動子基底において明示的に表現可能か？
• RQ2 これらの表現の行列要素としてどのような行列直交多項式（MOPs）が現れるか？
• RQ3 これらのMOPsの全構造的公式（再帰、差分、ロドリゲス、母関数）は、群論的原理からどのように体系的に導出可能か？
• RQ4 sl(2,R) ⊗ H1 リー代数はMOPsの構造をどのように整理するか？
• RQ5 この構成は、行列直交多項式の完全かつ包括的な対称性解析を提供できるか？

主な発見

• 調和振動子基底におけるシュレーディンガー群の表現の行列要素は、離散チャイリエル多項式およびマイクセル多項式から構成される行列直交多項式（MOPs）である。
• MOPsは、リー代数 sl(2,R) ⊗ H1 の構造から導かれる行列係数を有する三項再帰関係を満たす。
• 群論的枠組みとキャスミール作用素の作用を用いて、MOPsのロドリゲス型公式が導出される。
• MOPsの母関数は、コherent状態 |z⌉ を用いて表現され、複素パラメータ z に明示的な依存性を示す。
• MOPsのスカラー成分は、偶数および奇数のエルミート多項式から構成され、フォック空間の偶数状態および奇数状態への分解と関連している。
• 直交性、差分方程式、ラダー演算子を含む、全構造的公式が体系的に得られ、物理的文脈内でのMOPsの完全な特徴付けがなされる。