1. Introduction
Phase transitions are among the most universal phenomena in the cosmos. The Ising model is a simple magnetic spin system on a lattice, introduced for understanding the occurrence of a ferromagnetic phase transition [
1]. The one-dimensional Ising model in an external magnetic field was exactly solved, but it showed the paramagnetic–ferromagnetic phase transition only at zero temperature [
1]. Later, Onsager found the exact solution of the spin-half Ising model on the square lattice in the absence of an external magnetic field, yielding the paramagnetic–ferromagnetic phase transition at a finite temperature and the logarithmic divergence of the specific heat at the transition temperature [
2]. Following the Onsager solution, the exact solutions of the spin-half Ising model on various two-dimensional lattices have been obtained in the absence of an external magnetic field [
3,
4]. Since then, the Ising model has played a central role in our understanding of diverse phase transitions [
5,
6,
7,
8]. The Ising model has been the starting point for the modern theory of phase transitions and critical phenomena [
6].
Yang and Lee introduced the idea of studying the zeros of the grand partition function in the complex fugacity (or magnetic field) plane to investigate the unsolved problem of the ferromagnetic Ising model in an external magnetic field [
9,
10]. They discovered the circle theorem that all Yang–Lee zeros of the ferromagnetic Ising model lie on the unit circle in the complex fugacity plane, independent of lattices and dimensions [
10]. Furthermore, as the interactions are varied, the motion of the Yang–Lee zeros of the ferromagnetic Ising model has been studied [
11,
12]. Similarly, Fisher introduced the concept of the partition function zeros in the complex temperature plane of the spin-half Ising model on the square lattice [
13]. Fisher showed that all Fisher zeros of the isotropic spin-half Ising model on the square lattice in the absence of an external magnetic field lie on two circles in the complex temperature plane, crossing the positive real axis at the ferromagnetic critical point and the antiferromagnetic critical point. Van Saarloos and Kurtze [
14] showed that the partition function zeros in the complex temperature plane of the anisotropic spin-half Ising model cover domains and do not lie on curves. Because the partition function zeros of a given physical system provide the information on its exact properties, the theory of partition function zeros has been applied to diverse fields of physics from particle physics to biophysics [
15,
16,
17,
18,
19,
20,
21,
22,
23,
24].
The spin-one Ising model in two dimensions has never been solved exactly in spite of its simplicity. Even its exact critical temperature is not known in two dimensions. Warnaar et al. [
25,
26] found that the solvable restricted solid-on-solid dilute
model is related to the two-dimensional critical spin-one Ising model in a magnetic field, and obtained the magnetic (or critical-isotherm) critical exponent
without the use of scaling relations. In this paper, we enumerate the exact integer values for the density of states of the spin-one Ising model on the
honeycomb lattice up to
(
Section 2). Using the density of states, we evaluate the precise distributions of the partition function zeros in the complex temperature plane of the spin-one Ising model on the
honeycomb lattices, and then we investigate the unknown properties of the spin-one Ising model on the honeycomb lattice (
Section 4). In
Section 3, we review briefly the partition function zeros in the complex temperature plane of the spin-half Ising model on the honeycomb lattice, whose properties are well known [
27,
28], to compare with those of the spin-one Ising model.
2. Density of States for the Spin-One Ising Model on the Honeycomb Lattice
The Hamiltonian of the spin-one Ising model on the honeycomb lattice with
sites and
bonds is defined by
where a magnetic spin
can take values
, 0, or
at each site
i,
J is the coupling constant between a nearest-neighbor spin pair
i and
j, and
is a sum over all nearest-neighbor pairs. If we define the density of states,
, with an energy index (
)
the partition function
of the spin-one Ising model (a sum over all
spin configurations) can be written as
where
and
. The variable
y is the so-called low-temperature variable [
6], confined to the interval
for ferromagnetic interaction
.
The exact enumeration method for evaluating the density of states
of the spin-half Ising model [
29,
30,
31,
32,
33,
34,
35] is generalized to obtain the exact integer values for
of the spin-one Ising model on the
honeycomb lattice (up to
) with
sites and
bonds, as shown in
Figure 1.
Table 1 shows the exact integer values for the density of states
of the spin-one Ising model on the
honeycomb lattice with
sites and
bonds. For
, classifying all
(≈7.179 ×
) states according to their energy values is an easy work. As shown in the table, the maximum density of states is
(≈5.372 ×
). For
, classifying all
(≈1.075 ×
) states according to their energy values is a difficult work. The maximum density of states for
is
which is approximately
.
The simplest enumeration method for evaluating the exact integer values of
is direct counting. Counting directly all
states of the spin-one Ising model is possible for smaller lattices, such as
, 4, and 5. Because the algorithm of direct counting is simple, it is the best method for smaller lattices. However, for larger lattices, we need a more efficient enumeration method because the total number of states grows exponentially as
increases. For some spin models, we can consider only two neighboring rows at a time. For two neighboring rows of the spin-one Ising model, the number of states is
, very small compared to
. Repeating the two-row
states
times along the
y-direction, we can evaluate efficiently the exact integer values of
for larger lattices. This kind of enumeration is called the method of microcanonical transfer matrix [
29], where the memory requirement is
byte for the spin-one Ising model (
). Here,
is the maximum size for storing very long integer numbers, such as Equation (
4). For the spin-one Ising model, because of
, we can reduce the memory requirement to
byte. For example, the memory requirement is
byte (≈385 kB) for
, whereas it is
byte (≈429 GB) for
. In addition, the memory requirement is
byte (≈1.706 TB) for
whose exact enumeration is possible but not practical at the moment.
3. Partition Function Zeros in the Complex Temperature Plane of the Spin-Half Ising Model
The free energy, the specific heat, and the magnetization of the spin-half Ising model on honeycomb lattice have been exactly known in the absence of an external magnetic field [
3,
4]. However, the exact susceptibility of the spin-half Ising model in two dimensions has never been known in the absence of an external magnetic field. The Hamiltonian of the spin-half Ising model on the honeycomb lattice with
sites and
bonds is given by
where
can take values
or
at each site
i. If we introduce an energy index (
)
the partition function of the spin-half Ising model (a sum over all
spin configurations) can be expressed as
The distribution of the partition function zeros in the complex temperature plane for the spin-half Ising model on the honeycomb lattice has also been exactly known [
27,
28].
Figure 2 shows the exact distribution of the partition function zeros in the complex temperature (
) plane of the spin-half Ising model on the honeycomb lattice. As shown in the figure, the partition function zeros in the complex
plane of the spin-half Ising model on the honeycomb lattice lie on the unit arc
ending at
and the heart-like closed loop, crossing the positive real axis at the ferromagnetic critical point
and the antiferromagnetic critical point
.
The properties of the partition function zeros in the complex temperature plane of the spin-half Ising model determine the behaviors of various thermodynamic functions, particularly their singular behaviors [
28]. Consequently, the information on the properties of the complex-temperature singularities is invaluable in searching the closed-form expressions for the unknown thermodynamic functions such as the susceptibility of the Ising model in two dimensions. The partition function zeros of the spin-half Ising model on the honeycomb lattice show an interesting complex-temperature singularity
(on the unit arc) whose critical exponents are
,
, and
(probably, 5/2) [
28]. The values of
and
are exactly obtained, and the value of
is approximately estimated from the low-temperature susceptibility series [
28]. These values imply
, different from the equality
at the critical point
. There is another interesting complex-temperature singularity
, corresponding to the end point of the unit arc in
Figure 2. The specific heat yields the critical exponent
at
[
28]. However, there is no exponent at
from the spontaneous magnetization.
4. Partition Function Zeros in the Complex Temperature Plane of the Spin-One Ising Model
The precise distributions of the partition function zeros
(
) in the complex temperature (
) plane of the spin-one Ising model can be obtained from the exact partition functions on the
honeycomb lattices:
where
A is a constant.
Figure 3 shows the partition function zeros in the complex
plane of the spin-one Ising model on the
honeycomb lattice for
and
. The number of the partition function zeros is 192 (=
) for
and 1120 for
, respectively.
As shown in the figure, there is the partition function zero
closest to the positive real axis. We expect that
crosses the positive real axis, in the limit
, at the ferromagnetic critical point
whose exact value is not known. Similarly, the partition function zero
crosses the positive real axis at the antiferromagnetic critical point.
Table 2 shows the partition function zero
, closest to the positive real axis, of the spin-one Ising model on the
honeycomb lattice for
5∼14. By using the Bulirsch–Stoer (BST) extrapolation method [
36,
37,
38], we obtain the extrapolated value
in the limit
. The error estimates of the BST extrapolated values are conveniently measured as twice the difference between the (
, 1) and the (
, 2) approximants; they are not statistical. The BST extrapolated value for the ferromagnetic critical point is in agreement with
estimated from the low-temperature series expansion [
39]. The critical point
(≈0.267949) of the spin-half Ising model on the honeycomb lattice is connected to the critical point
(≈0.577350) on the triangular lattice by means of the star–triangle relation [
3]:
It is an interesting question whether the star–triangle relation can be applied to the spin-one Ising model. By the star–triangle relation, the critical point
of the spin-one Ising model on the honeycomb lattice gives the value of
. However, this value is in disagreement with
estimated from the low-temperature series expansion [
39].
The imaginary part
of the partition function zero
vanishes, in the limit
, following the finite-size scaling [
40]:
where
is the thermal scaling exponent, determining the correlation-length critical exponent
and the specific-heat critical exponent
. From Equation (
10), we can calculate the effective thermal scaling exponent
for the spin-one Ising model on the
honeycomb lattice. The third column of
Table 2 shows the values of the effective thermal scaling exponent
. The BST extrapolated value for the thermal scaling exponent of the spin-one Ising model on the honeycomb lattice is
, implying
.
Figure 3 shows the partition function zero
on the real axis of the spin-one Ising model on the honeycomb lattice, somewhat similar to the complex-temperature singularity
on the unit arc of the spin-half Ising model. In the figure, the values of
of the spin-one Ising model are
for
and
for
, respectively. Also, the partition function zeros
appear in the figure such as
for
and
for
. Without loss of generality, we deal only with the partition function zeros on the unit disk
. The BST extrapolated value for the partition function zero
of the spin-one Ising model is
. Fox and Guttmann [
39] obtained the singularity
, closer to the origin than the ferromagnetic critical point
, in the low-temperature series expansion for the spin-one Ising model on the honeycomb lattice. The BST extrapolated value for
is in agreement with the location of the singularity in the low-temperature series expansion.
The critical exponents,
,
, and
, associated with the complex-temperature singularity
can be defined in the usual way:
and
where
C,
, and
are the specific heat, the spontaneous magnetization, and the susceptibility, respectively. To investigate the unknown properties of the critical exponent at the complex-temperature singularity
, we use the low-temperature series expansion for the spin-one Ising model on the honeycomb lattice [
39]. We estimate the values of
,
, and
by using Dlog Padé approximants [
41] to the specific heat, the spontaneous magnetization, and the susceptibility. The
Padé approximant to a function
is the quotient of two polynomials
and
of degree
N and
D, respectively.
Table 3 shows the values of
and
estimated from
Dlog Padé approximants to the spontaneous magnetization of the spin-one Ising model on the honeycomb lattice. The average values for
and
in the table are
and
, respectively. Similarly, Dlog Padé approximants to the specific heat and the susceptibility yield
and
and
and
, respectively. That is, the denominators of the unknown thermodynamic functions of the spin-one Ising model on the honeycomb lattice should include the terms proportional to
where
is
for the specific heat,
for the spontaneous magnetization, and
for the susceptibility, respectively. For example, the divergence at
is the inherent property of the unknown spontaneous magnetization. These values of the critical exponents at the complex-temperature singularity
give
, probably satisfying the equality
at the ferromagnetic critical point
. The estimated values of
,
, and
for the spin-one Ising model on the honeycomb lattice are rough but different from
,
, and
for the spin-half Ising model. Rather, the values of the critical exponents
,
, and
for the spin-one Ising model on the honeycomb lattice are similar to the conjectured values
,
, and
at the Fisher edge singularity of the
Q-state Potts model in two dimensions [
42]. The physical critical point of the
Q-state Potts model disappears in a positive magnetic field, whereas the Fisher edge singularity appears in the complex temperature plane.
Figure 3 shows an interesting partition function zero
of the spin-one Ising model on the honeycomb lattice whose BST estimated value is
.
Table 4 shows the values of
and
estimated from
Dlog Padé approximants to the specific heat of the spin-one Ising model on the honeycomb lattice. The average values for
and
in the table are
and
, respectively. There is no exponent at
from the spontaneous magnetization of the spin-one Ising model. This situation is similar to that of the spin-half Ising model at the complex-temperature singularity
.
In the figure, there is another interesting partition function zero
of the spin-one Ising model on the honeycomb lattice, lying on the unit circle
. The values of
and
of the spin-one Ising model are
and
for
and
and
for
, respectively. The BST extrapolated values are
and
. These values for the spin-one Ising model on the honeycomb lattice are not distant from the complex-temperature singularity
and
for the spin-half Ising model. Unfortunately, the low-temperature series expansion for the spin-one Ising model on the honeycomb lattice gives no information on the properties of
. Instead, we assume a plausible finite-size scaling
where
is the thermal scaling exponent at
. Then, imitating Equation (
11), we obtain the BST extrapolated value of
. Again assuming
, we reach the value of
. Interestingly, the value of
at
for the spin-one Ising model on the honeycomb lattice is not far from
at the complex-temperature singularity
for the spin-half Ising model.
5. Conclusions
The exact integer values for the density of states of the spin-one Ising model on the honeycomb lattice with sites and bonds () are enumerated up to . Therefore, the exact partition function of the spin-one Ising model can be constructed as a polynomial in the low-temperature variable . Then, the precise distributions of the partition function zeros () in the complex temperature () plane of the spin-one Ising model are evaluated from the exact partition functions on the honeycomb lattices. The various properties of the spin-one Ising model on the honeycomb lattice are investigated, based on its partition function zeros in the complex y plane.
We obtain the ferromagnetic critical point of the spin-one Ising model on the honeycomb lattice, in agreement with the previous estimate by the low-temperature series expansion. The value of corresponds to the antiferromagnetic critical point. At , we obtain the thermal scaling exponent , implying the critical exponents and , as expected. Also, we obtain the complex-temperature singularity where the specific heat, the spontaneous magnetization, and the susceptibility of the spin-one Ising model on the honeycomb lattice diverge with the critical exponents , , and , probably satisfying the equality . Those are somewhat different from the properties of the complex-temperature singularity of the spin-half Ising model on the honeycomb lattice with , , and , implying . In addition, for the spin-one Ising model on the honeycomb lattice, we notice other interesting partition function zeros with and (on the unit circle) with .