arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1902.07714quant-phcond-mat.stat-mechhep-th
收藏

连续对称性与近似量子纠错

Continuous symmetries and approximate quantum error correction

Philippe Faist, Sepehr Nezami, Victor V. Albert, Grant Salton, Fernando Pastawski, Patrick Hayden, John Preskill

摘要:

量子纠错和对称性出现在物理学的许多领域,包括多体系统、存在噪声的计量学、容错计算和全息量子引力。在这里,我们研究这两个重要原则的兼容性。如果一个逻辑量子系统被编码到$n$物理子系统中,如果逻辑系统上的$G$变换可以通过对各个子系统执行变换来实现,我们说这个代码相对于对称群$G$是协变的。对于$G$ -协变码,其中$G$是连续群,我们导出了一个子系统擦除后纠错失真的下界。当子系统的数目$n$或每个子系统的维数$d$大时,该界限接近于零。我们展示的代码实现近似相同的缩放的不忠与$n$或$d$作为下限。利用表示论的工具,我们证明了Eastin-Knill定理的一个近似版本:如果代码允许一组通用的横向门,并以固定的精度纠正擦除,那么对于每个逻辑量子比特,我们需要每个子系统的物理量子比特数与误差参数成反比。我们构建代码协变的完整的逻辑酉群,实现良好的精度为大$d$(使用随机码)或$n$(使用代码的基础上$W$ -状态)。我们系统地构建代码协变的一般群体,获得自然的推广量子比特代码,例如,振荡器和转子。在AdS/CFT对应的上下文中,我们的方法提供了深入了解如何在不违反Eastin-Knill定理的情况下,批量时间演化对应于边界上的时间演化,并且我们的五转子代码可以堆叠形成协变全息代码。

英文摘要:

Quantum error correction and symmetry arise in many areas of physics, including many-body systems, metrology in the presence of noise, fault-tolerant computation, and holographic quantum gravity. Here we study the compatibility of these two important principles. If a logical quantum system is encoded into $n$ physical subsystems, we say that the code is covariant with respect to a symmetry group $G$ if a $G$ transformation on the logical system can be realized by performing transformations on the individual subsystems. For a $G$-covariant code with $G$ a continuous group, we derive a lower bound on the error correction infidelity following erasure of a subsystem. This bound approaches zero when the number of subsystems $n$ or the dimension $d$ of each subsystem is large. We exhibit codes achieving approximately the same scaling of infidelity with $n$ or $d$ as the lower bound. Leveraging tools from representation theory, we prove an approximate version of the Eastin-Knill theorem: If a code admits a universal set of transversal gates and corrects erasure with fixed accuracy, then, for each logical qubit, we need a number of physical qubits per subsystem that is inversely proportional to the error parameter. We construct codes covariant with respect to the full logical unitary group, achieving good accuracy for large $d$ (using random codes) or $n$ (using codes based on $W$-states). We systematically construct codes covariant with respect to general groups, obtaining natural generalizations of qubit codes to, for instance, oscillators and rotors. In the context of the AdS/CFT correspondence, our approach provides insight into how time evolution in the bulk corresponds to time evolution on the boundary without violating the Eastin-Knill theorem, and our five-rotor code can be stacked to form a covariant holographic code.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑