[论文解读] Graphical Structures for Design and Verification of Quantum Error Correction

Nicholas Chancellor, Aleks Kissinger+3 more|arXiv (Cornell University)|Nov 23, 2016

Quantum Computing Algorithms and Architecture被引用 8

一句话总结

本文提出了相干校验码（CPC）框架，这是一种使用ZX演算的高层次图形化方法，用于设计和验证量子纠错码。该方法能够系统性地从经典码构造稳定子码，特别是CSS码，生成[[2n−k+2, k, 3]]码，为近期量子设备提供一种灵活且可扩展的方案，实现高效的量子比特利用，并与自动化搜索和编译工具链兼容。

ABSTRACT

We introduce a high-level graphical framework for designing and analysing quantum error correcting codes, centred on what we term the coherent parity check (CPC). The graphical formulation is based on the diagrammatic tools of the zx-calculus of quantum observables. The resulting framework leads to a construction for stabilizer codes that allows us to design and verify a broad range of quantum codes based on classical ones, and that gives a means of discovering large classes of codes using both analytical and numerical methods. We focus in particular on the smaller codes that will be the first used by near-term devices. We show how CSS codes form a subset of CPC codes and, more generally, how to compute stabilizers for a CPC code. As an explicit example of this framework, we give a method for turning almost any pair of classical [n,k,3] codes into a [[2n - k + 2, k, 3]] CPC code. Further, we give a simple technique for machine search which yields thousands of potential codes, and demonstrate its operation for distance 3 and 5 codes. Finally, we use the graphical tools to demonstrate how Clifford computation can be performed within CPC codes. As our framework gives a new tool for constructing small- to medium-sized codes with relatively high code rates, it provides a new source for codes that could be suitable for emerging devices, while its zx-calculus foundations enable natural integration of error correction with graphical compiler toolchains. It also provides a powerful framework for reasoning about all stabilizer quantum error correction codes of any size.

研究动机与目标

• 开发一种高层次、直观的框架，用于设计和验证适用于近期量子硬件的量子稳定子码。
• 通过实现更高效的码设计，克服拓扑码（如表面码）的量子比特开销限制。
• 通过基于ZX演算的统一图形语言，将经典纠错码技术整合到量子码中。
• 通过分析与数值方法，支持自动化码发现与硬件感知的码设计。
• 利用图形化推理，在所构建的码中实现容错的Clifford操作。

提出的方法

• 提出相干校验码（CPC）构造方法，作为将经典纠错码解释为量子码的新途径，将校验式视为编码电路。
• 采用三重量子比特划分方式，将量子比特分为数据、位校验和相位校验三类，以组织码的结构设计。
• 以经典[n, k, 3]码作为位校验层与相位校验层的构建模块，并通过交叉校验矩阵确保错误检测能力与正确的码距离。
• 采用ZX演算作为推理量子电路与稳定子结构的图形语言，实现码属性的可视化验证与操作。
• 基于CPC形式化提出一种机器搜索技术，用于发现数千个距离为3和5的候选码。
• 展示如何利用图形演算在CPC码中实现Clifford操作。

实验结果

研究问题

• RQ1 能否通过高层次图形化框架，系统性地将经典纠错码转化为高性能的量子稳定子码？
• RQ2 CPC构造如何确保结果量子码在存在潜在非对易稳定子的情况下仍能达到期望的最小距离？
• RQ3 CPC框架在硬件约束下，能在多大程度上支持自动化、大规模的码发现？
• RQ4 ZX演算能否有效用于验证和推理CPC码中的稳定子结构与Clifford操作？
• RQ5 对于近期设备，CPC码在性能与资源效率方面与CSS码和表面码等成熟码相比如何？

主要发现

• CPC框架可从任意一对经典[n, k, 3]码构造出[[2n−k+2, k, 3]]量子码，实现高逻辑码率的高效码设计。
• 证明了CSS码是CPC码的一个子集，建立了统一框架，涵盖拓扑与非拓扑码。
• 该方法通过机器搜索技术发现数千个候选码，展现出良好的可扩展性与实际应用价值。
• 该框架支持在CPC码中实现Clifford操作，从而实现容错的逻辑门。
• 通过ZX演算的图形化推理，可自然集成至量子编译工具链，并验证码的属性。
• 尽管大型CPC码可能无法像LDPC码那样实现线性增长的最小距离，但有界距离码在有限噪声下仍表现良好，使其适用于近期应用场景。