[论文解读] Reliable Final Computational Results from Faulty Quantum Computation

Gerald Gilbert, Michael Hamrick+1 more|ArXiv.org|Jun 29, 2007

Quantum Computing Algorithms and Architecture参考文献 1被引用 3

一句话总结

本文提出了一种统一框架，将容错理论与Kitaev的量子计算模型相结合，以确保量子计算中最终结果的可靠性，同时考虑了门错误和测量不确定性。通过量子计算机条件（QCC）推导出一个定量条件，以确定为实现期望的最终计算结果成功概率所需进行的错误校正嵌套层级数量，而不仅仅是确保最终量子态的正确性。

ABSTRACT

In this paper we extend both standard fault tolerance theory and Kitaev's model for quantum computation, combining them so as to yield quantitative results that reveal the interplay between the two. Our analysis establishes a methodology that allows us to quantitatively determine design parameters for a quantum computer, the values of which ensure that an overall computation of interest yields a correct *final result* with some prescribed probability of success, as opposed to merely ensuring that the desired *final quantum state* is obtained. As a specific example of the practical application of our approach, we explicitly calculate the number of levels of error correction concatenation needed to achieve a correct final result for the overall computation with some prescribed success probability. Since our methodology allows one to determine parameters required in order to achieve the correct final result for the overall quantum computation, as opposed to merely ensuring that the desired final quantum state is produced, our method enables the determination of complete quantum computational resource requirements associated to the actual solution of practical problems.

研究动机与目标

• 解决现有量子计算框架中仅分别处理门错误（通过容错）和测量不确定性（通过Kitaev模型）但未考虑其对最终计算可靠性联合影响的空白。
• 开发一种定量方法论，将容错约束与量子计算最终结果的实际可靠性联系起来，而不仅仅是最终量子态的保真度。
• 通过确保指定的正确最终输出概率，实现对解决实际问题所需完整量子计算资源需求的确定。
• 显式计算为实现整体计算目标成功概率所需错误校正嵌套层级的数目，涵盖量子计算错误与测量随机性。

提出的方法

• 引入“实现不准确性”作为理想最终量子态与噪声量子计算实际产生的态之间差异的基于范数的度量。
• 将量子计算机条件（QCC）定义为一个基本不等式，要求实现不准确性低于预定阈值，以确保计算的可靠性。
• 通过将最终测量结果的错误概率与实现不准确性相关联，将QCC与Kitaev模型结合，从而将容错与整体计算可靠性联系起来。
• 利用标准容错理论，将整体量子计算错误表示为基本门错误的函数，从而推导出对所需错误校正层级的定量边界。
• 推导出实现最终结果期望成功概率所需最小嵌套层级数 $ N $ 的闭式表达式：$ N \gtrsim \log_2 \frac{\ln \frac{2\mathcal{N}\epsilon_{\text{th}}}{\hat{p}-p}}{\ln \frac{\epsilon_{\text{th}}}{\epsilon_0}} $，其中 $\hat{p}$ 为目标成功概率，$p$ 为测量错误边界。
• 构建了权衡曲线（如图2所示），显示所需嵌套层级数随基本门错误概率 $\epsilon_0$ 的变化，显式整合了两种错误源。

实验结果

研究问题

• RQ1 如何将容错理论与Kitaev的量子计算模型结合，以确保在同时考虑门错误和测量不确定性下的最终结果可靠性？
• RQ2 为实现量子计算中指定正确最终输出概率，所需错误校正嵌套层级的最小数量是多少？
• RQ3 作为理想态与实际最终量子态之间范数差异的实现不准确性，如何与最终计算结果的整体可靠性相关联？
• RQ4 提高基本门保真度与增加嵌套层级之间在实现目标最终结果成功概率方面存在何种权衡？
• RQ5 量子计算机条件（QCC）能否用于推导出明确的、定量的容错量子计算机设计参数，以保证期望水平的计算可靠性？

主要发现

• 本文推导出实现最终结果期望成功概率 $\hat{p}$ 所需错误校正嵌套层级数的定量公式：$ N \gtrsim \log_2 \frac{\ln \frac{2\mathcal{N}\epsilon_{\text{th}}}{\hat{p}-p}}{\ln \frac{\epsilon_{\text{th}}}{\epsilon_0}} $，该公式显式考虑了门错误与测量不确定性。
• 对于成功概率 $\hat{p} = 0.6$，测量错误边界 $p = 0.2$，$ mathcal{N} = 10^{12}$ 个门，以及错误阈值 $ epsilon_{\text{th}} = 10^{-9}$，所需嵌套层级数由推导公式确定，结果在图2中可视化。
• 该方法确保整体计算的最终结果以指定概率正确，而不仅仅是最终量子态接近理想态，从而弥合了容错分析中的关键空白。
• 该方法能够通过将容错参数与端到端可靠性关联，直接计算解决实际问题所需的完整量子计算资源需求。
• 结果表明，仅靠标准容错理论无法确定最终结果的可靠性，因为它未考虑测量随机性；QCC框架对于建立这一联系至关重要。
• 该框架具有通用性，可通过将QCC应用于其整体动力学，扩展至其他量子计算范式，如测量基于或绝热量子计算。