[论文解读] Autonomous quantum error correction and quantum computation

José Lebreuilly, Kyungjoo Noh+3 more|arXiv (Cornell University)|Mar 8, 2021

Quantum Computing Algorithms and Architecture被引用 9

一句话总结

本文为连续时间开放量子系统中的自主量子纠错（AutoQEC）建立了一般性理论框架，证明了Knill-Laflamme条件在通过工程化消相干实现对最多$c$个连续错误的保护时，既是必要条件也是充分条件。它表明逻辑退相干被抑制至$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）建立严格的理论基础。
• 将Knill-Laflamme条件推广至包含自然消相干与工程化消相干的Lindbladian框架。
• 证明AutoQEC可与广义误差透明哈密顿量（ETH）结合，以在保持纠错能力的同时执行逻辑量子计算。
• 发展一种形式化方法，精确预测AutoQEC后出现的逻辑动力学，包括残余退相干与有效Liouvillian演化。
• 量化逻辑退相干至$O(\kappa/R^c)$的抑制程度，实现超越一阶协议的高阶纠错。

提出的方法

• 推导Knill-Laflamme条件的修订版本，作为连续时间Lindbladian框架下AutoQEC的必要且充分条件。
• 引入超算符形式化方法，描述逻辑码空间中的有效Liouvillian，其通过$1/R$的微扰展开获得，其中$R$为工程化与自然消散速率之比。
• 构建有效Liouvillian $\mathcal{L}_{\rm{eff}}^{ab}$ 的伪逆，以分析码空间中动力学的稳定性和收敛性。
• 利用广义误差透明哈密顿量（ETH）框架，确保逻辑门可相干地施加，而不破坏纠错性消散。
• 对有效Liouvillian应用$1/R$的幂级数展开，证明其收敛性，并推导出逻辑退相干的$O(1/R^c)$抑制。
• 显式构造伪逆$\mathcal{L}_{\rm{E}}^*$及投影算符$\mathcal{P}_{\rm{E}}$、$\mathcal{Q}_{\rm{E}}$，以表征弛豫子空间并确保逻辑动力学的稳定性。

实验结果

研究问题

• RQ1 在同时存在自然消散与工程化消散的连续时间开放量子系统中，自主量子纠错的必要与充分条件是什么？
• RQ2 如何通过工程化消散实现高阶纠错（最多$c$个连续错误）？其导致的逻辑退相干抑制程度如何？
• RQ3 在自主纠错存在的情况下，是否可以执行逻辑量子计算而不影响纠错速率？
• RQ4 AutoQEC后出现的精确逻辑动力学形式是什么？其如何由自然消散、工程化消散与误差透明哈密顿量的相互作用所预测？
• RQ5 工程化与自然消散速率之比$R$如何影响逻辑退相干速率？在$R$极大时，抑制的标度行为如何？

主要发现

• Knill-Laflamme条件在连续时间Lindbladian框架下，对自主量子纠错而言既是必要条件也是充分条件。
• 有效逻辑Liouvillian被抑制至$O(\kappa/R^c)$量级，其中$c$为可纠正的连续错误数，从而实现高阶纠错抑制。
• 当$H=0$时，有效Liouvillian明确表示为$\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$时，微扰展开的收敛性。
• 该形式化方法可精确预测逻辑码空间中的涌现动力学，包括残余退相干与有效哈密顿量演化。
• 工程化消散与广义ETH的结合，实现了与纯AutoQEC相同的$O(\kappa/R^c)$误差抑制，从而实现容错量子计算。