2. 量子测量基础回顾

在进入寄存器测量之前,有必要把量子力学中最容易被“跳过”的一环重新讲清楚:测量到底发生了什么。很多初学者在 Qiskit 里写 measure 时,把它当成“读取一个变量”,但量子测量并不是被动读取,而是一次会改变系统状态的物理过程。理解这一点,后面理解“为什么测量寄存器会破坏叠加”“为什么条件控制必须放在测量之后”才有根基。

一、测量公设:一次测量由一组测量算符描述

量子测量公设的表述是:对量子系统的一次测量,由一组测量算符 {M_m} 描述,下标 m 表示可能的测量结果。这组算符必须满足完备性关系:

Σ_m  M_m† M_m = I

其中 I 是单位算符。完备性保证了所有可能结果的概率之和为 1。设测量前系统处于状态 |ψ⟩,则得到结果 m 的概率为:

p(m) = ⟨ψ| M_m† M_m |ψ⟩

而一旦得到结果 m,系统的状态立即更新为:

|ψ_m⟩ = M_m |ψ⟩ / √p(m)

这个“更新”就是坍缩的严格数学表达。注意分母 √p(m) 的作用是重新归一化,使测量后的态仍然是单位向量。公设里没有任何“观察者意识”的成分,它只是一条关于概率与状态更新的规则。

二、计算基测量:投影测量算符的具体形式

在量子计算中,最常用的是计算基(Z 基)测量。对单个量子比特,测量算符取两个投影算符:

M_0 = |0⟩⟨0| = [[1, 0],
                [0, 0]]

M_1 = |1⟩⟨1| = [[0, 0],
                [0, 1]]

它们满足 M_0†M_0 + M_1†M_1 = I,因为投影算符是厄米的且幂等。把任意态 |ψ⟩ = α|0⟩ + β|1⟩ 代入概率公式:

p(0) = |α|²,   p(1) = |β|²

这正是我们熟悉的“振幅模平方即概率”。测量后,若结果为 0,态变为 |0⟩;若结果为 1,态变为 |1⟩。也就是说,计算基测量会把叠加态“压”到某一个基态上,原来的相位信息 α、β 的相对关系在单次测量结果中不再可见。

计算基测量是投影测量的一种特例。投影算符满足 P² = P 且 P† = P,因此重复测量同一基不会改变已经得到的结果——这就是“测量后再测量结果不变”的来源。

三、测量概率与坍缩:用具体例子走一遍

考虑一个经过 Hadamard 门后的单量子比特:

|ψ⟩ = H|0⟩ = (|0⟩ + |1⟩)/√2

此时 α = β = 1/√2,于是 p(0) = p(1) = 0.5。若我们在 Qiskit 中对该电路执行 1024 次采样(shots),理论上会看到 0 和 1 各约 512 次。这是统计意义上的期望,单次运行只给出一个确定结果。

更值得关注的是坍缩对后续操作的影响。假设电路是“H 门 → 测量 → 再作用一个 H 门”。测量后态已坍缩为 |0⟩ 或 |1⟩,再作用 H 门会得到 |+⟩ 或 |−⟩,两者在 Z 基测量下都各有一半概率给出 0 或 1。若不做中间测量,两次 H 门会相互抵消,最终恒为 |0⟩。这个对比说明:测量不是“看一眼”,而是切断了原有的相干性。

下面这张图把“测量前叠加—概率分支—坍缩后状态—后续演化”这条链路画在一起,帮助把公设中的概率与状态更新对应到具体电路行为上。

计算基测量:概率分支与状态坍缩 测量前状态 |ψ⟩ = α|0⟩ + β|1⟩ 例:H|0⟩,α=β=1/√2 测量算符 M₀=|0⟩⟨0|,M₁=|1⟩⟨1| Σ Mₘ†Mₘ = I 结果 0 p(0)=|α|²=0.5 坍缩为 |0⟩ 结果 1 p(1)=|β|²=0.5 坍缩为 |1⟩ 后续演化 再作用 H:|0⟩→|+⟩,|1⟩→|−⟩ 关键结论 测量切断相干性,叠加不再保留 概率由振幅模平方给出;坍缩后状态按 Mₘ|ψ⟩/√p(m) 重新归一化

四、从单比特到寄存器:为什么必须先讲清公设

把上述规则推广到 n 个量子比特,计算基测量就是 2ⁿ 个投影算符 M_x = |x⟩⟨x|,其中 x 是长度为 n 的比特串。对态 |ψ⟩ = Σ_x α_x |x⟩,测量得到比特串 x 的概率是 |α_x|²,测量后态坍缩为 |x⟩。

这里有一个在寄存器测量中非常关键的细节:测量整个寄存器与逐个测量每个比特,在计算基下结果分布相同,因为 |x⟩⟨x| 可以分解为各比特投影算符的张量积。但一旦涉及非计算基测量、或测量后还要继续做条件操作,这个等价性就不再无条件成立。理解单比特公设,正是为了在寄存器层面判断“哪些操作可以交换、哪些不能”。

实际写 Qiskit 代码时,测量公设对应到两个可观察量:一是 shots 采样得到的计数分布,用来估计 p(m);二是测量后电路状态的改变,它决定了后续门操作作用在什么态上。前者是统计层面的验证,后者是逻辑层面的约束。二者缺一,对测量的理解就是不完整的。

常见误区:认为“测量只是把结果记录下来,态不变”。在量子计算中,测量后的态必须按公设更新;如果后续还有受控门或条件分支,忽略坍缩会导致对电路行为的错误预期。

小结本节的三条主线:测量由满足完备性的算符组描述;计算基测量用投影算符给出 |α|² 的概率;测量后状态按 M_m|ψ⟩/√p(m) 坍缩。掌握这三条,才能在下一层把“寄存器测量”理解为对一组比特串的概率分布采样,并进一步理解条件控制为何必须以测量结果为前提。