[논문 리뷰] Analysis and synthesis of attractive quantum Markovian dynamics

Francesco Ticozzi, Lorenza Viola|arXiv (Cornell University)|2008. 09. 03.

Quantum Information and Cryptography참고 문헌 31인용 수 4

한 줄 요약

이 논문은 불변 및 매력적인 양자 하위계를 이용하여 양자 마코프 동역학을 분석하고 합성하기 위한 일반적 프레임워크를 제시한다. 크라소프스키-라살 라살리 불변 원리와 림프노프 안정성 이론을 적용하여, 안정화 가능한 순수 상태 및 부분공간의 대수적 특성화를 제공하며, 유한 차원 시스템에서 개방 루프 해밀토니안 및 출력 피드백 제어기를 체계적으로 설계할 수 있도록 한다. 마코프 안정화를 위한 기반을 마련한다.

ABSTRACT

We propose a general framework for investigating a large class of stabilization problems in Markovian quantum systems. Building on the notions of invariant and attractive quantum subsystem, we characterize attractive subspaces by exploring the structure of the invariant sets for the dynamics. Our general analysis results are exploited to assess the ability of open-loop Hamiltonian and output-feedback control strategies to synthesize Markovian generators which stabilize a target subsystem, subspace, or pure-state. In particular, we provide an algebraic characterization of the manifold of stabilizable pure states in arbitrary finite-dimensional Markovian systems, that leads to a constructive strategy for designing the relevant controllers. Implications for stabilization of entangled pure states are addressed by example.

연구 동기 및 목표

• 목표 양자 상태 또는 하위공간을 안정화하는 데 사용할 수 있는 일반적인 시스템 이론적 프레임워크를 개발하는 것.
• 특히 순수 상태 및 얽힌 상태에 중점을 두어, 마코프 진동에서 하위계가 불변이면서 매력적인 조건을 특성화하는 것.
• 소산 동역학을 통해 목표 양자 상태를 안정화할 수 있는 개방 루프 해밀토니안 및 출력 피드백을 활용한 체계적 제어 전략을 제공하는 것.
• 소음이 없는 하위계 및 매력적인 하위계에 관한 기존 결과를 더 넓은 범위의 유한 차원 마코프 생성자로 확장하는 것.
• 집합 측정 및 설계된 피드백 해밀토니안을 사용하여 얽힌 순수 상태, 예를 들어 벨 상태와 같은 상태를 마코프 설정에서 안정화할 수 있는지의 가능성을 보여주는 것.

제안 방법

• 양자 동역학 반군의 힐레-요시다 생성자 형태를 사용하여 마코프 진동을 린드블라드 마스터 방정식으로 모델링한다: $ \dot{\rho} = -\frac{i}{\hbar}[H,\rho] + \sum_k \gamma_k \mathcal{D}(L_k, \rho) $.
• 크라소프스키-라살리 불변 원리를 적용하여 부분공간 내에서 가장 큰 불변 집합을 특성화함으로써 매력적인 하위공간을 식별할 수 있도록 한다.
• 해밀토니안 공간에서 생성자의 작용 구조를 분석하기 위한 선형 대수적 접근법을 도입하여, 순수 상태의 매력성 조건을 규명한다.
• 림프노프 안정성 이론을 활용하여 목표 상태의 매력성 조건을 명시적으로 유도하며, 목표 상태와의 거리에 기반한 림프노프 함수를 사용한다.
• 목표 상태가 주어진 부분공간에서 유일한 매력적인 상태가 되도록 하기 위해 피드백 해밀토니안 및 측정 연산자를 체계적으로 설계하는 방법을 개발한다.
• 목표 상태가 대각화된 기저로 문제를 변환하고, 대칭성 고려사항(예: 스핀-SU(2) 불변성)을 적용하여 제어기 설계를 단순화한다.

실험 결과

연구 질문

• RQ1 유한 차원 양자 시스템에서 어떤 순수 상태 및 하위공간이 마코프 동역학 하에서 매력적으로 만들 수 있는가?
• RQ2 주어진 마코프 생성자 하에서 하위계가 불변이면서 매력적인 데 필요한 충분한 조건은 무엇인가?
• RQ3 소산 동역학을 통해 목표 순수 상태를 안정화하기 위해 개방 루프 해밀토니안 및 출력 피드백 제어 전략을 어떻게 체계적으로 설계할 수 있는가?
• RQ4 집합 측정 및 설계된 피드백 해밀토니안을 사용하여 마코프 설정에서 얽힌 순수 상태, 예를 들어 벨 상태를 안정화할 수 있는가?
• RQ5 대칭성과 불변성이 다중 큐비트 시스템의 안정화 제어기 설계에서 수행하는 역할은 무엇인가?

주요 결과

• 논문은 임의의 유한 차원 마코프 시스템에서 안정화 가능한 순수 상태의 다양체를 완전한 대수적 특성화로 제공하며, 체계적인 제어기 합성을 가능하게 한다.
• 목표 순수 상태가 매력적임은 그 수직 보조공간 내에서 가장 큰 불변 부분집합이 자명함과 동치이며, 이는 생성자의 스펙트럼 분석을 통해 검증할 수 있다.
• 두 큐비트 삼중 상태 부분공간에서, 변환된 기저에서 피드백 해밀토니안 $ F' $ 과 측정 연산자 $ M' = J_x $ 를 사용하면 최대 얽힘 벨 상태 $ \rho_d = \frac{1}{2}(|01\rangle + |10\rangle)(\langle 01| + \langle 10|) $ 가 유일한 매력적인 상태가 될 수 있다.
• 제어기 $ H_c' = J_z $, $ M' = J_x $, $ F' = \frac{1}{\hbar}(J_z J_y + J_y J_z) $ 를 구성함으로써, $ J=1 $ 부분공간 내에서 $ \rho_d $ 가 유일한 매력적인 상태가 됨을 보장한다.
• 수직 보조공간 $ \mathcal{H}_{R'} = \text{span}\{ \frac{1}{\sqrt{2}}(|00\rangle - |11\rangle) \} $ 에서의 유일한 불변 상태가 $ J_z $ 의 고유상태가 아니므로 $ \rho_d $ 의 매력성이 확인된다.
• 결과는 고유 매력 상태가 모델 매개변수에 대해 연속적으로 의존함을 시사하며, 작은 편향에 대해 강건함을 지지하지만, 유한 대역폭 및 측정 효율성 하에서의 완전한 피드백 강건성 문제는 여전히 열려 있는 문제이다.