Share This Article:

Violation of Cluster Property in Heisenberg Antiferromagnet

Abstract Full-Text HTML XML Download Download as PDF (Size:3507KB) PP. 203-229
DOI: 10.4236/wjcmp.2018.84015    202 Downloads   291 Views  
Author(s)    Leave a comment

ABSTRACT

There are concepts that are accepted in our daily life, but are not trivial in physics. One of them is the cluster property that means there exist no relations between two events which are sufficiently separated. In a paper recently published by the author, it has been pointed out that this cluster property violates in the correlation function of the spin operator for the spin 1/2 XXZ antiferromagnet on the square lattice. In this paper, we investigate the spin 1/2 Heisenberg antiferromagnet on the square lattice, which has SU(2) symmetry. In order to study the cluster property, we need to calculate the ground state accurately. For this purpose, we employ the effective model based on the magnetization of the sub-lattices. Then we can define the quasi-degenerate states to calculate the ground state. Including two kinds of interactions which break SU(2) symmetry into the Hamiltonian, we obtain the ground state quantitatively. We find that two kinds of spin correlation functions due to degenerate states are not zero when the lattice size is large but finite. The magnitude of one of them is the same as the one previously found in the XXZ antiferromagnet, while another one is much larger when the additional interaction is strong. We then conclude that in Heisenberg antiferromagnet correlation functions violate the cluster property and the magnitude of the violation qualitatively differs from the one in the XXZ antiferromagnet.

1. Introduction

Entanglement forces us to abandon the classical concept about locality [1] [2] [3] . Although there are many criticisms of abandoning the concept [4] , experiments strongly support entanglement required by quantum mechanics [5] . Since Deutsch [6] presented the concept of quantum computer [7] , a huge number of researchers apply entanglement to quantum information [8] [9] [10] .

Entanglement found in many-body systems is a quite interesting subject [11] [12] in terms of the quantum phase transition [13] [14] [15] [16] , because the correlation must be found even at the long distance where the whole system changes entirely. The entangled correlation at infinity distance implies the violation of the cluster decomposition [17] or the cluster property [18] , which is a fundamental concept of physics that there is no relation between two events that occur infinitely apart from each other. Therefore, we find active studies on the cluster property in the many-body systems [19] [20] and in quantum field theory [21] [22] , including QCD [23] [24] .

In the previous paper [25] , we have investigated the cluster property of spin 1/2 XXZ antiferromagnet on the square lattice. For this antiferromagnet, the ground state realizes semi-classical Neel order [26] , in other words, spontaneous symmetry breaking (SSB) [17] [27] of U(1) symmetry [28] [29] [30] [31] [32] . In the previous study, we supposed that the lattice size is very large but finite. On this condition, we clarified that the essential property of SSB is the existence of the quasi-degenerate states between which the expectation value of the local operator is not zero. Introducing an additional interaction that explicitly breaks the symmetry, we determined the ground state definitely using the quasi-degenerate states. Then we found that the correlation function in the ground state violated the cluster property and the magnitude of the violation depended on the strength of the symmetry breaking interaction.

In this paper, we investigate the violation of cluster property for Heisenberg quantum spin on the square lattice, whose continuous symmetry is SU(2). SSB in this system can be explained by the effective model which realizes the magnetization of the sub-lattices [26] . By this model, we can present a definite description of the quasi-degenerate states. Here we should note that the quasi-degenerate states are the essential ingredients of SSB, as stressed in the previous work [25] .

On the square lattice of size N, we can divide the whole lattice into two sub-lattices, which are called A sub-lattice and B sub-lattice. The semi-classical order of this spin system implies that the magnitude of the total spin on each sub-lattice is the order of N. Therefore, we can denote the state of spin system on a sub-lattice by its magnitude and its z-component.

On the finite lattice, the researchers studying this system have shown that the energy depends only on the spin magnitude of the whole lattice. Therefore the ground state as well as the energy can be determined by the effective Hamiltonian [26] that contains the squared total spin. By this effective Hamiltonian H ^ e f f and the set of the quasi-degenerate state, we can make a complete description for the ground state even if we include the additional interactions.

In order to obtain the ground state uniquely on the finite lattice we introduce two additional interactions V ^ 1 and V ^ 2 . The former interaction eliminates the degeneracy on the z-component of the total spin, and the latter induces the non-zero expectation value of the spin operator in the ground state. Then we will consider the Hamiltonian H ^ e f f , V H ^ e f f + V ^ 1 + V ^ 2 and calculate the spin correlation functions due to the quasi-degenerate states. We conclude that these functions violate the cluster property in Heisenberg antiferromagnet and their magnitudes are much larger than the largest magnitude in XXZ model. This large correlation function encourages us to search for the violation of the cluster property in experiments.

Contents of this paper are as follows. In the next section we introduce the model studied in this paper, which is the spin 1/2 Heisenberg antiferromagnet on the square lattice, and define two sub-lattices. In Section 3 we give the effective Hamiltonian H ^ e f f by which we calculate the ground state in terms of states that are eigen states of the sub-lattice magnetizations. In order to confirm the validity of H ^ e f f we present numerical results which are calculated by the exact diagonalization on the quite small lattices. Using H ^ e f f we show that the ground state is described by the associated Legendre polynomial when the lattice size is large [33] . In Section 4 we define the additional interactions V ^ 1 and V ^ 2 which explicitly break SU(2) symmetry. Then we calculate the matrix elements of these interactions by the eigen states of the sub-lattice magnetizations.

In Section 5, we calculate the ground state when the Hamiltonian contains the symmetry breaking interactions in addition to the effective Hamiltonian. We give the Hamiltonian in the continuous approximation which is reliable when the lattice size is large. Then obtaining the two-dimensional partial differential equation and solving it, we find the ground state. Also we discuss the conditions for our method to be reasonable. In Section 6, we calculate the correlation functions due to the degenerate states. Here one should notice that we have two kinds of the correlation functions because there are two kinds of Nambu-Goldstone mode in SU(2) symmetry. In Section 7, we employ linear spin wave theory [28] to calculate the correlation functions due to Nambu-Goldstone mode, which keep the cluster property. The violation of the cluster property due to the degenerate states, therefore, could be observable only when the former is smaller than the latter.

In Section 8, we discuss, using the correlation functions presented in Sections 6 and 7, the violation of the cluster property in the correlation functions due to the degenerate states. Then we numerically estimate the violation when the lattice size N is 1020 = (1010)2. This size is determined by considering that the molecular distance is the order of 10−10 m and the length of the macroscopic material is the order of 1 m. From our results we conclude that in Heisenberg antiferromagnet correlation functions due to the degenerate states violate the cluster property, and that the magnitude of the violation qualitatively differs from that in XXZ antiferromagnet. The final section is devoted to summary and discussion.

2. Heisenberg Antiferromagnet on Square Lattice

The model we study here is the spin 1/2 Heisenberg antiferromagnet on the square lattice. A site with a symbol i is defined by a pair of integers ( i x , i y ) , by which positions are given on the L x × L y square lattice.

i i x + i y L x , i x = 0 , 1 , 2 , , L x 1 , i y = 0 , 1 , 2 , , L y 1. (1)

The lattice size N is given by N = L x L y . The Hamiltonian H ^ in our study is given by

H ^ = ( i , j ) S ^ i S ^ j (2)

Here S ^ i is the spin operator at the site i and ( i , j ) denotes the nearest neighbor pair on the square lattice. In order to make S ^ i z a diagonal matrix, the basis state is defined by | s 1 , s 2 , , s N where S ^ i z | s i = | s i s i with s i = 1 / 2 or −1/2. When we represent the state | ( + 1 / 2 ) i β i + | ( 1 / 2 ) i γ i at each site by the vector [ β i , γ i ] T , the spin operators with x-, y- and z-components are given by the Pauli matrix σ l ,

S ^ i x = σ y / 2 , S ^ i y = σ x / 2 , S ^ i z = σ z / 2 . (3)

The reason for this assignment is that in the analysis by linear spin wave theory [28] we would like to use the real matrix element on S ^ i y [25] .

Since the Hamiltonian (2) has the SU(2) symmetry, the total spin operators commute with H ^ ,

[ H ^ , S ^ α ] = 0 , S ^ α = i S ^ i α , α = x , y , z . (4)

Therefore the energy eigen state of H ^ with the energy eigen value E J , M has also the quantum numbers J and M of SU(2) symmetry for the whole lattice.

H ^ | ψ J , M = | ψ J , M E J , M , ( S ^ ) 2 | ψ J , M = | ψ J , M J ( J + 1 ) , S ^ z | ψ J , M = | ψ J , M M . (5)

For this antiferromagnet on the square lattice we divide the whole lattice into two kinds of sub-lattices, which are called A sub-lattice and B sub-lattice. In order to give a definition of A sub-lattice (B sub-lattice), we use integers i x and i y for the site i to introduce a symbol P i

P i mod ( i x + i y , 2 ) = { 0 for i A sub-lattice 1 for i B sub-lattice (6)

Using P i we introduce the spin operators on each sub-lattice,

S ^ U α i U sub-lattice S ^ i α = i 1 + ε U ( 1 ) P i 2 S ^ i α , ε U = { + 1 ( U = A ) 1 ( U = B ) . (7)

The eigen state of ( S ^ U ) 2 and S ^ U z will be used in the next section to construct | ψ J , M in (5).

3. Effective Hamiltonian

The model we study is based on the one where the spin system on each sub-lattice is ferromagnet [26] and is formulated by

( S ^ U ) 2 | Ψ J , M = | Ψ J , M J U ( J U + 1 ) . (8)

We can insist that J A is the order of the size N, because the semi-classical order is found in the Heisenberg antiferromagnet. Note that we have J B = J A by the translational symmetry of H ^ .

The effective Hamiltonian [26] is

H ^ e f f E 0 + 1 2 χ 0 N ( S ^ ) 2 . (9)

Here E 0 is the lowest energy with J = 0 and χ 0 is the uniform susceptibility. The energy eigen values of the state | Ψ J , M are given by

H ^ e f f | Ψ J , M = | Ψ J , M E J , M ,

E J , M = E 0 + J ( J + 1 ) 2 χ 0 N E J ( N ) , (10)

J = 0 , 1 , 2 , , M = J , J + 1 , , 0 , 1 , , J 1 , J .

Before proceeding to study | Ψ J , M , let us make numerical calculation by the exact diagonalization on the quite small lattices, so that we can confirm the assumptions for H ^ e f f . First, we calculate the energy E J ( N ) on lattices of size N = 20, 26, 32 and 36 to examine the energy postulate in (10). The results are shown in Figure 1, where we find the remarkable agreement between our data and the postulate. Next, we calculate the squared magnitude of the ferromagnet on A sub-lattice with the lattice size N, which is given by

S A 2 ( J , N ) Ψ J , M | ( S ^ A ) 2 | Ψ J , M . (11)

when the large ferromagnet is realized on A sub-lattice S A 2 ( J , N ) should be proportional to N 2 with little dependence on J. Figure 2 plots S A 2 ( J , N ) , which we obtain by the exact diagonalization on lattices of size N = 20, 26, 32 and 36 for J = 0 − 8, versus J ( J + 1 ) . In this figure we see that S A 2 ( J , N ) scarcely depend on J ( J + 1 ) as is expected. Also our data show that S A 2 ( J = 0 , N ) / ( N / 2 ) 2 are 0.258, 0.234, 0.219 and 0.210 for N = 20, 26, 32 and 36, respectively. Thus we see the little dependence of this quantity on N, which is consistent with (8). Sandvik [34] made the extensive study on this dependence to obtain the value on the infinitely large lattice accurately.

In order to construct | Ψ J , M we use a state | J U , M U , which is the eigen state of ( S ^ U ) 2 and S ^ U z , defined on the U sub-lattice,

( S ^ U ) 2 | J U , M U = | J U , M U J U ( J U + 1 ) ,

S ^ U z | J U , M U = | J U , M U M U ,

S ^ U ± | J U , M U = | J U , M U ± 1 ε U J U ( J U + 1 ) M U ( M U ± 1 ) ,

S ^ U ± S ^ U y i S ^ U x . (12)

Figure 1. The energy E J ( N ) defined in (10) for the spin 1/2 Heisenberg antiferromagnet on the square lattice. In the horizontal axis we show J ( J + 1 ) . These results are calculated by the exact diagonalization on N = 20, 26, 32 and 36 lattices. The solid lines are results of the least square fit.

Figure 2. The expectation value S A 2 ( J , N ) defined by (11) for the spin 1/2 Heisenberg antiferromagnet on the square lattice. In the horizontal axis we show J ( J + 1 ) . These results are calculated by the exact diagonalization on N = 20, 26, 32 and 36 lattices. The solid lines are results of the least square fit.

Here ε U is defined in (7). Note that

( S ^ ) 2 = ( S ^ A ) 2 + ( S ^ B ) 2 + S ^ A + S ^ B + S ^ A S ^ B + + 2 S ^ A z S ^ B z . (13)

Then the eigen state of H ^ e f f should be the solution of the following equation

{ ( S ^ A ) 2 + ( S ^ B ) 2 + S ^ A + S ^ B + S ^ A S ^ B + + 2 S ^ A z S ^ B z } | Ψ J , M = | Ψ J , M J ( J + 1 ) . (14)

In general the eigen state | Ψ J , M can be represented by a linear combination of products of | J A , M A and | J B , M B ,

| Ψ J , M = M A + M B = M | J A , M A | J B , M B C ( J , M : J A , M A , J B , M B ) . (15)

As described in textbooks on quantum mechanics, C ( J , M : J A , M A , J B , M B ) is the Clebsch-Gordan coefficient and it is obtained by algebraic calculations.

In our study J A ( = J B ) is quite large, which is O ( N ) . In addition we assume that J J A because there exists the suppression factor J ( J + 1 ) / ( 2 χ 0 ) in the Hamiltonian. We do not impose, however, any restriction on the relation of J 2 and M 2 . In this case M A 2 and M B 2 are O ( J A 2 ) , which will be understood in the following discussion. Since M 2 / J A 2 is quite small in our assumption we approximate the equation of the Clebsh-Gordan coefficients by neglecting the terms of M 2 / J A 2 . The calculation of these coefficients in this approximation has been extensively studied by Sprung, van Dijk, Martorell and Criger [33] , which we follow here. For a fixed M we introduce a variable Z defined by

Z M A M / 2 , M A = Z + M / 2 , M B = Z + M / 2 . (16)

Here Z is an integer when M is an even integer, while Z is a half-integer when M is an odd integer. For a fixed J A ( = J B ) we can use | Z to represent | Ψ J , M . Let us start with, instead of (15),

| Ψ J , M = Z | Z ψ Z . (17)

Here ψ Z denotes the coefficient for the state | Z . The non-zero off-diagonal matrix element in the calculation is

a Z Z + 1 | S ^ A + S ^ B | Z = J A , M A + 1 | J B , M B 1 | S ^ A + S ^ B | J A , M A | J B , M B = ε A ε B J A ( J A + 1 ) M A ( M A + 1 ) J B ( J B + 1 ) M B ( M B 1 ) . (18)

Since the matrix element is real we also have

a Z 1 = Z | S ^ A + S ^ B | Z 1 * = Z 1 | S ^ A S ^ B + | Z . (19)

For S ^ A z S ^ B z , we obtain the diagonal matrix element

b Z Z | S ^ A z S ^ B z | Z = J A , M A | J B , M B | S ^ A z S ^ B z | J A , M A | J B , M B = M A M B = Z 2 + M 2 4 . (20)

Then the eigen equation for | Ψ J , M led from (14) is

Z { | Z 2 J A ( J A + 1 ) + | Z + 1 a Z + | Z 1 a Z 1 + | Z 2 b Z } ψ Z = Z | Z J ( J + 1 ) ψ Z . (21)

This equation yields an equation of ψ Z ,

a Z 1 ψ Z 1 + a Z ψ Z + 1 = { J ( J + 1 ) [ 2 J A ( J A + 1 ) + 2 b Z ] } ψ Z . (22)

From (18) we obtain, based on the approximation to neglect the term of M / J A ,

a Z ( 1 ) { [ J A ( J A + 1 ) M 2 4 ] Z 2 Z M 2 x 2 2 ( 1 x 2 ) } . (23)

Here we introduce a variable x ,

x Z Δ x , Δ x = 1 J A ( J A + 1 ) M 2 4 . (24)

Applying (20) and (23) to (22) the equation for ψ Z becomes

{ J A ( J A + 1 ) M 2 4 Z 2 M 2 x 2 2 ( 1 x 2 ) } ( ψ Z + 1 + ψ Z 1 ) + Z ( ψ Z + 1 ψ Z 1 ) = [ J ( J + 1 ) 2 J A ( J A + 1 ) + 2 Z 2 M 2 2 ] ψ Z . (25)

Let us replace the variable Z by x in (24). In addition we introduce ϕ ( x ) ψ Z / Δ x in order to obtain the smooth function of x . Then we have

{ 1 ( Δ x ) 2 ( 1 x 2 ) M 2 x 2 2 ( 1 x 2 ) } [ ϕ ( x + Δ x ) + ϕ ( x Δ x ) ] + x Δ x [ ϕ ( x + Δ x ) ϕ ( x Δ x ) ] = { J ( J + 1 ) 2 ( Δ x ) 2 ( 1 x 2 ) M 2 } ϕ ( x ) . (26)

Expanding ϕ ( x ± Δ x ) we obtain

{ ( 1 x 2 ) ( Δ x ) 2 M 2 x 2 2 ( 1 x 2 ) } d 2 ϕ ( x ) d x 2 + 2 x d ϕ ( x ) d x = { J ( J + 1 ) M 2 1 x 2 } ϕ ( x ) . (27)

when ( Δ x ) 2 M 2 1 , which means M 2 J A 2 , we can neglect the term with ( Δ x ) 2 . Finally we obtain the equation

( 1 x 2 ) d 2 ϕ ( x ) d x 2 + 2 x d ϕ ( x ) d x = { J ( J + 1 ) M 2 1 x 2 } ϕ ( x ) . (28)

The solution of this equation is the associated Legendre function P J M ( x ) ( M > 0 ),

P J M ( x ) = ( 1 x 2 ) M / 2 J ! 2 J d J + M ( x 2 1 ) J d x J + M . (29)

Taking the normalization into account we thus obtain

ϕ J , M ( x ) = 2 J + 1 2 ( J M ) ! ( J + M ) ! P J M ( x ) . (30)

Then the state | Ψ J , M is given by

| Ψ J , M = Z | Z ϕ J , M ( x = Z Δ x ) Δ x . (31)

4. Additional Interactions

In this section we introduce two symmetry breaking interactions which are necessary to obtain the unique ground state. In SU(2) symmetry we have two independent generators among three generators, Q ^ α = S ^ α ( α = x , y , z ) , S ^ α being defined in (4). We adopt Q ^ y and Q ^ z as the independent generators. The additional interactions V ^ 1 and V ^ 2 have to break the symmetry related to these operators. Since we impose that V ^ 1 breaks the symmetry on Q ^ y , we assume that V ^ 1 is given by

V ^ 1 g 1 ( Q ^ z ) 2 = g 1 ( i S ^ i z ) 2 = g 1 ( S ^ z ) 2 ( g 1 > 0 ) . (32)

The parameter g 1 should be positive because states with large M should be suppressed. For its magnitude we do not impose any severe constraint because V ^ 1 commutes with the Hamiltonian H ^ . The reason to choose the squared operator is that this interaction gives a non-trivial effect to the correlation function, which will be described in Section 6. Another interaction V ^ 2 , which has been already introduced in the study of XXZ antiferromagnet [25] , is given by

V ^ 2 g 2 i ( 1 ) P i S ^ i y = g 2 ( S ^ A y S ^ B y ) ( 1 g 2 > 0 ) . (33)

This interaction breaks the symmetry on Q ^ z . The positivity of g 2 is conventional because it changes when the phase of states changes. The reason why | g 2 | should be small is that, since [ H ^ , V ^ 2 ] 0 , this interaction modifies the quasi-degenerate states by inducing the magnon states.

The Hamiltonian H ^ V is the sum of the Hamiltonian (2) and these interactions, which is given by

H ^ V = H ^ + V ^ 1 + V ^ 2 . (34)

Note that, because [ Q ^ α , H ^ V ] = [ Q ^ α , V ^ 1 + V ^ 2 ] 0 for α = x , y and z, we completely break SU(2) symmetry by these interactions so that we can obtain the unique ground state with parameters g 1 and g 2 . Replacing H ^ by the effective Hamiltonian H ^ e f f defined in (9), we can introduce H ^ e f f , V ,

H ^ e f f , V = H ^ e f f + V ^ 1 + V ^ 2 . (35)

Here we can express the whole Hamiltonian only by the spin operators S ^ U α on U sub-lattice ( U=A,B ). Therefore the eigen states of H ^ e f f , V are constructed by the set of states { | J A , M A | J B , M B } .

The operation of V ^ 1 to the state is easily calculated since, from (5), this interaction does not change the state | Ψ J , M ,

V ^ 1 | Ψ J , M = | Ψ J , M g 1 M 2 . (36)

The interaction V ^ 2 , on the other hand, changes the state | Ψ J , M since it is represented as

V ^ 2 = g 2 2 [ ( S ^ A + S ^ B + ) + ( S ^ A S ^ B ) ] . (37)

By the algebraic argument on the spin-one operator S ^ A + , we find that

S ^ A + | Ψ J , M = | Ψ J + 1 , M + 1 c + A + | Ψ J , M + 1 c 0 A + | Ψ J 1 , M + 1 c A . (38)

Let us calculate these coefficients c ± A and c 0 A . Since | Ψ J , M is expressed by the function ϕ J , M ( x ) as shown in (31), c + A is given by

c + A = Ψ J + 1 , M + 1 | S ^ A + | Ψ J , M = Z , Z ' ϕ J + 1 , M + 1 ( x ) Z | S ^ A + | Z ϕ J , M ( x ) ( Δ x ) 2 = Z , Z ' ϕ J + 1 , M + 1 ( x ) Z | Z + 1 J A ( J A + 1 ) M A ( M A + 1 ) ϕ J , M ( x ) Δ x Z ϕ J + 1 , M + 1 ( x + Δ x ) J A 1 x 2 ϕ J , M ( x ) Δ x . (39)

For the associated Legendre function we have the following relation,

( 2 J + 1 ) 1 x 2 P J M ( x ) = P J + 1 M + 1 ( x ) P J 1 M + 1 ( x ) . (40)

Then from (30) we have

1 x 2 ϕ J , M ( x ) = 2 J + 1 2 J + 3 ( J + M + 2 ) ( J + M + 1 ) 2 J + 1 ϕ J + 1 , M + 1 ( x ) 2 J + 1 2 J 1 ( J M ) ( J M 1 ) 2 J + 1 ϕ J 1 , M + 1 ( x ) . (41)

Assuming J A J | M | 1 , which we can realize through the parameters g 1 and g 2 , the above relation is replaced by

1 x 2 ϕ J , M ( x ) 1 2 ϕ J + 1 , M + 1 ( x ) 1 2 ϕ J 1 , M + 1 ( x ) . (42)

Thus we obtain c + A J A / 2 . Applying the same discussion to c 0 A and c A , we finally obtain that

c + A + J A 2 , c 0 A 0 , c A J A 2 . (43)

Similarly we obtain the coefficients for S ^ B + ,

c + B J A 2 , c 0 B 0 , c B + J A 2 . (44)

Note that we adopt the convention in (12) for the phase on the states | J A , M A and | J B , M B . From (43) and (44) we have

( S ^ A + S ^ B + ) | Ψ J , M | Ψ J + 1 , M + 1 J A + | Ψ J 1 , M + 1 ( J A ) . (45)

As for S ^ A , we use the relation

Ψ J ± 1 , M + 1 | ( S ^ A + S ^ B + ) | Ψ J , M = Ψ J , M | ( S ^ A S ^ B ) | Ψ J ± 1 , M + 1 . (46)

Then we obtain

V ^ 2 | Ψ J , M = g 2 ( S ^ A y S ^ B y ) | Ψ J , M g 2 2 J A { | Ψ J + 1 , M + 1 | Ψ J 1 , M + 1 + | Ψ J 1 , M 1 | Ψ J + 1 , M 1 } . (47)

From this expression we see that the interaction V ^ 2 does not change the even-odd property of J M .

5. Ground State

In the previous section we presented the matrix elements of the effective Hamiltonian with additional interactions. Using these matrix elements we now solve the eigen equation to find the ground state of H ^ e f f , V ,

H ^ e f f , V | Ψ V = | Ψ V E Ψ V , | Ψ V = J > 0 , M | Ψ J , M Φ J , M . (48)

Here E Ψ V is the energy eigen value and Φ J , M denotes the coefficient. Since H ^ e f f gives the diagonal element J ( J + 1 ) / ( 2 χ 0 N ) for | Ψ J , M we have

H ^ e f f , V | Ψ J , M [ J ( J + 1 ) 2 χ 0 N + g 1 M 2 ] | Ψ J , M g 2 2 J A [ | Ψ J + 1 , M + 1 | Ψ J 1 , M + 1 + | Ψ J 1 , M 1 | Ψ J + 1 , M 1 ] . (49)

From (48) and (49) we obtain the equation for Φ J , M , which is

[ J ( J + 1 ) 2 χ 0 N + g 1 M 2 ] Φ J , M g 2 2 J A { Φ J 1 , M 1 Φ J + 1 , M 1 + Φ J + 1 , M + 1 Φ J 1 , M + 1 } = E Ψ V Φ J , M . (50)

Since the even-odd property of J M is kept in this equation, we examine the equation only for even values of J M . We introduce Φ ˜ J , M by

Φ J , M = ( 1 ) ( J M ) / 2 Φ ˜ J , M . (51)

Then the eigen equation becomes

[ J ( J + 1 ) 2 χ 0 N + g 1 M 2 ] Φ ˜ J , M g 2 2 J A { Φ ˜ J 1 , M 1 + Φ ˜ J + 1 , M 1 + Φ ˜ J 1 , M + 1 + Φ ˜ J + 1 , M + 1 } = E Ψ V Φ ˜ J , M . (52)

Let us introduce new variables by

s J Δ s , t M Δ t , ϕ ( s , t ) Φ ˜ J , M / Δ s Δ t . (53)

The difference values Δ s and Δ t will be fixed later. Also using the staggered or the order parameter m + [26] , J A is estimated by

J A = m + N 2 . (54)

Then we obtain the equation

[ 1 2 χ 0 N ( Δ s ) 2 s 2 + g 1 ( Δ t ) 2 t 2 ] ϕ ( s , t ) g 2 m + N 4 { ϕ ( s Δ s , t Δ t ) + ϕ ( s + Δ s , t Δ t ) + ϕ ( s Δ s , t + Δ t ) + ϕ ( s + Δ s , t + Δ t ) } = E Ψ V ϕ ( s , t ) . (55)

Making the continuous approximation to expand ϕ ( s ± Δ s , t ± Δ t ) by the partial differential, we have the equation

[ 1 2 χ 0 N ( Δ s ) 2 s 2 + g 1 ( Δ t ) 2 t 2 ] ϕ ( s , t ) g 2 m + N 2 { ( Δ s ) 2 2 ϕ s 2 + ( Δ t ) 2 2 ϕ t 2 } = ( E Ψ V + g 2 m + N ) ϕ ( s , t ) . (56)

In this equation we set

( Δ s ) 2 = 1 χ 0 m + g 2 N 2 , ( Δ t ) 2 = 2 g 1 m + g 2 N . (57)

As a result the eigen equation becomes

g 2 m + 4 χ 0 { s 2 2 s 2 } ϕ ( s , t ) + 1 2 m + g 1 g 2 N { t 2 2 t 2 } ϕ ( s , t ) = ( E Ψ V + g 2 m + N ) ϕ ( s , t ) . (58)

The eigen solution of (58) is

ϕ l s , , l t ( s , t ) = N l s H l s ( s ) N l t H l t ( t ) e s 2 / 2 t 2 / 2 . (59)

Here H l ( u ) denotes the Hermite polynomial and N l is the normalization factor. We should notice that there are some constraints on the wave function and the parameters. The constraint on the wave function comes from the positivity of J = s / Δ s . By this constraint we impose that ϕ ( s , t ) = 0 for s = 0 by the continuity of ϕ ( s , t ) , because ϕ ( s , t ) = 0 for s < 0 . Therefore the quantum number l s should be an odd integer. The energy eigen value in (58) is then given by, with l s = 1 , 3 , 5 , , and l t = 0 , 1 , 2 , 3 , ,

E Ψ V ( l s , l t ) = g 2 m + N + g 2 m + 4 χ 0 ( 2 l s + 1 ) + 1 2 m + g 1 g 2 N ( 2 l t + 1 ) . (60)

Note that the values of the variables s and t are O ( 1 ) because the solution (59) does not contain the parameters N, g 1 and g 2 . The requirement J | M | is then satisfied by the condition

( Δ s Δ t ) 2 ( s t ) 2 1. (61)

Thus the conditions we impose are

( Δ s ) 2 ( Δ t ) 2 1. (62)

Here the second condition is necessary because of the continuous condition. The ground state | G V and the ground energy E G V are then given by

| G V = J , M | Ψ J , M ( 1 ) ( J M ) / 2 ϕ l s = 1 , l t = 0 ( s = J Δ s , t = M Δ t ) Δ s Δ t , E G V = E Ψ V ( l s = 1 , l t = 0 ) . (63)

6. Correlation Functions Due to Quasi-Degenerate States

In this and the next sections we calculate the spin correlation function Δ F α β ( i , j ) , which is defined by

Δ F α β ( i , j ) F α β ( i , j ) F α ( i ) F β ( j ) , F α β ( i , j ) G V | ( 1 ) P i S ^ i α ( 1 ) P j S ^ j β | G V , F α ( i ) G V | ( 1 ) P i S ^ i α | G V . (64)

Here | G V is given by (63). As described in the previous work [25] , we can divide the correlation function into the contributions Δ F D S α β ( i , j ) and Δ F N G α β ( i , j ) , which originate from the quasi-degenerate states and Nambu-Goldstone mode, respectively.

Δ F α β ( i , j ) = Δ F D S α β ( i , j ) + Δ F N G α β ( i , j ) . (65)

Since Nambu-Goldstone mode is realized in the operators of S ^ i x and S ^ i z , we set α = β = x or z.

In this section we calculate the correlation functions due to the quasi-degenerate states, which are Δ F D S x x ( i , j ) and Δ F D S z z ( i , j ) . Since we examine the contribution due to the quasi-degenerate states, we assume that we can replace the contribution of the local operator S ^ i α by the uniform contribution of the global operator S ^ U α / ( N / 2 ) . Therefore we have the following replacement.

S ^ i α 1 2 [ 1 + ( 1 ) P i ] S ^ A α / ( N / 2 ) + 1 2 [ 1 ( 1 ) P i ] S ^ B α / ( N / 2 ) . (66)

By this replacement we obtain

F D S α ( i ) = G V | ( 1 ) P i S ^ i α | G V D S G V | ( 1 ) P i { 1 + ( 1 ) P i 2 ( N / 2 ) S ^ A α + 1 ( 1 ) P i 2 ( N / 2 ) S ^ B α } | G V D S = 1 N { G V | ( S ^ A α S ^ B α ) | G V D S + ( 1 ) P i G V | ( S ^ A α + S ^ B α ) | G V D S } = 1 N { G V | ( S ^ A α S ^ B α ) | G V D S + ( 1 ) P i G V | S ^ α | G V D S } . (67)

F D S α α ( i , j ) = G V | ( 1 ) P i S ^ i α ( 1 ) P j S ^ j α | G V D S 1 N 2 { G V | ( S ^ A α S ^ B α ) 2 | G V D S + G V | ( S ^ α ) 2 | G V D S ( 1 ) P i ( 1 ) P j + G V | ( S ^ A α S ^ B α ) S ^ α | G V D S [ ( 1 ) P i + ( 1 ) P j ] } . (68)

6.1. Δ F D S x x ( i , j )

Let us consider the first term of Δ F D S x ( i ) in (67) with α = x . Repeating the discussion in Section 4, we have

( S ^ A x S ^ B x ) | Ψ J , M i 2 J A ( | Ψ J + 1 , M + 1 | Ψ J 1 , M + 1 | Ψ J 1 , M 1 + | Ψ J + 1 , M 1 ) . (69)

Notifying the convention (12) for the phase on the state | J A , M A and the state | J B , M B , we have

( S ^ A x S ^ B x ) | G V D S i 2 J A J , M | Ψ J , M ( 1 ) ( J M ) / 2 × { Φ ˜ J 1 , M 1 + Φ ˜ J + 1 , M 1 Φ ˜ J + 1 , M + 1 Φ ˜ J 1 , M + 1 } i 2 J A J , M | Ψ J , M ( 1 ) ( J M ) / 2 ( 4 ) ( Δ t ) ϕ 1 , 0 t Δ s Δ t . (70)

Here the function ϕ 1 , 0 ( s , t ) is defined in (59). Then we obtain

G V | ( S ^ A x S ^ B x ) | G V D S 2 i J A ( Δ t ) 0 d s d t ϕ 1 , 0 ϕ 1 , 0 t = 0. (71)

For the second term in (67) with α = x , we notice that

S ^ ± | Ψ J , M = | Ψ J , M ± 1 J ( J + 1 ) M ( M ± 1 ) . (72)

We have

S ^ x | Ψ J , M = 1 2 i ( S ^ + S ^ ) | Ψ J , M i 2 J { | Ψ J , M + 1 | Ψ J , M 1 } . (73)

By this expression we obtain

S ^ x | G V D S J , M i 2 J { | Ψ J , M + 1 | Ψ J , M 1 } ( 1 ) ( J M ) / 2 Φ ˜ J , M . (74)

Since J M is limited to be even, Φ ˜ J , M = 0 for odd J M . Therefore when J M is even, the following product is zero.

Φ ˜ J , M { Φ ˜ J , M 1 Φ ˜ J , M + 1 } = 0. (75)

This brings us

G V | S ^ x | G V D S = 0. (76)

From (71) and (76) we conclude that

F D S x ( i ) = 0. (77)

Next, we calculate the first term of F D S x x ( i , j ) in (68) with α = x . Following the calculation for (70) we obtain

G V | ( S ^ A x S ^ B x ) 2 | G V D S ( J A 2 ) 2 ( 4 Δ t ) 2 0 d s d t [ ϕ 1 , 0 t ] 2 = 2 J A 2 ( Δ t ) 2 . (78)

For the second term in (68) we have

( S ^ x ) 2 | G V D S J , M i 2 J S ^ x { | Ψ J , M + 1 | Ψ J , M 1 } ( 1 ) ( J M ) / 2 Φ ˜ J , M J , M ( i 2 J ) 2 { ( | Ψ J , M + 2 | Ψ J , M ) ( | Ψ J , M | Ψ J , M 2 ) } ( 1 ) ( J M ) / 2 Φ ˜ J , M = J , M ( i 2 J ) 2 | Ψ J , M ( 1 ) ( J M ) / 2 { Φ ˜ J , M 2 2 Φ ˜ J , M Φ ˜ J , M + 2 } . (79)

Therefore we obtain

G V | ( S ^ x ) 2 | G V D S 1 ( Δ s ) 2 0 d s d t s 2 ( ϕ 1 , 0 ) 2 = 1 ( Δ s ) 2 3 2 . (80)

Because | Ψ J , M in the ground state is limited to the state with even J M , and S ^ x changes the even state to the odd state while ( S ^ A x S ^ B x ) does not change this even-odd property, the third term in the above Equation (68) vanishes. Thus we have, using (54),

Δ F D S x x ( i , j ) = F D S x x ( i , j ) 1 2 ( m + ) 2 ( Δ t ) 2 + ( 1 ) P i + P j 3 2 N 2 1 ( Δ s ) 2 . (81)

6.2. Δ F D S z z ( i , j )

In calculations (67) and (68) with α = z , we used the state | Z introduced in Section 3. Then we have

Z | ( S ^ A z S ^ B z ) | Z = J A , M A | J B , M B | ( S ^ A z S ^ B z ) | J A , M A | J B , M B = M A M B = 2 Z . (82)

Since | Ψ J , M is expressed by | Z ’s as shown in (31), we see by the algebraic argument on SU(2),

( S ^ A z S ^ B z ) | Ψ J , M = c + z | Ψ J + 1 , M + c 0 z | Ψ J , M + c z | Ψ J 1 , M . (83)

We can calculate the coefficients by

c ± z = Ψ J ± 1 , M | ( S ^ A z S ^ B z ) | Ψ J , M , c 0 z = Ψ J , M | ( S ^ A z S ^ B z ) | Ψ J , M . (84)

The expectation value for c + z is, when J M 1 ,

c + z = Z , Z ' ϕ J + 1 , M ( x ) Z | Z ( 2 Z ) ϕ J , M ( x ) Δ x 2 J A Z ϕ J + 1 , M ( x ) x ϕ J , M ( x ) Δ x 2 J A Z ϕ J + 1 , M ( x ) { 1 2 ϕ J + 1 , M ( x ) + 1 2 ϕ J 1 , M ( x ) } Δ x . (85)

Here we used the relation on the associated Legendre polynomial P J M ( x ) ,

( J M + 1 ) P J + 1 M ( x ) ( 2 J + 1 ) x P J M ( x ) + ( J + M ) P J 1 M ( x ) = 0. (86)

Together with similar calculations, we finally obtain

c ± z J A , c 0 z 0. (87)

We then have, for the first term of F D S z ( i ) in (67) with α = z ,

G V | ( S ^ A z S ^ B z ) | G V D S = J , M , J , M ( 1 ) ( J M ) / 2 Φ ˜ J , M Ψ J , M | ( S ^ A z S ^ B z ) | Ψ J , M ( 1 ) ( J M ) / 2 Φ ˜ J , M J , M , J , M ( 1 ) ( J M ) / 2 Φ ˜ J , M J A Ψ J , M | { | Ψ J + 1 , M + | Ψ J 1 , M } ( 1 ) ( J M ) / 2 Φ ˜ J , M = J A J , M , J , M ( 1 ) ( J M ) / 2 Φ ˜ J , M ( δ J , J + 1 + δ J , J 1 ) δ M , M ( 1 ) ( J M ) / 2 Φ ˜ J , M = 0. (88)

The reason why the above quantity vanishes is that the operator ( S ^ A z S ^ B z ) changes the state with the even J M to the state with the odd J M .

For the second term of F D S z ( i ) in (67) with α = z , we have

S ^ z | Ψ J , M = | Ψ J , M M = | Ψ J , M t Δ t . (89)

Therefore

G V | S ^ z | G V D S 1 Δ t 0 d s d t ( ϕ 1 , 0 ) 2 t = 0. (90)

Thus we obtain

F D S z ( i ) = 0. (91)

Next let us consider the first term of F D S z z ( i , j ) in (68) with α = z . We repeat the discussion for (83) to yield

( S ^ A z S ^ B z ) 2 | Ψ J , M J A 2 { | Ψ J + 2 , M + | Ψ J 2 , M + 2 | Ψ J , M } . (92)

Then we have, for even J M ,

G V | ( S ^ A z S ^ B z ) 2 | G V D S = J , M , J , M Φ ˜ J , M ( 1 ) ( J M ) / 2 Ψ J , M | ( S ^ A z S ^ B z ) 2 | Ψ J , M Φ ˜ J ' , M ' ( 1 ) ( J M ) / 2 J , M , J , M Φ ˜ J , M ( 1 ) ( J M ) / 2 J A 2 × Ψ J , M | { | Ψ J + 2 , M + | Ψ J 2 , M + 2 | Ψ J , M } Φ ˜ J , M ( 1 ) ( J M ) / 2

= J A 2 J , M , J , M Φ ˜ J , M ( 1 ) ( J M ) / 2 ( δ J , J + 2 + δ J , J 2 + 2 δ J , J ) δ M , M Φ ˜ J , M ( 1 ) ( J M ) / 2 = J A 2 J , M Φ ˜ J , M { Φ ˜ J + 2 , M Φ ˜ J 2 , M + 2 Φ ˜ J , M } J A 2 0 d s d t ϕ 1 , 0 ( s , t ) { ϕ 1 , 0 ( s + 2 Δ s , t ) ϕ 1 , 0 ( s 2 Δ s , t ) + 2 ϕ 1 , 0 ( s , t ) } = J A 2 ( 2 Δ s ) 2 0 d s d t ϕ 1 , 0 2 ϕ 1 , 0 s 2 . (93)

Finally we obtain

G V | ( S ^ A z S ^ B z ) 2 | G V D S 4 J A 2 ( Δ s ) 2 3 2 . (94)

For the second term of F D S z z ( i , j ) in (68) with α = z we obtain, using (89),

G V | ( S ^ z ) 2 | G V D S 1 ( Δ t ) 2 0 d s d t ( ϕ 1 , 0 ) 2 t 2 = 1 ( Δ t ) 2 1 2 . (95)

The operator ( S ^ A z + S ^ B z ) ( S ^ A z S ^ B z ) changes the state with the even J M to that with the odd J M . Then the third term vanishes.

G V | ( S ^ A z + S ^ B z ) ( S ^ A z S ^ B z ) | G V D S = 0. (96)

The final result is, using (54),

Δ F D S z z ( i , j ) = F D S z z ( i , j ) 3 2 ( m + ) 2 ( Δ s ) 2 + ( 1 ) P i + P j 1 2 N 2 1 ( Δ t ) 2 . (97)

7. Correlation Function due to Nambu-Goldstone Mode

In this section we calculate the correlation function due to Nambu-Goldstone mode. When we add the symmetry breaking interaction V ^ 2 to the Hamiltonian, this interaction changes the gapless mode to the gapped state. We employ linear spin wave theory (LSWT) [28] to obtain the correlation function for the gapped state. Since there is little difference between LSWT for SU(2) symmetry and one for U(1) symmetry carried out in the previous paper [25] , we present only a brief discussion. The Hamiltonian of the model with spin S is given by

H ^ V S = ( i , j ) S ^ i S ^ j + g 1 ( S ^ z ) 2 g 2 i ( 1 ) P i S ^ i y , ( S ^ i ) 2 = S ( S + 1 ) . (98)

We replace the spin operators by the annihilation operators b ^ i and the creation operators b ^ i of the magnon,

S ^ i z + i ( 1 ) P i S ^ i x = 2 S b ^ i , S ^ i y = ( 1 ) P i ( S b ^ i b ^ i ) . (99)

Instead of b ^ i we use b ^ k , which is Fourier transform of b ^ i ,

b ^ k = 1 N i b ^ i e i k x i , x i = ( i x , i y ) . (100)

Here the wave vector is defined by k = ( k x , k y ) = ( 2 π n x / N , 2 π n y / N ) using integers n x and n y . One should note that in LSWT the additional interaction V ^ 1 = g 1 ( S ^ z ) 2 induces only the constant contribution to the ground state energy, and no effect to the excitation energy. In order to show it, we express V ^ 1 in terms of b ^ k ,

V ^ 1 = g 1 [ S 2 i ( b ^ i + b ^ i ) ] 2 = g 1 S 2 [ N ( b ^ k = 0 + b ^ k = 0 ) ] 2 = g 1 S N 2 [ ( b ^ k = 0 ) 2 + ( b ^ k = 0 ) 2 + 2 b ^ k = 0 b ^ k = 0 + 1 ] . (101)

Since V ^ 1 is expressed by the magnon operator with the zero-wave vector, this interaction gives only the constant to the ground state energy. Therefore it is safe to neglect the contributions from V ^ 1 in the following study.

For the magnon excitation with the non-zero wave vector we diagonalize the Hamiltonian by

b ^ k = α ^ k cosh θ k + α ^ k s i n h θ k . (102)

We obtain

H ^ V S = k ω k α ^ k α ^ k + c o n s t . (103)

Here the parameter θ k is determined by

tanh ( 2 θ k ) = γ k 1 + g ¯ 2 , g ¯ 2 g 2 4 S , γ k cos k x + cos k y 2 . (104)

Then the energy ω k of the magnon is given by

ω k = 4 S ( 1 + g ¯ 2 ) 2 γ k 2 . (105)

We would like to obtain the spin correlation function at the large distance on the quite large lattice. Therefore we are interested in the magnon with the small energy. In the case | k x | 1 and | k y | 1 , the energy is given by

ω k 4 S g ¯ 2 ( 2 + g ¯ 2 ) + 1 2 ( k x 2 + k y 2 ) . (106)

In the spin system with SU(2) symmetry on the square lattice, we have another kind of the magnon with the small energy, whose wave vector k is near ( π , π ) . In the case of | π k x | 1 and | π k y | 1 , the energy is given by

ω k 4 S g ¯ 2 ( 2 + g ¯ 2 ) + 1 2 [ ( k x π ) 2 + ( k y π ) 2 ] . (107)

Note that γ k is negative in this case. We see that the gap energy e g = 4 S g ¯ 2 ( 2 + g ¯ 2 ) is proportional to g 2 when g 2 is small. By this gap energy we expect that the spin correlation function decreases exponentially at the large distance.

Let us explicitly calculate the spin correlation function of the spin operator ( 1 ) P i S ^ i x . We express the spin operator using the operators α ^ k and α ^ k ,

( 1 ) P i S i x = 2 S 2 i N k { 1 2 ( 1 + 1 ω ¯ k ) + ε ( γ k ) 1 2 ( 1 + 1 ω ¯ k ) } ( α ^ k α ^ k ) e i k x i . (108)

Here we introduce notation ω ¯ k defined by

1 ω ¯ k cosh ( 2 θ k ) = 4 S 1 + g ¯ 2 ω k . (109)

Also we define that

ε ( x ) = { + 1 if x > 0 1 if x 0 (110)

From the expression (108) we can calculate the spin correlation function due to Nambu-Goldston mode. Since α ^ k | G V = 0 it is clear that

F N G S , x ( i ) G V | ( 1 ) P i S ^ i x | G V N G = 0. (111)

Similarly we obtain

F N G S , x x ( i , j ) G V | ( 1 ) P i S ^ i x ( 1 ) P j S ^ j x | G V N G = S 2 N k { 1 2 ( 1 + 1 ω ¯ k ) + ε ( γ k ) 1 2 ( 1 + 1 ω ¯ k ) } 2 e i k ( x i x j ) S N k 0 1 ω ¯ k e i k ( x i x j ) . (112)

Here note that we can neglect the contribution by the magnon with ( k x , k y ) ( π , π ) , because in the second expression the first term cancels with the second term due to ε ( γ k ) = 1 .

For the correlation function of the spin operator S ^ i z , Nambu-Goldstone mode with the wave vector near ( π , π ) gives the large contribution. This operator is given by

S ^ i z = 2 S 2 N k { 1 2 ( 1 + 1 ω ¯ k ) ε ( γ k ) 1 2 ( 1 + 1 ω ¯ k ) } ( α ^ k + α ^ k ) e i k x i . (113)

Then we have

F N G S , z ( i ) G V | ( 1 ) P i S ^ i z | G V N G = 0. (114)

In addition we obtain

F N G S , z z ( i , j ) G V | ( 1 ) P i S ^ i z ( 1 ) P j S ^ j z | G V N G = S 2 N k { 1 2 ( 1 + 1 ω ¯ k ) ε ( γ k ) 1 2 ( 1 + 1 ω ¯ k ) } 2 e i k ( x i x j ) ( 1 ) P i + P j S N k ( π , π ) 1 ω ¯ k e i k ( x i x j ) ( 1 ) P i + P j = S N k 0 1 ω ¯ k e i k ( x i x j ) e i ( π , π ) ( x i x j ) ( 1 ) P i + P j . (115)

Since exp [ i ( π , π ) x i ] = ( 1 ) P i , (115) indicates

F N G S , z z ( i , j ) = F N G S , x x ( i , j ) . (116)

For F N G S , z z ( i , j ) , the magnon with the wave vector ( π , π ) plays the same role as the magnon with the wave vector ( 0 , 0 ) for F N G S , x x ( i , j ) .

When the distance between i and j is large, the summation on k can be dominated by the contributions by the low energy. Then we can replace the energy by

ω k 1 2 ( 1 + g ¯ 2 ) τ 2 + k 2 , τ 2 g ¯ 2 ( 2 + g ¯ 2 ) . (117)

Replacing the summation by the integral we obtain the correlation function at the large distance r [25] ,

F N G S , x x ( i , j ) 2 S ( 1 + g ¯ 2 ) 1 2 π r e τ r , r = | x i x j | . (118)

8. Cluster Property

In this section we discuss the violation of the cluster property in the spin correlation function for the antiferromagnet on the square lattice with SU(2) symmetry.

Each spin correlation function Δ F α α ( i , j ) is the sum of the function due to the quasi-degenerate states and the one due to Nambu-Goldstone mode, which have been calculated in the previous sections. Let us collect our results. First we consider Δ F D S α α ( i , j ) . Using expressions of Δ s and Δ t in (57) the results for Δ F D S x x ( i , j ) given in (81) and for Δ F D S z z ( i , j ) in (97) become

Δ F D S x x ( i , j ) = F D S x x ( i , j ) = ( m + ) 3 2 g 1 g 2 N + ( 1 ) P i + P j 3 2 χ 0 m + g 2 N 2 .

Δ F D S z z ( i , j ) = F D S z z ( i , j ) = 3 2 ( m + ) 3 χ 0 1 g 2 N 2 + ( 1 ) P i + P j m + 8 g 2 g 1 N 3 . (119)

Since the lattice size N is fixed to be 1020, the parameters in (119) are the strength g 1 and the strength g 2 of the additional interactions V ^ 1 and V ^ 2 . In addition to the condition g 2 1 , we impose the following conditions on g 1 and g 2 , so that the conditions (62) are also satisfied,

g 1 1 N , g 2 g 1 N . (120)

With (120) it is easy to see that we can neglect the second term in both expressions of (119). As a result Δ F D S α α ( i , j ) becomes independent of the site. Therefore we use the symbol F D S α α instead of Δ F D S α α ( i , j ) , which are defined by

F D S x x ( m + ) 3 2 g 1 g 2 N , F D S z z 3 2 ( m + ) 3 χ 0 1 g 2 N 2 . (121)

We see that these correlation functions do not depend on the distance and these values are non-zero as far as N is finite.

As for the contribution from Nambu-Goldstone mode we conclude that, based on discussions in Section 7,

F N G x x ( i , j ) = F N G z z ( i , j ) F N G ( r ) 2 4 π r e τ r , r = | x i x j | 1. (122)

Here we obtain F N G ( r ) by putting S = 1 / 2 and 1 + g ¯ 2 = 1 + g 2 / 2 1 in (118). Also we have τ 2 g 2 from (117).

From the final results of (121) and (122) we conclude that the cluster property violates in the correlation functions due to the quasi-degenerate states, and that the functions due to Nambu-Goldstone mode exponentially decrease with distance. Although this conclusion is the same as that for U(1) symmetry [25] , there are several characteristic properties newly found for SU(2) symmetry.

・ We have two kinds of correlation functions, F D S x x and F D S z z , which violate the cluster property. The number “two” originates from the two kinds of the independent generators of SU(2) symmetry.

・ It is noticeable that both F D S x x and F D S z z show the same dependency on g 2 . The reason is that the additional interaction V ^ 2 induces the same effect on both variables s and t in (56).

・ We also should note that the correlation function F N G ( r ) does not depend on the value of g 1 , since the interaction with g 1 is expressed by the magnon operators with the zero-wave vector as is shown in (101). The correlation function F D S z z is independent of g 1 , too. The correlation function F D S x x , on the other hand, strongly depends on the value of g 1 .

Let us numerically examine F D S x x and F D S z z . We fix N = 1020. As values of m + and χ 0 on the quite large lattice, we use m + = 0.31 [26] [34] and χ 0 = 0.063 [26] [34] [35] . Expressions in (121) indicate that F D S x x is proportional to g 1 for fixed g 2 and N while F D S z z does not contain g 1 . We therefore plot F D S x x with four typical values of g 1 , which are g 1 = 10 15 , 10 10 , 10 5 and 1, together with F D S z z . Figure 3 shows these results as a function of g 2 . Note that, from the condition (120), we should focus the region where g 2 10 20 g 1 . We see that F D S x x with above values of g 1 is larger than F D S z z .

Next let us discuss whether this violation in F D S α α is measurable or not. To answer this question it is necessary to compare F D S α α with F N G ( r ) given by (122). In the range of the distance r where F D S α α F N G ( r ) we would be able to observe the violation in experiments. In Figure 4 we plot, as a function of g 2 , the distance r c where F D S α α = F N G ( r ) holds. We see that all curves in the figure

Figure 3. The correlation functions F D S x x and F D S z z defined in (121) with the lattice size N = 1020. They are plotted as a function of g 2 which is the strength of the symmetry breaking interaction V ^ 2 defined by (33). The solid lines are the results of F D S x x for g 1 = 10 15 , 10 10 , 10 5 and 1. The result of F D S z z , which is independent of g 1 , is plotted by the red-dashed line.

Figure 4. The distance r c where the magnitude of F N G ( r ) agrees with F D S α α , as a function of g 2 . The solid curves show the results for F D S x x with g 1 = 10 15 , 10 10 , 10 5 and 1. The result for F D S z z is plotted by the red-dashed curve. In the region above these curves F D S α α is larger than F N G ( r ) . The lattice size is N = 1020.

resemble each other’s in shape. As g 2 increases the value of r c on each curve increases monotonously until it reaches its maximum value, which we denote r c max , and then decreases monotonously. The location of the maximum point shifts depending on α and, also on the values of g 1 for α = x . Since F D S α α > F N G ( r ) holds in the area above these curves, where r > r c , we have a possibility to observe the violation of the cluster property there. We see that the value of g 2 which maximizes r c , say g 2 max , is larger when g 1 is larger. We also see that r c max is smaller for larger g 1 .

Hereafter we focus our attention to curves of F D S x x in order to make our discussion simple. In the area to the left of the maximum point, namely for g 2 < g 2 max , the region where r > r c holds becomes wide as g 1 grows. When g 2 > g 2 max , on the other hand, values of r c scarcely depend on
g 1 . The results in Figure 4 suggest in what region the observation can be expected. In Figure 5 we plot F N G ( r ) versus r with two typical values of g 2 , which we choose g 2 = 10 16 and g 2 = 10 4 , in order to make it easy to understand the measurable area. Then we compare values of F D S x x with F N G ( r ) for several values of g 1 . The value of r c in Figure 4 is now indicated by the cross point where the horizontal line of F D S x x and the curve of F N G ( r ) meet. Our results show that F D S x x would be observable in a wide range of r and g 1 provided that g 2 is moderately small.

9. Summary and Discussions

In this paper, we investigated the violation of the cluster property for the spin 1/2

Figure 5. F N G ( r ) and F D S x x shown as a function of the distance r . The solid curves plot the values of F N G ( r ) for g 2 = 10 16 and g 2 = 10 4 , while the horizontal lines indicate the values of F D S x x . The dashed lines are results for g 2 = 10 16 and, g 1 = 1 , 10 5 and 10−10. The dashed-dotted line is the result for g 2 = 10 4 and g 1 = 1 . The lattice size is N = 1020.

Heisenberg antiferromagnet with SU(2) symmetry on the square lattice, following the previous paper [25] that has shown the violation in the correlation function for the spin 1/2 XXZ antiferromagnet with U(1) symmetry on the square lattice.

Spontaneous symmetry breaking for the system can be explained by the model where the ferromagnets of A and B sub-lattices couple to form the effective Hamiltonian [26] . In this model, we could clearly define the quasi-degenerate states and could calculate the ground state including the interactions that explicitly and completely break SU(2) symmetry. Note that, in the concrete calculation of the ground state, we have kept the lattice size large but finite.

In order to find the violation of the cluster property, we calculated the spin correlation functions. We examined two kinds of correlation functions which consist of the function due to the degenerate states and the one due to Nambu-Goldstone mode. We calculated the former functions F D S α α using the quasi-degenerate states. As for the latter functions F N G α α ( r ) , we obtained it by means of linear spin wave theory.

We see that both F D S x x and F D S z z violate the cluster property in Heisenberg spin systems with SU(2) symmetry. Also when there is the interaction V ^ 1 = g 1 ( S ^ z ) 2 , F D S x x becomes large since it is proportional to g 1 . By these enhancements of the correlation functions, we find the wide region in the parameter space where it would be possible to observe the violation of cluster property. This fact encourages us to search for the violation in experiments.

Let us now discuss experiments to observe the violation of the cluster property. As described in the previous paper [25] , it is required to measure the correlation length [36] [37] [38] . The experiments on the material Sr2CuO2Cl2 [39] [40] found that the correlation length ξ is ~200 at temperature T = 300 K . Also they confirmed that the dependence of ξ on T is log ( ξ ) 1 / T , which is derived by the nonlinear sigma model [41] . This means that ξ becomes huge even when the temperature is not so small. As an example, consider the case in which the temperature T 0 is 50 K. Then the correlation length at this temperature is ξ 0 = ξ T / T 0 10 13 , which would be large enough when we explore the region of r ( N = 10 10 ) in Figure 4 and Figure 5. The results shown in these figures, we believe, are worth examining in experiments to find the violation of the cluster property.

Finally, let us make several comments on our calculations and our results.

・ In this work we studied the effect from the additional interaction V ^ 1 which is defined by the squared spin operators. Since this term was introduced from theoretical point of view it might be difficult to include it in the ordinary magnetic materials. For the experimental study to realize this interaction in the spin systems it is valuable to notice Bose condensation of the atom in the double well potential [42] . This system is described by the effective spin system, where the squared spin is included.

・ The second comment is about other interactions of the squared spin operators to break the symmetry. When, for example, we include V ^ 3 g 3 { ( S ^ x ) 2 + ( S ^ y ) 2 } instead of V ^ 2 , we have V ^ 3 | Ψ J , M = | Ψ J , M { J ( J + 1 ) M 2 } for the state | Ψ J , M . By the positive value of g 3 , the difference between J ( J + 1 ) and M 2 becomes small. Then we cannot apply our approximation adopted in this paper to obtain the ground state. Therefore we would need further extensive work on the ground state with this interaction.

・ The third comment is about the more complicated systems. For example, it is quite interesting to study the Heisenberg antiferromagnet on the triangular lattice. In this system we suppose that the effective Hamiltonian is constructed by the three magnets on three sub-lattices. In spite of the complicated algebraic calculations for three magnetic states, it is quite interesting to study this system since the large amount of differences between the quantum spin system on the triangular lattice and those on the square lattice has been found [26] .

Acknowledgements

The author is deeply grateful for the contribution by Dr. Yasuko Munehisa, which includes all her comments and suggestions to improve this paper.

Conflicts of Interest

The author declares no conflicts of interest regarding the publication of this paper.

Cite this paper

Munehisa, T. (2018) Violation of Cluster Property in Heisenberg Antiferromagnet. World Journal of Condensed Matter Physics, 8, 203-229. doi: 10.4236/wjcmp.2018.84015.

References

[1] Bell, J.S. (1964) On the Einstein-Podolsky-Rosen Paradox. Physics, 1, 195.
https://doi.org/10.1103/PhysicsPhysiqueFizika.1.195
[2] Kochen, S. and Specker, E.P. (1967) The Problem of Hidden Variables in Quantum Mechanics. Journal of Mathematics and Mechanics, 17, 59-87.
https://doi.org/10.1512/iumj.1968.17.17004
[3] Hardy, L. (1993) Nonlocality of Two Particles without Inequalities for Almost All Entangled States. Physics Review Letters, 71, 1665-1668.
https://doi.org/10.1103/PhysRevLett.71.1665
[4] ‘t Hooft, G. (2006) The Mathematical Basis for Deterministic Quantum Mechanics. Beyond the Quantum, World Scientific, Singapore, 3-19.
[5] Horodecki, R., Horodecki, P., Horodecki, M. and Horodecki, K. (2009) Quantum Entanglement. Review of Modern Physics, 81, 865.
https://doi.org/10.1103/RevModPhys.81.865
[6] Deutsch, D. (1985) Quantum Theory, the Church-Turing Principle and the Universal Quantum Computer. Proceedings of the Royal Society of London A, 400, 97.
https://doi.org/10.1098/rspa.1985.0070
[7] Nielsen, M.A. and Chuang, I.L. (2000) Quantum Computation and Quantum Information. Cambridge University, Cambridge.
[8] Guhne, O. and Toth, G. (2009) Entanglement Detection. Physics Reports, 474, 1-75.
https://doi.org/10.1016/j.physrep.2009.02.004
[9] Ekert, A., Alves, C., Oi, D., Horodecki, M., Horodecki, P. and Kwek, L. (2002) Direct Estimations of Linear and Nonlinear Functionals of a Quantum State. Physical Review Letters, 88, Article ID: 217901.
https://doi.org/10.1103/PhysRevLett.88.217901
[10] Napoli, C., Bromley, T.R., Cianciaruso, M., Piani, M., Johnston, N. and Adesso, G. (2016) Robustness of Coherence: An Operational and Observable Measure of Quantum Coherence. Physical Review Letters, 116, Article ID: 150502.
https://doi.org/10.1103/PhysRevLett.116.150502
[11] Amico, L., Fazio, R., Osterloh, A. and Vedral, V. (2008) Entanglement in Many-Body Systems. Review of Modern Physics, 80, 517.
https://doi.org/10.1103/RevModPhys.80.517
[12] Islam, R., Ma, R., Preiss, P.M., Tai, M.E., Lukin, A., Rispoli, M. and Greiner, M. (2015) Measuring Entanglement Entropy in a Quantum Many-Body System. Nature, 528, 77.
https://doi.org/10.1038/nature15750
[13] Cianciaruso, M., Ferro, L., Giampaolo, S.M., Zonzo, G. and Illuminati, F. (2014) Classical Nature of Ordered Phases: Origin of Spontaneous Symmetry Breaking. arXiv1408.1412v2 [cond-mat.stat-mech].
[14] Shi, Y. (2003) Quantum Disentanglement in Long-Range Orders and Spontaneous Symmetry Breaking. Physics Letters A, 309, 254-261.
https://doi.org/10.1016/S0375-9601(03)00128-2
[15] Heaney, L., Anders, J., Kaszlikowski, D. and Vedral, V. (2007) Spatial Entanglement from Off-Diagonal Long-Range Order in a Bose-Einstein Condensate. Physics Review A, 76, Article ID: 053605.
https://doi.org/10.1103/PhysRevA.76.053605
[16] Hamma, A., Giampaolo, S. and Illuminati, F. (2016) Mutual Information and Spontaneous Symmetry Breaking. Physics Review A, 93, Article ID: 012303.
https://doi.org/10.1103/PhysRevA.93.012303
[17] Weinberg, S. (1995) The Quantum Theory of Fields. Vol. 2, Cambridge University Press, Cambridge.
https://doi.org/10.1017/CBO9781139644167
[18] Strocchi, F. (2008) Symmetry Breaking, Lecture Note Physics 732. Springer, Berlin.
[19] Shimizu, A. and Miyadera, T. (2002) Cluster Property and Robustness of Ground States of Interacting Many Bosons. Journal of the Physical Society of Japan, 71, 56-59.
https://doi.org/10.1143/JPSJ.71.56
[20] Shimizu, A. and Miyadera, T. (2002) Stability of Quantum States of Finite Macroscopic Systems against Classical Noises, Perturbations from Environments, and Local Measurements. Physical Review Letters, 89, Article ID: 270403.
https://doi.org/10.1103/PhysRevLett.89.270403
[21] Xu, S. and Fan, S. (2017) Generalized Cluster Decomposition Principle Illustrated in Waveguide Quantum Electrodynamics. Physics Review A, 95, Article ID: 063809.
https://doi.org/10.1103/PhysRevA.95.063809
[22] Froehlich, J. and Rodriguez, P. (2017) On Cluster Properties of Classical Ferromagnets in an External Magnetic Field. Journal of Statistical Physics, 166, 828-840.
https://doi.org/10.1007/s10955-016-1556-2
[23] Strocchi, F. (1978) Local and Covariant Gauge Quantum Field Theories. Cluster Property, Superselection Rules, and the Infrared Problem. Physics Review D, 17, 2010-2021.
https://doi.org/10.1103/PhysRevD.17.2010
[24] Lowdon, P. (2016) Conditions on the Violation of the Cluster Decomposition Property in QCD. Journal of Mathematical Physics, 57, Article ID: 102302.
https://doi.org/10.1063/1.4965715
[25] Munehisa, T. (2018) Violation of Cluster Property in Quantum Antiferromagnet. World Journal of Condensed Matter Physics, 8, 1-22.
https://doi.org/10.4236/wjcmp.2018.81001
[26] Richter, J., Schulenburg, J. and Honecker, A. (2004) Quantum Magnetism. In: Schollwock, U., Richter, J., Farnell, D.J.J. and Bishop, R.F., Eds., Lecture Note in Physics, Vol. 645, Springer-Verlag, Berlin Heidelberg, 85-153.
[27] Anderson, P.W. (1984) Basic Notions of Condensed Matter Physics. Benjamin/Cummings, Menlo Park.
[28] Auerbach, A. (1994) Interacting Electrons and Quantum Magnetism. Springer-Verlag, Berlin Heidelberg.
https://doi.org/10.1007/978-1-4612-0869-3
[29] Hatano, N. and Suzuki, M. (1993) Quantum Monte Carlo Methods in Condensed Matter Physics. World Scientific, Singapore, 13-47.
https://doi.org/10.1142/9789814503815_0002
[30] De Raedt, H. and von der Linden, W. (1995) The Monte Carlo Method in Condensed Matter Physics. Springer-Verlag, Berlin Heidelberg, 249-284.
[31] Manousakis, E. (1991) The Spin 1/2 Heisenberg Antiferromagnet on a Square Lattice and Its Application to the Cuprous Oxides. Review Modern of Physics, 63, 1.
https://doi.org/10.1103/RevModPhys.63.1
[32] Landee, C. and Turnbull, M. (2013) Recent Developments in Low-Dimensional Copper (II) Molecular Magnets. European Journal of Inorganic Chemistry, 2013, 2266-2285.
https://doi.org/10.1002/ejic.201300133
[33] Sprung, D.W.L., van Dijk, W., Martorell, J. and Criger, D.B. (2009) Asymptotic Approximations to Clebsch-Gordan Coefficient from a Tight-Binding Model. American Journal of Physics, 77, 552-561.
https://doi.org/10.1119/1.3091265
[34] Sandvik, W. (1997) Finite-Size Scaling of the Ground-State Parameters of the Two-Dimensional Heisenberg Model. Physics Review B, 56, Article ID: 11678.
https://doi.org/10.1103/PhysRevB.56.11678
[35] Luescher, A. and Laeuchli, A. (2009) Exact Diagonalization Study of the Antiferromagnetic Spin-1 2 Heisenberg Model on the Square Lattice in a Magnetic Field. Physics Review B, 79, Article ID: 195102.
https://doi.org/10.1103/PhysRevB.79.195102
[36] Birgeneau, R.J., Greven, M., Kastner, M.A., Lee, Y., Wells, B.O., Endoh, Y., Yamada, K. and Shirane, G. (1999) Instantaneous Spin Correlations in La2CuO4. Physics Review B, 59, Article ID: 13788.
https://doi.org/10.1103/PhysRevB.59.13788
[37] Tseng, K., Keller, T., Walters, A., Birgeneau, R. and Keimer, B. (2016) Neutron Spin-Echo Study of the Critical Dynamics of Spin-5/2 Antiferromagnets in Two and Three Dimensions. Physics Review B, 94, Article ID: 014424.
https://doi.org/10.1103/PhysRevB.94.014424
[38] Bossoni, L., Carretta, P., Nath, R., Moscardini, M., Baenitz, M. and Geibel, C. (2011) NMR and μSR Study of Spin Correlations in SrZnVO(PO4)2: An S = 1/2 Frustrated Magnet on a Square Lattice. Physics Review B, 83, Article ID: 014412.
https://doi.org/10.1103/PhysRevB.83.014412
[39] Greven, M., Birgeneau, R.J., Endoh, Y., Kastner, M., Keimer, B., Matsuda, M., Shirane, G. and Thurston, T. (1995) Spin Correlations in the 2D Heisenberg Antiferromagnet Sr2CuO2CI2: Neutron Scattering, Monte Carlo Simulation, and Theory. Physics Review Letters, 72, 1096-1099.
[40] Greven, M., Birgeneau, R.J., Endoh, Y., Kastner, M., Matsuda, M. and Shirane, G. (1995) Neutron Scattering Study of the Two-Dimensional SpinS = 1/2 Square-Lattice Heisenberg Antiferromagnet Sr2CuO2CI2. Zeitschrift fuer Physik B, 96, 465-477.
https://doi.org/10.1007/BF01313844
[41] Chakravarty, S., Halperin, B. and Nelson, D. (1989) Two-Dimensional Quantum Heisenberg Antiferromagnet at Low Temperatures. Physics Review B, 39, 2344.
https://doi.org/10.1103/PhysRevB.39.2344
[42] Shi, Y. and Niu, Q. (2006) Bose-Einstein Condensation with an Entangled Order Parameter. Physics Review Letters, 96, Article ID: 140401.
https://doi.org/10.1103/PhysRevLett.96.140401

  
comments powered by Disqus

Copyright © 2019 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.