Chapter 1: Introduction to Quantum Computing / 第一章:量子计算导论
第一章:量子计算导论
引言:从经典到量子计算的范式转变
The computational landscape of the 21st century stands at a pivotal juncture where the limitations of classical computing architectures become increasingly apparent in addressing certain classes of problems that lie at the heart of scientific advancement, technological innovation, and practical applications. While classical computers have served humanity remarkably well since the dawn of the digital age—powering everything from simple arithmetic operations to complex climate simulations, from internet communications to artificial intelligence—their fundamental architecture imposes inherent constraints on the efficiency with which they can solve specific categories of problems. These constraints have motivated researchers to explore alternative computational paradigms, ultimately leading to the development of quantum computing: a revolutionary approach that harnesses the peculiar principles of quantum mechanics to process information in ways fundamentally different from, and in many respects superior to, classical computation.
量子计算代表了信息处理领域的一场深刻范式转变,它利用量子力学的基本原理——特别是叠加态和纠缠态——来执行计算任务。与经典计算机使用比特(bit)作为信息的基本单位不同,量子计算机使用量子比特(qubit),这种信息载体能够同时处于多个状态的叠加,从而提供了一种全新的并行计算能力。本章将带领读者踏上量子计算的探索之旅,从历史发展的角度审视这一领域从理论构想到现代实践的演进过程,深入剖析驱动量子计算发展的核心动机,系统介绍量子计算的基本概念和数学框架,并为本書の整体学习路径奠定坚实的理论基础。
The journey into quantum computing begins with an understanding of why this paradigm emerged and why it has captured the imagination of physicists, computer scientists, engineers, and technologists worldwide. The story of quantum computing is not merely a tale of technological advancement; it is a narrative about the intersection of theoretical physics, mathematics, and computer science—a convergence of disciplines that has given rise to what many consider the most promising frontier in computational science.
量子计算的历史渊源
费曼的远见:量子系统的量子模拟
The origins of quantum computing can be traced to a seminal lecture delivered by physicist Richard Feynman at the MIT Endicott House workshop on "Physics of Computation" in December 1981. In his presentation titled "Simulating Physics with Computers," Feynman posed a profound question that would catalyze an entirely new field of research: Can quantum systems be efficiently simulated by quantum computers? This deceptively simple question carried within it the seeds of a computational revolution, as it identified a fundamental asymmetry between classical and quantum systems in terms of computational complexity.
The classical simulation of quantum systems presents an extraordinary challenge. Consider the task of modeling a quantum system consisting of $n$ two-level quantum subsystems (such as spins or qubits). The state of such a system is described by a vector in a $2^n$-dimensional Hilbert space, meaning that any configuration of the system requires $2^n$ complex amplitudes for a complete description. A classical computer attempting to simulate this system would need to store and manipulate these $2^n$ amplitudes—a task that grows exponentially with the number of subsystems. For a modest system of just 50 qubits, this would require storing $2^{50} \approx 10^{15}$ complex numbers, a quantity that exceeds the storage capacity of any classical computer that has ever existed or is likely to exist in the foreseeable future.
Feynman's insight was to recognize that this exponential complexity might be a fundamental feature of quantum systems rather than a mere limitation of classical simulation. He proposed that a quantum system—a quantum computer—might be capable of simulating other quantum systems with complexity scaling only polynomially with the number of qubits, rather than exponentially. In other words, nature might be quantum, and to simulate nature efficiently, one might need a quantum computer. This observation, published in his 1982 paper in the International Journal of Theoretical Physics, established the foundational motivation for quantum computation and sparked decades of research into both the theory and implementation of quantum computers.
费曼的远见不仅在于他识别出了经典模拟量子系统的困难,更在于他预见到量子系统本身可能构成一种全新的计算资源。他在1982年的论文中明确指出,自然界的基本过程本质上是量子力学的,因此用经典计算机模拟这些过程面临着指数级的计算复杂性障碍。这一论断促使计算机科学家和物理学家开始思考:是否能够直接利用量子系统的内在特性来执行计算,从而克服经典计算的局限性?
早期理论发展:从德意志到乔扎萨
Following Feynman's proposal, the field of quantum computing theory developed rapidly through the contributions of several pioneering researchers. In 1985, David Deutsch, a physicist at the University of Oxford, published a seminal paper that laid the theoretical foundations for quantum computation by describing the first universal quantum computer, now known as the quantum Turing machine. Deutsch's work extended Feynman's ideas by formalizing the notion of quantum parallel computation and demonstrating that quantum computers could, in principle, compute any function that a classical computer could compute.
Deutsch's most influential contribution, however, came in 1992 when he, together with Richard Jozsa, published a paper describing what is now known as the Deutsch-Jozsa algorithm. This algorithm solved a specific promise problem—determining whether a binary function is constant (returns the same output for all inputs) or balanced (returns zero for half the inputs and one for the other half)—with a single query to a quantum oracle, whereas any deterministic classical algorithm would require $2^{n-1} + 1$ queries in the worst case. The Deutsch-Jozsa algorithm was significant not primarily for its practical utility—similar problems can be solved easily with classical probabilistic methods—but for what it demonstrated about the fundamental power of quantum computation: that quantum computers could solve certain problems with exponentially fewer queries than any deterministic classical computer.
The Deutsch-Jozsa algorithm introduced several concepts that would become central to quantum algorithm design. It demonstrated quantum parallelism: the ability of a quantum computer to evaluate a function for all possible inputs simultaneously in a single computational step. It illustrated how interference could be harnessed to amplify correct answers and cancel incorrect ones. And it established a framework for understanding quantum advantage in terms of query complexity—the number of times a black-box function must be evaluated. These concepts would prove crucial in the development of more sophisticated quantum algorithms in the years that followed.
德意志-乔扎萨算法的提出标志着量子计算从单纯的理论构想走向具体算法设计的重要转折。这一算法虽然针对的是一个特殊的承诺问题,但它所展示的量子并行性和干涉原理为后续更强大算法的开发奠定了概念基础。算法的核心思想是利用量子叠加态同时编码所有可能的输入,然后通过精心设计的干涉过程将正确答案的概率放大,将错误答案的概率相互抵消。
突破性进展:肖尔和格罗弗算法
The year 1994 marked a watershed moment in quantum computing with Peter Shor's announcement of a polynomial-time quantum algorithm for integer factorization. Shor, working at Bell Labs, demonstrated that a quantum computer could factorize an integer $N$ in time $O((\log N)^3)$, exponentially faster than the best known classical algorithms, which require sub-exponential time that approaches exponential behavior as the numbers grow larger. This discovery was momentous for several reasons, both theoretical and practical.
From a theoretical perspective, Shor's algorithm demonstrated that quantum computers could solve problems of genuine practical importance—not merely artificially constructed promise problems—with exponential speedup over classical methods. The factorization problem had been extensively studied for centuries, and its apparent classical hardness was the foundation of the widely-used RSA encryption scheme. Shor's result thus showed that a sufficiently powerful quantum computer would render current cryptographic infrastructure obsolete, a finding that has had profound implications for cybersecurity and cryptography.
Shor's algorithm also introduced techniques that have become fundamental to quantum algorithm design. Chief among these is the quantum Fourier transform (QFT), a quantum analogue of the classical discrete Fourier transform th