[论文解读] Coherent Parity Check Construction for Quantum Error Correction

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

Quantum Computing Algorithms and Architecture参考文献 44被引用 18

一句话总结

本文提出了一种相干校验（CPC）框架，用于设计量子纠错码，该框架模仿经典校验方式，实现直观且设备特定的码构造。该框架展示了使用实际离子阱误差率的低开销码，如[[10,3,3]]和[[12,4,3]]，证明CPC码为CSS码，并将构造过程映射到ZX演算以实现自动化推理，从而在单个码块内实现计算，无需使用可递归门或多个码块。

ABSTRACT

We present a framework for constructing and analysing quantum error correction codes that gives simple and intuitive tools for designing codes based on device specifications. Built from a direct analog of classical parity checking, these coherent parity codes use a simple model for constraints between qubits and decoding of information. With an associated graphical language, this coherent parity check (CPC) construction enables automated search for codes, and we give discovered examples of low-overhead codes for small devices ([[10,3,3]], and [[12,4,3]]) based on realistic error rates taken from current ion trap state-of-the-art . We show that CPC codes form a class of CSS codes. We further show that the graphical language maps to the category-theoretic ZX calculus, which enables the use of the automated reasoning tool Quantomatic to derive properties of the codes. We show how automated reasoning allows us to perform computation between qubits in the same code-block without requiring multiple codeblocks and/or transversal gates. These tools offer a significant aid to put quantum error correction theory into design practice for practical quantum technologies in both the immediate future and looking forwards to large-scale deployable quantum computing. Furthermore, the close theoretical link between the CPC construction and classical error correction codes opens up the possibility of constructing quantum versions of modern high- performance error correction codes (such as LDPC and turbo codes) that approach the Shannon limit.

研究动机与目标

• 通过创建一种针对实际设备规格量身定制的框架，弥合量子纠错理论与实际量子硬件设计之间的鸿沟。
• 开发一种简单直观的方法，基于经典校验的直接类比来构造量子码。
• 利用与ZX演算关联的图形语言，实现自动化码发现与分析。
• 在单个码块内支持容错量子计算，无需使用可递归门或多个码块。
• 探索构建高性能经典码（如LDPC和turbo码）的量子版本的潜力。

提出的方法

• CPC框架使用经典校验的直接量子类比来定义各量子比特之间的约束，形成一种结构化的码设计方法。
• 引入一种图形语言来表示和分析码结构，实现可视化与自动化推理。
• 将该图形语言正式映射到范畴论框架下的ZX演算，从而可与Quantomatic等自动化工具集成。
• 通过确保逻辑量子比特态在相干校验下保持稳定，支持CSS码的构造。
• 借助Quantomatic的自动化推理，可推导码的性质，并促进在码块内部执行量子计算。
• 使用当前离子阱技术的真实误差率指导码的发现，并评估其在小型设备上的性能。

实验结果

研究问题

• RQ1 如何设计一种量子纠错框架，使其能直接反映物理设备约束，以实现实际应用？
• RQ2 相干校验构造能否产生适合近期量子硬件的低开销量子码？
• RQ3 CPC码的图形表示在多大程度上可以形式化，并与ZX演算等既定范畴框架关联？
• RQ4 如何利用自动化推理工具推导并验证量子码的性质，而无需依赖外部门远程传送或多个码块？
• RQ5 CPC框架能否扩展以构造高性能经典码（如LDPC和turbo码）的量子版本？

主要发现

• CPC构造生成了有效的CSS码，证实其与已建立的量子纠错理论兼容。
• 该框架实现了低开销量子码的发现，包括[[10,3,3]]和[[12,4,3]]，并基于真实离子阱误差率进行验证。
• CPC码的图形表示与ZX演算精确映射，使基于Quantomatic等工具的自动化验证与推理成为可能。
• 自动化推理使得逻辑操作可直接在单个码块内执行，无需使用可递归门或多个码块。
• CPC与经典纠错之间紧密的理论联系，为开发接近香农极限的量子LDPC和turbo码开辟了道路。
• 该方法为将量子纠错从理论推向当前及近期量子技术的实际应用提供了切实可行的路径。