# Basic ideas of the Renormalization Group

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 :

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:

*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*

^{[1]}, because if we subsequently apply two transformations and on two different length scales and we have:

*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:

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:

*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:

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 the last requirement we can also see how the free energy density of the system changes under the action of the RG:

- ↑ What we are now studying should be called
*Renormalization Semigroup*, but it is simply known as*group*for historical reasons.