[논문 리뷰] Incoherent Quantum Control

Alexander Pechen, Herschel Rabitz|ArXiv.org|2008. 01. 22.

Laser-Matter Interactions and Applications참고 문헌 1인용 수 5

한 줄 요약

이 논문은 스펙트럼 보존 및 상태별 최적성 등의 전통적 협응 제어의 한계를 극복하기 위해 설계된 환경 상호작용를 통한 비협응 양자 제어를 제안한다. 비협응 진화가 임의의 초기 상태를 임의의 목표 상태로 전이시킬 수 있음을 입증하며, 이는 Kraus 맵 형식화와 제어 지형의 局부 최솟값이 존재하지 않음을 증명함으로써 가능해진다.

ABSTRACT

Conventional approaches for controlling open quantum systems use coherent control which affects the system's evolution through the Hamiltonian part of the dynamics. Such control, although being extremely efficient for a large variety of problems, has limited capabilities, e.g., if the initial and desired target states have density matrices with different spectra or if a control field needs to be designed to optimally transfer different initial states to the same target state. Recent research works suggest extending coherent control by including active manipulation of the non-unitary (i.e., incoherent) part of the evolution. This paper summarizes recent results specifically for incoherent control by the environment (e.g., incoherent radiation or a gaseous medium) with a kinematic description of controllability and landscape analysis.

연구 동기 및 목표

• 스펙트럼 보존 및 상태별 최적성 등의 열린 양자 시스템에서의 협응 제어의 한계를 해결한다.
• 비협응 복사, 기체 매체 등의 환경 상호작용(예: 비협응 복사, 기체 매체)을 통한 비협응 제어를 보완적 제어 메커니즘으로 탐색한다.
• Kraus 맵을 사용하여 열린 양자 시스템에서의 제어 가능성과 지형 구조를 수립한다.
• 비협응 동역학이 유니터리 진화의 제약을 극복하고 보편적 상태 전이를 달성할 수 있음을 입증한다.
• 국소 최솟값이 없는 제어 지형을 증명함으로써 기울기 기반 최적화 없이도 이론적 기초를 제공한다.

제안 방법

• 환경에 따라 달라지는 Lindblad 연산자를 갖는 Gorini-Kossakowski-Sudarshan-Lindblad (GKSL) 마스터 방정식을 사용하여 비협응 제어를 수식화한다.
• 시간에 따라 변화하는 입자 분포(예: 운동량 및 내부 상태)를 통해 환경 제어를 모델링하며, 이는 GKSL 생성자에 영향을 준다.
• 추적 보존 및 완전히 양성 조건을 만족하는 Kraus 연산자를 통해 제어 동역학을 표현한다.
• Kraus 연산자 집합의 Stiefel 다양체 위에서 제어 지형을 분석하여 최적화 행동을 평가한다.
• 모든 Kraus 맵을 이용할 수 있도록 다루는 운동학적 그림을 사용하여 전역 최적화 분석을 가능하게 한다.
• 일반 조건 하에서 $ J_1 = \mathrm{Tr}[(\sum_i K_i \rho K_i^\dagger) O] $ 형태의 목적 함수가 국소 최솟값 또는 최댓값이 존재하지 않음을 증명한다.

실험 결과

연구 질문

• RQ1 환경 상호작용를 통한 비협응 제어가 유니터리 협응 제어의 스펙트럼 보존 제약을 극복할 수 있는가?
• RQ2 모든 초기 상태를 주어진 목표 상태로 전이시킬 수 있는 단일 비협응 진화를 설계할 수 있는가?
• RQ3 비협응 양자 제어의 제어 지형은 어떤 구조를 가지며, 국소 최솟값을 포함하는가?
• RQ4 열린 양자 시스템의 제어 가능성은 환경 상태와 상호작용 세부 정보에 어떻게 의존하는가?
• RQ5 특히 생성하기 어려운 주파수에 대해 비협응 제어가 협응 방법보다 제어 비용을 줄일 수 있는가?

주요 결과

• Kraus 맵을 통해 실현된 단일 비협응 진화는 순수 상태 또는 혼합 상태를 포함한 임의의 초기 상태를 임의의 목표 상태로 전이시킬 수 있다.
• 목적 함수 $ J_1 = \mathrm{Tr}[(\sum_i K_i \rho K_i^\dagger) O] $ 는 Stiefel 다양체 위에서 국소 최솟값 또는 최댓값이 존재하지 않으며, 이는 전역 최적화가 가능함을 보장한다.
• 큐비트 시스템($ n=2 $)의 경우, 제어 지형은 전역 최솟값, 최댓값 및 안장 다양체를 가지며, 이들의 구조는 초기 상태 $ \rho $ 와 목표 연산자 $ O $ 의 중복도에 따라 달라진다.
• 완전히 혼합된 초기 상태 $ \rho = \frac{1}{2}\mathbb{I} $ 에 대해서는 정확히 하나의 안장 다양체가 존재하며, 이에 대한 값은 $ J_{\text{saddle}} = \frac{1}{2} $ 이다.
• 부분 혼합 상태의 경우 두 개의 안장 다양체가 존재하며, 그 값은 $ J_{\text{saddle}}^{\pm} = \frac{1}{2}(1 \pm \|\mathbf{w}\|) $ 로 주어지며, 여기서 $ \|\mathbf{w}\| \leq 1 $ 은 파울리 행렬을 통해 상태를 특성화한다.
• 제어 지형에 국소 최솟값이 존재하지 않음으로써 기울기 기반 최적화 방법이 전역 최적해로 안정적으로 수렴할 수 있음을 보장한다.