In theoretical physics, the renormalization group (RG) is a mathematical tool that allows systematic investigation into the changes in a physical system as it is viewed at different scales. The scales of the system typically describe the interactions of the objects; they may be variable ("running") couplings which measure the strength of various forces, mass parameters, or the size of the system. The renormalization group is related to scale invariance and conformal invariance, symmetries in which a system exhibits self-similarity; in some cases, the parameters of the model can be assigned to special values, known as a "fixed point", where the field theory is conformally invariant and any running couplings cease to change.

In particle physics, this treatment reflects the changes in the underlying physical laws (codified in a quantum field theory that is renormalizable) as the energy or mass scale at which physical processes occur varies. For example, in quantum electrodynamics (QED), an electron appears to be composed of electron and positron pairs and photons at very short distances. Taken together, this set of particles has a slightly different electric charge than the dressed electron seen at large distances, and this change in the value of the charge is determined by the renormalization group equation.

History The renormalization group was initially developed for particle physics applications but has since been applied to solid-state physics, fluid mechanics, physical cosmology, and nanotechnology. An early article by Ernst Stueckelberg and André Petermann in 1953 anticipates the idea in quantum field theory: they noted that renormalization exhibits a group of transformations which transfers quantities from the bare terms to the counter terms, and introduced a function h(e) in quantum electrodynamics (QED), which is now known as the beta function.

Beginnings

Murray Gell-Mann and Francis E. Low restricted the idea to scale transformations in QED in 1954 and focused on asymptotic forms of the photon propagator at high energies. They determined the variation of the electromagnetic coupling in QED by considering the scaling structure, and discovered that the coupling parameter g(μ) at the energy scale μ is effectively given by the group equation for an arbitrary Wegner's scaling function G and a constant d, in terms of the coupling g(M) at a reference scale M.

Gell-Mann and Low realized that the effective scale can be arbitrarily taken as μ, and can vary to define the theory at any other scale: The core of the RG is this group property: as the scale μ varies, the theory presents self-similarly, and any scale can be accessed from any other scale by this group action. More formally, this transformation is described mathematically by Schröder's equation.

On the basis of this finite group equation and its scaling property, Gell-Mann and Low focused on infinitesimal transformations, and invented a computational method based on the function which they introduced. Like the earlier function h(e), their function determines the change of the coupling g(μ) with respect to change in energy scale μ through a differential equation, the renormalization group equation or the beta function. Since it is a function of g, integration in g of a perturbative estimate of it permits specification of the variation of the function with energy - effectively the function G in this approximation. The renormalization group prediction was confirmed 40 years later at the Large Electron–Positron Collider experiments: the fine structure "constant" of QED was measured to be about at energies close to 200 GeV, as opposed to the standard low-energy physics value of .

Deeper understanding The renormalization group emerges from the renormalization of the quantum field variables, which has to address the problem of infinite terms in a quantum field theory. The process for doing this systematically for QED was created by Richard Feynman, Julian Schwinger and Shin'ichirō Tomonaga, who received the 1965 Nobel prize for these contributions. They devised the theory of mass and charge renormalization, in which the infinity in the momentum scale is cut off by an ultra-large regulator, Λ.

The dependence of physical quantities on the scale Λ is hidden, effectively swapped for the longer-distance scales at which the physical quantities are measured; as a result, all observable quantities are finite even for an infinite Λ. Gell-Mann and Low thus realized in these results that, while a tiny change in g is provided by the above RG equation given ψ(g), the self-similarity is expressed by the fact that ψ(g) depends explicitly only upon the parameters of the theory, and not upon the scale μ. Consequently, the above renormalization group equation may be solved for (G and thus) g(μ).

A deeper understanding of the physical meaning and generalization of the renormalization process, which goes beyond the dilation group of conventional renormalizable theories, considers methods where widely different scales appear simultaneously. It 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.

This approach covered the conceptual point and was given full computational substance in the work of Kenneth Wilson. Wilson demonstrated a constructive iterative renormalization solution of a long-standing problem, the Kondo problem, in 1975, 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 contributions in 1982.

Reformulation The RG in particle physics was reformulated in more practical terms by Callan and Symanzik in 1970. The above beta function, which describes the "running of the coupling" parameter with scale, was found to represent the quantum-mechanical breaking of scale symmetry in a field theory. Applications of the RG to particle physics sharply increased in number in the 1970s with the establishment of the Standard Model.

In 1973, it was discovered that a theory of interacting quarks had a negative beta function. This means that an initial high-energy value of the coupling will eventuate a special value of at which the coupling diverges. This special value is the scale of the strong interactions, = (~200 mega-electronvolts). Conversely, the coupling becomes weak at very high energies (asymptotic freedom), and the quarks become observable as point-like particles, in deep inelastic scattering, as anticipated by Feynman–Bjorken scaling. QCD was thereby established as the quantum field theory controlling the strong interactions of particles.

Momentum space RG also became a highly developed tool in solid state physics, but was hindered by the extensive use of perturbation theory, which prevented the theory from succeeding in strongly correlated systems.

Elementary theory A generic theory is described by a certain function of the state variables and a certain set of coupling constants . This function may be a partition function, an action, a Hamiltonian, so long as it contains the whole description of the physics of the system.

For a certain transformation of the state variables , the number of is less than the number of . If the function can be rewritten only in terms of the by a certain change in the parameters, , then the theory is said to be renormalizable. The change in the parameters is implemented by a certain beta function: , which is said to induce a renormalization group flow (or RG flow) on the -space. The values of under the flow are called running couplings.

Most fundamental theories of physics with the exception of gravity are exactly renormalizable. Similarly, most theories in condensed matter physics are approximately renormalizable.

Conformal symmetry and fixed points Conformal symmetry is associated with the vanishing of the beta function. This can occur naturally if a coupling constant is attracted, by running, toward a fixed point at which β(g) = 0. In QCD, the fixed point occurs at short distances where g → 0 and is called a (trivial) ultraviolet fixed point. For heavy quarks, such as the top quark, the coupling to the Higgs boson runs toward a fixed non-zero (non-trivial) infrared fixed point The top quark Yukawa coupling lies slightly below the infrared fixed point of the Standard Model suggesting the possibility of additional new physics, such as sequential heavy Higgs bosons.

In string theory, conformal invariance of the string world-sheet is a fundamental symmetry: β = 0 is a requirement. Here, β is a function of the geometry of the space-time in which the string moves. This determines the space-time dimensionality of the string theory and enforces Einstein's equations of general relativity on the geometry. The RG is of fundamental importance to string theory and theories of grand unification.

If the fixed points of the system correspond to a free field theory, the theory is said to exhibit quantum triviality and possesses a Landau pole. For a 4 interaction, Michael Aizenman proved that this theory is indeed trivial, for space-time dimension ≥ 5. For = 4, the triviality has yet to be proven rigorously, but lattice computations have provided strong evidence for this. This fact is important as quantum triviality can be used to bound or even predict parameters such as the Higgs boson mass in asymptotic safety scenarios. 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. Since the RG transformations in such systems are lossy (i.e. the number of variables decreases), there need not be an inverse for a given RG transformation.

Relevant and irrelevant operators

For a certain observable of a physical system undergoing an RG transformation, the magnitude of the observable as the scale of the system goes from small to large determines the importance of the observable for the scaling law: If its magnitude ... then the observable is ... always increases relevant always decreases irrelevant other marginal A relevant observable is needed to describe the macroscopic behavior of the system; irrelevant observables are not needed. Marginal observables may or may not need to be taken into account. Most observables are irrelevant, i.e., the macroscopic physics is dominated by only a few observables in most systems. As an example, in microscopic physics, to describe a system consisting of a mole of carbon-12 atoms we need of the order of 10 (the Avogadro number) variables, while to describe it as a macroscopic system (12 grams of carbon-12) we only need a few.

Critical exponents and universality

Before Wilson's RG approach, it was unclear why the critical exponents describing transitions in very disparate phenomena. In general, thermodynamic features of a system near a phase transition depend only on a small number of variables, such as the dimensionality and symmetry, but are insensitive to details of the underlying microscopic properties of the system. This property is known as universality.

Universality can be explained using the renormalization group, by demonstrating that the differences in phenomena among the individual fine-scale components are determined by irrelevant observables, while the relevant observables are shared in common. Therefore, many macroscopic phenomena may be grouped into a small set of universality classes, specified by the shared sets of relevant observables.

Simple model: block spins