添加130,232字节
、 2020年5月12日 (二) 17:30
此词条暂由彩云小译翻译,未经人工整理和审校,带来阅读不便,请见谅。
{{Use American English|date=January 2019}}
{{Use mdy dates|date=January 2019}}
{{Short description|Process of assuring meaningful mathematical results in quantum field theory and related disciplines}}
{{Renormalization and regularization}}
{{Quantum field theory|cTopic=Tools}}
'''Renormalization''' is a collection of techniques in [[quantum field theory]], the [[statistical mechanics]] of fields, and the theory of [[self-similarity|self-similar]] geometric structures, that are used to treat [[infinity|infinities]] arising in calculated quantities by altering values of quantities to compensate for effects of their '''self-interactions'''<!--boldface per WP:R#PLA; 'Self-interaction' and 'Self-interactions' redirect here-->. But even if no infinities arose in [[One-loop Feynman diagram|loop diagrams]] in quantum field theory, it could be shown that it would be necessary to renormalize the mass and fields appearing in the original [[Lagrangian (field theory)|Lagrangian]].<ref>See e.g., Weinberg vol I, chapter 10.</ref>
Renormalization is a collection of techniques in quantum field theory, the statistical mechanics of fields, and the theory of self-similar geometric structures, that are used to treat infinities arising in calculated quantities by altering values of quantities to compensate for effects of their self-interactions<!--boldface per WP:R#PLA; 'Self-interaction' and 'Self-interactions' redirect here-->. But even if no infinities arose in loop diagrams in quantum field theory, it could be shown that it would be necessary to renormalize the mass and fields appearing in the original Lagrangian.
重整化是量子场论、场的统计力学和自相似几何结构理论中的一系列技术,这些技术通过改变量的值以补偿自相互作用的影响来处理计算量中产生的无穷大。但是,即使量子场论中的环路图没有无穷大,也可以证明,对原拉格朗日函数中出现的质量和场进行重整化是必要的。
For example, an [[electron]] theory may begin by postulating an electron with an initial mass and charge. In [[quantum field theory]] a cloud of [[virtual particle]]s, such as [[photon]]s, [[positron]]s, and others surrounds and interacts with the initial electron. Accounting for the interactions of the surrounding particles (e.g. collisions at different energies) shows that the electron-system behaves as if it had a different mass and charge than initially postulated. Renormalization, in this example, mathematically replaces the initially postulated mass and charge of an electron with the experimentally observed mass and charge. Mathematics and experiments prove that positrons and more massive particles like [[proton]]s, exhibit ''precisely the same'' observed charge as the electron - even in the presence of much stronger interactions and more intense clouds of virtual particles.
For example, an electron theory may begin by postulating an electron with an initial mass and charge. In quantum field theory a cloud of virtual particles, such as photons, positrons, and others surrounds and interacts with the initial electron. Accounting for the interactions of the surrounding particles (e.g. collisions at different energies) shows that the electron-system behaves as if it had a different mass and charge than initially postulated. Renormalization, in this example, mathematically replaces the initially postulated mass and charge of an electron with the experimentally observed mass and charge. Mathematics and experiments prove that positrons and more massive particles like protons, exhibit precisely the same observed charge as the electron - even in the presence of much stronger interactions and more intense clouds of virtual particles.
例如,电子理论可以从假定电子具有初始质量和电荷开始。在量子场论中,一个由诸如光子、正电子等虚粒子组成的云团围绕着初始的电子并与之发生相互作用。考虑到周围粒子的相互作用(例如:。不同能量的碰撞)表明,电子系统的行为好像它有不同的质量和电荷比最初的假设。重整化,在这个例子中,数学上用实验观察到的质量和电荷代替了最初假设的电子的质量和电荷。数学和实验证明,正电子和质子等质量更大的粒子,即使存在更强烈的相互作用和更密集的虚粒子云,其电荷也与电子完全相同。
Renormalization specifies relationships between parameters in the theory when parameters describing large distance scales differ from parameters describing small distance scales. In high-energy particle accelerators like the [[Large Hadron Collider|CERN Large Hadron Collider]] the concept named [[Pileup (disambiguation)|pileup]] occurs when undesirable proton-proton collisions interact with data collection for simultaneous, nearby desirable measurements. Physically, the pileup of contributions from an infinity of scales involved in a problem may then result in further infinities. When describing space-time as a [[Space-time continuum|continuum]], certain statistical and quantum mechanical constructions are not [[well-defined]]. To define them, or make them unambiguous, a continuum limit must carefully remove "construction scaffolding" of lattices at various scales. Renormalization procedures are based on the requirement that certain physical quantities (such as the mass and charge of an electron) equal observed (experimental) values. That is, the experimental value of the physical quantity yields practical applications, but due to their empirical nature the observed measurement represents areas of quantum field theory that require deeper derivation from theoretical bases.
Renormalization specifies relationships between parameters in the theory when parameters describing large distance scales differ from parameters describing small distance scales. In high-energy particle accelerators like the CERN Large Hadron Collider the concept named pileup occurs when undesirable proton-proton collisions interact with data collection for simultaneous, nearby desirable measurements. Physically, the pileup of contributions from an infinity of scales involved in a problem may then result in further infinities. When describing space-time as a continuum, certain statistical and quantum mechanical constructions are not well-defined. To define them, or make them unambiguous, a continuum limit must carefully remove "construction scaffolding" of lattices at various scales. Renormalization procedures are based on the requirement that certain physical quantities (such as the mass and charge of an electron) equal observed (experimental) values. That is, the experimental value of the physical quantity yields practical applications, but due to their empirical nature the observed measurement represents areas of quantum field theory that require deeper derivation from theoretical bases.
当描述大距离尺度的参数不同于描述小距离尺度的参数时,重整化指定了理论中参数之间的关系。在像欧洲核子研究中心这样的高能粒子加速器中,当质子-质子的不期望碰撞与数据收集相互作用以便同时进行近距离的期望测量时,就会出现大型强子对撞机连接的概念。从物理上讲,一个问题所涉及的无限量级的贡献累积起来,可能会导致进一步的无限量。当把时空描述为一个连续统时,某些统计的和量子力学的结构没有很好地定义。为了定义它们,或者使它们毫不含糊,连续统的限制必须小心地移除不同尺度的晶格的“结构脚手架”。重整化过程的基础是要求某些物理量(如电子的质量和电荷)等于观察到的(实验)值。也就是说,物理量的实验值产生实际应用,但由于它们的经验性质,所观察到的测量代表了量子场论的领域,需要从理论基础进行更深入的推导。
Renormalization was first developed in [[quantum electrodynamics]] (QED) to make sense of [[infinity|infinite]] integrals in [[perturbation theory (quantum mechanics)|perturbation theory]]. Initially viewed as a suspect provisional procedure even by some of its originators, renormalization eventually was embraced as an important and [[self-consistent]] actual mechanism of scale physics in several fields of [[physics]] and [[mathematics]].
Renormalization was first developed in quantum electrodynamics (QED) to make sense of infinite integrals in perturbation theory. Initially viewed as a suspect provisional procedure even by some of its originators, renormalization eventually was embraced as an important and self-consistent actual mechanism of scale physics in several fields of physics and mathematics.
重整化最早是在20世纪量子电动力学发展起来的,用来解释摄动理论中的无穷积分。重整化最初甚至被一些发起者视为可疑的临时程序,最终在物理学和数学的几个领域中作为一个重要的、自洽的实际尺度物理机制被接受。
Today, the point of view has shifted: on the basis of the breakthrough [[renormalization group]] insights of [[Nikolay Bogolyubov]] and [[Kenneth G. Wilson|Kenneth Wilson]], the focus is on variation of physical quantities across contiguous scales, while distant scales are related to each other through "effective" descriptions. ''All scales'' are linked in a broadly systematic way, and the actual physics pertinent to each is extracted with the suitable specific computational techniques appropriate for each. Wilson clarified which variables of a system are crucial and which are redundant.
Today, the point of view has shifted: on the basis of the breakthrough renormalization group insights of Nikolay Bogolyubov and Kenneth Wilson, the focus is on variation of physical quantities across contiguous scales, while distant scales are related to each other through "effective" descriptions. All scales are linked in a broadly systematic way, and the actual physics pertinent to each is extracted with the suitable specific computational techniques appropriate for each. Wilson clarified which variables of a system are crucial and which are redundant.
今天,观点发生了转变: 基于重整化群尼古拉·博戈柳博夫和 Kenneth Wilson 的突破性见解,重点在于连续尺度间物理量的变化,而远距离尺度通过有效的描述彼此相关。所有的尺度都以广泛系统的方式联系在一起,与每个尺度相关的实际物理学用适合每个尺度的特定计算技术提取出来。威尔逊澄清了系统中哪些变量是至关重要的,哪些是冗余的。
Renormalization is distinct from [[Regularization (physics)|regularization]], another technique to control infinities by assuming the existence of new unknown physics at new scales.
Renormalization is distinct from regularization, another technique to control infinities by assuming the existence of new unknown physics at new scales.
重整化不同于正则化,后者是另一种通过假设新的未知物理学存在于新的尺度来控制无穷大的技术。
== Self-interactions in classical physics ==
[[Image:Renormalized-vertex.png|thumbnail|upright=1.3|Figure 1. Renormalization in quantum electrodynamics: The simple electron/photon interaction that determines the electron's charge at one renormalization point is revealed to consist of more complicated interactions at another.]]
Figure 1. Renormalization in quantum electrodynamics: The simple electron/photon interaction that determines the electron's charge at one renormalization point is revealed to consist of more complicated interactions at another.
图1。量子电动力学中的重整化: 确定一个重整化点上电子电荷的简单电子 / 光子相互作用被揭示为由另一个重整化点上更复杂的相互作用组成。
The problem of infinities first arose in the [[classical electrodynamics]] of [[Elementary particle|point particles]] in the 19th and early 20th century.
The problem of infinities first arose in the classical electrodynamics of point particles in the 19th and early 20th century.
无穷大问题最早出现在19世纪和20世纪初的点粒子经典电动力学中。
The mass of a charged particle should include the mass-energy in its electrostatic field ([[electromagnetic mass]]). Assume that the particle is a charged spherical shell of radius {{mvar|r<sub>e</sub>}}. The mass–energy in the field is
The mass of a charged particle should include the mass-energy in its electrostatic field (electromagnetic mass). Assume that the particle is a charged spherical shell of radius . The mass–energy in the field is
带电粒子的质量应包括其静电场(电磁质量)中的质能。假设这个粒子是一个带电的半径球壳。场中的质量-能量是
:<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>
数学 m text { em } int frac {1} e ^ 2,dV r } ^ infty frac {1}左(frac {4 pi ^ 2}右) ^ 4 pi ^ 2,frac {8 pi ^ 2} ,/ math
which becomes infinite as {{math|''r''<sub>e</sub> → 0}}. This implies that the point particle would have infinite [[inertia]], making it unable to be accelerated. Incidentally, the value of {{mvar|r<sub>e</sub>}} that makes <math>m_\text{em}</math> equal to the electron mass is called the [[classical electron radius]], which (setting <math>q = e</math> and restoring factors of {{mvar|c}} and <math>\varepsilon_0</math>) turns out to be
which becomes infinite as . This implies that the point particle would have infinite inertia, making it unable to be accelerated. Incidentally, the value of that makes <math>m_\text{em}</math> equal to the electron mass is called the classical electron radius, which (setting <math>q = e</math> and restoring factors of and <math>\varepsilon_0</math>) turns out to be
变得无穷无尽。这意味着点粒子将具有无穷大的惯性,使它无法被加速。顺便说一句,这个值使得数学模型 / 数学等于电子质量,这个值被称为电子经典半径,它(设置数学 q e / 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>
数学计算公式: 4 × 10 ^ 15 × 10 ^ 15 × 10 ^ 15 × 10 ^ 15 × 10 ^ 15 × 10 ^ 15 × 10 ^ 15 × 10 ^ 15 × 10 ^ 15 × 10 ^ 15 × 10 ^ 15 × 10 ^ 15 × 10 ^ 15 × 10 ^ 15 × 10 ^ 12 × 10 ^ 15 × 10 ^ 15 × 10 ^ 15 × 10 ^ 15 × 10 ^ 15 × 10 ^ 15
where <math>\alpha \approx 1/137</math> is the [[fine-structure constant]], and <math>\hbar/(m_e c)</math> is the [[Compton wavelength]] of the electron.
where <math>\alpha \approx 1/137</math> is the fine-structure constant, and <math>\hbar/(m_e c)</math> is the Compton wavelength of the electron.
Math alpha approx 1 / 137 / math 是精细结构常数,math hbar / (m e c) / math 是电子的康普顿波长。
Renormalization: The total effective mass of a spherical charged particle includes the actual bare mass of the spherical shell (in addition to the mass mentioned above associated with its electric field). If the shell's bare mass is allowed to be negative, it might be possible to take a consistent point limit.{{Citation needed|date=March 2015}} This was called ''renormalization'', and [[Hendrik Lorentz|Lorentz]] and [[Max Abraham|Abraham]] attempted to develop a classical theory of the electron this way. This early work was the inspiration for later attempts at [[regularization (physics)|regularization]] and renormalization in quantum field theory.
Renormalization: The total effective mass of a spherical charged particle includes the actual bare mass of the spherical shell (in addition to the mass mentioned above associated with its electric field). If the shell's bare mass is allowed to be negative, it might be possible to take a consistent point limit. This was called renormalization, and Lorentz and Abraham attempted to develop a classical theory of the electron this way. This early work was the inspiration for later attempts at regularization and renormalization in quantum field theory.
重整化: 球形带电粒子的总有效质量包括球壳的实际裸质量(除了上述与其电场相关的质量)。如果允许壳体的裸质量为负,则可以取一个一致的点极限。这就是所谓的重整化,洛伦兹和亚伯拉罕试图用这种方式发展出电子的经典理论。这项早期的工作对于后来在量子场论中正则化和重整化的尝试是一种启发。
(See also [[regularization (physics)]] for an alternative way to remove infinities from this classical problem, assuming new physics exists at small scales.)
(See also regularization (physics) for an alternative way to remove infinities from this classical problem, assuming new physics exists at small scales.)
(假设在小尺度上存在新的物理学,另见正则化(物理学)从这个经典问题中去除无穷大的替代方法。)
When calculating the [[electromagnetism|electromagnetic]] interactions of [[electric charge|charged]] particles, it is tempting to ignore the ''[[back-reaction]]'' of a particle's own field on itself. (Analogous to the [[back-EMF]] of circuit analysis.) But this back-reaction is necessary to explain the friction on charged particles when they emit radiation. If the electron is assumed to be a point, the value of the back-reaction diverges, for the same reason that the mass diverges, because the field is [[inverse-square law|inverse-square]].
When calculating the electromagnetic interactions of charged particles, it is tempting to ignore the back-reaction of a particle's own field on itself. (Analogous to the back-EMF of circuit analysis.) But this back-reaction is necessary to explain the friction on charged particles when they emit radiation. If the electron is assumed to be a point, the value of the back-reaction diverges, for the same reason that the mass diverges, because the field is inverse-square.
在计算带电粒子的电磁相互作用时,人们很容易忽略粒子自身场对自身的反作用。(类似于电路分析的反电动势)但是这种反作用对于解释带电粒子发射辐射时的摩擦是必要的。如果假设电子是一个点,反向反应的值就会发散,这和质量发散的原因是一样的,因为场是平方反比的。
The [[Abraham–Lorentz force|Abraham–Lorentz theory]] had a noncausal "pre-acceleration." Sometimes an electron would start moving ''before'' the force is applied. This is a sign that the point limit is inconsistent.
The Abraham–Lorentz theory had a noncausal "pre-acceleration." Sometimes an electron would start moving before the force is applied. This is a sign that the point limit is inconsistent.
亚伯拉罕-洛伦兹理论有一个非因果的“预加速度”有时,电子在施加力之前就开始移动了。这是点限制不一致的标志。
The trouble was worse in classical field theory than in quantum field theory, because in quantum field theory a charged particle experiences [[Zitterbewegung]] due to interference with virtual particle-antiparticle pairs, thus effectively smearing out the charge over a region comparable to the Compton wavelength. In quantum electrodynamics at small coupling, the electromagnetic mass only diverges as the logarithm of the radius of the particle.
The trouble was worse in classical field theory than in quantum field theory, because in quantum field theory a charged particle experiences Zitterbewegung due to interference with virtual particle-antiparticle pairs, thus effectively smearing out the charge over a region comparable to the Compton wavelength. In quantum electrodynamics at small coupling, the electromagnetic mass only diverges as the logarithm of the radius of the particle.
经典场论的问题比量子场论的问题更严重,因为在量子场论中,带电粒子经历了 Zitterbewegung,这是由于虚粒子-反粒子对的干涉,从而有效地抹去了一个可与康普顿波长相比的区域上的电荷。在小耦合的量子电动力学中,电磁质量只随粒子半径的对数发散。
== Divergences in quantum electrodynamics ==
{{anchor|renormalization_loop_divergence}}
[[Image:vacuum polarization.svg|thumb|(a) Vacuum polarization, a.k.a. charge screening. This loop has a logarithmic ultraviolet divergence.]]
(a) Vacuum polarization, a.k.a. charge screening. This loop has a logarithmic ultraviolet divergence.
(a) Vacuum polarization, a.k.a.电荷屏蔽。这个环有一个对数的紫外辐散。
[[Image:selfE.svg|thumb|(b) Self-energy diagram in QED]]
(b) Self-energy diagram in QED
(b)量子电动力学中的自能图
[[Image:Penguin diagram.JPG|thumb|(c) Example of a “penguin” diagram]]
(c) Example of a “penguin” diagram
(c)「企鹅」图示例子
When developing [[quantum electrodynamics]] in the 1930s, [[Max Born]], [[Werner Heisenberg]], [[Pascual Jordan]], and [[Paul Dirac]] discovered that in perturbative corrections many integrals were divergent (see [[The problem of infinities]]).
When developing quantum electrodynamics in the 1930s, Max Born, Werner Heisenberg, Pascual Jordan, and Paul Dirac discovered that in perturbative corrections many integrals were divergent (see The problem of infinities).
在20世纪30年代开发量子电动力学时,Max Born,维尔纳·海森堡,Pascual Jordan 和 Paul Dirac 发现许多积分在微扰修正中是发散的(见无穷大问题)。
One way of describing the [[perturbation theory (quantum mechanics)|perturbation theory]] corrections' divergences was discovered in 1947–49 by<!--in chronological order--> [[Hans Kramers]]<!--June 1947-->,<ref>Kramers presented his work at the 1947 [[Shelter Island Conference]], repeated in 1948 at the [[Solvay Conference]]. The latter did not appear in print until the Proceedings of the Solvay Conference, published in 1950 (see Laurie M. Brown (ed.), ''Renormalization: From Lorentz to Landau (and Beyond)'', Springer, 2012, p. 53). Kramers' approach was [[nonrelativistic]] (see [[Jagdish Mehra]], Helmut Rechenberg, ''The Conceptual Completion and Extensions of Quantum Mechanics 1932-1941. Epilogue: Aspects of the Further Development of Quantum Theory 1942-1999: Volumes 6, Part 2'', Springer, 2001, p. 1050).</ref> [[Hans Bethe]]<!--August 1947-->,<ref>{{cite journal |author=H. Bethe |authorlink=Hans Bethe |year=1947 |title=The Electromagnetic Shift of Energy Levels |journal=[[Physical Review]] |volume=72 |pages=339–341 |doi=10.1103/PhysRev.72.339 |bibcode=1947PhRv...72..339B |issue=4}}</ref>
One way of describing the perturbation theory corrections' divergences was discovered in 1947–49 by<!--in chronological order--> Hans Kramers<!--June 1947-->, Hans Bethe<!--August 1947-->,
1947年至1949年间,汉斯 · 克莱默斯(Hans Kramers)按照时间顺序发现了一种描述摄动理论修正差异的方法,
[[Julian Schwinger]]<!--February 1948-->,<ref>{{cite journal |author=Schwinger, J. |title=On quantum-electrodynamics and the magnetic moment of the electron |journal=[[Physical Review]] |volume=73 |issue=4 |pages=416–417 |year=1948|doi=10.1103/PhysRev.73.416 |bibcode=1948PhRv...73..416S |doi-access=free }}</ref><ref>{{cite journal |author=Schwinger, J. |series=Quantum Electrodynamics |title=I. A covariant formulation |journal=[[Physical Review]] |volume=74 |issue=10 |pages=1439–1461 |year=1948|doi=10.1103/PhysRev.74.1439 }}</ref><ref>{{cite journal |author=Schwinger, J. |series=Quantum Electrodynamics |title=II. Vacuum polarization and self-energy |journal=[[Physical Review]] |volume=75 |issue=4 |pages=651–679 |year=1949|doi=10.1103/PhysRev.75.651 }}</ref><ref>{{cite journal |author=Schwinger, J. |series=Quantum Electrodynamics |title=III. The electromagnetic properties of the electron radiative corrections to scattering |journal=[[Physical Review]] |volume=76 |issue=6 |pages=790–817 |year=1949|doi=10.1103/PhysRev.76.790 }}</ref> [[Richard Feynman]]<!--April 1948-->,<ref>{{cite journal |first=Richard P. |last=Feynman |title=Space-time approach to non-relativistic quantum mechanics |journal=[[Reviews of Modern Physics]] |volume=20 |pages=367–387 |year=1948 |doi=10.1103/RevModPhys.20.367 |bibcode=1948RvMP...20..367F |issue=2|url=https://authors.library.caltech.edu/47756/1/FEYrmp48.pdf }}</ref><ref>{{cite journal |last=Feynman |first= Richard P. |title=A relativistic cut-off for classical electrodynamics |journal=[[Physical Review]] |volume=74 |issue=8 |pages= 939–946 |year=1948 |doi=10.1103/PhysRev.74.939 |bibcode=1948PhRv...74..939F|url= https://authors.library.caltech.edu/3516/1/FEYpr48a.pdf }}</ref><ref>{{cite journal |first=Richard P. |last=Feynman |title=A relativistic cut-off for quantum electrodynamics |journal=[[Physical Review]] |volume=74 |pages=1430–1438 |year=1948 |doi=10.1103/PhysRev.74.1430 |bibcode=1948PhRv...74.1430F |issue=10|url=https://authors.library.caltech.edu/3517/1/FEYpr48b.pdf }}</ref> and [[Shin'ichiro Tomonaga]]<!--July 1948 (Koba–Tomonaga); according to S. S. Schweber, ''QED'', 1994, p. 269, Koba–Tomonaga contains the crucial calculation-->,<ref>{{cite journal | last=Tomonaga | first=S. | title=On a Relativistically Invariant Formulation of the Quantum Theory of Wave Fields | journal=Progress of Theoretical Physics | publisher=Oxford University Press (OUP) | volume=1 | issue=2 | date=1946-08-01 | issn=1347-4081 | doi=10.1143/ptp.1.27 | pages=27–42|doi-access=free| bibcode=1946PThPh...1...27T }}</ref><ref>{{cite journal | last=Koba | first=Z. | last2=Tati | first2=T. | last3=Tomonaga | first3=S.-i. | title=On a Relativistically Invariant Formulation of the Quantum Theory of Wave Fields. II: Case of Interacting Electromagnetic and Electron Fields | journal=Progress of Theoretical Physics | publisher=Oxford University Press (OUP) | volume=2 | issue=3 | date=1947-10-01 | issn=0033-068X | doi=10.1143/ptp/2.3.101 | pages=101–116|doi-access=free| bibcode=1947PThPh...2..101K }}</ref><ref>{{cite journal | last=Koba | first=Z. | last2=Tati | first2=T. | last3=Tomonaga | first3=S.-i. | title=On a Relativistically Invariant Formulation of the Quantum Theory of Wave Fields. III: Case of Interacting Electromagnetic and Electron Fields | journal=Progress of Theoretical Physics | publisher=Oxford University Press (OUP) | volume=2 | issue=4 | date=1947-12-01 | issn=0033-068X | doi=10.1143/ptp/2.4.198 | pages=198–208|doi-access=free| bibcode=1947PThPh...2..198K }}</ref><ref>{{cite journal | last=Kanesawa | first=S. | last2=Tomonaga | first2=S.-i. | title=On a Relativistically Invariant Formulation of the Quantum Theory of Wave Fields. [IV]: Case of Interacting Electromagnetic and Meson Fields | journal=Progress of Theoretical Physics | publisher=Oxford University Press (OUP) | volume=3 | issue=1 | date=1948-03-01 | issn=0033-068X | doi=10.1143/ptp/3.1.1 | pages=1–13|doi-access=free}}</ref><ref>{{cite journal | last=Kanesawa | first=S. | last2=Tomonaga | first2=S.-i. | title=On a Relativistically Invariant Formulation of the Quantum Theory of Wave Fields V: Case of Interacting Electromagnetic and Meson Fields | journal=Progress of Theoretical Physics | publisher=Oxford University Press (OUP) | volume=3 | issue=2 | date=1948-06-01 | issn=0033-068X | doi=10.1143/ptp/3.2.101 | pages=101–113|doi-access=free| bibcode=1948PThPh...3..101K }}</ref><ref>{{cite journal | last=Koba | first=Z. | last2=Tomonaga | first2=S.-i. | title=On Radiation Reactions in Collision Processes. I: Application of the "Self-Consistent" Subtraction Method to the Elastic Scattering of an Electron | journal=Progress of Theoretical Physics | publisher=Oxford University Press (OUP) | volume=3 | issue=3 | date=1948-09-01 | issn=0033-068X | doi=10.1143/ptp/3.3.290 | pages=290–303|doi-access=free| bibcode=1948PThPh...3..290K }}</ref><ref>{{cite journal | last=Tomonaga | first=Sin-Itiro | last2=Oppenheimer | first2=J. R. |author-link2=J. Robert Oppenheimer| title=On Infinite Field Reactions in Quantum Field Theory | journal=Physical Review | publisher=American Physical Society (APS) | volume=74 | issue=2 | date=1948-07-15 | issn=0031-899X | doi=10.1103/physrev.74.224 | pages=224–225| bibcode=1948PhRv...74..224T }}</ref> and systematized by [[Freeman Dyson]] in 1949.<ref>{{cite journal |author=Dyson, F. J. |title=The radiation theories of Tomonaga, Schwinger, and Feynman |journal=Phys. Rev. |volume=75 |pages=486–502 |year=1949|doi=10.1103/PhysRev.75.486 |issue=3 |bibcode=1949PhRv...75..486D |doi-access=free }}</ref> The divergences appear in radiative corrections involving [[Feynman diagram]]s with closed ''loops'' of [[virtual particle]]s in them.
Julian Schwinger<!--February 1948-->, Richard Feynman<!--April 1948-->, and Shin'ichiro Tomonaga<!--July 1948 (Koba–Tomonaga); according to S. S. Schweber, QED, 1994, p. 269, Koba–Tomonaga contains the crucial calculation-->, and systematized by Freeman Dyson in 1949. The divergences appear in radiative corrections involving Feynman diagrams with closed loops of virtual particles in them.
朱利安·施温格,1948年2月---- Richard Feynman!---1948年4月---- 和 Shin‘ ichiro Tomonaga!---- 1948年7月 koba-Tomonaga; 根据 s. schweber,qed,1994,p. 269,koba-Tomonaga 包含了至关重要的计算---- 并由 Dyson 在1949年系统化。在费曼图的辐射修正中出现了发散现象,其中包含虚粒子的闭环。
While virtual particles obey [[conservation of energy]] and [[momentum]], they can have any energy and momentum, even one that is not allowed by the relativistic [[energy–momentum relation]] for the observed mass of that particle (that is, <math>E^2 - p^2</math> is not necessarily the squared mass of the particle in that process, e.g. for a photon it could be nonzero). Such a particle is called [[on shell|off-shell]]. When there is a loop, the momentum of the particles involved in the loop is not uniquely determined by the energies and momenta of incoming and outgoing particles. A variation in the energy of one particle in the loop can be balanced by an equal and opposite change in the energy of another particle in the loop, without affecting the incoming and outgoing particles. Thus many variations are possible. So to find the amplitude for the loop process, one must [[integral|integrate]] over ''all'' possible combinations of energy and momentum that could travel around the loop.
While virtual particles obey conservation of energy and momentum, they can have any energy and momentum, even one that is not allowed by the relativistic energy–momentum relation for the observed mass of that particle (that is, <math>E^2 - p^2</math> is not necessarily the squared mass of the particle in that process, e.g. for a photon it could be nonzero). Such a particle is called off-shell. When there is a loop, the momentum of the particles involved in the loop is not uniquely determined by the energies and momenta of incoming and outgoing particles. A variation in the energy of one particle in the loop can be balanced by an equal and opposite change in the energy of another particle in the loop, without affecting the incoming and outgoing particles. Thus many variations are possible. So to find the amplitude for the loop process, one must integrate over all possible combinations of energy and momentum that could travel around the loop.
虽然虚粒子遵从能量和动量守恒,但是它们可以有任何能量和动量,即使是那个粒子的观测质量的相对论能量-动量关系不允许的能量和动量(也就是说,数学 e ^ 2-p ^ 2 / math 不一定是那个过程中粒子的质量的平方。对于光子来说,它可能是非零的)。这种粒子叫做脱壳粒子。当环路存在时,环路中的粒子的动量不是由入射粒子和出射粒子的能量和动量决定的。环中一个粒子能量的变化可以通过环中另一个粒子能量的相等和相反的变化来平衡,而不影响入射和出射粒子。因此有许多变化是可能的。所以为了找到这个循环过程的振幅,我们必须积分所有可能的能量和动量的组合,这些能量和动量可以在循环中传播。
These integrals are often ''divergent'', that is, they give infinite answers. The divergences that are significant are the "[[ultraviolet divergence|ultraviolet]]" (UV) ones. An ultraviolet divergence can be described as one that comes from
These integrals are often divergent, that is, they give infinite answers. The divergences that are significant are the "ultraviolet" (UV) ones. An ultraviolet divergence can be described as one that comes from
这些积分常常是发散的,也就是说,它们给出无穷的答案。最显著的分歧是“紫外线”(UV)分歧。紫外线发散可以描述为一个来自
* the region in the integral where all particles in the loop have large energies and momenta,
* very short [[wavelength]]s and high-[[frequency|frequencies]] fluctuations of the fields, in the [[Path integral formulation|path integral]] for the field,
* very short proper-time between particle emission and absorption, if the loop is thought of as a sum over particle paths.
So these divergences are short-distance, short-time phenomena.
So these divergences are short-distance, short-time phenomena.
所以这些分歧是短距离、短时间的现象。
Shown in the pictures at the right margin, there are exactly three one-loop divergent loop diagrams in quantum electrodynamics:<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>
Shown in the pictures at the right margin, there are exactly three one-loop divergent loop diagrams in quantum electrodynamics:
在右边的图片中,我们可以看到在量子电动力学中有三个单循环的发散性循环图:
:(a) A photon creates a virtual electron–[[positron]] pair, which then annihilates. This is a [[vacuum polarization]] diagram.
(a) A photon creates a virtual electron–positron pair, which then annihilates. This is a vacuum polarization diagram.
(a)一个光子产生一个虚电子-正电子对,这个对随后湮灭。这是一个真空极化图表。
:(b) An electron quickly emits and reabsorbs a virtual photon, called a [[self-energy]].
(b) An electron quickly emits and reabsorbs a virtual photon, called a self-energy.
(b)一个电子迅速放射并重新吸收一个虚光子,称为自能。
:(c) An electron emits a photon, emits a second photon, and reabsorbs the first. This process is shown in the section below in figure 2, and it is called a ''[[vertex renormalization]]''. The Feynman diagram for this is also called a “[[penguin diagram]]” due to its shape remotely resembling a penguin (with the initial and final state electrons as the arms and legs, the second photon as the body and the first looping photon as the head).
(c) An electron emits a photon, emits a second photon, and reabsorbs the first. This process is shown in the section below in figure 2, and it is called a vertex renormalization. The Feynman diagram for this is also called a “penguin diagram” due to its shape remotely resembling a penguin (with the initial and final state electrons as the arms and legs, the second photon as the body and the first looping photon as the head).
(c)电子发射一个光子,第二个光子,并重新吸收第一个光子。这个过程如下面的图2所示,它被称为顶点重整化。这个费曼图也被称为“企鹅图” ,因为它的形状远远类似于企鹅(最初和最终状态的电子作为胳膊和腿,第二个光子作为身体,第一个循环光子作为头)。
The three divergences correspond to the three parameters in the theory under consideration:
The three divergences correspond to the three parameters in the theory under consideration:
这三种不同对应于所审议的理论中的三个参数:
# The field normalization Z.
The field normalization Z.
场的归一化 z。
# The mass of the electron.
The mass of the electron.
电子的质量。
# The charge of the electron.
The charge of the electron.
电荷电子的电荷。
The second class of divergence called an [[infrared divergence]], is due to massless particles, like the photon. Every process involving charged particles emits infinitely many coherent photons of infinite wavelength, and the amplitude for emitting any finite number of photons is zero. For photons, these divergences are well understood. For example, at the 1-loop order, the [[vertex function]] has both ultraviolet and ''infrared'' divergences. In contrast to the ultraviolet divergence, the infrared divergence does not require the renormalization of a parameter in the theory involved. The infrared divergence of the vertex diagram is removed by including a diagram similar to the vertex diagram with the following important difference: the photon connecting the two legs of the electron is cut and replaced by two [[on-shell]] (i.e. real) photons whose wavelengths tend to infinity; this diagram is equivalent to the [[bremsstrahlung]] process. This additional diagram must be included because there is no physical way to distinguish a zero-energy photon flowing through a loop as in the vertex diagram and zero-energy photons emitted through [[bremsstrahlung]]. From a mathematical point of view, the IR divergences can be regularized by assuming fractional differentiation w.r.t. a parameter, for example:
The second class of divergence called an infrared divergence, is due to massless particles, like the photon. Every process involving charged particles emits infinitely many coherent photons of infinite wavelength, and the amplitude for emitting any finite number of photons is zero. For photons, these divergences are well understood. For example, at the 1-loop order, the vertex function has both ultraviolet and infrared divergences. In contrast to the ultraviolet divergence, the infrared divergence does not require the renormalization of a parameter in the theory involved. The infrared divergence of the vertex diagram is removed by including a diagram similar to the vertex diagram with the following important difference: the photon connecting the two legs of the electron is cut and replaced by two on-shell (i.e. real) photons whose wavelengths tend to infinity; this diagram is equivalent to the bremsstrahlung process. This additional diagram must be included because there is no physical way to distinguish a zero-energy photon flowing through a loop as in the vertex diagram and zero-energy photons emitted through bremsstrahlung. From a mathematical point of view, the IR divergences can be regularized by assuming fractional differentiation w.r.t. a parameter, for example:
第二类发散叫做红外发散,是由于没有质量的粒子,比如光子。每一个涉及带电粒子的过程都会发出无限多个具有无限波长的相干光子,而发出有限数量光子的振幅为零。对于光子来说,这些发散是可以理解的。例如,在1环阶段,顶点函数同时具有紫外和红外发散。与紫外发散相比,红外发散不需要理论中参数的重整化。通过包含一个类似于顶点图的图来消除顶点图的红外发散,这个图有以下重要的区别: 连接电子两个支柱的光子被切割并被两个在壳层上的(即:。波长趋于无穷大的光子; 这个图表等价于韧致辐射过程。这个附加图必须包括在内,因为没有任何物理方法可以区分通过环路的零能光子,如顶点图和通过轫致辐射发射的零能光子。从数学的角度来看,通过假设分数阶微分,可以使 IR 发散正则化。一个参数,例如:
:<math> \left( p^2 - a^2 \right)^{\frac{1}{2}} </math>
<math> \left( p^2 - a^2 \right)^{\frac{1}{2}} </math>
Math left (p ^ 2-a ^ 2 right) ^ frac {1} / math
is well defined at {{math|''p'' {{=}} ''a''}} but is UV divergent; if we take the {{frac|3|2}}-th [[fractional derivative]] with respect to {{math|−''a''<sup>2</sup>}}, we obtain the IR divergence
is well defined at a}} but is UV divergent; if we take the -th fractional derivative with respect to , we obtain the IR divergence
在 a }处定义良好,但是是紫外发散的,如果我们对 a }取 -th 分数导数,我们就得到了红外发散
:<math> \frac{1}{p^2 - a^2},</math>
<math> \frac{1}{p^2 - a^2},</math>
数学,数学,数学
so we can cure IR divergences by turning them into UV divergences.{{clarify|date=May 2012}}
so we can cure IR divergences by turning them into UV divergences.
因此,我们可以通过将红外散射转化为紫外散射来治疗红外散射。
=== A loop divergence ===
[[Image:Loop-diagram.png|thumb|upright=1.1|Figure 2. A diagram contributing to electron–electron scattering in QED. The loop has an ultraviolet divergence.]]
Figure 2. A diagram contributing to electron–electron scattering in QED. The loop has an ultraviolet divergence.
图2。量子电动力学中电子-电子散射的图解。这个环有一个紫外辐射。
The diagram in Figure 2 shows one of the several one-loop contributions to electron–electron scattering in QED. The electron on the left side of the diagram, represented by the solid line, starts out with 4-momentum {{math|''p<sup>μ</sup>''}} and ends up with 4-momentum {{math|''r<sup>μ</sup>''}}. It emits a virtual photon carrying {{math|''r<sup>μ</sup>'' − ''p<sup>μ</sup>''}} to transfer energy and momentum to the other electron. But in this diagram, before that happens, it emits another virtual photon carrying 4-momentum {{math|''q<sup>μ</sup>''}}, and it reabsorbs this one after emitting the other virtual photon. Energy and momentum conservation do not determine the 4-momentum {{math|''q<sup>μ</sup>''}} uniquely, so all possibilities contribute equally and we must integrate.
The diagram in Figure 2 shows one of the several one-loop contributions to electron–electron scattering in QED. The electron on the left side of the diagram, represented by the solid line, starts out with 4-momentum and ends up with 4-momentum . It emits a virtual photon carrying to transfer energy and momentum to the other electron. But in this diagram, before that happens, it emits another virtual photon carrying 4-momentum , and it reabsorbs this one after emitting the other virtual photon. Energy and momentum conservation do not determine the 4-momentum uniquely, so all possibilities contribute equally and we must integrate.
图2中的图表显示了 QED 中电子-电子散射的几个单环贡献之一。图中左边的电子,用实线表示,以4- 动量开始,以4- 动量结束。它放射出一个虚光子,携带能量和动量传递给另一个电子。但是在这个图表中,在它发生之前,它会放出另一个虚拟光子,携带4个动量,在放出另一个虚拟光子之后,它会重新吸收这个。能量守恒和动量守恒并不是决定4- 动量的唯一因素,因此所有的可能性都是平等的,我们必须加以整合。
This diagram's amplitude ends up with, among other things, a factor from the loop of
This diagram's amplitude ends up with, among other things, a factor from the loop of
这个图表的振幅,除了其他因素之外,还有一个来自
:<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>
(r-q) ^ 2-m ^ 2 + i-m ^ 2 + i ^ 2 + i ^ 2 + i ^ 2 + i ^ 2 + i ^ 2. 数学
The various {{math|''γ<sup>μ</sup>''}} factors in this expression are [[gamma matrices]] as in the covariant formulation of the [[Dirac equation]]; they have to do with the spin of the electron. The factors of {{mvar|e}} are the electric coupling constant, while the <math>i\epsilon</math> provide a heuristic definition of the contour of integration around the poles in the space of momenta. The important part for our purposes is the dependency on {{math|''q<sup>μ</sup>''}} of the three big factors in the integrand, which are from the [[propagator]]s of the two electron lines and the photon line in the loop.
The various factors in this expression are gamma matrices as in the covariant formulation of the Dirac equation; they have to do with the spin of the electron. The factors of are the electric coupling constant, while the <math>i\epsilon</math> provide a heuristic definition of the contour of integration around the poles in the space of momenta. The important part for our purposes is the dependency on of the three big factors in the integrand, which are from the propagators of the two electron lines and the photon line in the loop.
这个表达式中的各种因素是类似于狄拉克方程的协变公式中的伽马矩阵,它们与电子的自旋有关。其因子是电子耦合常数,而数学 i / e / math 提供了动量空间内围绕极点积分的等高线的启发式定义。本文研究的重点是被积函数中三个重要因子的依赖性,它们分别来自于环路中的两电子线和光子线的传播子。
This has a piece with two powers of {{math|''q<sup>μ</sup>''}} on top that dominates at large values of {{math|''q<sup>μ</sup>''}} (Pokorski 1987, p. 122):
This has a piece with two powers of on top that dominates at large values of (Pokorski 1987, p. 122):
这里有一个顶上有两个幂的函数,它在大值上占主导地位(Pokorski 1987,第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>
数学 e ^ 3 gamma ^ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ μ
This integral is divergent and infinite, unless we cut it off at finite energy and momentum in some way.
This integral is divergent and infinite, unless we cut it off at finite energy and momentum in some way.
这个积分是发散的,也是无穷的,除非我们以某种方式把它截断,在有限的能量和动量下。
Similar loop divergences occur in other quantum field theories.
Similar loop divergences occur in other quantum field theories.
类似的圈发散现象在其他量子场理论中也有发生。
== Renormalized and bare quantities ==
The solution was to realize that the quantities initially appearing in the theory's formulae (such as the formula for the [[Lagrangian (field theory)|Lagrangian]]), representing such things as the electron's [[electric charge]] and [[mass]], as well as the normalizations of the quantum fields themselves, did ''not'' actually correspond to the physical constants measured in the laboratory. As written, they were ''bare'' quantities that did not take into account the contribution of virtual-particle loop effects to ''the physical constants themselves''. Among other things, these effects would include the quantum counterpart of the electromagnetic back-reaction that so vexed classical theorists of electromagnetism. In general, these effects would be just as divergent as the amplitudes under consideration in the first place; so finite measured quantities would, in general, imply divergent bare quantities.
The solution was to realize that the quantities initially appearing in the theory's formulae (such as the formula for the Lagrangian), representing such things as the electron's electric charge and mass, as well as the normalizations of the quantum fields themselves, did not actually correspond to the physical constants measured in the laboratory. As written, they were bare quantities that did not take into account the contribution of virtual-particle loop effects to the physical constants themselves. Among other things, these effects would include the quantum counterpart of the electromagnetic back-reaction that so vexed classical theorists of electromagnetism. In general, these effects would be just as divergent as the amplitudes under consideration in the first place; so finite measured quantities would, in general, imply divergent bare quantities.
解决方案是认识到最初出现在理论公式中的量(比如拉格朗日公式) ,代表电子的电荷和质量,以及量子场本身的归一化,实际上并不符合在实验室测量的物理常数。如上所述,它们是裸量,没有考虑虚粒子环效应对物理常数本身的贡献。除此之外,这些影响还包括电磁反作用的量子对应物,这让电磁学的经典理论家们非常恼火。一般来说,这些效应就像首先考虑的振幅一样发散; 所以有限的测量量,一般来说,意味着发散裸量。
To make contact with reality, then, the formulae would have to be rewritten in terms of measurable, ''renormalized'' quantities. The charge of the electron, say, would be defined in terms of a quantity measured at a specific [[kinematics|kinematic]] ''renormalization point'' or ''subtraction point'' (which will generally have a characteristic energy, called the ''renormalization scale'' or simply the [[energy scale]]). The parts of the Lagrangian left over, involving the remaining portions of the bare quantities, could then be reinterpreted as [[counterterm]]s, involved in divergent diagrams exactly ''canceling out'' the troublesome divergences for other diagrams.
To make contact with reality, then, the formulae would have to be rewritten in terms of measurable, renormalized quantities. The charge of the electron, say, would be defined in terms of a quantity measured at a specific kinematic renormalization point or subtraction point (which will generally have a characteristic energy, called the renormalization scale or simply the energy scale). The parts of the Lagrangian left over, involving the remaining portions of the bare quantities, could then be reinterpreted as counterterms, involved in divergent diagrams exactly canceling out the troublesome divergences for other diagrams.
因此,为了与现实接触,这些公式必须以可测量的、重整化的量重写。例如,电子的电荷可以根据在一个特定的运动学重整化点或减点上测量的量来定义(这个减点通常具有一个特征能量,称为重整化标度或简称为能量标度)。剩下的拉格朗日量的部分,包括剩下的裸量的部分,可以被重新解释为反项,包含在发散图中,完全抵消了其他图的麻烦的分歧。
=== Renormalization in QED ===
[[Image:Counterterm.png|thumb|upright=1.1|Figure 3. The vertex corresponding to the {{math|''Z''<sub>1</sub>}} counterterm cancels the divergence in Figure 2.]]
Figure 3. The vertex corresponding to the counterterm cancels the divergence in Figure 2.
图3。图2中对应于反项的顶点抵消了发散。
For example, in the [[quantum electrodynamics|Lagrangian of QED]]
For example, in the Lagrangian of QED
例如,在 QED 的拉格朗日函数中
:<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>
数学 l-bar-psi 左[ i-gamma-mu-left (部分 ^ mu + ie ba-b ^ mu-right)-m-b-frac {4} f b ^ mu-nu / math
the fields and coupling constant are really ''bare'' quantities, hence the subscript {{mvar|B}} above. Conventionally the bare quantities are written so that the corresponding Lagrangian terms are multiples of the renormalized ones:
the fields and coupling constant are really bare quantities, hence the subscript above. Conventionally the bare quantities are written so that the corresponding Lagrangian terms are multiples of the renormalized ones:
磁场和耦合常数实际上是极小的数量,因此上面的下标是这样的。通常,赤裸的量被写成相应的拉格朗日项是重整化项的倍数:
:<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>
左边( 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>
<math>\left(F_{\mu\nu}F^{\mu\nu}\right)_B = Z_3\, F_{\mu\nu}F^{\mu\nu}.</math>
[[Gauge invariance]], via a [[Ward–Takahashi identity]], turns out to imply that we can renormalize the two terms of the [[covariant derivative]] piece
Gauge invariance, via a Ward–Takahashi identity, turns out to imply that we can renormalize the two terms of the covariant derivative piece
规范不变性,通过 Ward-Takahashi 恒等式,证明了我们可以重新整合共变导数的两个术语
:<math>\bar \psi (\partial + ieA) \psi</math>
<math>\bar \psi (\partial + ieA) \psi</math>
数学 bar psi ( partial + ieA) psi / math
together (Pokorski 1987, p. 115), which is what happened to {{math|''Z''<sub>2</sub>}}; it is the same as {{math|''Z''<sub>1</sub>}}.
together (Pokorski 1987, p. 115), which is what happened to ; it is the same as .
一起(Pokorski 1987,第115页) ,这是发生了什么; 它是相同的。
A term in this Lagrangian, for example, the electron-photon interaction pictured in Figure 1, can then be written
A term in this Lagrangian, for example, the electron-photon interaction pictured in Figure 1, can then be written
这个拉格朗日函数中的一个术语,例如图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>
数学{ l } i-e bar psi mu a ^ μ-(z 1-1) e bar psi gamma a ^ mu psi / math
The physical constant {{mvar|e}}, the electron's charge, can then be defined in terms of some specific experiment: we set the renormalization scale equal to the energy characteristic of this experiment, and the first term gives the interaction we see in the laboratory (up to small, finite corrections from loop diagrams, providing such exotica as the high-order corrections to the [[magnetic moment]]). The rest is the counterterm. If the theory is ''renormalizable'' (see below for more on this), as it is in QED, the ''divergent'' parts of loop diagrams can all be decomposed into pieces with three or fewer legs, with an algebraic form that can be canceled out by the second term (or by the similar counterterms that come from {{math|''Z''<sub>0</sub>}} and {{math|''Z''<sub>3</sub>}}).
The physical constant , the electron's charge, can then be defined in terms of some specific experiment: we set the renormalization scale equal to the energy characteristic of this experiment, and the first term gives the interaction we see in the laboratory (up to small, finite corrections from loop diagrams, providing such exotica as the high-order corrections to the magnetic moment). The rest is the counterterm. If the theory is renormalizable (see below for more on this), as it is in QED, the divergent parts of loop diagrams can all be decomposed into pieces with three or fewer legs, with an algebraic form that can be canceled out by the second term (or by the similar counterterms that come from and ).
物理常数,也就是电子的电荷,可以通过一些特定的实验来定义: 我们将重整化标度设置为与这个实验的能量特性相等,第一个项给出了我们在实验室中看到的相互作用(从环形图中可以得到小的、有限的修正,提供诸如磁矩的高阶修正)。剩下的就是反条件了。如果该理论是可重整的(更多内容见下文) ,正如它在 QED 中一样,环路图的发散部分可以被分解成三个或更少的部分,其代数形式可以被第二个项抵消(或者被来自和的类似的反项抵消)。
The diagram with the {{math|''Z''<sub>1</sub>}} counterterm's interaction vertex placed as in Figure 3 cancels out the divergence from the loop in Figure 2.
The diagram with the counterterm's interaction vertex placed as in Figure 3 cancels out the divergence from the loop in Figure 2.
将反项的交互顶点放置在图3中的图抵消了图2中与循环的发散。
Historically, the splitting of the "bare terms" into the original terms and counterterms came before the [[renormalization group]] insight due to [[Kenneth G. Wilson|Kenneth Wilson]].<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> According to such [[renormalization group]] insights, detailed in the next section, this splitting is unnatural and actually unphysical, as all scales of the problem enter in continuous systematic ways.
Historically, the splitting of the "bare terms" into the original terms and counterterms came before the renormalization group insight due to Kenneth Wilson. According to such renormalization group insights, detailed in the next section, this splitting is unnatural and actually unphysical, as all scales of the problem enter in continuous systematic ways.
从历史上看,把“赤裸的术语”分解为原始术语和对位术语的做法,早于肯尼思 · 威尔逊对重整化群的洞察力。根据这些重整化群的见解,这种分裂是非自然的,实际上是非物理的,因为问题的所有尺度都是以连续的系统方式进入的。
=== Running couplings ===
To minimize the contribution of loop diagrams to a given calculation (and therefore make it easier to extract results), one chooses a renormalization point close to the energies and momenta exchanged in the interaction. However, the renormalization point is not itself a physical quantity: the physical predictions of the theory, calculated to all orders, should in principle be ''independent'' of the choice of renormalization point, as long as it is within the domain of application of the theory. Changes in renormalization scale will simply affect how much of a result comes from Feynman diagrams without loops, and how much comes from the remaining finite parts of loop diagrams. One can exploit this fact to calculate the effective variation of [[Coupling constant|physical constants]] with changes in scale. This variation is encoded by [[beta-function]]s, and the general theory of this kind of scale-dependence is known as the [[renormalization group]].
To minimize the contribution of loop diagrams to a given calculation (and therefore make it easier to extract results), one chooses a renormalization point close to the energies and momenta exchanged in the interaction. However, the renormalization point is not itself a physical quantity: the physical predictions of the theory, calculated to all orders, should in principle be independent of the choice of renormalization point, as long as it is within the domain of application of the theory. Changes in renormalization scale will simply affect how much of a result comes from Feynman diagrams without loops, and how much comes from the remaining finite parts of loop diagrams. One can exploit this fact to calculate the effective variation of physical constants with changes in scale. This variation is encoded by beta-functions, and the general theory of this kind of scale-dependence is known as the renormalization group.
为了减少环路图对给定计算的贡献(从而使得计算结果更容易提取) ,我们选择一个重整化点接近相互作用中交换的能量和动量。然而,重整化点本身并不是一个物理量: 理论的物理预测,计算到所有的阶,原则上应该独立于重整化点的选择,只要它在理论的应用范围内。重整化尺度的变化将简单地影响有多少结果来自没有循环的费曼图,有多少结果来自循环图剩余的有限部分。人们可以利用这一事实来计算物理常数随规模变化的有效变化。这种变化是由 β 函数编码的,这种尺度依赖的一般理论被称为重整化群。
Colloquially, particle physicists often speak of certain physical "constants" as varying with the energy of interaction, though in fact, it is the renormalization scale that is the independent quantity. This [[Coupling constant#Running coupling|''running'']] does, however, provide a convenient means of describing changes in the behavior of a field theory under changes in the energies involved in an interaction. For example, since the coupling in [[quantum chromodynamics]] becomes small at large energy scales, the theory behaves more like a free theory as the energy exchanged in an interaction becomes large – a phenomenon known as [[asymptotic freedom]]. Choosing an increasing energy scale and using the renormalization group makes this clear from simple Feynman diagrams; were this not done, the prediction would be the same, but would arise from complicated high-order cancellations.
Colloquially, particle physicists often speak of certain physical "constants" as varying with the energy of interaction, though in fact, it is the renormalization scale that is the independent quantity. This running does, however, provide a convenient means of describing changes in the behavior of a field theory under changes in the energies involved in an interaction. For example, since the coupling in quantum chromodynamics becomes small at large energy scales, the theory behaves more like a free theory as the energy exchanged in an interaction becomes large – a phenomenon known as asymptotic freedom. Choosing an increasing energy scale and using the renormalization group makes this clear from simple Feynman diagrams; were this not done, the prediction would be the same, but would arise from complicated high-order cancellations.
通俗地说,粒子物理学家经常说某些物理“常数”随着相互作用的能量而变化,尽管事实上,重整化标度才是独立量。然而,这种运行确实提供了一种方便的方法来描述场理论在相互作用所涉及的能量变化下的行为变化。例如,由于量子色动力学中的耦合在大能量尺度下变得很小,该理论表现得更像一个自由理论,因为在相互作用中交换的能量变得很大---- 这种现象被称为渐近自由。选择一个递增的能量尺度并使用重整化群,可以从简单的费曼图中清楚地看出这一点; 如果不这样做,预测结果也会是一样的,但是会出现复杂的高阶取消。
For example,
For example,
比如说,
:<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>
0 ^ a frac {1} ,dz- int 0 ^ b frac {1} ,dz ln a ln b ln 0 + ln 0 / math
is ill-defined.
is ill-defined.
没有明确的定义。
To eliminate the divergence, simply change lower limit of integral into {{mvar|ε<sub>a</sub>}} and {{mvar|ε<sub>b</sub>}}:
To eliminate the divergence, simply change lower limit of integral into and :
为了消除散度,只需将积分的下限改为和:
:<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>
数学我在 a- ln b- ln varepsilon a } + ln varepsilon b } ln tfrac { a }- ln varepsilon a } / math
Making sure {{math|{{sfrac|''ε<sub>b</sub>''|''ε<sub>a</sub>''}} → 1}}, then {{math|''I'' {{=}} ln {{sfrac|''a''|''b''}}.}}
Making sure → 1}}, then ln .}}
确保→1} ,然后 ln. }}
== Regularization ==
Since the quantity {{math|∞ − ∞}} is ill-defined, in order to make this notion of canceling divergences precise, the divergences first have to be tamed mathematically using the [[limit (mathematics)|theory of limits]], in a process known as [[regularization (physics)|regularization]] (Weinberg, 1995).
Since the quantity is ill-defined, in order to make this notion of canceling divergences precise, the divergences first have to be tamed mathematically using the theory of limits, in a process known as regularization (Weinberg, 1995).
由于这个量是不明确的,为了使取消发散的概念更加精确,首先必须用极限理论在数学上驯服这些发散,这个过程被称为正则化(Weinberg,1995)。
An essentially arbitrary modification to the loop integrands, or ''regulator'', can make them drop off faster at high energies and momenta, in such a manner that the integrals converge. A regulator has a characteristic energy scale known as the [[Cutoff (physics)|cutoff]]; taking this cutoff to infinity (or, equivalently, the corresponding length/time scale to zero) recovers the original integrals.
An essentially arbitrary modification to the loop integrands, or regulator, can make them drop off faster at high energies and momenta, in such a manner that the integrals converge. A regulator has a characteristic energy scale known as the cutoff; taking this cutoff to infinity (or, equivalently, the corresponding length/time scale to zero) recovers the original integrals.
对环路被积函数或调节器进行任意的修改,可以使它们在高能量和动量下下降得更快,从而使被积函数收敛。调节器具有称为截止值的特征能量刻度; 将这个截止值取至无穷大(或者,等效地,将相应的长度 / 时间刻度取为零)恢复原始积分。
With the regulator in place, and a finite value for the cutoff, divergent terms in the integrals then turn into finite but cutoff-dependent terms. After canceling out these terms with the contributions from cutoff-dependent counterterms, the cutoff is taken to infinity and finite physical results recovered. If physics on scales we can measure is independent of what happens at the very shortest distance and time scales, then it should be possible to get cutoff-independent results for calculations.
With the regulator in place, and a finite value for the cutoff, divergent terms in the integrals then turn into finite but cutoff-dependent terms. After canceling out these terms with the contributions from cutoff-dependent counterterms, the cutoff is taken to infinity and finite physical results recovered. If physics on scales we can measure is independent of what happens at the very shortest distance and time scales, then it should be possible to get cutoff-independent results for calculations.
当调节器到位,截止值有限时,积分中的发散项就变成有限但与截止相关的项。在用截止相关反项的贡献抵消这些项之后,截止项被取到无穷远处,并得到有限的物理结果。如果我们可以测量的尺度上的物理是独立于在最短的距离和时间尺度上发生的事情,那么就有可能得到截止独立的计算结果。
Many different types of regulator are used in quantum field theory calculations, each with its advantages and disadvantages. One of the most popular in modern use is ''[[dimensional regularization]]'', invented by [[Gerardus 't Hooft]] and [[Martinus J. G. Veltman]],<ref>{{Cite journal | last1 = 't Hooft | first1 = G. | last2 = Veltman | first2 = M. | doi = 10.1016/0550-3213(72)90279-9 | title = Regularization and renormalization of gauge fields | journal = Nuclear Physics B | volume = 44 | issue = 1 | pages = 189–213 | year = 1972 | pmid = | pmc = |bibcode = 1972NuPhB..44..189T | hdl = 1874/4845 | hdl-access = free }}</ref> which tames the integrals by carrying them into a space with a fictitious fractional number of dimensions. Another is ''[[Pauli–Villars regularization]]'', which adds fictitious particles to the theory with very large masses, such that loop integrands involving the massive particles cancel out the existing loops at large momenta.
Many different types of regulator are used in quantum field theory calculations, each with its advantages and disadvantages. One of the most popular in modern use is dimensional regularization, invented by Gerardus 't Hooft and Martinus J. G. Veltman, which tames the integrals by carrying them into a space with a fictitious fractional number of dimensions. Another is Pauli–Villars regularization, which adds fictitious particles to the theory with very large masses, such that loop integrands involving the massive particles cancel out the existing loops at large momenta.
量子场论计算中使用了许多不同类型的调节器,各有优缺点。在现代应用中最流行的是维度正则化,由 Gerardus’ t Hooft 和马丁纽斯·韦尔特曼发明,它通过将积分带入一个虚拟的分数维空间来驯服积分。另一个是泡利-维拉正则化,它在理论中加入了具有很大质量的虚构粒子,使得包含大质量粒子的环积分在很大动量时抵消了现有的环积分。
Yet another regularization scheme is the ''[[Lattice field theory|lattice regularization]]'', introduced by [[Kenneth G. Wilson|Kenneth Wilson]], which pretends that hyper-cubical lattice constructs our space-time with fixed grid size. This size is a natural cutoff for the maximal momentum that a particle could possess when propagating on the lattice. And after doing a calculation on several lattices with different grid size, the physical result is [[extrapolate]]d to grid size 0, or our natural universe. This presupposes the existence of a [[scaling limit]].
Yet another regularization scheme is the lattice regularization, introduced by Kenneth Wilson, which pretends that hyper-cubical lattice constructs our space-time with fixed grid size. This size is a natural cutoff for the maximal momentum that a particle could possess when propagating on the lattice. And after doing a calculation on several lattices with different grid size, the physical result is extrapolated to grid size 0, or our natural universe. This presupposes the existence of a scaling limit.
另一个正则化方案是由 Kenneth Wilson 提出的格子正则化,它假装超立方格子以固定的网格大小构造我们的时空。这个尺寸是粒子在晶格上传播时所能拥有的最大动量的自然截止值。在不同网格大小的格子上进行计算之后,物理结果被外推到网格大小0,或者我们的自然宇宙。这意味着存在一个标度极限。
A rigorous mathematical approach to renormalization theory is the so-called [[causal perturbation theory]], where ultraviolet divergences are avoided from the start in calculations by performing well-defined mathematical operations only within the framework of [[Distribution (mathematics)|distribution]] theory. In this approach, divergences are replaced by ambiguity: corresponding to a divergent diagram is a term which now has a finite, but undetermined, coefficient. Other principles, such as gauge symmetry, must then be used to reduce or eliminate the ambiguity.
A rigorous mathematical approach to renormalization theory is the so-called causal perturbation theory, where ultraviolet divergences are avoided from the start in calculations by performing well-defined mathematical operations only within the framework of distribution theory. In this approach, divergences are replaced by ambiguity: corresponding to a divergent diagram is a term which now has a finite, but undetermined, coefficient. Other principles, such as gauge symmetry, must then be used to reduce or eliminate the ambiguity.
重整化理论的一个严格的数学方法是所谓的因果摄动理论,其中只有在分布理论的框架内进行定义明确的数学运算,才能从一开始就避免计算中的紫外线分歧。在这种方法中,发散被模糊性所代替: 对应于发散图的项目现在有一个有限的,但是未确定的系数。其他原则,例如规范对称,必须用来减少或消除模糊性。
=== Zeta function regularization ===
[[Julian Schwinger]] discovered a relationship{{citation needed|date=June 2012}} between [[zeta function regularization]] and renormalization, using the asymptotic relation:
Julian Schwinger discovered a relationship between zeta function regularization and renormalization, using the asymptotic relation:
朱利安·施温格利用渐近关系发现了 Ζ函数正规化和重整化之间的关系:
:<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>
数学 i (n, Lambda) int 0 ^ { Lambda } dp ,p ^ n sim 1 + 2 ^ n + 3 ^ n + cdots + Lambda ^ n to zeta (- n) / math
as the regulator {{math|Λ → ∞}}. Based on this, he considered using the values of {{math|''ζ''(−''n'')}} to get finite results. Although he reached inconsistent results, an improved formula studied by [[Hartle]], J. Garcia, and based on the works by [[Emilio Elizalde|E. Elizalde]] includes the technique of the [[zeta regularization]] algorithm
as the regulator . Based on this, he considered using the values of to get finite results. Although he reached inconsistent results, an improved formula studied by Hartle, J. Garcia, and based on the works by E. Elizalde includes the technique of the zeta regularization algorithm
作为调节器。在此基础上,他考虑使用值得到有限的结果。虽然他得到了不一致的结果,一个改进的公式研究哈特尔,j. 加西亚,并基于 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>
数学 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
where the ''B'''s are the [[Bernoulli number]]s and
where the Bs are the Bernoulli numbers and
伯努利数和在哪里
:<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>
数学 a { n,r } frac { Gamma (n + 1)}{ Gamma (n-2r + 2)} . / math
So every {{math|''I''(''m'', Λ)}} can be written as a linear combination of {{math|''ζ''(−1), ''ζ''(−3), ''ζ''(−5), ..., ''ζ''(−''m'')}}.
So every can be written as a linear combination of .
所以每个线性组合都可以被写成。
Or simply using [[Abel–Plana formula]] we have for every divergent integral:
Or simply using Abel–Plana formula we have for every divergent integral:
或者简单地用 Abel-Plana 公式来计算每一个发散积分:
:<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 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
valid when {{math|''m'' > 0}}, Here the zeta function is [[Hurwitz zeta function]] and Beta is a positive real number.
valid when , Here the zeta function is Hurwitz zeta function and Beta is a positive real number.
这里 zeta 函数是赫尔维茨ζ函数,Beta 是正实数。
The "geometric" analogy is given by, (if we use [[rectangle method]]) to evaluate the integral so:
The "geometric" analogy is given by, (if we use rectangle method) to evaluate the integral so:
给出的“几何”类比是,(如果我们使用矩形法)来计算积分如下:
:<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>
0 ^ infty dx ,(beta + x) ^ m approx { n 0} ^ infty h ^ { m + 1} zeta left ( beta h ^-1} ,-m right) / math
Using Hurwitz zeta regularization plus the rectangle method with step h (not to be confused with [[Planck's constant]]).
Using Hurwitz zeta regularization plus the rectangle method with step h (not to be confused with Planck's constant).
使用 Hurwitz zeta 正则化加上步骤 h 的矩形法方程(不要与 Planck 常数混淆)。
The logarithmic divergent integral has the regularization
The logarithmic divergent integral has the regularization
对数发散积分具有正则化
:<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>
数学{ n 0} ^ { infty } frac {1}{ n + a }- psi (a) + log (a) / math
since for the Harmonic series <math> \sum_{n=0}^{\infty} \frac{1}{an+1} </math> in the limit <math> a \to 0 </math> we must recover the series <math> \sum_{n=0}^{\infty}1 =1/2 </math>
since for the Harmonic series <math> \sum_{n=0}^{\infty} \frac{1}{an+1} </math> in the limit <math> a \to 0 </math> we must recover the series <math> \sum_{n=0}^{\infty}1 =1/2 </math>
因为对于调和数列数学{ n 0} ^ infty }{1}{ an + 1} / math 在极限数学 a 到0 / math,我们必须恢复数列数学{ n 0} ^ infty }11 / 2 / math
For [[multi-loop integrals]] that will depend on several variables <math>k_1, \cdots, k_n</math> we can make a change of variables to polar coordinates and then replace the integral over the angles <math>\int d \Omega</math> by a sum so we have only a divergent integral, that will depend on the modulus <math>r^2 = k_1^2 +\cdots+k_n^2</math> and then we can apply the zeta regularization algorithm, the main idea for multi-loop integrals is to replace the factor <math>F(q_1,\cdots,q_n)</math> after a change to hyperspherical coordinates {{math|''F''(''r'', Ω)}} so the UV overlapping divergences are encoded in variable {{mvar|r}}. In order to regularize these integrals one needs a regulator, for the case of multi-loop integrals, these regulator can be taken as
For multi-loop integrals that will depend on several variables <math>k_1, \cdots, k_n</math> we can make a change of variables to polar coordinates and then replace the integral over the angles <math>\int d \Omega</math> by a sum so we have only a divergent integral, that will depend on the modulus <math>r^2 = k_1^2 +\cdots+k_n^2</math> and then we can apply the zeta regularization algorithm, the main idea for multi-loop integrals is to replace the factor <math>F(q_1,\cdots,q_n)</math> after a change to hyperspherical coordinates so the UV overlapping divergences are encoded in variable . In order to regularize these integrals one needs a regulator, for the case of multi-loop integrals, these regulator can be taken as
对于依赖于多个变量的多回路积分,我们可以将变量改为极坐标,然后用一个和来代替角度上的积分,这样我们就只有发散积分了, 多回路积分的主要思想是在变换到超球坐标后,用因子数学 f (q1, cn點,qn) / math 来代替因子数学 f (q1, cn點,qn) / math,从而将 UV 重叠发散编码为变量。为了使这些积分正则化,需要一个调节器,对于多环积分,这些调节器可以看作是
:<math> \left (1+ \sqrt{q}_{i}q^{i} \right )^{-s} </math>
<math> \left (1+ \sqrt{q}_{i}q^{i} \right )^{-s} </math>
Math left (1 + sqrt { q }{ i } q ^ { i } right) ^ {-s } / math
so the multi-loop integral will converge for big enough {{mvar|s}} using the Zeta regularization we can analytic continue the variable {{mvar|s}} to the physical limit where {{math|''s'' {{=}} 0}} and then regularize any UV integral, by replacing a divergent integral by a linear combination of divergent series, which can be regularized in terms of the negative values of the Riemann zeta function {{math|''ζ''(−''m'')}}.
so the multi-loop integral will converge for big enough using the Zeta regularization we can analytic continue the variable to the physical limit where 0}} and then regularize any UV integral, by replacing a divergent integral by a linear combination of divergent series, which can be regularized in terms of the negative values of the Riemann zeta function .
因此,多回路积分将收敛到足够大的使用 Zeta 正则化,我们可以解析变量继续到物理极限0}的地方,然后正则化任何紫外积分,通过替换一个线性组合的发散级数,这可以正则化的黎曼ζ函数负值。
== Attitudes and interpretation ==
The early formulators of QED and other quantum field theories were, as a rule, dissatisfied with this state of affairs. It seemed illegitimate to do something tantamount to subtracting infinities from infinities to get finite answers.
The early formulators of QED and other quantum field theories were, as a rule, dissatisfied with this state of affairs. It seemed illegitimate to do something tantamount to subtracting infinities from infinities to get finite answers.
量子电动力学和其他量子场论的早期公式制定者通常对这种状态不满意。做一些等同于从无限中减去无限的事情来得到有限的答案似乎是不合理的。
[[Freeman Dyson]] argued that these infinities are of a basic nature and cannot be eliminated by any formal mathematical procedures, such as the renormalization method.<ref>{{cite journal | last=Dyson | first=F. J. | title=Divergence of Perturbation Theory in Quantum Electrodynamics | journal=Physical Review | publisher=American Physical Society (APS) | volume=85 | issue=4 | date=1952-02-15 | issn=0031-899X | doi=10.1103/physrev.85.631 | pages=631–632| bibcode=1952PhRv...85..631D }}</ref><ref>{{cite journal | last=Stern | first=A. W. | title=Space, Field, and Ether in Contemporary Physics | journal=Science | publisher=American Association for the Advancement of Science (AAAS) | volume=116 | issue=3019 | date=1952-11-07 | issn=0036-8075 | doi=10.1126/science.116.3019.493 | pages=493–496| bibcode=1952Sci...116..493S }}</ref>
Freeman Dyson argued that these infinities are of a basic nature and cannot be eliminated by any formal mathematical procedures, such as the renormalization method.
弗里曼戴森认为,这些无穷大是一个基本的性质,不能消除任何正式的数学程序,如重整化方法。
[[Paul Dirac|Dirac]]'s criticism was the most persistent.<ref>P.A.M. Dirac, "The Evolution of the Physicist's Picture of Nature," in Scientific American, May 1963, p. 53.</ref> As late as 1975, he was saying:<ref>Kragh, Helge; ''Dirac: A scientific biography'', CUP 1990, p. 184</ref>
Dirac's criticism was the most persistent. As late as 1975, he was saying:
狄拉克的批评是最持久的。直到1975年,他还在说:
: Most physicists are very satisfied with the situation. They say: 'Quantum electrodynamics is a good theory and we do not have to worry about it any more.' I must say that I am very dissatisfied with the situation because this so-called 'good theory' does involve neglecting infinities which appear in its equations, ignoring them in an arbitrary way. This is just not sensible mathematics. Sensible mathematics involves disregarding a quantity when it is small – not neglecting it just because it is infinitely great and you do not want it!
Most physicists are very satisfied with the situation. They say: 'Quantum electrodynamics is a good theory and we do not have to worry about it any more.' I must say that I am very dissatisfied with the situation because this so-called 'good theory' does involve neglecting infinities which appear in its equations, ignoring them in an arbitrary way. This is just not sensible mathematics. Sensible mathematics involves disregarding a quantity when it is small – not neglecting it just because it is infinitely great and you do not want it!
大多数物理学家对这种情况非常满意。他们说: 量子电动力学是一个很好的理论,我们再也不用担心它了我必须说,我对这种情况非常不满意,因为这种所谓的“好理论”确实涉及到忽视方程式中出现的无穷大,以一种武断的方式忽视它们。这根本不是合理的数学。明智的数学涉及到忽略一个小量——不要仅仅因为它无限大而你不想要它就忽略它!
Another important critic was [[Richard Feynman|Feynman]]. Despite his crucial role in the development of quantum electrodynamics, he wrote the following in 1985:<ref>Feynman, Richard P.; ''[[QED: The Strange Theory of Light and Matter]]'', Penguin 1990, p. 128</ref>
Another important critic was Feynman. Despite his crucial role in the development of quantum electrodynamics, he wrote the following in 1985:
另一位重要的评论家是费曼。尽管他在量子电动力学的发展中扮演了关键角色,他在1985年写道:
: The shell game that we play is technically called 'renormalization'. But no matter how clever the word, it is still what I would call a dippy process! Having to resort to such hocus-pocus has prevented us from proving that the theory of quantum electrodynamics is mathematically self-consistent. It's surprising that the theory still hasn't been proved self-consistent one way or the other by now; I suspect that renormalization is not mathematically legitimate.
The shell game that we play is technically called 'renormalization'. But no matter how clever the word, it is still what I would call a dippy process! Having to resort to such hocus-pocus has prevented us from proving that the theory of quantum electrodynamics is mathematically self-consistent. It's surprising that the theory still hasn't been proved self-consistent one way or the other by now; I suspect that renormalization is not mathematically legitimate.
我们玩的这个骗局在技术上叫做“重整化”。但是不管这个词多么聪明,它仍然是我所说的一个迷糊的过程!不得不求助于这样的骗术使我们无法证明量子电动力学理论在数学上是自洽的。令人惊讶的是,这个理论到现在还没有以这样或那样的方式被证明是自洽的; 我怀疑重整化在数学上是不合理的。
Feynman was concerned that all field theories known in the 1960s had the property that the interactions become infinitely strong at short enough distance scales. This property called a [[Landau pole]], made it plausible that quantum field theories were all inconsistent. In 1974, [[David Gross|Gross]], [[David Politzer|Politzer]] and [[Frank Wilczek|Wilczek]] showed that another quantum field theory, [[quantum chromodynamics]], does not have a Landau pole. Feynman, along with most others, accepted that QCD was a fully consistent theory.{{Citation needed|date=December 2009}}
Feynman was concerned that all field theories known in the 1960s had the property that the interactions become infinitely strong at short enough distance scales. This property called a Landau pole, made it plausible that quantum field theories were all inconsistent. In 1974, Gross, Politzer and Wilczek showed that another quantum field theory, quantum chromodynamics, does not have a Landau pole. Feynman, along with most others, accepted that QCD was a fully consistent theory.
费曼担心,在20世纪60年代所有已知的场理论都有这样的特性: 在足够短的距离尺度上,相互作用会变得无限强烈。这个性质被称为兰道极,使得量子场理论似乎都是不一致的。1974年,Gross,Politzer 和 Wilczek 证明了另一个量子场论,量子色动力学,并没有兰道极点。费曼和其他大多数人一样,承认 QCD 是一个完全一致的理论。
The general unease was almost universal in texts up to the 1970s and 1980s. Beginning in the 1970s, however, inspired by work on the [[renormalization group]] and [[effective field theory]], and despite the fact that Dirac and various others—all of whom belonged to the older generation—never withdrew their criticisms, attitudes began to change, especially among younger theorists. [[Kenneth G. Wilson]] and others demonstrated that the renormalization group is useful in [[statistical mechanics|statistical]] field theory applied to [[condensed matter physics]], where it provides important insights into the behavior of [[phase transition]]s. In condensed matter physics, a ''physical'' short-distance regulator exists: [[matter]] ceases to be continuous on the scale of [[atom]]s. Short-distance divergences in condensed matter physics do not present a philosophical problem since the field theory is only an effective, smoothed-out representation of the behavior of matter anyway; there are no infinities since the cutoff is always finite, and it makes perfect sense that the bare quantities are cutoff-dependent.
The general unease was almost universal in texts up to the 1970s and 1980s. Beginning in the 1970s, however, inspired by work on the renormalization group and effective field theory, and despite the fact that Dirac and various others—all of whom belonged to the older generation—never withdrew their criticisms, attitudes began to change, especially among younger theorists. Kenneth G. Wilson and others demonstrated that the renormalization group is useful in statistical field theory applied to condensed matter physics, where it provides important insights into the behavior of phase transitions. In condensed matter physics, a physical short-distance regulator exists: matter ceases to be continuous on the scale of atoms. Short-distance divergences in condensed matter physics do not present a philosophical problem since the field theory is only an effective, smoothed-out representation of the behavior of matter anyway; there are no infinities since the cutoff is always finite, and it makes perfect sense that the bare quantities are cutoff-dependent.
直到20世纪70年代和80年代,这种普遍的不安在文本中几乎是普遍存在的。然而,从20世纪70年代开始,受到重整化群理论和有效场理论工作的启发,尽管狄拉克和其他各种人---- 他们都属于老一辈---- 从未收回他们的批评,但态度开始改变,尤其是在年轻的理论家中。肯尼斯·威尔森和其他人证明了重整化群在统计领域理论应用于凝聚态物理学中是有用的,它提供了对相变行为的重要见解。在21凝聚态物理学,存在一个物理的短距离调节器: 物质不再是连续的原子规模。凝聚态物理学中的短距离分歧并不构成哲学问题,因为场论只是对物质行为的一种有效的、平滑的表示; 因为截止值总是有限的,所以并不存在无穷大,而且完全有理由认为裸量是截止值相关的。
If [[Quantum field theory|QFT]] holds all the way down past the [[Planck length]] (where it might yield to [[string theory]], [[causal set theory]] or something different), then there may be no real problem with short-distance divergences in [[particle physics]] either; ''all'' field theories could simply be effective field theories. In a sense, this approach echoes the older attitude that the divergences in QFT speak of human ignorance about the workings of nature, but also acknowledges that this ignorance can be quantified and that the resulting effective theories remain useful.
If QFT holds all the way down past the Planck length (where it might yield to string theory, causal set theory or something different), then there may be no real problem with short-distance divergences in particle physics either; all field theories could simply be effective field theories. In a sense, this approach echoes the older attitude that the divergences in QFT speak of human ignorance about the workings of nature, but also acknowledges that this ignorance can be quantified and that the resulting effective theories remain useful.
如果 QFT 一直保持到普朗克长度以下(在那里它可能屈服于弦论、因果集合论或其他不同的理论) ,那么粒子物理学中的短距离分歧可能也不存在真正的问题; 所有的场论都可能只是有效的场论。在某种意义上,这种方法呼应了以前的观点,即量子力学中的分歧说明了人类对自然规律的无知,但也承认这种无知是可以量化的,由此产生的有效理论仍然是有用的。
Be that as it may, [[Abdus Salam|Salam]]'s remark<ref>{{cite journal | last=Isham | first=C. J. | last2=Salam | first2=Abdus | last3=Strathdee | first3=J. | title=Infinity Suppression in Gravity-Modified Electrodynamics. II | journal=Physical Review D | publisher=American Physical Society (APS) | volume=5 | issue=10 | date=1972-05-15 | issn=0556-2821 | doi=10.1103/physrevd.5.2548 | pages=2548–2565| bibcode=1972PhRvD...5.2548I }}</ref> in 1972 seems still relevant
Be that as it may, Salam's remark in 1972 seems still relevant
尽管如此,萨拉姆1972年的言论似乎仍然有意义
: Field-theoretic infinities — first encountered in Lorentz's computation of electron self-mass — have persisted in classical electrodynamics for seventy and in quantum electrodynamics for some thirty-five years. These long years of frustration have left in the subject a curious affection for the infinities and a passionate belief that they are an inevitable part of nature; so much so that even the suggestion of a hope that they may, after all, be circumvented — and finite values for the renormalization constants computed — is considered irrational. Compare [[Bertrand Russell|Russell]]'s postscript to the third volume of his autobiography ''The Final Years, 1944–1969'' (George Allen and Unwin, Ltd., London 1969),<ref>Russell, Bertrand. ''[https://books.google.com/books?id=6XmrPgAACAAJ The Autobiography of Bertrand Russell: The Final Years, 1944-1969]'' (Bantam Books, 1970)</ref> p. 221:
Field-theoretic infinities — first encountered in Lorentz's computation of electron self-mass — have persisted in classical electrodynamics for seventy and in quantum electrodynamics for some thirty-five years. These long years of frustration have left in the subject a curious affection for the infinities and a passionate belief that they are an inevitable part of nature; so much so that even the suggestion of a hope that they may, after all, be circumvented — and finite values for the renormalization constants computed — is considered irrational. Compare Russell's postscript to the third volume of his autobiography The Final Years, 1944–1969 (George Allen and Unwin, Ltd., London 1969), p. 221:
场论无穷大首先出现在洛伦兹计算电子自质量的过程中,它在经典电动力学中已经存在了七十年,在量子电动力学中已经存在了大约35年。这么多年的挫折使得这个课题对无穷大产生了一种奇怪的感情,并且热情地相信它们是自然界不可避免的一部分; 以至于即使有希望它们毕竟可以被规避ーー计算出的重整化常数的有限值ーー都被认为是不合理的。将罗素的附言与他的自传《最后的岁月,1944-1969》(乔治 · 艾伦和安文出版社,伦敦,1969年)的第三卷相比较,第221页:
:: In the modern world, if communities are unhappy, it is often because they have ignorances, habits, beliefs, and passions, which are dearer to them than happiness or even life. I find many men in our dangerous age who seem to be in love with misery and death, and who grow angry when hopes are suggested to them. They think hope is irrational and that, in sitting down to lazy despair, they are merely facing facts.
In the modern world, if communities are unhappy, it is often because they have ignorances, habits, beliefs, and passions, which are dearer to them than happiness or even life. I find many men in our dangerous age who seem to be in love with misery and death, and who grow angry when hopes are suggested to them. They think hope is irrational and that, in sitting down to lazy despair, they are merely facing facts.
在现代社会,如果社区不幸福,那往往是因为他们有无知、习惯、信仰和激情,这些东西对他们来说比幸福甚至生命更重要。我发现在我们这个危险的时代,有许多人似乎爱上了痛苦和死亡,当有人向他们提出希望时,他们会变得愤怒。他们认为希望是非理性的,坐下来懒洋洋地绝望,他们只是面对事实。
In QFT, the value of a physical constant, in general, depends on the scale that one chooses as the renormalization point, and it becomes very interesting to examine the renormalization group running of physical constants under changes in the energy scale. The coupling constants in the [[Standard Model]] of particle physics vary in different ways with increasing energy scale: the coupling of [[quantum chromodynamics]] and the weak isospin coupling of the [[electroweak force]] tend to decrease, and the weak hypercharge coupling of the electroweak force tends to increase. At the colossal energy scale of 10<sup>15</sup> [[GeV]] (far beyond the reach of our current [[particle accelerator]]s), they all become approximately the same size (Grotz and Klapdor 1990, p. 254), a major motivation for speculations about [[grand unified theory]]. Instead of being only a worrisome problem, renormalization has become an important theoretical tool for studying the behavior of field theories in different regimes.
In QFT, the value of a physical constant, in general, depends on the scale that one chooses as the renormalization point, and it becomes very interesting to examine the renormalization group running of physical constants under changes in the energy scale. The coupling constants in the Standard Model of particle physics vary in different ways with increasing energy scale: the coupling of quantum chromodynamics and the weak isospin coupling of the electroweak force tend to decrease, and the weak hypercharge coupling of the electroweak force tends to increase. At the colossal energy scale of 10<sup>15</sup> GeV (far beyond the reach of our current particle accelerators), they all become approximately the same size (Grotz and Klapdor 1990, p. 254), a major motivation for speculations about grand unified theory. Instead of being only a worrisome problem, renormalization has become an important theoretical tool for studying the behavior of field theories in different regimes.
在 QFT 中,一个物理常数的值,一般来说,取决于一个人选择作为重整化点的尺度,在能量尺度变化的情况下,研究重整化群物理常数的运行变得非常有趣。粒子物理标准模型中的耦合常数随着能量的增加而以不同的方式变化: 量子色动力学的耦合和电弱力的弱同位旋耦合趋于减小,电弱力的弱超荷耦合趋于增加。在10sup 15 / sup GeV 的巨大能量范围内(远远超出我们现有的粒子加速器的能量范围) ,它们都变得大致相同大小(Grotz 和 Klapdor 1990,第254页) ,这是推测大统一理论的主要动机。重整化已经不再是一个令人担忧的问题,而是成为研究不同区域中场理论行为的一个重要理论工具。
If a theory featuring renormalization (e.g. QED) can only be sensibly interpreted as an effective field theory, i.e. as an approximation reflecting human ignorance about the workings of nature, then the problem remains of discovering a more accurate theory that does not have these renormalization problems. As [[Lewis Ryder]] has put it, "In the Quantum Theory, these [classical] divergences do not disappear; on the contrary, they appear to get worse. And despite the comparative success of renormalisation theory, the feeling remains that there ought to be a more satisfactory way of doing things."<ref>Ryder, Lewis. ''[https://books.google.com/books?id=L9YhYS7gcXAC&pg=PP1&dq=%22Quantum+Field+Theory%22+and+Ryder#PPA390,M1 Quantum Field Theory]'', page 390 (Cambridge University Press 1996).</ref>
If a theory featuring renormalization (e.g. QED) can only be sensibly interpreted as an effective field theory, i.e. as an approximation reflecting human ignorance about the workings of nature, then the problem remains of discovering a more accurate theory that does not have these renormalization problems. As Lewis Ryder has put it, "In the Quantum Theory, these [classical] divergences do not disappear; on the contrary, they appear to get worse. And despite the comparative success of renormalisation theory, the feeling remains that there ought to be a more satisfactory way of doing things."
如果一个具有重整化特征的理论(例如:。量子电动力学(QED)只能理性地解释为一种有效场理论,即。近似地反映了人类对自然规律的无知,那么发现一个更精确的理论,不存在这些重整化问题的问题仍然存在。正如路易斯 · 莱德所说,“在量子理论中,这些[经典]分歧并没有消失; 相反,它们似乎变得更糟。尽管重整化理论相对成功,但人们仍然认为,应该有一种更令人满意的做事方式。”
== Renormalizability ==
From this philosophical reassessment, a new concept follows naturally: the notion of renormalizability. Not all theories lend themselves to renormalization in the manner described above, with a finite supply of counterterms and all quantities becoming cutoff-independent at the end of the calculation. If the Lagrangian contains combinations of field operators of high enough [[dimensional analysis|dimension]] in energy units, the counterterms required to cancel all divergences proliferate to infinite number, and, at first glance, the theory would seem to gain an infinite number of free parameters and therefore lose all predictive power, becoming scientifically worthless. Such theories are called ''nonrenormalizable''.
From this philosophical reassessment, a new concept follows naturally: the notion of renormalizability. Not all theories lend themselves to renormalization in the manner described above, with a finite supply of counterterms and all quantities becoming cutoff-independent at the end of the calculation. If the Lagrangian contains combinations of field operators of high enough dimension in energy units, the counterterms required to cancel all divergences proliferate to infinite number, and, at first glance, the theory would seem to gain an infinite number of free parameters and therefore lose all predictive power, becoming scientifically worthless. Such theories are called nonrenormalizable.
从这种哲学上的重新评估,一个新的概念自然而然地随之而来: 可重整性的概念。并不是所有的理论都适合以上述的方式进行重整化,反项的有限供应和所有数量在计算结束时变得与截止无关。如果拉格朗日函数包含能量单位中足够高维的场算子的组合,那么消除所有分歧所需的对位项就会扩散成无限数,乍一看,这个理论似乎获得了无限多的自由参数,因此失去了所有的预测能力,在科学上变得毫无价值。这样的理论被称为不可重整性理论。
The [[Standard Model]] of particle physics contains only renormalizable operators, but the interactions of [[general relativity]] become nonrenormalizable operators if one attempts to construct a field theory of [[quantum gravity]] in the most straightforward manner (treating the metric in the [[Einstein–Hilbert Lagrangian]] as a perturbation about the [[Minkowski metric]]), suggesting that [[perturbation theory (quantum mechanics)|perturbation theory]] is useless in application to quantum gravity.
The Standard Model of particle physics contains only renormalizable operators, but the interactions of general relativity become nonrenormalizable operators if one attempts to construct a field theory of quantum gravity in the most straightforward manner (treating the metric in the Einstein–Hilbert Lagrangian as a perturbation about the Minkowski metric), suggesting that perturbation theory is useless in application to quantum gravity.
粒子物理学的标准模型只包含可重整化的算符,但是如果一个人试图以最直接的方式构建量子引力场理论(把 Einstein-Hilbert Lagrangian 中的度量当作闵可夫斯基度量的扰动) ,那么广义相对论的相互作用就成为不可重整化的算符,这表明摄动理论在量子引力的应用中是无用的。
However, in an [[effective field theory]], "renormalizability" is, strictly speaking, a [[misnomer]]. In nonrenormalizable effective field theory, terms in the Lagrangian do multiply to infinity, but have coefficients suppressed by ever-more-extreme inverse powers of the energy cutoff. If the cutoff is a real, physical quantity—that is, if the theory is only an effective description of physics up to some maximum energy or minimum distance scale—then these additional terms could represent real physical interactions. Assuming that the dimensionless constants in the theory do not get too large, one can group calculations by inverse powers of the cutoff, and extract approximate predictions to finite order in the cutoff that still have a finite number of free parameters. It can even be useful to renormalize these "nonrenormalizable" interactions.
However, in an effective field theory, "renormalizability" is, strictly speaking, a misnomer. In nonrenormalizable effective field theory, terms in the Lagrangian do multiply to infinity, but have coefficients suppressed by ever-more-extreme inverse powers of the energy cutoff. If the cutoff is a real, physical quantity—that is, if the theory is only an effective description of physics up to some maximum energy or minimum distance scale—then these additional terms could represent real physical interactions. Assuming that the dimensionless constants in the theory do not get too large, one can group calculations by inverse powers of the cutoff, and extract approximate predictions to finite order in the cutoff that still have a finite number of free parameters. It can even be useful to renormalize these "nonrenormalizable" interactions.
然而,在有效场理论中,严格地说,“可重整性”是一个用词不当。在不可重整化的有效场理论中,拉格朗日项确实可以乘以无穷大,但系数却被截断能量的更极端的反幂所抑制。如果截止值是一个真实的物理量,也就是说,如果这个理论只是一个有效的物理描述,直到某个最大能量或最小距离尺度,那么这些附加项可以代表真实的物理相互作用。假设理论中的无量纲常数不会变得太大,人们可以通过截止函数的反幂对计算进行分组,并提取截止函数中仍然有有限个自由参数的有限阶的近似预测。甚至可以对这些“不可重整化”的交互进行重整化。
Nonrenormalizable interactions in effective field theories rapidly become weaker as the energy scale becomes much smaller than the cutoff. The classic example is the [[Fermi's interaction|Fermi theory]] of the [[weak nuclear force]], a nonrenormalizable effective theory whose cutoff is comparable to the mass of the [[W particle]]. This fact may also provide a possible explanation for ''why'' almost all of the particle interactions we see are describable by renormalizable theories. It may be that any others that may exist at the [[Grand Unified Theory|GUT]] or Planck scale simply become too weak to detect in the realm we can observe, with one exception: [[gravity]], whose exceedingly weak interaction is magnified by the presence of the enormous masses of [[star]]s and [[planet]]s.{{Citation needed|date=February 2010}}
Nonrenormalizable interactions in effective field theories rapidly become weaker as the energy scale becomes much smaller than the cutoff. The classic example is the Fermi theory of the weak nuclear force, a nonrenormalizable effective theory whose cutoff is comparable to the mass of the W particle. This fact may also provide a possible explanation for why almost all of the particle interactions we see are describable by renormalizable theories. It may be that any others that may exist at the GUT or Planck scale simply become too weak to detect in the realm we can observe, with one exception: gravity, whose exceedingly weak interaction is magnified by the presence of the enormous masses of stars and planets.
有效场理论中不可重整化的相互作用随着能量尺度的变小而迅速减弱。经典的例子是弱核力的费米理论,这是一个不可重整化的有效理论,其截止点相当于 w 粒子的质量。这一事实也可能提供一个可能的解释,为什么我们看到的几乎所有粒子相互作用都可以用可重整化理论来描述。也许存在于内脏尺度或者普朗克尺度的其他粒子变得太微弱而无法在我们可以观察到的范围内探测到,只有一个例外: 引力,其极其微弱的相互作用被巨大质量的恒星和行星的存在放大。
== Renormalization schemes ==
In actual calculations, the counterterms introduced to cancel the divergences in Feynman diagram calculations beyond tree level must be ''fixed'' using a set of '' renormalisation conditions''. The common renormalization schemes in use include:
In actual calculations, the counterterms introduced to cancel the divergences in Feynman diagram calculations beyond tree level must be fixed using a set of renormalisation conditions. The common renormalization schemes in use include:
在实际计算中,为了消除费曼图计算中超出树层的偏差而引入的反项必须使用一组重整化条件来确定。目前常用的重整化方案包括:
* [[Minimal subtraction scheme|Minimal subtraction (MS) scheme]] and the related modified minimal subtraction (MS-bar) scheme
* [[On shell renormalization scheme|On-shell scheme]]
== Renormalization in statistical physics ==
===History===
A deeper understanding of the physical meaning and generalization of the
A deeper understanding of the physical meaning and generalization of the
更深入的理解物理意义和一般化的
renormalization process, which goes beyond the dilatation group of conventional ''renormalizable'' theories, came from condensed matter physics. [[Leo P. Kadanoff]]'s paper in 1966 proposed the "block-spin" renormalization group.<ref>[[Leo Kadanoff|L.P. Kadanoff]] (1966): "Scaling laws for Ising models near <math>T_c</math>", ''Physics (Long Island City, N.Y.)'' '''2''', 263.</ref> The ''blocking idea'' is a way to define the components of the theory at large distances as aggregates of components at shorter distances.
renormalization process, which goes beyond the dilatation group of conventional renormalizable theories, came from condensed matter physics. Leo P. Kadanoff's paper in 1966 proposed the "block-spin" renormalization group. The blocking idea is a way to define the components of the theory at large distances as aggregates of components at shorter distances.
重整化过程超越了传统的可重整化理论的扩张集团,它来自于凝聚态物理学。1966年,Leo p. Kadanoff 的论文提出了“块旋转”重整化群。模块化思想是将理论中大距离的组件定义为短距离的组件聚集体的一种方法。
This approach covered the conceptual point and was given full computational substance<ref name=Wilson1975 /> in the extensive important contributions of [[Kenneth G. Wilson|Kenneth Wilson]]. The power of Wilson's ideas was demonstrated by a constructive iterative renormalization solution of a long-standing problem, the [[Kondo effect|Kondo problem]], in 1974, as well as the preceding seminal developments of his new method in the theory of second-order phase transitions and [[critical phenomena]] in 1971. He was awarded the Nobel prize for these decisive contributions in 1982.
This approach covered the conceptual point and was given full computational substance in the extensive important contributions of Kenneth Wilson. The power of Wilson's ideas was demonstrated by a constructive iterative renormalization solution of a long-standing problem, the Kondo problem, in 1974, as well as the preceding seminal developments of his new method in the theory of second-order phase transitions and critical phenomena in 1971. He was awarded the Nobel prize for these decisive contributions in 1982.
这种方法涵盖了概念点,并在肯尼思 · 威尔逊的广泛重要贡献给予充分的计算实质。1974年,威尔逊对一个长期存在的问题近藤问题提出了一个建设性的迭代重整化解决方案,以及1971年他在二阶相变理论和临界现象方面的新方法的开创性发展,从而证明了威尔逊思想的力量。由于这些决定性的贡献,他在1982年被授予诺贝尔奖。
===Principles===
In more technical terms, let us assume that we have a theory described
In more technical terms, let us assume that we have a theory described
用更专业的术语来说,让我们假设我们已经描述了一个理论
by a certain function <math>Z</math> of the state variables
by a certain function <math>Z</math> of the state variables
通过状态变量的某个函数数学 z / math
<math>\{s_i\}</math> and a certain set of coupling constants
<math>\{s_i\}</math> and a certain set of coupling constants
数学和一组耦合常数
<math>\{J_k\}</math>. This function may be a [[partition function (quantum field theory)|partition function]],
<math>\{J_k\}</math>. This function may be a partition function,
数学,数学。这个函数可能是一个配分函数,
an [[Action (physics)|action]], a [[Hamiltonian (quantum mechanics)|Hamiltonian]], etc. It must contain the
an action, a Hamiltonian, etc. It must contain the
一个动作,一个汉密尔顿人,等等。它必须包含
whole description of the physics of the system.
whole description of the physics of the system.
系统物理学的完整描述。
Now we consider a certain blocking transformation of the state
Now we consider a certain blocking transformation of the state
现在我们考虑状态的某种阻塞变换
variables <math>\{s_i\}\to \{\tilde s_i\}</math>,
variables <math>\{s_i\}\to \{\tilde s_i\}</math>,
变量 math s i to { tilde s i } / math,
the number of <math>\tilde s_i</math> must be lower than the number of
the number of <math>\tilde s_i</math> must be lower than the number of
数学的数字必须小于
<math>s_i</math>. Now let us try to rewrite the <math>Z</math>
<math>s_i</math>. Now let us try to rewrite the <math>Z</math>
数学,数学。现在让我们尝试重写数学 z / math
function ''only'' in terms of the <math>\tilde s_i</math>. If this is achievable by a
function only in terms of the <math>\tilde s_i</math>. If this is achievable by a
函数只能用数学方法表示。如果这是可以做到的
certain change in the parameters, <math>\{J_k\}\to
certain change in the parameters, <math>\{J_k\}\to
参数的某些变化
\{\tilde J_k\}</math>, then the theory is said to be
\{\tilde J_k\}</math>, then the theory is said to be
数学,那么这个理论就是
'''renormalizable'''.
renormalizable.
可重整的。
The possible
The possible
可能性
macroscopic states of the system, at a large scale, are given by this
macroscopic states of the system, at a large scale, are given by this
系统的宏观状态,在很大程度上,是由这个
set of fixed points.
set of fixed points.
定点集。
===Renormalization group fixed points===
The most important information in the RG flow is its '''fixed points'''. A fixed point is defined by the vanishing of the [[beta function (physics)|beta function]] associated to the flow. Then, fixed points of the renormalization group are by definition scale invariant. In many cases of physical interest scale invariance enlarges to conformal invariance. One then has a [[conformal field theory]] at the fixed point.
The most important information in the RG flow is its fixed points. A fixed point is defined by the vanishing of the beta function associated to the flow. Then, fixed points of the renormalization group are by definition scale invariant. In many cases of physical interest scale invariance enlarges to conformal invariance. One then has a conformal field theory at the fixed point.
Rg 流中最重要的信息是它的固定点。一个固定点的定义是: 与流相关的贝塔函数的消失。然后,重整化群的不动点按照定义是尺度不变的。在许多情况下,物理兴趣尺度不变性扩大到共形不变性。然后在一个固定点上有一个共形场论。
The ability of several theories to flow to the same fixed point leads to [[Universality (dynamical systems)|universality]].
The ability of several theories to flow to the same fixed point leads to universality.
若干理论能够流向同一个固定点,这就导致了普遍性。
If these fixed points correspond to free field theory, the theory is said to exhibit [[quantum triviality]]. Numerous fixed points appear in the study of [[Lattice gauge theory#Quantum triviality|lattice Higgs theories]], but the nature of the quantum field theories associated with these remains an open question.<ref name="TrivPurs">{{cite journal| author=D. J. E. Callaway | year=1988
If these fixed points correspond to free field theory, the theory is said to exhibit quantum triviality. Numerous fixed points appear in the study of lattice Higgs theories, but the nature of the quantum field theories associated with these remains an open question.<ref name="TrivPurs">{{cite journal| author=D. J. E. Callaway | year=1988
如果这些不动点与自由场理论相对应,那么这个理论就被称为量子平凡性理论。许多不动点出现在晶格希格斯理论的研究中,但与之相关的量子场理论的性质仍然是一个悬而未决的问题。 文章的作者 d。1988年
| title=Triviality Pursuit: Can Elementary Scalar Particles Exist?| journal=[[Physics Reports]]
| title=Triviality Pursuit: Can Elementary Scalar Particles Exist?| journal=Physics Reports
追求琐碎: 基本标量粒子能存在吗
|volume=167| issue=5 | pages=241–320| doi=10.1016/0370-1573(88)90008-7
|volume=167| issue=5 | pages=241–320| doi=10.1016/0370-1573(88)90008-7
167 | issue 5 | pages 241-320 | doi 10.1016 / 0370-1573(88)90008-7
|bibcode = 1988PhR...167..241C | author-link=David J E Callaway
|bibcode = 1988PhR...167..241C | author-link=David J E Callaway
| bibcode 1988 phr... 167. . 241 c | 作者链接 David j e Callaway
}}</ref>
}}</ref>
{} / ref
== See also ==
* [[History of quantum field theory]]
* [[Quantum triviality]]
* [[Zeno's paradoxes]]
== References ==
{{reflist|35em}}
== Further reading ==
=== General introduction ===
* DeDeo, Simon; [https://www.complexityexplorer.org/tutorials/67-introduction-to-renormalization ''Introduction to Renormalization''] (2017). [[Santa Fe Institute]] Complexity Explorer MOOC. Renormalization from a complex systems point of view, including Markov Chains, Cellular Automata, the real space Ising model, the Krohn-Rhodes Theorem, QED, and rate distortion theory.
* {{cite journal |doi=10.1119/1.1624112 |arxiv=hep-th/0212049|title=A hint of renormalization|journal=American Journal of Physics|volume=72|issue=2|pages=170–184|year=2004|last1=Delamotte|first1=Bertrand|bibcode=2004AmJPh..72..170D}}
* Baez, John; [http://math.ucr.edu/home/baez/renormalization.html ''Renormalization Made Easy''], (2005). A qualitative introduction to the subject.
* Blechman, Andrew E.; [http://www.pha.jhu.edu/~blechman/papers/renormalization/ ''Renormalization: Our Greatly Misunderstood Friend''], (2002). Summary of a lecture; has more information about specific regularization and divergence-subtraction schemes.
* {{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.}}
* [[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''].
* E. Elizalde; ''Zeta regularization techniques with Applications''.
=== Mainly: quantum field theory ===
*[[Nikolay Bogoliubov|N. N. Bogoliubov]], [[Dmitry Shirkov|D. V. Shirkov]] (1959): ''The Theory of Quantized Fields''. New York, Interscience. The first text-book on the [[renormalization group]] theory.
* Ryder, Lewis H.; ''Quantum Field Theory '' (Cambridge University Press, 1985), {{ISBN|0-521-33859-X}} Highly readable textbook, certainly the best introduction to relativistic Q.F.T. for particle physics.
* Zee, Anthony; ''Quantum Field Theory in a Nutshell'', Princeton University Press (2003) {{ISBN|0-691-01019-6}}. Another excellent textbook on Q.F.T.
* Weinberg, Steven; ''The Quantum Theory of Fields'' (3 volumes) Cambridge University Press (1995). A monumental treatise on Q.F.T. written by a leading expert, [http://nobelprize.org/physics/laureates/1979/weinberg-lecture.html ''Nobel laureate 1979''].
* Pokorski, Stefan; ''Gauge Field Theories'', Cambridge University Press (1987) {{ISBN|0-521-47816-2}}.
* 't Hooft, Gerard; ''The Glorious Days of Physics – Renormalization of Gauge theories'', lecture given at Erice (August/September 1998) by the [http://nobelprize.org/physics/laureates/1999/thooft-autobio.html ''Nobel laureate 1999''] . Full text available at: [https://arxiv.org/abs/hep-th/9812203 ''hep-th/9812203''].
* Rivasseau, Vincent; ''An introduction to renormalization'', Poincaré Seminar (Paris, Oct. 12, 2002), published in : Duplantier, Bertrand; Rivasseau, Vincent (Eds.); ''Poincaré Seminar 2002'', Progress in Mathematical Physics 30, Birkhäuser (2003) {{ISBN|3-7643-0579-7}}. Full text available in [http://www.bourbaphy.fr/Rivasseau.ps ''PostScript''].
* Rivasseau, Vincent; ''From perturbative to constructive renormalization'', Princeton University Press (1991) {{ISBN|0-691-08530-7}}. Full text available in [http://cpth.polytechnique.fr/cpth/rivass/articles/book.ps ''PostScript''].
* Iagolnitzer, Daniel & Magnen, J.; ''Renormalization group analysis'', Encyclopaedia of Mathematics, Kluwer Academic Publisher (1996). Full text available in PostScript and pdf [https://web.archive.org/web/20060630015233/http://www-spht.cea.fr/articles/t96/037/ ''here''].
* Scharf, Günter; ''Finite quantum electrodynamics: The causal approach'', Springer Verlag Berlin Heidelberg New York (1995) {{ISBN|3-540-60142-2}}.
* A. S. Švarc ([[Albert Schwarz]]), Математические основы квантовой теории поля, (Mathematical aspects of quantum field theory), Atomizdat, Moscow, 1975. 368 pp.
=== Mainly: statistical physics ===
* A. N. Vasil'ev; ''The Field Theoretic Renormalization Group in Critical Behavior Theory and Stochastic Dynamics'' (Routledge Chapman & Hall 2004); {{ISBN|978-0-415-31002-4}}
* [[Nigel Goldenfeld]]; ''Lectures on Phase Transitions and the Renormalization Group'', Frontiers in Physics 85, Westview Press (June, 1992) {{ISBN|0-201-55409-7}}. Covering the elementary aspects of the physics of phases transitions and the renormalization group, this popular book emphasizes understanding and clarity rather than technical manipulations.
* Zinn-Justin, Jean; ''Quantum Field Theory and Critical Phenomena'', Oxford University Press (4th edition – 2002) {{ISBN|0-19-850923-5}}. A masterpiece on applications of renormalization methods to the calculation of critical exponents in statistical mechanics, following Wilson's ideas (Kenneth Wilson was [http://nobelprize.org/physics/laureates/1982/wilson-autobio.html ''Nobel laureate 1982'']).
* Zinn-Justin, Jean; ''Phase Transitions & Renormalization Group: from Theory to Numbers'', Poincaré Seminar (Paris, Oct. 12, 2002), published in : Duplantier, Bertrand; Rivasseau, Vincent (Eds.); ''Poincaré Seminar 2002'', Progress in Mathematical Physics 30, Birkhäuser (2003) {{ISBN|3-7643-0579-7}}. Full text available in [http://parthe.lpthe.jussieu.fr/poincare/textes/octobre2002/Zinn.ps ''PostScript''].
* Domb, Cyril; ''The Critical Point: A Historical Introduction to the Modern Theory of Critical Phenomena'', CRC Press (March, 1996) {{ISBN|0-7484-0435-X}}.
* Brown, Laurie M. (Ed.); ''Renormalization: From Lorentz to Landau (and Beyond)'', Springer-Verlag (New York-1993) {{ISBN|0-387-97933-6}}.
* [[John Cardy|Cardy, John]]; ''Scaling and Renormalization in Statistical Physics'', Cambridge University Press (1996) {{ISBN|0-521-49959-3}}.
=== Miscellaneous ===
* [[Dmitry Shirkov|Shirkov, Dmitry]]; ''The Bogoliubov Renormalization Group'', JINR Communication E2-96-15 (1996). Full text available at: [https://arxiv.org/abs/hep-th/9602024 ''hep-th/9602024'']
* García Moreta, José Javier http://prespacetime.com/index.php/pst/article/view/498 The Application of Zeta Regularization Method to the Calculation of Certain Divergent Series and Integrals Refined Higgs, CMB from Planck, Departures in Logic, and GR Issues & Solutions vol 4 Nº 3 prespacetime journal http://prespacetime.com/index.php/pst/issue/view/41/showToc
* Zinn-Justin, Jean; ''Renormalization and renormalization group: From the discovery of UV divergences to the concept of effective field theories'', in: de Witt-Morette C., Zuber J.-B. (eds), Proceedings of the NATO ASI on ''Quantum Field Theory: Perspective and Prospective'', June 15–26, 1998, Les Houches, France, Kluwer Academic Publishers, NATO ASI Series C 530, 375–388 (1999). Full text available in [http://www-spht.cea.fr/articles/t98/118/ ''PostScript''].
* Connes, Alain; ''Symétries Galoisiennes & Renormalisation'', Poincaré Seminar (Paris, Oct. 12, 2002), published in : Duplantier, Bertrand; Rivasseau, Vincent (Eds.); ''Poincaré Seminar 2002'', Progress in Mathematical Physics 30, Birkhäuser (2003) {{ISBN|3-7643-0579-7}}. French mathematician [http://www.alainconnes.org ''Alain Connes''] (Fields medallist 1982) describe the mathematical underlying structure (the [[Hopf algebra]]) of renormalization, and its link to the Riemann-Hilbert problem. Full text (in French) available at [https://arxiv.org/pdf/math/0211199v1 ''math/0211199v1''].
[[Category:Concepts in physics]]
Category:Concepts in physics
分类: 物理概念
[[Category:Particle physics]]
Category:Particle physics
类别: 粒子物理学
[[Category:Quantum field theory]]
Category:Quantum field theory
范畴: 量子场论
[[Category:Renormalization group]]
Category:Renormalization group
类别: 重整化群
[[Category:Mathematical physics]]
Category:Mathematical physics
类别: 数学物理
<noinclude>
<small>This page was moved from [[wikipedia:en:Renormalization]]. Its edit history can be viewed at [[重整化/edithistory]]</small></noinclude>
[[Category:待整理页面]]