[논문 리뷰] Energy preserving evolutions over Bosonic systems

Paul Gondolf, Tim Möbus외 1명|arXiv (Cornell University)|2023. 07. 25.

Quantum Computing Algorithms and ArchitectureComputer Science인용 수 3

한 줄 요약

이 논문은 연속 변수 시스템에서 소볼레프 유형의 모멘트 유계를 유지하는 양자 마르코프 반군에 대한 생성 정리를 수립하여 에너지 제약이 있는 동역학의 엄밀한 섭동 분석을 가능하게 한다. 이는 다항식형 점프 연산자를 갖는 GKSL 형태의 생성자와 제어된 모멘트 성장 조건을 만족하는 반군이 추적을 유지하는 반군을 생성함을 증명하고, 에너지 제약이 있는 양자 오르nst-울렌벡 및 CAT 큐비트 시스템의 능력과 정적 상태에 대한 정량적 연속성 유계를 도출한다.

ABSTRACT

The exponential convergence to invariant subspaces of quantum Markov semigroups plays a crucial role in quantum information theory. One such example is in bosonic error correction schemes, where dissipation is used to drive states back to the code-space - an invariant subspace protected against certain types of errors. In this paper, we investigate perturbations of quantum dynamical semigroups that operate on continuous variable (CV) systems and admit an invariant subspace. First, we prove a generation theorem for quantum Markov semigroups on CV systems under the physical assumptions that (i) the generator is in GKSL form with corresponding jump operators defined as polynomials of annihilation and creation operators; and (ii) the (possibly unbounded) generator increases all moments in a controlled manner. Additionally, we show that the level sets of operators with bounded first moments are admissible subspaces of the evolution, providing the foundations for a perturbative analysis. Our results also extend to time-dependent semigroups and multi-mode systems. We apply our general framework to two settings of interest in continuous variable quantum information processing. First, we provide a new scheme for deriving continuity bounds on the energy-constrained capacities of Markovian perturbations of quantum dynamical semigroups. Second, we provide quantitative perturbation bounds for the steady state of the quantum Ornstein-Uhlenbeck semigroup and the invariant subspace of the photon dissipation used in bosonic error correction.

연구 동기 및 목표

• 모멘트 유계와 불변 부분공간을 유지하는 연속 변수 시스템에서 양자 마르코프 반군에 대한 엄밀한 수학적 프레임워크 수립.
• 무한대 영역에서 표준 GKSL 형태가 실패하는 문제를 생성자의 모멘트 제어 조건을 도입하여 해결.
• 보스온 시스템에서 에너지 제약이 있는 양자 채널과 정적 상태의 섭동 분석 가능화.
• 린드블래드 섭동 하에서 에너지 제약이 있는 양자 채널 능력과 정적 상태의 편차에 대한 정량적 유계 도출.
• 시간에 의존하는 진동과 다중 모드 시스템으로 이론을 확장하여 양자 오류 수정 및 양자 정보 처리 응용 지원.

제안 방법

• 비어스온 시스템에서 앙니힐레이션/크리에이션 연산자의 다항식형 점프 연산자를 갖는 GKSL 형태 생성자를 사용하여 강한 연속성 양자 마르코프 반군의 생성 정리 증명.
• 모든 모멘트가 제어 가능한 방식으로 증가하도록 보장하는 모멘트 제어 조건 도입하여 소볼레프 공간 보존 가능.
• 첫 번째 모멘트가 유계인 연산자의 수준 집합을 통해 적합한 부분공간 정의하고, 이들이 진동 하에서 불변 집합을 이룸.
• 레마 6.5를 통해 에너지 제약 다이아몬드 노름과 가중 소볼레프 노름 간의 등가성 확립하여 채널 거리와 소볼레프 연산자 노름 연결.
• 가우시안 및 비가우시안 반군에 대한 섭동 이론 적용하여 섭동 채널 간 다이아몬드 노름 거리에 대한 유계 도출.
• 이 프레임워크를 활용하여 에너지 제약이 있는 능력과 정적 상태 수렴에 대한 연속성 유계 도출, 양자 오르스트-울렌벡 및 광자 소실 동역학에 적용.

실험 결과

연구 질문

• RQ1 무한대 점프 연산자를 갖는 GKSL 형태 생성자가 연속 변수 시스템에서 추적을 유지하는 양자 마르코프 반군을 생성하는 조건은 무엇인가?
• RQ2 생성자의 모멘트 성장은 어떻게 제어하여 소볼레프 유형의 모멘트 유계를 유지할 수 있는가?
• RQ3 린드블래드 섭동 하에서 에너지 제약이 있는 양자 채널 능력에 대한 정량적 연속성 유계는 무엇인가?
• RQ4 섭동은 양자 오르스트-울렌벡 반군의 정적 상태와 CAT 큐비트 코드 공간에 어떤 영향을 미치는가?
• RQ5 이 프레임워크는 시간에 의존하는 반군과 불변 부분공간을 갖는 다중 모드 보스온 시스템으로 확장 가능한가?

주요 결과

• 연속 변수 시스템에서 양자 마르코프 반군에 대한 새로운 생성 정리가 증명되었으며, 다항식형 점프 연산자와 제어된 모멘트 성장을 갖는 GKSL 생성자가 추적을 유지하는 진동을 생성함을 보였다.
• 첫 번째 모멘트가 유계인 연산자의 수준 집합은 적합한 불변 부분공간을 이룬다. 이는 이러한 부분공간에 제한된 동역학의 섭동 분석 가능하게 한다.
• 양자 오르스트-울렌벡 반군의 가우시안 섭동에 대해, 원래 채널과 섭동 채널 간 다이아몬드 노름 거리는 $ (1+E) u imes C( u) imes ext{max}"](1, D( u)) $ 로 유계지어지며, 여기서 $ u $ 는 섭동 강도이다.
• 두 채널 간 에너지 제약 다이아몬드 노름 거리는 레마 6.5에 의해 가중 소볼레프 노름의 차이 채널과 등가임을 보였다.
• CAT 큐비트 오류 수정에 사용되는 광자 소실 반군의 정적 상태에 대한 섭동 유계가 도출되었으며, 이는 작은 섭동 하에서도 수렴을 보장한다.
• 이 프레임워크를 통해 마르코프 섭동에 대한 에너지 제약 능력의 연속성 유계가 도출되었으며, 이는 양자 통신 및 센싱 응용에 활용 가능하다.