有效势
在研究连续对称性自发破缺时,我们需要用一些手段来找到势场的极小值点,来确定背景场(也即“经典场”)的取值。为此我们需要一个称为有效势的函数。有效势的概念由Schwinger等人发展而来,而Jona-Lasinio等人将其运用与研究对称性自发破缺。
此处定义场为
此处我们使用路径积分的语言,在具有外源
可以将联通图的生成泛函
这里的
场在一定外源
最后一个等式
而有效作用量("effective action")
于是现在有
若我们把外源
此时对应着的方程的解
那么现在问题就在于有效作用量的表达式了。实际上,类似于生成泛函
其中
最后,我们定义有效势
根据上面
注意,由于
按圈展开
计算有效势我们还是得用微扰论,那么问题来了,我们应该对什么进行展开?这里给出的思路是按圈展开。
对于经典的对称性自发破缺的标量场,势能为四线性的,具有
树图具有4条外线,0条内线,1个顶点,所以具有
不难发现,传播子和顶点数量相同,具有
标量场的情况
考虑无质量(或称负质量)的对称性自发破缺的自相互作用的实标量场,拉格朗日密度写为
注意这里的系数和Coleman文章约定的稍有区别,这样的约定是对复标量场的
那么现在的动量空间的相互作用顶点为
1.对于具有n个顶点的图,有2n个外线,这些外线都取为
2.由于这n个顶点在一个环上,所以队头的二元组移到队尾对于现在的费曼图是不变的,这里会贡献一个
3.这个环对于镜面翻转还是不变的,所以还会贡献一个
所以要额外乘上的系数为
示意图如下
于是现在可以写出精确到单圈修正的有效势(当
这里倒数第三个等式用了Wick转动,
于是
这一积分是发散的(好消息是对数函数发散得足够慢,我们似乎可以简单地选取一个“物理的”上限进行截断,就像在计算兰姆位移时那样),为了计算这一发散的积分,我们需要使用重整化。为了不引入过多的新概念和技巧,我们这里姑且使用截断积分上限的方法进行正规化。
对于此次发散的4维对数积分,设截断上限为
代回到
倒数第二个等式略去了仅含有积分上限的项(没错,直接丢掉独立的无穷大,这就是所谓的“正规化”!(当然我们有更好的方法解决,比如维度正规化。但是在这里,就暂且直接丢掉吧)),上式中出现的
现在的有效势单圈修正项里包含积分上限/截断能标
既然在拉格朗日密度里出现的不是一个实际的物理量(或者说并不总是实际的物理量),同时在计算有效势的时候我们又遇到了圈图的无穷大问题,那么我们可以这样做:把出现在拉氏量的参数分成两部分,一部分是实际的物理的参数,而剩余部分则当成是我们观测不到的东西。那么如果我们现在要重写拉氏量的话,我们依然可以把之前写的记号当成是物理的参数,而所要做的则是在这一参数的基础上,加上一个“抵消项”。于是,我们怎么确定下这个抵消项讷?我们此前计算了有效势,其单圈修正也是一个不物理的发散值,那么我们现在有了多余的自由度来修正这一问题。我们自然地会考虑,有效势应该能给出物理的结果,比如二阶导能够给出粒子的质量。这样的条件便称为重整化条件。
现在我们写出含有抵消项的拉格朗日密度
于是现在的有效势有
重整化条件则为
分别代表该标量粒子的实际质量(为0)和实际的自耦合系数
根据重整化条件可以定出重整化参数
在不同能标下的
我们可以看到,在有效势的表达式里面出现了负的项,并且同时出现了log项,这都是单圈修正的量子效应导致的。
如果我们想得到自发破缺的对称性,于是要求
远远大于1,超出了微扰计算所能允许的范围。这就说明这样的理论如果想要得到对称性自发破缺其实是不能使用微扰计算的,前面我们的计算都是基于微扰计算,现在相当于走进了死胡同。
标量场+规范场的情况
前面我们提到在标量场中,如果考虑单圈修正的有效势,在微扰计算所能允许的范围内,不能产生自发破缺的对称性。在无质量的标量场中我们只有一个参数
我们写出两个实标量场与规范场耦合的拉格朗日密度(现在更为流行写成复标量场,但是Coleman的文章中如此,为了避免出现系数约定的差异,这里就仍使用Coleman的记号)
费曼规则为
在朗道规范下,光子传播子为
三线顶点为
四线顶点为
由于在计算有效势时,外线动量取为0,故很容易便可证明包含三线顶点的1PI单圈图贡献都为0。现在单圈修正下的有效势由以下几部分构成,分别是树图贡献,实标量场的自耦合(1)和互耦合(2),以及标量场与规范场的耦合(3)。
我们不难注意到,
由于
在现在的有效势表达式中,出现的单圈修正项,
我们若想得到自发破缺的对称性,那么有效势的极小值不在原点,对有效势求一阶导,可以得到
要注意的是,这只是在真空附近的参数限制,随着能标变化,
有了这一关系,于是我们现在可以考虑此模型中两个粒子的质量问题了,对于标量玻色子
而对于规范玻色子,由于这是一个SU(2)的模型,对称性自发破缺后产生的3个Goldstone玻色子会赋予规范玻色子质量
于是
在这一模型中,标量玻色子和规范玻色子的质量比值和场的真空期望值无关,仅依赖于模型参数。这一简单的关系为实验验证提供了很好的途径。
后话
虽然这一基于圈图修正诱导出连续对称性破缺的想法十分美妙,这意味着我们不需要在模型中手放进很多参数和项来构造出树图的破缺,而是通过高阶修正便能自发产生对称性破缺。但是将这套理论放入标准模型中,人们便发现在由于标准模型中的费米子贡献过大,使得单圈修正的有效势是朝负无穷发散的,这显然不是一个好的现象。而近年来,随着引力波探测和相变宇宙学的兴起,人们不断提出一些新物理模型,来解释电弱相变。其中一种解决办法便是引入额外的标量场,通过Coleman势实现自身的对称性破缺,再通过耦合将破缺的对称性传导给希格斯场,从而实现电弱对称性破缺。
仅由Coleman势诱导对称性破缺的准标准模型
在标准模型中,希格斯场的势能是在树图级别被破缺的。现在我们想尝试的是,如果希格斯场的势能在树图是没被破缺的,考虑单圈修正的Coleman势导致希格斯场对称性被破缺的可能性。
所有具有质量的基本粒子都与希格斯粒子发生相互作用,耦合系数正比于粒子质量。于是在标准模型中,我们只需要考虑W/Z玻色子和t夸克这几种质量最大的粒子。
希格斯场是一个自旋为1的二分量旋量场,数学结构容许其具有4个自由度。从原则上考虑,我们计算时需要包含所有的自由度进行计算。但是为了模型的简化程度(我们总是希望有足够简单的模型来描述尽可能多的问题),一般假设对称性被“最大破缺”到我们所需要的能标下的实际的对称性。
考虑最大破缺,希格斯场可以写为
于是标准模型中和希格斯场有关的拉格朗日密度为
上式中的W和Z两个规范耦合项的第一个
自耦合项和和W/Z玻色子的耦合项的单圈修正仿照前面的计算结果可以很容易写出
对于希格斯场和费米子的汤川耦合对有效势的单圈修正,这里需要做一下计算。从拉格朗日密度里读出费曼规则
费米子圈会额外多出一个负号,这一性质是费米子交换反对称导致的。用Wick收缩的式子可以明显看出这点。此外,费米子圈另一个需要注意的地方是,奇数个传播子的线的贡献为0,这一点是由于
和此前的标量场自耦合以及和规范玻色子耦合的区别在于,费米子耦合的单圈修正对有效势的贡献为负值。后面我们略去重整化的步骤,由于耦合系数
那么考虑标准模型中的粒子和希格斯场的耦合对有效势的修正的话,单圈修正后的有效势为
这里出现的方括号中的常数系数和重整化方案有关。由于对我们现在考虑的问题没有什么影响,这里暂且略去相关的讨论。
由于顶夸克质量比W/Z玻色子质量都要大,并且自由度远远大于这两者,有效势会朝负无穷大发散,导致体系能级没有下限。这显然是不物理的结果,这就说明希格斯的质量并不(或者说可能不完全)是由于单圈修正的Coleman势导致的,我们需要考虑其他的办法来自然地解决希格斯质量的问题。
参考文献
[1] Coleman, Sidney, and Erick Weinberg. “Radiative Corrections as the Origin of Spontaneous Symmetry Breaking.” Physical Review D 7, no. 6 (1973): 1888–1910.
[2] Quiros, Mariano. “Finite Temperature Field Theory and Phase Transitions.” arXiv, January 14, 1999. http://arxiv.org/abs/hep-ph/9901312.
[3] Peskin Chap.11