[论文解读] An Introduction to Quantum Computing for Non-Physicists

Eleanor Rieffel, Wolfgang Polak|arXiv (Cornell University)|Sep 8, 1998

Quantum Computing Algorithms and Architecture参考文献 45被引用 12

一句话总结

本文为计算机科学家和非物理学家提供了量子计算的非技术性入门介绍，解释了叠加和纠缠等量子原理，并通过Shor算法和Grover算法等算法展示了其计算能力。文章强调了指数级并行性，讨论了测量和编程方面的挑战，并介绍了量子纠错的作用，为理解量子算法及应用（如量子密码学和量子 teleportation）提供了概念性桥梁。

ABSTRACT

Richard Feynman's observation that quantum mechanical effects could not be simulated efficiently on a computer led to speculation that computation in general could be done more efficiently if it used quantum effects. This speculation appeared justified when Peter Shor described a polynomial time quantum algorithm for factoring integers. In quantum systems, the computational space increases exponentially with the size of the system which enables exponential parallelism. This parallelism could lead to exponentially faster quantum algorithms than possible classically. The catch is that accessing the results, which requires measurement, proves tricky and requires new non-traditional programming techniques. The aim of this paper is to guide computer scientists and other non-physicists through the conceptual and notational barriers that separate quantum computing from conventional computing. We introduce basic principles of quantum mechanics to explain where the power of quantum computers comes from and why it is difficult to harness. We describe quantum cryptography, teleportation, and dense coding. Various approaches to harnessing the power of quantum parallelism are explained, including Shor's algorithm, Grover's algorithm, and Hogg's algorithms. We conclude with a discussion of quantum error correction.

研究动机与目标

• 通过克服概念和符号障碍，使计算机科学家和非物理学家能够理解量子计算。
• 解释量子计算能力的来源，特别是通过叠加实现的指数级并行性。
• 介绍诸如纠缠、量子 teleportation 和密集编码等关键量子现象。
• 通过Shor的因数分解算法和Grover的搜索算法等实际量子算法进行说明。
• 解决测量和误差带来的挑战，强调量子纠错的重要性。

提出的方法

• 使用易于理解的类比并尽量减少形式化表达，以解释量子叠加和纠缠。
• 使用狄拉克符号和基础线性代数介绍量子线路和量子比特态。
• 通过概念性讲解而非完整的数学推导来描述量子算法。
• 通过Shor算法的结构和Grover的振幅放大机制说明量子并行性。
• 通过态制备和测量来解释量子通信协议（如teleportation和密集编码）。
• 将量子纠错呈现为保护量子信息免受退相干影响的必要框架。

实验结果

研究问题

• RQ1 尽管存在测量限制，量子计算机如何实现相对于经典计算机的指数级加速？
• RQ2 量子叠加在实现量子并行性方面起到什么作用？
• RQ3 像Shor算法和Grover算法这样的量子算法如何实现各自的加速？
• RQ4 由于测量坍缩，从量子计算中提取有用结果的根本挑战是什么？
• RQ5 量子纠错如何减轻退相干影响并实现容错量子计算？

主要发现

• 量子计算机通过叠加实现指数级增长的态空间，从而实现指数级并行性。
• Shor算法可在多项式时间内分解整数，展示了相对于经典方法的潜在指数级加速。
• Grover算法为无结构搜索问题提供了二次方加速。
• 量子 teleportation 和密集编码展示了由纠缠所支持的非经典通信协议。
• 量子纠错对于保护量子信息并实现可扩展、容错的量子计算至关重要。
• 测量会坍缩量子态，使得结果提取变得非平凡，需要采用新型编程技术。