[논문 리뷰] Note on the Analytical Solution of the Rabi Model

Daniel Braak|arXiv (Cornell University)|2012. 10. 17.

Nonlinear Waves and Solitons참고 문헌 19인용 수 21

한 줄 요약

이 논문은 바르그만 공간에서의 연립 미분방정식으로 유도된 함수 $ G_{\pm}(x) $ 가 $ x = 0 $ 에서의 영점 조건을 강제할 경우, 모든 에너지 고유값을 정확히 식별할 수 있음을 엄밀히 증명함으로써, 최근의 비판에 대응하여 라비 모델의 해석적 해를 방어한다. 증명은 $ G_{\pm}(x;0) = 0 $ 이 물리적 고유값을 위한 必要 및 十分 조건임을 입증하며, 비물리적 영점은 측도가 0인 집합에 국한되어 있음을 보여주어 원래의 해가 무효가 되지 않음을 해결한다.

ABSTRACT

It is shown that a recent critique (arXiv:1210.1130 and arXiv:1211.4639) concerning the analytical solution of the Rabi model is unfounded.

연구 동기 및 목표

• 라비 모델의 해석적 해가 스펙트럼 함수의 임의의 영점으로 인해 비물리적 고유값을 포함한다는 주장에 반박하기 위해.
• 정규 스펙트럼에서 물리적 에너지 고유값을 위한 조건 $ G_{\pm}(x;0) = 0 $ 가 必要 및 十分임을 입증하기 위해.
• 함수 $ G_{\pm}(x) $ 의 원래 유도 과정의 격차를 메우기 위해 복소수 미분방정식과 대칭성을 통한 정칙 계속성에 대한 엄밀한 증명을 제공하기 위해.
• 복소 평면에서의 두 점 경계값 문제의 역할을 명확히 하고, 고유값에 대해 일致하고 비퇴화된 조건을 유도하는 것은 오직 $ z_0 = 0 $ 에서만 가능함을 보여주기 위해.

제안 방법

• 라비 해밀토니안을 바탕으로 바르그만 공간에서의 파동함수 성분 $ \phi_1(z) $ 와 $ \phi_2(z) $ 에 대한 일阶 선형 미분방정식계 (4) 를 유도한다.
• 대칭성 $ z \to -z $ 를 이용해 $ \Phi(z) = (\phi_2(-z), \phi_1(-z))^T $ 가 $ \Psi(z) $ 와 동일한 미분방정식을 만족함을 보이고, 이를 통해 정칙 계속성을 가능하게 한다.
• 복소해석학의 정리 적용: 선형 동차 미분방정식의 해가 연결된 영역 내에서 한 점에서 0이면, 전체 영역에서 0이 되므로, 영역 전체에 걸쳐 일致성이 보장된다.
• 특히 $ z_0 = 0 $ 에서 $ \phi_1(z_0) = \phi_2(-z_0) $ 와 $ \phi_2(z_0) = \phi_1(-z_0) $ 를 만족할 경우, $ \psi(z) $ 가 전체 복소평면에서 정칙임을 보장한다.
• 파워 급수 전개를 통해 $ z = -g $ 근처에서 정의된 함수 $ G_{\pm}(x) $ 는, 물리적 고유값에 대해 $ x = E^{\pm}_n + g^2 $ 일 때에만 영이 된다는 것을 보여준다.
• 복소수 평면에서 $ z_0 \in i\mathbb{R} $ 이며 수렴 원판 $ D_0 $ 외부에 있더라도, 진짜 고유값에서 해석적임을 고려하면 $ G_{\pm}(x;z_0) $ 가 여전히 정확한 고유값을 도출할 수 있음을 보여준다.

실험 결과

연구 질문

• RQ1 라비 모델의 파동함수 방정식에서 유도된 스펙트럼 함수 $ G_{\pm}(x) $ 는 진짜 에너지 고유값을 정확히 식별할 수 있는가?
• RQ2 마체예프스키 등이 지적한 $ G_{\pm}(x) $ 의 비물리적 영점은 실제로 허위인지, 수학적으로 정당한가?
• RQ3 왜 고유값 결정에 있어 $ G_{\pm}(x;0) = 0 $ 조건만이 유일하게 타당한가? 다른 $ z_0 \neq 0 $ 에서의 조건은 실패할 수 있는가?
• RQ4 대칭성과 미분방정식의 구조를 통한 파동함수의 정칙 계속성이, 오직 물리적 고유값만이 경계 조건을 만족시킴을 보장하는가?
• RQ5 수렴하지 않는 급수를 가진다 해도, $ z_0 \in i\mathbb{R} $ 에서 $ G_{\pm}(x;z_0) $ 를 통해 고유값을 정확히 계산할 수 있는가?

주요 결과

• 조건 $ G_{\pm}(x;0) = 0 $ 는 $ x $ 가 물리적 에너지 고유값 $ E^{\pm}_n + g^2 $ 와 대응하기 위해 必要 및 十分 조건임을 입증하여, 이전의 비물리적 영점에 대한 우려를 해결하였다.
• 잠재적인 비물리적 영점의 집합은 $ \mathbb{R} \cap D_0 \setminus \{0\} $ 에 국한되어 있으며, 이는 측도가 0인 집합이므로 원래의 해의 타당성에 영향을 주지 않는다.
• $ z_0 \in i\mathbb{R} $ 인 경우, 수렴 원판 $ D_0 $ 외부에 있더라도, 진짜 고유값에서 해석적이므로 $ G_{\pm}(x;z_0) $ 는 여전히 정확한 고유값을 식별할 수 있다.
• 수치적 증거는 $ G_{+}(x;5i) $ 가 $ x \approx 71 $ 에서 공동 영점을 가지며, 이는 비수렴 급수에도 불구하고 정확한 고유값 $ E^{+}_{71} = 70.00462935 $ 를 도출함을 확인한다.
• 원래의 $ G_{\pm}(x) $ 유도 과정은, $ \bm{f}(z_0) = \Phi(z_0) - \Psi(z_0) $ 가 $ D_0 $ 내의 한 점 $ z_0 $ 에서 0이면 전체 영역에서 항등적으로 0이 된다는 것을 보여주어, 완전하고 타당한 해로 간주된다.
• 마체예프스키 등이 제기한 이중 경계값 문제 기반의 비판은 잘못되었으며, 정확한 조건은 두 개의 서로 다른 점이 아니라 오직 $ z_0 = 0 $ 에서의 단일 점에서의 영점 조건이기 때문이다.