3. 狄拉克符号与线性代数工具
量子信息中的一切计算，最终都落在复向量空间上的线性代数。狄拉克符号（bra-ket notation）把这套线性代数写得极其紧凑：一个量子态写成右矢 |ψ⟩，它的共轭转置写成左矢 ⟨ψ|，两者相乘得到内积 ⟨φ|ψ⟩，反序相乘得到外积 |φ⟩⟨ψ|。本节的目标不是背符号，而是建立一套能直接用于量子比特计算、测量概率计算和算符谱分解的操作习惯。
一、右矢、左矢与内积：态与概率幅
在二维复向量空间中，一个量子比特的态写成列向量：
|ψ⟩ = α|0⟩ + β|1⟩ = [α, β]^T
⟨ψ| = (|ψ⟩)† = [α*, β*]其中 α, β 为复数，满足归一化条件 |α|² + |β|² = 1。右矢是列向量，左矢是行向量且元素取共轭，这一“共轭转置”关系是狄拉克符号的全部代数基础。内积定义为左矢作用于右矢：
⟨φ|ψ⟩ = φ₀*ψ₀ + φ₁*ψ₁内积给出一个复数，其模方 |⟨φ|ψ⟩|² 是“在态 φ 下测得态 ψ”的概率。正交性写作 ⟨0|1⟩ = 0，归一性写作 ⟨0|0⟩ = ⟨1|1⟩ = 1。计算基 {|0⟩, |1⟩} 构成一组正交归一基，任何单量子比特态都可以在这组基上展开。
内积的物理意义在测量中直接体现。若量子比特处于 |ψ⟩ = α|0⟩ + β|1⟩，在计算基下测量得到 0 的概率为 |⟨0|ψ⟩|² = |α|²，得到 1 的概率为 |⟨1|ψ⟩|² = |β|²。因此，内积不是抽象记号，而是概率幅的提取器。
二、外积：从态到算符的构造
外积 |φ⟩⟨ψ| 是一个算符（矩阵），它把任意态 |χ⟩ 映射为 |φ⟩⟨ψ|χ⟩，即先取 |χ⟩ 在 |ψ⟩ 方向上的投影分量，再把它放到 |φ⟩ 方向上。外积是构造投影算符和量子门的基本积木。
例如，计算基下的投影算符为：
P₀ = |0⟩⟨0| = [[1, 0], [0, 0]]
P₁ = |1⟩⟨1| = [[0, 0], [0, 1]]它们满足 P₀ + P₁ = I，且 P₀² = P₀、P₁² = P₁，这正是投影算符的幂等性。更一般地，任意正交归一基 {|i⟩} 都给出完备性关系 Σᵢ |i⟩⟨i| = I，这是插入恒等算符进行展开的核心技巧。
三、算符、本征值与本征态
量子门、可观测量、密度矩阵都是算符。算符 A 的本征方程写作：
A|v⟩ = λ|v⟩其中 λ 为本征值，|v⟩ 为对应的本征态。量子力学中可观测量对应厄米算符（A† = A），其本征值为实数，本征态构成正交归一基，可做谱分解：
A = Σᵢ λᵢ |i⟩⟨i|以 Pauli-Z 为例：
Z = [[1, 0], [0, -1]]
Z|0⟩ = +1·|0⟩，Z|1⟩ = -1·|1⟩本征值 +1 对应 |0⟩，本征值 -1 对应 |1⟩。测量 Z 时，可能结果就是这两个本征值，概率由态在各本征态上的投影模方给出。Pauli-X 的本征态则是 |+⟩ = (|0⟩+|1⟩)/√2 与 |−⟩ = (|0⟩−|1⟩)/√2，本征值分别为 +1 和 -1。这说明“测量哪个物理量”等价于“在哪个算符的本征基下展开态”。
四、在量子信息中的典型用法
狄拉克符号在量子信息中有几类高频操作。第一，用内积计算测量概率与保真度，例如两个态 |ψ⟩、|φ⟩ 的保真度为 |⟨φ|ψ⟩|²。第二，用外积构造投影测量算符，如 Mₘ = |m⟩⟨m|，测量后态坍缩到对应本征态。第三，用谱分解理解量子门的作用：任何酉算符都可以写成 U = Σₖ e^{iθₖ}|k⟩⟨k|，本征相位 θₖ 决定该门对各本征方向的相位旋转。第四，用完备性关系做基变换与路径求和，例如把 ⟨φ|A|ψ⟩ 插入一组基展开为 Σᵢ⟨φ|i⟩⟨i|A|ψ⟩。
下面这张图把本节的核心对象与它们之间的代数关系放在同一张结构图中：右矢与左矢通过共轭转置相连，内积与外积分别由“左乘右矢”和“右矢乘左矢”产生，算符通过本征方程与谱分解连接到本征值与本征态，最终落到量子信息中的测量概率与门作用。
五、一个可手算的完整示例
设量子比特处于 |ψ⟩ = (1/√2)|0⟩ + (i/√2)|1⟩。先验证归一化：|1/√2|² + |i/√2|² = 1/2 + 1/2 = 1。在计算基下测量，得到 0 的概率为 |⟨0|ψ⟩|² = 1/2，得到 1 的概率为 |⟨1|ψ⟩|² = |i/√2|² = 1/2。
再计算 Z 的期望值。利用谱分解 Z = (+1)P₀ + (−1)P₁，有：
⟨Z⟩ = ⟨ψ|Z|ψ⟩
= (+1)·|⟨0|ψ⟩|² + (−1)·|⟨1|ψ⟩|²
= 1/2 − 1/2 = 0期望值为 0，说明在 Z 基下测量结果 +1 与 −1 等概率出现。若换到 X 基，先求 ⟨+|ψ⟩ 与 ⟨−|ψ⟩：
⟨+|ψ⟩ = (1/√2)(1/√2) + (1/√2)(i/√2) = (1 + i)/2
⟨−|ψ⟩ = (1/√2)(1/√2) − (1/√2)(i/√2) = (1 − i)/2
|⟨+|ψ⟩|² = |(1+i)/2|² = 1/2
|⟨−|ψ⟩|² = |(1−i)/2|² = 1/2可见该态在 X 基下也是等概率的。这个例子说明：同一个态在不同算符的本征基下展开，会得到不同的概率分布；选择哪个基，取决于你要测量哪个可观测量。
Σ|i⟩⟨i| = I 做基展开。最后检查归一化、正交性和本征方程是否成立。这三步能覆盖绝大多数手算与推导场景。
⟨φ|ψ⟩ 与 ⟨ψ|φ⟩ 混为一谈。两者互为共轭，⟨ψ|φ⟩ = ⟨φ|ψ⟩*，只有在内积为实数时才相等。另一个高频错误是忘记左矢取共轭，导致概率计算出错。此外，外积 |φ⟩⟨ψ| 是算符而非数，不能与内积混淆。
六、从符号到量子信息工作流
在量子信息实践中，狄拉克符号贯穿以下工作流：制备态 |ψ⟩ → 施加酉算符 U 得到 U|ψ⟩ → 选择测量算符 M = Σₘ m Pₘ → 计算各结果概率 pₘ = ⟨ψ|Pₘ|ψ⟩ → 读取本征值 m 作为测量结果。每一步都可以用本节的内积、外积、谱分解工具直接写出。掌握这套符号，后续的纠缠态、密度矩阵、量子门分解和量子算法分析才有统一的表达语言。