[论文解读] The Early Days of Quantum Computation

Peter W. Shor|arXiv (Cornell University)|Aug 21, 2022

Computability, Logic, AI Algorithms被引用 27

一句话总结

简记：一本回忆录，讲述量子计算诞生的过程，详细描述 Shor 的因式分解算法的发现、量子纠错码以及早期容错思想。

ABSTRACT

I recount some of my memories of the early development of quantum computation, including the discovery of the factoring algorithm, of error correcting codes, and of fault tolerance.

研究动机与目标

• 重述自1981年起的量子计算的历史发展。
• 描述因式分解算法的发现及其影响。
• 解释早期的量子纠错码以及容错量子计算的出现。

提出的方法

• 以第一人称的历史叙述，将关键里程碑与个人经历联系起来。
• 解释三量子比特和九量子比特量子纠错码及其构造。
• 讨论由编码对偶性产生的 CSS 码与稳定子形式主义。
• 描述容错概念、横向门，以及 Clifford 群的作用。
• 以 Solovay-Kitaev 定理作为近似量子门的工具的引用。

实验结果

研究问题

• RQ1 通向实用量子计算的关键发展有哪些（因式分解、纠错、容错）？
• RQ2 量子纠错码如何从简单构造演变为更复杂的构造（三量子比特、七量子比特、九量子比特、CSS 码）？
• RQ3 支撑容错量子计算与普适性的基础思想是什么？
• RQ4 离散门集合与 Solovay-Kitaev 定理如何支撑实用量子电路设计？
• RQ5 在这一时期，量子计算与量子基础问题讨论（如贝尔定理、多世界解释）的历史关系是什么？

主要发现

• 发现因式分解算法及其在各研究组之间的快速传播。
• 量子纠错从重复码发展到 CSS 与稳定子码。
• 引入容错概念，包括横向门和阈值思想。
• 意识到通过非 Clifford 门结合容错协议以及使用 Solovay-Kitaev 型结果进行近似，可以实现普适门集。
• 确认量子计算与量子力学基础问题之间的联系。
• 认识到动机从基础到实际应用的演变。