[논문 리뷰] Autonomous quantum error correction and quantum computation

José Lebreuilly, Kyungjoo Noh외 3명|arXiv (Cornell University)|2021. 03. 08.

Quantum Computing Algorithms and Architecture인용 수 9

한 줄 요약

이 논문은 연속 시간 열린 양자 시스템에서 자율적 양자 오류 수정(AutoQEC)을 위한 일반적인 이론적 프레임워크를 수립하며, 공 ing된 소산을 통한 최대 $c$개의 연속 오류에 대한 보호를 위해 Knill-Laflamme 조건이 필수적이고 충분함을 증명한다. 논문은 논리적 디코herence가 $O(\kappa/R^c)$ 수준으로 억제됨을 보이며, 일반화된 오류 투명 해밀토니안과 이 소산을 조합하여 고전적 피드백 없이 고장 내성 양자 계산을 수행할 수 있음을 보여준다.

ABSTRACT

In this work, we present a general theoretical framework for the study of autonomously corrected quantum devices. First, we identify a necessary and sufficient revised version of the Knill-Laflamme conditions for the existence of an engineered Lindbladian providing protection against at most $c$ consecutive errors of natural dissipation, giving rise to an effective logical decoherence rate suppressed to order $c$. Moreover, we demonstrate that such engineered dissipation can be combined with generalized realizations of error-transparent Hamiltonians (ETH) in order to perform a quantum computation in the logical space while maintaining the same degree of suppression of decoherence. Finally, we introduce a formalism predicting with precision the emergent dynamics in the logical code space resulting from the interplay of natural, engineered dissipations sources and the generalized ETH.

연구 동기 및 목표

• 연속 시간 열린 양자 시스템에서 자율적 양자 오류 수정(AutoQEC)을 위한 엄밀한 이론적 기초를 확립하는 것.
• 자연적 소산과 공 ing된 소산을 모두 고려한 리드블라디안 프레임워크로 Knill-Laflamme 조건을 일반화하는 것.
• AutoQEC가 일반화된 오류 투명 해밀토니안(ETH)과 조합될 수 있음을 보이며, 오류 억제를 유지하면서 논리적 양자 계산을 수행할 수 있음을 보여주는 것.
• AutoQEC 이후에 나타나는 논리적 동역학을 정확히 예측할 수 있는 형식적 체계를 개발하는 것. 이는 잔여 디코herence와 효과적 리우빌리안 동역학을 포함한다.
• 논리적 디코herence가 $O(\kappa/R^c)$로 억제됨을 정량화하여, 일阶 프로토콜을 초월한 고차 오류 수정이 가능함을 보여주는 것.

제안 방법

• 연속 시간 리드블라디안 프레임워크에서 AutoQEC를 위한 수정된 Knill-Laflamme 조건을 유도하며, 이 조건이 필수적이고 충분함을 증명한다.
• 논리적 코드 공간에서 효과적 리우빌리안을 기술하기 위한 초연산자 형식을 도입하며, 이는 $R$이 공 ing된 소산과 자연 소산의 비율일 때 $1/R$에 대한 페르투르베이션 전개를 통해 유도된다.
• 코드 공간 내에서 동역학의 안정성과 수렴성을 분석하기 위해 효과적 리우빌리안 $\mathcal{L}_{\rm{eff}}^{ab}$의 가역행렬을 구성한다.
• 일반화된 오류 투명 해밀토니안(ETH) 프레임워크를 활용하여 논리 게이트를 오류 수정 소산을 방해하지 않도록 일관되게 적용할 수 있음을 보장한다.
• 효과적 리우빌리안에 대해 $1/R$에 대한 멱급수 전개를 적용하며, 수렴성을 증명하고 논리적 디코herence의 $O(1/R^c)$ 억제를 도출한다.
• 정확히 정의된 가역행렬 $\mathcal{L}_{\rm{E}}^*$와 프로젝터 $\mathcal{P}_{\rm{E}}$, $\mathcal{Q}_{\rm{E}}$를 구성하여 안정성 확보와 함께 이완 부분공간을 특성화한다.

실험 결과

연구 질문

• RQ1 자연적 소산과 공 ing된 소산이 모두 존재하는 연속 시간 열린 양자 시스템에서 자율적 양자 오류 수정을 위한 필수적이고 충분한 조건은 무엇인가?
• RQ2 공 ing된 소산을 통해 최대 $c$개의 연속 오류에 대한 고차 오류 수정을 어떻게 달성할 수 있으며, 그로 인해 논리적 디코herence가 어떻게 억제되는가?
• RQ3 자율적 오류 수정이 존재하는 상황에서 오류 억제 비율을 훼손하지 않고 논리적 양자 계산을 수행할 수 있는가?
• RQ4 AutoQEC 이후에 나타나는 정확한 논리적 동역학의 형태는 무엇이며, 자연 소산, 공 ing된 소산, 오류 투명 해밀토니안 간의 상호작용으로부터 어떻게 예측할 수 있는가?
• RQ5 공 ing된 소산과 자연 소산의 비율 $R$이 논리적 디코herence 비율에 미치는 영향은 무엇이며, $R$이 매우 클 경우 억제의 스케일링은 어떻게 되는가?

주요 결과

• Knill-Laflamme 조건은 연속 시간 리드블라디안 프레임워크에서 자율적 양자 오류 수정을 위한 필수적이고 충분한 조건이다.
• 효과적 논리적 리우빌리안은 $O(\kappa/R^c)$ 수준으로 억제되며, 여기서 $c$는 수정 가능한 연속 오류의 수이다. 이는 고차 오류 억제를 가능하게 한다.
• $H=0$일 경우, 효과적 리우빌리안은 명시적으로 $\mathcal{L}_{\rm{eff}} = \kappa \sum_{k=c+1}^{\infty} \left(-\frac{1}{R}\right)^{k-1} \mathcal{P}_{\rm{E}} (\mathcal{L}_{\rm{n}} \mathcal{L}_{\rm{E}}^*)^{k-1} \mathcal{L}_{\rm{n}} \mathcal{P}_{\mathcal{C}}$ 로 주어지며, $1/R^c$ 스케일링을 확인한다.
• 가역행렬 $\mathcal{L}_{\rm{E}}^*$는 잘 정의되어 있으며, $R \geq R_0$ 및 $|g| \leq \tilde{g}_0 R$ 조건에서 페르투르베이션 전개의 수렴성을 보장한다.
• 이 형식은 논리적 코드 공간에서 나타나는 동역학을 정확히 예측할 수 있게 하며, 잔여 디코herence와 효과적 해밀토니안 동역학을 포함한다.
• 공 ing된 소산과 일반화된 ETH의 조합은 순수 AutoQEC에서와 동일한 $O(\kappa/R^c)$ 오류 억제 수준을 유지하면서 고장 내성 양자 계산을 가능하게 한다.