希格斯机制

在标准模型里，希格斯机制（Higgs mechanism）是一种生成质量的机制，能够使基本粒子获得质量。为什么费米子、W玻色子、Z玻色子具有质量，而光子、胶子的质量为零？希格斯机制可以解释这问题。希格斯机制应用自发对称性破缺来赋予规范玻色子质量。在所有可以赋予规范玻色子质量，而同时又遵守规范理论的可能机制中，这是最简单的机制。根据希格斯机制，希格斯场遍布于宇宙，有些基本粒子因为与希格斯场之间交互作用而获得质量。
更仔细地解释，在规范场论里，为了满足局域规范不变性，必须设定规范玻色子的质量为零。由于希格斯场的真空期望值不等于零，造成自发对称性破缺，因此规范玻色子会获得质量，同时生成一种零质量玻色子，称为戈德斯通玻色子，而希格斯玻色子则是伴随著希格斯场的粒子，是希格斯场的振动。通过选择适当的规范，戈德斯通玻色子会被抵销，只存留带质量希格斯玻色子与带质量规范向量场。
费米子也是因为与希格斯场相互作用而获得质量，但它们获得质量的方式不同于W玻色子、Z玻色子的方式。在规范场论里，为了满足局域规范不变性，必须设定费米子的质量为零。通过汤川耦合，费米子也可以因为自发对称性破缺而获得质量。
本条目的数学表述内容需要读者了解一些量子场论的知识。所有方程式都遵守爱因斯坦求合约定。按照粒子物理学惯例，采用CGS单位制为物理量的单位，并且设定光速与约化普朗克常数的数值为formula_1。
历史.
1964年，分别有三组研究小组几乎同时地独立研究出希格斯机制，其中，一组为弗朗索瓦·恩格勒和罗伯特·布绕特，另一组为彼得·希格斯，第三组为杰拉德·古拉尼、卡尔·哈庚和汤姆·基博尔。古拉尼于1965年、希格斯于1966年又各自更进一步发表论文探讨这模型的性质。这些论文表明，假若将规范不变性理论与自发对称性破缺的概念以某种特别方式连结在一起，则规范玻色子必然会获得质量。1967年，史蒂文·温伯格与阿卜杜勒·萨拉姆首先应用希格斯机制来打破电弱对称性，并且表述希格斯机制怎样能够并入稍后成为标准模型一部分的谢尔登·格拉肖的电弱理论。
六位物理学者分别发表的三篇论文，在《物理评论快报》50周年庆祝文献里被公认为里程碑论文。2010年，他们又荣获理论粒子物理学樱井奖。
因为“次原子粒子质量的生成机制理论，促进了人类对这方面的理解，并且最近由欧洲核子研究组织属下大型强子对撞机的超环面仪器及紧凑缈子线圈探测器发现的基本粒子证实”，恩格勒、希格斯荣获2013年诺贝尔物理学奖。
U(1)希格斯机制.
U(1)希格斯机制是一种很简单的赋予质量的机制，适用于U(1)规范场论。U(1)规范场论的规范变换涉及到相位变换：formula_2；其中，formula_3是复值希格斯场，formula_4是相位。这种变换是U(1)变换，所涉及的是阿贝尔群，因此是一种「阿贝尔希格斯机制」。
假定遍布于宇宙的希格斯场是由两个实函数formula_5、formula_6组成的复值纯量场formula_3：
其中，formula_9是四维坐标。
对于这自旋为零、质量为formula_10、势能为formula_11的纯量场，克莱因-戈尔登拉格朗日量formula_12为
暂时假设质量项目不存在，则克莱因-戈尔登拉格朗日量的形式变为
其中，formula_15是四维导数算子。
这是个波动方程式，可以用来描述电磁波处于位势的物理行为。从这方程式，似乎找不到任何质量的蛛丝马迹。
局域规范不变性.
对于全域相位变换formula_2，由于相位formula_4是常数，拉格朗日量formula_12具有全域规范不变性：
但是，假设formula_4是变数，随著时空坐标不同而改变：
其中，formula_22是电荷。
则为了要满足局域规范不变性，必须将formula_12的偏导数formula_24改换为协变导数formula_25，这变换与前面提到的相位变换合称为「规范变换」： 
其中，formula_27是规范向量场。
当做局域相位变换时，规范向量场formula_27变换为
这样，对于局域相位变换，拉格朗日量formula_12具有不变性：
为了要满足规范场论的局域规范不变性，必须添加规范向量场formula_27，连带地也要添加规范向量场自由传播时的普罗卡拉格朗日量（Proca Lagrangian）：
其中，formula_34。
注意到formula_35满足局域规范不变性，但是formula_36无法满足局域规范不变性，因此必须设定质量formula_37。一般而言，为了满足局域规范不变性，所有规范玻色子的质量都必须设定为零。对于传递电磁交互作用的光子与传递强交互作用的胶子，它们都是零质量规范玻色子，所以这理论结果与它们的性质相符合。但是对于传递弱交互作用的W玻色子与Z玻色子，这两种规范玻色子的质量分别为80Gev、91Gev！这理论结果与实验结果有天壤之别。这显露出规范理论对于这论题的严重不足，希格斯机制可以弥补这不足。
总结，表达为以下形式的拉格朗日量formula_12满足局域规范不变性：
自发对称性破缺.
量子力学的真空与一般认知的真空不同。在量子力学里，真空并不是全无一物的空间，虚粒子会持续地随机生成或湮灭于空间的任意位置，这会造成奥妙的量子效应。将这些量子效应纳入考量之后，空间的最低能量态，是在所有能量态之中，能量最低的能量态，又称为基态或「真空态」。最低能量态的空间才是量子力学的真空。
设想某种对称群变换，只能将最低能量态变换为自己，则称最低能量态对于这种变换具有「不变性」，即最低能量态具有这种对称性。尽管一个物理系统的拉格朗日量对于某种对称群变换具有不变性，并不意味著它的最低能量态对于这种对称群变换也具有不变性。假若拉格朗日量与最低能量态都具有同样的不变性，则称这物理系统对于这种变换具有「外显的对称性」；假若只有拉格朗日量具有不变性，而最低能量态不具有不变性，则称这物理系统的对称性被自发打破，或者称这物理系统的对称性被隐藏，这现象称为「自发对称性破缺」。
如右图所示，假设在墨西哥帽（sombrero）的帽顶有一个圆球。这个圆球是处于旋转对称性状态，对于绕著帽子中心轴的旋转，圆球的位置不变。这圆球也处于局部最大引力势的状态，极不稳定，稍加微扰，就可以促使圆球滚落至帽子谷底的任意位置，因此降低至最小引力势位置，使得旋转对称性被打破。尽管这圆球在帽子谷底的所有可能位置因旋转对称性而相互关联，圆球实际实现的帽子谷底位置不具有旋转对称性──对于绕著帽子中心轴的旋转，圆球的位置会改变。在帽子谷底有无穷多个不同、简并的最低能量态，都具有同样的最低能量。对于绕著帽子中心轴的旋转，会将圆球所处的最低能量态变换至另一个不同的最低能量态，除非旋转角度为360°的整数倍数，所以，圆球的最低能量态对于旋转变换不具有不变性，即不具有旋转对称性。总结，这物理系统的拉格朗日量具有旋转对称性，但最低能量态不具有旋转对称性，因此出现自发对称性破缺现象。
外显的对称性案例.
假定希格斯势的形式为
其中，formula_41、formula_42都是正值常数。
则这物理系统只有一个最低能量态，其希格斯场为零（formula_43）
对于这自旋为零、质量为零、势能为formula_11的纯量场formula_3，克莱因-戈尔登拉格朗日量formula_12为
注意到这拉格朗日量的第一个项目是动能项目。
由于拉格朗日量对于局域相位变换formula_48具有不变性，而最低能量态对于局域相位变换也具有不变性：
所以，这物理系统对于局域相位变换具有外显的对称性。
自发对称性破缺案例.
假定希格斯势的形式为
其中，formula_41、formula_42都是正值常数。
如墨西哥帽绘图所示，这势能的猜想形状好似一顶墨西哥帽。希格斯势与拉格朗日量在formula_53、formula_54空间具有旋转对称性。位于z-坐标轴的帽顶为希格斯势的局域最大值，其复值希格斯场为零（formula_55），但这不是最低能量态；在帽子的谷底有无穷多个简并的最低能量态。从无穷多个简并的最低能量态中，物理系统只能实现出一个最低能量态，标记这最低能量态为formula_56。这物理系统的拉格朗日量对于局域相位变换formula_48具有不变性，即在formula_53、formula_54空间具有旋转对称性，而最低能量态formula_56对于局域相位变换不具有不变性：
通常，formula_56不等于formula_63，除非角弧formula_4是formula_65的整数倍数。所以，这物理系统对于局域相位变换的对称性被自发打破。
以数学来表述，最低能量态处于势能的最低值，对应的希格斯场真空期望绝对值formula_66可以从势能的公式求得：
所以，希格斯场的真空期望绝对值formula_66为
为了简化表达式，设定常数formula_70。对于这物理系统，存在有无穷多最低能量态，这些最低能量态在formula_3-复平面形成一个半径为formula_72的圆圈。物理系统的状态只能实现出一个最低能量态，称这最低能量态的位置为希格斯场的真空期望值。不影响论述的一般性，选择真空期望值formula_73为
这动作打破了其在formula_53、formula_54空间的旋转对称性。设定两个实函数formula_77、formula_78来标纪对于最低能量态的涨落所产生的量子场：
在量子场论里，这些涨落的量子场可以诠释为真实的粒子。将量子场的公式代入拉格朗日量，
经过一番计算，取至formula_81的二次方，可以得到新形式
仔细分析formula_12的新形式。前两个项目是纯量场formula_77的动能项目formula_85与质量项目formula_86，这纯量场formula_77即是质量为formula_88的希格斯玻色子，是希格斯场对于最低能量态在径向方面的涨落。第三个项目是纯量场formula_78的自由拉格朗日量，它没有质量项目，这纯量场formula_78即是零质量的戈德斯通玻色子。第四个、第五个项目是规范向量场formula_27的自由拉格朗日量formula_92与质量项目formula_93，这规范向量场formula_27是质量为formula_95的规范玻色子。剩下的formula_96代表这几个量子场彼此之间相互作用，在这里不多做说明。
按照这结果，应该可以从做实验证实戈德斯通玻色子存在。带质量粒子比较难制成，粒子加速器必须使用很高的能量来碰撞制成带质量粒子。零质量粒子案例跟重质量粒子案例不同，零质量粒子很容易制成，或者可从缺失能量或动量推测其存在。然而，事实并非如此，物理学者无法找到其存在的任何蛛丝马迹。这意味著理论可能有瑕疵。希格斯机制可以处理这瑕疵。
回想先前的局域相位变换formula_2，这变换并没有设定相位formula_4。假若设定相位formula_4可以让戈德斯通玻色子消失无踪，则问题就可迎刃而解。仔细观察这变换的公式，
只要设定formula_101，就可以除去希格斯场formula_102的虚部formula_103，拉格朗日量变为
总括而言，从自发对称性破缺，可以赋予规范玻色子质量，但也生成了不符合实际物理的戈德斯通玻色子，选择正确的规范，可以清除戈德斯通玻色子，这就是希格斯机制。
SU(2)×U(1)希格斯机制.
在标准模型里，SU(2)×U(1)希格斯机制是最简单的一种赋予质量的机制，适用于电弱交互作用的SU(2)×U(1)规范场论。采用这种机制的标准模型称为最小标准模型（minimal standard model）。在这模型里，希格斯场是复值二重态：
其中，formula_5、formula_6、formula_108、formula_109都是实函数。 
这种希格斯场是由两个复值纯量场，或四个实值纯量场组成，其中，两个带有电荷，两个是中性。在这模型里，还有四个零质量规范玻色子，都是横场，如同光子一样，具有两个自由度。总合起来，一共有十二个自由度。自发对称性破缺之后，一共有三个规范玻色子会获得质量、同时各自添加一个纵场，总共有九个自由度，另外还有一个具有两个自由度的零质量规范玻色子，剩下的一个自由度是带质量的希格斯玻色子。三个带质量规范玻色子分别是W+、W-和Z玻色子。零质量规范玻色子是光子。
标准模型.
在标准模型里，假若温度足够高，物理系统的电弱对称性没有被打破，则所有基本粒子都不具有质量。当温度降到低于临界温度，希格斯场会变得不稳定，会跃迁至最低能量态，即量子力学的真空，整个物理系统的连续对称性因此被自发打破，W玻色子、Z玻色子、费米子也因此会获得质量。
局域规范不变性.
SU(2)×U(1)规范场论的相位变换形式为：
其中，formula_111是变换矩阵，formula_112是参数为时空坐标formula_113的向量函数，formula_114是三个包立矩阵formula_115、formula_116、formula_117共同组成的矩阵向量。 
由于三个包立矩阵彼此之间不能对易，SU(2)是非阿贝尔群，这机制是「非阿贝尔希格斯机制」。
指数函数formula_118的参数是一个矩阵：
这指数函数等于
其中，formula_121是单位矩阵，formula_122是formula_123的数值大小，formula_124是单位向量。
为了要满足局域规范不变性，必须将formula_12的偏导数formula_24改换为协变导数formula_25，这变换与前面提到的相位变换合称为「规范变换」： 
其中，formula_129、formula_130都是耦合常数，formula_131、formula_132分别是SU(2)规范向量场、U(1)规范向量场。
这些规范向量场的局域相位变换为
由于这些额外的规范向量场，又必须添加对应的自由拉格朗日量：
其中，formula_136是场强张量，formula_137是由三个场强张量formula_138、formula_139、formula_140组成的向量。
总结，表达为以下形式的拉格朗日量formula_12满足局域规范不变性：
其中，标号formula_143表示取埃尔米特伴随。
自发对称性破缺.
假定势能的形式为
最低能量态处于势能的最低值，对应的希格斯场满足关系式
对于这物理系统，存在有无穷多最低能量态。物理系统的状态只能实现出一个最低能量态，称这最低能量态的位置为希格斯场的真空期望值。不影响论述的一般性，设定真空期望值formula_73为
设定四个新实函数formula_77、formula_78、formula_150、formula_151来代表对于最低能量态的涨落所产生的量子场：
采用么正规范（unitary gauge），正确地设定变换矩阵formula_153的参数向量formula_123，可以使得formula_77、formula_78、formula_151变为零。这动作抵销了三个戈德斯通玻色子。希格斯场变为
将这公式代入拉格朗日量，注意到规范玻色子的质量是来自于动能项目的改变：
设定W玻色子formula_160、Z玻色子formula_161、光子formula_162分别为
从普罗卡拉格朗日量，可以推断W玻色子、Z玻色子的质量分别为formula_166、formula_167。
很明显地，电子质量formula_168为
类似地，希格斯机制可以促使其他种费米子获得质量。对于为甚么每一种费米子都有其特定的汤川耦合常数formula_170，希格斯机制并没有给出任何说明。标准模型里的自由参数大多数都是汤川耦合常数