23.1 相干态与海森堡群作用

概念链接 · 机器稿中出现的术语;来源角色尚未核验: 伴随算子 · 特征值 · 李代数 · 李代数表示 · 酉表示 · 不可约表示 · 李群 · 群在集合上的作用 · 李括号 · 复化

由于 谐振子的哈密顿算子与给出李代数 在状态空间 上的表示的算符 a 或 不对易,海森堡李群及其李代数不是该系统的对称性。能量本征态并不分解为该群的不可约表示,而是整个状态空间构成这样一个不可约表示。然而,谐振子的状态空间确实有一个特殊的态,即最低能量态 |0⟩,人们可以问这个态在海森堡群作用下会发生什么。

复化海森堡李代数 的元素可写为

对于 中的 (选择 的这一方式简化了后续公式)。李代数 是实函数的子空间,这些实函数将是具有以下形式的函数

对于和。李代数结构由泊松括号给出

这里将与等同起来,元素可以写成对的形式,并带有李括号

这只是第13章中讨论的元素标记法的一种变体,人们同样可以使用指数坐标,将海森堡群的元素也写成这样的对,其群法则为

使用方程 22.5 进行量子化,得到李代数表示 ,其算符对应于 的元素

并将这些取指数将给出酉表示

我们定义算符

它们满足(使用贝克-坎贝尔-豪斯多夫公式)

于是

而算符 给出一个表示,因为它们满足

作用于|0⟩并施加得到:

定义(相干态)

中的相干态是满足以下条件的态

其中

使用贝克-坎贝尔-豪斯多夫公式

因此

并且由于 ,这变为

由于

而这一性质可作为相干态的等价定义。在相干态中,a 的期望值是

因此

注意,相干态是不同态 的叠加,因此不是粒子数算符 的特征向量,也不描述具有固定(甚至有限)量子数的态。它们是以下算符的特征向量

特征值为,因此可以尝试将视为一个复数,其实部给出位置,虚部给出动量。这并不导致违反海森堡不确定性原理,因为它不是自伴算符,因而也不是可观测量。然而,这类态对于描述某些类型的物理现象非常有用,例如激光束的态,其中(对于电磁场的每个动量分量)并不具有确定的光子数,但确实具有确定的振幅和相位。

题外话(自旋相干态)。可以施行类似的构造,将群 替换为群 ,并将态 |0⟩ 替换为自旋为 的不可约表示 的最高权向量。将这样的最高权向量记作 ,我们有

并且我们可以通过用中的元素作用于来构造一族自旋相干态。如果我们将该族中仅相差一个相位的态视为等同,则这些态由一个球面参数化。

对于 的情形,这正是第 节中的布洛赫球构造,其中我们取 作为最高权向量。在这种情况下,表示空间 中的所有态都是自旋相干态(将仅相差标量乘法的态视为等同)。对于更大的 值, 中只有一部分态会是自旋相干态。

来源与版本

正文:中文 · 机器译稿 · 待校对

核对状态:机器译稿 · 待校对

原书 PDF · 印刷页 254、255、256、257、258、259、260、261、262、263、264、265

来源版本:2025-10-20

来源 PDF SHA-256:5a1941b2443b54d5db3d055f1e5ba390429b7a728475258017aaac87ee85a837

OCR 来源 SHA-256:7bcb3e44c7470c65c521cd1e2d9ca20b16ba8429042c359829e553e80d104203

译稿产物 SHA-256:ebe0b27fe306b97424c95479e6f1bc00918826536659035af4f91b5a2c964ada

机翻模型:deepseek-v4.1-flash