量子计算Dirac Notation基本教学—从零基础到读懂量子信息论文(上)

第一部分:导论与数学基础

第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⟩

这个表达式同时传达了:

  1. |ψ⟩ 是一个向量
  2. 它由基态 |0⟩ 和 |1⟩ 张成
  3. 它在 |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 带来了可观测的干涉效应。

复数在量子力学中的角色

  1. 振幅:|α| 决定概率大小
  2. 相位:arg(α) 决定干涉行为
  3. 全局相位:e^{iθ}|ψ⟩ 与 |ψ⟩ 物理等价
  4. 相对相位:α|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⟩} 构成正交归一基,如果:

  1. 正交性:⟨e_i|e_j⟩ = 0 当 i ≠ j
  2. 归一性:⟨e_i|e_i⟩ = 1
  3. 完备性:任何向量都可以表示为它们的线性组合

计算基

复制代码
{|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

常见测量的投影算符

  1. 计算基测量(Z 测量):

    P₀ = |0⟩⟨0| = (1 0)
    (0 0)
    P₁ = |1⟩⟨1| = (0 0)
    (0 1)

  2. Hadamard 基测量(X 测量):

    P_+ = |+⟩⟨+| = 1/2 (1 1)
    (1 1)
    P_- = |-⟩⟨-| = 1/2 (1 -1)
    (-1 1)

  3. 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 的共轭转置。

幺正性的重要推论

  1. 保内积:⟨Uϕ|Uψ⟩ = ⟨ϕ|U†U|ψ⟩ = ⟨ϕ|ψ⟩
  2. 保范数:‖Uψ‖ = ‖ψ‖
  3. 可逆性:U^{-1} = U†
  4. 本征值的模为 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 门的"神奇"之处

  1. 产生均匀叠加:将确定的计算基态变成等概率叠加态
  2. 自我可逆:H² = I,所以施加两次等于什么都没做
  3. 基变换:在计算基和 Hadamard 基之间转换
  4. 干涉显现:将相对相位转化为可观测的概率差异

对任意态的作用推导

设 |ψ⟩ = α|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。

常见恒等式

  1. H X H = Z
  2. H Y H = -Y
  3. H Z H = X
  4. X Y X = -Y(反对易关系)
  5. X Z X = -Z
  6. 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

相关推荐
无巧不成书02183 小时前
Java变量初始化全攻略:2026最新规范+新手避坑实战
java·开发语言·java基础·java变量初始化·java语法规范·var关键字
Agent产品评测局3 小时前
企业 IT 运维自动化落地,故障处理全流程实现方法:2026智能体驱动下的运维架构演进与实战解析
运维·人工智能·ai·chatgpt·架构·自动化
历程里程碑3 小时前
Protobuf vs JSON vs XML:小白该怎么选?
xml·大数据·数据结构·elasticsearch·链表·搜索引擎·json
Highcharts.js3 小时前
企业级可视化生态系统|关于Highcharts集成的前端框架、后端编程语言与生态
开发语言·javascript·python·前端框架·编辑器·编程语言·highcharts
我头发多我先学3 小时前
C++ STL list 原理到模拟实现
开发语言·c++·list
半瓶榴莲奶^_^3 小时前
树--数据结构
数据结构
小肝一下3 小时前
每日两道力扣,day7
数据结构·c++·算法·leetcode·双指针·hot100·接雨水,四数之和
学嵌入式的小杨同学3 小时前
STM32 进阶封神之路(四十)FreeRTOS 队列、信号量、互斥锁精讲|任务通信、同步、资源保护(超详细图文版)
c++·stm32·单片机·嵌入式硬件·mcu·架构·硬件架构
A懿轩A3 小时前
【2026 最新】JDK 下载与安装:在 macOS 下使用 Homebrew 和 jenv 完美管理多版本 JDK
java·开发语言·jdk·mac