Abstract
Some expressions of spin-spin correlation functions of the two-dimensional Ising model in the thermodynamic limit have been obtained, however, so far, no one correlation function that can show long range order of the model with finite size has been obtained. The purpose of this paper is to fill this gap. We present an exact closed formula for the correlation functions of the farthest pairs of spins in a column of the two-dimensional rectangular Ising model with periodic-free boundary condition and finite size by the spinor analysis method. The concrete expression correct to \(\mathrm {e}^{-LC_{0} }\) order of magnitude of such correlation functions is presented, from which it is shown clearly how long range order emerges as the decrease of the temperature. Some properties are discussed.
Similar content being viewed by others
References
McCoy, B.M., Wu, T.T.: The two-dimensional Ising model. Harvard University Press (1973)
McCoy, B.M.: Advanced statistical mechanics. Oxford University Press (2010), and references therein
Kaufman, B.: Phys. Rev. 76(8), 1232 (1949)
Kaufman, B., Onsager, L.: Phys. Rev. 76(8), 1244 (1949)
Huang, K.: Statistical mechanics, 2nd edn. Wiley (1987)
McCoy, B.M., Wu, T.T.: Phys. Rev. 162, 436 (1967)
Newell, G.F.: Phys. Rev. 78, 444 (1950)
Abraham, D.B.: Stud. Appl. Math. 50, 71 (1971)
Saint-Aubin, Y., Arguin, L.-P., Aurag, H.: Can. J. Phys. 89, 921 (2011)
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: The proof of detξ = 1
At first, according to (2.16) and (2.19), the matrix ξ is expressed in terms of 2 × 2 blocks ξ r s , 1 ≤ r, s ≤ N, given by
Using some basic properties of determinant, for example, “If the elements of a line are added to the elements of another parallel line previously multiplied by a real number, the value of the determinant is unchanged” (When we use this property for ξ, we must notice the fact that all x r − 1 and γ r − 1 in one column in all elements are the same but vary with the element in one row of ξ), etc, for ξ we obtain
where the matrix ξ′ is expressed in terms of 2 × 2 blocks ξ′ r s , 1 ≤ r, s ≤ N, given by
We therefore have detξ′ = (detp)(detq), the elements of the two N × N matrices p and q are
We now cite a mathematical theorem:
For n polynomials \(P_{i} (x) = \sum \limits _{j=0}^{i} {a_{ij} x^{i-j}} \), a i0 ≠ 0, i = 0, 1, ⋯ , n − 1, the determinant
The above theorem is an exercise in a textbook and can be proved easily based on some basic properties of determinant and the Vandermonde determinant.
According to (2.12) and (2.17), both g n − 1(x r − 1) and G n − 1(x r − 1) are (n − 1)−th order monic polynomials in x r − 1, hence, using the above mathematical theorem, we obtain \(\det {\mathbf {p}}=\det {\mathbf {q}}=\prod \limits _{1\le r<{r}^{\prime }\le N}^{N} {\left ({x_{{r}^{\prime }-1} -x_{r-1} } \right )} .\)
Combining the above results, we obtain
On the other hand, since ξ is orthogonal, detξ = ±1, we therefore conclude that detξ = 1.
Appendix B: Some Properties of the Equation (2.15)
Substituting (2.10) to (2.15), (2.15) becomes
At first, according to (B.1), it is easy to prove the following property:
According to (B.1) we have
combining (B.1) and (B.5) we conclude that when d ≤ tanhK′ tanhK, or d ≥ cothK′ tanhK, f(d) > 0. Hence, only in the range tanhK′ tanhK < d < cothK′ tanhK, maybe f(d) ≤ 0.
Therefore, if d 0 is a real root of the equation (B.1), i.e., f(d 0) = 0, then tanhK′ tanhK < d 0 < cothK′ tanhK, from which we obtain \(\tanh {K}^{\prime }\coth K<d_{0}^{-1} <\coth {K}^{\prime }\coth K\). On the other hand, since \(d_{0}^{-1} \) is also a root of (B.1), for which we still have \(\tanh {K}^{\prime }\tanh K<d_{0}^{-1} <\coth {K}^{\prime }\tanh K\). Combining these inequalities, we conclude that if the equation (B.1) has two positive real roots d 0 and \(d_{0}^{-1} \), then
When K′ ≥ K, we have tanh2K′ ≥ tanh2K, i.e., tanhK′ cothK ≥ cothK′ tanhK, this inequality is just contrary to (B.6). We conclude that
-
P2. If K′ ≥ K, then (B.1) has not real root.
Therefore, if the (B.1) has at least two positive real roots d 0 and \(d_{0}^{-1} \), then K > K′. For this case, by assuming d 0 = eχ, χ > 0, according to (2.10), \(g_{n} =\frac {\sinh (n+1)\chi }{\sinh \chi }\), and, further,
Hence, through introducing two functions
according to (B.7), the eigenvalue equation (2.15) is written to the form
Notice that f 1(χ) > 0, from (B.8) we have f 2(χ)( = f 1(χ)) > 0, according to the above definition of f 2(χ), we obtain
This is a limitation condition of the real roots of the eigenvalue equation (2.15).
Considering (B.9), some special values of f 1(χ) and f 2(χ) are
On the other hand, it is easy to prove that f 1(χ) is strictly monotone decreasing in [0, ∞) and f 2(χ) is strictly monotone increasing in [0,arccosh(coth2K′ tanh2K)). Combining these results we obtain
-
(i)
If the two curves f 1(χ) and f 2(χ) have intersection points, then there is only one intersection point, which is in [0, arccosh(coth 2K′ tanh 2K));
-
(ii)
f 1(χ) and f 2(χ) have (one) intersection point if and only if
The above properties can be observed visually in Fig. 1.
The (B.8) has solution is equivalent to that the two curves f 1(χ) and f 2(χ) have intersection point, we therefore have
-
P3. When K > K′, the equation (B.1) has no negative real root and has at most two positive real roots d 0 and \(d_{0}^{-1} \), which satisfy (B.6).
On the other hand, notice N ≥ 1, hence, when K ≥ 2K′, (B.10) holds absolutely, we therefore have
-
P4. If 2K′ > K > K′, two positive real roots of (B.1) arise if and only if (B.10) holds.
-
P5. If K ≥ 2K′, then (B.1) has always two positive real roots, no matter what value of N takes.
According to P3 we see that most of the roots of (B.1) are complex. On the other hand, since eigenvalue of the Hermitian matrix ω must be real, according to (2.14), any root \(x=\frac {d+d^{-1}}{2}\) of the equation (2.15) must also be real, hence, if d is a complex root of (B.1), then d must has the form eiϕ, that is to say,
-
P6. All those complex roots of (B.1) are on the unit circle.
If d = eiϕ is a complex root of (B.1), then \(x=\frac {d+d^{-1}}{2}=\cos \phi \), this is just (2.22).
If d 0 is a positive real root of (B.1), then we can use the following method to obtain the approximate value of d 0.
For this case we have concluded K > K′, the quantity
thus satisfies 0 < κ < 1. According to (B.6), \(1<d_{0} <\coth {K}^{\prime }\tanh K=\frac {1}{\kappa }\), we can try to find the value of d 0 shaped as
According to (B.1) and (B.1), d 0 must satisfy
Substituting (B.12) to (B.13), we obtain
We see that the first a n that does not vanish is \(a_{2N} =2\frac {\cosh 2K-\cosh 2{K}^{\prime }}{\sinh ^{2}2K}\), accordingly,
κ 2N is a very small quantity when N is very large, d 0 thus very nears to cothK′ tanhK when N is very large. On the other hand, it is not difficult to obtain higher approximation value of d 0 in terms of (B.14) for finite value of N.
For such d 0, according to (B.9), \(x_{0} =\frac {d_{0} +d_{0}^{-1}}{2}=\cosh \chi \) satisfies 1 < x 0 < coth2K′ tanh2K, of which the approximation value is given by (2.24).
Rights and permissions
About this article
Cite this article
Mei, T. An Exact Closed Formula of a Spin-spin Correlation Function of the Two-Dimensional Ising Model with Finite Size. Int J Theor Phys 54, 3462–3489 (2015). https://doi.org/10.1007/s10773-015-2587-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10773-015-2587-1