[论文解读] Quantum error correction meets continuous symmetries: fundamental trade-offs and case studies

Zi-Wen Liu, Sisi Zhou|arXiv (Cornell University)|Nov 11, 2021

Quantum Computing Algorithms and Architecture参考文献 94被引用 7

一句话总结

本论文通过三种近似对称性的定量度量——群-全局协变性破坏、局部协变性破坏（与量子费舍尔信息相关）以及电荷守恒破坏——建立了量子误差纠正（QEC）与连续对称性之间的基本权衡。论文利用电荷涨落和门实现误差框架推导出严格界限，证明了精确QEC码无法在连续对称性下实现完全协变，从而对Eastin–Knill定理进行了精炼。作者通过显式构造改进的热力学码和量子Reed–Muller码，展示了界限的近似最优性，这些码在渐近意义上达到所推导的极限。

ABSTRACT

We systematically study the fundamental competition between quantum error correction (QEC) and continuous symmetries, two key notions in quantum information and physics, in a quantitative manner. Three meaningful measures of approximate symmetries in quantum channels and in particular QEC codes, respectively based on the violation of covariance conditions over the entire symmetry group or at a local point, and the violation of charge conservation, are introduced and studied. Each measure induces a corresponding characterization of approximately covariant codes. We explicate a host of different ideas and techniques that enable us to derive various forms of trade-off relations between the QEC inaccuracy and all symmetry violation measures. More specifically, we introduce two frameworks for understanding and establishing the trade-offs respectively based on the notions of charge fluctuation and gate implementation error, and employ methods including the Knill--Laflamme conditions as well as quantum metrology and quantum resource theory for the derivation. From the perspective of fault-tolerant quantum computing, our bounds on symmetry violation indicate limitations on the precision or density of transversally implementable logical gates for general QEC codes, refining the Eastin--Knill theorem. To exemplify nontrivial approximately covariant codes and understand the achievability of the above fundamental limits, we analyze the behaviors of two explicit types of codes: a parametrized extension of the thermodynamic code (which gives a construction of a code family that continuously interpolates between exact QEC and exact symmetry), and the quantum Reed--Muller codes. We show that both codes can saturate the scaling of the bounds for group-global covariance and charge conservation asymptotically, indicating the near-optimality of these bounds and codes.

研究动机与目标

• 系统量化量子误差纠正（QEC）与量子码中连续对称性之间的权衡。
• 引入并分析三种不同的近似对称性度量：全局协变性破坏、局部协变性破坏和电荷守恒破坏。
• 利用两种互补框架——电荷涨落和门实现误差——推导出QEC精度与对称性破坏之间的严格权衡界限。
• 通过显式码构造证明这些界限的可实现性，包括改进的热力学码和量子Reed–Muller码。
• 通过证明一般QEC码中可横向实现的逻辑门在精度或密度上因对称性约束而根本受限，从而对Eastin–Knill定理进行精炼。

提出的方法

• 提出三种用于量子通道和QEC码中近似对称性的定量度量：群-全局协变性破坏、群-局部协变性破坏（与量子费舍尔信息相关）以及电荷守恒破坏。
• 发展两种分析框架：一种基于电荷涨落以限制全局协变性破坏，另一种利用门实现误差以统一QEC不准确性和对称性破坏。
• 应用Knill–Laflamme条件和量子计量技术，推导出QEC不准确性与对称性破坏的界限。
• 利用量子资源理论限制门实现误差，并将其与对称性和纠错性能关联。
• 构造热力学码的参数化扩展，以在精确QEC与精确对称性之间插值，并将量子Reed–Muller码作为近似协变精确QEC码的突出实例进行分析。
• 使用纯化距离和钻石距离比较噪声通道与单位映射，推导出对称性破坏和纠错保真度的界限。

实验结果

研究问题

• RQ1 量子误差纠正的精度与连续对称性下近似协变性的程度之间，是否存在基本的定量权衡？
• RQ2 不同对称性破坏度量——全局协变性、局部协变性和电荷守恒——如何相互关联并约束QEC性能？
• RQ3 所推导的权衡界限是否可通过显式量子码实现，从而表明其近似最优性？
• RQ4 QEC码中可横向实现的逻辑门在多大程度上继承对称性约束？这如何对Eastin–Knill定理进行精炼？
• RQ5 电荷涨落与门实现误差框架如何从互补角度提供对QEC-对称性权衡的深入理解？

主要发现

• 论文证明，对于任意精确QEC码，局部协变性破坏度量δ⋆local受电荷涨落δcharge限制，当QEC不准确性ε = 0时，有δ⋆local ≤ δcharge。
• 改进的热力学码在渐近意义上实现了对全局协变性破坏和电荷守恒破坏所推导界限的饱和，表明界限的近似最优性。
• 量子Reed–Muller码同样在渐近意义上实现了对全局协变性和电荷守恒破坏的权衡界限饱和，证实了所推导界限的紧致性。
• 门实现误差框架统一了QEC不准确性和对称性破坏，提供了新视角，通过限制可横向实现逻辑门的精度或密度，对Eastin–Knill定理进行了精炼。
• 分析表明，在精确QEC码中，δ⋆local可比δlocal小一个数量级的平方，表明全局与局部对称性破坏度量之间存在显著差距。
• 改进的热力学码与量子Reed–Muller码家族均实现δ⋆local = O(1)和δcharge = O(1)，而δlocal = Θ(√n)，表明在精确QEC下对称性保持实现了二次改进。