[论文解读] A linear-time benchmarking tool for generalized surface codes

Nicolas Delfosse, Pavithran Iyer+1 more|arXiv (Cornell University)|Nov 14, 2016

Advanced Data Storage Technologies参考文献 34被引用 7

一句话总结

本文提出了一种广义表面码的线性时间基准测试算法，利用上同调不变量在不运行解码算法的情况下确定量子擦除的可纠正性。该方法实现了快速、可扩展的表面码架构性能评估——在高达100,000量子比特的双曲码和平面布局上进行了验证，结果在一天内完成，显著优于以往昂贵的模拟方法。

ABSTRACT

Quantum information processors need to be protected against errors and faults. One of the most widely considered fault-tolerant architecture is based on surface codes. While the general principles of these codes are well understood and basic code properties such as minimum distance and rate are easy to characterize, a code's average performance depends on the detailed geometric layout of the qubits. To date, optimizing a surface code architecture and comparing different geometric layouts relies on costly numerical simulations. Here, we propose a benchmarking algorithm for simulating the performance of surface codes, and generalizations thereof, that runs in linear time. We implemented this algorithm in a software that generates performance reports and allows to quickly compare different architectures.

研究动机与目标

• 解决在真实噪声模型下模拟表面码性能时计算成本过高的问题。
• 开发一种快速、可扩展的基准测试工具，避免在纠错码评估中使用昂贵的解码过程。
• 实现对不同表面码布局（包括具有复杂边界结构的双曲和平面架构）的快速比较。
• 提供一种实用工具，在部署昂贵的完整模拟之前优化容错量子计算架构。
• 将上同调方法的应用扩展到具有任意亏格、穿孔和混合边界类型的广义表面码。

提出的方法

• 该方法采用简化的量子擦除信道模型，其中纠错问题可转化为在GF(2)上的线性方程组求解。
• 通过上同调特征刻画判断擦除的可纠正性：若擦除未覆盖非平凡的逻辑圈（即诱导上同调秩为平凡），则该擦除是可纠正的。
• 算法通过高效的线性代数计算与擦除量子比特相关的上同调群的秩，避免了完整解码过程。
• 该方法可推广至任意曲面上的表面码，包括具有穿孔、开/闭边界及非可定向结构的情况。
• 基准测试工具将此上同调检验集成到软件框架中，实现晶格构建、性能指标计算和对比报告生成。
• 该方法进一步扩展以模拟相关擦除下的性能表现，并被提议作为未来低密度奇偶校验码（LDPC）分析的基础。

实验结果

研究问题

• RQ1 是否可以在不运行完整解码算法的情况下评估广义表面码的性能？若可以，此类基准测试过程的速度有多快？
• RQ2 在表面码中，决定一组擦除量子比特是否可纠正的拓扑不变量是什么？
• RQ3 如何高效计算上同调不变量，以实现大规模表面码的线性时间基准测试？
• RQ4 该方法是否可应用于双曲表面码？这类码表现出强烈的有限尺寸效应，且难以用标准蒙特卡洛方法模拟。
• RQ5 该基准测试框架在多大程度上可推广至其他量子码（如颜色码或具有扭结缺陷的LDPC码）？

主要发现

• 通过利用上同调不变量而非解码过程，该基准测试算法对广义表面码的运行时间为线性时间O(n)，其中n为物理量子比特数。
• 该方法通过计算擦除集合上诱导上同调群的秩，正确识别出可纠正的擦除，避免了对解码的依赖。
• 该软件工具在不到一天的CPU时间内成功模拟了高达n = 100,000个物理量子比特和k > 10,000个逻辑量子比特的双曲表面码。
• 模拟结果揭示了双曲码中类似阈值的行为，暗示其具有潜在容错性，而此前由于计算限制无法实现此类分析。
• 对于平面码，该工具可通过X、Z及联合纠错的性能报告，实现对具有孔洞和混合边界类型的多种晶格布局的快速比较。
• 该方法可扩展至相关擦除情况，并为基准测试量子LDPC码提供了基础，尽管在一般族中保持线性复杂度仍面临挑战。