[논문 리뷰] Explicit Form of Solution of Two Atoms Tavis-Cummings Model

Kazuyuki Fujii, Kyoko Higashida외 2명|ArXiv.org|2004. 03. 01.

Quantum Information and Cryptography참고 문헌 7인용 수 9

한 줄 요약

이 논문은 스핀-1 표현과 행렬 지수 기법을 사용하여 공진 조건 하에서 이원자 Tavis-Cummings 모델에 대한 최초의 명시적 해석적 해를 제공한다. 해는 유니타리 변환을 통해 유도되며, 수의 연산자에 대한 삼각함수로 표현되어, 트랩에 갇힌 레이저 냉각 원자 시스템에서의 양자 게이트 설계에 직접 적용 가능하다.

ABSTRACT

In this paper we consider the two atoms Tavis--Cummings model and give an explicit form to the solution of this model which will play a central role in quantum computation based on atoms of laser--cooled and trapped linearly in a cavity. We also present a problem of three atoms Tavis--Cummings model which is related to the construction of controlled--controlled NOT operation (gate) in quantum computation.

연구 동기 및 목표

• 문헌에서 해결되지 않은 바와 같이, 이중 원자 Tavis-Cummings 모델의 시간 진화 연산자의 명시적 해석적 형태를 유도하는 것.
• 트랩에 갇힌 레이저 냉각 원자를 이용한 양자 계산에서 필수적인 제어 양자 게이트—특히 제어-제어-NOT 게이트—의 구축을 용이하게 하는 것.
• 기존의 한 원자 해를 이중 원자 경우로 확장하여, 캐비티 QED에서의 다중 큐비트 양자 연산에 기초를 마련하는 것.
• 세 원자 Tavis-Cummings 모델을 도전적인 열린 문제로 규명하고, 향후 연구를 위해 제시하는 것.

제안 방법

• 수(2) 대칭성의 구조를 활용하여 해밀토니안을 집합 스핀 연산자 $ S_+ $, $ S_- $, $ S_3 $ 를 포함하는 형태로 변환한다.
• 시간에 의존하는 슈뢰딩거 방정식을 해결하기 위해 상수의 변형 방법을 적용하여 문제를 연산자 $ A = S_+ \otimes a + S_- \otimes a^\dagger $ 의 지수 연산으로 축소한다.
• 공진 조건 $ \Delta = \omega $ 를 적용하여 시간 진화 연산자를 $ U(t) = e^{-it\omega S_3} \otimes e^{-it\omega N} \cdot e^{-itgA} $ 로 단순화하고, $ e^{-itgA} $ 에 집중한다.
• 이중 원자 경우에서 스핀-1의 $ \mathfrak{su}(2) $ 비가역 표현을 활용하여 $ 4 \times 4 $ 행렬 $ A $ 를 $ 3 \times 3 $ 행렬 $ B $ 로 축소하여 지수 계산을 단순화한다.
• 행렬 $ B $ 의 거듭제곱에 대한 재귀 관계를 사용하여 $ e^{-itgB} $ 를 계산하고, $ D $ 가 대각 연산자인 $ \cos(tg\sqrt{D}) $ 와 $ \sin(tg\sqrt{D})/\sqrt{D} $ 를 포함하는 닫힌 형태의 표현식을 도출한다.

실험 결과

연구 질문

• RQ1 공진 조건 하에서 이중 원자 Tavis-Cummings 모델의 시간 진화 연산자의 명시적 해석적 형태는 무엇인가?
• RQ2 이중 원자의 집합 스핀 구조는 다체 해밀토니안의 해를 단순화하는 데 어떻게 활용될 수 있는가?
• RQ3 이중 원자 해를 세 원자로 일반화하여 양자 계산에서의 제어-제어-NOT 게이트를 실현할 수 있는가?
• RQ4 이중 원자 경우에서 $ \exp(-itgA) $ 의 명시적 계산이 가능한 대수적 구조는 무엇이며, 왜 세 원자에서는 실패하는가?

주요 결과

• 이중 원자 Tavis-Cummings 모델의 명시적 해는 $ \exp(-itgA) = \sum_{j=0}^\infty (-1)^j \frac{(tg\sqrt{D})^{2j}}{(2j)!} - i \frac{1}{\sqrt{D}} \sum_{j=0}^\infty (-1)^j \frac{(tg\sqrt{D})^{2j+1}}{(2j+1)!} A $ 로 유도되며, $ D = \text{diag}(N+1, N) $ 이고, $ \cos(tg\sqrt{N+1}) $, $ \sin(tg\sqrt{N+1})/\sqrt{N+1} $ 등으로 표현된 행렬 표현식을 제공한다.
• 해는 블록 행렬 형태로 명시적으로 기술되며, $ \begin{pmatrix} \cos(tg\sqrt{N+1}) & -i \frac{\sin(tg\sqrt{N+1})}{\sqrt{N+1}} a \\ -i \frac{\sin(tg\sqrt{N})}{\sqrt{N}} a^\dagger & \cos(tg\sqrt{N}) \end{pmatrix} $ 로 표현되며, 이는 한 원자에 대해 유효하다.
• 이중 원자 경우에서 해는 $ 3 \times 3 $ 행렬 $ B $ 로 축소되고, 지수 $ \exp(-itgB) $ 는 재귀 관계 $ B^3 = D B $ 를 사용하여 계산된다. 여기서 $ D $ 는 대각 연산자이다.
• 결과로 얻어진 행렬 원소는 $ \cos(tg\sqrt{2(2N+3)}) $, $ \sin(tg\sqrt{2(2N+3)}) $ 등의 분수 함수로 표현되며, 계수로 $ N $, $ a $, $ a^\dagger $ 가 포함된다.
• 이 방법은 한 원자 해를 이중 원자로 성공적으로 일반화하여, 이전에 문헌에 존재하지 않았던 완전하고 명시적인 형태를 제공한다.
• 세 원자 경우는 $ A^k $ 에 대해 유사한 재귀 관계가 없어 해결되지 않은 채로 남아 있으며, 저자들은 이를 향후 연구를 위한 열린 문제로 제시한다.