[论文解读] Introduction to Quantum Computation

Ashok Chatterjee|ArXiv.org|Dec 12, 2003

Quantum Computing Algorithms and Architecture被引用 69

一句话总结

本文将量子计算作为框架，利用量子叠加和纠缠实现超越经典极限的并行计算。它解释了处于叠加态的量子比特如何使量子算法同时探索多个计算路径，关键结果表明，除非退相干时间超过门操作时间，否则退相干会严重限制可靠性。

ABSTRACT

This is an introductory review on the basic principles of quantum computation. Various important quantum logic gates and algorithms based on them are introduced. Quantum teleportation and decoherence are discussed briefly. Some problems, without solutions, are included.

研究动机与目标

• 为该领域的新研究人员和学生提供量子计算的基础理解。
• 解释从经典比特到量子比特（量子比特）及其叠加态的概念转变。
• 分析在计算过程中维持量子相干性时，退相干和环境耦合的挑战。
• 概述能够可靠实现通用量子门的物理量子设备的要求。
• 通过强调测量和噪声下量子态的脆弱性，阐明容错量子计算的必要性。

提出的方法

• 使用狄拉克符号表示量子比特态为叠加态：$\alpha|0\rangle + \beta|1\rangle$，其中 $\alpha, \beta$ 为复振幅。
• 将量子门定义为作用于量子比特的幺正变换，与不可逆的经典逻辑门形成对比。
• 应用可逆计算的概念，表明只有幺正操作才能保持量子信息。
• 通过环境的密度矩阵建模退相干，其中重叠项 $\langle e_0|e_1\rangle$ 决定相干性的损失。
• 推导约化密度矩阵 $\rho = \mathrm{Tr}_{\text{env}}|\psi_{\text{out}}\rangle\langle\psi_{\text{out}}|$ 以计算测量概率。
• 分析退相干时间 $\tau_{\text{decoher}} = 1/\lambda$ 对计算可靠性的影 响，表明当 $\langle e_0|e_1\rangle = 0$ 时，$P_0 = P_1 = 1/2$。

实验结果

研究问题

• RQ1 处于叠加态的量子比特如何实现量子并行性？其实际应用受到什么限制？
• RQ2 为何像与门（AND）和或门（OR）这样的经典逻辑门本质上是不可逆的？这与量子力学有何冲突？
• RQ3 环境纠缠在计算过程中导致量子相干性丧失中起什么作用？
• RQ4 退相干时间 $\tau_{\text{decoher}}$ 与门操作时间 $\tau_{\text{op}}$ 的比值如何决定量子计算的可行性？
• RQ5 哪些物理系统是实现容错量子计算的可行候选？其关键操作原理是什么？

主要发现

• 处于叠加态 $\alpha|0\rangle + \beta|1\rangle$ 的量子比特可同时处理多个输入，从而实现量子并行性。
• 测量会将量子比特坍缩为 $|0\rangle$ 或 $|1\rangle$，其概率分别为 $P_0 = \frac{1}{2}[1 + (-1)^{f(0)+f(1)}\langle e_0|e_1\rangle]$ 和 $P_1 = \frac{1}{2}[1 - (-1)^{f(0)+f(1)}\langle e_0|e_1\rangle]$。
• 当 $\langle e_0|e_1\rangle = 0$ 时，$P_0 = P_1 = 1/2$，无论函数类型为常数或平衡，计算均不可靠。
• 退相干时间 $\tau_{\text{decoher}} = 1/\lambda$ 决定量子相干性的衰减，其中 $\langle e_0(t)|e_1(t)\rangle = e^{-\lambda t}$。
• 可靠的量子计算要求 $\tau_{\text{decoher}} \gg \tau_{\text{op}}$，但减少环境耦合会增加 $\tau_{\text{op}}$，因此需要在物理上进行折衷。
• 光学光子、腔量子电动力学、离子阱、核磁共振和量子点是可行的物理平台，各自使用不同的量子系统来编码和操控量子比特。