[논문 리뷰] Analysis of Lyapunov Control for Hamiltonian Quantum Systems

Xiaoting Wang, Sonia G. Schirmer|ArXiv.org|2008. 05. 19.

Quantum Information and Cryptography참고 문헌 18인용 수 10

한 줄 요약

이 논문은 라플라스의 불변성 원리를 사용하여 이차형 해밀토니안 양자 시스템에 대한 리아프노프 제어의 엄밀한 분석을 제공하며, 이 방법이 매우 엄격한 조건—특히 자유 해밀토니안 $ H_0 $ 가 강한 정규성 조건을 만족하고 제어 해밀토니안 $ H_1 $ 가 완전히 연결되어 있을 때에만 효과가 있음을 드러낸다. 현실적인 물리 시스템에서는 이러한 조건이 완화될 경우 중심다양체가 나타나면서 목표 상태로의 수렴이 불가능해지므로 제어 방법이 실패한다.

ABSTRACT

We present detailed analysis of the convergence properties and effectiveness of Lyapunov control design for bilinear Hamiltonian quantum systems based on the application of LaSalle's invariance principle and stability analysis from dynamical systems and control theory. For a certain class of Hamiltonians, strong convergence results can be obtained for both pure and mixed state systems. The control Hamiltonians for realistic physical systems, however, generally do not fall in this class. It is shown that the effectiveness of Lyapunov control design in this case is significantly diminished.

연구 동기 및 목표

• 동역학계 이론을 활용하여 이차형 양자 시스템에서 리아프노프 제어의 수렴 성질을 엄밀히 분석하는 것.
• 리아프노프 제어가 목표 양자 상태로 수렴을 보장하는 데 필요한 필수 및 충분 조건을 규명하는 것.
• 시간에 따라 변하는 목표 상태에 대해 라플라스의 불변성 원리를 적용할 때 발생하는 이전 문헌의 모순을 해결하는 것.
• 시스템 해밀토니안($ H_0 $ 및 $ H_1 $)이 리아프노프 제어의 안정성과 효과성에 미치는 영향을 조사하는 것.
• 이상적인 조건이 충족되지 않는 현실적인 양자 시스템에서 리아프노프 제어의 실용적 한계를 평가하는 것.

제안 방법

• 밀도 연산자 $ \rho(t) $ 에 대해 리우빌-폰 노이만 방정식을 사용하여 양자 제어 문제를 수립하며, $ \dot{\rho} = -i[H_0 + f(t)H_1, \rho] $ 를 사용한다.
• 비음수이며 $ \rho = \rho_d $ 일 때에만 0이 되는 리아프노프 함수 $ V(\rho, \rho_d) = \frac{1}{2}\operatorname{Tr}((\rho - \rho_d)^2) $ 를 정의한다.
• $ \rho(t) $ 와 시간에 따라 변하는 목표 상태 $ \rho_d(t) $ 를 포함한 확장된 자율 시스템에 대해 라플라스의 불변성 원리를 적용하며, $ \dot{\rho}_d = -i[H_0, \rho_d] $ 를 만족한다.
• 동역학계의 불변집합 $ E $ 를 분석하여 궤적이 $ \rho_d(t) $ 로 수렴하는지 확인하며, 특히 임계점과 중심다양체의 구조를 중점적으로 고려한다.
• 중심다양체 이론을 사용하여 $ H_0 $ 가 강한 정규성이 없거나 $ H_1 $ 이 완전히 연결되어 있지 않을 경우, 불변집합 $ E $ 가 $ \rho_d(t) $ 주위에 중심다양체를 포함하게 되어 수렴이 방해됨을 보여준다.
• 이상적인 조건(강한 정규성의 $ H_0 $, 완전히 연결된 $ H_1 $)과 현실적인 변형 조건을 비교하기 위해 명시적인 행렬 예제를 사용한다.

실험 결과

연구 질문

• RQ1 리아프노프 제어가 시간에 따라 변하는 목표 상태 $ \rho_d(t) $ 로 수렴을 보장하기 위해 $ H_0 $ 와 $ H_1 $ 에 어떤 조건이 필요한가?
• RQ2 시간에 따라 변하는 목표 상태에 대해 라플라스의 불변성 원리 적용은 타당한가? 필요한 가정은 무엇인가?
• RQ3 강한 정규성의 $ H_0 $ 와 완전히 연결된 $ H_1 $ 의 이상적 조건이 완화될 경우, 불변집합 $ E $ 는 어떻게 변화하는가?
• RQ4 이상화된 가정 조건에서는 작동하지만 현실적인 양자 시스템에서는 왜 리아프노프 제어가 실패하는가?
• RQ5 중심다양체 이론은 비이상적 경우에서 리아프노프 제어의 실패를 설명할 수 있으며, 이는 실용적 제어 설계에 어떤 함의를 갖는가?

주요 결과

• 리아프노프 제어는 $ H_0 $ 가 강한 정규성 조건을 만족하고 $ H_1 $ 가 완전히 연결되어 있을 때에만 효과적이며, 이러한 조건들이 목표 상태 $ \rho_d(t) $ 가 불변집합 내에서 유일한 하이퍼볼릭 싱크임을 보장하기 때문이다.
• 만약 $ H_0 $ 가 강한 정규성이 없거나 $ H_1 $ 가 완전히 연결되어 있지 않다면, 불변집합 $ E $ 는 $ \rho_d(t) $ 주위에 중심다양체로 확장되어 대부분의 궤적이 다각형 궤적을 따라 수렴하게 되며, 목표 상태 $ \rho_d(t) $ 는 수렴하지 않는다.
• 중심다양체의 출현은 리아프노프 제어가 대부분의 현실적인 물리 시스템에서는 실용적으로 효과가 없음을 시사하며, 목표 상태로의 수렴이 보장되지 않는다.
• 일반적인 정적 목표 상태의 경우조차도 리아프노프 함수의 안정하지 않은 임계점들이 양의 차원을 가진 매력다양체를 가지며, 이는 수렴 역학을 복잡하게 만든다.
• 이상적인 조건에서 불변집합에 임계점 외의 점들이 포함되어 있는 목표 상태의 집합은 측도가 0이지만, 해밀토니안 조건이 완화되면 이러한 성질이 성립하지 않는다.
• 비이상적 경우에서 리아프노프 제어의 실패는 목표 상태의 불안정성 때문이 아니라, 비이성적인 중심다양체를 포함하는 불변집합의 위상적 구조 때문임을 밝혀낸다.