In
theoretical physics
Theoretical physics is a branch of physics that employs mathematical models and abstractions of physical objects and systems to rationalize, explain and predict natural phenomena. This is in contrast to experimental physics, which uses experim ...
, the term renormalization group (RG) refers to a formal apparatus that allows systematic investigation of the changes of a physical system as viewed at different
scales
Scale or scales may refer to:
Mathematics
* Scale (descriptive set theory), an object defined on a set of points
* Scale (ratio), the ratio of a linear dimension of a model to the corresponding dimension of the original
* Scale factor, a number w ...
. In
particle physics
Particle physics or high energy physics is the study of fundamental particles and forces that constitute matter and radiation. The fundamental particles in the universe are classified in the Standard Model as fermions (matter particles) an ...
, it reflects the changes in the underlying force laws (codified in a
quantum field theory
In theoretical physics, quantum field theory (QFT) is a theoretical framework that combines classical field theory, special relativity, and quantum mechanics. QFT is used in particle physics to construct physical models of subatomic particles and ...
) as the energy scale at which physical processes occur varies, energy/momentum and resolution distance scales being effectively conjugate under the
uncertainty principle
In quantum mechanics, the uncertainty principle (also known as Heisenberg's uncertainty principle) is any of a variety of mathematical inequalities asserting a fundamental limit to the accuracy with which the values for certain pairs of physic ...
.
A change in scale is called a
scale transformation. The renormalization group is intimately related to ''scale invariance'' and ''conformal invariance'', symmetries in which a system appears the same at all scales (so-called
self-similarity
__NOTOC__
In mathematics, a self-similar object is exactly or approximately similar to a part of itself (i.e., the whole has the same shape as one or more of the parts). Many objects in the real world, such as coastlines, are statistically se ...
).
As the scale varies, it is as if one is changing the magnifying power of a notional microscope viewing the system. In so-called renormalizable theories, the system at one scale will generally be seen to consist of self-similar copies of itself when viewed at a smaller scale, with different parameters describing the components of the system. The components, or fundamental variables, may relate to atoms, elementary particles, atomic spins, etc. The parameters of the theory typically describe the interactions of the components. These may be variable
couplings which measure the strength of various forces, or mass parameters themselves. The components themselves may appear to be composed of more of the self-same components as one goes to shorter distances.
For example, in
quantum electrodynamics
In particle physics, quantum electrodynamics (QED) is the relativistic quantum field theory of electrodynamics. In essence, it describes how light and matter interact and is the first theory where full agreement between quantum mechanics and spec ...
(QED), an electron appears to be composed of electrons, positrons (anti-electrons) and photons, as one views it at higher resolution, at very short distances. The electron at such short distances has a slightly different electric charge than does the
dressed electron seen at large distances, and this change, or ''running'', in the value of the electric charge is determined by the renormalization group equation.
History
The idea of scale transformations and scale invariance is old in physics: Scaling arguments were commonplace for the
Pythagorean school,
Euclid
Euclid (; grc-gre, Wikt:Εὐκλείδης, Εὐκλείδης; BC) was an ancient Greek mathematician active as a geometer and logician. Considered the "father of geometry", he is chiefly known for the ''Euclid's Elements, Elements'' trea ...
, and up to
Galileo
Galileo di Vincenzo Bonaiuti de' Galilei (15 February 1564 – 8 January 1642) was an Italian astronomer, physicist and engineer, sometimes described as a polymath. Commonly referred to as Galileo, his name was pronounced (, ). He was ...
. They became popular again at the end of the 19th century, perhaps the first example being the idea of enhanced
viscosity
The viscosity of a fluid is a measure of its resistance to deformation at a given rate. For liquids, it corresponds to the informal concept of "thickness": for example, syrup has a higher viscosity than water.
Viscosity quantifies the inte ...
of
Osborne Reynolds
Osborne Reynolds (23 August 1842 – 21 February 1912) was an Irish-born innovator in the understanding of fluid dynamics. Separately, his studies of heat transfer between solids and fluids brought improvements in boiler and condenser design. ...
, as a way to explain turbulence.
The renormalization group was initially devised in particle physics, but nowadays its applications extend to
solid-state physics
Solid-state physics is the study of rigid matter, or solids, through methods such as quantum mechanics, crystallography, electromagnetism, and metallurgy. It is the largest branch of condensed matter physics. Solid-state physics studies how the l ...
,
fluid mechanics
Fluid mechanics is the branch of physics concerned with the mechanics of fluids ( liquids, gases, and plasmas) and the forces on them.
It has applications in a wide range of disciplines, including mechanical, aerospace, civil, chemical and bio ...
,
physical cosmology
Physical cosmology is a branch of cosmology concerned with the study of cosmological models. A cosmological model, or simply cosmology, provides a description of the largest-scale structures and dynamics of the universe and allows study of f ...
, and even
nanotechnology
Nanotechnology, also shortened to nanotech, is the use of matter on an atomic, molecular, and supramolecular scale for industrial purposes. The earliest, widespread description of nanotechnology referred to the particular technological goal o ...
. An early article by
Ernst Stueckelberg
Ernst Carl Gerlach Stueckelberg (baptised as Johann Melchior Ernst Karl Gerlach Stückelberg, full name after 1911: Baron Ernst Carl Gerlach Stueckelberg von Breidenbach zu Breidenstein und Melsbach; 1 February 1905 – 4 September 1984) was a S ...
and
André Petermann
Andreas Emil Petermann (27 September 1922, Lausanne, Switzerland – 21 August 2011, Lausanne), known as André Petermann, was a Swiss theoretical physicist known for introducing the renormalization group, suggesting a quark-like model, and work ...
in 1953 anticipates the idea in
quantum field theory
In theoretical physics, quantum field theory (QFT) is a theoretical framework that combines classical field theory, special relativity, and quantum mechanics. QFT is used in particle physics to construct physical models of subatomic particles and ...
. Stueckelberg and Petermann opened the field conceptually. They noted that
renormalization
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 v ...
exhibits a group of transformations which transfer quantities from the bare terms to the counter terms. They introduced a function ''h''(''e'') in
quantum electrodynamics (QED), which is now called the
beta function
In mathematics, the beta function, also called the Euler integral of the first kind, is a special function that is closely related to the gamma function and to binomial coefficients. It is defined by the integral
: \Beta(z_1,z_2) = \int_0^1 t^(1 ...
(see below).
Beginnings
Murray Gell-Mann
Murray Gell-Mann (; September 15, 1929 – May 24, 2019) was an American physicist who received the 1969 Nobel Prize in Physics for his work on the theory of elementary particles. He was the Robert Andrews Millikan Professor of Theoretical ...
and
Francis E. Low
Francis Eugene Low (October 27, 1921 – February 16, 2007) was an American theoretical physicist. He was an Institute Professor at MIT, and served as provost there from 1980 to 1985.
He was a member of the influential JASON Defense Advisory Gro ...
restricted the idea to scale transformations in QED in 1954, which are the most physically significant, and focused on asymptotic forms of the photon propagator at high energies. They determined the variation of the electromagnetic coupling in QED, by appreciating the simplicity of the scaling structure of that theory. They thus discovered that the coupling parameter ''g''(''μ'') at the energy scale ''μ'' is effectively given by the (one-dimensional translation) group equation
:
or equivalently,
, for some function ''G'' (unspecified—nowadays called
Wegner's scaling function) and a constant ''d'', in terms of the coupling ''g(M)'' at a reference scale ''M''.
Gell-Mann and Low realized in these results that the effective scale can be arbitrarily taken as ''μ'', and can vary to define the theory at any other scale:
:
The gist of the RG is this group property: as the scale ''μ'' varies, the theory presents a self-similar replica of itself, and any scale can be accessed similarly from any other scale, by group action, a formal transitive conjugacy of couplings in the mathematical sense (
Schröder's equation
Schröder's equation, named after Ernst Schröder, is a functional equation with one independent variable: given the function , find the function such that
Schröder's equation is an eigenvalue equation for the composition operator that send ...
).
On the basis of this (finite) group equation and its scaling property, Gell-Mann and Low could then focus on infinitesimal transformations, and invented a computational method based on a mathematical flow function of the coupling parameter ''g'', which they introduced. Like the function ''h''(''e'') of Stueckelberg and Petermann, their function determines the differential change of the coupling ''g''(''μ'') with respect to a small change in energy scale ''μ'' through a differential equation, the ''renormalization group equation'':
:
The modern name is also indicated, the
beta function
In mathematics, the beta function, also called the Euler integral of the first kind, is a special function that is closely related to the gamma function and to binomial coefficients. It is defined by the integral
: \Beta(z_1,z_2) = \int_0^1 t^(1 ...
, introduced by
C. Callan and
K. Symanzik in 1970.
[ Since it is a mere function of ''g'', integration in ''g'' of a perturbative estimate of it permits specification of the renormalization trajectory of the coupling, that is, its variation with energy, effectively the function ''G'' in this perturbative approximation. The renormalization group prediction (cf. Stueckelberg–Petermann and Gell-Mann–Low works) was confirmed 40 years later at the LEP accelerator 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
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 v ...
of the quantum field variables, which normally has to address the problem of infinities in a quantum field theory. This problem of systematically handling the infinities of quantum field theory to obtain finite physical quantities was solved for QED by Richard Feynman
Richard Phillips Feynman (; May 11, 1918 – February 15, 1988) was an American theoretical physicist, known for his work in the path integral formulation of quantum mechanics, the theory of quantum electrodynamics, the physics of the superflu ...
, Julian Schwinger
Julian Seymour Schwinger (; February 12, 1918 – July 16, 1994) was a Nobel Prize winning American theoretical physicist. He is best known for his work on quantum electrodynamics (QED), in particular for developing a relativistically invariant ...
and Shin'ichirō Tomonaga
, usually cited as Sin-Itiro Tomonaga in English, was a Japanese physicist, influential in the development of quantum electrodynamics, work for which he was jointly awarded the Nobel Prize in Physics in 1965 along with Richard Feynman and Julian ...
, who received the 1965 Nobel prize for these contributions. They effectively 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, such as the electric charge or electron mass, on the scale Λ is hidden, effectively swapped for the longer-distance scales at which the physical quantities are measured, and, as a result, all observable quantities end up being finite instead, even for an infinite Λ. Gell-Mann and Low thus realized in these results that, infinitesimally, 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 parameter(s) 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 of lengths appear simultaneously. It came from condensed matter physics
Condensed matter physics is the field of physics that deals with the macroscopic and microscopic physical properties of matter, especially the solid and liquid phases which arise from electromagnetic forces between atoms. More generally, the sub ...
: 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 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 1975, as well as the preceding seminal developments of his new method in the theory of second-order phase transitions and critical phenomena
In physics, critical phenomena is the collective name associated with the
physics of critical points. Most of them stem from the divergence of the
correlation length, but also the dynamics slows down. Critical phenomena include scaling relations ...
in 1971. He was awarded the Nobel prize for these decisive contributions in 1982.
Reformulation
Meanwhile, the RG in particle physics had been 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 also found to amount to the "canonical trace anomaly", which represents the quantum-mechanical breaking of scale (dilation) symmetry in a field theory. Applications of the RG to particle physics exploded in number in the 1970s with the establishment of the Standard Model
The Standard Model of particle physics is the theory describing three of the four known fundamental forces (electromagnetism, electromagnetic, weak interaction, weak and strong interactions - excluding gravity) in the universe and classifying a ...
.
In 1973, it was discovered that a theory of interacting colored quarks, called quantum chromodynamics
In theoretical physics, quantum chromodynamics (QCD) is the theory of the strong interaction between quarks mediated by gluons. Quarks are fundamental particles that make up composite hadrons such as the proton, neutron and pion. QCD is a type ...
, 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 blows up (diverges). This special value is the scale of the strong interactions, = and occurs at about 200 MeV. Conversely, the coupling becomes weak at very high energies (asymptotic freedom
In quantum field theory, asymptotic freedom is a property of some gauge theories that causes interactions between particles to become asymptotically weaker as the energy scale increases and the corresponding length scale decreases.
Asymptotic fr ...
), and the quarks become observable as point-like particles, in deep inelastic scattering
Deep inelastic scattering is the name given to a process used to probe the insides of hadrons (particularly the baryons, such as protons and neutrons), using electrons, muons and neutrinos. It provided the first convincing evidence of the reali ...
, 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.
Conformal symmetry
The 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
Trivia is information and data that are considered to be of little value. It can be contrasted with general knowledge and common sense.
Latin Etymology
The ancient Romans used the word ''triviae'' to describe where one road split or forked ...
) ultraviolet fixed point
In a quantum field theory, one may calculate an effective or running coupling constant that defines the coupling of the theory measured at a given momentum scale. One example of such a coupling constant is the electric charge.
In approximate cal ...
. For heavy quarks, such as the top quark
The top quark, sometimes also referred to as the truth quark, (symbol: t) is the most massive of all observed elementary particles. It derives its mass from its coupling to the Higgs Boson. This coupling y_ is very close to unity; in the Standard ...
, the coupling to the mass-giving Higgs boson
The Higgs boson, sometimes called the Higgs particle, is an elementary particle in the Standard Model of particle physics produced by the quantum excitation of the Higgs field,
one of the fields in particle physics theory. In the Stand ...
runs toward a fixed non-zero (non-trivial) infrared fixed point
In physics, an infrared fixed point is a set of coupling constants, or other parameters, that evolve from initial values at very high energies (short distance) to fixed stable values, usually predictable, at low energies (large distance). This usu ...
, first predicted by Pendleton and Ross (1981), and C. T. Hill.
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
In physics, string theory is a theoretical framework in which the point-like particles of particle physics are replaced by one-dimensional objects called strings. String theory describes how these strings propagate through space and interac ...
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
General relativity, also known as the general theory of relativity and Einstein's theory of gravity, is the geometric theory of gravitation published by Albert Einstein in 1915 and is the current description of gravitation in modern physics ...
on the geometry. The RG is of fundamental importance to string theory and theories of grand unification
A Grand Unified Theory (GUT) is a model in particle physics in which, at high energies, the three gauge interactions of the Standard Model comprising the electromagnetic, weak, and strong forces are merged into a single force. Although this ...
.
It is also the modern key idea underlying critical phenomena
In physics, critical phenomena is the collective name associated with the
physics of critical points. Most of them stem from the divergence of the
correlation length, but also the dynamics slows down. Critical phenomena include scaling relations ...
in condensed matter physics. Indeed, the RG has become one of the most important tools of modern physics. It is often used in combination with the Monte Carlo method
Monte Carlo methods, or Monte Carlo experiments, are a broad class of computational algorithms that rely on repeated random sampling to obtain numerical results. The underlying concept is to use randomness to solve problems that might be determi ...
.
Block spin
This section introduces pedagogically a picture of RG which may be easiest to grasp: the block spin RG, devised by Leo P. Kadanoff in 1966.[
Consider a 2D solid, a set of atoms in a perfect square array, as depicted in the figure.
Assume that atoms interact among themselves only with their nearest neighbours, and that the system is at a given temperature . The strength of their interaction is quantified by a certain ]coupling
A coupling is a device used to connect two shafts together at their ends for the purpose of transmitting power. The primary purpose of couplings is to join two pieces of rotating equipment while permitting some degree of misalignment or end mov ...
. The physics of the system will be described by a certain formula, say the Hamiltonian .
Now proceed to divide the solid into blocks of 2×2 squares; we attempt to describe the system in terms of block variables, i.e., variables which describe the average behavior of the block. Further assume that, by some lucky coincidence, the physics of block variables is described by a ''formula of the same kind'', but with different values for and : . (This isn't exactly true, in general, but it is often a good first approximation.)
Perhaps, the initial problem was too hard to solve, since there were too many atoms. Now, in the renormalized problem we have only one fourth of them. But why stop now? Another iteration of the same kind leads to , and only one sixteenth of the atoms. We are increasing the observation scale with each RG step.
Of course, the best idea is to iterate until there is only one very big block. Since the number of atoms in any real sample of material is very large, this is more or less equivalent to finding the ''long range'' behaviour of the RG transformation which took and . Often, when iterated many times, this RG transformation leads to a certain number of fixed points.
To be more concrete, consider a magnetic
Magnetism is the class of physical attributes that are mediated by a magnetic field, which refers to the capacity to induce attractive and repulsive phenomena in other entities. Electric currents and the magnetic moments of elementary particle ...
system (e.g., the Ising model
The Ising model () (or Lenz-Ising model or Ising-Lenz model), named after the physicists Ernst Ising and Wilhelm Lenz, is a mathematical model of ferromagnetism in statistical mechanics. The model consists of discrete variables that represent ...
), in which the coupling denotes the trend of neighbour spin
Spin or spinning most often refers to:
* Spinning (textiles), the creation of yarn or thread by twisting fibers together, traditionally by hand spinning
* Spin, the rotation of an object around a central axis
* Spin (propaganda), an intentionally b ...
s to be parallel. The configuration of the system is the result of the tradeoff between the ordering term and the disordering effect of temperature.
For many models of this kind there are three fixed points:
# and . This means that, at the largest size, temperature becomes unimportant, i.e., the disordering factor vanishes. Thus, in large scales, the system appears to be ordered. We are in a ferromagnetic
Ferromagnetism is a property of certain materials (such as iron) which results in a large observed magnetic permeability, and in many cases a large magnetic coercivity allowing the material to form a permanent magnet. Ferromagnetic materials ...
phase.
# and . Exactly the opposite; here, temperature dominates, and the system is disordered at large scales.
# A nontrivial point between them, and . In this point, changing the scale does not change the physics, because the system is in a fractal
In mathematics, a fractal is a geometric shape containing detailed structure at arbitrarily small scales, usually having a fractal dimension strictly exceeding the topological dimension. Many fractals appear similar at various scales, as illu ...
state. It corresponds to the Curie
In computing, a CURIE (or ''Compact URI'') defines a generic, abbreviated syntax for expressing Uniform Resource Identifiers (URIs). It is an abbreviated URI expressed in a compact syntax, and may be found in both XML and non-XML grammars. A CURIE ...
phase transition
In chemistry, thermodynamics, and other related fields, a phase transition (or phase change) is the physical process of transition between one state of a medium and another. Commonly the term is used to refer to changes among the basic states of ...
, and is also called a critical point.
So, if we are given a certain material with given values of and , all we have to do in order to find out the large-scale behaviour of the system is to iterate the pair until we find the corresponding fixed point.
Elementary theory
In more technical terms, let us assume that we have a theory described by a certain function of the state variables
A state variable is one of the set of variables that are used to describe the mathematical "state" of a dynamical system. Intuitively, the state of a system describes enough about the system to determine its future behaviour in the absence of a ...
and a certain set of coupling constants . This function may be a partition function, an action
Action may refer to:
* Action (narrative), a literary mode
* Action fiction, a type of genre fiction
* Action game, a genre of video game
Film
* Action film, a genre of film
* ''Action'' (1921 film), a film by John Ford
* ''Action'' (1980 fil ...
, a Hamiltonian
Hamiltonian may refer to:
* Hamiltonian mechanics, a function that represents the total energy of a system
* Hamiltonian (quantum mechanics), an operator corresponding to the total energy of that system
** Dyall Hamiltonian, a modified Hamiltonian ...
, etc. It must contain the whole description of the physics of the system.
Now we consider a certain blocking transformation of the state variables , the number of must be lower than the number of . Now let us try to rewrite the function ''only'' in terms of the . If this is achievable by a certain change in the parameters, , then the theory is said to be renormalizable.
For some reason, most fundamental theories of physics such as quantum electrodynamics
In particle physics, quantum electrodynamics (QED) is the relativistic quantum field theory of electrodynamics. In essence, it describes how light and matter interact and is the first theory where full agreement between quantum mechanics and spec ...
, quantum chromodynamics
In theoretical physics, quantum chromodynamics (QCD) is the theory of the strong interaction between quarks mediated by gluons. Quarks are fundamental particles that make up composite hadrons such as the proton, neutron and pion. QCD is a type ...
and electro-weak
In particle physics, the electroweak interaction or electroweak force is the unified description of two of the four known fundamental interactions of nature: electromagnetism and the weak interaction. Although these two forces appear very differe ...
interaction, but not gravity, are exactly renormalizable. Also, most theories in condensed matter physics are approximately renormalizable, from superconductivity
Superconductivity is a set of physical properties observed in certain materials where electrical resistance vanishes and magnetic flux fields are expelled from the material. Any material exhibiting these properties is a superconductor. Unlike ...
to fluid turbulence.
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.
As was stated in the previous section, the most important information in the RG flow are its fixed points. The possible macroscopic states of the system, at a large scale, are given by this set of fixed points. If these fixed points correspond to a free field theory, the theory is said to exhibit quantum triviality
In a quantum field theory, charge screening can restrict the value of the observable "renormalized" charge of a classical theory. If
the only resulting value of the renormalized charge is zero, the theory is said to be "trivial" or noninteracting. ...
, possessing what is called a Landau pole
In physics, the Landau pole (or the Moscow zero, or the Landau ghost) is the momentum (or energy) scale at which the coupling constant (interaction strength) of a quantum field theory becomes infinite. Such a possibility was pointed out by the ph ...
, as in quantum electrodynamics. For a 4 interaction, Michael Aizenman
Michael Aizenman (born 28 August 1945 in Nizhny Tagil, Russia) is an American-Israeli mathematician and a physicist at Princeton University, working in the fields of mathematical physics, statistical mechanics, functional analysis and probability ...
proved that this theory is indeed trivial, for space-time dimension ≥ 5. For = 4, the triviality has yet to be proven rigorously (pendin
recent submission to the arxiv
, but lattice computations have provided strong evidence for this. This fact is important as quantum triviality
In a quantum field theory, charge screening can restrict the value of the observable "renormalized" charge of a classical theory. If
the only resulting value of the renormalized charge is zero, the theory is said to be "trivial" or noninteracting. ...
can be used to bound or even ''predict'' parameters such as the Higgs boson
The Higgs boson, sometimes called the Higgs particle, is an elementary particle in the Standard Model of particle physics produced by the quantum excitation of the Higgs field,
one of the fields in particle physics theory. In the Stand ...
mass in asymptotic safety
Asymptotic safety (sometimes also referred to as nonperturbative renormalizability) is a concept in quantum field theory which aims at finding a consistent and predictive quantum theory of the gravitational field. Its key ingredient is a nontr ...
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 - see as an example in a different context, Lossy data compression
In information technology, lossy compression or irreversible compression is the class of data compression methods that uses inexact approximations and partial data discarding to represent the content. These techniques are used to reduce data size ...
), there need not be an inverse for a given RG transformation. Thus, in such lossy systems, the renormalization group is, in fact, a semigroup
In mathematics, a semigroup is an algebraic structure consisting of a set together with an associative internal binary operation on it.
The binary operation of a semigroup is most often denoted multiplicatively: ''x''·''y'', or simply ''xy'', ...
, as lossiness implies that there is no unique inverse for each element.
Relevant and irrelevant operators and universality classes
Consider a certain observable of a physical system undergoing an RG transformation. The magnitude of the observable as the length scale of the system goes from small to large determines the importance of the observable(s) for the scaling law:
A ''relevant'' observable is needed to describe the macroscopic behaviour of the system; ''irrelevant'' observables are not needed. ''Marginal'' observables may or may not need to be taken into account. A remarkable broad fact is that ''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
Mole (or Molé) may refer to:
Animals
* Mole (animal) or "true mole", mammals in the family Talpidae, found in Eurasia and North America
* Golden moles, southern African mammals in the family Chrysochloridae, similar to but unrelated to Talpida ...
of carbon-12 atoms we need of the order of 10 (the Avogadro number
The Avogadro constant, commonly denoted or , is the proportionality factor that relates the number of constituent particles (usually molecules, atoms or ions) in a sample with the amount of substance in that sample. It is an SI defining co ...
) variables, while to describe it as a macroscopic system (12 grams of carbon-12) we only need a few.
Before Wilson's RG approach, there was an astonishing empirical fact to explain: The coincidence of the critical exponents
Critical or Critically may refer to:
*Critical, or critical but stable, medical states
**Critical, or intensive care medicine
* Critical juncture, a discontinuous change studied in the social sciences.
* Critical Software, a company specializing i ...
(i.e., the exponents of the reduced-temperature dependence of several quantities near a second order phase transition
In chemistry, thermodynamics, and other related fields, a phase transition (or phase change) is the physical process of transition between one state of a medium and another. Commonly the term is used to refer to changes among the basic states of ...
) in very disparate phenomena, such as magnetic systems, superfluid transition (Lambda transition The ''λ'' (lambda) universality class is a group in condensed matter physics. It regroups several systems possessing strong analogies, namely, superfluids, superconductors and smectics ( liquid crystals). All these systems are expected to belong t ...
), alloy physics, etc. So 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 coincidence of critical exponents for ostensibly quite different physical systems, called universality, is easily 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. Hence many macroscopic phenomena may be grouped into a small set of universality class
In statistical mechanics, a universality class is a collection of mathematical models which share a single scale invariant limit under the process of renormalization group flow. While the models within a class may differ dramatically at finite s ...
es, specified by the shared sets of relevant observables.
Momentum space
Renormalization groups, in practice, come in two main "flavours". The Kadanoff picture explained above refers mainly to the so-called real-space RG.
Momentum-space RG on the other hand, has a longer history despite its relative subtlety. It can be used for systems where the degrees of freedom can be cast in terms of the Fourier modes of a given field. The RG transformation proceeds by ''integrating out'' a certain set of high-momentum (large-wavenumber) modes. Since large wavenumbers are related to short-length scales, the momentum-space RG results in an essentially analogous coarse-graining effect as with real-space RG.
Momentum-space RG is usually performed on a perturbation
Perturbation or perturb may refer to:
* Perturbation theory, mathematical methods that give approximate solutions to problems that cannot be solved exactly
* Perturbation (geology), changes in the nature of alluvial deposits over time
* Perturbatio ...
expansion. The validity of such an expansion is predicated upon the actual physics of a system being close to that of a free field
In physics a free field is a field without interactions, which is described by the terms of motion and mass.
Description
In classical physics, a free field is a field whose equations of motion are given by linear partial differential equati ...
system. In this case, one may calculate observables by summing the leading terms in the expansion.
This approach has proved successful for many theories, including most of particle physics, but fails for systems whose physics is very far from any free system, i.e., systems with strong correlations.
As an example of the physical meaning of RG in particle physics, consider an overview of ''charge renormalization'' in quantum electrodynamics
In particle physics, quantum electrodynamics (QED) is the relativistic quantum field theory of electrodynamics. In essence, it describes how light and matter interact and is the first theory where full agreement between quantum mechanics and spec ...
(QED). Suppose we have a point positive charge of a certain true (or bare) magnitude. The electromagnetic field around it has a certain energy, and thus may produce some virtual electron-positron pairs (for example). Although virtual particles annihilate very quickly, during their short lives the electron will be attracted by the charge, and the positron will be repelled. Since this happens uniformly everywhere near the point charge, where its electric field is sufficiently strong, these pairs effectively create a screen around the charge when viewed from far away. The measured strength of the charge will depend on how close our measuring probe can approach the point charge, bypassing more of the screen of virtual particles the closer it gets. Hence a ''dependence of a certain coupling constant (here, the electric charge) with distance scale''.
Momentum and length scales are related inversely, according to the de Broglie relation
Matter waves are a central part of the theory of quantum mechanics, being an example of wave–particle duality. All matter exhibits wave-like behavior. For example, a beam of electrons can be diffracted just like a beam of light or a water wave ...
: The higher the energy or momentum scale we may reach, the lower the length scale we may probe and resolve. Therefore, the momentum-space RG practitioners sometimes declaim to ''integrate out'' high momenta or high energy from their theories.
Exact renormalization group equations
An exact renormalization group equation (ERGE) is one that takes irrelevant couplings into account. There are several formulations.
The Wilson ERGE is the simplest conceptually, but is practically impossible to implement. Fourier transform
A Fourier transform (FT) is a mathematical transform that decomposes functions into frequency components, which are represented by the output of the transform as a function of frequency. Most commonly functions of time or space are transformed, ...
into momentum space
In physics and geometry, there are two closely related vector spaces, usually three-dimensional but in general of any finite dimension.
Position space (also real space or coordinate space) is the set of all ''position vectors'' r in space, and h ...
after Wick rotating into Euclidean space
Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, that is, in Euclid's Elements, Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics ther ...
. Insist upon a hard momentum cutoff, so that the only degrees of freedom are those with momenta less than . The partition function is
:
For any positive less than , define (a functional over field configurations whose Fourier transform has momentum support within ) as
:
Obviously,
:
Obviously,
:
Obviously,
:
In fact, this transformation is transitive relation, transitive. If you compute from and then compute SΛ″ from SΛ′, this gives you the same Wilsonian action as computing SΛ″ directly from SΛ.
The Polchinski ERGE involves a smooth
Smooth may refer to:
Mathematics
* Smooth function, a function that is infinitely differentiable; used in calculus and topology
* Smooth manifold, a differentiable manifold for which all the transition maps are smooth functions
* Smooth algebrai ...
UV regulator cutoff. Basically, the idea is an improvement over the Wilson ERGE. Instead of a sharp momentum cutoff, it uses a smooth cutoff. Essentially, we suppress contributions from momenta greater than heavily. The smoothness of the cutoff, however, allows us to derive a functional differential equation
In mathematics, a differential equation is an equation that relates one or more unknown functions and their derivatives. In applications, the functions generally represent physical quantities, the derivatives represent their rates of change, an ...
in the cutoff scale . As in Wilson's approach, we have a different action functional for each cutoff energy scale . Each of these actions are supposed to describe exactly the same model which means that their partition functionals have to match exactly.
In other words, (for a real scalar field; generalizations to other fields are obvious),
:
and ZΛ is really independent of ! We have used the condensed deWitt notation
Physics often deals with classical models where the dynamical variables are a collection of functions
''α'' over a d-dimensional space/spacetime manifold ''M'' where ''α'' is the " flavor" index. This involves functionals over the ''φs, func ...
here. We have also split the bare action SΛ into a quadratic kinetic part and an interacting part Sint Λ. This split most certainly isn't clean. The "interacting" part can very well also contain quadratic kinetic terms. In fact, if there is any wave function renormalization, it most certainly will. This can be somewhat reduced by introducing field rescalings. RΛ is a function of the momentum p and the second term in the exponent is
:
when expanded.
When , is essentially 1. When , becomes very very huge and approaches infinity. is always greater than or equal to 1 and is smooth. Basically, this leaves the fluctuations with momenta less than the cutoff unaffected but heavily suppresses contributions from fluctuations with momenta greater than the cutoff. This is obviously a huge improvement over Wilson.
The condition that
:
can be satisfied by (but not only by)
:
Jacques Distler
Jacques Distler (born January 1, 1961) is a Canadian-born American physicist working in string theory. He has been a professor of physics at the University of Texas at Austin since 1994.
Early life and education
Distler was born to a Jewish family ...
claimed without proof that this ERGE is not correct nonperturbative
In mathematics and physics, a non-perturbative function (mathematics), function or process is one that cannot be described by perturbation theory. An example is the function
: f(x) = e^,
which does not have a Taylor series at ''x'' = 0. Every c ...
ly.
The effective average action ERGE involves a smooth IR regulator cutoff.
The idea is to take all fluctuations right up to an IR scale into account. The effective average action will be accurate for fluctuations with momenta larger than . As the parameter is lowered, the effective average action approaches the effective action
In quantum field theory, the quantum effective action is a modified expression for the classical action taking into account quantum corrections while ensuring that the principle of least action applies, meaning that extremizing the effective ac ...
which includes all quantum and classical fluctuations. In contrast, for large the effective average action is close to the "bare action". So, the effective average action interpolates between the "bare action" and the effective action
In quantum field theory, the quantum effective action is a modified expression for the classical action taking into account quantum corrections while ensuring that the principle of least action applies, meaning that extremizing the effective ac ...
.
For a real scalar field
In mathematics and physics, a scalar field is a function (mathematics), function associating a single number to every point (geometry), point in a space (mathematics), space – possibly physical space. The scalar may either be a pure Scalar ( ...
, one adds an IR cutoff
:
to the action
Action may refer to:
* Action (narrative), a literary mode
* Action fiction, a type of genre fiction
* Action game, a genre of video game
Film
* Action film, a genre of film
* ''Action'' (1921 film), a film by John Ford
* ''Action'' (1980 fil ...
, where Rk is a function of both and such that for
, Rk(p) is very tiny and approaches 0 and for , . Rk is both smooth and nonnegative. Its large value for small momenta leads to a suppression of their contribution to the partition function which is effectively the same thing as neglecting large-scale fluctuations.
One can use the condensed deWitt notation
Physics often deals with classical models where the dynamical variables are a collection of functions
''α'' over a d-dimensional space/spacetime manifold ''M'' where ''α'' is the " flavor" index. This involves functionals over the ''φs, func ...
:
for this IR regulator.
So,
:
where is the source field
In theoretical physics, a source field is a field J whose multiple
: S_ = J\Phi
appears in the action, multiplied by the original field \Phi. Consequently, the source field appears on the right-hand side of the equations of motion (usually second- ...
. The Legendre transform
In mathematics, the Legendre transformation (or Legendre transform), named after Adrien-Marie Legendre, is an involutive transformation on real-valued convex functions of one real variable. In physical problems, it is used to convert functions ...
of Wk ordinarily gives the effective action
In quantum field theory, the quantum effective action is a modified expression for the classical action taking into account quantum corrections while ensuring that the principle of least action applies, meaning that extremizing the effective ac ...
. However, the action that we started off with is really S 1/2 φ⋅Rk⋅φ and so, to get the effective average action, we subtract off 1/2 φ⋅Rk⋅φ. In other words,
: