[論文レビュー] On the spectrum of an oscillator in a magnetic field

Francisco M. Fernández|arXiv (Cornell University)|Jan 1, 2019

Spectral Theory in Mathematical Physics参考文献 12被引用数 1

ひとこと要約

この論文は、一様な磁場下における調和振動子ポテンシャル内の荷電粒子のスペクトルを解析するために代数的手法を適用し、臨界磁場強度 b = 2 で相転移を示している。|b| < 2 のとき、スペクトルは下から有界である。|b| > 2 のとき、スペクトルは無限大に発散する。b = 2 のとき、スペクトルは依然として有界であるが、各固有値は無限大の degeneracy を示し、超伝導理論における演算子 SB に対応する。

ABSTRACT

We consider the Hamiltonian for a charged particle in a harmonic potential in the presence of a magnetic field. The most symmetric case depends on one parameter, the variation of which leads from a spectrum bounded from below to an unbounded spectrum. At the transition point the spectrum is bounded from below but each eigenvalue has infinite multiplicity. The algebraic method proves to be a remarkable tool for the analysis of this quadratic Hamiltonian.

研究の動機と目的

• 荷電粒子が一様な磁場下の調和ポテンシャルに置かれた二次形式ハミルトニアンのスペクトル的挙動を調査すること。
• 磁場強度が変化するに従い、スペクトルが有界から無限大に発散する過程を検討すること。
• 二次形式ハミルトニアンにおけるスペクトル的相転移を解析するうえで、代数的手法の有効性を示すこと。
• b = 2 における臨界点の性質を明確にすること。ここではスペクトルは有界のままだが、固有値は無限大の多重度を示す。

提案手法

• ハミルトニアン H = H₀ + bL_z に代数的手法を適用し、H₀ は等方的調和振動子、L_z は角運動量のz成分である。
• 基底 {x, y, p_x, p_y} におけるハミルトニアンの随伴行列表現 H を構築する。
• 随伴行列の固有値と固有ベクトルを計算し、ラダー演算子 Z_i 及びそれらに対応する固有値 λ_i を特定する。
• 交換関係 [H, Z] = λZ および [H, Z†] = -λZ† を用いて、生成・消滅演算子を導出する。
• 固有値方程式 Emn = 2 + (b+2)m + (2−b)n (m,n = 0,1,...) を用いてスペクトルを分析する。
• 臨界ケース b = 2 を検討し、H が SB に一致することを示し、すべての固有値が無限大の degeneracy を持つことを示す。

実験結果

リサーチクエスチョン

• RQ1 磁場強度が変化するに従い、磁場下の荷電振動子のスペクトルはどのように変化するか？
• RQ2 スペクトルが有界から無限大に発散する臨界磁場強度 b = 2 では、スペクトルはどのように振る舞うか？
• RQ3 一般には下界がないにもかかわらず、なぜ b = 2 ではスペクトルが依然として有界のまま保たれるのか？
• RQ4 ラダー演算子およびその代数的構造は、相転移の前後でどのように変化するか？
• RQ5 代数的手法は、二次形式ハミルトニアンにおけるスペクトル的簡約性および相転移をどのように明らかにするか？

主な発見

• |b| < 2 のとき、スペクトルは下から有界であり、固有値は Emn = 2 + (b+2)m + (2−b)n で与えられる。
• |b| > 2 のとき、ラダー演算子のスペクトル内に負の固有値が現れることで、スペクトルは無限大に発散する。
• b = 2 のとき、スペクトルは依然として下から有界であるが、各固有値は無限大の degeneracy を示し、演算子 SB に対応する。
• ラダー演算子 Z1, Z2, Z3, Z4 は b に依存しない。b = 2 のとき、[H, Z2] = [H, Z3] = 0 となり、無限大の degeneracy が生じる。
• 基底状態 ψ₀₀ は Z1 および Z3 によって消えることから、Z2 および Z4 が生成演算子であることが確認される。
• b = 2 における固有関数は、ψ₀₁ ∝ (y + ix)e^{−(x²+y²)/2}、ψ₁₀ ∝ (−y + ix)e^{−(x²+y²)/2}、ψ₁₁ ∝ (1 − x² − y²)e^{−(x²+y²)/2} であり、すべて √π で正規化されている。