World Journal of Condensed Matter Physics
Vol.10 No.02(2020), Article ID:98879,26 pages
10.4236/wjcmp.2020.102003

Quantum Curie-Weiss Magnet Induced by Violation of Cluster Property

Tomo Munehisa

Faculty of Engineering, University of Yamanashi, Kofu, Japan

Copyright © 2020 by author(s) and Scientific Research Publishing Inc.

This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).

http://creativecommons.org/licenses/by/4.0/

Received: January 29, 2020; Accepted: March 13, 2020; Published: March 16, 2020

ABSTRACT

There are some 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 the works recently published by the author, the extensive and quantitative examination has been made about the violation of cluster property in the correlation function of the spin operator for the quantum spin system. These works have shown that, when we include the symmetry breaking interaction, the effect by the violation is proportional to the inverse of the system size. Therefore this effect is tinny since the system size is quite large. In order to find the effect due to the violation even when the size is large, we propose a new system where additional spins couple with the spin system on the square lattice, where the coupling constant between these systems being assumed to be small. Applying the perturbation theory, we obtain the effective Hamiltonian for the additional system. This Hamiltonian includes Curie-Weiss model that is induced by the violation of the cluster property. Then we find that this effective Hamiltonian has the factor which is the inverse of the system size. Since Curie-Weiss model, which is known to be exactly soluble, has to contain this factor so that the thermodynamical properties are well-defined, the essential factor for the Hamiltonian is determined by the coupling and the strength of the symmetry breaking interaction. Our conclusion is, therefore, that it is possible to observe the effect by the violation of the cluster property at the inverse temperature whose order is given by these parameters.

Keywords:

Quantum Spin, Spontaneous Symmetry Breaking, Cluster Property, Curie-Weiss Model

1. Introduction

The concept of entanglement strongly contradicts with the classical one about locality, which has been extensively studied by many researchers [1] [2] [3] [4] [5]. One reason for this active study is the possibility of applying entanglement to quantum computer [6] [7] and quantum information [8] [9] [10].

Entanglement found in many-body systems is reviewed in [11]. Its observation was discussed in [12]. Entanglement was discussed in terms of the spontaneous symmetry breaking [13] [14] [15] because the correlation must be found even at the long distance where the whole system changes entirely from the classically ordered state to the disordered one. The work [16] discussed quantum communication when the symmetry breaks spontaneously.

When the system is at the critical point, we could suppose that correlation must be found even in the far distance. By this quite long-range correlation we have to consider that the concept of the cluster property [17] or the cluster decomposition [18] is not trivial. The works [19] [20] discussed the relation between the violation of this property and confinement in QCD. Also we find active studies in quantum field theory [21] [22]. While in the macroscopic system, authors in works [23] [24] studied the cluster property in the term of the stability. Recently another type of the cluster property is discussed in [25].

In the previous paper [26] 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 [27], in other words, spontaneous symmetry breaking (SSB) [17] [28] of U(1) symmetry. This semi-classical order has been confirmed by spin wave theory [29] and the quantum Monte Carlo method [30] [31]. The review article [32] is quite useful in this order in the spin system. Also see [33] for the experimental review.

The essential point in these studies is that SSB requires the quasi-degenerate states between which the expectation value of the local operator is not zero. The energy difference between these quasi-degenerate states decreases as the lattice size increases. Therefore, in order to determine the ground state definitely, we introduced an additional interaction that explicitly breaks the symmetry. Then we showed that the violation of the cluster property occurs in this model. The magnitude of the violation is order of 1 / ( g N ) , where g is the strength of the explicit symmetry breaking interaction and N is the size of the system. We concluded that it is possible to observe this effect, though it is tinny except for the extremely small g. As for the Heisenberg model which has SU(2) symmetry, see [34].

In this paper, we propose another approach which enables us to observe the violation even when g is not so small. We consider a new spin system added to the one on the square lattice we studied in [26]. The whole Hamiltonian is H ^ s q + V ^ g + V ^ e x . Here H ^ s q denotes the Hamiltonian which operates the states on the square lattice and V ^ g is the interaction which breaks U(1) symmetry explicitly. The newly added interaction, V ^ e x , consists of spin operators both on the additional system and on the square lattice. It contains a parameter u to represent the strength of the interaction.

Applying the perturbation theory with small u, we obtain the effective Hamiltonian H ^ e f f , e x for the spins in the additional system. We see that it includes Curie-Weiss model. In this model, it is known that the mean field approximation for the thermodynamic properties gives the exact results. We then find that this effective Hamiltonian H ^ e f f , e x has the overall factor u 2 / ( g N ) . Since Curie-Weiss model has to contain the factor 1/N in order that the thermodynamical properties are well-defined, the essential factor for the system is u 2 / g . We conclude, therefore, that one would be able to observe the violation when the inverse temperature β is of order of ( u 2 / g ) 1 .

Contents of this paper are as follows. In Section 2, we describe our model in some detail. The first subsection is devoted to a brief explanation of the spin 1/2 XXZ antiferromagnet on the square lattice. Also we collect the results related to the Hamiltonian H ^ s q , g [26]. In the second subsection, we define V ^ e x which describes an extended part of the model. In Section 3, using the perturbation theory, we derive the effective Hamiltonian H ^ e f f , e x from V ^ e x . A general discussion to derive the effective Hamiltonian is given in appendix A and the concrete form of H ^ e f f , e x is calculated in appendix B. We show that the effective Hamiltonian contains Curie-Weiss model, whose Hamiltonian is the square of the sum of all spin operators on the extended sites. We also show that this Hamiltonian H ^ e f f , e x contains the ferromagnet with the finite-range interaction induced by Nambu-Goldstone mode.

In Section 4, we calculate the energy and the specific heat of Curie-Weiss model. For this purpose, we use the mean field approximation, which is discussed in appendix C in detail. It should be noted that this method is absolutely reliable for the model when the system is infinitely large. In order to assure that our results are sufficiently accurate, we numerically calculate the specific heat on finite lattices.

In Section 5, we investigate the thermodynamic properties of the effective Hamiltonian H ^ e f f , e x . The first subsection is to calculate the energy and the specific heat when the temperature is high. Here we employ the high temperature expansion described in appendix D. We find the effect by Nambu-Goldstone mode only in this region. In the second subsection, we calculate these thermodynamic properties at a low temperature. Here we employ the mean field approximation which is exact for the ferromagnet due to the degenerate states and reasonable for the one due to Nambu-Goldstone mode. The final section is devoted to summary and discussion.

Since many symbols are used in our paper, we list them in Table 1 for convenience.

2. Our Model

2.1. Spin System on the Square Lattice

We will consider the quantum spin system on the square lattice. On each site i ( i = 1, , N s q ) we have the spin operator S ^ i α ( α = x , y , z ). Then we define the Hamiltonian H ^ s q by

Table 1. Symbols used in our paper. The third column denotes the equation number, if any, where the symbol is defined.

H ^ s q ( i , j ) [ S ^ i x S ^ j x + S ^ i y S ^ j y + λ S ^ i z S ^ j z ] . (1)

Here ( i , j ) denotes the nearest neighbor pair on the square lattice and λ is the parameter between 0 and 1. The eigen state is given by the linear combination of states | { s i } = | s 1 , s 2 , , s N s q , where S ^ i z | s i = | s i s i ( s i = ± 1 / 2 ). The vector space of the states | { s i } is denoted by V sq .

For this antiferromagnet, we divide the whole lattice into two kinds of sub-lattices called A sub-lattice and B sub-lattice. In order to define these sub-lattices we introduce a symbol P i using integers i x and i y for the site i = i x + i y N s q .

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

Then we introduce the spin operator 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 ) . (3)

In order to obtain the ground state, we introduce the symmetry breaking interaction V ^ g ,

V ^ g g i ( 1 ) P i S ^ i y = g [ S ^ A y S ^ B y ] ( 0 < g 1 ) . (4)

Then we have the Hamiltonian H ^ s q , g ,

H ^ s q , g H ^ s q + V ^ g . (5)

It is well known that in this system there exists Nambu-Goldstone mode, which can be described successfully by spin wave theory. On the other hand, adding the explicit symmetry breaking interaction into the Hamiltonian, we have obtained the lowest energy eigen state and the excited states which are linear combinations of the degenerate states [26] [34]. This leads us to consider two kinds of excited states, which are states due to degenerate states and those from Nambu-Goldstone mode. In order to describe these excited states we will employ two kinds of Hamiltonian H ^ s q , g , D S and H ^ s q , g , N G .

Following the previous work [26], we present the Hamiltonian H ^ s q , g , D S which describes the excited states by the degenerate states | D n . They are defined by

Q ^ | D n = | D n n , Q ^ i S ^ i z . (6)

Here Q ^ is the generator of U(1) symmetry and n is an integer. Then we define H ^ s q , g , D S as

H ^ s q , g , D S E 0 ( N s q ) + a s q Q ^ 2 N s q + V ^ g . (7)

Here E 0 ( N s q ) denotes the lowest energy with n = 0 and a s q is the constant which is fixed by H ^ s q . The eigen state | G l of H ^ s q , g , D S is given by a linear combination of | D n ,

| G l = n | D n c l ( n ) . (8)

Detailed expression of | G l is found in Appendix B.1.

Next we define H ^ s q , g , N G , which describes the excited states of Nambu-Goldstone mode, based on the spin wave theory.

H ^ s q , g , N G E N G + k ω k α ^ k α ^ k . (9)

Here α ^ k is the annihilation operator of Nambu-Goldstone mode with the wave vector k , and E N G denotes the ground state energy. The effect due to the symmetry breaking interaction V ^ g is included in ω k , which is the energy of Nambu-Goldstone mode. Detailed expression of ω k is given in Appendix B.2.

2.2. Extended Spin System

Let us consider a new system which consists of the spin system on the square lattice and the one on N e x additional sites. The state for the additional sites is represented by | { s a } ( a = 1, , N e x ) where s a = ± 1 / 2 . The vector space V ex is spanned by these states. We will consider the spin system on the square lattice and the additional spin system. Whole vector space is V sq V ex . The extended interaction V ^ e x is given by

V ^ e x u α = x , y i A sub-lattice S ^ i α S ^ a ( i ) α ( u > 0 ) . (10)

Here a ( i ) is the additional site fixed by the site i as is shown in Figure 1. Note that the summation for i runs over A sub-lattice only. The whole Hamiltonian H ^ s q , g , e x of the system is then defined by

H ^ s q , g , e x H ^ s q , g + V ^ e x . (11)

3. Effective Hamiltonian of the Extended Spin System

In Appendix A we have derived the effective Hamiltonian using the perturbation theory. We apply it to our model, where H ^ 0 is H ^ s q , g (5) and the perturbed interaction is V ^ e x (10).

Figure 1. The extended system to the spin system on the square lattice. The ordinal spin is located at the cross point of the horizontal lines and the vertical lines. The line between two nearest points denotes the interaction. The full circle shows the additional spin and the line between the full circle and the cross point shows the additional interaction.

We have two kinds of the excited states. One is the excited state | G l ( l 1 ) that consists of the degenerate state and the other is the one-magnon state | k with the wave vector k , which is Nambu-Goldstone mode. Following the discussions in the previous works [26] [34], we suppose that these excited states are independent.

We obtain the effective Hamiltonian H ^ e f f , e x that operates states in V ex ,

H ^ e f f , e x = u α = x , y i A sub-lattice c ( α , i ) S ^ a ( i ) α + u 2 α , β = x , y i , j A sub-lattice c ( α , β , i , j ) S ^ a ( i ) α S ^ a ( j ) β . (12)

Here c ( α , β , i , j ) are sum of the coefficients c D S ( α , β , i , j ) due to the degenerate states and c N G ( α , β , i , j ) due to Nambu-Goldstone mode.

c ( α , β , i , j ) = c D S ( α , β , i , j ) + c N G ( α , β , i , j ) . (13)

From Appendix A we obtain

c ( α , i ) = G 0 | S ^ i α | G 0 ,

c D S ( α , β , i , j ) = l 1 G 0 | S ^ i α | G l 1 E G 0 E G l G l | S ^ j β | G 0 ,

c N G ( α , β , i , j ) = k G 0 | S ^ i α | k 1 E G 0 E k k | S ^ j β | G 0 . (14)

We have calculated these coefficients in Appendix B. We obtain

c ( x , i ) = 0 , c ( y , i ) = 2 v . (15)

Here v denotes the expectation value of the spin operator in the ground state. When we consider the terms of ( Δ x ) 2 only and neglect those of ( Δ x ) 4 for c D S ( α , β , i , j ) , we obtain

c D S ( x , x , i , j ) = 2 v 2 η ( Δ x ) 2 1 E G 0 E G 1 = v g N s q ,

c D S ( x , y , i , j ) = 0 , c D S ( y , y , i , j ) = 0. (16)

As for contributions by Nambu-Goldstone mode, we obtain

c N G ( x , x , i , j ) ~ 1 4 π K 0 ( τ | r i r j | ) , τ ~ g / ( 2 v ) ,

c N G ( x , y , i , j ) = 0 , c N G ( y , y , i , j ) = 0. (17)

Here K 0 ( z ) is the modified Bessel function. When N s q is as large as 1020 and g 1 / N s q , the simple expression by the modified Bessel function is reliable for c N G ( x , x , i , j ) [26]. From (15), (16) and (17) the effective Hamiltonian for our model on the vector space V ex is given by

H ^ e f f , e x = 2 u v i S ^ a ( i ) y u 2 i , j A sub-lattice ( c i , j ) S ^ a ( i ) x S ^ a ( j ) x ,

c i , j c D S ( x , x , i , j ) + c N G ( x , x , i , j ) = { v g N s q + 1 4 π K 0 ( τ | r i r j | ) } . (18)

The first term of c i , j has the factor 1 / N s q = 1 / ( 2 N e x ) and is independent of the site. We then come to an important conclusion that this effective Hamiltonian contains modified Curie-Weiss model induced by the degenerate state. In the next section, we will discuss this model in some detail.

4. Curie-Weiss Model

Curie-Weiss model [35] [36] [37] is defined by, with the site number N C W ,

H ^ C W = 1 N C W a = 1 N C W a = 1 N C W S ^ a S ^ a . (19)

In this model, we can exactly calculate the specific heat for the infinitely large lattice at any temperature by the mean field approximation. Since this fact is quite important we will make a numerical examination in this section. We compare the specific heat calculated by the eigen values on the large lattices with the result obtained from the mean field approximation.

In Curie-Weiss model, the partition function Z C W ( β ) with the inverse temperature β is given by

Z C W ( β ) = J C W = 0 N C W / 2 m u l ( J C W ) e β E C W ( J C W ) ,

E C W ( J C W ) = J C W ( J C W + 1 ) N C W , m u l ( J C W ) = ( 2 J C W + 1 ) m u l 2 ( J C W ) ,

m u l 2 ( J C W ) = C ( N C W , N C W / 2 + J C W ) C ( N C W , N C W / 2 + J C W + 1 ) ,

C ( n , k ) n ! k ! ( n k ) ! . (20)

Here N C W , which we suppose to be even, is the lattice size and E C W ( J C W ) denotes the energy eigen value with the magnitude J C W of the total spin.

The multiplicity m u l ( J C W ) is given in the following way. First, we consider the state of k up-spins and ( N C W k ) down-spins. For this state M C W , the z-component of the total spin, is given by M C W = k / 2 ( N C W k ) / 2 = k N C W / 2 . For the fixed M C W we have the multiplicity m u l 1 ( M C W ) = C ( N C W , k ) because we pick up k spins among N C W spins. Using M C W instead of k we have m u l 1 ( M C W ) = C ( N C W , M C W + N C W / 2 ) . Since the multiplicity m u l 1 ( J C W ) is a number of possible J C W M C W for each M C W 0 the difference m u l 1 ( J C W ) m u l 1 ( J C W + 1 ) is the number m u l 2 ( J C W ) , which is the multiplicity for the fixed J C W . We take account of the multiplicity of M C W for the fixed J C W , since the energy E C W ( J C W ) does not depend on M C W . Thus we obtain the multiplicity of states m u l ( J C W ) for the fixed E C W ( J C W ) .

In Figure 2, we plot the specific heat calculated from the partition function Z C W ( β ) in (20) for N C W = 400,1000,4000 and 20,000. For comparison we also plot the mean field results we obtain from discussion in Appendix C, noting that h C W = 0 and ζ C W = 1 for Curie-Weiss model (19). When the positive solution m C W of the equation m C W = t a n h ( β m C W ) / 2 exists, the specific heat is given by

C v , C W = ( β m C W ) 2 1 4 m C W 2 1 ( β / 2 ) ( 1 4 m C W 2 ) . (21)

Since no positive solution exists for β < β c = 2 , we have C v , C W = 0 in this region. Note that this is the characteristic property of Curie-Weiss model. Figure 2 indicates that the result for N C W = 400 lattice differs from the mean field result, specially around the critical temperature. When the lattice size becomes large, however, the difference clearly decreases. For N C W = 20000 , we find the excellent agreement between the results by both methods except for the narrow region around β c . We conclude, therefore, the mean field approximation for Curie-Weiss model on large lattices is satisfyingly reliable at any temperature.

Figure 2. The specific heat of Curie-Weiss model (19) for finite size N C W . They are calculated by the exact partition function Z C W ( β ) in (20) for the fixed N C W . The red curve is calculated from the mean field approximation, which is given by (21).

5. Thermodynamical Properties of the Effective Hamiltonian

5.1. High Temperature Region

Let us study the thermodynamical properties at very small β . It is known that the high temperature expansion described in Appendix D is a powerful tool in this region. We apply the results by this method to our effective Hamiltonian H ^ e f f , e x given in (18), for which

h e x = 2 u v ,

1 2 J i , j , e x = u 2 { c D S ( x , x , i , j ) + c N G ( x , x , i , j ) } ~ u 2 v g N s q + u 2 4 π K 0 ( τ | r i r j | ) . (22)

Then we have

1 4 i ( J 0, i , e x ) 2 = i { u 2 v g N s q + u 2 4 π K 0 ( τ | r i | ) } 2 = i { ( u 2 v g N s q ) 2 + 2 u 2 v g N s q u 2 4 π K 0 ( τ | r i | ) + [ u 2 4 π K 0 ( τ | r i | ) ] 2 } = N e x ( u 2 v g N s q ) 2 + 2 u 2 v g N s q u 2 4 π i K 0 ( τ | r i | ) + u 4 ( 4 π ) 2 i [ K 0 ( τ | r i | ) ] 2 . (23)

Here N e x = N s q / 2 . We obtain, with x = i x / Δ , y = i y / Δ ,

i K 0 ( τ | r i | ) = i x , i y K 0 ( τ i x 2 + i y 2 ) 1 Δ 2 d x d y K 0 ( τ x 2 + y 2 / Δ ) = 1 Δ 2 2 π 0 d t t K 0 ( τ t / Δ ) = 2 π 1 Δ 2 Δ 2 τ 2 0 d s s K 0 ( s ) = 2 π τ 2 = 4 π v g . (24)

Similarly,

i [ K 0 ( τ | r i | ) ] 2 2 π 0 d r r [ K 0 ( τ r ) ] 2 = 2 π τ 2 0 d s s [ K 0 ( s ) ] 2 = 4 π v g K 2 c , K 2 c ~ 0.5. (25)

Therefore, we obtain

1 4 i ( J 0, i , e x ) 2 u 4 4 { 5 N e x ( v g ) 2 + K 2 c π ( v g ) } . (26)

Note that the first term of (26) is quite small compared to the second term when N e x is quite large. The energy E e x and the specific heat per site C v , e x are then given by

E e x N e x ~ β [ ( u v ) 2 + u 4 v 32 π g K 2 c ] , C v , e x ~ β 2 [ ( u v ) 2 + u 4 v 32 π g K 2 c ] . (27)

In (27), we see the effect due to the first term of the effective Hamiltonian and that due to Nambu-Goldstone mode only.

5.2. Low Temperature Region

In order to calculate the thermodynamical properties at a low temperature, we employ the mean field approximation described in Appendix C to the effective Hamiltonian H ^ e f f , e x . Taking the translational invariance into account and using (24), we obtain

ζ e x = u 2 N e x i , j [ v g N s q + 1 4 π K 0 ( τ | r i r j | ) ] = u 2 N e x N e x i [ v g N s q + 1 4 π K 0 ( τ | r i | ) ] u 2 ( v N e x g N s q + 1 2 τ 2 ) = u 2 ( v 2 g + v g ) = 3 u 2 v 2 g . (28)

Let us study how the specific heat C v , e x depends on the parameters u and g. Based on results in Appendix C we see that

C v , e x = { ( β ζ e x m ) 2 ( 1 4 m 2 ) / [ 1 ( β ζ e x / 2 ) ( 1 4 m 2 ) ] for h e x / ζ e x 2 m ( β h e x / 2 ) 2 ( 1 4 m 2 ) otherwise . (29)

In the case of h e x / ζ e x 2 m , we find the effect due to the degenerate states. Since m 1 / 2 we need the condition h e x / ζ e x 1 , which is equivalent to 4 g / ( 3 u ) 1 , to observe this effect.

In Figure 3, we plot C v , e x for various values of 4 g / ( 3 u ) . We find that there exists the gap Δ C v , e x at the critical temperature β c . We plot β c as a function of 4 g / ( 3 u ) in Figure 4, which shows that β c is finite when 4 g / ( 3 u ) = 0 while it becomes infinitely large as 4 g / ( 3 u ) goes to 1. Also in Figure 5, where we show the gap Δ C v , e x , we see that Δ C v , e x gradually decreases as 4 g / ( 3 u ) increases and it vanishes when 4 g / ( 3 u ) is 1.

For the analytic discussion, we expand β c and Δ C v , e x by the polynomial of h e x / ζ e x . At the second order, we obtain

Figure 3. The specific heat of the effective Hamiltonian H ^ e f f , e x (18) given by (29) in mean field approximation. The horizontal axis is β ζ e x . When 4 g / 3 u 1 we do not find any gap of the specific heat. If 4 g / 3 u = 1 the gap is ~3/2 as is shown in (30).

Figure 4. The critical temperature β c of the effective Hamiltonian H ^ e f f , e x in mean field approximation as a function of 4 g / ( 3 u ) . The vertical axis measures β c ζ e x . The red curve is for the case g / u 1 , which is given in (30).

Figure 5. The gap of the specific heat Δ C v , e x at the critical temperature β c in (86) ( ζ = ζ e x and h = h e x ) as a function of h e x / ζ e x = 4 g / ( 3 u ) . The red curve is for the case g / u 1 given in (30).

β c ζ e x ~ 2 { 1 + 1 3 ( h e x ζ e x ) 2 } = 2 { 1 + 1 3 ( 4 g 3 u ) 2 } ,

Δ C v , e x ~ 3 2 { 1 6 5 ( h e x ζ e x ) 2 } = 3 2 { 1 6 5 ( 4 g 3 u ) 2 } . (30)

These results are also plotted in Figure 4 and Figure 5 for comparison. We see that the polynomial expansion of h e x / ζ e x is reliable for h e x / ζ e x < 0.6 . This suggests that the perturbation theory on h e x gives us the good approximation, which will be important in future study on the effective Hamiltonian.

Note that if the degenerate states are absent we should use ζ e x = u 2 v / g instead of 3 u 2 v / ( 2 g ) because the system is the ferromagnet induced by Nambu-Goldstone mode only. Measuring the specific heat, therefore, we would be able to judge if the degenerate states exist or not.

To summarize this section we present in Figure 6, a region formed by g and u, where one can observe the effect by Curie-Weiss model due to the degenerate states. The red curve in the figure gives the boundary for the validity of the perturbation theory. The black curve shows the boundary where we can observe the specific heat by this model. Therefore one can confirm the effect by the violation of the cluster property in the region between the red and the black curves.

6. Summary and Discussions

The cluster property is deeply connected with the classical concept about locality, but it is not trivial in quantum physics. In the previous papers [26] [34], we showed the violation of the cluster property (VCP) in spin 1/2 XXZ antiferromagnet and Heisenberg antiferromagnet on the square lattice. Our results indicate that the magnitude of VCP is order of 1 / ( g N ) , where g is the strength of the explicit symmetry breaking interaction and N is the size of the system, which we suppose N ~ 10 20 . The observation of VCP in experiments is not easy, therefore, because of its smallness.

In this paper, we proposed an extended spin system so that we find a better chance to observe the effect by VCP. We added a new spin system to the original spin system on the square lattice. The Hamiltonian is H ^ = H ^ s q , g + V ^ e x . Here H ^ s q , g contains spin operators of the original system only, while V ^ e x contains

Figure 6. Region of the parameters g and u, where we can observe the effect by Curie-Weiss model. For the validity of the perturbation theory we must impose condition u 2 / g 10 2 , which is above the red curve. We also need the condition that the critical inverse temperature is finite. The yellow (blue, green) curve shows the values of g and u where the critical inverse temperature β c = 10 6 (104, 102).

spin operators on both systems. Applying the perturbation theory to H ^ for a small coupling constant in V ^ e x , we obtained the effective Hamiltonian H ^ e f f , e x which operates only on the vector space of the additional system. Then we found that H ^ e f f , e x contains Curie-Weiss model induced by the degenerate states. In order to calculate thermodynamic property of the effective Hamiltonian at a low temperature, we employed the mean field approximation, where the difference between the effect due to the degenerate states and that due to Nambu-Goldstone mode is found in the magnitude of the specific heat. Our conclusion is that it is possible to find the effect of the violation of cluster property in our extended model.

Our study in this paper is based on the effective Hamiltonian, which is derived by the perturbation theory. In order to examine the validity of the theory, we consider the Hamiltonian H ^ s m a l l H ^ s q + V ^ e x on a small lattice, where the energy gap is so large that we do not need the symmetry breaking interaction V ^ g . Here let us give a brief description of the model and show the results obtained by the diagonalization on the N s q = 16 and N e x = 8 lattice (16 + 8 lattice). From (49) in Appendix A the effective Hamiltonian H ^ e f f , a , s m a l l reads, i and j being the site on the A sub-lattice,

H ^ e f f , a , s m a l l = u 2 v s m a l l 2 Δ E i , j { S ^ a ( i ) x S ^ a ( j ) x + S ^ a ( i ) y S ^ a ( j ) y } . (31)

Here we consider only the first excited states so that Δ E E 1 E 0 , and v s m a l l 0 | S ^ i α | 1 ( α = x , y ). Then the energy eigen values for H ^ e f f , a , s m a l l should be given by

E e f f , a , s m a l l ( J , J z ) = E 0 u 2 v s m a l l 2 Δ E { J ( J + 1 ) J z 2 } , | J z | J (32)

For comparison, we directly diagonalize H ^ s m a l l on the 16 + 8 lattice to obtain the energy eigen values, which we denote E c a l ( u , J z ) , for fixed values of u = 0.03,0.04 and J z = 0,1,2,3,4 . By making the least square fitting for E c a l ( u , J z ) by E ( u , J z ) = e 0 + u 2 ( e 1 J z 2 + e 2 ) , we can estimate the value 0.43 ( u = 0.04 ) and 0.44 ( u = 0.03 ) of e 1 , which should be compared with the value of v s m a l l 2 / Δ E = 0.46 for λ = 0.5 . The agreement between both values is satisfactory to assure the validity of the perturbation theory.

Several comments are in order for our calculations and results.

• First let us discuss on effects of higher-order terms in the perturbation theory. On large lattices the energy gap is of order of g and | excited state | V ^ e x | ground state | 2 is of order of 1 / ( g N ) . Then the next order term is of order of u 2 / ( g N ) , but the factor N should be included into the Hamiltonian for the consistency. Therefore we conclude u 2 / g should be small in order to neglect higher-order terms.

• Let us consider to estimate the parameters u and g in experiments. One can estimate u by measuring the specific heat at high temperature because, as we have seen in (27), the first term ( u v ) 2 dominates compared to the second term with the factor u 4 v / g . In order to estimate g, on the other hand, one should measure the correlation function of the spin operator which is given in (96) in Appendix D.

• Next we discuss the qualitative difference between the effect due to the degenerate states and that due to Nambu-Goldstone mode. Since we do not see any effect due to the degenerate states at a high temperature, we need to examine the thermodynamic quantities at a low temperature. In this region, where the mean field approximation is valid, it is difficult to distinguish the effect due to the degenerate states from that due to Nambu-Goldstone mode. Therefore we have to investigate the property connected with the excited states which cannot be calculated in the mean field approximation. This subject will be studied in a future work where we investigate the effective Hamiltonian in the extended system with SU(2) symmetry.

• The last comment is about experimental realization of the proposed spin system. One idea to realize our model is following. In experiments for the spin system on the square lattice, the material contains multi layers. It will be possible to consider the material that has the sandwich structure where the magnetic layer and the quasi non-magnetic layer appear alternately. The magnetic layer realizes the spin system on the square lattice, while in the quasi non-magnetic layer we can partially add the magnetic elements such as Cu. In this additional system, the magnetic elements are sparse so that the coupling between spins on the additional system is weak. Therefore we can suppose that such material realizes V ^ e x in our model.

Acknowledgements

The author specially thanks Dr. Yasuko Munehisa for constructive suggestions and fruitful discussions which are provided through the critical reading of the manuscript.

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

Cite this paper

Munehisa, T. (2020) Quantum Curie-Weiss Magnet Induced by Violation of Cluster Property. World Journal of Condensed Matter Physics, 10, 27-52. https://doi.org/10.4236/wjcmp.2020.102003

References

  1. 1. Bell, J.S. (1964) On the Einstein-Podolsky-Rosen Paradox. Physics, 1, 195. https://doi.org/10.1103/PhysicsPhysiqueFizika.1.195

  2. 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. 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. 4. ’tHooft, G. (2006) The Mathematical Basis for Deterministic Quantum Mechanics. In: Beyond the Quantum, World Scientific, Singapore, 3-19. https://doi.org/10.1142/9789812771186_0001

  5. 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. 6. Deutsch, D. (1985) Quantum Theory, the Church-Turing Principle and the Universal Quantum Computer. Proceedings of the Royal Society of London. Series A, 400, 97. https://doi.org/10.1098/rspa.1985.0070

  7. 7. Nielsen, M.A. and Chuang, I.L. (2000) Quantum Computation and Quantum Information. Cambridge University, Cambridge.

  8. 8. Gühne, O. and Tóth, G. (2009) Entanglement Detection. Physics Reports, 474, 1-75. https://doi.org/10.1016/j.physrep.2009.02.004

  9. 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. 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. 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. 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. 13. Cianciaruso, M., Ferro, L., Giampaolo, S.M., Zonzo, G. and Illuminati, F. (2014) Classical Nature of Ordered Phases: Origin of Spontaneous Symmetry Breaking.

  14. 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. 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. 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. 17. Weinberg, S. (1995) The Quantum Theory of Fields. Vol. 2, Cambridge Univ. Press, Cambridge. https://doi.org/10.1017/CBO9781139644167

  18. 18. Strocchi, F. (2008) Symmetry Breaking. Lecture Note Physics 732, Springer, Berlin. https://doi.org/10.1007/978-3-540-73593-9

  19. 19. 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

  20. 20. 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

  21. 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. 22. Frohlich, J. and Rodríguez, 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. 23. 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

  24. 24. 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

  25. 25. Dell’Anna, L., Salberger, O., Barbiero, L., Trombettoni, A. and Korepin, V. (2016) Violation of Cluster Decomposition and Absence of Light Cones in Local Integer and Half-Integer Spin Chains. Physics Review B, 94, Article ID: 155140. https://doi.org/10.1103/PhysRevB.94.155140

  26. 26. 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

  27. 27. 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, Volume 645, Springer-Verlag, Berlin Heidelberg, 85-153.

  28. 28. Anderson, P.W. (1984) Basic Notions of Condensed Matter Physics. Benjamin/ Cummings, Menlo Park.

  29. 29. Auerbach, A. (1994) Interacting Electrons and Quantum Magnetism. Springer-Verlag, Berlin Heidelberg. https://doi.org/10.1007/978-1-4612-0869-3

  30. 30. 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

  31. 31. De Raedt, H. and von der Linden, W. (1995) The Monte Carlo Method in Condensed Matter Physics. Springer-Verlag, Berlin Heidelberg, 249-284.

  32. 32. 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

  33. 33. 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

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

  35. 35. Kochmanski, M., Paszkiewicz, T. and Wolski, S. (2013) Curie-Weiss Magnet: A Simple Model of Phase Transition. European Journal of Physics, 34.

  36. 36. Chayes, L., Crawford, N., Ioffe, D. and Levit, A. (2008) The Phase Diagram of the Quantum Curie-Weiss Model. Journal of Statistical Physics, 133,131.

  37. 37. Carneiro, C. and Pellegrino, G. (2018) Analysis of Quantum Phase Transition in Some Different Curie-Weiss Models: A Unified Approach.

  38. 38. Predescu, C. (2002) Local Variational Principle. Review Physics Review E, 66, Article ID: 066133. https://doi.org/10.1103/PhysRevE.66.066133

  39. 39. Prato, D. and Barraco, D. (1996) Bogoliubov Inequality. Revista Mexicana de Físiro, 42, 145-150.

Appendix A

In this appendix we show how to derive the effective Hamiltonian by means of the perturbation theory. Here we suppose that the whole vector space V is the direct product of the vector space V sq and the vector space V ex , namely V = V sq V ex . We also suppose that the unperturbed Hamiltonian H ^ 0 operates only states on V sq and there is no degenerate state for H ^ 0 on the vector space V sq . They are expressed by

H ^ 0 | l = | l E l , | l V sq . (33)

Here l 0 , E l + 1 > E l and | 0 is the lowest energy state. The basis state in V sq is given by | l , while the basis state in V ex is denoted by | { s a } . Then the basis state in V is given by

| l , { s a } = | l | { s a } . (34)

For the unperturbed Hamiltonian H ^ 0 ,

H ^ 0 | l , { s a } = | l , { s a } E l . (35)

We suppose that the perturbed Hamiltonian contains the products of the operator V ^ s q , o on the vector space V sq and the operator V ^ e x , o on the vector space V ex .

H ^ = H ^ 0 + u o V ^ s q , o V ^ e x , o . (36)

The eigen state of H ^ is given by

| Φ = { s a } | 0 | { s a } c 0 , { s a } + u l 1 { s a } | l | { s a } c l , { s a } . (37)

The coefficient c l , { s a } is a polynomial function of u and contains the term of u 0 . In order to formalize the perturbation theory we employ the variational method, where we introduce a function defined by

F ( c l , { s a } ) = Φ | H ^ | Φ ρ Φ | Φ . (38)

By the variation on the coefficients we obtain the eigen equation,

F / c l , { s a } = 0. (39)

In order to calculate F ( c l , { s a } ) we divide the Hamiltonian H ^ to H ^ 0 and the perturbed interactions. For the expectation value of H ^ 0 we obtain, from (37),

Φ | H ^ 0 | Φ = | c 0 , { s a } | 2 E 0 + l 1 E l | c l , { s a } | 2 u 2 . (40)

As for the expectation value of u V ^ s q , o V ^ e x , o ,

Φ | u V ^ s q , o V ^ e x , o | Φ = u { s a } { s a } 0 | V ^ s q , o | 0 { s a } | V ^ e x , o | { s a } c 0 , { s a } * c 0 , { s a } + u 2 l 1 { { s a } { s a } l | V ^ s q , o | 0 { s a } | V ^ e x , o | { s a } c l , { s a } * c 0 , { s a } + c . c . } + u 3 l , l 1 { { s a } { s a } l | V ^ s q , o | l { s a } | V ^ e x , o | { s a } c l , { s a } * c l , { s a } + c . c . } . (41)

In the second order perturbation theory, we neglect the terms of u 3 in F. Then the variation on c 0 , { s a } becomes

F / c 0 , { s a } = E 0 c 0 , { s a } * + u o { s a } 0 | V ^ s q , o | 0 { s a } | V ^ e x , o | { s a } c 0 , { s a } * + u 2 o l 1 { s a } l | V ^ s q , o | 0 { s a } | V ^ e x , o | { s a } c l , { s a } * ρ c 0 , { s a } * . (42)

The variation on c l , { s a } is, on the other hand,

F / c l , { s a } = u 2 E l c l , { s a } * + u 2 o { s a } 0 | V ^ s q , o | l { s a } | V ^ e x , o | { s a } c 0, { s a } * ρ c l , { s a } * u 2 . (43)

Requesting F / c l , { s a } = 0 we obtain the expression for c l , { s a } * ,

c l , { s a } * = 1 ρ E l o { s a } 0 | V ^ s q , o | l { s a } | V ^ e x , o | { s a } c 0, { s a } * . (44)

We then replace c l , { s a } * in (42) by the above expression (44). The result is

F / c 0 , { s a } = E 0 c 0 , { s a } * + u o { s a } 0 | V ^ s q , o | 0 { s a } | V ^ e x , o | { s a } c 0, { s a } * + u 2 l 1 { s a } { o l | V ^ s q , o | 0 { s a } | V ^ e x , o | { s a } } × 1 ρ E l { o { s a } 0 | V ^ s q , o | l { s a } | V ^ e x , o | { s a } c 0 , { s a } * } ρ c 0 , { s a } * = E 0 c 0 , { s a } * + u o { s a } 0 | V ^ s q , o | 0 { s a } | V ^ e x , o | { s a } c 0, { s a } * + u 2 l 1 o , o { s a } l | V ^ s q , o | 0 1 ρ E l 0 | V ^ s q , o | l { s a } | V ^ e x , o V ^ e x , o | { s a } c 0 , { s a } * ρ c 0 , { s a } * . (45)

Here we exchange the order of the summation on { s a } and that of { s a } and use

{ s a } { s a } | V ^ e x , o | { s a } { s a } | V ^ e x , o | { s a } = { s a } | V ^ e x , o V ^ e x , o | { s a } . (46)

From F / c 0 , { s a } = 0 we obtain the equation for ρ . Since we can replace 1 / ( ρ E l ) by 1 / ( E 0 E l ) in the second order of u we obtain the eigen equation on ρ ,

( ρ E 0 ) c 0 , { s a } * = { s a } c 0, { s a } * M t ( { s a } : { s a } ) ,

M t ( { s a } : { s a } ) u o 0 | V ^ s q , o | 0 { s a } | V ^ e x , o | { s a } + u 2 o , o l 1 1 E 0 E l 0 | V ^ s q , o | l l | V ^ s q , o | 0 { s a } | V ^ e x , o V ^ e x , o | { s a } . (47)

Using this M ( { s a } : { s a } ) we introduce the effective Hamiltonian H ^ e f f on V ex which should satisfy

{ s a } | H ^ e f f | { s a } = M t ( { s a } : { s a } ) . (48)

Since the matrix elements of H ^ e f f on V ex apply to any state, we can express them by the operators on V ex . Finally we obtain the effective Hamiltonian

H ^ e f f = u o 0 | V ^ s q , o | 0 V ^ e x , o + u 2 o , o l 1 1 E 0 E l 0 | V ^ s q , o | l l | V ^ s q , o | 0 V ^ e x , o V ^ e x , o . (49)

Appendix B

Here we calculate the inner product 0 | V ^ s q , o | l in (49), where V ^ s q , o = ( 1 ) P i S ^ i α = S ^ i α ( α = x , y ) for the site i on the A sub-lattice.

Part 1

In this subsection we calculate the contributions due to the degenerate states. In [26] we obtained the eigen state | G l of H ^ s q , g , D S and the eigen energy E G l ( l = 0,1,2, ), which are given by (with f = 0 in (28) and (29) of [26])

H ^ s q , g , D S | G l = | G l E G l ,

E G l = E 0 ( N s q ) 2 g v N s q + a s q g v ( 2 l + 1 ) ,

| G l = n | D n c l ( n ) = n | D n Ψ l ( x = n Δ x ) Δ x ,

Ψ l ( x ) = N l H l ( η x ) e η x 2 / 2 , η a s q g v 1 N s q ( Δ x ) 2 . (50)

Here H l ( u ) denotes the Hermite polynomial and N l is the normalization factor. Note that we do not need any explicit expression for Δ x , since any physical quantity contains the form of η ( Δ x ) 2 .

For ( 1 ) P i S ^ i y we have [26]

( 1 ) P i S ^ i y | G l = v n | D n [ c l ( n + 1 ) + c l ( n 1 ) ] = v n | D n { 2 c l ( n ) + [ c l ( n + 1 ) + c l ( n 1 ) 2 c l ( n ) ] } v n | D n { 2 Ψ l ( x ) + ( Δ x ) 2 d 2 Ψ l d x 2 } Δ x ~ v n | D n 2 Ψ l ( x ) Δ x . (51)

Then we obtain

G 0 | ( 1 ) P i S ^ i y | G l 2 v d x Ψ 0 ( x ) Ψ l ( x ) = 2 v δ l ,0 . (52)

Similarly we have

( 1 ) P i S ^ i x | G l = i v n | D n [ c l ( n + 1 ) c l ( n 1 ) ] i v n | D n [ 2 d Ψ l d x Δ x ] Δ x . (53)

Then the inner product is given by

G 0 | ( 1 ) P i S ^ i x | G l i v 2 Δ x d x Ψ 0 ( x ) d Ψ l d x = i ( η Δ x ) 2 v δ l ,1 . (54)

Finally we obtain

c D S ( x , x , i , j ) = G 0 | S ^ i x | G 1 1 E G 0 E G 1 G 1 | S ^ j x | G 0 = 2 v 2 η ( Δ x ) 2 ( 1 2 a s q v g ) = v g N ,

c D S ( x , y , i , j ) = 0 , c D S ( y , y , i , j ) = 0. (55)

Here we use η ( Δ x ) 2 = a s q / ( g v N ) and E G l = E G 0 + 2 a s q v g l .

Part 2

Next we discuss the matrix elements due to Nambu-Goldstone mode. We employ the results calculated in the previous work [26] based on spin wave theory. Here the ground state | G N G is | G 0 and the excited state is the one magnon state with the wave vector k , which we denote by | k .

In spin wave theory, it is known that

G N G | ( 1 ) P i S ^ i y | G N G = S , k | ( 1 ) P i S ^ i y | G N G = 0. (56)

As for the operator ( 1 ) P i S ^ i x we obtain [26]

( 1 ) P i S ^ i x | G N G = 2 S 2 i N k | k ( 1 ) { 1 2 ( 1 + 1 ω ¯ k ) + 1 2 ( 1 + 1 ω ¯ k ) } e i k x i . (57)

Here we use the symbols defined by

ω k ω k 4 S ( 1 + g ¯ + 1 + λ 2 γ k ) ,

ω k 4 S ( 1 + g ¯ ) 2 + ( 1 + g ¯ ) ( 1 + λ ) γ k λ γ k 2 ,

g ¯ g / ( 4 S ) , γ k ( c o s k x + c o s k y ) / 2 ,

k = ( k x , k y ) ( 2 π n x / N , 2 π n y / N ) ( n x , n y : integer ) . (58)

The inner products are then given by

G N G | ( 1 ) P i S ^ i x | G N G = 0,

k | ( 1 ) P i S ^ i x | G N G = 2 S 2 i N ( 1 ) { 1 2 ( 1 + 1 ω ¯ k ) + 1 2 ( 1 + 1 ω ¯ k ) } e i k x i . (59)

Therefore we obtain

c N G ( x , x , i , j ) = S 2 N k { 1 2 ( 1 + 1 ω ¯ k ) + 1 2 ( 1 + 1 ω ¯ k ) } 2 1 ω k e i k ( x j x i ) ,

c N G ( y , y , i , j ) = 0 , c N G ( x , y , i , j ) = 0. (60)

For large r = | x i x j | the contribution from small k dominates in the sum of c N G ( x , x , i , j ) . For small | k | and small g we see that

ω k ~ 4 S 1 + λ 4 τ 2 + k 2 , ω ¯ k ~ 1 1 + λ τ 2 + k 2 ,

τ 2 4 g ¯ ( 1 + g ¯ + λ ) 1 + λ + g ¯ ( 1 λ ) ~ g / S . (61)

Using these approximations and replacing the sum by the integration, we obtain

c N G ( x , x , i , j ) ~ S ( 2 π ) 2 d k x d k y 1 ω ¯ k ω k e i k ( x j x i ) = 1 2 ( 2 π ) 2 d k x d k y 1 τ 2 + k 2 e i k ( x j x i ) = 1 4 π 0 d k k τ 2 + k 2 J 0 ( k r ) = 1 4 π K 0 ( τ r ) . (62)

Here we use Bessel functions J 0 ( z ) and K 0 ( z ) .

Appendix C

The mean field approximation is based on Gibbs-Bogoliubov-Feynman inequality [38] [39], which is given by

e W e W . (63)

Here denotes the statistical average.

Let us apply this inequality to the classical Hamiltonian H = H 0 + ( H H 0 ) . The statistical average here is defined by

W 0 = ( e β H 0 W ) / e β H 0 . (64)

By this definition we have

e β H = e β H 0 e β ( H H 0 ) = e β ( H H 0 ) 0 e β H 0 e β H H 0 0 e β H 0 . (65)

For Z e β H and Z 0 e β H 0 we then obtain

l o g Z l o g Z 0 β H H 0 0 . (66)

This inequality is valid for the quantum mechanics, too [38] [39].

l o g Z l o g Z 0 β H ^ H ^ 0 0 ,

Z t r ( e β H ^ ) , Z 0 t r ( e β H ^ 0 ) , A ^ 0 t r { A ^ e β H ^ 0 } / t r ( e β H ^ 0 ) . (67)

Let us start our discussion with

H ^ h i = 1 N S ^ i y 1 2 i = 1 N j = 1 N J i , j S ^ i x S ^ j x , ( h 0 , J i , j 0 , J i , i = 0 ) ,

H ^ 0 κ i = 1 N S ^ i ( κ > 0 ) . (68)

Here we introduce operators,

S ^ i c o s θ S ^ i y + s i n θ S ^ i x , S ^ i s i n θ S ^ i y + c o s θ S ^ i x . (69)

The parameters κ and θ are determined later so that they maximize l o g Z 0 β H ^ H ^ 0 0 . It is easy to see that, with ζ N i , j J i , j / 2 ,

log Z 0 = log { t r [ e β κ i S ^ i ] } = N log [ 2 cosh ( β κ / 2 ) ] ,

S ^ i 0 = 1 2 t a n h ( β κ / 2 ) , S ^ i 0 = 0,

S ^ i y 0 = c o s θ S ^ i s i n θ S ^ i 0 = 1 2 c o s θ t a n h ( β κ / 2 ) ,

S ^ i x 0 = s i n θ S ^ i + c o s θ S ^ i 0 = 1 2 s i n θ t a n h ( β κ / 2 ) ,

H ^ 0 0 = N κ 1 2 t a n h ( β κ / 2 ) ,

H ^ 0 = h N 1 2 c o s θ t a n h ( β κ / 2 ) ζ N [ 1 2 s i n θ t a n h ( β κ / 2 ) ] 2 . (70)

Thus, using Y c o s θ and X t a n h ( β κ / 2 ) for H ^ H ^ 0 0 , we obtain

F 0 ( κ , Y ) l o g Z 0 β H ^ H ^ 0 0 = N { l o g [ 2 c o s h ( β κ / 2 ) ] + 1 2 β h Y X + ( 1 Y 2 ) ζ 1 4 β X 2 β κ 1 2 X } . (71)

In order to find values κ * and Y * which maximize F 0 ( κ , Y ) , we examine following equations.

κ { 1 N F 0 ( κ , Y ) } = 1 2 β { h Y + ( 1 Y 2 ) ζ X κ } X κ = 1 2 β { Y ( h ζ X Y ) + ζ X κ } X κ = 0. (72)

Y { 1 N F 0 ( κ , Y ) } = 1 2 β X ( h ζ X Y ) = 0. (73)

Since 1 Y 1 we see from (73) that, with X * t a n h ( β κ * / 2 ) ,

Y * = min ( h ζ X * , 1 ) . (74)

Let us first consider the case (CASE 1) where ζ X * > h holds and there exists a positive solution for the equation

κ * = ζ X * = ζ tanh ( β κ * 2 ) . (75)

Note that κ * > h is necessary for this case. The maximum value of F 0 ( κ , Y ) / N is then

1 N F ¯ 0 ( β ) 1 N F 0 ( κ * , h ζ t a n h ( β κ * / 2 ) ) = l o g [ 2 c o s h ( β κ * / 2 ) ] + β 1 4 ζ ( h 2 κ * 2 ) . (76)

The average energy E and the specific heat per one spin C v are then given by

E N = 1 N d F ¯ 0 d β = 1 4 ζ ( h 2 + κ * 2 ) , C v β 2 d d β E N = β 2 κ * 2 ζ d κ * d β . (77)

For d κ * / d β , we carry out the differential on the condition.

0 = d d β [ κ * ζ tanh ( β κ * / 2 ) ] = d κ * d β ζ 1 cosh 2 ( β κ * / 2 ) [ κ * 2 + β 2 d κ * d β ] . (78)

Then we obtain

d κ * d β = ζ κ * 2 1 c o s h 2 ( β κ * / 2 ) ( β ζ / 2 ) ,

C v = ( β κ * 2 ) 2 1 c o s h 2 ( β κ * / 2 ) ( β ζ / 2 ) . (79)

Next let us consider another case Y * = 1 (CASE 2), which means θ = 0 . Note that h > 0 is necessary for this case. We have

1 N F 0 ( κ , 1 ) = log [ 2 cosh ( β κ / 2 ) ] + 1 2 β h X 1 2 β κ X ,

κ { 1 N F 0 ( κ ,1 ) } = ( h κ ) 1 2 β X κ . (80)

The solution for d F 0 / d κ = 0 is trivial, which is κ * = h . Then we obtain

1 N F 0 ( h ,1 ) = l o g [ 2 c o s h ( β h 2 ) ] ,

E N = h 2 tanh ( β h 2 ) , C v = ( β h 2 ) 2 1 cosh 2 ( β h / 2 ) . (81)

For later use, we employ the quantity m instead of κ * ,

m 1 2 t a n h ( β κ * 2 ) . (82)

From (70), we see that m is S ^ i 0 at κ = κ * . Using this m the energy and the specific heat in CASE 1 are given by

E N = h 2 4 ζ + ζ m 2 , C v = ( β ζ m ) 2 1 4 m 2 1 ( β ζ / 2 ) ( 1 4 m 2 ) . (83)

Here, since κ * = ζ X * = 2 ζ m , m should satisfy the equation

m = 1 2 t a n h ( β ζ m ) . (84)

In CASE 2, where m = t a n h ( β h / 2 ) / 2 , we obtain

E N = h m , C v = ( β h 2 ) 2 ( 1 4 m 2 ) . (85)

Finally let us examine whether the Equation (74) has a solution which is greater than h. We see that there must be a critical value of β , β c , above which we can find the solution. One can easily see that β c = 2 / ζ if h = 0 and β c > 2 / ζ if h > 0 . Also we have to pay attention that there is no solution for any β if h > ζ . Therefore we obtain β c = when h = ζ . It should be noted that the energy in CASE 1 coincides with that in CASE 2 at β c while the specific heat does not. Namely, using κ * h in the limit β β c + 0 and h = ζ t a n h ( β c h / 2 ) ,

1 N Δ E 1 N { lim β β c + 0 E ( β ) lim β β c 0 E ( β ) } = lim β β c + 0 { 1 4 ζ ( h 2 + κ * 2 ) } lim β β c 0 { h 2 tanh ( β h 2 ) } = 0 ,

Δ C v ( β c ) lim β β c + 0 C v ( β ) lim β β c 0 C v ( β ) = ( β c h 2 ) 2 { 1 cosh 2 ( β c h / 2 ) β c ζ / 2 1 cosh 2 ( β c h / 2 ) } > 0. (86)

Especially, when h is small, we obtain the results

β c ζ ~ 2 { 1 + 1 3 ( h ζ ) 2 } , Δ C v ( β c ) ~ 3 2 { 1 6 5 ( h ζ ) 2 } . (87)

Appendix D

The Hamiltonian H ^ we consider here is given in (68). The partition function Z ( β ) is defined by

Z ( β ) = t r [ exp ( β H ^ ) ] . (88)

In the high temperature expansion Z ( β ) is expanded by small β ,

Z ( β ) ~ t r [ 1 β H ^ + β 2 2 H ^ 2 ] . (89)

We employ the following equations

t r [ 1 ] = 2 N , t r [ S ^ i α ] = 0 , t r [ S ^ i α S ^ j α ] = 2 N 1 4 δ i , j δ α , α , t r [ S ^ i α S ^ i α S ^ i α ] = 0 , t r [ S ^ i 1 α 1 S ^ i 2 α 2 S ^ i 3 α 3 S ^ i 4 α 4 ] = 2 N ( 1 4 ) 2 { δ i 1 , i 2 δ α 1 , α 2 δ i 3 , i 4 δ α 3 , α 4 + δ i 1 , i 3 δ α 1 , α 3 δ i 2 , i 4 δ α 2 , α 4 + δ i 1 , i 4 δ α 1 , α 4 δ i 2 , i 3 δ α 2 , α 3 } . (90)

In the last equation, we exclude the case where α 1 = α 2 = α 3 = α 4 and i 1 = i 2 = i 3 = i 4 .

From the Equation (90) we see that the first order term of β vanishes.

t r [ H ^ ] = 0. (91)

In the second order,

t r [ H ^ 2 ] = h 2 i , j t r [ S ^ i y S ^ j y ] + 1 4 i , j , k , l J i , j J k , l t r [ S ^ i x S ^ j x S ^ k x S ^ l x ] = h 2 i , j 2 N 1 4 δ i , j + 1 4 i , j , k , l J i , j J k , l 2 N ( 1 4 ) 2 { δ i , j δ k , l + δ i , k δ j , l + δ i , l δ j , k } = 2 N 1 4 h 2 i 1 + 1 4 2 N ( 1 4 ) 2 i , j ( J i , i J j , j + J i , j J i , j + J i , j J j , i ) = 2 N 1 4 h 2 i 1 + 1 4 2 N ( 1 4 ) 2 i , j 2 ( J i , j ) 2 = 2 N N { 1 4 h 2 + 1 4 ( 1 4 ) 2 i 2 ( J 0 , i ) 2 } . (92)

Here we use J i , j = J j , i and J i , i = 0 as well as the translational invariance. Thus we obtain

Z ( β ) ~ 2 N { 1 + β 2 2 N [ 1 4 h 2 + 1 32 i ( J 0, i ) 2 ] } . (93)

Therefore the energy and the specific heat are given by

E N = 1 N β log ( Z ( β ) ) ~ β [ 1 4 h 2 + 1 32 i ( J 0 , i ) 2 ] ,

C v ~ β 2 [ 1 4 h 2 + 1 32 i ( J 0, i ) 2 ] . (94)

Finally we consider a correlation function of the spin operator S ^ a x which will be useful to estimate the coupling constants of the model. It is defined by

F C ( β , r = | r b r b | ) t r { e β H ^ S ^ b x S ^ b x } t r { e β H ^ } ( b b ) . (95)

For small β , we obtain

F C ( β , r ) ~ t r { ( β H ^ ) S ^ b x S ^ b x } t r { 1 } = β i , j 1 2 J i , j t r { S ^ i x S ^ j x S ^ b x S ^ b x } t r { 1 } = β J b , b ( 1 4 ) 2 . (96)