在量子力学中,波函数在相差一个相位的意义下才有定义。在大多数情况下,这个相位被当作无关紧要的因子而忽略。Berry(1984)指出,如果系统经历绝热变化,那么该相位可能会产生可观测的效应。

10.6.1 贝里相位的推导

设 为一个哈密顿量,它依赖于若干参数,这些参数统记为 。假设 随时间绝热地变化,即 。此时薛定谔方程为

我们假设系统在 时处于第 个本征态,即 ,其中

那么在较晚的时刻 ,态 又如何呢?我们假设系统始终处于第 个态,也就是说,不发生能级交叉(绝热假设)。

对 的一个朴素猜测是

其中归一化态 满足

证明 (10.131) 不是 (10.129) 的解。

既然 (10.131) 不满足薛定谔方程,我们就必须尝试其他可能。让我们在波函数中引入一个额外的相位 :

把 (10.133) 代入薛定谔方程 式 (10.129),可得

左边(见 (10.132))为

令二者相等,即可发现 满足

对 (10.134) 积分,得到

其中 表示 空间中的梯度。注意 是实数,因为

假设系统在 空间中走完一个闭合回路,即对某个 有 。于是我们有

由于 ,最后一个表达式似乎应当为零。然而,被积函数未必是全导数, 可能并不为零。相位 称为贝里相位(Berry 1984)。

最先认识到贝里相位背后深刻的几何意义的是 Simon(1983)。他指出,贝里相位的起源可归结为参数空间中的和乐。下面我们按照 Berry(1984)、Simon(1983)、Aitchison(1987)和 Zumino(1987)的思路来阐明这一观点。

10.6.2 贝里相位、贝里联络与贝里曲率

设 是描述参数空间的流形, 为局部坐标。在 的每一点 处,我们考虑哈密顿量 的第 个归一化本征态。由于量子态 与 无法区分,物理态由一个等价类表示

这里我们省略了指标 ,因为我们只关心第 个本征向量(图 10.6)。在 的每一点 处都有一个 U(1) 自由度,于是我们得到参数空间 上的一个 U(1) 丛 。投影映射由 给出。

图 10.6. 依赖于绝热参数 的量子力学系统的纤维。

在每一点 处固定 的相位,相当于选取一个截面。设 是 的坐标卡 上的一个局部截面。典范局部平凡化由下式给出

右作用给出

丛结构既已定义,我们就为它配备一个联络。下面定义贝里联络(Berry’s connection):

其中 是 空间中的外微分。注意, 是反厄米的,因为

要看出 (10.140) 确实是联络的局部形式(local form of a connection),我们必须验证相容性条件。设 与 是 的两个相互重叠的坐标卡, 与 分别是其上的局部截面。它们通过过渡函数相联系,即 。于是可得

满足 (10.141) 的1-形式集合 在 上定义了一个埃雷斯曼联络。

的场强 称为贝里曲率(Berry’s curvature),其表达式为

下面先看一个原子物理中的例子,然后我们将阐明这种几何结构如何体现在贝里相位中。

考虑一个含有“快”自由度 与“慢”自由度 的量子力学系统。例如,我们可以设想一个电子在缓慢振动的离子势场中运动。设哈密顿量为

其中 是与 共轭的动量。作为一级近似,我们可以认为慢自由度被“冻结”在某个值 上,并考虑一个瞬时子哈密顿量

以及本征值问题

其中 表示“快”自由度的第 个特征向量 。我们假定该特征值是孤立的且非简并的。贝里联络为 ,而曲率为 。

考察快自由度如何影响慢自由度是很有意思的。我们假定总波函数写成如下形式

并求出“慢”自由度的波函数 所满足的“有效”薛定谔方程。哈密顿量 (10.143) 的本征值问题为

若在左边乘上 并利用薛定谔 式 (10.145),该方程就化为

这里我们采用了玻恩-奥本海默近似,即忽略除对角元以外的所有矩阵元,

于是 的有效哈密顿量由下式给出

其中 是贝里联络的一个分量,

值得注意的是,快自由度诱导出了一个与慢自由度耦合的矢势。还要注意,特征值 在 中起着势能的作用。这种规范对称性的“自发产生”反映了波函数 的相位自由度。

描述绝热变化的薛定谔方程为

这里我们注意到, 既有显式的 依赖,又通过 有隐式的依赖。贝里假定

其中 是 的一个瞬时归一化本征态,

第一个指数因子是通常的动力学相位,第二个则是贝里相位。为达到我们的目的,方便的做法是定义一个算符

以消去动力学相位。态 是 的零能本征态:。修改后的薛定谔方程

的解于是由下式给出

我们在 (10.136) 中已求得 为

我们要证明贝里相位是与 上的联络 (10.140) 相联系的一个和乐。取 的一个坐标卡 上的一个截面 。设 是 中的一条环路。1我们把 关于联络 (10.140) 的水平提升写成

其中 取为 的单位元。群元 满足 (10.13b),

其中 代表 。由 ,我们得到

对它积分很容易得到

我们注意到 ,从而 。于是 可看作一个和乐(图 10.7)

图 10.7. 若参数沿环路 绝热地变化,则初条件为 的态将变为 ,而后者一般不同于 。这一差别就是和乐,它被等同于贝里相位。

设 是 中的一张曲面,它以环路 为边界。证明

其中 由(10.142)给出。

考虑磁场中的一个自旋 粒子,其哈密顿量为

参数 对应于所加磁场。这是一个二能级系统,其本征值为 。考虑本征值 。按照刚才描述的方案,我们引入哈密顿量 ,并考虑 的零能本征态,它由下式给出

经过直接但冗长的计算,可得规范势为

场强为

至此我们一直假定态 是孤立的。然而,若 ,这一假定便不再成立,此时两个本征态是简并的。令人惊讶的是,这一奇异性在 空间中的行为如同一个磁单极子。为看清这一点,我们在 空间中引入极坐标 与 ,

态 (10.161) 可表示为

该态在 处奇异,这反映出 在 处没有定义。考虑另一个本征向量

它具有相同的本征值。该本征向量在 处奇异,即在 处奇异。与这些向量相对应,我们得到极坐标下的贝里规范势,

它们通过规范变换相联系,

其中 被等同于过渡函数 。式 (10.166) 正是强度为 的吴-杨单极子的矢势,参见 1.9 节 与 10.5 节。该单极子的总通量为 。

至此,本问题与磁单极子之间的类比已显而易见。若固定磁场的振幅 ,则受限的参数空间为 。在 的每一点 处,态都有一个相位自由度。因此,我们面对的是一个 U(1) 丛 ,它同样描述一个磁单极子。对参数的每一种取法 ,都有一根对应于第 个本征态 的纤维。 处的纤维由 (10.137) 所定义的等价类 构成。投影映射 把态映到它定义于其上的参数:。如我们所见,这个丛是非平凡的,因为它不能由单个联络来描述。丛的非平凡性意味着原点处存在一个单极子。注意 (即 )是一个奇异点,在这一点上所有本征值都简并。

下面转向和乐问题。在 上取一标准点 ,并选取一个向量 。我们在 上取一条环路 ,将 沿 作平行移动,之后它作为向量 返回。附加的相位 就表示和乐

,并对应于贝里相位。由 (10.158) 可知, 由下式给出

其中 是场强, 是以环路 为边界的曲面。由 (10.168) 可知,贝里相位 表示穿过区域 的“磁通量”。

利用(10.165)证明

并证明

注意 在 处是奇异的。

10.1 考虑一个带坐标 的二维平面 ,以及一个波函数 ,它绝热地依赖于 ,即 。设 为 中的一条环路,并假设 ,也就是说,沿该环路作绝热变化后, 的相位改变了 。证明在该环路内部存在一点,使得绝热假设在该点失效。参见 Longuet-Higgins (1975)。

尾注

来源与版本

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

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

原书 PDF

来源版本:second-edition-local

来源 PDF SHA-256:fcd24c3371d092a8c699ccf5cf0765462924b6c48412804231076e8084b1940d

OCR 来源 SHA-256:0b6324f01172a3548cd34382e82fd8bfae574602b6b2cfaa357ba96bc2c35478

译稿产物 SHA-256:ff2437edf14405942447eef05f5246a255e53fe1a07074fc548537b8c352def7

Footnotes

  1. 我们在记号上会稍显随意。 ↩