一个比特处在「一半概率 |0⟩、一半概率 |1⟩」的混合里;另一个比特处在 |+⟩。沿 z 轴测量,两者都是各一半,读数一模一样。换成沿 x 轴测量,一个仍然各半,另一个百分之百给 +。同样的 z 统计,不同的物理状态——密度矩阵就是为这件事准备的。
一个矩阵,两个数
ρ=i∑pi∣ψi⟩⟨ψi∣
它把「以概率 pᵢ 处于 |ψᵢ⟩」写进一个对象。三条性质:迹为 1(总概率),厄米(读数才是实数),半正定(概率不为负)。它给出的预测是一个数:对测量算符 M,结果是 Tr(ρM)。
纯态与混态用一个数分开:纯度 Tr(ρ2)。纯态等于 1,混态小于 1;单比特的下限是 1/2,对应 ρ=I/2。布洛赫球上,纯态在球面,混态在球内,球心就是 I/2。
部分迹:把不看的比特求和掉
只关心两个比特里的一个,就把另一个的自由度「求和掉」,这个操作叫部分迹:ρA=TrBρAB。Bell 态做完得到 I/2——单个比特没有纯态可写,关于它的信息都在关联里。
同一个矩阵,好几种来源
ρ 不记录它是怎么被造出来的。掷硬币选 |0⟩ 或 |1⟩ 得到 I/2;从 Bell 态里只看一半,也得到 I/2。任何只在这半个系统上做的测量,都分不出这两者。
这不是漏洞,而是 ρ 的定位:它回答「测什么会得到什么」,不回答「怎么造的」。也正因为如此,混态完全可以来自真实的无知(制备噪声),也可以来自纠缠;同一个 ρ 允许两种故事。想知道手上这一份究竟是哪一种,必须去看更大的系统,而不是盯着这半个。
叠加与混合在换基后怎么分家,第 03 篇的混态一节用 H 门做了完整对照;这里只留形式结论:ρ 相同,所有本地统计就相同。
✕密度矩阵只是把「我可能处于这几种态」记下来,所以它纯粹是主观的记账。
✓ρ 决定所有测量的统计 Tr(ρM);不同制备只要给出同一个 ρ,就没有任何本地测量能区分。主观的是「制备故事」,不是预测。 ρ 是客观的预测工具,但「客观」不等于「与无知无关」:制备噪声本身就是一种真实的无知。
一句话结论密度矩阵把「以什么概率处于什么态」写成一个矩阵:迹为 1、厄米、半正定;纯态的 Tr(ρ2) 等于 1,混态小于 1。部分迹给出子系统的状态,纠缠留下的指纹就是 I/2。它不记录制备故事,只回答「任何测量会给出什么」;而「混态从哪来」既可能是制备噪声,也可能是纠缠——这正是第 03 篇混态一节要分开的事。
01单比特的密度矩阵是 I/2,它的纯度 Tr(ρ²) 等于多少?
解析 · ρ=I/2 是 2×2 的单位矩阵乘一半,平方得 I/4,取迹是 2×(1/4)=1/2。1 是纯态的纯度;1/4 来自只算了一个对角元;0 不可能,因为迹为 1 的矩阵平方的迹至少是 1/2。
02哪个测量能把「一半 |0⟩、一半 |1⟩」的混合与 |+⟩ 分开?
解析 · 两者在 z 基都是各一半,所以 z 轴上看不出区别;沿 x 测量时 |+⟩ 百分之百给 +,I/2 仍然各半,差别立刻显形。X 门把 z 轴翻成 −z 轴,测的还是同一个方向,混合态过完 X 仍是 I/2,什么也没变;「任何测量都分不开」正好与事实相反。
03从 Bell 态里取一个比特,它的约化密度矩阵是 I/2。这说明什么?
解析 · 一半是 I/2,正是最大纠缠的标志:本地任何方向测都是各半,没有相位信息留下,全部信息都在联合态里。它不是制备失误,纠缠态本来就该这样;「没有关联」与 Bell 态的定义直接矛盾;纯度为 1 与 I/2 的纯度恰好相反。