Ising correlations at the critical temperature

Ising correlations at the critical temperature

Volume 104A, number 3 PHYSICS LETTERS 20 August 1984 ISING CORRELATIONS AT THE CRITICAL TEMPERATURE Helen AU-YANG and Jacques H.H. PERK Institute ...

249KB Sizes 73 Downloads 81 Views

Volume 104A, number 3

PHYSICS LETTERS

20 August 1984

ISING CORRELATIONS AT THE CRITICAL TEMPERATURE Helen AU-YANG and Jacques H.H. PERK

Institute for TheoreticalPhysics, State Universityof New York, Stony Brook, NY 11794-3840, USA Received 22 May 1984 Revised manuscript received 25 June 1984

We demonstrate how the quadratic difference equations of Hirota's Toda lattice form, recently derived for the planar Ising model, providea particularly easyway to obtain pair correlationfunctions at the critical temperature. The new results are also relevant for the dimer problem.

The early work on critical correlations in the twodimensional Ising model [ 1-3] requires calculating determinants whose sizes increase with the distances between spins. Then, it was discovered that the twopoint correlation function, in the scaling limit towards Te, satisfies the Painlev~ III ordinary second-order differential equation [4]. This was generalized to nonlinear partial differential equations for n-point functions in the scalinglimit [5] and partial difference equations for the general case [ 6 - 8 ] , see also ref. [9] for more details. In this letter, we shall present a few new results for the two-point function at T c, C(M, fir) = (OO0OMN)" We shall start from the known results for the diagonal correlation C(M,M) [ 1] and from the recently derived quadratic difference equation [7], relating C(M, iV) with C(M -+ 1, fir) and C(M, N -+ 1). We shall give a new result for the next-to-the-diagonal correlation function C(M, M +- 1). This enables us to determine all other spin correlations iteratively, thus simplifying the cumbersome task of calculating increasingly larger determinants. In fact, this simplification is immediately understood, viewing the difference equation as a compound pfaffian theorem [ 7 - 9 ] . Finally, this equation, which is the discrete (imaginary) time Toda equation of Hirota [10] with a source term in the origin, enables us to obtain a hitherto unknown asymptotic expansion of C(M, N) for large M and N. This expansion gives astonishingly accurate results already for small values of M and N, so it is relatively straightforward to corn0.3750601/84/$ 03.00 © Elsevier Science Publishers B.V. (North-Holland Physics Publishing Division)

pute the wave-vector dependent susceptibility at criticality. This, together with further details, will be presented elsewhere. We start from the result [1 ] C(0, 0) = 1,

C(M,M) C(M-1,M-1)

=

r~)2 P(M

)I-'(M+~)'

M~>I,

(1)

and the difference equation [7] sinh(2Hc) [C(M,N- 1) C(M,N+ 1)-C(M,N) 2 ] + sinh(2 Vc) [C(M - 1, N) C(M + 1, N) - C(M, IV)2] =0,

for (M, N) :/: (0, 0),

C(1,0) = cosh(2Hc) - sinh(2Hc) C(0, 1).

(2) (3)

Here sinh(2Hc) sinh(2 Fc) = 1 and Hck B T c (FckB Tc) is the coupling between the horizontal (vertical) nearest-neighbour pairs. Note that the result (1) holds independently of the anisotropy (H e :/: Fc). We have derived the new result

C(M,M+ 1)= C(M+ 1,M+ 1)cosh(2ne) × F(½,M+ 1 ; M + ~3., - sinh2 (2Hc)),

(4)

where F(a, b; c; x) is the hypergeometric function, which here, for small values of M, can also be reexpressed in terms of sinh(2Hc) and the gudermannian gd(2Hc). 131

Volume 104A, number 3

PHYSICS

20 August 1984

LETTERS

Table 1

C(M,iV) for the symmetric case. M

N=0

N=I

N=2

N=3

N=4

N=5

0 1 2 3 4 5

1

l/x/22/n

1 - 4/rr2 4x/~/rr 2 16/3rr2

2 x / ~ l 8/rr2) (8/3~r)(16/zr2 1) 32x/~9rr 2 2048/135n 3

16(1 - 112/9~r2 + 256/9rr 4) (128x/2"/97r2)(32/Tr2 - 3) (256/15~r2)(1 - 64/91r2) 216x/~']34 X 527r4 220/33 X 53 X 7n 4

128x/~(1 - 88/9n2)(1 - 64/9n 2) (512/5n)(I 272/9n 2 + 214/8Dr 4) (2048x/~-/25~2)(1 - 256/27~ 2) (217/3 X 53 × 7n3)(1024/81~ 2 - 1) 223x/'~/32 × 54 X 72n 4 235/35 X 55 X 73n5

All other correlations can now be obtained iteratively from (1) - (4), which is a Cauchy-type initial value problem. In the symmetric case H c = Vc, with sinh(2Hc) = 1, cosh(2Hc) = X/~, we have the reflection symmetries C(M, iV) = C(N, M) = C(M, - N ) = C(-M, N). Then all correlations can be obtained from (1) - ( 3 ) by iteration, eq. (4) being directly implied. We have given the results for 0 ~
( 22k _ 1)B2k

k=2 k ( k - 1)22kM 2 ( k - l ) '

(5)

where A = 21/12 e 3~'(-1) = 0.645002448 ....

(6)

and B2k are the Bernoulli numbers. We note that the sum in (5) contains only even powers of the distance M. Expanding eq. (4) for the symmetric case H c = Vc, we get In C(M, M + 1) -- In C(M, 2140 oo

_ ~(2 ~=1

2k

1)(2 2k-1

lnC(M,M+ l ) = l n A

1

~ lnR

+ ~_1

K2m m=l 22m+2mR 2m '

with m

:'~ 2k+2 - 1)/(k + 1)],(1 1) K2m = k =( m ) k [/~2k--B2k+2tz where E2k are the Euler numbers. Now we find that odd powers again vanish. For the general case with Vc 4=H c, we can derive a similar asymptotic expansion. We note thet C(M, N) is the restriction o f a function analytic in two variables. We therefore expect that the correlation has a smooth asymptotic behaviour for M, N ~ ~ and that in the Taylor expansions of C(M +-z, N) and C(M, N +-z), for z = 1, the higher terms are increasingly smaller. Keeping only first and second derivatives, the difference equation (2) becomes the Laplace partial differential equation sinh(2Hc) (D2/~N 2) In C(M, N) + sinh(2 Vc) ( ~ 2 / a M 2 ) I n C(M,N) = 0.

(7)

~v/~h = [sinh(2 Vc)/sinh(2Hc) ] 1/2 = tan a .

Notice that this asymptotic expansion also contains odd powers of M. However, if we expand In C(M,M+ 1) in the scaled distance

N = x/cos a = R cos 0/cos ~ ,

R = [½M 2 + I ( M +

M=y/sin ot =R sin 0/sin a

1) 2 ] 1/2

(8)

between the two spins, by substituting M = (R 2 - I)1/2

132

- ~1

(10)

(12)

At T c the correlation lengths ~h and ~v in the horizontal and vertical directions are infinite, but their ratio is

1)B2k

2 k ( 2 k - 1)(2M) 2k-1

into (5) and (7), we find

(13)

We scale the coordinates accordingly

(14)

and we arrive at (9)

(a2/Ox 2 + a 2 / a y 2 ) in C(x,y) = o.

(15)

Volume 104A, number 3

PHYSICS LETTERS

Therefore, the leading order (scaling) solution is

C(M,N) "~ A R - n ,

(16)

which is rotationally invariant. Here A and r/are determined by using (5) and (6) as boundary conditions. Correction can be obtained systematically, by successively keeping higher order derivatives in the Taylor expansions ofln C(x + 1 ,y) and In C(x,y + I). We find

+ A2(O)R -4 + A3(O)R-6 + O ( R - 8 ) ,

(17)

with A I ( 0 ) = 2 -8 ( - 1 +3 cos40 - 6 u

cos 20),

(18)

A2(0 ) = 2 -13 (5 + 36 cos 40 + 63 cos 80 + 18u cos 20 - 162u cos 60 + 72u 2 cos 40), (19) A3(0 ) = 3-12 -19 ( - 5 2 4 - 3 2 4 cos 40 + 24732 cos 80 + 28884 cos 120 - 1566u cos 20 - 24003u cos 60 - 95679u cos 100 - 486u 2 - 3672u 2 cos 40 + 83358u 2 cos 80 - 15072u 3 cos 60),

(20)

and u = cos 2a.

exactly the same hypergeometric function as in eq. (4) appears in Hartwig's solution for the m o n o m e r monomer correlation along the diagonal in the otherwise closest-packed two-dimensional dimer problem on a regular square lattice [15,16]. In fact, we were able to show that the monomer correlation is a product of two Ising correlations at T c, i.e. co(p, q) = ½ (x 2 +y2)-l/2c([½p], X C([½ (p + 1)1, [½(q + 1)1),

In C(M, N) = In A - ¼ In R + A a(0)R -2

(21)

For the correlation along the horizontal 0 = 0, we find A 1(0) = (1 - 3 cos 2c0/128, which is identically the same as given by Wu [12]. For the symmetric case cos 2o~ = u = 0, At(O) also agrees with (10). Finally, in the time-continuum limit u = 1, after Wick rotation, our results match with those of the one-dimensional Ising chain in critical transverse field [ 13,14], in the space-like regime. There are some differences between this case and ours. We have a nonlinear elliptic boundary value problem for which Dirichlet boundary conditions are natural, but for which the Cauchy problem is extremely sensitive to the detailed initial conditions. Giving the leading decay at infinity and the source in the origin specifies the solution, and the dependence on the source is only exponentially small at infinity. In the hyperbolic case of ref. [13] there is a light-cone phenomenon and the Dirichlet problem is unnatural. We conclude with a few remarks. Surprisingly,

20 August 1984

[½q] ) (22)

f o r p +q odd, [ ] denoting integer part,y[x = sinh (2/-/c), and correcting a few minor mistakes in ref. [16]. Since the monomer-dimer problem is two-dimensional Ising model in a magnetic field [17], we were led to consider the special case of the magnetic field being ilrkT]2, introduced by Yang and Lee in their study of the zeros of the partition function [18]. This case reduces to the dimer problem in the infinite-temperature limit. We have obtained factorizations like (22) for the partition function and all n-point correlations involving order- and dis-order variables, also for certain finite lattices with specified boundary conditions. In particular, all quantitites for this model, calculated in refs. [18,19], can be simply expressed in terms of two identical zero-field Ising models, not at T e; and scaling limit ( T ~ oo) results can be written down using ref. [4]. We should remark that the dual of this model is the fully-frustrated square Ising model, for which ForgOes [20] factorized spin correlations, with all spins on the same sublattice, in terms of two dual Ising models using decimation. More generally, we have that all correlations become simple quadratic expressions in terms of correlations of the ordinary zero-field Ising model. Also, our results should be useful in a further study of the Yang-Lee edge singularity at high temperatures [21]. Finally, we note that the solution (16), of the homogeneous Laplace equation (15), is also conformally invariant. Recently, local conformal invariance has been used successfully to explain critical exponents [22-24] and to derive new results for critical correlations in the continuum limit [22,23], for a class of two-dimensional systems. Here, however, we have obtained in an unexpectedly easy way three corrections (18) - (20) due to the lattice, solving inhomogeneous Laplace equations. Therefore, our results may provide insight, how to generalize the concept of local conformal invariance to lattice models. 133

Volume 104A, number 3

PHYSICS LETTERS

We thank Professor B.M. McCoy for his interest. Professor R.E. Shrock and Dr. R.K. Ghosh have kindly informed us that their results confirm the first row of table 1. This work has been supported by the National Science Foundation under Grant No. DMR-82-06390.

References [1] B. Kaufman and L. Onsager, Phys. Rev. 76 (1949) 1244. [2] B.M. McCoy and T.T. Wu, The two-dimensional Ising model (Harvard Univ. Press, Cambridge, 1973) pp. 261-284. [3] M.E. Fisher and R.J. Burford, Phys. Rev. 156 (1967) 583. [4] T.T. Wu, B.M. McCoy, C.A. Tracy and E. Barouch, Phys. Rev. B13 (1976) 316. [5] M. Sato, T. Miwa and M. Jimbo, Proc. Japan Acad. 53A (1977) 6, 147, 153,183. [6] B.M. McCoy and T.T. Wu, Phys. Rev. Lett. 45 (1980) 675. [7] J.H.H. Perk, Phys. Lett. 79A (1980) 3. [8] B.M. McCoy, J.H.H. Perk and T.T. Wu, Phys. Rev. Lett. 46 (1981) 757. [9] J.H.H. Perk, H.W. Capel, G.R.W. Quispel and F.W. Nijhoff, Physica 123A (1984) 1. [10] R. Hirota, J. Phys. Soc. Japan 43 (1977) 2074.

134

20 August 1984

[ 1l ] B.M. McCoy and T.T. Wu, The two-dimensional Ising model (Harvard Univ. Press, Cambridge, 1973) p.265, eqs. (4.40), (4.41). [12] T.T. Wu, Phys. Rev. 149 (1966) 380. [13] B.M. McCoy, J.H.H. Perk and R.E. Shrock, Nucl. Phys. B220 [FS8] (1983) 35, 269. [14] G. M~illerand R.E. Shrock, Phys. Rev. B29 (1984) 288. [15] M.E. Fisher and J. Stephenson, Phys. Rev. 132 (1963) 1411. [16] R.E. Hartwig, J. Math. Phys. 7 (1966) 286. [17] O.J. Heilmann and E.H. Lieb, Phys. Rev. Lett. 24 (1970) 1412. [18] C.N. Yang and T.D. Lee, Phys. Rev. 87 (1952) 404, 410. [19] B.M. McCoy and T.T. Wu, Phys. Rev. 155 (1967) 438. [20] G. Forg~cs, Phys. Rev. B22 (1980) 4473; G. Forg~cs and E. Fradkin, Phys. Rev. B23 (1981) 3442. [21] P.J. Kortman 5rid R.B. Griffiths, Phys. Rev. Lett 27 (1971) 1439; D.A. Kurtze and M.E. Fisher, Phys. Rev. B20 (1979) 2785. [22] A.A. Belavin, A.B. Zamolodchikov and A.M. Polyakov, J. Stat. Phys. 34 (1984) 763. [23] V1.S. Dotsenko, J. Stat. Phys. 34 (1984) 781; Nucl. Phys. B235 [FSll] (1984) 54; V1.S. Dotsenko and V.A. Fateev, NORDITA preprint 84/8. [24] D. Friedan, Z. Qiu and S. Shenker, Phys. Rev. Lett 52 (1984) 1575.