The application of the RG consists in the recursive enactment of a procedure made of two principal steps:
- The first is an actual realization of a coarse graining procedure, also called decimation, like the one introduced by Kadanoff for the Ising model; in general this procedure must integrate the degrees of freedom of the system on scales of linear dimension which must be much larger than the characteristic microscopic scale of the system but also much smaller than the correlation length : . After the decimation, we are left with a new effective Hamiltonian
- The second consists in the rescaling (or renormalization) of the system, so that the "new" microscopic scale of the system is again but in the "new units of measure". In other words we rescale the distances dividing them by :
As we have seen, this means that the new correlation length
is smaller than the original one, so our system is farther from criticality after the decimation. This way, the whole procedure can be seen (as realised by Kadanoff) as a transformation
of the coupling constants of the Hamiltonian of the system
To make an example, suppose we are given a Hamiltonian which depends on an arbitrary number of coupling constants (in the case of an Ising model with nearest-neighbour interaction and an external field there are only two coupling constants, and ). For what we have just stated the action of the RG can be expressed as a transformation of the coupling constants:
is called RG transformation
, while this last equation is referred to as recursion relation
. We suppose that the function
is analytic (no matter how complicated it may be).
The set of transformations
form a semigroup
, because if we subsequently apply two transformations
on two different length scales
and in general the inverse of a given transformation
does not exist.
There is no general way to construct the function
: depending on the system and on the case considered we can choose different ways to carry out the decimation, and in general (as we will see) for a given system many different RG transformations can be built. In general such procedures can be done either in coordinate space (real space Renormalization Group
) or in Fourier space (momentum shell Renormalization Group
In terms of the coupling constants the partition function of the original system is:
while the free energy density (for the sill finite-sized system):
Now, if the RG transformation integrates the degrees of freedom on the spatial scale
then the number of degrees of freedom will decrease by a factor
is the dimensionality of the system; in other words, after the RG transformation
we are left with
degrees of freedom.
Considering Kadanoff's block transformation (but the essence of our statements is valid in general, of course provided the trivial generalizations), the decimation is performed doing a "partial trace" of the degrees of freedom with the constraints that the block spins have fixed values (of course determined the way we choose). Formally, we can write:
is the constrained trace, while
is the projection operator
, which "incorporates" the constraints and allows us to write an unconstrained trace. In general this operator must be built "by hand".
For example, in the case of Kadanoff's block transformation we can assign the block spins
their values with the "majority rule", i.e. we build (hyper)cubic blocks of side
(so that each one contains an odd number of spins) and set:
and the projection operator can be written as:
As we can see, doing an unconstrained trace with this operator is equivalent to performing the constrained trace.
The decimation procedure must in general satisfy three requirements:
- , so that can be indeed considered an effective Hamiltonian. From what we have previously stated we see that this requirement is satisfied if
- The effective Hamiltonian must have the same symmetry properties of the original one. This means (and this is the great improvement with respect to Kadanoff's argument) that the decimation can make some new terms appear in the coarse-grained Hamiltonian, as long as they respect the same symmetries of the original system. In more "formal" words, if in but its relative term is allowed by the symmetry group of itself, then we can have in . For example, we will see later on that for the Ising model with nearest-neighbour interactions and , after the decimation new four-spin interaction terms can appear, and they are still invariant under parity (which is the symmetry group of the initial Hamiltonian). In order to satisfy this requirement, also the projection operator must satisfy the symmetries of the original Hamiltonian
- The last requirement is that the decimation leaves invariant the partition function (not the Hamiltonian!):
From we see that this is true if:
From the last requirement we can also see how the free energy density of the system changes under the action of the RG:
which is the scaling form of the free energy density as obtained by Kadanoff.
- ↑ What we are now studying should be called Renormalization Semigroup, but it is simply known as group for historical reasons.