可视化图示
量子计算与量子信息 · 第一章 量子计算简介
原著: M. Nielsen & I. Chuang《Quantum Computation and Quantum Information》| 小节: 1.1–1.6 | 来源: 中文学习笔记 (.nb) | 生成: 2026-06-19
如何使用本 skill
- 不带参数 — 加载第一章的核心概念框架
- 带主题 — 问
隐形传态、Deutsch、Bloch、通用门等,我会读对应小节文件再回答 - 带小节号 — 问
1.3或sec1.3,加载该小节 - 浏览 — 问"有哪些小节?"查看完整索引
当你问的主题不在下面的核心框架里,我会先读相关小节文件再回答。
核心概念框架
量子计算的定义:利用量子系统及其特性(叠加、纠缠、测量的概率性、对环境敏感)完成信息处理任务。远期目标是实现实用的通用量子计算,在某些问题上超越任何经典计算机。
量子比特 (qubit):状态 $\ket{\psi} = \alpha\ket{0} + \beta\ket{1}$,$\lvert\alpha\rvert^2+\lvert\beta\rvert^2=1$。区别于经典比特,可处于叠加态;测量塌缩为基态,概率为幅的模方。密度矩阵 $\rho$ 的迹为 1(概率归一)。
Bloch 球表示:单 qubit 纯态 = $\ket{\psi} = \cos(\theta/2)\ket{0} + e^{i\phi}\sin(\theta/2)\ket{1}$,对应单位球面上一点 $(\sin\theta\cos\phi, \sin\theta\sin\phi, \cos\theta)$。任意态都可由某个 $U\in U(2)$ 作用 $\ket{0}$ 得到——几何上是绕某轴旋转。
单比特门 = $U(2)$ 旋转:核心门 = $R_x(\theta)$、$R_y(\theta)$、$R_z(\theta)$、Hadamard($H$,制备等权叠加)、相位门 $S$、$T$ 门。任意单比特门可做 z-y-z 分解(旋量空间欧拉角),$(SU(2)\ltimes U(1))/2 = U(2)$。
多比特门:CNOT(受控非,纠缠的生成器)、SWAP(=三个 CNOT)、Toffoli(受控受控非,经典可逆计算的通用门)。
通用门集合:一组能以任意精度模拟任何幺正变换的门。精度越高所需门越多。常用通用集 = $\{H, T, \text{CNOT}\}$ 等。
量子线路规则:无环(不出现回路);不允许扇入(不可逆)和扇出(违反不可克隆定理)。
量子隐形传态 (teleportation):用一对 Bell 态 + 2 比特经典通信,把未知量子态从 Alice 传给 Bob。本质是 LOCC(本地操作+经典通信)。不违反相对论(需经典信道)也不违反不可克隆(原态被测量破坏)。
Deutsch 算法(量子并行的范例):用一次 $U_f$ 调用判断 $f$ 是常数型还是平衡型,经典需两次。启发:当经典计算获取的信息量超过问题答案所需信息量(存在计算冗余)时,量子有加速潜力。推广到 $n$ 位 = Deutsch-Jozsa 算法。
量子算法两大家族:① 基于量子 Fourier 变换(Shor 因数分解,经典 $O(N) \to$ 量子可多项式);② 量子搜索(Grover,$O(N) \to O(\sqrt{N})$);③ 量子模拟(Feynman 设想,模拟量子系统)。
复杂性视角:因数分解 $\in$ BQP。核心开放问题——是否 BPP $\subsetneq$ BQP(量子是否严格强于经典概率计算)。量子版丘奇-图灵论题:量子图灵机能高效模拟任何现实计算模型。
小节索引
| 小节 | 标题 | 关键概念 |
|---|---|---|
| 1.1 | 量子计算和量子信息简介 | 可计算性、丘奇-图灵论题、复杂性类、发展简史 |
| 1.2 | 量子比特 | qubit、叠加、Bloch 矢量、测量、Bell 基 |
| 1.3 | 量子计算 | 单/多比特门、z-y-z 分解、通用门、量子线路、隐形传态 |
| 1.4 | 量子算法 | 可逆计算、量子并行、Deutsch 算法、算法家族 |
| 1.5 | 量子信息处理实验 | Stern-Gerlach、阈值定理、NISQ、物理实现平台 |
| 1.6 | 量子信息 | 经典 vs 量子信息论、量子信息的基本目标 |
主题索引
- Bell 态 / 隐形传态 → 1.2, 1.3
- Bloch 矢量 → 1.2
- CNOT / Toffoli / SWAP → 1.3
- Deutsch / Deutsch-Jozsa → 1.4
- Hadamard / 相位门 / T 门 → 1.3
- 丘奇-图灵论题 → 1.1
- 可计算性 / 复杂性类 (BQP/BPP) → 1.1, 1.4
- 量子并行 → 1.4
- 量子比特 / 叠加 / 测量 → 1.2
- 量子线路 → 1.3
- 量子算法家族 (Shor/Grover/模拟) → 1.4
- 通用门集合 → 1.3
- 物理实现 / NISQ / 阈值定理 → 1.5
- z-y-z 分解 → 1.3
辅助文件
- glossary.md — 关键术语表(中英对照)
- patterns.md — 量子线路构件与技巧
- cheatsheet.md — 量子门速查与决策表
范围与限制
本 skill 仅覆盖 QCQI 第一章(量子计算简介)的概念框架,源自一份中文 Mathematica 笔记。公式以纯文本/Unicode 近似表示,精确推导请参阅原书。第 2 章起的线性代数、量子操作、纠错等内容不在此范围内。
1.1 量子计算和量子信息简介
核心思想
量子计算 = 利用量子系统的特性(叠加、纠缠、测量概率性、对环境敏感)完成信息处理任务。本节给出领域全景:可计算性、复杂性、发展简史,并引出"量子是否比经典更强"的核心问题。
关键概念
- 量子计算:利用量子系统及其特性完成信息处理任务;远期目标是实用的通用量子计算机,在某些问题上超越任何经典机。
- 量子系统的重要特性:① 态的线性叠加(态与物理量的数学刻画);② 概率性(测量公理);③ 信息以概率幅叠加方式储存,不易直接存取;④ 纠缠与非定域性(Bell 检验:量子理论违背定域实在性);⑤ 对环境敏感(退相干)。
- 可计算性 (computability):研究算法的抽象与严格定义(图灵机)、计算的限度(可计算函数、停机问题)、复杂性分类。
- 丘奇-图灵论题 (Turing-Church Thesis):可计算偏函数严格刻画了"能行可计算偏函数"的概念。它本身不是可被证明的数学陈述,但至今无反例;$\lambda$ 演算、图灵机等独立构建的模型最终被证等价(殊途同归)。
心智模型
- 计算模型的层级:高级模型能高效模拟低级模型,反之不能。是否存在"最高级"的计算模型?基于"信息是物理的",由物理规律支配的计算可能最强——相对论/量子场论/大一统理论的模型或许比量子计算更高级。
- 复杂性版丘奇-图灵论题:(Bernstein-Vazirani) 概率图灵机能高效模拟任何现实计算模型;量子版:量子图灵机能高效模拟任何现实计算模型。若证明 BPP $\subsetneq$ BQP,则经典复杂性版论题被推翻(原始论题只关心可计算性,不受影响)。
发展简史(节点)
- 1956 BCS 低温超导理论;1980 量子霍尔效应。
- 1980s Feynman:用量子计算机模拟量子系统。
- 1984 Bennett & Brassard:BB84,量子密钥分发 (QKD)。
- 1985 Deutsch 算法(oracle 问题)。
- 1994 Shor 算法:多项式时间因数分解,因数分解 $\in$ BQP。
- 1996 Grover 算法:非结构化搜索的量子加速。
- Seth Lloyd:小时间步演化可高效模拟少粒子相互作用的多体哈密顿量,总时间多项式增长。
关键要点
- 量子的"威力"来自叠加+纠缠+干涉,而非单纯并行。
- 信息以概率幅形式储存,测量才坍缩——这是优势也是约束。
- 核心开放问题:量子计算是否严格强于经典(BPP vs BQP)。
关联
- 1.4:量子并行、算法家族把本节"威力"具体化。
- 1.5/1.6:物理实现与信息论视角。
1.2 量子比特
核心思想
量子比特 (qubit) 是量子信息的基本单元:可处于 $\ket{0}$ 与 $\ket{1}$ 的线性叠加;测量塌缩为基态、概率为幅的模方;纯态可用 Bloch 球面上的点几何表示。
关键概念
- qubit:$\ket{\psi} = \alpha\ket{0} + \beta\ket{1}$,$\alpha,\beta\in\mathbb{C}$,$\lvert\alpha\rvert^2+\lvert\beta\rvert^2=1$。计算基 $\{\ket{0},\ket{1}\}$ 是常用 ONB(标准正交基)。
- 态矢量与密度矩阵:密度矩阵 $\rho = \ketbra{\psi}{\psi}$,$\Tr(\rho)=\lvert\alpha\rvert^2+\lvert\beta\rvert^2 = 1$(迹为 1 即各测量结果概率归一)。
- 物理状态与物理量:经典——状态是确定值;量子——状态是叠加,物理量由算符(如 Pauli $\sigma_x,\sigma_y,\sigma_z$)刻画,测量得本征值且概率性塌缩。
心智模型
- Bloch 矢量:纯态参数化 $\ket{\psi} = \cos(\theta/2)\ket{0} + e^{i\phi}\sin(\theta/2)\ket{1}$,对应单位球面点 $r = (\sin\theta\cos\phi, \sin\theta\sin\phi, \cos\theta)$。$\theta$ 为纬度角、$\phi$ 为经度角。可用 $r_i = \Tr(\rho \sigma_i)$ 计算 Bloch 分量。
- 态的制备 = 旋转:任意 qubit 态 $\ket{\psi}$ 都能找到 $U\in U(2)$ 使 $\ket{\psi} = U\ket{0}$——几何上是绕躺在 $x$-$y$ 平面的某根轴旋转某角度。(思考:实现同一目标的转轴/转角不唯一。)
测量
- 计算基测量:测 $\ket{\psi}=\alpha\ket{0}+\beta\ket{1}$,得 $\ket{0}$ 概率 $\lvert\alpha\rvert^2$,得 $\ket{1}$ 概率 $\lvert\beta\rvert^2$。
- 非计算基测量:可测 $\sigma_x$ 等其它可观测量,等价于先旋转到该基再做计算基测量。
多比特与 Bell 基
- 多比特计算基:$n$ 比特张成 $2^n$ 维空间,基矢 $\ket{00\dots0}\dots\ket{11\dots1}$。
- Bell 基(最大纠缠):$\ket{\Phi^\pm}=(\ket{00}\pm\ket{11})/\sqrt{2}$,$\ket{\Psi^\pm}=(\ket{01}\pm\ket{10})/\sqrt{2}$。
- Bell 关联:在计算基下测量 Bell 态(如 $\ket{\Phi^+}$),两比特总是得到相同结果——纠缠的标志。
关键要点
- qubit 的"信息"藏在概率幅里,测量只给出概率性的一比特结果。
- 单 qubit 纯态 $\leftrightarrow$ Bloch 球面点;混合态 $\leftrightarrow$ 球内点($\lVert r\rVert<1$)。
- Bell 态体现纠缠:局部测量结果强关联,无法写成张量积。
关联
- 1.3:单比特门 = Bloch 球上的旋转;Bell 态由 H+CNOT 制备。
- 1.6:测量概率性是量子信息论的出发点。
1.3 量子计算
核心思想
量子计算 = 用幺正门组成的线路操纵 qubit。本节给出单比特门 (U(2))、多比特门、通用门集合、量子线路规则,并以隐形传态作为综合应用。
框架与门集合
- 单比特门 $\in U(2)$:保持归一的幺正变换。基本门:
- $R_x(\theta)/R_y(\theta)/R_z(\theta)$:绕 $x/y/z$ 轴旋转 $\theta$。
- 绕任意轴 $n=(x,y,z)$ 旋转 $\theta$:$R_n(\theta)=\cos(\theta/2)I - i\sin(\theta/2)(n\cdot\sigma)$。
- Hadamard ($H$):制备等权叠加,$H\ket{0}=(\ket{0}+\ket{1})/\sqrt{2}$,$H\ket{1}=(\ket{0}-\ket{1})/\sqrt{2}$。
- 相位门 $S$:$\operatorname{diag}(1, i)$;$T$ 门:$\operatorname{diag}(1, e^{i\pi/4})$($\pi/8$ 门)。
- z-y-z 分解:任意单比特幺正门可写成 $e^{i\alpha} R_z(\beta) R_y(\gamma) R_z(\delta)$——旋量空间的欧拉角。群关系 $(SU(2)\ltimes U(1))/2 = U(2)$(SU(2) 半直积 U(1))。
多比特门 U(2ⁿ)
- CNOT (controlled-NOT):控制位为 1 时翻转目标位;纠缠的生成器。
- SWAP:交换两比特;SWAP = 三个 CNOT 级联。
- Toffoli (CCNOT):双控制非门,经典可逆计算的通用门,可配合测量模拟经典逻辑。
量子线路(反模式 / 规则)
- 无环:不允许出现回路。
- 禁止扇入:扇入不可逆,违反幺正性。
- 禁止扇出:扇出 = 量子克隆,违反不可克隆定理。
通用门集合
- 定义:一组能以任意精度模拟任何量子幺正变换的门。
- 权衡:精度越高,所需门数越多(Solovay-Kitaev 量级)。常用通用集如 {H, T, CNOT}。
Worked Example:量子隐形传态 (teleportation)
目标:把 Alice 手中未知态 $\ket{\psi}=\alpha\ket{0}+\beta\ket{1}$ 传给远端 Bob(双方都不知道 $\alpha,\beta$)。
- 共享纠缠:Alice 的第 2 比特与 Bob 的第 3 比特预先制备在 Bell 态 $\ket{\Phi^+}$。三比特总态 $\ket{\psi}\otimes\ket{\Phi^+}$。
- Alice 本地操作:对她的比特 1、2 做 CNOT$(1\to2)$ 再对 1 做 $H$,然后在计算基下测量比特 1、2,得到 2 个经典比特 $(m_1,m_2)\in\{00,01,10,11\}$。
- 经典通信:Alice 把 $(m_1,m_2)$ 通过经典信道(线路图中双横线)告诉 Bob。
- Bob 纠正:依据 $(m_1,m_2)$ 对自己的比特施加 $I$ / $X$ / $Z$ / $XZ$ 之一,即恢复出 $\ket{\psi}$。
- 要点:无论 Alice 测得什么,Bob 经修正后总得到原态 $\ket{\psi}$("无论测量结果是什么,Bob 手中的态都是 $\ket{\psi}$")。
- 不矛盾:需经典信道 $\Rightarrow$ 不超光速;原比特被测量破坏 $\Rightarrow$ 不违反不可克隆。"信息的传递就是物质(态)的传递"。
- 方法 2 (LOCC 视角):Alice 在本地执行一系列门+测量,把结果告诉 Bob,Bob 据此施门得到正确的 $\ket{\psi}$。
关键要点
- 单比特门是 Bloch 球旋转;任意门可 z-y-z 分解为三次旋转。
- CNOT 是纠缠之源;SWAP=3×CNOT;Toffoli 通用于经典可逆计算。
- 通用门集 + 任意精度逼近 = 量子计算的"图灵完备"基础。
- 隐形传态 = 纠缠资源 + 经典通信,不传物质本身也不违反相对论/不可克隆。
关联
- 1.2:门作用对象是 qubit / Bloch 矢量;Bell 态来自 H+CNOT。
- 1.4:通用门构成的线路实现量子算法。
1.4 量子算法
核心思想
量子算法靠"量子并行 + 干涉"提取经典难以高效获取的全局信息。Deutsch 算法是最小范例;Shor/Grover/量子模拟是三大算法家族。
量子计算机上的经典计算
- Landauer 原理:擦除信息有最小能量代价 $(kT\ln 2)$;可逆计算可规避。
- 可逆替代:任何不可逆经典逻辑门都可用可逆量子门等效实现(如经典 Toffoli 门 模拟 AND/NAND)。
- 概率经典模拟:用量子测量的概率性可模拟概率经典计算机。
量子并行
- 定义:量子计算机能在同一个幺正变换中同时计算函数 f(x) 在许多 x 处的值。
- 注意:并行算出的值叠加在一起,直接测量只能随机得到其一——必须用干涉把"全局性质"提炼出来才有用。
Worked Example:Deutsch 算法
问题:$f:\{0,1\}\to\{0,1\}$,判断 $f$ 是常数型($f(0)=f(1)$) 还是平衡型($f(0)\ne f(1)$)。经典需 2 次求值。
- 制备 $\ket{0}\ket{1}$,各过 $H$ 得 $(\ket{0}+\ket{1})(\ket{0}-\ket{1})/2$。
- 作用一次 $U_f$:$\ket{x}\ket{y} \to \ket{x}\ket{y\oplus f(x)}$,相位回踢得到 $(-1)^{f(x)}$ 因子。
- 对第一比特再过 $H$ 并测量:结果 $\ket{0}$ $\Rightarrow$ 常数型,$\ket{1}$ $\Rightarrow$ 平衡型。
- 结果:每个线路只用了一次 $U_f$,一次计算完成经典需两次才能完成的任务。
- 启发:当经典计算获取的信息量超过问题答案所需信息量(即存在"计算冗余")时,量子计算有潜在加速。Deutsch 问的是 $f(0)\oplus f(1)$ 这个全局比特,不需要分别知道 $f(0)$、$f(1)$。
- 推广:判断 $n$ 位函数常数/平衡 = Deutsch-Jozsa 算法 (Sec.1.4.4)。
量子算法家族(总结)
- 基于量子 Fourier 变换:Shor 因数分解/求阶,经典亚指数 → 量子多项式。
- 量子搜索 (Grover):非结构化搜索经典 $O(N) \to$ 量子 $O(\sqrt{N})$。
- 量子模拟:高效模拟量子多体系统(Feynman/Lloyd)。
复杂性视角
- 因数分解 $\in$ BQP。
- 量子计算的威力问题:是否存在某些问题,量子概率算法能高效解决而概率图灵机不能?即是否 BPP $\subsetneq$ BQP(但愿成立,尚未证明)。
关键要点
- 量子并行本身不够用——优势来自干涉提取全局信息 + 减少"信息冗余"。
- Deutsch:一次 $U_f$ 判常数/平衡,揭示量子加速的本质直觉。
- 三大家族:QFT 类 / 搜索类 / 模拟类。
关联
- 1.3:算法由通用门线路实现,Uf 是 oracle 子线路。
- 1.1:BQP/BPP 与丘奇-图灵论题呼应。
1.5 量子信息处理(量子计算)实验
核心思想
量子计算要落地,必须在真实物理系统上制备、操控、测量量子态并抑制噪声。本节给出实验直觉(Stern-Gerlach)、容错前景(阈值定理)与主流物理实现平台。
关键概念
- Stern-Gerlach 实验:自旋测量的原型。对级联的 Z-X-Z 测量,量子力学正确预言了实验结果——测量不对易导致"重置"前序信息,体现测量的不可对易性。
- 状态层析 / 量子层析 (state/process tomography):通过多次测量重构未知量子态 $\rho$ 或未知量子过程。
- 阈值定理 (threshold theorem):若量子噪声水平降到某个阈值以下,就能在工程上实现任意规模的容错量子计算。这是大规模量子计算可行性的理论支柱。
规模阶段
- 小规模:量子通信(QKD 等)。
- 中等规模:NISQ(Noisy Intermediate-Scale Quantum)——含噪、无完整纠错的中等比特机。
- 大规模:容错通用量子计算(依赖阈值定理)。
物理实现平台
被用于量子计算的物理系统:① 光学系统;② 超导线路(含 transmon);③ 离子阱;④ 冷原子;⑤ NV 色心;⑥ 核磁共振 (NMR);⑦ 任意子(拓扑)。
进展指标("多少比特了?")
- IBM Quantum(https://www.ibm.com/quantum)、本源量子 OriginQC(https://originqc.com.cn/)等公开路线图与比特规模。
关键要点
- 噪声是头号敌人;阈值定理给出"够低就能纠错放大"的希望。
- 当前处于 NISQ 阶段:比特数上升但缺完整容错。
- 没有单一最优平台——超导/离子阱/光学各有取舍。
关联
- 1.2/1.3:实验要忠实实现态制备与门操作。
- 后续章节:量子噪声、量子操作与量子纠错(第 8、10 章)是阈值定理的技术基础。
1.6 量子信息
核心思想
量子信息论研究信息的"量子版"基本极限:如何编码、传输、压缩、保护以量子态承载的信息,以及量子相比经典带来的新资源(纠缠)。
经典信息论(出发点)
- 两个基本问题:
- 信源压缩极限——一个信息源最多能被压缩到多少?(Shannon 熵)
- 可靠传输极限——含噪信道上能以多高速率可靠传输?(信道容量)
量子信息论
- 狭义量子信息:量子领域中与经典信息相对应的理论(量子熵、量子信道、量子容量等)。
- 量子信息的基本目标:
- 识别量子信息处理中的基本资源(如纠缠、相干)。
- 给出量子态压缩、量子信道传输的极限(Schumacher 压缩、量子信道容量)。
- 在含噪环境下保护量子信息(量子纠错)。
关键要点
- 量子信息论是经典信息论的推广:把"比特"换成"qubit",把 Shannon 熵换成 von Neumann 熵。
- 纠缠是经典没有的新资源,可用于通信与计算(如隐形传态、超密编码)。
- 测量的概率性与不可克隆定理塑造了量子信息的独特极限。
关联
- 1.2:测量概率性、Bell 态纠缠是信息论的物理基础。
- 1.3:隐形传态展示纠缠作为通信资源。
- 后续章节:量子熵、量子信道、量子纠错(第 8–11 章)展开本节提纲。
术语表 · QCQI 第一章
BQP — Bounded-error Quantum Polynomial time,量子多项式时间复杂性类;因数分解 $\in$ BQP (1.4) BPP — Bounded-error Probabilistic Polynomial time,经典概率多项式时间类;核心问题 BPP $\subsetneq$ BQP? (1.4) Bell 基 / Bell 态 — 四个最大纠缠两比特态 $\ket{\Phi^\pm},\ket{\Psi^\pm}$;局部测量结果强关联 (1.2) Bloch 矢量 / Bloch 球 — 单 qubit 纯态 $\leftrightarrow$ 单位球面点 $(\sin\theta\cos\phi, \sin\theta\sin\phi, \cos\theta)$ (1.2) CNOT — 受控非门,控制位为 1 时翻转目标位;纠缠生成器 (1.3) Deutsch 算法 — 一次 $U_f$ 判断 $f$ 常数/平衡,经典需两次 (1.4) Deutsch-Jozsa 算法 — Deutsch 推广到 n 位函数 (1.4) Hadamard 门 ($H$) — 制备等权叠加,$H\ket{0}=(\ket{0}+\ket{1})/\sqrt{2}$ (1.3) Landauer 原理 — 擦除信息有最小能耗 $kT\ln 2$,可逆计算可规避 (1.4) LOCC — 本地操作 + 经典通信 (Local Operations and Classical Communication) (1.3) NISQ — 含噪中等规模量子 (Noisy Intermediate-Scale Quantum) (1.5) ONB — 标准正交基 (Orthonormal Basis),如计算基 $\{\ket{0},\ket{1}\}$ (1.2) Pauli 矩阵 ($\sigma_x,\sigma_y,\sigma_z$) — 单比特可观测量/门的基本算符 (1.2,1.3) $R_n(\theta)$ / $R_x,R_y,R_z$ — 绕轴 $n$ 旋转 $\theta$ 的单比特门 (1.3) SWAP 门 — 交换两比特,= 三个 CNOT 级联 (1.3) Shor 算法 — 多项式时间因数分解,基于量子 Fourier 变换 (1.1,1.4) Grover 算法 — 非结构化搜索 $O(N)\to O(\sqrt{N})$ (1.1,1.4) Stern-Gerlach — 自旋测量原型实验,验证测量不对易性 (1.5) T 门 ($\pi/8$ 门) — $\operatorname{diag}(1, e^{i\pi/4})$ 相位门 (1.3) Toffoli 门 (CCNOT) — 双控制非门,经典可逆计算通用门 (1.3,1.4) Turing-Church 论题 — 能行可计算 = 图灵可计算;无反例,多模型等价 (1.1) U(2) / SU(2) — 单比特幺正群;$(SU(2)\ltimes U(1))/2 = U(2)$ (1.3) $U_f$ (oracle) — $\ket{x}\ket{y}\to\ket{x}\ket{y\oplus f(x)}$,封装函数 $f$ 的量子黑盒 (1.4) z-y-z 分解 — 任意单比特门 = $e^{i\alpha}R_z(\beta)R_y(\gamma)R_z(\delta)$,旋量欧拉角 (1.3) 叠加 (superposition) — $\ket{\psi}=\alpha\ket{0}+\beta\ket{1}$,量子态的线性组合 (1.2) 不可克隆定理 — 未知量子态不可被完美复制;禁止线路扇出 (1.3) 密度矩阵 $\rho$ — $\rho=\ketbra{\psi}{\psi}$,$\Tr(\rho)=1$;描述纯/混合态 (1.2) 退相干 (decoherence) — 量子态因环境耦合失去相干性 (1.1,1.5) 纠缠 (entanglement) — 不可写成张量积的关联态;量子独有资源 (1.2,1.6) 量子并行 — 一个幺正变换中同时计算 $f$ 在多个 $x$ 的值 (1.4) 量子隐形传态 — 纠缠+经典通信传未知态,不传物质 (1.3) 量子层析 (tomography) — 测量重构未知态/过程 (1.5) 通用门集合 — 能以任意精度模拟任何幺正变换的门集,如 $\{H,T,\text{CNOT}\}$ (1.3) 阈值定理 — 噪声低于阈值即可实现任意规模容错量子计算 (1.5) von Neumann 熵 — 量子版 Shannon 熵,量子信息论核心量 (1.6)
量子线路构件与技巧 · QCQI 第一章
用 H 制备均匀叠加态
何时用:算法第一步,把 $\ket{0}^{\otimes n}$ 变成所有计算基的等权叠加(量子并行的入口)。 怎么做:对每个比特施 $H$:$H^{\otimes n}\ket{0\dots0} = \frac{1}{\sqrt{2^n}} \sum_x \ket{x}$。 权衡:叠加本身免费,但要取出有用信息须靠后续干涉。
相位回踢 (phase kickback)
何时用:oracle 类算法(Deutsch、Grover)把函数信息编码到相位上。 怎么做:目标比特置于 $\ket{-}=(\ket{0}-\ket{1})/\sqrt{2}$,作用 $U_f$ 后 $\ket{x}\ket{-} \to (-1)^{f(x)}\ket{x}\ket{-}$,$f$ 的值"踢"成控制位相位。 权衡:信息进了相位,需再过 H 做干涉才能测出。
用 CNOT 制备 Bell 态
何时用:需要纠缠资源(隐形传态、超密编码、纠缠判据)。 怎么做:$\ket{0}\ket{0}$ → $H$ 第一位 → CNOT$(1\to2)$ ⇒ $\ket{\Phi^+}=(\ket{00}+\ket{11})/\sqrt{2}$。 权衡:纠缠不可由本地操作单独产生,需双比特门。
单比特门 z-y-z 分解
何时用:把任意 $U\in U(2)$ 编译到硬件可用的旋转门。 怎么做:$U = e^{i\alpha} R_z(\beta) R_y(\gamma) R_z(\delta)$,求出四个角。 权衡:精确分解;离散通用门集下还需 Solovay-Kitaev 近似(门数 ↑)。
SWAP = 3×CNOT
何时用:硬件只有 CNOT、需交换两比特(如比特路由)。 怎么做:CNOT$(a\to b)$·CNOT$(b\to a)$·CNOT$(a\to b)$。 权衡:交换是经典操作,无需额外资源,但占 3 个两比特门深度。
经典逻辑的可逆/量子化(Toffoli)
何时用:在量子线路里嵌入经典布尔函数(如 oracle 内部)。 怎么做:用 Toffoli (CCNOT) 实现可逆 AND/NAND,辅以辅助比特;不可逆门加垃圾比特变可逆。 权衡:需要辅助 (ancilla) 比特和反计算 (uncompute) 清理垃圾。
隐形传态协议
何时用:把未知态从 A 移到 B,只有纠缠 + 经典信道。 怎么做:共享 Bell 态 → A 做 CNOT+H+测量 → 传 2 经典比特 → B 施 $\{I,X,Z,XZ\}$ 纠正。 权衡:消耗 1 份纠缠 + 2 经典比特;原态被毁(符合不可克隆);不超光速。
反模式(量子线路禁忌)
- 扇出 (fan-out) = 克隆未知态 → 违反不可克隆定理。
- 扇入 (fan-in) → 不可逆,违反幺正性。
- 回路/环 → 量子线路必须是有向无环。
- 中途窥探:过早测量会塌缩叠加,破坏并行——测量应放在干涉之后。
速查表 · QCQI 第一章
常用单比特门
| 门 | 矩阵 (计算基) | 作用 |
|---|---|---|
| X (NOT) | $\begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}$ | 翻转,绕 $x$ 轴 $\pi$ |
| Y | $\begin{pmatrix} 0 & -i \\ i & 0 \end{pmatrix}$ | 绕 $y$ 轴 $\pi$ |
| Z | $\begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix}$ | 相位翻转 $\ket{\beta}\to-\ket{\beta}$ |
| H | $\tfrac{1}{\sqrt{2}}\begin{pmatrix} 1 & 1 \\ 1 & -1 \end{pmatrix}$ | 等权叠加;交换 $X\leftrightarrow Z$ |
| S | $\begin{pmatrix} 1 & 0 \\ 0 & i \end{pmatrix}$ | $\pi/2$ 相位 |
| T | $\begin{pmatrix} 1 & 0 \\ 0 & e^{i\pi/4} \end{pmatrix}$ | $\pi/4$ 相位 ($\pi/8$ 门) |
决策:选哪个门 / 操作
- 要等权叠加 → H(每比特一个)。
- 要纠缠两比特 → CNOT(前置 H 制 Bell 态)。
- 要翻转目标(条件) → CNOT / Toffoli。
- 要交换比特且只有 CNOT → SWAP = 3×CNOT。
- 要把经典函数塞进线路 → Toffoli + ancilla + uncompute。
- 要编译任意 U(2) → z-y-z 分解;离散集再用 Solovay-Kitaev。
Bloch 球速记
- 纯态:球面,$\lVert r\rVert=1$;混合态:球内,$\lVert r\rVert<1$;最大混合 $\rho=I/2$ → 球心。
- $\ket{\psi}=\cos(\theta/2)\ket{0}+e^{i\phi}\sin(\theta/2)\ket{1}$;$r_i=\Tr(\rho\sigma_i)$。
- 门 = 旋转:$R_n(\theta)$ 绕轴 $n$ 转 $\theta$。
测量概率速记
- 计算基测 $\alpha\ket{0}+\beta\ket{1}$:$P(0)=\lvert\alpha\rvert^2$, $P(1)=\lvert\beta\rvert^2$。
- 测量后态塌缩到对应本征态;测量不对易(如 $Z$ 后测 $X$ 会"重置"$Z$ 信息)。
复杂性 / 加速判断
| 现象 | 含义 |
|---|---|
| 经典获取信息量 $>$ 答案所需信息量 | 有"计算冗余"→ 量子可能加速 |
| 问全局性质 (如 $f(0)\oplus f(1)$) | 适合量子并行+干涉 |
| 因数分解 / 求阶 | QFT 家族,$\in$ BQP |
| 非结构化搜索 | Grover,$O(N)\to O(\sqrt{N})$ |
| 模拟量子多体系统 | 量子模拟,指数→多项式 |
| BPP $\subsetneq$ BQP ? | 量子是否严格强于经典——核心开放问题 |
三条不可违反的红线
- 不可克隆 → 禁止扇出/复制未知态。
- 幺正可逆 → 禁止扇入、禁止环路。
- 测量即塌缩 → 干涉做完再测,别中途窥探。
物理平台速记
光学 · 超导(transmon) · 离子阱 · 冷原子 · NV 色心 · NMR · 任意子。 阶段:小规模(通信) → NISQ(中等含噪) → 大规模(容错,靠阈值定理)。