远处的两个箭头怎样比较
想象四个站点围成一个正方形。每个站点都有一只表示复振幅的箭头。箭头长度的平方决定在这里找到粒子的概率;方向叫相位。单独一只箭头指向十二点还是三点,没有可直接读出的绝对意义,干涉才能比较相位。
把站点编号为 ,按左、上、右、下的位置连接,与实验中的 A、B、C、D 对应。站点振幅记作 ;模长 无量纲。链变量 把站点 的相位运到站点 来比较。这里所有相角都用弧度。
比较前先搬运,这一步很重要。两个城市的钟可以各自拨快几分钟,只要时差表也改对,火车相遇的时刻就不会改变。相位的局部刻度同样需要一张“时差表”。
把两端和中间一起变换
在每个站点任选一个转角 。给箭头换刻度后,站点相位增加 。链变量必须补偿两端刻度的差,才能继续比较同一个物理态。
现在直接代入上面的乘积。左端振幅的相位、链变量补上的相位、右端振幅的相位逐项抵消。留下的还是原来的数。这就是规范不变量:它可以换写法,数值不依赖局部刻度怎么选。
来源:David Tong
走一圈之后剩下什么
沿正方形走一圈,每经过一个站点就换一次局部刻度。中途的换算前后抵消,回到起点时可能仍多出一个相位。这个闭环乘积叫 Wilson 环。它能看见局部刻度无法抹去的闭环信息。
取按下标排列的闭环乘积 。对这里的 Abelian 相位,乘法可交换,闭环只由链相角之和决定。连续电磁场中,相应的相位由有向磁通乘电荷与约化 Planck 常数之比给出;正负号还取决于搬运和电荷的约定。
在一棵没有闭环的树上,可以从起点依次选择局部刻度,把每条链都改写成单位链。有闭环时,最后一条边会留下整圈相位。环路因此提供了一个简单办法,检查某次改动究竟只是改写,还是改了物理条件。
| 情况 | 四条链相角 | 闭环相位 |
|---|---|---|
| 均匀分布 | ||
| 只把站点 0 刻度转 | ||
| 实际增加一条链的通量相位 |
规范冗余和物理对称
规范变换把同一个物理状态换了一套描述。真正的物理对称则把状态映到另一个状态,同时保持物理规律。例如,把整套孤立装置在空间中旋转,通常会得到朝向不同、能量相同的状态。
“局域相位可以任意选”说的是描述冗余。带边界系统的电荷与允许在边界非零的变换,需要另外讨论;不能凭“相位都是冗余”便删掉电荷。下一章从相邻站点的比较走到连续空间,看看普通导数为什么需要修正。