[论文解读] Quantum fault tolerance in small experiments

Daniel Gottesman|arXiv (Cornell University)|Oct 11, 2016

Quantum Computing Algorithms and Architecture被引用 29

一句话总结

本文提出了一套实用框架，用于在小规模实验中通过仅含5量子比特的环状架构（nearest-neighbor相互作用）演示量子容错。该框架引入一种基于比较未编码与编码电路错误率的判据，表明当编码版本在代表性子族电路中始终优于未编码版本时，即可验证容错性。

ABSTRACT

I discuss a variety of issues relating to near-future experiments demonstrating fault-tolerant quantum computation. I describe a family of fault-tolerant quantum circuits that can be performed with 5 qubits arranged on a ring with nearest-neighbor interactions. I also present a criterion whereby we can say that an experiment has succeeded in demonstrating fault tolerance. Finally, I discuss the possibility of using future fault-tolerant experiments to answer important questions about the interaction of fault-tolerant protocols with real experimental errors.

研究动机与目标

• 建立一个严格且实验可行的判据，用于判断小规模量子系统是否已实现容错。
• 设计仅使用5个量子比特、按环状排列且仅具最近邻相互作用的最小容错电路族。
• 解决在近期实验中尚未实现全规模量子优势时验证容错性的挑战。
• 提供一个实用的电路子族用于测试容错性，确保统计置信度而不必进行 exhaustive 测试。
• 通过最小化校准漂移与系统性误差，确保未编码与编码电路之间的比较公平。

提出的方法

• 通过比较错误率来定义容错：在代表性子族的所有电路中，编码电路的错误率必须低于未编码版本。
• 使用包含态制备、酉门与测量的完整电路模型，以经典输出分布进行比较。
• 构建一个电路子族 S，包含不同长度（t = 0 到 T）的随机电路与重复周期（q = 1 到 p）的周期电路，每类测试 r 次。
• 应用量子纠错码将每个原始电路映射为容错编码版本，同时保持逻辑输出分布不变。
• 使用迹距离计算错误率：Pu(C) = ½∑|pi - qi|（未编码），Pe(C) = ½∑|pi - ri|（编码），其中 pi 为理想输出，qi 为未编码输出，ri 为解码后的逻辑输出。
• 随机化电路顺序，并连续执行未编码与编码版本，以最小化校准漂移的影响。

实验结果

研究问题

• RQ1 在小规模量子系统中，什么样的实验演示可被视为有效的容错验证？
• RQ2 如何在不依赖全规模量子计算或渐近扩展的前提下验证容错性？
• RQ3 在近期实验中，实现容错量子计算所需的最小微观电路架构是什么？
• RQ4 如何选择一个具有代表性的电路子族，以高效测试容错性而无需 exhaustive 测试？
• RQ5 在比较未编码与编码电路时，如何最小化系统性误差（如校准漂移）的影响？

主要发现

• 仅含5量子比特、具有最近邻相互作用的环状架构足以实现完整的容错量子电路族。
• 当子族 S 中所有电路 C 的编码错误率 Pe(C) 严格小于未编码错误率 Pu(C) 时，即证明实现了容错。
• 子族 S 的构建方式为：每种长度 t（0 ≤ t ≤ T）包含 r 个随机电路，每种周期 q（1 ≤ q ≤ p）包含 r 个周期电路，总大小受 r(T+1) + rT(ln p + 1) 限制。
• 通过连续执行未编码与编码版本并随机化电路顺序，该方法确保了比较的公平性，从而减少了漂移相关的偏差。
• 该框架允许在理想输出分布可经典计算并比较的小规模系统中验证容错性。
• 只要使用相同硬件执行未编码与编码运行，且系统性漂移得到最小化，该方法对实验误差具有鲁棒性。