[논문 리뷰] On the spectrum of an oscillator in a magnetic field

Francisco M. Fernández|arXiv (Cornell University)|2019. 01. 01.

Spectral Theory in Mathematical Physics참고 문헌 12인용 수 1

한 줄 요약

이 논문은 균일한 자기장 속에서 조화진동자 위치에너지 내에 있는 전하를 띤 입자의 스펙트럼을 분석하기 위해 대수적 방법을 적용한다. 자기장 강도가临계값 b = 2에 도달할 때 단서 전이가 발생한다. |b| < 2일 때 스펙트럼은 아래로 유계이며, |b| > 2일 때는 비유계가 된다. b = 2일 때는 스펙트럼은 여전히 유계이지만 각 고유값은 무한한 디제너레이시를 가지며, 이는 초전도성 이론에서 다뤄진 연산자 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₀는 등방성 조화진동자이고 L_z는 각운동량의 z성분인 H = H₀ + bL_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가 되고 모든 고유값이 무한한 디제너레이시를 가짐을 보인다.

실험 결과

연구 질문

• RQ1 자기장 강도가 변화함에 따라 자기장 속의 전하를 띤 조화진동자의 스펙트럼은 어떻게 변화하는가?
• RQ2 b = 2인 임계 자기장 강도에서 스펙트럼은 어떻게 되며, 이는 스펙트럼이 유계에서 비유계로 전이되는 지점인가?
• RQ3 일반적인 경우에 하한이 없음에도 불구하고 b = 2에서 스펙트럼이 여전히 유계일 수 있는 이유는 무엇인가?
• RQ4 단계 연산자와 그 대수적 구조는 단서 전이를 거쳐 어떻게 변화하는가?
• RQ5 대수적 방법은 이차형 해밀토니안에서 스펙트럼의 디제너레이시와 단서 전이를 어떻게 드러내는가?

주요 결과

• |b| < 2일 때 스펙트럼은 아래로 유계이며 고유값은 Emn = 2 + (b+2)m + (2−b)n이다.
• |b| > 2일 때는 단계 연산자의 스펙트럼에 음의 고유값이 존재함으로써 스펙트럼이 비유계가 된다.
• b = 2일 때 스펙트럼은 여전히 아래로 유계이지만 각 고유값은 무한한 디제너레이시를 가지며, 이는 연산자 SB에서 관찰된다.
• 단계 연산자 Z1, Z2, Z3, Z4는 b에 독립적이며, b = 2일 때 [H, Z2] = [H, Z3] = 0이 되어 무한한 디제너레이시가 발생한다.
• 기본 상태 ψ₀₀는 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}이며, 모두 √π로 정규화되어 있다.