1,068
个编辑
更改
无编辑摘要
'''重整化 Renormalization'''是应用于'''量子场论 Quantum Field Theory'''、场的'''统计力学 Statistical Mechanics'''和'''自相似 Self-similar'''几何结构理论中的一类方法。通过重整化，可以改变计算量的值以抵消其'''自相互作用 Self-interaction'''，进而消除计算量中产生的'''无穷大 infinities'''。但是，即使在量子场论的'''圈图 loop diagrams'''中没有出现无穷大，对原'''拉格朗日场理论 Lagrangian (Field Theory)'''中出现的质量和场进行重整化也是必要的。<ref>See e.g., Weinberg vol I, chapter 10.</ref>
'''重整化 Renormalization'''是应用于'''量子场论 Quantum Field Theory'''、场的'''统计力学 Statistical Mechanics'''和'''自相似 Self-similar'''几何结构理论中的一类方法。通过重整化，可以改变计算量的值以抵消其'''自相互作用 Self-interaction'''，进而消除计算量中产生的'''无穷大 infinities'''。但是，即使在量子场论的'''圈图 loop diagrams'''中没有出现无穷大，对原'''拉格朗日场理论 Lagrangian (Field Theory)'''中出现的质量和场进行重整化也是必要的。<ref>See e.g., Weinberg vol I, chapter 10.</ref>
例如，'''电子 Electron'''理论会先假定电子具有初始质量和电荷。在'''量子场论'''中，一个由诸如'''光子 Photon'''、'''正电子 Positron'''等'''虚粒子 Virtual Particle'''组成的云团围绕着初始电子并与之相互作用。考虑到周围粒子的相互作用（例如:不同能量的碰撞）表明电子-系统的行为宛如它有不同于最初假设的质量和电荷。在这个例子中，重整化在数学上用实验观察到的质量和电荷代替了最初假设的电子质量和电荷。数学和实验证明，正电子和''' 质子 Proton'''等质量更大的粒子，即使存在更强烈的相互作用和更密集的虚粒子云，其电荷也与电子完全相同。
例如，'''电子 Electron'''理论会先假定电子具有初始质量和电荷。在'''量子场论'''中，一个由诸如'''光子 Photon'''、'''正电子 Positron'''等'''虚粒子 Virtual Particle'''组成的云团围绕着初始电子并与之相互作用。考虑到周围粒子的相互作用（例如:不同能量的碰撞）表明电子-系统的行为宛如它有不同于最初假设的质量和电荷。在这个例子中，重整化在数学上用实验观察到的质量和电荷代替了最初假设的电子质量和电荷。数学和实验证明，正电子和''' 质子 Proton'''等质量更大的粒子，即使存在更强烈的相互作用和更密集的虚粒子云，其电荷也与电子完全相同。
当描述大距离尺度的参数不同于描述小距离尺度的参数时，重整化指定了理论中参数之间的关系。在像欧洲核子研究中心的高能粒子加速器中，当不理想的质子-质子碰撞与同时临近的可取测量数据相互作用时，就会产生''' 连环相撞 Pileup'''的概念。从物理上来说，涉及某一问题的无限量级在累积后可能会导致进一步的无限量。当把时空描述为一个''' 时空连续统 Space-time Continuum'''时，某些统计的和量子力学的结构没有得到''' 明确定义 Well-defined'''。为了定义它们，或者使它们毫不含糊，连续统的限制必须能够小心地移除不同尺度的晶格的“结构脚手架（？）”。重整化过程的基础要求某些物理量(如电子的质量和电荷)等于观察到的(实验)值。也就是说，物理量的实验值虽能产生实际应用，但由于它们的经验性本质，所观察到的测量代表了量子场论中那些需要从理论基础进行更深入的推导的领域。
当描述大距离尺度的参数不同于描述小距离尺度的参数时，重整化指定了理论中参数之间的关系。在像欧洲核子研究中心的高能粒子加速器中，当不理想的质子-质子碰撞与同时临近的可取测量数据相互作用时，就会产生''' 连环相撞 Pileup'''的概念。从物理上来说，涉及某一问题的无限量级在累积后可能会导致进一步的无限量。当把时空描述为一个''' 时空连续统 Space-time Continuum'''时，某些统计的和量子力学的结构没有得到''' 明确定义 Well-defined'''。为了定义它们，或者使它们毫不含糊，连续统的限制必须能够小心地移除不同尺度的晶格的“结构脚手架（？）”。重整化过程的基础要求某些物理量(如电子的质量和电荷)等于观察到的(实验)值。也就是说，物理量的实验值虽能产生实际应用，但由于它们的经验性本质，所观察到的测量代表了量子场论中那些需要从理论基础进行更深入的推导的领域。
[[Image:Renormalized-vertex.png|thumbnail|upright=1.3|图1。量子电动力学中的重整化: 确定一个重整化点上电子电荷的简单电子/光子相互作用被揭示为由另一个重整化点上更复杂的相互作用组成。|链接=Special:FilePath/Renormalized-vertex.png]]
[[Image:Renormalized-vertex.png|thumbnail|upright=1.3|图1。量子电动力学中的重整化: 确定一个重整化点上电子电荷的简单电子/光子相互作用被揭示为由另一个重整化点上更复杂的相互作用组成。|链接=Special:FilePath/Renormalized-vertex.png]]
无穷大问题最早出现在19世纪和20世纪初的点粒子经典电动力学中。
带电粒子的质量应包括其静电场(''' 电磁质量''')中的质能。假设这个粒子是一个带电的半径为{{mvar|r<sub>e</sub>}}的球壳。场中的质能是：
带电粒子的质量应包括其静电场(''' 电磁质量''')中的质能。假设这个粒子是一个带电的半径为{{mvar|r<sub>e</sub>}}的球壳。场中的质能是：
:<math>m_\text{em} = \int \frac{1}{2} E^2 \, dV = \int_{r_e}^\infty \frac{1}{2} \left( \frac{q}{4\pi r^2} \right)^2 4\pi r^2 \, dr = \frac{q^2}{8\pi r_e},</math>
:<math>m_\text{em} = \int \frac{1}{2} E^2 \, dV = \int_{r_e}^\infty \frac{1}{2} \left( \frac{q}{4\pi r^2} \right)^2 4\pi r^2 \, dr = \frac{q^2}{8\pi r_e},</math>
当时{{math|''r''<sub>e</sub> → 0}}，它会变得无穷大。这意味着点粒子具有无穷大的'''惯性 Inertia'''，使它无法被加速。顺带一提，使得<math>m_\text{em}</math>等于电子质量的这个值{{mvar|r<sub>e</sub>}}被称为'''电子经典半径 Classical Electron Radius'''，它(设置<math>q = e</math>以及{{mvar|c}}和<math>\varepsilon_0</math>的还原因子)被证明是：
当时{{math|''r''<sub>e</sub> → 0}}，它会变得无穷大。这意味着点粒子具有无穷大的'''惯性 Inertia'''，使它无法被加速。顺带一提，使得<math>m_\text{em}</math>等于电子质量的这个值{{mvar|r<sub>e</sub>}}被称为'''电子经典半径 Classical Electron Radius'''，它(设置<math>q = e</math>以及{{mvar|c}}和<math>\varepsilon_0</math>的还原因子)被证明是：
:<math>r_e = \frac{e^2}{4\pi\varepsilon_0 m_e c^2} = \alpha \frac{\hbar}{m_e c} \approx 2.8 \times 10^{-15}~\text{m},</math>
:<math>r_e = \frac{e^2}{4\pi\varepsilon_0 m_e c^2} = \alpha \frac{\hbar}{m_e c} \approx 2.8 \times 10^{-15}~\text{m},</math>
其中 <math>\alpha \approx 1/137</math> 是''' 精细结构常数 Fine-structure Constant'''精细结构常数，<math>\hbar/(m_e c)</math> 是电子的康普顿波长。
其中 <math>\alpha \approx 1/137</math> 是''' 精细结构常数 Fine-structure Constant'''精细结构常数，<math>\hbar/(m_e c)</math> 是电子的康普顿波长。
重整化: 球形带电粒子的总有效质量包括球壳的实际裸质量(在上述与其电场相关的质量之上)。如果允许壳体的裸质量允许为负值，则可能取一个一致的点极限。这就是所谓的重整化，洛伦兹和亚伯拉罕试图用这种方式发展出电子的经典理论。这项早期的工作启发了后来在量子场论中''' 正则化'''和重整化的尝试。
重整化: 球形带电粒子的总有效质量包括球壳的实际裸质量(在上述与其电场相关的质量之上)。如果允许壳体的裸质量允许为负值，则可能取一个一致的点极限。这就是所谓的重整化，洛伦兹和亚伯拉罕试图用这种方式发展出电子的经典理论。这项早期的工作启发了后来在量子场论中''' 正则化'''和重整化的尝试。
(假设在小尺度上存在新的物理学，另见''' 正则化'''从这个经典问题中去除无穷大的替代方法。)
(假设在小尺度上存在新的物理学，另见''' 正则化'''从这个经典问题中去除无穷大的替代方法。)
这个问题在经典场论中比在量子场论中更严重，因为在量子场论中，由于虚粒子-反粒子对的干涉，带电粒子经历了 Zitterbewegung，从而有效地抹去了一个可以与康普顿波长相比的区域上的电荷。在小耦合的量子电动力学中，电磁质量只随着粒子半径的对数发散。
这个问题在经典场论中比在量子场论中更严重，因为在量子场论中，由于虚粒子-反粒子对的干涉，带电粒子经历了 Zitterbewegung，从而有效地抹去了一个可以与康普顿波长相比的区域上的电荷。在小耦合的量子电动力学中，电磁质量只随着粒子半径的对数发散。
== 量子电动力学中的发散 ==
== 量子电动力学中的发散 ==
[[Image:vacuum polarization.svg.png|thumb|(a) Vacuum polarization, a.k.a.电荷屏蔽。这个环有一个对数的紫外辐散。|链接=Special:FilePath/Vacuum_polarization.svg]]
[[Image:vacuum polarization.svg.png|thumb|(a) Vacuum polarization, a.k.a.电荷屏蔽。这个环有一个对数的紫外辐散。|链接=Special:FilePath/Vacuum_polarization.svg]]
[[Image:selfE.svg.png|thumb|(b)量子电动力学中的自能图|链接=Special:FilePath/SelfE.svg]]
[[Image:selfE.svg.png|thumb|(b)量子电动力学中的自能图|链接=Special:FilePath/SelfE.svg]]
[[Image:Penguin diagram.jpg|thumb|(c)「企鹅」图示例子|链接=Special:FilePath/Penguin_diagram.JPG]]
[[Image:Penguin diagram.jpg|thumb|(c)「企鹅」图示例子|链接=Special:FilePath/Penguin_diagram.JPG]]
在20世纪30年代发展量子电动力学时，马克斯·伯恩、维尔纳·海森堡、帕斯夸尔·乔丹和保罗·狄拉克发现，在微扰修正中，许多积分是发散的(见无穷大问题)。
在20世纪30年代发展量子电动力学时，马克斯·伯恩、维尔纳·海森堡、帕斯夸尔·乔丹和保罗·狄拉克发现，在微扰修正中，许多积分是发散的(见无穷大问题)。
这些积分通常是发散的，也就是说，它们给出无限的结果。其中“紫外”发散较为显著。紫外发散来自于以下几种情形：
这些积分通常是发散的，也就是说，它们给出无限的结果。其中“紫外”发散较为显著。紫外发散来自于以下几种情形：
*所有圈中粒子具有很大的能量和动量的积分区域；
*所有圈中粒子具有很大的能量和动量的积分区域；
所以这些发散是短距离，短时间的现象。
所以这些发散是短距离，短时间的现象。
如右图所示。量子电动力学中有三个单圈发散圈图：<ref>{{cite book |author1-link=Michael E. Peskin |first1=Michael E. |last1=Peskin |first2=Daniel V. |last2=Schroeder |title=An Introduction to Quantum Field Theory |url=https://archive.org/details/introductiontoqu0000pesk |url-access=registration |publisher=Addison-Wesley |location=Reading |year=1995 |at=Chapter 10}}</ref>
如右图所示。量子电动力学中有三个单圈发散圈图：<ref>{{cite book |author1-link=Michael E. Peskin |first1=Michael E. |last1=Peskin |first2=Daniel V. |last2=Schroeder |title=An Introduction to Quantum Field Theory |url=https://archive.org/details/introductiontoqu0000pesk |url-access=registration |publisher=Addison-Wesley |location=Reading |year=1995 |at=Chapter 10}}</ref>
:(a)一个光子产生一个虚拟电子-正电子对，然后这个电子-正电子对湮灭。这是真空极化图。
:(a)一个光子产生一个虚拟电子-正电子对，然后这个电子-正电子对湮灭。这是真空极化图。
# 场归一化因子Z
# 场归一化因子Z
# 电子的质量
# 电子的质量
# 电子的电荷
# 电子的电荷
第二类发散称为红外发散，由无质量粒子造成的，比如光子。每一个涉及带电粒子的过程都会发射出无限多个波长无限的相干光子，而发射任意有限数量光子的振幅为零。对于光子来说，这些发散过程研究透彻，理解清晰。例如在单圈阶处，顶点函数既有紫外散度也有红外散度。与紫外发散相反，红外发散在理论中不需要参数的重整化。顶点图的红外散度通过包含一个类似于顶点图的图来消除，该图具有以下重要的特征：连接电子（两条腿？）的光子被切断并被两个波长趋向于无穷大的在壳(实)光子所取代；该图图相当于轫致辐射过程。该图被包含在内是必要的，因为没有物理方法来区分在顶点图中流过圈的零能量光子和通过轫致辐射发射的零能量光子。从数学的角度来看，红外发散可以通过假设对参数进行分数阶微分来正则化，例如:
第二类发散称为红外发散，由无质量粒子造成的，比如光子。每一个涉及带电粒子的过程都会发射出无限多个波长无限的相干光子，而发射任意有限数量光子的振幅为零。对于光子来说，这些发散过程研究透彻，理解清晰。例如在单圈阶处，顶点函数既有紫外散度也有红外散度。与紫外发散相反，红外发散在理论中不需要参数的重整化。顶点图的红外散度通过包含一个类似于顶点图的图来消除，该图具有以下重要的特征：连接电子（两条腿？）的光子被切断并被两个波长趋向于无穷大的在壳(实)光子所取代；该图图相当于轫致辐射过程。该图被包含在内是必要的，因为没有物理方法来区分在顶点图中流过圈的零能量光子和通过轫致辐射发射的零能量光子。从数学的角度来看，红外发散可以通过假设对参数进行分数阶微分来正则化，例如:
:<math> \left( p^2 - a^2 \right)^{\frac{1}{2}} </math>
式1在{{math|''p'' {{=}} ''a''}}处定义良好，不过却是紫外散度；如果我们对{{math|−''a''<sup>2</sup>}}2求{{frac|3|2}}分数阶导数，就可以得到红外散度：
式1在{{math|''p'' {{=}} ''a''}}处定义良好，不过却是紫外散度；如果我们对{{math|−''a''<sup>2</sup>}}2求{{frac|3|2}}分数阶导数，就可以得到红外散度：
:<math> \frac{1}{p^2 - a^2},</math>
因此我们可以通过将红外发散转化为紫外发散对其进行修正。
因此我们可以通过将红外发散转化为紫外发散对其进行修正。
[[Image:Loop-diagram.png|thumb|upright=1.1|图2。量子电动力学中电子-电子散射的图解。这个环有一个紫外辐射。
[[Image:Loop-diagram.png|thumb|upright=1.1|图2。量子电动力学中电子-电子散射的图解。这个环有一个紫外辐射。
|链接=Special:FilePath/Loop-diagram.png]]
|链接=Special:FilePath/Loop-diagram.png]]
图2中的图式显示了量子电动力学中单圈对电子-电子散射的贡献之一。图左侧的电子，用实线表示，开始时是4动量的{{math|''p<sup>μ</sup>''}}，结束时是4动量的{{math|''r<sup>μ</sup>''}}。它发射一个携带{{math|''r<sup>μ</sup>'' − ''p<sup>μ</sup>''}}的虚光子，将能量和动量传递给另一个电子。但在这张图中，在这之前，它发射了另一个4动量的{{math|''q<sup>μ</sup>''}}的虚光子，它在发射了另一个虚光子后重新吸收了这个。能量和动量守恒并不能唯一地决定4动量{{math|''q<sup>μ</sup>''}}，所以所有的可能性都是相等的，我们必须积分。
图2中的图式显示了量子电动力学中单圈对电子-电子散射的贡献之一。图左侧的电子，用实线表示，开始时是4动量的{{math|''p<sup>μ</sup>''}}，结束时是4动量的{{math|''r<sup>μ</sup>''}}。它发射一个携带{{math|''r<sup>μ</sup>'' − ''p<sup>μ</sup>''}}的虚光子，将能量和动量传递给另一个电子。但在这张图中，在这之前，它发射了另一个4动量的{{math|''q<sup>μ</sup>''}}的虚光子，它在发射了另一个虚光子后重新吸收了这个。能量和动量守恒并不能唯一地决定4动量{{math|''q<sup>μ</sup>''}}，所以所有的可能性都是相等的，我们必须积分。
除去其他因素，该图的振幅最终成为下圈的一个因子：
除去其他因素，该图的振幅最终成为下圈的一个因子：
:<math>-ie^3 \int \frac{d^4 q}{(2\pi)^4} \gamma^\mu \frac{i (\gamma^\alpha (r - q)_\alpha + m)}{(r - q)^2 - m^2 + i \epsilon} \gamma^\rho \frac{i (\gamma^\beta (p - q)_\beta + m)}{(p - q)^2 - m^2 + i \epsilon} \gamma^\nu \frac{-i g_{\mu\nu}}{q^2 + i\epsilon}.</math>
:<math>-ie^3 \int \frac{d^4 q}{(2\pi)^4} \gamma^\mu \frac{i (\gamma^\alpha (r - q)_\alpha + m)}{(r - q)^2 - m^2 + i \epsilon} \gamma^\rho \frac{i (\gamma^\beta (p - q)_\beta + m)}{(p - q)^2 - m^2 + i \epsilon} \gamma^\nu \frac{-i g_{\mu\nu}}{q^2 + i\epsilon}.</math>
这个表达式中的各种{{math|''γ<sup>μ</sup>''}}因子是和狄拉克方程的协变公式一样的伽马矩阵; 它们与电子的自旋有关。{{mvar|e}}的因子为电耦合常数，{\displaystyle i\epsilon}提供了动量空间中绕极点积分轮廓的启发式定义。对于我们的目的来说，重要的部分是被积函数中三个主要因子对{{math|''q<sup>μ</sup>''}}的依赖，这三个因子来自圈中的两条电子线和光子线的传播子。
这个表达式中的各种{{math|''γ<sup>μ</sup>''}}因子是和狄拉克方程的协变公式一样的伽马矩阵; 它们与电子的自旋有关。{{mvar|e}}的因子为电耦合常数，{\displaystyle i\epsilon}提供了动量空间中绕极点积分轮廓的启发式定义。对于我们的目的来说，重要的部分是被积函数中三个主要因子对{{math|''q<sup>μ</sup>''}}的依赖，这三个因子来自圈中的两条电子线和光子线的传播子。
这是一个上面有两个{{math|''q<sup>μ</sup>''}}的幂的部分，在较大的{{math|''q<sup>μ</sup>''}}值时占优势(Pokorski 1987, p. 122)：
这是一个上面有两个{{math|''q<sup>μ</sup>''}}的幂的部分，在较大的{{math|''q<sup>μ</sup>''}}值时占优势(Pokorski 1987, p. 122)：
:<math>e^3 \gamma^\mu \gamma^\alpha \gamma^\rho \gamma^\beta \gamma_\mu \int \frac{d^4 q}{(2\pi)^4} \frac{q_\alpha q_\beta}{(r - q)^2 (p - q)^2 q^2}.</math>
:<math>e^3 \gamma^\mu \gamma^\alpha \gamma^\rho \gamma^\beta \gamma_\mu \int \frac{d^4 q}{(2\pi)^4} \frac{q_\alpha q_\beta}{(r - q)^2 (p - q)^2 q^2}.</math>
这个积分是发散且无限的，除非我们在能量和动量有限的时候截断它。
这个积分是发散且无限的，除非我们在能量和动量有限的时候截断它。
类似的环散度也出现在其他量子场论中。
类似的环散度也出现在其他量子场论中。
== 重整化的裸量 ==
== 重整化的裸量 ==
解决方案是认识到最初出现在理论公式中的量(比如拉格朗日公式) ，代表着电子的电荷和质量以及量子场本身的归一化，实际上并不符合在实验室测量所得的物理常数。如上所述，它们是裸量，并没有考虑虚粒子环效应对物理常数本身的影响。在其他情况中，这些影响还包括让经典电磁学理论家为难的电磁反作用量子对应物。一般来说，这些效应最初就会像考虑中的振幅一样发散; 所以有限的测量量通常意味着发散裸量。
因此，为了与现实接轨，这些公式必须以可测量的、重整化的量进行重写。例如，电子的电荷可以用在特定运动学重整化点或减点测量的量来定义(这种定义下通常具有一个特征能量，称为重整化标度或简称为能量标度)。剩下的涉及剩余裸量的拉格朗日部分，可以被重新解释为包含在发散图中，且正好抵消其他图发散现象的反项。
因此，为了与现实接轨，这些公式必须以可测量的、重整化的量进行重写。例如，电子的电荷可以用在特定运动学重整化点或减点测量的量来定义(这种定义下通常具有一个特征能量，称为重整化标度或简称为能量标度)。剩下的涉及剩余裸量的拉格朗日部分，可以被重新解释为包含在发散图中，且正好抵消其他图发散现象的反项。
[[Image:Counterterm.png|thumb|upright=1.1|图3。对应于反项的顶点抵消了图2中的发散。|链接=Special:FilePath/Counterterm.png]]
[[Image:Counterterm.png|thumb|upright=1.1|图3。对应于反项的顶点抵消了图2中的发散。|链接=Special:FilePath/Counterterm.png]]
例如，在量子电动力学的拉格朗日函数中
例如，在量子电动力学的拉格朗日函数中
:<math>\mathcal{L}=\bar\psi_B\left[i\gamma_\mu \left (\partial^\mu + ie_BA_B^\mu \right )-m_B\right]\psi_B -\frac{1}{4}F_{B\mu\nu}F_B^{\mu\nu}</math>
:<math>\mathcal{L}=\bar\psi_B\left[i\gamma_\mu \left (\partial^\mu + ie_BA_B^\mu \right )-m_B\right]\psi_B -\frac{1}{4}F_{B\mu\nu}F_B^{\mu\nu}</math>
磁场和耦合常数实际上是裸量（？），因此可见上面的下标如此{{mvar|B}}。通常，裸量相应的拉格朗日项是重整化项的倍数:
磁场和耦合常数实际上是裸量（？），因此可见上面的下标如此{{mvar|B}}。通常，裸量相应的拉格朗日项是重整化项的倍数:
:<math>\left(\bar\psi m \psi\right)_B = Z_0 \bar\psi m \psi</math>
:<math>\left(\bar\psi m \psi\right)_B = Z_0 \bar\psi m \psi</math>
:<math>\left(\bar\psi\left(\partial^\mu + ieA^\mu \right )\psi\right)_B = Z_1 \bar\psi \left (\partial^\mu + ieA^\mu \right)\psi</math>
:<math>\left(\bar\psi\left(\partial^\mu + ieA^\mu \right )\psi\right)_B = Z_1 \bar\psi \left (\partial^\mu + ieA^\mu \right)\psi</math>
:<math>\left(F_{\mu\nu}F^{\mu\nu}\right)_B = Z_3\, F_{\mu\nu}F^{\mu\nu}.</math>
:<math>\left(F_{\mu\nu}F^{\mu\nu}\right)_B = Z_3\, F_{\mu\nu}F^{\mu\nu}.</math>
通过 Ward-Takahashi 恒等式规范不变性，证明了我们可以重整共变导数的两个项在一起
通过 Ward-Takahashi 恒等式规范不变性，证明了我们可以重整共变导数的两个项在一起
:<math>\bar \psi (\partial + ieA) \psi</math>
:<math>\bar \psi (\partial + ieA) \psi</math>
拉格朗日函数中的一个项，例如图1所示的电子-光子相互作用，就可以被写出来
拉格朗日函数中的一个项，例如图1所示的电子-光子相互作用，就可以被写出来
:<math>\mathcal{L}_I = -e \bar\psi \gamma_\mu A^\mu \psi - (Z_1 - 1) e \bar\psi \gamma_\mu A^\mu \psi</math>
:<math>\mathcal{L}_I = -e \bar\psi \gamma_\mu A^\mu \psi - (Z_1 - 1) e \bar\psi \gamma_\mu A^\mu \psi</math>
图3所示的反项的交互顶点{{math|''Z''<sub>1</sub>}}的图抵消了图2中环的发散。
图3所示的反项的交互顶点{{math|''Z''<sub>1</sub>}}的图抵消了图2中环的发散。
从历史上看，将“裸项”分解为原始项（？）和反项（？）的做法，早于肯尼思 · 威尔逊对重整化群的洞察。<ref name=Wilson1975>{{cite journal | last=Wilson | first=Kenneth G. |author-link=Kenneth G. Wilson| title=The renormalization group: Critical phenomena and the Kondo problem | journal=Reviews of Modern Physics | publisher=American Physical Society (APS) | volume=47 | issue=4 | date=1975-10-01 | issn=0034-6861 | doi=10.1103/revmodphys.47.773 | pages=773–840| bibcode=1975RvMP...47..773W }}</ref>根据这些重整化群的洞察，在更细节的部分里这种分裂是非自然的也是非物理的，因为问题的所有尺度都是以连续的系统方式进入的（？）。
从历史上看，将“裸项”分解为原始项（？）和反项（？）的做法，早于肯尼思 · 威尔逊对重整化群的洞察。<ref name=Wilson1975>{{cite journal | last=Wilson | first=Kenneth G. |author-link=Kenneth G. Wilson| title=The renormalization group: Critical phenomena and the Kondo problem | journal=Reviews of Modern Physics | publisher=American Physical Society (APS) | volume=47 | issue=4 | date=1975-10-01 | issn=0034-6861 | doi=10.1103/revmodphys.47.773 | pages=773–840| bibcode=1975RvMP...47..773W }}</ref>根据这些重整化群的洞察，在更细节的部分里这种分裂是非自然的也是非物理的，因为问题的所有尺度都是以连续的系统方式进入的（？）。
=== 运转联轴器 ===
=== 运转联轴器 ===
为了尽量减少环路图对给定计算的影响(从而使得计算结果更容易提取) ，可以选择一个接近相互作用中交换的能量和动量的重整化点。然而，重整化点本身并不是一个物理量: 在计算到所有的阶（？）之下，理论物理的预测，原则上应该独立于重整化点的选择，只要它在理论的应用范围内。重整化尺度的变化将影响无环费曼图产生的结果多少，以及来自环图剩余的有限部分的结果的多少。人们可以利用这一事实来计算物理常数随规模变化的有效变化。这种变化由 β 函数编码，这种尺度依赖的一般理论被称为重整化群。
为了尽量减少环路图对给定计算的影响(从而使得计算结果更容易提取) ，可以选择一个接近相互作用中交换的能量和动量的重整化点。然而，重整化点本身并不是一个物理量: 在计算到所有的阶（？）之下，理论物理的预测，原则上应该独立于重整化点的选择，只要它在理论的应用范围内。重整化尺度的变化将影响无环费曼图产生的结果多少，以及来自环图剩余的有限部分的结果的多少。人们可以利用这一事实来计算物理常数随规模变化的有效变化。这种变化由 β 函数编码，这种尺度依赖的一般理论被称为重整化群。
比如说,
比如说,
:<math>I=\int_0^a \frac{1}{z}\,dz-\int_0^b \frac{1}{z}\,dz=\ln a-\ln b-\ln 0 +\ln 0</math>
:<math>I=\int_0^a \frac{1}{z}\,dz-\int_0^b \frac{1}{z}\,dz=\ln a-\ln b-\ln 0 +\ln 0</math>
是不明确的。
是不明确的。
为了去除发散，只需将积分的下限改为{{mvar|ε<sub>a</sub>}}和{{mvar|ε<sub>b</sub>}}:
为了去除发散，只需将积分的下限改为{{mvar|ε<sub>a</sub>}}和{{mvar|ε<sub>b</sub>}}:
:<math>I=\ln a-\ln b-\ln{\varepsilon_a}+\ln{\varepsilon_b} = \ln \tfrac{a}{b} - \ln \tfrac{\varepsilon_a}{\varepsilon_b}</math>
:<math>I=\ln a-\ln b-\ln{\varepsilon_a}+\ln{\varepsilon_b} = \ln \tfrac{a}{b} - \ln \tfrac{\varepsilon_a}{\varepsilon_b}</math>
确保{{math|{{sfrac|''ε<sub>b</sub>''|''ε<sub>a</sub>''}} → 1}} ，然后 {{math|''I'' {{=}} ln {{sfrac|''a''|''b''}}.}}
确保{{math|{{sfrac|''ε<sub>b</sub>''|''ε<sub>a</sub>''}} → 1}} ，然后 {{math|''I'' {{=}} ln {{sfrac|''a''|''b''}}.}}
由于{{math|∞ − ∞}}的定义是不明确的，为了使散度抵消的概念更加精确，散度首先必须使用极限理论在数学上被驯服，这一过程被称为正则化(Weinberg, 1995)。
由于{{math|∞ − ∞}}的定义是不明确的，为了使散度抵消的概念更加精确，散度首先必须使用极限理论在数学上被驯服，这一过程被称为正则化(Weinberg, 1995)。
有了调节器，并且截止值是有限的，积分中的发散项就变成了有限的，且与截止相关的项。在用依赖截止的反项抵消这些项后，截止到无穷大，并恢复有限的物理结果。如果我们可以测量的标度上的物理现象与在最短距离和时间尺度上发生的事情无关，那么就有可能得到与截止无关的计算结果。
有了调节器，并且截止值是有限的，积分中的发散项就变成了有限的，且与截止相关的项。在用依赖截止的反项抵消这些项后，截止到无穷大，并恢复有限的物理结果。如果我们可以测量的标度上的物理现象与在最短距离和时间尺度上发生的事情无关，那么就有可能得到与截止无关的计算结果。
重正化理论的一个严格的数学方法是因果摄动理论，其中紫外散度从计算的开始就可以避免，只需要在分布理论的框架内进行定义良好的数学运算。在这种方法中，散度可以由模糊度代替：这个对应于散度图的术语是一个有限的，但未确定的系数。之后其他原理，如规范对称，必须用来减少或消除模糊度。
重正化理论的一个严格的数学方法是因果摄动理论，其中紫外散度从计算的开始就可以避免，只需要在分布理论的框架内进行定义良好的数学运算。在这种方法中，散度可以由模糊度代替：这个对应于散度图的术语是一个有限的，但未确定的系数。之后其他原理，如规范对称，必须用来减少或消除模糊度。
朱利安·施温格使用渐近关系作为调节器（其中Λ → ∞）：
朱利安·施温格使用渐近关系作为调节器（其中Λ → ∞）：
:<math> I(n, \Lambda )= \int_0^{\Lambda }dp\,p^n \sim 1+2^n+3^n+\cdots+ \Lambda^n \to \zeta(-n)</math>
:<math> I(n, \Lambda )= \int_0^{\Lambda }dp\,p^n \sim 1+2^n+3^n+\cdots+ \Lambda^n \to \zeta(-n)</math>
发现了{{math|Λ → ∞}}函数正则化重整化之间的联系。在此基础上，他考虑利用{{math|''ζ''(−''n'')}}的值来得到有限的结果。尽管他得出的结果不一致，但是由Hartle, J. Garcia研究的改进公式，并基于E. Elizalde的工作，依然囊括了zeta正则化算法的技术
发现了{{math|Λ → ∞}}函数正则化重整化之间的联系。在此基础上，他考虑利用{{math|''ζ''(−''n'')}}的值来得到有限的结果。尽管他得出的结果不一致，但是由Hartle, J. Garcia研究的改进公式，并基于E. Elizalde的工作，依然囊括了zeta正则化算法的技术
:<math> I(n, \Lambda) = \frac{n}{2}I(n-1, \Lambda) + \zeta(-n) - \sum_{r=1}^{\infty}\frac{B_{2r}}{(2r)!} a_{n,r}(n-2r+1) I(n-2r, \Lambda),</math>
:<math> I(n, \Lambda) = \frac{n}{2}I(n-1, \Lambda) + \zeta(-n) - \sum_{r=1}^{\infty}\frac{B_{2r}}{(2r)!} a_{n,r}(n-2r+1) I(n-2r, \Lambda),</math>
其中B代表伯努利数，并且
其中B代表伯努利数，并且
:<math>a_{n,r}= \frac{\Gamma(n+1)}{\Gamma(n-2r+2)}.</math>
:<math>a_{n,r}= \frac{\Gamma(n+1)}{\Gamma(n-2r+2)}.</math>
或者简单地对每一个发散积分使用阿贝尔-普拉纳公式：
或者简单地对每一个发散积分使用阿贝尔-普拉纳公式：
:<math> \zeta(-m, \beta )-\frac{\beta ^{m}}{2}-i\int_ 0 ^{\infty}dt \frac{ (it+\beta)^{m}-(-it+\beta)^{m}}{e^{2 \pi t}-1}=\int_0^\infty dp \, (p+\beta)^m </math>
:<math> \zeta(-m, \beta )-\frac{\beta ^{m}}{2}-i\int_ 0 ^{\infty}dt \frac{ (it+\beta)^{m}-(-it+\beta)^{m}}{e^{2 \pi t}-1}=\int_0^\infty dp \, (p+\beta)^m </math>
“几何”的类比由下式给出，(如果我们使用矩形法)来计算积分：
“几何”的类比由下式给出，(如果我们使用矩形法)来计算积分：
:<math> \int_0^\infty dx \, (\beta +x)^m \approx \sum_{n=0}^\infty h^{m+1} \zeta \left( \beta h^{-1} , -m \right) </math>
:<math> \int_0^\infty dx \, (\beta +x)^m \approx \sum_{n=0}^\infty h^{m+1} \zeta \left( \beta h^{-1} , -m \right) </math>
对数发散积分具有正则化
对数发散积分具有正则化
:<math> \sum_{n=0}^{\infty} \frac{1}{n+a}= - \psi (a)+\log (a) </math>
:<math> \sum_{n=0}^{\infty} \frac{1}{n+a}= - \psi (a)+\log (a) </math>
因为对于调和级数<math> \sum_{n=0}^{\infty} \frac{1}{an+1} </math>在a趋近于零处，我们必须恢复级数<math> \sum_{n=0}^{\infty}1 =1/2 </math>
因为对于调和级数<math> \sum_{n=0}^{\infty} \frac{1}{an+1} </math>在a趋近于零处，我们必须恢复级数<math> \sum_{n=0}^{\infty}1 =1/2 </math>
对于依赖于多个变量<math>k_1, \cdots, k_n</math>的多圈积分，我们可以将变量转换为极坐标，然后用一个和替换角度上的积分<math>\int d \Omega</math>，因此我们只有一个发散积分，它取决于模<math>r^2 = k_1^2 +\cdots+k_n^2</math>，然后我们可以应用Zeta正则化算法，多圈积分的主要思想是将因子<math>F(q_1,\cdots,q_n)</math>替换为超球坐标{{math|''F''(''r'', Ω)}}，使紫外重叠散度编码在变量{{mvar|r}}中。为了正则化这些积分，需要一个调节器，对于多圈积分的情况，这些调节器可以被视为：
对于依赖于多个变量<math>k_1, \cdots, k_n</math>的多圈积分，我们可以将变量转换为极坐标，然后用一个和替换角度上的积分<math>\int d \Omega</math>，因此我们只有一个发散积分，它取决于模<math>r^2 = k_1^2 +\cdots+k_n^2</math>，然后我们可以应用Zeta正则化算法，多圈积分的主要思想是将因子<math>F(q_1,\cdots,q_n)</math>替换为超球坐标{{math|''F''(''r'', Ω)}}，使紫外重叠散度编码在变量{{mvar|r}}中。为了正则化这些积分，需要一个调节器，对于多圈积分的情况，这些调节器可以被视为：
:<math> \left (1+ \sqrt{q}_{i}q^{i} \right )^{-s} </math>
:<math> \left (1+ \sqrt{q}_{i}q^{i} \right )^{-s} </math>
所以多圈积分在足够大的{{mvar|s}}时收敛，使用正则化我们可以继续分析变量{{mvar|s}}直到{{math|''s'' {{=}} 0}}的物理极限，然后正则化任何紫外积分，通过用发散级数的线性组合替换发散积分，它可以正则化为黎曼ζ函数的负值{{math|''ζ''(−''m'')}}。
所以多圈积分在足够大的{{mvar|s}}时收敛，使用正则化我们可以继续分析变量{{mvar|s}}直到{{math|''s'' {{=}} 0}}的物理极限，然后正则化任何紫外积分，通过用发散级数的线性组合替换发散积分，它可以正则化为黎曼ζ函数的负值{{math|''ζ''(−''m'')}}。
== 态度以及解读 ==
== 态度以及解读 ==
量子电动力学和其他量子场论的早期规范者通常对这种（重整化的）处理方式不满意。为了得到有限的答案而从无限中减去无限，这似乎是不合理的。
量子电动力学和其他量子场论的早期规范者通常对这种（重整化的）处理方式不满意。为了得到有限的答案而从无限中减去无限，这似乎是不合理的。
另一位重要的评论家是费曼。尽管他在量子电动力学的发展中扮演了关键角色，他在1985年写道:<ref>Feynman, Richard P.; ''[[QED: The Strange Theory of Light and Matter]]'', Penguin 1990, p. 128</ref>
另一位重要的评论家是费曼。尽管他在量子电动力学的发展中扮演了关键角色，他在1985年写道:<ref>Feynman, Richard P.; ''[[QED: The Strange Theory of Light and Matter]]'', Penguin 1990, p. 128</ref>
:我们玩的这个骗局在技术上叫做“重整化”。但是不管这个词多么聪明，它仍然是我所说的一个含糊的过程！不得不求助于这样的骗术阻碍了我们证明量子电动力学理论在数学上是自洽的脚步。令人惊讶的是，到目前为止，这个理论仍然没有以这样或那样的方式被证明是自洽的; 我怀疑重整化在数学上是不正当的。
:我们玩的这个骗局在技术上叫做“重整化”。但是不管这个词多么聪明，它仍然是我所说的一个含糊的过程！不得不求助于这样的骗术阻碍了我们证明量子电动力学理论在数学上是自洽的脚步。令人惊讶的是，到目前为止，这个理论仍然没有以这样或那样的方式被证明是自洽的; 我怀疑重整化在数学上是不正当的。
如果量子场论能一直保持成立到普朗克长度以下(在那里它可能会产生弦论、因果集合论或其他不同的理论) ，那么粒子物理学中的短距离发散可能也不存在实质的问题; 所有场论都可能是有效场论。在某种意义上，这种方法呼应了以前的态度，即量子力学中的发散说明了人类对自然运作规律的无知，但也承认这种无知是可以量化的，且由此产生的有效理论仍然是有用的。
如果量子场论能一直保持成立到普朗克长度以下(在那里它可能会产生弦论、因果集合论或其他不同的理论) ，那么粒子物理学中的短距离发散可能也不存在实质的问题; 所有场论都可能是有效场论。在某种意义上，这种方法呼应了以前的态度，即量子力学中的发散说明了人类对自然运作规律的无知，但也承认这种无知是可以量化的，且由此产生的有效理论仍然是有用的。
尽管如此，萨拉姆在1972年的言论似乎仍然有意义
尽管如此，萨拉姆在1972年的言论似乎仍然有意义
:场论的无穷大首次出现在洛伦兹对电子自质量的计算过程中，它在经典电动力学中已经存在了七十年，在量子电动力学中也已存在了35年。这么多年的挫折使得研究这个课题的人对无穷大产生了一种奇怪的感情，并且热切地相信它们是自然界不可避免的一部分; 以至于即使他们有可能避开了正解，有限的重整化常数可被计算--这样的希望都被认为是不合理的。将罗素的附言与他的自传《最后的岁月，1944-1969》(乔治 · 艾伦和安文出版社，伦敦，1969年)的第三卷相比较，于第221页:
:场论的无穷大首次出现在洛伦兹对电子自质量的计算过程中，它在经典电动力学中已经存在了七十年，在量子电动力学中也已存在了35年。这么多年的挫折使得研究这个课题的人对无穷大产生了一种奇怪的感情，并且热切地相信它们是自然界不可避免的一部分; 以至于即使他们有可能避开了正解，有限的重整化常数可被计算--这样的希望都被认为是不合理的。将罗素的附言与他的自传《最后的岁月，1944-1969》(乔治 · 艾伦和安文出版社，伦敦，1969年)的第三卷相比较，于第221页:
从这一哲学的重新评价中，一个新的概念自然地产生了：即可重整性。不是所有的理论都能以上述的方式重整化，且在计算结束时，有限的反项和所有的量变得截止无关。如果拉格朗日算子包含能量单位足够高维的场算符组合，抵消所有散度所需要的反项激增到无穷多个。乍一看这个理论似乎获得了无数的自由参数，然而却因此失去了所有的预测能力，也就在科学上变得毫无价值。这样的理论被称为不可重整的理论。
从这一哲学的重新评价中，一个新的概念自然地产生了：即可重整性。不是所有的理论都能以上述的方式重整化，且在计算结束时，有限的反项和所有的量变得截止无关。如果拉格朗日算子包含能量单位足够高维的场算符组合，抵消所有散度所需要的反项激增到无穷多个。乍一看这个理论似乎获得了无数的自由参数，然而却因此失去了所有的预测能力，也就在科学上变得毫无价值。这样的理论被称为不可重整的理论。
粒子物理的标准模型只包含可重整算子，但如果有人试图以最直接的方式构建量子引力场理论(将爱因斯坦-希尔伯特拉格朗日公式中的度规视为对闵可夫斯基度规的扰动)，广义相对论的相互作用就会成为不可重整化的算子，这表明微扰理论在量子引力中的应用并不令人满意。
粒子物理的标准模型只包含可重整算子，但如果有人试图以最直接的方式构建量子引力场理论(将爱因斯坦-希尔伯特拉格朗日公式中的度规视为对闵可夫斯基度规的扰动)，广义相对论的相互作用就会成为不可重整化的算子，这表明微扰理论在量子引力中的应用并不令人满意。
然而，在有效场理论中，严格来说，“重整化性”是一个误称。在非重整有效场理论中，拉格朗日算子的各项确实可以增加到无穷，但系数会被越来越极端的能量截止逆幂所抑制。如果截止是一个真实的物理量，也就是说，如果这个理论仅仅是对某些最大能量或最小距离尺度下的物理的有效描述，那么这些额外的项就可以代表真实的物理相互作用。假设理论中的无量纲常数不会变得太大，我们可以通过截止的逆幂来分组计算，在包含有限数量自由参数的截止中提取有限阶的近似预测。甚至可以对这些“不可重整化”的交互进行重整化。
然而，在有效场理论中，严格来说，“重整化性”是一个误称。在非重整有效场理论中，拉格朗日算子的各项确实可以增加到无穷，但系数会被越来越极端的能量截止逆幂所抑制。如果截止是一个真实的物理量，也就是说，如果这个理论仅仅是对某些最大能量或最小距离尺度下的物理的有效描述，那么这些额外的项就可以代表真实的物理相互作用。假设理论中的无量纲常数不会变得太大，我们可以通过截止的逆幂来分组计算，在包含有限数量自由参数的截止中提取有限阶的近似预测。甚至可以对这些“不可重整化”的交互进行重整化。
* 在壳方案
* 在壳方案
== 重整化在统计物理中的应用 ==
== 重整化在统计物理中的应用 ==
=== 历史 ===
=== 历史 ===
这种方法涵盖了概念，另外Kenneth Wilson在他的大量杰出工作中给出了完整的计算内容<ref name=Wilson1975 />。威尔逊思想的力量在1974年通过对一个长期存在的问题——近藤问题（或称康多问题），的建设性迭代重整化解决方案得到了证明，在此之前，他的新方法在1971年的二阶相变理论和临界现象的开创性发展也得到了证明。1982年，鉴于威尔逊杰出的贡献，他被授予诺贝尔奖。
这种方法涵盖了概念，另外Kenneth Wilson在他的大量杰出工作中给出了完整的计算内容<ref name=Wilson1975 />。威尔逊思想的力量在1974年通过对一个长期存在的问题——近藤问题（或称康多问题），的建设性迭代重整化解决方案得到了证明，在此之前，他的新方法在1971年的二阶相变理论和临界现象的开创性发展也得到了证明。1982年，鉴于威尔逊杰出的贡献，他被授予诺贝尔奖。
这种方法涵盖了概念点，并给出了充分的计算实质。
这种方法涵盖了概念点，并给出了充分的计算实质。
=== 原理 ===
=== 原理 ===
更专业地来说，让我们假设我们有一个由状态变量<math>\{s_i\}</math>和耦合常数<math>\{J_k\}</math>的某个函数<math>Z</math>描述的理论。这个函数可以是配分函数、作用函数、哈密顿函数等等。它必须包含整个系统的物理描述。
更专业地来说，让我们假设我们有一个由状态变量<math>\{s_i\}</math>和耦合常数<math>\{J_k\}</math>的某个函数<math>Z</math>描述的理论。这个函数可以是配分函数、作用函数、哈密顿函数等等。它必须包含整个系统的物理描述。
系统在大尺度上可能的宏观状态是由这组固定点给出的。
=== 重整化群的固定点 ===
=== 重整化群的固定点 ===
重整化群流中最重要的内容是它的固定点。固定点是由与流相关的β函数的消失来定义的。然后根据定义，重整化群的固定点是标度不变的。在许多物理领域内，标度不变性扩大为正形不变性。然后在固定点处符合共形场论。
重整化群流中最重要的内容是它的固定点。固定点是由与流相关的β函数的消失来定义的。然后根据定义，重整化群的固定点是标度不变的。在许多物理领域内，标度不变性扩大为正形不变性。然后在固定点处符合共形场论。
|bibcode = 1988PhR...167..241C | author-link=David J E Callaway
|bibcode = 1988PhR...167..241C | author-link=David J E Callaway
}}</ref>
}}</ref>
* Zeno's paradoxes
* Zeno's paradoxes
{{reflist|35em}}
{{reflist|35em}}
== 拓展阅读 ==
== 拓展阅读 ==
=== 概述 ===
=== 概述 ===
* {{cite journal |doi=10.1007/BF01255832|title=The conceptual foundations and the philosophical aspects of renormalization theory|journal=Synthese|volume=97|pages=33–108|year=1993|last1=Cao|first1=Tian Yu|last2=Schweber|first2=Silvan S.|s2cid=46968305}}
* {{cite journal |doi=10.1007/BF01255832|title=The conceptual foundations and the philosophical aspects of renormalization theory|journal=Synthese|volume=97|pages=33–108|year=1993|last1=Cao|first1=Tian Yu|last2=Schweber|first2=Silvan S.|s2cid=46968305}}
* [[Dmitry Shirkov|Shirkov, Dmitry]]; ''Fifty Years of the Renormalization Group'', C.E.R.N. Courrier 41(7) (2001). Full text available at : [http://www.cerncourier.com/main/article/41/7/14 ''I.O.P Magazines''].
* [[Dmitry Shirkov|Shirkov, Dmitry]]; ''Fifty Years of the Renormalization Group'', C.E.R.N. Courrier 41(7) (2001). Full text available at : [http://www.cerncourier.com/main/article/41/7/14 ''I.O.P Magazines''].
==编者推荐==
==编者推荐==
===集智文章===
===集智文章===
[[file:wxsync-2020-10-5e9c8d76f2b8177de30c4768d155c9a2.jpeg |300px|thumb|right|图1：我们不需要分析单个的水分子来理解水滴的行为，也不需要分析水滴来研究水波。这种在不同尺度之间转移焦点的能力正是重整化的本质。]]
[[file:wxsync-2020-10-5e9c8d76f2b8177de30c4768d155c9a2.jpeg |300px|thumb|right|图1：我们不需要分析单个的水分子来理解水滴的行为，也不需要分析水滴来研究水波。这种在不同尺度之间转移焦点的能力正是重整化的本质。]]