2. 量子态的表征与数学工具

在量子态制备、操控与测量的工程实践中，第一步往往不是“造一个量子态”，而是“把量子态写清楚”。一个量子比特在实验室里可能表现为超导transmon的能级布居、离子阱的电子能级、光子的偏振方向，但要让这些物理对象可计算、可比较、可验证，就必须把它们映射到统一的数学表征上。本节围绕五种核心工具展开：态矢量、密度矩阵、布洛赫球、纠缠度量与演化算符。它们不是并列的五个名词，而是从“纯态描述”到“混合态描述”、从“单比特几何直观”到“多比特关联量化”、再到“时间演化计算”的一条完整表征链。

态矢量：纯态的最简描述

一个量子比特的纯态可以写成二维复希尔伯特空间中的单位矢量：

|ψ⟩ = α|0⟩ + β|1⟩,   |α|² + |β|² = 1

其中 α、β 为复数，|0⟩ 和 |1⟩ 是计算基。工程上常把 α、β 写成幅度与相位的形式，例如 α = cos(θ/2)、β = e^{iφ} sin(θ/2)。这里 θ 和 φ 正是后面布洛赫球的两个角度。态矢量的全局相位不可观测，但相对相位 φ 可观测，它决定了后续操控中干涉项的正负。例如制备 |+⟩ = (|0⟩+|1⟩)/√2 时，若实际写成 (|0⟩−|1⟩)/√2，虽然布居测量结果相同，但在后续 Hadamard 门后一个得到 |0⟩、另一个得到 |1⟩，说明相对相位必须被正确表征和控制。

密度矩阵：从纯态到混合态

当量子态不是已知的单一态矢量，而是以概率 p_i 处于若干纯态 |ψ_i⟩ 的统计混合时，态矢量不再够用，需要密度矩阵：

ρ = Σ_i p_i |ψ_i⟩⟨ψ_i|,   Tr(ρ)=1, ρ†=ρ, ρ≥0

纯态满足 Tr(ρ²)=1，混合态满足 Tr(ρ²)<1。密度矩阵的对角元给出布居，非对角元给出相干性。例如一个退相干后的单比特态可写成 ρ = (1/2)(I + r_x X + r_y Y + r_z Z)，其中 r=(r_x,r_y,r_z) 是布洛赫矢量。若 r_z=0.6、r_x=r_y=0，则布居为 0.8 和 0.2，相干性为零，这是一个典型的混合态。密度矩阵的价值在于：它既能描述制备误差、退相干和测量统计，也能直接用于计算任意可观测量期望值 ⟨O⟩=Tr(ρO)。

布洛赫球：单比特状态的几何地图

对单量子比特，任意密度矩阵都可参数化为 ρ = (I + r·σ)/2，其中 σ=(X,Y,Z)，r 是三维实矢量，|r|≤1。纯态对应球面 |r|=1，混合态对应球内 |r|<1，完全混合态对应球心 r=0。布洛赫球把抽象的复系数变成了可看的几何量：θ 是极角，φ 是方位角，r 的长度表示纯度。工程上，态制备的目标常常就是“把布洛赫矢量驱动到某个目标点”，例如把 |0⟩ 驱动到 |+⟩ 对应从北极转到赤道 +X 方向；而退相干表现为 r 向球心收缩。下面这张图给出单比特状态在布洛赫球上的几何关系，以及密度矩阵参数与球坐标的对应。

纠缠度量：多比特关联的量化

当系统扩展到两个或多个量子比特，态矢量不再能写成各自态矢量的直积时，就出现了纠缠。对两比特纯态，常用冯·诺依曼熵度量纠缠：先对其中一个比特求偏迹得到约化密度矩阵 ρ_A，再计算 S(ρ_A)=−Tr(ρ_A log₂ ρ_A)。若 S=0，说明是直积态；若 S=1，说明是最大纠缠态，如贝尔态 (|00⟩+|11⟩)/√2。对混合态，纠缠度量更复杂，常用纠缠形成度（concurrence）或负度（negativity）。工程上，纠缠度量的意义在于：它把“两个比特是否真正关联”变成一个可计算、可比较的数值，用于判断制备出的贝尔态质量、验证纠缠交换是否成功，以及评估退相干对关联的破坏程度。

演化算符：状态如何随时间变化

量子态不是静止的。封闭系统的时间演化由薛定谔方程给出，其解可写成 |ψ(t)⟩=U(t)|ψ(0)⟩，其中 U(t)=e^{−iHt/ħ} 是演化算符。U 必须是幺正的，即 U†U=I，这保证了态矢量的归一化。对密度矩阵，演化写成 ρ(t)=Uρ(0)U†。工程上，操控量子态就是设计合适的 H 或 U：例如用共振微波脉冲驱动超导比特，等效于绕 X 轴或 Y 轴旋转；用两个比特的耦合项实现 CNOT 门。若考虑退相干，则不能只用幺正演化，而要用主方程或 Kraus 算符描述，此时 ρ 的纯度会下降，布洛赫矢量会向球心收缩。因此，演化算符与密度矩阵、布洛赫球是同一件事的三种视角：算符给出变换规则，密度矩阵给出当前状态，布洛赫球给出几何图像。

一个可复现的表征示例

假设我们要制备并验证单比特态 |+⟩。目标态矢量为 (|0⟩+|1⟩)/√2，对应布洛赫矢量 r=(1,0,0)。实际操作中，先通过 X 旋转将 |0⟩ 转到 |+⟩，再分别测量 X、Y、Z 三个基下的期望值。若测得 ⟨X⟩≈0.98、⟨Y⟩≈0.02、⟨Z⟩≈0.01，则 r≈(0.98,0.02,0.01)，|r|≈0.98，说明制备接近纯态且方向正确。若测得 ⟨X⟩≈0.60、⟨Y⟩≈0.01、⟨Z⟩≈0.02，则 |r|≈0.60，说明态已明显退相干，需要检查脉冲时序、环境噪声或测量链路的相干性。这个例子说明：态矢量给出目标，密度矩阵和布洛赫球给出可测量，演化算符给出实现路径，纠缠度量则在多比特情形下把关联变成可判断的数值。

把五种工具放在一起看，它们的分工是清晰的：态矢量适合描述理想纯态和推导；密度矩阵适合描述真实混合态、退相干和测量统计；布洛赫球适合单比特的几何直觉和快速判读；纠缠度量适合多比特关联的量化与验证；演化算符适合描述操控和时间的介入。实际工程中，往往先用态矢量定义目标，再用演化算符设计操控，用密度矩阵和布洛赫球分析实际状态，最后用纠缠度量判断多比特关联是否达标。掌握这套表征语言，后续的态制备、门操控和测量层析才有共同的计算基础。