Example: The one-dimensional Ising model next up previous
Next: About this document Up: Renormalization group and the Previous: General formulation

Example: The one-dimensional Ising model

For the one-dimensional Ising model:

displaymath197

Define:

eqnarray201

so that

displaymath203

and the partition function becomes

displaymath207

We will consider a simple block spin transformation as illustrated below:

   figure213
Figure 3:

The figure shows the one-dimension spin lattice numbered in two different ways - one a straight numbering and one using blocks of three spins, with spins in each block numbered 1-3. The block spin transformation to be employed here is that the spin of a block will be determined by the value of the spin in the center of the block. Thus, for block 1, it is the value of spin 2, for block 2, it is the value of spin 5, etc. This rather undemocratic choice should be reasonable at low temperature, where local ordering is expected, and spins close to the center spin would be expected to be aligned with it, anyway. The transformation function, T for this case is

displaymath221

The new lattice will look like:

   figure225
Figure 4:

with tex2html_wrap_inline672 , tex2html_wrap_inline674 , etc.

The new Hamiltonian is computed from

eqnarray233

The idea is then to find a K' such that when the sum over tex2html_wrap_inline678 and tex2html_wrap_inline680 are performed, the new interaction between tex2html_wrap_inline682 and tex2html_wrap_inline684 is of the form tex2html_wrap_inline686 , which preserves the functional form of the old Hamiltonian. The sum over tex2html_wrap_inline678 and tex2html_wrap_inline680 is

displaymath254

Note that tex2html_wrap_inline692 . Then, since

eqnarray261

we can express tex2html_wrap_inline694 as

displaymath273

Letting tex2html_wrap_inline696 , the product of the three exponentials becomes:

eqnarray279

When summed over tex2html_wrap_inline678 and tex2html_wrap_inline680 , most terms in the above expression will cancel, yielding the following expression:

displaymath286

where the last expression puts the interaction into the original form with a new coupling constant K'. One of the possible choices for the new coupling constant is

eqnarray295

This, then, is the RG equation for this particular block spin transformation. With this identification of K', the new Hamiltonian can be shown to be

displaymath302

where the spin-independent function g(K) is given by

displaymath307

Thus, apart from the additional term, the new Hamiltonian is exactly the same functional form as the original Hamiltonian but with a different set of spin variables and a different coupling constant.

The transformation can now be applied to the new Hamiltonian, yielding the same relation between the new and old coupling constants. This is equivalent to iterating the RG equation. Since the coupling constant K depends on temperature through K=J/kT, the purpose of the iteration would be to find out if, for some value of K, there is an ordered phase. In an ordered phase, the transformed lattice would be exactly the same as the old lattice, and hence the same coupling constant and Hamiltonian would result. Such points are called fixed points of the RG equations and are generally given by the condition

displaymath314

The fixed points correspond to critical points. For the one-dimensional Ising model, the fixed point condition is

displaymath316

or, in terms of tex2html_wrap_inline696 ,

displaymath322

Since K is restricted to tex2html_wrap_inline718 , the only solutions to this equation are x=0 and x=1, which are the fixed points of the RG equation.

To see what these solutions mean, consider the RG equation away from the fixed point:

displaymath324

Since K=J/kT, at high T, tex2html_wrap_inline728 and tex2html_wrap_inline730 . At low temperature, tex2html_wrap_inline732 and tex2html_wrap_inline734 . Viewing the RG equation as an iteration or recursion of the form

displaymath327

if we start at tex2html_wrap_inline736 , each successive iteration will yield 1. However, for any value of x less than 1, the iteration eventually goes to 0 in some finite (though perhaps large) number of iterations of the RG equation. This can be illustrated pictorially as shown below:

   figure331
Figure 5:

The iteration of the RG equation produces an RG flow through coupling constant space. The fixed point at x=1 is called an unstable fixed point because any perturbation away from it, if iterated through the RG equation, flows away from this point to the other fixed point, which is called a stable fixed point. As the stable fixed point is approached, the coupling constant gets smaller and smaller until, at the fixed point, it is 0. The absence of a fixed point for any finite, nonzero value of temperature tells us that there can be no ordered phase in one dimension, hence no critical point in one dimension. If there were a critical point at a temperature tex2html_wrap_inline742 , then, at that point, long range order would set it, and there would be a fixed point of the RG equation at tex2html_wrap_inline744 . Note, however, that at T=0, tex2html_wrap_inline748 , there is perfect ordering in one dimension. Although this is physically meaningless, it suggests that ordered phases and critical points will be associated with the unstable fixed points of the RG equations.

Another way to see what the T=0 unstable fixed point means is to study the correlation length. The correlation is a quantity that has units of length. However, if we choose to measure it in units of the lattice spacing, then the correlation length will be a number that can only depend on the coupling constant K or tex2html_wrap_inline696 :

displaymath343

Under an RG transformation, the lattice spacing increases by a factor of 3 as a result of coarse graining. Thus, the correlation length, in units of the lattice spacing, must decrease by a factor of 3 in order for the same physical distance to be maintained:

displaymath345

In general, for block containing b spins, the correlation length transforms as

displaymath348

A function satisfying this equation is

displaymath351

Since, for arbitrary b, the RG equation is

displaymath354

we have

eqnarray356

so that

displaymath361

so that at T=0 the correlation length becomes infinite, indicating an ordered phase.

Note, also, that at very low T, where K is large, motion toward the stable fixed point is initially extremely slow. To see this, rewrite the RG equation as

eqnarray365

Notice that the term in brackets is extremely close to 1 if K is large. To leading order, we can say

displaymath374

Since the interactions between blocks are predominantly mediated by interactions between boundary spins, which, for one dimension, involves a single spin pair between blocks, we expect that a block spin transformation in 1 dimension yields a coupling constant of the same order as the original coupling constant when T is low enough that there is alignment between the blocks and the new lattice is similar to the original lattice. This is reflected in the above statement.


next up previous
Next: About this document Up: Renormalization group and the Previous: General formulation

Mark Tuckerman
Tue May 4 17:17:42 EDT 1999