可观测量:为什么必须是厄米矩阵
可测量的量,本征值必须是实数
测量的结果是一个实数:屏幕上的 0 或 1,谱仪上的一个频率。可量子力学的算符一般由复数组成。要把「读数」写成矩阵,就得先解决一个矛盾:一个满是复数的矩阵,凭什么保证每次读出来都是实数?
厄米:让读数落在实轴上
答案是共轭对称:A=A†,这样的矩阵叫厄米矩阵。设 A|a⟩=a|a⟩,两边左乘 ⟨a|,得到
右边等于自己的共轭(因为 A=A†),左边是 a 乘一个正实数,于是 a=a*,本征值只能是实数。
顺带还得到第二条:不同本征值的本征向量彼此正交。这两条合起来,测量才有定义——结果只能落在本征值上,而一组正交本征向量正好当测量基。
测量就是挑一组本征向量
沿 z 测一个比特,选的是 Z 的本征向量 |0⟩ 与 |1⟩,本征值 +1 与 −1。得到某个结果的概率是投影的模平方,多次测量的平均是
泡利矩阵是最小的例子:X、Y、Z 都厄米又酉,本征值都是 ±1,本征向量两两正交,对应布洛赫球的三个轴。换一个测量基,就是换一组本征向量:测 X 基,等价于先做一次 H 再测 Z。
期望值要小心读。|+⟩ 上测 Z,每次只能得 +1 或 −1,期望却是 0。期望是平均,不是「最可能的读数」,更不是「每次都会得到的值」。方差同理:它衡量读数散得多开,不描述某一次偏离多少。
非厄米的矩阵为什么不行?它的本征值可以是复数,读数找不到对应的物理量;本征向量也未必正交,按它们展开的系数不能保证给出「求和为 1 的非负概率」。厄米不是数学家的洁癖,是「读数为实数、概率能归一」的最小要求。
期望值是 0,说明每次测量都会读到 0,或者说明这个量根本没有确定值、测了也没意义。
|+⟩ 上测 Z,每次读数只能是 +1 或 −1,期望 0 是大量结果的平均;单次总有确定读数,只是不同次可以不同。
期望值是统计量,把它当成单次预言,是概率论里最常见的滑步。
一句话结论
可观测量写成厄米矩阵,因为它给出的读数必须是实数;厄米保证本征值为实、本征向量正交,于是「测量结果只能是某个本征值」这句话才站得住。期望值 ⟨ψ|A|ψ⟩ 是多次读数的平均,不是对单次的预言。选测量基,就是选一组本征向量。
本节自测 · 3 题
未作答
01态 |+⟩ 上沿 z 轴测 Z,单次结果与期望值分别是什么?
解析 · Z 的本征值只有 +1 与 −1,所以每次读数必然是其中之一,各一半概率;期望值是加权平均,正好抵消为 0。期望 0 不等于单次读 0——0 根本不是 Z 的本征值;「期望无法计算」与事实相反,态给定时期望是确定的。
02为什么可观测量必须用厄米矩阵表示?
解析 · 读数必须是实数,本征值就必须是实数;概率要能归一,本征向量就必须两两正交。计算速度与物理无关;任何矩阵都能作用在向量上,能不能表示测量是另一回事;「所有矩阵都厄米」明显不对,例如 [[0,1],[0,0]] 就不厄米。
03某个可观测量的本征值是 1 和 3,测得 1 的概率为 1/4。它的期望值是多少?
解析 · 期望值等于各本征值按概率加权:1×(1/4)+3×(3/4)=2.5。1.5 与 2 都像是把概率当成了别的比例,比如各一半会得到 2;3 是把「概率最大的结果」当成了期望,而期望不要求取到某个本征值。