[论文解读] Towards Large-Scale Quantum Computation

Austin G. Fowler|ArXiv.org|Jun 16, 2005

Quantum Computing Algorithms and Architecture参考文献 194被引用 15

一句话总结

本论文提出了一套针对大规模量子计算的综合框架，聚焦于Kane 31P在28Si中的架构。该研究开发了容错量子误差校正技术，优化了线性最近邻架构中的量子门实现，并构建了对任意单量子比特门的高效近似，从而在减少对奇异旋转门依赖的前提下，实现了可扩展的Shor算法。

ABSTRACT

This thesis deals with a series of quantum computer implementation issues from the Kane 31P in 28Si architecture to Shor's integer factoring algorithm and beyond. The discussion begins with simulations of the adiabatic Kane CNOT and readout gates, followed by linear nearest neighbor implementations of 5-qubit quantum error correction with and without fast measurement. A linear nearest neighbor circuit implementing Shor's algorithm is presented, then modified to remove the need for exponentially small rotation gates. Finally, a method of constructing optimal approximations of arbitrary single-qubit fault-tolerant gates is described and applied to the specific case of the remaining rotation gates required by Shor's algorithm.

研究动机与目标

• 为解决大规模量子计算的实现挑战，设计适用于Kane 31P在28Si架构的实际量子电路。
• 开发与线性最近邻（LNN）量子比特布局兼容的容错量子误差校正（QEC）方案。
• 通过消除指数级小的旋转门，降低Shor整数分解算法的资源开销。
• 构建任意单量子比特容错门的最优近似，特别是Shor算法中剩余的旋转门。
• 展示在实际物理约束和误差缓解技术下，可扩展量子计算的可行性。

提出的方法

• 利用时间依赖的交换相互作用和超精细相互作用，模拟Kane架构中绝热CNOT门和单自旋读出门。
• 基于复合门和电路变换，开发5量子比特量子误差校正（QEC）在无快速测量与有快速测量情况下的线性最近邻（LNN）实现。
• 通过将模指数运算分解为受控模加法和受控交换操作，构建完整的LNN电路以实现Shor算法。
• 用避免指数级小旋转门的近似版本替代量子傅里叶变换（QFT），从而减少门数和对误差的敏感性。
• 采用系统化方法，利用Steane码寻找任意单量子比特门的最优近似，最小化门数和误差传播。
• 结合两量子比特门的规范分解与物理相互作用模型，在硬件约束下合成容错电路。

实验结果

研究问题

• RQ1 如何在Kane 31P在28Si架构中以高保真度实现绝热CNOT门和读出门？
• RQ2 在无快速测量与有快速测量条件下，5量子比特量子误差校正在线性最近邻架构上的性能如何？
• RQ3 能否在不依赖指数级小旋转门的前提下，于线性最近邻量子计算机上实现Shor算法？
• RQ4 如何利用有限门集对任意单量子比特容错门进行最优近似？
• RQ5 门近似误差对Shor算法在分解大整数时的可靠性与实用性有何影响？

主要发现

• Kane架构中的绝热CNOT门实现了高保真度，对于实际退相干 timescale，最坏情况下的错误概率低于1%。
• 5量子比特LNN QEC电路成功完成了逻辑量子比特态的编码、保护、纠错，完整实现了编码-等待-解码-测量-纠错的循环。
• 即使不使用快速测量，通过慢速重置协议也可实现QEC，但因门序列更长，错误率有所上升。
• Shor算法可在LNN架构上通过修改后的电路实现，该电路通过采用近似量子傅里叶变换避免了指数级小旋转门。
• 当与最优门近似结合时，近似QFT在分解高达1000比特整数时仍保持足够的精度。
• 利用Steane码可构建任意单量子比特门（特别是相位门和T门）的最优近似，从而减少门数并提高容错阈值。