In this chapter we will introduce the powerful theoretical methods of renormalization. The fundamental idea is that at \(p=p:c\), a rescaling of the system does not change the most important features. By a rescaling we typically mean a coarse-graining of the system, such as merging \(2 \times 2\) cells into a single cell. The rule we use to choose the occupation probability of the new, coarse-grained cell, \(p'\), is a function of the probability p of the original lattice, \(p' = R(p)\). In renormalization theory, we use properties of this mapping, \(R(p)\), to deduce properties of the system such as critical exponents. In this chapter, you will be introduced to the fundamentals of renormalization theory in the context of percolation systems, in which the geometric nature of the remapping allow us to build intuition about renormalization as a concept. We will also apply the theory to different lattice structures and for one, two and three-dimensional systems.

We have now learned that when p approaches \(p:c\), the correlation length grows to infinity, and the spanning cluster becomes a self-similar fractal structure. This implies that the spanning cluster at \(p:c\) has statistical self-similarity: if we cut out a piece of the spanning cluster, and rescale the lengths in the system, the rescaled system will have the same statistical geometrical properties as the original system. In particular, the rescaled system will have the same mass scaling relation: it will also be a self-similar fractal with the same scaling properties.

What happens when \(p \neq p_c\)? In this case, there will be a finite correlation length, \(\xi \), and a rescaling of the lengths in the system implies that the correlation length is also rescaled. A rescaling by a factor b corresponds to making a coarse-graining over \(b^d\) sites in order to form the new lattice. Now, we will simply assume that this also implies that the correlation length is reduced by a factor b: \(\xi ' = \xi /b\). After a few iterations of this rescaling procedure, the correlation length will correspond to the lattice size and the lattice will be uniform.

We could have made this argument even simpler by initially stating that we divide the system into parts that are larger than the correlation length. Again, this would lead to a system that is homogeneous from the smallest lattice spacing an upwards. We can conclude that when \(p < p_c\), the system behaves as a uniform, unconnected system and when \(p > p_c\), the system is uniform and connected.

The argument we have sketched above is the essence of the renormalization group argument. It is only exactly at \(p = p_c\) that an iterative rescaling is a non-trivial fix point: the system iterates onto itself because it is a self-similar fractal. When p is away from \(p:c\), rescaling iterations will make the system progressively more homogeneous, and effectively bring the rescaled p towards either 0 or 1.

In this chapter we will provide an introduction to the theoretical framework for renormalization. This is a powerful set of techniques, introduced for equilibrium critical phenomena by Kadanoff [19] in 1966 and by Wilson [39] in 1971. Wilson later received the Nobel prize for his work on critical phenomena.

7.1 The Renormalization Mapping

What happens when we coarse-grain a percolation system? What does it mean to coarse-grain? It means that we replace a \(2 \times 2\) cell with a single cell using a specified rule, which aims at retaining connectivity. An example of such a rule is given in Fig. 7.1. For each possible \(2 \times 2\) configuration, we show if it maps onto an occupied or an empty cell. Let us now apply this rule to a \(64 \times 64\) system for three different values of p as illustrated in Fig. 7.2. We iterate the procedure several time, reducing the system size with a factor of 2 each time.

Fig. 7.1
An illustration of a percolation problem’s renormalization rule presents 16 configurations c = 1 to 16 in the top row, grouped into 6 classes k = 1 to 6 in the center row, each with varying multiplicities g of k.

Illustration of a renormalization rule for a site percolation problem with a rescaling \(b=2\). The top row shows the 16 configurations c. The middle row show the 6 classes k with multiplicities \(g(k)\)

Fig. 7.2
21 square grids in 3 rows depict a rescaling process with a reduction of a 2 by 2 cell to a single site, creating a renormalized system. The process is repeated until only one site remains. The cells have contours in different patterns based on L and p values.

Illustration of averaging using a rescaling \(b=2\), so that a cell of size \(b\times b=2\times 2\) is reduced to a single site, producing a “renormalized” system of size \(L/2\). We iterate the procedure until \(L=1\), that is, only a single site is left

Behavior Through Iterations

What happens in this system? When \(p=p:c\), then \(\xi \) is infinte. This means that \(\xi \) does not change we divide the system size by 2. We see that the system appears similar throughout the iteration, and the final single site is occupied. This is because the system is a self-similar fractal and does not change significantly through the iterations. What happens when \(p>p_c\)? In this case, we see that the system becomes more homogeneous through each iteration and eventually the whole system is filled. This means that the effective percolation probability becomes higher through the iterations. Similarly, when \(p>p_c\), the system becomes more homogeneous, but also more empty, as the iterations proceed. This means that the effective percolation probability becomes lower through the iterations.

Renormalization Means Changing the Occupation Probability

In the original lattice the occupation probability is p. However, through our coarse-graining procedure, we may change the occupation probability for the new, averaged sites. We will therefore call the new occupation probability \(p'\), the probability to occupy a renormalized site. We write the mapping between the original and the new occupation probabilities as

$$\displaystyle \begin{aligned} p' = R(p) \; , \end{aligned} $$
(7.1)

where the renormalization function \(R(p)\), which provides the mapping, depends on the details of the rule used for renormalization.

Selecting a Renormalization Rule

There are many choices for the mapping between the original and the renormalized lattice. We have illustrated a particular mapping with a rescaling \(b=2\) in Fig. 7.1. Such a mapping describes how each of the \(4^2=16\) possible configurations c of the \(2 \times 2\) system is mapped onto a \(1 \times 1\) single site through a function \(f(c)\), where \(f(c)\) is 1 if the new site is occupied and 0 if it is empty. The renormalization mapping is then

$$\displaystyle \begin{aligned} R(p) = \sum_c P(c) f(c) \; , \end{aligned} $$
(7.2)

where \(P(c)\) is the probability for configuration c. It is often practical to organize the configurations into classes k, where each class has the same number of occupied sites and hence the same probability \(P(k)\), and the number of configurations in class k is called the multiplicity \(g(k)\) of the class. Expressed in terms of the classes k, the renormalization mapping is

$$\displaystyle \begin{aligned} R(p) = \sum_k g(k) P(k) f(k) \; . \end{aligned} $$
(7.3)

For the particular mapping provided in Fig. 7.1, the renormalization mapping becomes

$$\displaystyle \begin{aligned} \begin{aligned} R(p) &= 1\cdot p^4 \cdot 1 + 4 \cdot p^3(1-p)^1 \cdot 1 + 4 \cdot p^2(1-p)^2 \cdot 1 \\ &+ 2 \cdot p^2(1-p)^2 \cdot 0 + 4 \cdot p^1(1-p)^3 \cdot 0 + 1 \cdot (1-p)^4 \cdot 0 \\ &= p^4 + 4p^3(1-p) + 4p^2(1-p^2)\; . \end{aligned} \end{aligned} $$
(7.4)

This illustrates a particular rule, but there are many possible rules. Usually, we want to ensure that important aspects of the percolation system is preserved by the mapping. For example, we would want the mapping to conserve connectivity. That is, we would like to ensure that

$$\displaystyle \begin{aligned} \varPi(p,L) = \varPi(p',\frac{L}{b}) \; . \end{aligned} $$
(7.5)

However, even though we may ensure this on the level of the mapping, this does not ensure that the mapping actually conserves connectivity when applied to a large cluster. It may, for example, connect clusters that were unconnected in the original lattice, or disconnect clusters that were connected, as illustrated in Fig. 7.3.

Fig. 7.3
Two 8 cross 8 and 4 cross 4 lattices. The left lattice has smaller, connected clusters. The right lattice, post-renormalization, presents fewer, larger clusters, indicating changes in connectivity.

Illustration of a single step of renormalization on an \(8 \times 8\) lattice of sites. We see that the renormalization procedure introduces new connections: the blue cluster is now much larger than in the original. However, the procedure also removes previously existing connections: the original yellow cluster is split into two separate clusters

Properties of the Renormalization Mapping

First, we will not consider the details of the renormalization mapping \(p'=R(p)\), but instead assume that such a map exists and study its qualitative features. Then we will address detailed properties of the renormalization mapping through two worked examples.

For any choice of mapping, the rescaling will result in a change in the correlation length \(\xi \):

$$\displaystyle \begin{aligned} \xi' = \xi(p') = \frac{1}{b} \xi(p) \; . {} \end{aligned} $$
(7.6)

We will use this relation to address the behavior of fixpoints of the mapping.

Fixpoint A fixpoint of a mapping \(R(p)\) is a point \(p^{\ast }\) that does not change when the mapping is applied. That is

$$\displaystyle \begin{aligned} p^{\ast} = R(p^{\ast}) \; . \end{aligned} $$
(7.7)

Trivial Fixpoints

At a fixpoint, the iteration relation for the correlation length becomes:

$$\displaystyle \begin{aligned} \xi(p^{\ast}) = \frac{\xi(p^{\ast})}{b} \; . \end{aligned} $$
(7.8)

The only possible solutions for this equation are that \(\xi = 0\) or \(\xi = \infty \). We call the case when \(\xi = 0\) a trivial fixed point. There are two trivial fixed points for any renormalization mapping at \(p=0\) and at \(p=1\).

Stable and Unstable Fixpoints

Let us assume that there exists a non-trivial fixpoint\(p^{\ast }\), and let us address the behavior for p close to \(p^{\ast }\). We notice that for any finite \(\xi \), iterations by the renormalization relation will reduce \(\xi \). That is, both for \(p < p^{\ast }\) and for \(p > p^{\ast }\) iterations will make \(\xi \) smaller. This implies that iterations will take the system further away from the non-trivial fixpoint, where the correlation length is infinite. The non-trivial fixpoint is therefore an unstable fixpoint. Similarly, for p close to a trivial fixpoint, where \(\xi = 0\), iterations will decrease \(\xi \), and the renormalized system will move closer to the fixpoint in each iteration. The trivial fixpoint is therefore stable.

Graphical Interaction of the Renormalization Relation

Iterations by the renormalization relation \(p' = R(p)\) may be studied on the graph \(R(p)\), as illustrated in Fig. 7.4. Consecutive iterations take the system along the arrows illustrated in the figure. Notice that the line \(p'=p\) is drawn as a dotted reference line. In the figure, the two end points, \(p=0\) and \(p=1\) are the only stable fixpoints, and the point \(p^{\ast }\) is the only unstable fixpoint. The actual shape of the function \(R(p)\) depends on the renormalization rule, and the shape may be more complex than what is illustrated in Fig. 7.4.

Fig. 7.4
A line graph plots R of p against p. The line starts at the origin and then curves upward to (1, 1). Two points on the curve connected by vectors are labeled p prime less than p and p greater than p prime, respectively. A horizontal and vertical dashed line intersect at (1, 1).

Illustration the renormalization mapping \(p'=R(p)\) as a function of p. The non-trivial fixpoint \(p^{\ast } = R(p^{\ast })\) is illustrated. Two iterations sequences are illustrated by the lines with arrows. Let us look at the path starting from \(p > p^{\ast }\). Through the first application of the mapping, we read off the resulting value of \(p'\). This value will then be the input value for the next application of the renormalization mapping. A fast way to find the corresponding position along the p axis is to reflect the \(p'\) value from the line \(p'=p\) shown as a dotted line. This gives the new p value, and the mapping is applied again producing yet another \(p'\) which is even further from \(p^{\ast }\). With the drawn shape of \(R(p)\) there is only one non-trivial fixpoint, which is unstable

7.1.1 Iterating the Renormalization Mapping

We are now ready for a more quantitative argument for the effect of iterations through the renormalization mapping \(R(p)\). First, we notice that the non-trivial fixpoint corresponds to the percolation threshold of the renormalization model, since the correlation length is diverging for this value of p. (This does not imply that \(p^{\ast }\) is equal to \(p:c\). As we shall see, \(p^{\ast }\) depends on the choice of \(R(p)\)).

We will now assume that \(R(p)\) is differentiable, which it should be since \(R(p)\) is based on sums of polynomials of p and \(1-p\). Let us study the behavior close to \(p^{\ast }\) through a Taylor expansion of the mapping \(p' = R(p)\). First, we notice that

$$\displaystyle \begin{aligned} p' - p^{\ast} = R(p) - R(p^{\ast}) \; , \end{aligned} $$
(7.9)

because \(p' = R(p)\) and \(p^{\ast } = R(p^{\ast })\). The Taylor expansion of \(R(p)\) for a p close to \(p^{\ast }\) is:

$$\displaystyle \begin{aligned} R(p) = R(p^{\ast}) + R'(p^{\ast})(p - p^{\ast}) + \mathcal{O}(p-p^{\ast})^2 \; . \end{aligned} $$
(7.10)

If we define \(\varLambda = R'(p^{\ast })\), we get that to first order in \(p - p^{\ast }\):

$$\displaystyle \begin{aligned} p' - p^{\ast} \simeq \varLambda (p - p^{\ast}) \; , {} \end{aligned} $$
(7.11)

We see that the value of \(\varLambda \) characterizes the fixpoint. For \(\varLambda > 1\) the new point \(p'\) will be further away from \(p^{\ast }\) than the initial point p. Consequently, the fixpoint is unstable. By a similar argument, we see that for \(\varLambda < 1\) the fixpoint is stable. For \(\varLambda = 1\) we call the fixpoint a marginal fixpoint.

Let us now assume that the fixpoint is indeed the percolation threshold. In this case, when p is close to \(p:c\), we know that the correlation length is

$$\displaystyle \begin{aligned} \xi(p) = \xi_0 (p - p_c)^{-\nu} \; , \end{aligned} $$
(7.12)

for the initial point, and

$$\displaystyle \begin{aligned} \xi(p') = \xi_0 (p' - p_c)^{-\nu} {} \end{aligned} $$
(7.13)

for the renormalized point. We will now use (7.11) for \(p^{\ast } = p_c\), giving

$$\displaystyle \begin{aligned} p' - p_c = \varLambda ( p - p_c) \; . \end{aligned} $$
(7.14)

Inserting this into (7.13) gives

$$\displaystyle \begin{aligned} \xi(p') = \xi_0 (p' - p_c)^{-\nu} = \xi_0 (\varLambda (p - p_c))^{-\nu} = \xi_0 \varLambda^{-\nu}(p - p_c)^{-\nu}\; . \end{aligned} $$
(7.15)

We can rewrite this using \(\xi (p)\)

$$\displaystyle \begin{aligned} \xi(p') = \varLambda^{-\nu} \xi(p) \; . \end{aligned} $$
(7.16)

However, we also know that

$$\displaystyle \begin{aligned} \xi(p') = \frac{1}{b} \xi(p) \; . \end{aligned} $$
(7.17)

Consequently, we have found that

$$\displaystyle \begin{aligned} b = \varLambda^{\nu} \; . \end{aligned} $$
(7.18)

This implies that the exponent \(\nu \) is a property of the fixpoint of the mapping \(R(p)\). We can find \(\nu \) from

$$\displaystyle \begin{aligned} \nu = \frac{\ln b}{\ln \varLambda} \; , {} \end{aligned} $$
(7.19)

where we remember that \(\varLambda = R'(p_c)\).

7.2 Examples

In the following we provide several examples of the application of the renormalization theory. Our renormalization procedure can be summarized in the following steps

  1. 1.

    Coarse-grain the system into cells of size \(b^d\).

  2. 2.

    Find a rule to determine the new occupation probability, \(p'\), from the old occupation probability, p: \(p' = R(p)\).

  3. 3.

    Determine the non-trivial fixpoints, \(p^{\ast }\), of the renormalization mapping: \(p^{\ast } = R(p^{\ast })\), and use these points as approximations for \(p:c\): \(p_c = p^{\ast }\).

  4. 4.

    Determine the rescaling factor \(\varLambda \) from the renormalization relation at the fixpoint: \(\varLambda = R'(p^{\ast })\).

  5. 5.

    Find \(\nu \) from the relation \(\nu = \ln b / \ln \varLambda \).

It is important to realize that the renormalization mapping \(R(p)\) is not unique.In order to obtain useful results we should ensure that the mapping preserves connectivity on average.

7.2.1 Example: One-Dimensional Percolation

Let us first address the one-dimensional percolation problem using the renormalization procedure. We have illustrated the one-dimensional percolation problem in Fig. 7.5. We generate the renormalization mapping by ensuring that it conserves connectivity. The probability for two sites to be connected over a distance b is \(p^b\) when the occupation probability for a single site is p. A renormalization mapping that conserves connectivity is therefore:

$$\displaystyle \begin{aligned} p' = \varPi(p,b) = p^b \; . \end{aligned} $$
(7.20)

The fixpoints for this mapping are

$$\displaystyle \begin{aligned} p^{\ast} = (p^{\ast})^b \; , \end{aligned} $$
(7.21)

with only two possible solutions, \(p^{\ast } = 0\), and \(p^{\ast } = 1\). An example of a renormalization iteration is shown in Fig. 7.6. The curve illustrates that \(p^{\ast } = 0\) is the only attractive or stable fixpoint, and that \(p^{\ast } = 1\) is an unstable fixpoint.

Fig. 7.5
An illustration of the renormalization process for a one-dimensional system. It has a dashed rectangle with 6 sections, each section has three circles, which point to the 6 circles at the bottom, respectively.

Illustration of a renormalization rule for a one-dimensional site percolation system with \(b = 3\)

Fig. 7.6
A line graph plots p prime versus p. The graph has a linear dotted line and a solid concave-up increasing curve. Both start at the origin and end at (1, 1). Step-wise decreasing vectors are in the area between the trends.

Illustration of a renormalization rule for a one-dimensional site percolation system with \(b = 3\)

We can also apply the theory directly to find the exponent \(\nu \). The renormalization relation is \(p' = R(p) = p^b\). We can therefore find \(\varLambda \) from:

$$\displaystyle \begin{aligned} \varLambda = \left. \frac{\partial R}{\partial p} \right|_{p^{\ast}} = b(p^{\ast})^{b-1} = b \; , \end{aligned} $$
(7.22)

where we are now studying the unstable fixpoint \(p^{\ast } = 1\). We can therefore determine \(\nu \) from (7.19):

$$\displaystyle \begin{aligned} \nu = \frac{\ln b}{\ln \varLambda} = 1 \: . \end{aligned} $$
(7.23)

We notice that b was eliminated in this procedure, which is essential since we do not want the exponent to depend on details such as the size of renormalization cell. The result for the scaling of the correlation length is therefore

$$\displaystyle \begin{aligned} \xi \propto \frac{1}{1-p} \; , \end{aligned} $$
(7.24)

when \(1-p \ll 1\).

7.2.2 Example: Renormalization on 2d Site Lattice

Let us now use this method to address a renormalization scheme for two-dimensional site percolation. We will use a scheme with \(b=2\). The possible configurations for a \(2 \times 2\) lattice are shown in Fig. 7.7.

Fig. 7.7
An illustration of 16 configurations c = 1 to 16 of a 2 by 2 site percolation system grouped into 7 classes from k = 1 to k = 7 with varying multiplicities g of k indicating the number of configurations in each class.

Possible configurations for a \(2\times 2\) site percolation system. The top row indicates various configurations and the middle row how the configurations are categorized into 7 classes k, where \(g(k)\) is the number of configurations in class k

In order to preserve connectivity, we need to ensure that classes \(k=1\) and \(k=2\) are occupied also in the renormalized lattice. However, we have some freedom as to which configurations to include in the class \(k=3\) and \(k=4\). We may choose only to consider spanning in one direction or spanning in both directions. In the mapping in Fig. 7.7 we only include horizontal spanning. Then the renormalization relation becomes

$$\displaystyle \begin{aligned} \begin{aligned} p' &= R(p) = \sum_k g(k) P(k) f(k) = 1\cdot p^4 \cdot 1 + 4 \cdot p^3(1-p)^1 \cdot 1 \\ &+ 2 \cdot p^2(1-p)^2 \cdot 1 + 2 \cdot p^2(1-p)^2 \cdot 0 + 2 \cdot p^2(1-p)^2 \cdot 0 \\ &+ 4 \cdot p^1(1-p)^3 \cdot 0 + 1 \cdot (1-p)^4 \cdot 0 = p^4 + 4p^3(1-p) + 2p^2(1-p^2)\; . \end{aligned} \end{aligned} $$
(7.25)

where \(f(k) = 1\) if class k is mapped onto an occupied site and \(f(k)=0\) if class k is mapped onto an empty site. The renormalization relation is illustrated in Fig. 7.8.

Fig. 7.8
A line graph plots R of p, p versus x with a slant dotted line and an increasing S curve. The solid curve is labeled R of p and the dotted line is labeled p. The curves start at the origin (0, 0) and end at (1.0, 1.0) on the top right.

Plot of the renormalization relation \(p' = R(p) = p^4 + 4p^3(1-p) + 2p^2(1-p)^2\) for a two-dimensional site percolation problem

We will now follow steps 3 and 4. First, in step 3, we determine the fixpoints of the renormalization relation. That is, we find the solutions to the equation

$$\displaystyle \begin{aligned} p^{\ast} = R(p^{\ast}) = (p^{\ast})^4 + 4(p^{\ast})^3 (1-p^{\ast}) + 2 (p^{\ast})^2 (1-p^{\ast})^2 \; . \end{aligned} $$
(7.26)

The trivial solution \(p^{\ast } = 0\) is not of interest. Therefore we divide by \(p^{\ast }\) to produce

$$\displaystyle \begin{aligned} (p^{\ast})^3 + 4(p^{\ast})^2 (1-p^{\ast}) + 2 (p^{\ast}) (1-p^{\ast})^2 = 1 \; . \end{aligned} $$
(7.27)

The other trivial fixpoint is \(p^{\ast } = 1\). We divide the equation by \(1 - p^{\ast }\) to get

$$\displaystyle \begin{aligned} (p^{\ast})^2 + p^{\ast} - 1 = 0\; . \end{aligned} $$
(7.28)

The solutions to this second order equation are

$$\displaystyle \begin{aligned} p^{\ast} = -\frac{1 \pm \sqrt{1 + 4}}{2} = \frac{\sqrt{5} \pm 1}{2} \simeq 0.62 \; . \end{aligned} $$
(7.29)

We have therefore found an estimate of \(p:c\) by setting \(p_c = p^{\ast }\). This does not produce the correct value for \(p:c\) in a two-dimensional site percolation system, but the result is still reasonably correct. We can similarly estimate the exponent \(\nu \) by calculating \(R'(p^{\ast })\).

7.2.3 Example: Renormalization on 2d Triangular Lattice

We will now use the same method to address percolation on site percolation on a triangular lattice. A triangular lattice is a lattice where each point has six neighbors. In solid state physics, the lattice is known as the hexagonal lattice because of its hexagonal rotation symmetry. Site percolation on the triangular lattice is particularly well suited for renormalization treatment, because a coarse grained version of the lattice is also a triangular lattice, as illustrated in Fig. 7.9, with a lattice spacing \(b = \sqrt {3}\) times the original lattice size.

Fig. 7.9
An illustration of the triangular lattice for site percolation depicts a renormalization scheme with a rescaling factor of 3, mapping various configurations into 4 classes with different multiplicities.

Illustration of a renormalization scheme for site percolation on a triangular lattice. The rescaling factor is \(b = \sqrt {3}\), and we use the majority rule for the mapping, that is, classes \(k=1\) and \(k=2\) are occupied, and classes \(k=3\) and \(k=4\) are mapped onto empty sites. Here, \(g(1) = 1\), \(g(2) = 3\), \(g(3) = 3\) and \(g(4) = 1\), giving \(8 = 2^3\) configurations

We will use the majority rule for the renormalization mapping. That is, we will map a set of three sites onto an occupied site if a majority of the sites are occupied, meaning that two or more sites are occupied. Otherwise, the renormalized site is empty. This mapping is illustrated in Fig. 7.9. This mapping does, as the reader may easily check, on the average conserve connectivity. The renormalization mapping becomes

$$\displaystyle \begin{aligned} p' = R(p) = p^3 + 3p^2 (1-p) = 3p^2 - 2p^3 \; . \end{aligned} $$
(7.30)

The fixpoints of this mapping are the solutions of the equation

$$\displaystyle \begin{aligned} p^{\ast} = 3(p^{\ast})^2 - 2(p^{\ast})^3 \; . {} \end{aligned} $$
(7.31)

We observe that the trivial fixpoints \(p^{\ast } = 0\) and \(p^{\ast }=1\) indeed satisfy (7.31). The non-trivial fixpoint is \(p^{\ast } = 1/2\). We are pleased to observe that this is the exact solution for \(p:c\) for site percolation on the triangular lattice.

We can use this relation to determine the scaling exponent \(\nu \). First, we calculate \(\varLambda \):

$$\displaystyle \begin{aligned} \varLambda = R'(p^{\ast}) = \left. 6p(1-p)\right|_{p=\frac{1}{2}} = \frac{3}{2} \; . \end{aligned} $$
(7.32)

As a result we find the exponent \(\nu \) from

$$\displaystyle \begin{aligned} \frac{1}{\nu} = \frac{\ln \varLambda}{\ln b} = \frac{\ln 3/2}{\ln \sqrt{3}} \simeq 1.355 \; , \end{aligned} $$
(7.33)

which is very close to the exact result \(\nu = 4/3\) for two-dimensional percolation.

7.2.4 Example: Renormalization on 2d Bond Lattice

As our last example of renormalization in two-dimensional percolation problems, we will study the bond percolation problem on a square lattice. The renormalization procedure is shown in Fig. 7.10. In the renormalization procedure, we replace 8 bonds by 2 new bonds. We consider connectivity only in the horizontal direction, and may therefore simplify the lattice, by only considering the mapping of the H-cell, a mapping of five bonds onto one bond in the horizontal direction. The various configurations are shown in the figure. In Table 7.1 we have shown the number of such configurations, and the probabilities for each configuration, which is needed in order to calculate the renormalization connection probability \(p'\).

Fig. 7.10
A sequence of 3 processes in 3 parts describes a renormalization scheme for bond percolation on a square lattice with the mapping from 8 to 2 bonds, simplifying the mapping for horizontal percolation. The classes are enumerated in Part D for k = 1 to 13.

(a) Illustration of a renormalization scheme for bond percolation on a square lattice in two dimensions. The rescaling factor is \(b=2\). (b) In general, the renormalization involves a mapping from 8 to two bonds. However, we will consider percolation only in the horizontal direction. This simplifies the mapping, to the figure shown in (c). For this mapping, the classes are shown and enumerated in (d)

Table 7.1 A list of the possible classes k for renormalization of a bond lattice. The probability for percolation given that the class is k is denoted \(\varPi |k\). The spanning probability for the whole cell is then \(\varPi (p) = p' = \sum _k n(k) P(k) \varPi |k\)

The resulting renormalization equation is given as

$$\displaystyle \begin{aligned} p' = R(p) = \varPi = \sum_{c=1}^{13} n(c) P(c) \varPi| c \; , \end{aligned} $$
(7.34)

where we have used k to denote the various classes, \(P(k)\) is the probability for one instance of class k, \(n(k)\) is the number of different configurations due to symmetry consideration in class k, and \(\varPi |k\) is the spanning probability given that the configuration is in class k. The resulting relation is

$$\displaystyle \begin{aligned} \begin{array}{rcl} p' & =&\displaystyle R(p) \end{array} \end{aligned} $$
(7.35)
$$\displaystyle \begin{aligned} \begin{array}{rcl} & =&\displaystyle p^5 + p^4(1-p) + 4p^4(1-p) + 2p^3(1-p)^2 \end{array} \end{aligned} $$
(7.36)
$$\displaystyle \begin{aligned} \begin{array}{rcl} & \quad &\displaystyle + 2 p^3 (1-p)^2 + 4p^3 (1-p)^2 + 2p^2 (1-p)^3 \end{array} \end{aligned} $$
(7.37)
$$\displaystyle \begin{aligned} \begin{array}{rcl} & =&\displaystyle 2p^5 - 5p^4 + 2p^3 + 2p^2 \; . \end{array} \end{aligned} $$
(7.38)

The fixpoints for this mapping are \(p^{\ast } = 0\), \(p^{\ast } = 1\), and \(p^{\ast } = 1/2\). The fixpoint \(p^{\ast } = 1/2\) provides the exact solution for the percolation threshold on the bond lattice in two dimensions. We find \(\varLambda \) by derivation

$$\displaystyle \begin{aligned} \varLambda = R'(p^{\ast}) = \frac{13}{8} \; . \end{aligned} $$
(7.39)

The corresponding estimate for the exponent \(\nu \) is

$$\displaystyle \begin{aligned} \nu = \frac{\ln b}{\ln \varLambda} \simeq 1.428 \; , \end{aligned} $$
(7.40)

which should be compared with the exact result of \(\nu = 4/3\) for two-dimensional percolation.

Exercises

Exercise 7.1 (Renormalization of nnn-Model)

  1. (a)

    Develop a renormalization scheme for a two-dimensional site percolation system with next-nearest neighbor (nnn) connectivity. That is, list the 16 possible configurations, and determine what configuration they map onto in the renormalized lattice.

  2. (b)

    Find the renormalized occupation probability \(p' = R(p)\).

  3. (c)

    Plot \(R(p)\) and \(f(p) = p\).

  4. (d)

    Find the fixpoints \(p^{\ast }\) so that \(R(p^{\ast }) = p^{\ast }\).

  5. (e)

    Find the rescaling factor \(\varLambda = R'(p^{\ast })\).

  6. (f)

    Determine the exponent \(\nu = \ln \varLambda / \ln b\).

  7. (g)

    How can we improve the estimates of \(p:c\) and \(\nu \)?

Exercise 7.2 (Renormalization of Three-Dimensional Site Percolation Model)

  1. (a)

    Find all \(2^8\) possible configurations for the \(2 \times 2 \times 2\) renormalization cell for three-dimensional site percolation.

  2. (b)

    Determine a renormalization scheme - what configurations map onto an occupied site?

  3. (c)

    Find the renormalized occupation probability \(p' = R(p)\).

  4. (d)

    Plot \(R(p)\) and \(f(p) = p\).

  5. (e)

    Find the fixpoints \(p^{\ast }\) so that \(R(p^{\ast }) = p^{\ast }\).

  6. (f)

    Find the rescaling factor \(\varLambda = R'(p^{\ast })\).

  7. (g)

    Determine the exponent \(\nu = \ln \varLambda / \ln b\).

Exercise 7.3 (Renormalization of Three-Dimensional Bond Percolation Model)

In this exercise we will develop an H-cell renormalization scheme for bond percolation in three dimensions. The three-dimensional H-cell is illustrated in Fig. 7.11.

Fig. 7.11
A 3-D geometric structure of the H cell with 12 vertices and 12 edges, oriented in space with x, y, and z axes.

Illustrations of the 3d H-cell

  1. (a)

    Find all \(2^12\) possible configurations for this H-cell.

  2. (b)

    Determine a renormalization scheme - what configurations map onto an occupied site?

  3. (c)

    Find the renormalized occupation probability \(p' = R(p)\).

  4. (d)

    Plot \(R(p)\) and \(f(p) = p\).

  5. (e)

    Find the fixpoints \(p^{\ast }\) so that \(R(p^{\ast }) = p^{\ast }\).

  6. (f)

    Find the rescaling factor \(\varLambda = R'(p^{\ast })\).

  7. (g)

    Determine the exponent \(\nu = \ln \varLambda / \ln b\).

Exercise 7.4 (Numerical Study of Renormalization)

Use the following program to study the renormalization of a given sample of a percolation system.

Perform successive iterations for \(p=0.3\), \(p=0.4\), \(p=0.5\), \(p=p:c\), \(p=0.65\), \(p=0.70\), and \(p=0.75\), in order to understand the instability of the fixpoint at \(p = p_c\).