Eigenvalues of Ising connection matrix with long-range interaction

https://doi.org/10.1016/j.physa.2020.124929Get rights and content

Highlights

  • We examine multidimensional Ising systems on hypercube with long-range interaction.

  • We obtain exact formulas for eigenvalues of connection matrices.

  • We analyze both periodic and free boundary conditions.

Abstract

We examine multidimensional Ising systems on hypercube lattices and calculate analytically the eigenvalues of their connection matrices. We express the eigenvalues in terms of spin–spin​ interaction constants and the eigenvalues of the one-dimensional Ising connection matrix (the latter are well known). To do this we present the eigenvectors as Kronecker products of the eigenvectors of the one-dimensional Ising connection matrix. For periodic boundary conditions, it is possible to obtain exact results for interactions with an arbitrary large number of neighboring spins. We present exact expressions for the eigenvalues for two- and three-dimensional Ising connection matrices accounting for the first five coordination spheres (that is interactions up to next-next-next-next nearest neighbors). In the case of free-boundary systems, we show that in the two and three dimensions the exact expressions could be obtained only if we account for interactions with spins of not more than first three coordination spheres.

Introduction

The Ising model remains in a focus of scientific interest for decades. Partially it is caused by convenience, which this model offers for testing new methods for calculation of the free energy and critical characteristics. In the same time, in spite of a seemingly straightforward formulation of the problem, in some cases the scientists could not find its rigorous solutions. Book [1] contains a review of different approaches to the solution of the Ising problem and the obtained results. There is a number of books, where applications of the model to analysis of various physical problems are collected. Namely, in the book [2] phase transitions in solids are discussed in terms of the Ising model; the model’s applications to spin glasses and neural network theory can be found in the monograph [3]; and the collective monograph [4] describes the link between the Ising model and optimization problems.

In the present paper, we obtain exact expressions for the eigenvalues of the Ising connection matrix on the hypercube lattices with long-range interaction. We analyzed both the periodic and free boundary conditions. Everywhere we assume an isotropic interaction. Our paper generalize the analysis presented in [5].

The proximity between spins is commonly described by the expressions “the nearest neighbor”, “the next nearest neighbor”, “the next-next nearest neighbor”. However, since we consider interactions with spins that are far enough from the given spin, in place of repeating the “next” prefixes we use the concept of coordination spheres [6], [7]. Let us organize an increasing sequence of various distances from a given spin to all other spins. Then a kth coordination sphere includes all the nodes whose distance to the given node takes the kth place in this sequence. Clearly, all the spins belonging to a coordination sphere interact equally with the given spin. Let wk be the interaction constant with the spins belonging to the kth coordination sphere. When the value of k is not too large, the common notations are convenient. Namely, the nearest neighbors belong to the first coordination sphere, the next nearest neighbors to the second coordination sphere, the next-next nearest neighbors to the third coordination sphere. In what follows we use the coordination sphere numbers as well as the common notations.

In Section 2, we discuss the one-dimensional Ising model in detail. We introduce matrices J(k) that describe the interactions with only the spins of the kth coordination sphere. In the case of periodic boundary conditions, all the matrices J(k) are circulant matrices, all of them have the same set of the eigenvectors and their eigenvalues are well known. For the one-dimensional Ising model, this allows us to easily obtain, in the most general form, the eigenvalues of its connection matrix A1=kwkJ(k) accounting for an arbitrary number of the coordination spheres. On the contrary, if we assume free boundary conditions, the matrices J̃(k) even do not commute. (In what follows we use the tilde symbol to denote characteristics related to free boundary conditions.) As a result, it is not possible to express the eigenvalues of the matrix Ã1=kwkJ̃(k) in terms of the eigenvalues of the individual matrices J̃(k). In this case, we only know the eigenvalues λ̃i1n of the matrix J̃(1) that accounts for the interaction w1 with the nearest neighbors.

In Section 3, we examine the two- and three-dimensional Ising models with periodic boundary conditions. In the two-dimensional case, we account for the interactions with the spins of the first and second coordination spheres. In the three-dimensional case, we add the interaction with the spins of the third coordination sphere. We restrict our consideration to these relatively simple models due to the following reasons. Firstly, here we present in detail our method, which allows us to define the eigenvalues of the multidimensional Ising connection matrix in terms of the interaction constants and the eigenvalues of the one-dimensional connection matrix. This method is rather cumbersome, so it is convenient to use simple examples. Secondly, as we show in Section 4, the obtained results are fully applicable also to the case of free boundaries. In Section 4, we also show that for free boundary conditions it is impossible to extend these results to the case of more neighbors.

Finally, in Section 5 we develop another method for calculation of the eigenvalues of the multidimensional Ising model for periodic boundary conditions. We base our calculation on representing the eigenvectors of the multidimensional problem as the Kronecker product of the eigenvectors of the one-dimensional Ising model. The method is especially effective when we account for a large number of coordination spheres. As an example, for the planar and cubic lattices we obtain exact expressions for five coordination spheres.

The obtained results can be useful when analyzing spectral densities of the multidimensional Ising systems and their dependencies on the parameters of the spin–spin interactions. Our exact expressions for the eigenvalues can be applied when studying optical transitions and/or in calculations of the free energy of spin systems. In addition, they can be significant in the analysis of the role of long-range hopping in many-body localization for lattice systems of various dimensions (see [8] and references therein). For natural spin systems, the interaction constants are typically determined by the distances between the spins. Then truncating the number of interactions by accounting only for a finite number of coordination spheres is an approximation, which holds the better the stronger the coordinate dependence of the interaction. However, for artificial spin systems with couplers, such as the ones used for quantum annealing (see for example [9]), our results with a finite number of coordination spheres can be viewed as exact.

Section snippets

1D-Ising model

In this Section, we examine the one-dimensional Ising model that describes a linear chain of n connected spins si=±1, i=1,,n. In Section 2.1, we assume periodic boundary conditions. This implies that the chain of spins forms a closed loop: the nth spin of the chain is the left nearest neighbor of the first spin, the second last (n1)th spin turns out to be the next nearest left neighbor of the first spin, and so on. In this case, some rigorous results were previously obtained [10], [11], [12].

2D- and 3D-Ising systems with periodic boundary conditions: simple case

In this Section, we analyze relatively simple models of two-dimensional and three-dimensional Ising systems with periodic boundary conditions. In two dimensions, we take into account the interactions with the spins from the first and the second coordination spheres (Section 3.1). When considering the three-dimensional model, we account for the first, second, and third coordination spheres (Section 3.2).

Let us agree on notations. For the lattices of both dimensions, the spins of the first

2D-Ising model

All the arguments of Section 3.1 also hold when we examine the case of free boundaries. All we need is to replace the matrix J(1) by the matrix J̃(1), the eigenvalues λiλi(1) (2.2) by the eigenvalues λ̃iλ̃i(1) (2.5), and the eigenvectors fi (2.3) by the eigenvectors f̃i (2.5). Then repeating all the calculations we obtain an analog of Eq. (3.8): μ̃ij=w1(λ̃j+λ̃i)+w2λ̃iλ̃j,i,j=1,2,,n.Now we can easily explain why for a planar free-boundary Ising system it is not possible to generalize

2D and 3D Ising models with periodic boundary conditions: general case

In this Section, we develop another method for calculation of the eigenvalues of the connection matrix for the multidimensional Ising model. Computationally, it is more efficient. The method represents the eigenvectors of the multidimensional problem as the Kronecker products of the eigenvectors of the one-dimensional Ising connection matrix (2.3). For periodic boundary conditions, this procedure is always correct.

A planar lattice is a sublattice of a cubic lattice. Consequently, sometimes the

Discussion and conclusions

We obtained the analytical expressions for the eigenvalues of the connection matrices of 2D- and 3D-Ising systems taking into account the interactions with the spins of several coordination spheres. We expressed the eigenvalues of the multidimensional connection matrix in terms of the interaction constants wr1k and the eigenvalues λi1n of the one-dimensional Ising model with the interactions of the nearest neighbors. The expressions for the eigenvalues λi1n are well known for periodic boundary

CRediT authorship contribution statement

L.B. Litinskii: Conceptualization, Methodology, Writing - original draft. B.V. Kryzhanovsky: Investigation, Formal analysis, Writing & editing.

Declaration of Competing Interest

The authors declare that they have no known competing financial interests or personal relationships that could have appeared to influence the work reported in this paper.

Acknowledgments

This work was supported by State Program of Scientific Research Institute for System Analysis, Russian Academy of Sciences , project no. 0065-2019-0003.

The authors are grateful to Dr. Inna Kaganova and Dr. Marina Litinskaya for helpful discussions and their help when preparing this paper.

References (14)

There are more references available in the full text version of this article.

Cited by (10)

  • Topological descriptors and Laplace spectra in simple hydrogen bonded systems

    2022, Journal of Molecular Liquids
    Citation Excerpt :

    It is worth remembering that the degeneracy of the first positive eigenvalue of the Laplace matrix in one dimension is 2, in two dimensions (square) is 4, whereas in 3 dimensions (cube) it is 6 [44]. These results were proven also by the fact that the exactly 6 eigenvalues can be found, also for the 3D Ising model, analytically [45,46]. In order to treat ‘real’ test systems very briefly, particle configurations of alcohol-water mixtures, resulting from molecular dynamics simulations using the GROMACS simulation package [47] (version 5.1.1), have been taken.

  • Molecular aggregation in liquid water: Laplace spectra and spectral clustering of H-bonded network

    2021, Journal of Molecular Liquids
    Citation Excerpt :

    The numbers of degenerated eigenvalue are 2, 4, and 6 in 1, 2 and 3 dimensions, respectively. It can be shown that- the degeneracy of the first positive eigenvalue of the Laplace matrix is also 2, 4 and 6 respectively when using the properties of the Laplace matrix in these systems. [64–70] The second eigenvalue (λ2) or in other words the first positive eigenvalue also depends on the system size: 0.191, 0.101, 0.046, 0.036 for system of 256, 1000, 4000 and 8000 water molecules, respectively.

View all citing articles on Scopus
View full text