2024-12-02
宇称变换
parity,三维空间里宇称的定义有若干种,比如(x,y,z)→(x,y,−z). 当然假如摆三个互成直角的镜子,我们可能可以得到(x,y,z)→(−x,−y,−z),这在三维空间中也是一个好的宇称变换,但是更高维度就不一定了. 所以我们提出了宇称的一个判断标准:
[(x^×y^)⋅z^]=εijkx^ix^jx^k
也就是赝标量.
可以发现,讨论宇称时,我们往往要引入全反对称张量(εi1i2⋯id),这个量能够辨别宇称变换. 使用这个量,我们能够在d维空间构造一个赝标量εi1⋯idx^i1⋯x^id. 当赝标量反号就是宇称.
其实宇称的定义是和空间本身的性质有关系的,试想我们如何在一个 Mobius 环上定义宇称?这件事情并不简单. 我们定义的宇称要求空间是“可定向”的(想想可定向流形).
事实上,宇称的重要性在于只有弱作用中宇称不守恒:HweakP=PHweak. 这应当是常识的一部分,结论由李-杨给出.
Λ0的衰变
吴健雄先生的经典实验用的是 Co-60,证明弱相互作用下宇称不守恒,这是为大家所熟知的. 但是今天我们来了解另一个例子,也就是Λ0的衰变过程.
Λ0由 u、d、s 三个 quark 组成,自旋−1/2,mΛ0=1116MeV(在 Feynman 的时代这还不能确定,但是我们现在能够肯定地写出这个数值).
这个衰变过程写成:Λ0→p++π−,其中 quark 的变化是 (uds) → (uud) + (duˉ),这是一个弱相互作用的过程.
问题:有一个 s 到哪里去了?
只有弱作用里面会出现 quark 种类变化.
问题:逻辑错误,我们已经先验地知道了这些粒子的 quark 组成.
这是方便理解的措施. 但是当年大家也能通过简单的计算了解到一个过程由什么作用来主导. 方法是看一个过程的时间长短,越弱的作用其概率幅越小,相应地时间也越长.
所以如果一个粒子的寿命很长,它可能是通过弱作用衰变的.
现在有两种可能的过程:
uds→{uud(p+)W−→uˉd(π−)
和
uds→⎩⎪⎪⎪⎪⎪⎨⎪⎪⎪⎪⎪⎧dudZ0→{uˉu⎭⎪⎪⎪⎪⎪⎬⎪⎪⎪⎪⎪⎫→(uud+uˉd)=p++π−
后者的可能性很低.
只考虑前者,在质心系中角动量守恒:
相当于把任意情况下的Λ0分解到自旋上下两个态上,然后分析衰变的概率幅.
但是我们现在还是没有提到宇称. 现在我们对b所代表的那一个基础态做一次 parity 变换(在宇称变换中,动量反号、角动量不变,这是自然的. 任何一个量的定义里面有一个全反对称张量就会导致其宇称变换下的性质变化一次.),同时再做一次180°的旋转,我们完全就得到了a所代表的态,这是宇称守恒的情况.
如果宇称守恒,那么∣a∣=∣b∣,所以并没有 Legendre 多项式的那一个一阶项,我们在实验上就能通过出射质子的角度分布来判断宇称是否守恒.
守恒定律
对称性 ⟹ 守恒律. 这里对称性体现为和H对易,也就是说对称变换Q满足[Q,H]=0. 取Q的本征态∣t0⟩,得到Q∣t0⟩=eiδ∣t0⟩,由对易关系得到[Q,U(t,t0)]=0.
故
Q∣t⟩=QU(t,t0)∣t0⟩=U(t,t0)Q∣t0⟩=eiδU(t,t0)∣t0⟩=eiδ∣t0⟩
也就是Q作用在任何一个态上,其相位是固定的,就是本征值的相位. 至此我们找到了一个守恒量δ.
但是这并不是很好的,因为不是所有的态都是Q的本征态. 对于一般的动力学态∣ψ⟩,考虑Q的期望值⟨ψ∣Q∣ψ⟩,得到
⟨ψ(t)∣Q∣ψ(t)⟩=⟨ψ(t0)∣U†QU∣ψ(t0)⟩=⟨ψ(t0)∣Q∣ψ(t0)⟩=⟨Q⟩t
这也是一个守恒的量.
问题:是否循环论证了?
不然. 条件是算符之间的关系,而最后得到了一个数,所以没有循环.
同时要说明的是,这里的对称性和 Noether 定理里面的对称性不一样.
问题:δ差2π怎么办?
因为时间演化是连续的,如果δ能变到δ+2π,那么中间一定会经过一个什么位置,那这就不守恒了.
一个简单的例子是绕z轴的转动对称性,看Rz(θ)的本征态∣m⟩,有Rz(θ)∣m⟩=eiδ(θ)∣m⟩,这里δ必须线性,假设系数是m,则有δ(θ)=mθ,m守恒.
所以角动量守恒.
问题:为什么这就是角动量?
我们其实不知道. 这里的逻辑其实来自于我们叫它角动量,然后发现它在某些近似下退化成了我们在经典力学里面定义的角动量.
(想想氢原子基态波函数,球谐函数里面的m参数!)
另一个例子是空间平移x→x+a,本征态Tx(a)∣k⟩=eiδ(a)∣k⟩,所以δ(a)=ka(因为线性),这显然是动量守恒. 同时值得注意的是,空间平移是 Abelian 群,因为任意群元可交换.
那么时间平移呢?Hamiltonian 是时间平移变换的生成元,它和自己肯定是对易的,所以这并没有意义. 实际上我们对时间平移对称的描述是 Hamiltonian 不显含时间.