[论文解读] Threshold Accuracy for Quantum Computation

Emanuel Knill, Raymond Laflamme+1 more|ArXiv.org|Oct 8, 1996

Quantum Computing Algorithms and Architecture被引用 107

一句话总结

本文通过编织编码、横跨操作及纯化态恢复，建立了容错量子计算的阈值，证明只要物理门错误低于某个常数阈值，即可实现任意精度。该方法在包含相关错误和泄漏的现实错误假设下依然有效，并为误差容限下具有对数多项式开销的可扩展量子计算提供了框架。

ABSTRACT

We have previously (quant-ph/9608012) shown that for quantum memories and quantum communication, a state can be transmitted over arbitrary distances with error $ε$ provided each gate has error at most $cε$. We discuss a similar concatenation technique which can be used with fault tolerant networks to achieve any desired accuracy when computing with classical initial states, provided a minimum gate accuracy can be achieved. The technique works under realistic assumptions on operational errors. These assumptions are more general than the stochastic error heuristic used in other work. Methods are proposed to account for leakage errors, a problem not previously recognized.

研究动机与目标

• 证明当物理门错误低于某个常数阈值时，可通过容错技术实现量子计算中的任意精度。
• 将容错性结果从随机误差启发式模型推广至更一般的误差模型，包括相关误差和相干误差。
• 通过提出检测与纠正方法，解决以往容错框架中被忽视的泄漏误差问题。
• 形式化证明编织编码与纯化态恢复可在何种条件下将误差抑制至任意水平。
• 证明容错量子计算的开销在误差容限的倒数下呈多对数尺度增长，从而实现可扩展实现。

提出的方法

• 使用编织量子纠错码对逻辑量子比特进行递归编码，以在多层结构中降低有效错误率。
• 采用编码门的横跨实现方式，防止逻辑量子比特之间的错误传播。
• 基于纯化辅助态的恢复程序，纠正错误而不引入额外噪声。
• 引入检测/纠正分层结构，通过在低层检测单个错误并在高层纠正，实现对错误（包括泄漏）的识别与纠正。
• 依赖广义误差模型，其中影响任意k个误差位置（空间与时间）的总误差强度被限制在ε^k以内，当ε足够小时成立。
• 对误差算符采用弱独立性假设，允许超出标准随机比特翻转/符号翻转模型的相干与相关误差。

实验结果

研究问题

• RQ1 容错量子计算是否能在比随机误差启发式模型更一般的误差模型下实现任意精度？
• RQ2 实现量子计算中任意低逻辑错误率所需的最小物理门错误率（阈值）是多少？
• RQ3 在容错方案中，如何有效检测与纠正幅度从计算子空间泄漏的泄漏误差？
• RQ4 能否将容错量子计算的开销保持在与误差容限倒数的多对数尺度内？
• RQ5 何种误差模型足以保证在使用横跨操作与恢复的编织量子码中实现阈值行为？

主要发现

• 存在一个常数阈值误差率ε，使得若每个物理门的错误率不超过ε，则任何使用理想操作的量子算法均可转换为等价的容错版本，最终错误率不超过任意δ > 0。
• 容错构造的开销在1/δ和计算步骤数上均呈多对数尺度增长，确保了实际可扩展性。
• 该阈值结果在广义误差模型下依然成立，其中影响k个误差位置的总误差强度被限制在ε^k以内，该模型包含随机误差及局部/序列独立误差。
• 泄漏误差——即从两态量子比特子空间中幅度泄漏——可通过三种方法处理：停漏门、显式编码泄漏子空间，或检测/纠正分层结构。
• 检测/纠正分层结构方法对泄漏特别有效，因其允许在低层检测错误并在高层纠正，从而保持容错性。
• 在随机误差启发式下导出的阈值结果可推广至基于振幅的误差模型，其中阈值振幅为cε（c为常数因子），具体取决于引发故障的误差模式。