[論文レビュー] Harmonic Oscillator States with Non-Integer Orbital Angular Momentum

Martin Land|ArXiv.org|Mar 10, 2009

Quantum Mechanics and Non-Hermitian Physics参考文献 3被引用数 4

ひとこと要約

本稿は、O(2)、O(3)、O(2,1)対称性における極座標系でのシュレーディンガー方程式を解くことにより、非整数の軌道的角運動量を有する量子調和振動子状態を調査している。非整数 $ s \neq 0 $ の解、特に3次元における $ s = 1/2 $ は、デカルト座標系で分離不可能であり、無限大の degeneracy を示し、標準的なフォック空間のラダー構成および SU(N) 対称性を自発的に破る。一方、整数 $ s $ の状態は有限で分離可能のまま保たれる。

ABSTRACT

We study the quantum mechanical harmonic oscillator in two and three dimensions, with particular attention to the solutions as represents of their respective symmetry groups: O(2), O(3), and O(2,1). Solving the Schrodinger equation by separating variables in polar coordinates, we obtain wavefunctions characterized by a principal quantum number, the group Casimir eigenvalue, and one observable component of orbital angular momentum, with eigenvalue $m+s$, for integer $m$ and real constant parameter $s$. In each symmetry group, $s$ splits the solutions into two inequivalent representations, one associated with $s=0$, which recovers the familiar description of the oscillator as a product of one-dimensional solutions, and the other with $s>0$ (in three dimensions, $s=0, 1/2$) whose solutions are non-separable in Cartesian coordinates, and are hence overlooked by the standard Fock space approach. In two dimensions, a single set of creation and annihilation operators forms a ladder representation for the allowed oscillator states for any $s$, and the degeneracy of energy states is always finite. However, in three dimensions, the integer and half-integer eigenstates are qualitatively different: the former can be expressed as finite dimensional irreducible tensors under O(3) or O(2,1), and a ladder representation can be constructed via irreducible tensor products of the vector creation operator multiplet, while the latter exhibit infinite degeneracy and the finite-dimensional ladder representation fails for these states. These results are closely connected to the breaking of a unitary symmetry of the harmonic oscillator Hamiltonian recently discussed by Bars.

研究の動機と目的

• 極座標系での分離を用いて、標準的なフォック空間記述を非整数の軌道的角運動量状態に拡張する。
• 実数パラメータ $ s $ を用いてラベル付けされた波動関数を用いて、2次元および3次元における O(2)、O(3)、O(2,1) 対称性群の表現論を調査する。
• 3次元における半整数 $ s $ 状態（例：$ s = 1/2 $）において、標準的な生成・消滅演算子がなぜラダー表現を形成できないのかを特定する。特に、無限大の degeneracy が原因である。
• 計量の符号とノルム定義の役割を相対論的振動子モデルにおいて明確にし、特に負ノルム（ゴースト）状態の出現に与える影響を検討する。
• 調和振動子ハミルトニアンの SU(N) 対称性が非整数 $ s $ 表現において自発的に破れる理由を示す。これは、デカルト座標系における波動関数の非分離性と直接関連している。

提案手法

• 2次元および3次元調和振動子におけるシュレーディンガー方程式を極座標系で解き、主量子数、群のカシミア固有値、および実数 $ s $ を用いた $ m + s $ の固有値でパラメータ化された解を得る。
• 非整数 $ s $ を持つ一般化された角運動量演算子を用い、関連ルジャンドル多項式および限界超幾何関数を含む波動関数を導出する。
• 極座標系における生成・消滅演算子を構成し、$ s = 0 $ のみでラダー演算子として機能することを示す。$ s > 0 $、特に3次元における $ s = 1/2 $ では機能しない。
• 正しい計量 $ \eta_{\mu\nu} $ を用いて励起状態のノルムを解析し、テンソル構造の取り扱いが不適切な場合、スカラー内積計算により誤った正定性が得られることを示す。
• $ s = 1/2 $ の場合、基底状態が無限大の degeneracy を示し、標準的なフォック構成による生成演算子のベクトル表現が最初の励起準位を生成できなくなることを示す。
• O(2,1) における相対論的振動子と標準的な非相対論的ケースを比較し、波動関数がデカルトモードに分離できないこと、および時空的励起が計量を適切に含めない限り負ノルムを示す可能性があることを示す。

実験結果

リサーチクエスチョン

• RQ1 非整数の軌道的角運動量状態（$ s \neq 0 $）は、2次元および3次元における調和振動子の分離性および対称性構造にどのように影響を与えるか？
• RQ2 なぜ3次元における半整数 $ s $ 状態では、標準的な生成・消滅演算子がラダー表現を形成できないのか？
• RQ3 計量 $ \eta_{\mu\nu} $ は、相対論的振動子状態のノルムを定義する上で果たす役割は何か？ また、ゴースト状態の出現にどのように影響を与えるか？
• RQ4 調和振動子ハミルトニアンの SU(N) 対称性は、非整数 $ s $ 表現においてどのように自発的に破れるのか？
• RQ5 多重極展開または代替の演算子代数を用いて、O(2,1) における $ s = 1/2 $ 状態に対して一貫したラダー表現を構築できるか？

主な発見

• $ s = 0 $ の場合、標準的なフォック空間構成が成立する：解はデカルト座標系で分離可能であり、生成・消滅演算子は有限次元のラダー表現を形成する。
• $ s > 0 $ の場合、特に3次元における $ s = 1/2 $ では、解はデカルト座標系で分離不可能であり、無限次元表現を形成する。これにより、標準的なフォック空間アプローチは無効となる。
• 3次元における $ s = 1/2 $ の基底状態は無限大の degeneracy を示し、生成演算子のベクトル表現が標準的な作用により最初の励起準位を生成できない。
• 基本ベクトル表現の非可約テンソル積として構成された生成演算子は、整数 $ s $ 状態を効果的に生成できるが、基底状態の degeneracy のため、半整数 $ s $ では失敗する。
• 調和振動子ハミルトニアンの SU(N) 対称性は、$ s \neq 0 $ 表現において自発的に破れる。この破れは、波動関数の非分離性と直接関連している。
• 正しい計量 $ \eta_{\mu\nu} $ を用いて計算した場合、$ \psi_1^0 = \bar{a}^0 \psi_0 $ のような励起状態のノルムが負になることが示され、計量を正しくノルム定義に組み込まない限りゴースト状態が出現する可能性がある。