A comparative study of $2d$ Ising model at different boundary conditions using non-deterministic Hexagonal Cellular Automata
Jahangir Mohammed, Swapna Mahapatra

TL;DR
This study uses non-deterministic cellular automata to simulate the 2D Ising model on a hexagonal lattice, analyzing how different boundary conditions affect phase transition properties and approximating the critical temperature.
Contribution
It introduces a non-deterministic cellular automata approach for simulating the 2D Ising model on a hexagonal lattice, comparing effects of various boundary conditions on phase transition behavior.
Findings
Critical temperature approximates 1.5, matching analytic solutions.
Boundary conditions influence the accuracy of phase transition estimates.
Fixed boundary conditions perform better for larger lattices.
Abstract
The spin system of the Ising model having a hexagonal-lattice is simulated using non-deterministic Cellular Automata. The method to implement this program is outlined and our results show a good approximation to the exact analytic solution. The phase transition in Ising model is studied with a hexagonal-lattice with five different boundary conditions (bcs) i.e., adiabatic, periodic, reflexive, fixed and fixed with random orientation of spins as initial conditions in the absence of an external applied magnetic field. The critical temperature below which the spontaneous magnetization appears as well as other physical quantities such as the magnetization, energy, specific heat, susceptibility and entropy with each of the bcs are calculated. The phase transition occurs around = 1.5 which approximates well with the result obtained from exact analytic…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Condensed Matter Physics · Quantum many-body systems · Theoretical and Computational Physics
A comparative study of Ising model at different boundary conditions using non-deterministic Hexagonal Cellular Automata
*†*Jahangir Mohammed111 Present address: Department of Physics, Nabarangpur College, Nabarangpur-764063, Odisha, India. and *∗,‡*Swapna Mahapatra
*Department of Physics, Utkal University,
Bhubaneswar, Odisha 751004, India
**Abstract **
The spin system of the Ising model having a hexagonal-lattice is simulated using non-deterministic Cellular Automata. The method to implement this program is outlined and our results show a good approximation to the exact analytic solution. The phase transition in Ising model is studied with a hexagonal-lattice with five different boundary conditions (bcs) i.e., adiabatic, periodic, reflexive, fixed and fixed with random orientation of spins as initial conditions in the absence of an external applied magnetic field. The critical temperature below which the spontaneous magnetization appears as well as other physical quantities such as the magnetisation, energy, specific heat, susceptibility and entropy with each of the bcs are calculated. The phase transition occurs around = 1.5 which approximates well with the result obtained from exact analytic solution by Wannier and Houtappel. We compare the behaviour of magnetisation per cell for five different types of bcs by calculating the number of points close to the line of zero magnetisation for . We find that the periodic, adiabatic and reflexive bcs give closer approximation to the value of than fixed and fixed bcs with all three initial conditions for lattice size less than . However, for lattice size between and , fixed bc and fixed bc give closer approximation to the with initial conditions in which all spins are in down configuration and all spins are in up configuration respectively.
1 Introduction
The simple Hamiltonian for the Ising model and its variants are studied extensively for their ability to describe critical phenomena. This can be applied to understand magnetism, models for high-temperature superconductivity and phase diagrams, disordered and non-equilibrium systems. The model also provides means for testing algorithms. All the interesting phenomena of statistical mechanics and phase transitions are found to have counterparts in this model. It is an example of a lattice model for modeling simple interacting many-particle systems in statistical mechanics where a set of spins is assigned to each lattice site.
The spins interact with both their nearest neighbors and an external magnetic field via a Hamiltonian of the form
[TABLE]
where is an arbitrary spin configuration, the notation indicates a sum over nearest neighbor lattice points, () is a parameter describing inter-particle interactions, is the magnetic moment and is an external magnetic field at spin.
The model is best known for describing the emergence of ferromagnetism in crystals of atoms that interact via spin-spin coupling. The Ising model is useful even in cases for which it cannot be solved exactly. On both square-lattice and hexagonal-lattice geometries where the Ising model can be exactly solved and also for those where no exact solution has been found, numerical simulations can provide insight into critical behavior of these models. The most common method for simulating Ising systems is the Metropolis-Hastings algorithm, originally developed for use in molecular dynamics simulations.
The model introduced by Lenz was exactly solved by Ising, which showed that the one-dimensional case does not exhibit a phase transition [1]. This led to the general belief that the Ising model in higher dimensions would also be ineffective at describing systems with critical points. However, Onsager in 1944 exactly solved the Ising model for a two-dimensional square lattice configuration with periodic boundary condition by analytical method [2]. He demonstrated that, for an infinite square lattice, the ferromagnetic phase transition occurs at a critical temperature, , of
[TABLE]
where , and stands for square-lattice. The square and hexagonal lattices, both, have exactly computable critical temperatures. The hexagonal (honeycomb) lattice is the next simplest two dimensional lattice. The pure Ising model on the honeycomb lattice has been studied by Wannier [3] and Houtappel [4] and have been exactly solved. The most straightforward way to find these critical temperatures is via duality between high-temperature and low-temperature behaviour. Duality is the hidden symmetry found by Kramers and Wannier that relates the partition function and the free energy of the Ising model at low and high temperatures for the two dimensional square-lattice [5, 6]. The system is mathematically modeled in two ways each of which is independent of the other and both of which are valid to describe the physical properties of the system. If one assumes that the free energy is singular at the critical temperature, and that this singularity is unique, then this leads to the determination of the critical temperature. For the two dimensional hexagon system the critical temperature () was found to be
[TABLE]
where , and stands for hexagonal-lattice. The above results are for lattice of infinite size with periodic boundary condition. Above this temperature the average magnetization is zero in the absence of external magnetic field. We performed the simulation taking lattices of finite size and in the absence of external magnetic field so as to compare the result obtained by the above analytic method as well as to those for our five different bcs.
A Cellular Automaton (CA) is a mathematical model, modeling a set of cells which interact with their neighbors. In this model, each cell have values known as states, all the cells update their states simultaneously at discrete time steps, and the new state of a cell is determined by current state of its neighbors according to a local function called rule of the CA. Hexagonal CA is a tessellation of the plane by regular hexagons which provide for higher packing density of cells and the unit cells of hexagonal grids are uniformly connected in the sense that the distance from a given cell to any adjacent cell is the same. To simulate the Ising model with Hexagonal CA, we can design a two states CA, for spin up state () and spin down state () and number of neighbors is six i.e, north, south, east, west, top and bottom. A definite rule is designed for which states of the cells are either all in up states or all in down states below and above on the average half in spin states and half in spin states. The Ising model using non-deterministic hexagonal CA (HCA) has not been studied for five different boundary conditions. The CA used in this work differs from that of Metropolis-Hastings algorithm where the algorithm specifies that the transitions must be made for one site at a time whereas we consider transitions of many sites simultaneously. The work of Eltinge [7] uses Metropolis-Hastings algorithm to study numerically the case of periodic boundary condition.
Our computations will be on finite-size lattices with four different boundary conditions, as well as, with the periodic boundary condition that effectively simulates accurately infinite-size lattice results in many respects. Apart from the Ising model, quantum spin models such as the Kitaev model [8] or Kitaev-Heisenberg model [9, 10] on the honeycomb lattice have recently received a lot of theoretical and experimental attention [11, 12, 13, 14, 15]. Hexagonal lattice has also been discussed in the context of high temperature and low temperature susceptibility series and extracting the scaling function [16]. Such a growing interest in the hexagonal-lattice systems motivates us to revisit the Ising model on the hexagonal lattice. Attempts have been made for mapping Ising models in different lattice geometry using CA. A deterministic CA (DCA) proposed by Domany and Kinzel [17], the Q2R CA [18, 19, 20, 21] and the Creutz CA [22, 23, 24, 25] are mostly used in analysing square-lattice Ising model. All these CA models are deterministic and the computation can be performed fast. It has been demonstrated that the probabilistic model of the CA like Metropolis algorithm [26] is more realistic for description of the Ising model even though the random number generation makes it slower. Probabilistic CA model under five different boundary conditions has been studied in the context of a square-lattice Ising model [27]. However, Ising model using two dimensional hexagonal CA (HCA) under different boundary conditions other than periodic boundary condition has not yet been studied.
The paper is organised as follows: in section 2, we discuss the basic theory to treat a HCA and how to implement it in the Ising model with five different bcs. The results obtained out of the simulations are given and are analysed in section 3 and we have also compared Ising model with different boundary conditions by considering their converging points. Our conclusion and future perspective are discussed in section 4.
2 Implementation of Isotropic Ising Model by Hexagonal CA
Two dimensional CA is described by finite states of cells (), neighborhood cells () and its distance among neighbourhood (), boundary conditions and transition functions or rules (). In our HCA model, , number of nearest neighbour cells , and we consider five different bcs.
Neighbourhoods of extreme cells are taken care of by boundary condition (bc). If the extreme cells are adjacent to each other then it is called periodic bc (pbc). In adiabatic bc (abc), the extreme cells replicate their state and in reflexive bc (rbc), mirror position states replace the extreme cells. In fixed bc, the extreme cells are connected to or state. If it is connected to state, it is called fixed bc () and if it is connected to state, then it is called fixed -1 bc ().
If the same rule is applied to all the elements of the matrix (), then it is called uniform CA and if different rules are applied to individual elements of the matrix or block of elements then it is called nonuniform CA. At different time intervals, if different rules are applied to the matrix then it is called varying CA e.g., probabilistic CA. With the application of these rules, elements (states) of the matrix change at successive intervals as shown in the following equation.
[TABLE]
where is a time varying rule or transition matrix.
Consider an isotropic Ising model in the form of hexagonal lattice () with rows and columns. Here we consider each hexagonal cell as a lattice point as shown in figure 2. The lattice has then sites. The odd rows have different column positions i.e., etc. and even rows have different column positions i.e., etc. At each of the sites , the spins are arranged in such a way that increases as from left to right in case of odd rows, increases as from left to right in case of even rows and increases from bottom to top, and has one of the spin, which are the two states in CA. So, there are spin configurations. We consider only the nearest neighbor interactions, so the number of neighbor cells are . We include the five different bcs as follows.
For odd rows :
pbc : , ,
and . 2. 2.
abc : , ,
and . 3. 3.
rbc : , ,
and . 4. 4.
f+1bc : , ,
and . 5. 5.
f-1bc : , ,
and .
For even rows :
pbc : , ,
and . 2. 2.
abc : , ,
and . 3. 3.
rbc : , ,
and . 4. 4.
f+1bc : , ,
and . 5. 5.
f-1bc : , ,
and .
The average magnetization for the configuration is defined as,
[TABLE]
and the average magnetization per spin is given by
[TABLE]
Energy for the configuration is defined as
[TABLE]
Here, the factor of has been put to remove the sextuple counting of energy, otherwise the interacting energy will be computed six times. (isotropic) for neighbour cells, or else, .
The configuration energy per spin is
[TABLE]
For updating the lattice in next iteration, we use the probabilistic approach by constructing a probabilistic CA. We use the following procedure.
We calculate the change in energy i.e., the energy difference at successive time intervals is . Here, or but we have considered the case i.e., . Next we calculate the probability of each site in the spin configuration at time (number of iterations) by using the Boltzmann factor
[TABLE]
With the above probability for each site, we construct a probability weighted matrix (or transition matrix). This matrix leads to our probabilistic CA matrix () by comparing it with a random matrix and multiplying by a factor of to normalise the .
Successive spin configurations are obtained from
[TABLE]
Here, we consider to be a new configuration. If in this new configuration the calculated energy is less than the initial configuration, then it is allowed to proceed forward; otherwise the new configuration is flipped backward. After a finite number of iterations we calculate the average energy of the system per cell (), magnetisation per cell (), and obtain the susceptibility per cell (), specific heat per cell () and the entropy per cell ().
[TABLE]
[TABLE]
[TABLE]
where is the total number of spin up states, is the total number of spin down states, is the probability of spin up states and is the probability of spin down states in the lattice . The Metropolis algorithm specifies that transitions must be made for one site at a time. But here we have considered transitions of many sites simultaneously for which we go to a regime of oscillating behavior. For instance, nearly every site that is flipped in the direction of higher energy becomes unflipped on the next iteration. CA is desirable to perform transitions on every lattice site simultaneously. For instance such simultaneous transitions take advantage of matrix operations for increased computational efficiency. This algorithm checks the time complexity better than the Metropolis algorithm [26].
3 Simulation, results and discussions
In this work, we have considered hexagonal-lattice of size for the determination of critical temperature at which a phase transition occurs. Here we have considered lattice size of for our convenience in computation. In this simulation we take , and the external magnetic field to be zero i.e., . We have considered the temperature range from to with increment of unit in each step. At each temperature, we have considered runs. Each of the simulation starts with random spin configurations. We have considered five different bcs i.e., periodic, adiabatic, reflexive, fixed and fixed .
The magnetisation per cell () versus temperature results are shown for all five bcs in figure 3 . One can observe that in the case of fixed bcs, the curves obtained provide better result than either of the other boundary conditions, i.e., pbc, abc or rbc at low temperature regions ().
3.1 Phase transition with pbc, abc, rbc, f1bc and f-1bc
To study the phase transition we have calculated energy per cell (), magnetisation per cell (), susceptibility per cell (), specific heat per cell () and entropy of the configuration () by considering average of ten simulation. Here each simulation starts with random spin configuration in hexagonal-lattice of size and we take temperature range from to with increment of unit since we have to find the phase transition corresponding to all five different bcs and hence the .
In figure 4, we have plotted vs ; vs ; vs ; vs ; vs and vs with initial random spin configuration with pbc, abc, rbc, f+1bc and f-1bc respectively. One finds that around temperature , the magnetisation approaches the value zero, the energy gradually increases, as well as the entropy gradually increases, as shown in figures 4(a), 4(b) and 4(f). The susceptibility and specific heat also change, initially they increase with a sudden rise at and then start decreasing as shown in figures 4(d) and 4(e) respectively. So, a phase transition is clearly visible around as the second order derivative of energy and magnetisation is extremely large with all five bcs.
In the vs graphs shown in figure 4(c), the regions with higher density of points indicate three states. We find three states, two of them are low temperature ground states around (, ) with random initial conditions in the cases of abc, pbc and rbc, and the third one is the high temperature phase which is centered at (, ). But in the case of f+1bc there is one low temperature ground state around (, ) and one high temperature phase is centered at (, ). Also in the case of f-1bc there is one low temperature ground state around (, ) and one high temperature phase is centered at (, ).
4 Comparison of Ising model simulation among boundary conditions
In figure 3, one can observe that the magnetization approach the zero line after in different manner depending on the bcs. The analytic solution gives a zero magnetization above and our simulation for different bcs also show that it converge toward the zero value at increased temperatures. With one simulation for all bcs, it is not possible to predict which bc is closer to . So, we analyze the points for magnetization in the range , and which are close to the zero line of magnetization after . We call such points as converging points.
In this simulation, we have taken various lattice sizes ranging from to in this manner. We consider an increment of lattice size in each step while going from lattice size from to and subsequently for to an increment of for each step and from to with increment of for each step. The temperature ranges from to with small increments of units. We have iterated times for each simulation for lattice sizes , times for lattice sizes in between and and times for lattice sizes above . Figure 5 shows the converging points in the above mentioned range of magnetization. We have counted the number of converging points as defined above by taking average result of ten simulations for each bc with three different initial conditions. We carry out all the simulation with three initial conditions and with all five bcs. Here, three initial conditions are (i) all up (or most of spins up), (ii) all down (or most of the spins down) and (iii) random (or randomly oriented spins up/down).
For lattice with pbc, abc and rbc, one finds more convergent points in both cases and than that for f+1bc and f-1bc for all up and all down spin initial conditions.
With lattice sizes in between and with f-1bc, one finds more convergent points in both the cases corresponding to and with initial condition of all up spins. For f+1bc, one finds more convergent points in both the cases with initial condition of all spins down.
In the case of lattice with pbc and lattice with abc, one finds more convergent points both cases and among all bcs with random spin initial conditions. For all initial cases with , the result is better for pbc, abc and rbc and converging points increase as lattice sizes are increased.
It is observed that lattice with all five bcs, one can observes same convergent points in both cases and but pbc, abc and rbc show more convergent points in than f+1bc and f-1bc.
5 Conclusion
In the present work, we have studied Ising model in hexagonal-lattice with five different boundary conditions using non-deterministic Cellular Automata algorithm in which transitions of many sites takes place simultaneously in contrast to transitions being made for one site at a time. We have observed a phase transition that occurs at the critical temperature for each of the five bcs. The result of agrees with the exact solution presented in equation . The findings for fixed bcs also show a smoother curve at low temperatures than pbc, abc and rbc with random initial condition. This implies that with the different initial conditions on different lattice sizes , one can take care of boundary spins by not only pbc but also by abc and rbc. Further in our analysis, abc shows more converging points than pbc and rbc for lattice size with random initial condition. For lattice size greater than , f+1bc and f-1bc are better suited to use than other bcs in case of initial spin configuration with all down or all up spins respectively. It is also observed that for lattice , in all cases of initial spin configuration, in all bcs give almost same converging points. From the simulation point of view, our algorithm flipped most of the spins at a single iteration. It is computationally more efficient than Metropolis algorithm [26] which flips single spins at a single iteration. The analysis done in this paper will help us in finding the values of critical exponents more accurately for hexagonal-lattice, which we plan to study next. The present work is expected to facilitate the use of non-deterministic CA in the study of phase transition in case of anti-ferromagnetic materials, binary alloys and spin glasses etc with different boundary conditions.
Acknowledgement
We thank K. Maharana and S. Pattanayak for useful discussions. JM would like to thank Institute of Physics, Bhubaneswar for hospitality where part of this work has been done.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] E. Ising, Beitrag zur Theorie des Ferromagnetismus , Z. Phys. 31:253 (1925).
- 2[2] L. Onsager, Crystal statistics. I. A two dimensional model with an order-disorder transition , Phys. Rev. , 65 , 117–149 (1944).
- 3[3] G. H. Wannier, Antiferromagnetism. The triangular Ising net. , Phys. Rev. , 79 , 357–364 (1950).
- 4[4] R. Houtappel, Order-disorder in hexagonal lattices , Physica , 16 , 425–455 (1950).
- 5[5] H. A. Kramers and G. H. Wannier, Statisics of the Two-Dimensional Ferromagnet. Part I , Phys. Rev. , 60 , 252-262 (1941).
- 6[6] H. A. Kramers and G. H. Wannier, Statisics of the Two-Dimensional Ferromagnet. Part II , Phys. Rev. , 60 , 263-276 (1941).
- 7[7] http://web.mit.edu/8.334/www/grades/projects/projects 15/Eltinge Stephen.pdf
- 8[8] A. Kitaev, Anyons in an exactly solved model and beyond , Ann. Phys. , 321 , 2–111 (2006).
