[논문 리뷰] Bohr-Sommerfeld-Heisenberg Quantization of the 2-dimensional Harmonic Oscillator

Richard Cushman, Jędrzej Śniatycki|arXiv (Cornell University)|2012. 07. 05.

Cold Atom Physics and Bose-Einstein Condensates참고 문헌 2인용 수 6

한 줄 요약

이 논문은 보어-โซ머펠트-헤이젠베르크 규칙을 사용하여 2차원 조화 진동자에 대한 기하적 양자화를 제시하며, $S^1$ 및 $
bb{Z}_2$ 대칭성을 통해 시스템을 축소시킨다. 보어-소머펠트 토러스로부터 양자 힐버트 공간을 구성하고, 축소된 시스템이 $
rm{su}(2)$의 유한차원 기약 표현을 제공함을 보여준다. 특히, 완전히 축소된 시스템은 에너지 $e = \hbar q$를 가진 양자 상태에서 $q+1$차원 $
rm{su}(2)$ 표현을 실현한다. 이 방법은 기하적 양자화와 행동각 변수를 통해 고전적 분리 가능 시스템과 양자 대수학을 연결한다.

ABSTRACT

We study geometric quantization of the harmonic oscillator in terms of a singular real polarization given by fibres of the energy momentum map.

연구 동기 및 목표

• 완전히 분리 가능한 시스템에 대해 보어-소머펠트-헤이젠베르크 규칙에 기반한 기하적 양자화 프레임워크를 개발하는 것.
• 이 프레임워크를 2차원 조화 진동자 및 그 대칭성 축소 시스템에 적용하는 것.
• 축소된 시스템이 $
  rm{su}(2)$의 유한차원 기약 표현을 제공함을 보여주는 것.
• 고전적 대칭성에서 유도된 양자 연산자(상승/하강 연산자)를 구성하고 그 대수적 닫힘을 보여주는 것.
• 행동 변수 $A_i = m_i \hbar$를 통해 고전적 행동 변수와 양자 에너지 준위 사이의 대응을 설정하는 것.

제안 방법

• 에너지-운동량 사상에 의해 정의된 특이 실다중분포를 사용하여 보어-소머펠트 토러스를 설정하는 것.
• 허용된 양자 상태를 결정하기 위해 보어-소머펠트 양자화 조건 $\int_{\Gamma_i} \theta_W = m_i h$ 를 적용하는 것.
• 보어-소머펠트 토러스에 대응하는 1차원 부분공간 $\mathfrak{H}_{T_\mathbf{m}}$ 의 직합으로 힐버트 공간 $\mathfrak{H}_U$ 를 구성하는 것.
• 기저 벡터 $\mathbf{e}_\mathbf{m}$ 에 작용하여 양자 수 $m_i$ 를 이동시키는 내림/오르내림 연산자 $\mathbf{a}_i$ 를 정의하는 것.
• $S^1$ 대칭성을 가진 시스템을 $
  bb{Z}_2$-불변 시스템으로 축소하여 $
  overline{D}^2_e$ 상에서의 축소된 위상공간에 파울리 대수를 도입하는 것.
• 양자 연산자를 정의하기 위해 매끄러운 함수 $\tau_\pm = \frac{1}{i\hbar}(\tau_1 \pm i\tau_2)$ 를 도입하고, $
  rm{su}(2)$-대수적 교환관계를 만족시키는 것.

실험 결과

연구 질문

• RQ1 보어-소머펠트-헤이젠베르크 양자화 절차를 2차원 조화 진동자에 체계적으로 적용하는 방법은 무엇인가?
• RQ2 $S^1$ 대칭성 축소 후 2차원 조화 진동자의 양자 표현은 어떤 형태인가?
• RQ3 추가로 $
  bb{Z}_2$ 대칭성 축소가 양자 구조와 대수적 닫힘에 어떤 영향을 미치는가?
• RQ4 고전적 대칭성에서 유도된 양자 연산자가 리 대수에서 닫혀 있는가, 만약 그렇다면 어떤 대수인가?
• RQ5 양자 힐버트 공간의 차원과 그 기약 표현으로의 분해는 어떻게 되는가?

주요 결과

• 보어-소머펠트-헤이젠베르크 양자화는 정규직교 기저 벡터 $\mathbf{e}_\mathbf{m}$ 로 생성되는 힐버트 공간 $\mathfrak{H}_U$ 를 도출하며, $\mathbf{e}_\mathbf{m}$ 은 행동 양자수 $m_i\hbar$ 와 대응한다.
• $S^1$-축소 후 양자 힐버트 공간 $\widehat{\mathfrak{H}}_q$ 는 $q+1$차원이며, $
  rm{su}(2)$ 의 유한차원 기약 표현을 지지한다.
• 양자 연산자 $\mathbf{Q}_{\tau_+}$ 와 $\mathbf{Q}_{\tau_-}$ 는 $\widehat{\mathfrak{H}}_q$ 상에서 상승 및 하강 연산자로 작용하며, 계수 $c_m = i\hbar\sqrt{2m(m-1)}$ 를 가진다. ($1 \leq m \leq q$)
• $\overline{D}^2_e$ 상에서 $\tau_1, \tau_2, \widehat{A}$ 가 생성하는 파울리 대수는 $
  rm{su}(2)$ 와 동형이며, $\{\tau_+, \tau_-, \widehat{A}\}$ 의 구조 상수가 $
  rm{su}(2)$ 교환관계를 만족한다.
• 완전히 축소된 시스템은 에너지 $e = \hbar q$ 와 대응하는 단일 기약 $
  rm{su}(2)$-표현을 $\widehat{\mathfrak{H}}_q$ 상에서 실현한다.
• 양자 연산자 $\mathbf{Q}_{{\mathrm{e}}^{\pm i\widehat{\vartheta}}}$ 는 매끄러운 함수 $\tau_\pm$ 로 대체되며, 이는 축소된 위상공간에서 일관된 양자화를 가능하게 한다.