
第一部分:导论与数学基础
第1章 为什么需要 Dirac Notation
1.1 教学目标
- 理解量子力学中符号体系的重要性
- 掌握 Dirac Notation 与线性代数的对应关系
- 建立"量子态即向量"的几何直觉
1.2 教学内容
量子力学和量子计算中,我们经常需要处理复数向量空间中的向量 以及作用在这些向量上的线性算符。在经典线性代数中,我们习惯用列向量和矩阵来表示这些对象,例如:
一个量子态可以写成:
|ψ⟩ = (α)
(β)
但这种写法在多 qubit 系统中会变得极其冗长。想象一个 3-qubit 系统,它的状态向量是一个 8 维复向量:
|ψ⟩ = (α₀)
(α₁)
(α₂)
(α₃)
(α₄)
(α₅)
(α₆)
(α₇)
每次都要写这么一长串不仅麻烦,而且容易丢失物理意义。更重要的是,量子力学中有大量的内积、外积、投影操作,使用矩阵形式会让推导变得机械而缺乏直观。
Paul Dirac 在 1939 年发明了一套符号体系,完美地解决了这个问题。这套体系的核心思想是:
用一个符号表示整个向量,而不是它的分量
例如,我们将基态记为:
- |0⟩ 代替 (1 0)^T
- |1⟩ 代替 (0 1)^T
然后任意态就可以简洁地写成基态的线性组合:
|ψ⟩ = α|0⟩ + β|1⟩
这个表达式同时传达了:
- |ψ⟩ 是一个向量
- 它由基态 |0⟩ 和 |1⟩ 张成
- 它在 |0⟩ 方向上的投影(分量)是 α,在 |1⟩ 方向上是 β
这种写法将物理意义 (系统处于 |0⟩ 和 |1⟩ 的叠加)和数学结构(复线性组合)完美统一。
1.3 从向量到 Ket
在深入 Dirac Notation 之前,让我们先回顾线性代数中的向量表示。
标准列向量表示:
(1) (0)
|0⟩ = (0) |1⟩ = (1)
Ket 的本质 :
Ket 就是一个列向量,符号 |·⟩ 内部可以填入任何有意义的标签。常见的包括:
- |0⟩, |1⟩ ------ 计算基态
- |+⟩, |-⟩ ------ Hadamard 基态
- |↑⟩, |↓⟩ ------ 自旋态
- |ψ⟩, |ϕ⟩ ------ 任意量子态
关键理解 :|ψ⟩ 这个符号本身代表的是整个向量,而不是向量的某个特定分量。当我们写 |ψ⟩ = α|0⟩ + β|1⟩ 时,我们是在用基展开的方式定义这个向量。
1.4 从共轭转置到 Bra
对于每一个 Ket |ψ⟩,我们可以定义它的共轭转置(在数学中称为 Hermitian 共轭),记为 ⟨ψ|,读作 "bra"。
数学定义 :
如果:
(α₁)
|ψ⟩ = (α₂)
(α₃)
( ⋮ )
那么:
⟨ψ| = (α₁*, α₂*, α₃*, ...)
其中 * 表示复共轭。
为什么需要 Bra?
Bra 的引入是为了自然地表示内积。在线性代数中,两个向量的内积定义为:
⟨ϕ|ψ⟩ = (ϕ₁*, ϕ₂*, ...) (ψ₁)
(ψ₂)
( ⋮ )
注意这个符号 ⟨ϕ|ψ⟩ 恰好由左右两个部分拼接而成------左边是 bra,右边是 ket,合起来是一个括号(bracket),这就是 Dirac 命名的由来。
1.5 Dirac Notation 的三个层次
为了深入理解这套符号体系,我们需要区分三个不同的数学对象:
| 符号 | 数学对象 | 维度 | 示例 |
|---|---|---|---|
| |ψ⟩ | 向量(列) | n×1 | |0⟩, |1⟩, |+⟩ |
| ⟨ψ| | 对偶向量(行) | 1×n | ⟨0|, ⟨1|, ⟨+‖ |
| |ϕ⟩⟨ψ| | 算符(矩阵) | n×n | |0⟩⟨0|, |1⟩⟨1| |
直观理解:
- Ket 是"完整的态"
- Bra 是"用于测量的探针"
- 外积是"态的投影器"
1.6 练习与思考
练习 1.1
将以下列向量写成 Dirac Notation 的形式:
( 1 )
v = ( 0 )
( 0 )
( 0 )
(提示:这是一个 4 维向量,属于双 qubit 空间)
解答:
v = |00⟩
练习 1.2
写出 |+⟩ = (|0⟩+|1⟩)/√2 对应的 Bra 向量 ⟨+|。
解答:
⟨+| = (⟨0|+⟨1|)/√2 = (1/√2, 1/√2)
练习 1.3
说明为什么 ⟨0|1⟩ = 0 而 ⟨0|0⟩ = 1。
解答 :
这是计算基的正交归一性。在列向量表示中:
⟨0|1⟩ = (1,0) (0) = 1×0 + 0×1 = 0
(1)
⟨0|0⟩ = (1,0) (1) = 1×1 + 0×0 = 1
(0)
1.7 本章小结
| 概念 | 符号 | 线性代数对应 |
|---|---|---|
| 量子态 | |ψ⟩ | 列向量 |
| 对偶态 | ⟨ψ| | 行向量(共轭转置) |
| 内积 | ⟨ϕ|ψ⟩ | 行向量乘列向量 |
| 外积 | |ϕ⟩⟨ψ| | 列向量乘行向量 |
| 概率 | |⟨ϕ|ψ⟩|² | 内积模平方 |
核心记忆:
- Ket = 列向量
- Bra = 共轭转置后的行向量
- Bra-Ket = 复数(内积)
- Ket-Bra = 矩阵(外积)
第2章 复向量空间与 Hilbert 空间
2.1 教学目标
- 理解量子态空间的数学结构
- 掌握复数在量子力学中的必要性
- 理解归一化条件的物理意义
2.2 为什么必须是复数?
初学者常常困惑:为什么量子力学一定要用复数?用实数向量难道不行吗?
答案是:实向量空间无法描述量子干涉和相位效应。
考虑一个简单实验:Mach-Zehnder 干涉仪。一束光经过第一个分束器后变成两条路径的叠加,再经过第二个分束器后,输出端的强度取决于两条路径之间的相对相位。如果只用实数表示振幅,我们只能描述"相加"或"相减",无法描述连续变化的相位差(如 e^{iθ})。
数学论证 :
假设我们有一个单 qubit 态,经过 Hadamard 门后再经过一个相位门,最后再经过 Hadamard 门:
|0⟩ → H → S → H → ?
如果限制在实数域,S 门无法表示(因为 S|1⟩ = i|1⟩)。而正是这个 i 带来了可观测的干涉效应。
复数在量子力学中的角色:
- 振幅:|α| 决定概率大小
- 相位:arg(α) 决定干涉行为
- 全局相位:e^{iθ}|ψ⟩ 与 |ψ⟩ 物理等价
- 相对相位:α|0⟩+β|1⟩ 与 α|0⟩+e^{iφ}β|1⟩ 物理不同
2.3 Hilbert 空间公理
量子态所在的数学空间是一个复 Hilbert 空间,记为 ℋ。它满足以下公理:
公理 1:向量空间
- 对任意 |ψ⟩, |ϕ⟩ ∈ ℋ,线性组合 α|ψ⟩+β|ϕ⟩ ∈ ℋ
- 存在零向量 |0⟩(注意:不是量子态 |0⟩,而是数学上的零向量)
- 满足结合律、交换律、分配律
公理 2:内积
- 存在内积映射 ⟨·|·⟩ : ℋ×ℋ → ℂ
- 共轭对称性:⟨ϕ|ψ⟩ = ⟨ψ|ϕ⟩*
- 线性性(对第二个参数):⟨ϕ|(α|ψ₁⟩+β|ψ₂⟩) = α⟨ϕ|ψ₁⟩ + β⟨ϕ|ψ₂⟩
- 正定性:⟨ψ|ψ⟩ ≥ 0,且等于 0 当且仅当 |ψ⟩ = 0
公理 3:完备性
- 任何 Cauchy 序列收敛到空间内的一点(保证极限运算封闭)
物理附加条件:
- 量子态是单位向量:⟨ψ|ψ⟩ = 1
- 全局相位等价:|ψ⟩ ∼ e^{iθ}|ψ⟩
2.4 内积的性质与计算
内积 ⟨ϕ|ψ⟩ 是量子力学中最重要的运算之一。让我们详细剖析它的性质。
性质 1:共轭对称
⟨ϕ|ψ⟩ = ⟨ψ|ϕ⟩*
这意味着交换顺序会得到复共轭。
性质 2:对第一参数的共轭线性
⟨(αϕ₁+βϕ₂)|ψ⟩ = α*⟨ϕ₁|ψ⟩ + β*⟨ϕ₂|ψ⟩
注意:系数要取复共轭!这是初学者最容易犯的错误。
性质 3:对第二参数的线性
⟨ϕ|(αψ₁+βψ₂)⟩ = α⟨ϕ|ψ₁⟩ + β⟨ϕ|ψ₂⟩
这一边不取复共轭。
性质 4:范数
‖ψ‖ = √⟨ψ|ψ⟩
量子态必须满足 ‖ψ‖ = 1。
计算示例 :
设 |ψ⟩ = (1/√2)(|0⟩ + i|1⟩)
⟨ψ|ψ⟩ = (1/√2)(⟨0| - i⟨1|) × (1/√2)(|0⟩ + i|1⟩)
= (1/2)(⟨0|0⟩ + i⟨0|1⟩ - i⟨1|0⟩ + ⟨1|1⟩)
= (1/2)(1 + 0 - 0 + 1)
= 1
注意 ⟨0|1⟩ = ⟨1|0⟩ = 0,⟨0|0⟩ = ⟨1|1⟩ = 1。
2.5 正交归一基
定义:一组向量 {|e₁⟩, |e₂⟩, ..., |e_n⟩} 构成正交归一基,如果:
- 正交性:⟨e_i|e_j⟩ = 0 当 i ≠ j
- 归一性:⟨e_i|e_i⟩ = 1
- 完备性:任何向量都可以表示为它们的线性组合
计算基:
{|0⟩, |1⟩}
满足:
- ⟨0|0⟩ = 1, ⟨1|1⟩ = 1
- ⟨0|1⟩ = 0, ⟨1|0⟩ = 0
完备性关系(非常重要的恒等式):
|0⟩⟨0| + |1⟩⟨1| = I
其中 I 是单位矩阵。这个等式可以用来"插入"基展开:
|ψ⟩ = I|ψ⟩ = (|0⟩⟨0| + |1⟩⟨1|)|ψ⟩ = ⟨0|ψ⟩|0⟩ + ⟨1|ψ⟩|1⟩
这正是任意态在计算基下的展开式。
推广到多 qubit :
对于双 qubit 系统,完备性关系为:
(|00⟩⟨00| + |01⟩⟨01| + |10⟩⟨10| + |11⟩⟨11|) = I⊗I
2.6 Born 规则的严格表述
量子力学中,测量结果的概率由 Born 规则给出:
对于可观测量 A 的本征态 |a⟩,在态 |ψ⟩ 上测得结果 a 的概率为:
P(a) = |⟨a|ψ⟩|²
在计算基下的特殊形式 :
测量单 qubit 时,投影算符为 P₀ = |0⟩⟨0|, P₁ = |1⟩⟨1|。
P(0) = ⟨ψ|P₀|ψ⟩ = ⟨ψ|0⟩⟨0|ψ⟩ = |⟨0|ψ⟩|²
P(1) = ⟨ψ|P₁|ψ⟩ = ⟨ψ|1⟩⟨1|ψ⟩ = |⟨1|ψ⟩|²
测量后状态 (投影公设):
如果测得结果 0,系统塌缩到:
|ψ'⟩ = (P₀|ψ⟩) / √P(0) = (⟨0|ψ⟩/|⟨0|ψ⟩|) |0⟩
注意前面的相位因子:虽然测量概率不依赖于相位,但测量后的状态仍然保留了一个相位因子(在实际中通常被忽略或通过重新定义基态消除)。
2.7 练习与思考
练习 2.1
验证:对于 |ψ⟩ = (|0⟩ + i|1⟩)/√2,计算 ⟨ψ|ψ⟩。
解答:
⟨ψ| = (⟨0| - i⟨1|)/√2
⟨ψ|ψ⟩ = 1/2 (⟨0|0⟩ + i⟨0|1⟩ - i⟨1|0⟩ + (-i)(i)⟨1|1⟩)
= 1/2 (1 + 0 - 0 + 1) = 1
练习 2.2
证明:如果 |ψ⟩ 是归一化的,那么 e^{iθ}|ψ⟩ 也是归一化的。
解答:
⟨ψ|e^{-iθ} e^{iθ}|ψ⟩ = ⟨ψ|ψ⟩ = 1
练习 2.3
使用完备性关系,将 |ψ⟩ = α|0⟩ + β|1⟩ 在基 {|+⟩, |-⟩} 下展开。
解答 :
完备性关系:|+⟩⟨+| + |-⟩⟨-| = I
|ψ⟩ = (|+⟩⟨+| + |-⟩⟨-|)|ψ⟩
= ⟨+|ψ⟩|+⟩ + ⟨-|ψ⟩|-⟩
= ((α+β)/√2)|+⟩ + ((α-β)/√2)|-⟩
练习 2.4
判断:⟨0|(|1⟩⟨0|)|1⟩ 的计算结果是什么?
解答:
⟨0|(|1⟩⟨0|)|1⟩ = (⟨0|1⟩)(⟨0|1⟩) = 0 × 0 = 0
注意运算顺序:先算 |1⟩⟨0| 这个外积,但在这里我们利用了结合律:⟨0|1⟩ 先算,结果是一个数,再乘以 ⟨0|1⟩。
2.8 本章小结
| 概念 | 数学表述 | 物理意义 |
|---|---|---|
| Hilbert 空间 | ℋ | 量子态存在的空间 |
| 内积 | ⟨ϕ|ψ⟩ | 概率振幅 |
| 范数 | √⟨ψ|ψ⟩ | 归一化条件 |
| 正交归一基 | {|e_i⟩} | 测量基底 |
| 完备性关系 | Σ|e_i⟩⟨e_i| = I | 基展开工具 |
| Born 规则 | P(a) = |⟨a|ψ⟩|² | 测量概率 |
第二部分:单量子比特系统
第3章 单 Qubit 的完整描述
3.1 教学目标
- 掌握单 qubit 态的参数化表示
- 理解 Bloch 球面与量子态的几何对应
- 熟练进行不同基底之间的转换
3.2 单 Qubit 的一般形式
一个单 qubit 纯态是二维复 Hilbert 空间中的单位向量。最一般的参数化形式为:
|ψ⟩ = cos(θ/2)|0⟩ + e^{iφ} sin(θ/2)|1⟩
其中:
- θ ∈ [0, π]:极角,决定 |0⟩ 和 |1⟩ 的概率分布
- φ ∈ [0, 2π):方位角,决定相对相位
推导 :
任意复数可以写成模长乘以相位:α = |α|e^{iφ_α}, β = |β|e^{iφ_β}
归一化条件要求 |α|² + |β|² = 1,故可设:
|α| = cos(θ/2), |β| = sin(θ/2)
提取全局相位 e^{iφ_α} 后,态变为:
|ψ⟩ = cos(θ/2)|0⟩ + e^{i(φ_β-φ_α)} sin(θ/2)|1⟩
定义 φ = φ_β - φ_α 即可得到标准形式。
概率分布:
- P(0) = cos²(θ/2)
- P(1) = sin²(θ/2)
特殊情况:
- θ = 0:|ψ⟩ = |0⟩
- θ = π:|ψ⟩ = |1⟩
- θ = π/2, φ = 0:|ψ⟩ = (|0⟩+|1⟩)/√2 = |+⟩
- θ = π/2, φ = π:|ψ⟩ = (|0⟩-|1⟩)/√2 = |-⟩
- θ = π/2, φ = π/2:|ψ⟩ = (|0⟩+i|1⟩)/√2 = |+i⟩
- θ = π/2, φ = 3π/2:|ψ⟩ = (|0⟩-i|1⟩)/√2 = |-i⟩
3.3 Bloch 球面表示
Bloch 球面是单 qubit 态的完美几何表示。
构造 :
对于态 |ψ⟩ = cos(θ/2)|0⟩ + e^{iφ} sin(θ/2)|1⟩,定义 Bloch 向量:
r = (sin θ cos φ, sin θ sin φ, cos θ)
这是一个单位球面上的点。
基态的 Bloch 坐标:
- |0⟩ → (0,0,1)(北极)
- |1⟩ → (0,0,-1)(南极)
- |+⟩ → (1,0,0)(X 轴正向)
- |-⟩ → (-1,0,0)(X 轴负向)
- |+i⟩ → (0,1,0)(Y 轴正向)
- |-i⟩ → (0,-1,0)(Y 轴负向)
Pauli 矩阵与 Bloch 向量的关系 :
任意单 qubit 态的密度矩阵可以写成:
ρ = |ψ⟩⟨ψ| = (I + r·σ)/2
其中 σ = (X, Y, Z) 是 Pauli 矩阵向量。
几何意义:
- Z 轴:计算基 {|0⟩, |1⟩}
- X 轴:Hadamard 基 {|+⟩, |-⟩}
- Y 轴:Y 基 {|+i⟩, |-i⟩}
- 正交基在球面上是对径点
- 幺正演化对应球面的旋转
3.4 相对相位与全局相位的几何区别
全局相位变换:
|ψ⟩ → e^{iγ}|ψ⟩
在 Bloch 球面上,全局相位不改变点的位置。这对应于密度矩阵的不变性:e{iγ}|ψ⟩⟨ψ|e{-iγ} = |ψ⟩⟨ψ|。
相对相位变换:
α|0⟩ + β|1⟩ → α|0⟩ + e^{iφ}β|1⟩
这会改变 Bloch 点的方位角 φ,从而改变点在球面上的位置(除非点在 Z 轴上)。
关键例子 :
态 |+⟩ = (|0⟩+|1⟩)/√2 和 |-⟩ = (|0⟩-|1⟩)/√2 在 Bloch 球面上分别位于 X 轴正向和负向,相差 180°。尽管它们在计算基下的测量概率完全相同(都是 50% |0⟩, 50% |1⟩),但它们是不同的态,可以通过 Hadamard 门转换后区分。
3.5 基变换:不同表示之间的转换
量子信息中经常需要在不同基底之间切换。让我们系统学习基变换的方法。
从计算基到 Hadamard 基:
|+⟩ = H|0⟩ = (|0⟩+|1⟩)/√2
|-⟩ = H|1⟩ = (|0⟩-|1⟩)/√2
逆变换:
|0⟩ = H|+⟩ = (|+⟩+|-⟩)/√2
|1⟩ = H|-⟩ = (|+⟩-|-⟩)/√2
任意态在 Hadamard 基下的展开 :
给定 |ψ⟩ = α|0⟩ + β|1⟩,求其在 {|+⟩, |-⟩} 基下的系数:
|ψ⟩ = γ|+⟩ + δ|-⟩
方法:利用内积
γ = ⟨+|ψ⟩ = (⟨0|+⟨1|)/√2 (α|0⟩+β|1⟩) = (α+β)/√2
δ = ⟨-|ψ⟩ = (⟨0|-⟨1|)/√2 (α|0⟩+β|1⟩) = (α-β)/√2
验证归一化:
|γ|² + |δ|² = |α+β|²/2 + |α-β|²/2
= (|α|² + α*β + αβ* + |β|² + |α|² - α*β - αβ* + |β|²)/2
= |α|² + |β|² = 1
一般基变换公式 :
设 {|a₀⟩, |a₁⟩} 和 {|b₀⟩, |b₁⟩} 是两组正交归一基,变换矩阵 U 的元素为:
U_{ij} = ⟨b_i|a_j⟩
则基向量变换为:
|b_i⟩ = Σ_j U_{ij} |a_j⟩
态的系数变换为:
⟨b_i|ψ⟩ = Σ_j U_{ij} ⟨a_j|ψ⟩
3.6 单 Qubit 测量的深入理解
投影测量的一般理论 :
对于任意可观测量 M,其谱分解为:
M = Σ_m m P_m
其中 m 是本征值,P_m 是到本征空间的投影算符。
对于单 qubit,任何可观测量都可以写成 Pauli 矩阵的线性组合:
M = a I + b X + c Y + d Z
常见测量的投影算符:
-
计算基测量(Z 测量):
P₀ = |0⟩⟨0| = (1 0)
(0 0)
P₁ = |1⟩⟨1| = (0 0)
(0 1) -
Hadamard 基测量(X 测量):
P_+ = |+⟩⟨+| = 1/2 (1 1)
(1 1)
P_- = |-⟩⟨-| = 1/2 (1 -1)
(-1 1) -
Y 基测量:
P_{+i} = |+i⟩⟨+i| = 1/2 (1 -i)
(i 1)
P_{-i} = |-i⟩⟨-i| = 1/2 (1 i)
(-i 1)
测量的不确定性 :
对于态 |ψ⟩ = α|0⟩ + β|1⟩:
- 在 Z 基下测量:结果完全不确定如果 |α| = |β| = 1/√2
- 但在 X 基下测量同一个态:如果 φ=0,则必定得到 +
- 这说明"确定"与"不确定"依赖于测量基底的选择
3.7 练习与思考
练习 3.1
将态 |ψ⟩ = (√3/2)|0⟩ + (1/2)|1⟩ 写成标准 Bloch 参数形式,并找出其 Bloch 坐标。
解答 :
cos(θ/2) = √3/2 → θ/2 = π/6 → θ = π/3
sin(θ/2) = 1/2 一致
e^{iφ} = 1 → φ = 0
Bloch 坐标:r = (sin(π/3)cos0, sin(π/3)sin0, cos(π/3)) = (√3/2, 0, 1/2)
练习 3.2
证明:在 Bloch 球面上,正交态对应于对径点。
解答 :
设 |ψ⟩ 对应 (θ, φ),其正交态 |ψ_⊥⟩ 满足 ⟨ψ_⊥|ψ⟩ = 0。
由内积公式:⟨ψ_⊥|ψ⟩ = cos(θ_⊥/2)cos(θ/2) + e^{i(φ-φ_⊥)}sin(θ_⊥/2)sin(θ/2) = 0
解得:θ_⊥ = π - θ, φ_⊥ = φ + π
这正好是对径点的坐标。
练习 3.3
计算 |ψ⟩ = (|0⟩ + i|1⟩)/√2 在 X 基测量下得到 + 的概率。
解答 :
P(+) = |⟨+|ψ⟩|²
⟨+|ψ⟩ = (1/√2)(1,1) · (1/√2)(1, i)^T = (1+i)/2
|⟨+|ψ⟩|² = |1+i|²/4 = 2/4 = 1/2
练习 3.4
求一个单 qubit 门 U,使得 U|+⟩ = |0⟩ 且 U|-⟩ = |1⟩。
解答 :
这正是 Hadamard 门本身!因为 H|+⟩ = |0⟩, H|-⟩ = |1⟩。
验证:H = (1/√2)[1 1; 1 -1] 作用于 |+⟩ = [1;1]/√2 得 [1;0] = |0⟩。
3.8 本章小结
| 表示形式 | 表达式 | 参数 |
|---|---|---|
| 一般形式 | cos(θ/2)|0⟩+e^{iφ}sin(θ/2)|1⟩ | θ∈[0,π], φ∈[0,2π) |
| Bloch 向量 | (sinθ cosφ, sinθ sinφ, cosθ) | 单位球面 |
| 密度矩阵 | (I + r·σ)/2 | |r|=1 |
| 计算基 | α|0⟩+β|1⟩ | |α|²+|β|²=1 |
| Hadamard 基 | γ|+⟩+δ|-⟩ | |γ|²+|δ|²=1 |
第4章 单 Qubit 量子门
4.1 教学目标
- 掌握 Pauli 门、Hadamard 门、相位门的矩阵表示与 Dirac 表示
- 理解量子门作为 Bloch 球面上的旋转
- 学会计算量子门对任意态的作用
4.2 量子门的数学定义
量子门在数学上是幺正算符(Unitary Operator)。一个算符 U 是幺正的,当且仅当:
U† U = U U† = I
其中 U† 是 U 的共轭转置。
幺正性的重要推论:
- 保内积:⟨Uϕ|Uψ⟩ = ⟨ϕ|U†U|ψ⟩ = ⟨ϕ|ψ⟩
- 保范数:‖Uψ‖ = ‖ψ‖
- 可逆性:U^{-1} = U†
- 本征值的模为 1:U|λ⟩ = λ|λ⟩ ⇒ |λ| = 1
在 Dirac Notation 中,门的作用记为:
|ψ'⟩ = U|ψ⟩
线性性的关键作用 :
由于 U 是线性算符,对叠加态的作用可以"分配":
U(α|0⟩ + β|1⟩) = α U|0⟩ + β U|1⟩
这意味着我们只需要知道 U 对基态的作用,就能推导出它对任意态的作用。
4.3 Pauli 门详解
Pauli 门是单 qubit 门的基石,对应 Bloch 球面上绕坐标轴的旋转。
4.3.1 Pauli-X 门(NOT 门)
矩阵表示:
X = (0 1)
(1 0)
Dirac 表示:
X = |0⟩⟨1| + |1⟩⟨0|
作用效果:
X|0⟩ = |1⟩
X|1⟩ = |0⟩
X(α|0⟩+β|1⟩) = β|0⟩+α|1⟩
Bloch 球面解释 :
绕 X 轴旋转 π 角度(180°)。
外积形式的推导 :
我们想构造一个算符,把 |1⟩ 送到 |0⟩,|0⟩ 送到 |1⟩。
一个"从 |1⟩ 到 |0⟩"的算符可以写成 |0⟩⟨1|,因为它作用于 |1⟩ 得 |0⟩⟨1|1⟩ = |0⟩,作用于 |0⟩ 得 |0⟩⟨1|0⟩ = 0。
同理,反向的算符是 |1⟩⟨0|。
两者相加即得 X = |0⟩⟨1| + |1⟩⟨0|。
重要性质:
- X² = I
- X 是 Hermitian 的:X† = X
- X 是幺正的:X† X = X² = I
- 本征值:+1(对应 |+⟩),-1(对应 |-⟩)
4.3.2 Pauli-Y 门
矩阵表示:
Y = (0 -i)
(i 0)
Dirac 表示:
Y = -i|0⟩⟨1| + i|1⟩⟨0|
作用效果:
Y|0⟩ = i|1⟩
Y|1⟩ = -i|0⟩
Y(α|0⟩+β|1⟩) = -iβ|0⟩ + iα|1⟩
Bloch 球面解释 :
绕 Y 轴旋转 π 角度。
为什么有 i?
Y 门引入了复数相位,这是实现某些量子算法(如 Grover 算法)的关键。复数相位使得 Y 门能够产生 X 门和 Z 门无法单独实现的干涉效应。
重要性质:
- Y² = I
- Y 是 Hermitian 的:Y† = Y
- Y 是幺正的:Y† Y = I
- 本征值:+1(对应 |+i⟩),-1(对应 |-i⟩)
- 关系:Y = iXZ
4.3.3 Pauli-Z 门(相位翻转门)
矩阵表示:
Z = (1 0)
(0 -1)
Dirac 表示:
Z = |0⟩⟨0| - |1⟩⟨1|
作用效果:
Z|0⟩ = |0⟩
Z|1⟩ = -|1⟩
Z(α|0⟩+β|1⟩) = α|0⟩ - β|1⟩
Bloch 球面解释 :
绕 Z 轴旋转 π 角度。
物理意义 :
Z 门只改变 |1⟩ 分量的符号(相位翻 π),不改变测量概率。但这种相位变化会在后续干涉中显现。
外积形式的推导 :
我们想保持 |0⟩ 不变,但给 |1⟩ 加上负号。
投影算符 |0⟩⟨0| 作用在 |0⟩ 得 |0⟩,作用在 |1⟩ 得 0。
投影算符 |1⟩⟨1| 作用在 |1⟩ 得 |1⟩,作用在 |0⟩ 得 0。
如果我们想要 Z|0⟩ = |0⟩, Z|1⟩ = -|1⟩,那么 Z = |0⟩⟨0| - |1⟩⟨1| 正好满足要求。
重要性质:
- Z² = I
- Z 是 Hermitian 的
- Z 是幺正的
- 本征值:+1(对应 |0⟩),-1(对应 |1⟩)
4.4 Hadamard 门深度剖析
Hadamard 门是量子计算中最重要的单 qubit 门,它是产生叠加态的关键。
矩阵表示:
H = 1/√2 (1 1)
(1 -1)
Dirac 表示:
H = 1/√2 (|0⟩⟨0| + |0⟩⟨1| + |1⟩⟨0| - |1⟩⟨1|)
作用效果:
H|0⟩ = (|0⟩+|1⟩)/√2 = |+⟩
H|1⟩ = (|0⟩-|1⟩)/√2 = |-⟩
H|+⟩ = |0⟩
H|-⟩ = |1⟩
Bloch 球面解释 :
Hadamard 门对应于绕 X+Z 轴(即 (1,0,1)/√2 方向)旋转 π。几何上,它将 Z 轴转到 X 轴,X 轴转到 Z 轴,Y 轴转到 -Y 轴。
Hadamard 门的"神奇"之处:
- 产生均匀叠加:将确定的计算基态变成等概率叠加态
- 自我可逆:H² = I,所以施加两次等于什么都没做
- 基变换:在计算基和 Hadamard 基之间转换
- 干涉显现:将相对相位转化为可观测的概率差异
对任意态的作用推导 :
设 |ψ⟩ = α|0⟩ + β|1⟩
H|ψ⟩ = α H|0⟩ + β H|1⟩
= α(|0⟩+|1⟩)/√2 + β(|0⟩-|1⟩)/√2
= (α+β)/√2 |0⟩ + (α-β)/√2 |1⟩
实例 :
若 |ψ⟩ = (|0⟩+i|1⟩)/√2,则:
H|ψ⟩ = (1+i)/2 |0⟩ + (1-i)/2 |1⟩
测量概率:
P(0) = |1+i|²/4 = 2/4 = 1/2
P(1) = |1-i|²/4 = 2/4 = 1/2
虽然原始态在计算基下也是等概率,但经过 H 门后,相位信息转化为了不同的概率幅组合。
4.5 相位门家族
相位门不改变基态的概率分布,只引入相对相位。
4.5.1 S 门(Phase Gate, P 门)
矩阵表示:
S = (1 0)
(0 i)
Dirac 表示:
S = |0⟩⟨0| + i|1⟩⟨1|
作用效果:
S|0⟩ = |0⟩
S|1⟩ = i|1⟩
S(α|0⟩+β|1⟩) = α|0⟩ + iβ|1⟩
Bloch 球面解释 :
绕 Z 轴旋转 π/2(90°)。
性质:
- S² = Z
- S⁴ = I
- S† = S³(因为 S 是幺正的,S† = S^{-1} = S³)
4.5.2 T 门(π/8 Gate)
矩阵表示:
T = (1 0)
(0 e^{iπ/4})
Dirac 表示:
T = |0⟩⟨0| + e^{iπ/4}|1⟩⟨1|
作用效果:
T|0⟩ = |0⟩
T|1⟩ = e^{iπ/4}|1⟩
名称由来 :
为什么叫 π/8 门?因为 e^{iπ/4} 可以写成关于 π/8 的形式:
T = e^{iπ/8} (e^{-iπ/8} 0)
(0 e^{iπ/8})
除去全局相位 e^{iπ/8},这相当于绕 Z 轴旋转 π/4。
在通用量子计算中的重要性 :
T 门与 H 门、CNOT 门一起构成通用门集合。任何幺正变换都可以用这些门以任意精度逼近。
4.5.3 一般相位门 R_z(θ)
定义:
R_z(θ) = e^{-iθZ/2} = (e^{-iθ/2} 0)
(0 e^{iθ/2})
除去全局相位 e^{-iθ/2},等价于:
(1 0)
(0 e^{iθ})
作用 :
给 |1⟩ 分量添加相位 e^{iθ},|0⟩ 分量不变。
特例:
- θ = π:R_z(π) = Z(忽略全局相位)
- θ = π/2:R_z(π/2) = S
- θ = π/4:R_z(π/4) = T
4.6 旋转算符与任意单 Qubit 门的实现
旋转算符的一般形式 :
绕轴 n = (n_x, n_y, n_z) 旋转角度 θ 的算符为:
R_n(θ) = exp(-i θ n·σ/2) = cos(θ/2) I - i sin(θ/2) (n_x X + n_y Y + n_z Z)
三个基本旋转:
R_x(θ) = (cos(θ/2) -i sin(θ/2))
(-i sin(θ/2) cos(θ/2))
R_y(θ) = (cos(θ/2) -sin(θ/2))
(sin(θ/2) cos(θ/2))
R_z(θ) = (e^{-iθ/2} 0)
(0 e^{iθ/2})
任意单 qubit 门的分解 :
任何单 qubit 幺正门 U 都可以分解为:
U = e^{iα} R_z(β) R_y(γ) R_z(δ)
这是 Z-Y-Z 分解。还有其他等价分解,如 X-Y-Z 等。
4.7 量子门的组合与电路恒等式
多个门依次作用时,数学上是从右向左乘:
U_3 U_2 U_1 |ψ⟩
表示先施加 U_1,再 U_2,最后 U_3。
常见恒等式:
- H X H = Z
- H Y H = -Y
- H Z H = X
- X Y X = -Y(反对易关系)
- X Z X = -Z
- S T S† = T†?实际上 S T S† = T† 不成立,但 S T S† 是某个旋转
推导 H X H = Z:
H X H = H (|0⟩⟨1|+|1⟩⟨0|) H
= H|0⟩⟨1|H + H|1⟩⟨0|H
= |+⟩⟨-| + |-⟩⟨+|
= 1/2(|0⟩+|1⟩)(⟨0|-⟨1|) + 1/2(|0⟩-|1⟩)(⟨0|+⟨1|)
= 1/2(|0⟩⟨0| - |0⟩⟨1| + |1⟩⟨0| - |1⟩⟨1|
+ |0⟩⟨0| + |0⟩⟨1| - |1⟩⟨0| - |1⟩⟨1|)
= |0⟩⟨0| - |1⟩⟨1| = Z
电路化简技巧 :
这些恒等式允许我们在不改变整体幺正变换的前提下,移动或消除某些门,从而优化量子电路。
4.8 练习与思考
练习 4.1
计算 X Z X |ψ⟩,其中 |ψ⟩ = α|0⟩ + β|1⟩。
解答:
X Z X |ψ⟩ = X Z (β|0⟩ + α|1⟩)
= X (β|0⟩ - α|1⟩)
= -α|1⟩ + β|0⟩
= β|0⟩ - α|1⟩
注意到 X Z X = -Z,所以结果应该是 -α|0⟩ + β|1⟩?等等,我们仔细算:
X(β|0⟩ - α|1⟩) = β X|0⟩ - α X|1⟩ = β|1⟩ - α|0⟩ = -α|0⟩ + β|1⟩。
而 -Z|ψ⟩ = -α|0⟩ + β|1⟩。一致!全局相位 -1 可忽略,所以 XZX 相当于 Z。
练习 4.2
证明 H S H 不是一个 Pauli 门,并找出它的矩阵表示。
解答:
H S H = 1/2 (1 1) (1 0) (1 1)
(1 -1) (0 i) (1 -1)
= 1/2 (1 1) (1 1)
(1 -1) (i -i)
= 1/2 (1+i 1-i)
(1-i 1+i)
这相当于 (X+Y)/√2?检查:1/√2 (X+Y) = 1/√2 [(0 1;1 0) + (0 -i;i 0)] = 1/√2 (0 1-i;1+i 0),不是这个。实际上 HSH = (I + iX)/√2?我们来对一下。
练习 4.3
求一个门序列,将 |0⟩ 转换为 (|0⟩ + i|1⟩)/√2。
解答 :
目标态是 |+i⟩。从 |0⟩ 出发,需要先绕 Y 轴旋转 -π/2?或者:H 门产生 |+⟩,然后 S 门产生 (|0⟩+i|1⟩)/√2?检查:
H|0⟩ = |+⟩
S|+⟩ = S(|0⟩+|1⟩)/√2 = (|0⟩+i|1⟩)/√2
正确!所以序列是 H 然后 S。
练习 4.4
解释为什么 X 门和 Z 门对易?(提示:计算 XZ 和 ZX)
解答 :
实际上 X 和 Z 是反对易 的!
X Z = (0 1;1 0)(1 0;0 -1) = (0 -1;1 0)
Z X = (1 0;0 -1)(0 1;1 0) = (0 1;-1 0)
所以 XZ = -ZX。它们反对易。这说明 X 和 Z 不能同时对易,不能同时对角化------这正是它们对应的可观测量互补(不确定性原理)的体现。
4.9 本章小结
| 门 | 矩阵 | Dirac 形式 | Bloch 旋转 |
|---|---|---|---|
| X | [0 1;1 0] | |0⟩⟨1|+|1⟩⟨0| | 绕 X 轴 π |
| Y | [0 -i;i 0] | -i|0⟩⟨1|+i|1⟩⟨0| | 绕 Y 轴 π |
| Z | [1 0;0 -1] | |0⟩⟨0|-|1⟩⟨1| | 绕 Z 轴 π |
| H | 1/√2[1 1;1 -1] | 1/√2(|0⟩⟨0|+|0⟩⟨1|+|1⟩⟨0|-|1⟩⟨1|) | 绕 X+Z 轴 π |
| S | [1 0;0 i] | |0⟩⟨0|+i|1⟩⟨1| | 绕 Z 轴 π/2 |
| T | [1 0;0 e^{iπ/4}] | |0⟩⟨0|+e^{iπ/4}|1⟩⟨1| | 绕 Z 轴 π/4 |