---
abstract: 'In our previous paper \[H. K., J. Stat. Mech. (2015) P08020\], we investigated an interacting-particle model with infinite-range cosine potentials, and derived the partition function which shows solid-fluid phase transition by exact calculation. However, we could treat only simple lattice structures in which more than one stable point exist in a primitive cell such as the triangular or face-centered cubic lattice. In the present paper, we generalize our previous scheme to more complicated lattice structures with two particles in a primitive cell. Generalization to more complicated lattice structures is straightforward.'
address: ' Graduate school of Arts and Sciences, The University of Tokyo, 3-8-1 Komaba, Meguro-ku, Tokyo 153-8902, Japan [^1] '
author:
- Hisato Komatsu
title: 'Generalization of exactly-solvable model to exhibit solid-fluid phase transition in crystal structures with two particles in a primitive cell'
---

Introduction \[intro\]
======================

Theoretical understanding of solid-fluid phase transitions from microscopic Hamiltonians is one of the fundamental problems of the condensed matter physics and statistical physics, and numerous theoretical investigations have been attempted so far @LJD [@MOI; @KirMon; @RY; @CA; @DA; @CL]. However, derivation of the thermodynamic quantities which shows phase transition by exact calculation has been quite limited @FP [@CF; @KH]. For example, Carmesin and Fan @CF studied a one-dimensional model of interacting particles with a cosine and hard-core potentials, but their scheme to treat the hard-core potential was difficult to generalize to higher dimensions.

In our previous paper @KH, we treated $d$-dimensional classical particles interacting with each other with cosine potentials, and proved the existence of the solid-fluid phase transition by exact calculation of the partition function similarly to that of @CF. We studied simple crystal structures containing one position for each particle in a primitive cell, such as the triangular, face-centered cubic (fcc), or body-centered cubic (bcc) lattices. However, such a scheme could not be applied to the models with more complicated crystal structures which has more than one position in a primitive cell. Previous theoretical approaches to the solid-fluid phase transition by investigating order parameters, such as the density functional theory, also faced this problem, and some trials overcame it. For example, Yussouff included the above effect by taking large reciprocal lattice vectors into account @Yussouff.

In the present paper, we introduce the models of binary mixture whose solid phase includes two positions for particles in a primitive cell. Specifically, we consider a model containing two types of particles and each one forms a sublattice of the crystal. For example, the hexagonal lattice is composed of two sublattices of triangular lattices (figure \[hl\_illust\]), the NaCl-type and sphalerite-type crystals of two fcc lattices (figures \[crys\_illust\](a) and \[crys\_illust\](b)), and the CsCl-type crystal of two three-dimensional simple cubic lattices (figure \[crys\_illust\](c)).

The outline of the present article is as follows: We introduce the models in section \[models\], calculate the partition function and order parameter in section \[calculation\], examine the temperature dependence of the order parameter in section \[numerical\], and discuss the prospect of this study in section \[discussion\]. Summary is given in section \[summary\].

Models \[models\]
=================

In the present article, we consider a binary mixture composed of two types of particles called A and B, and the Hamiltonian is given by $$\begin{aligned}
 H_{ \left\{ \vector{k}_{\alpha} \right\} } & = & \sum _{i} \frac{\vector{p}_i ^2}{2m_A} +  \sum _{I} \frac{\vector{p}_I ^2}{2m_B} 
 - \frac{J_{AA} }{N} \sum _{\alpha }  \sum _{i,j} \cos \vector{k}_{\alpha } \cdot ( \vector{x}_i - \vector{x}_j ) \nonumber \\ & & - \frac{J_{AB} }{N} \sum _{\alpha }  \sum _{i,J} \cos \vector{k}_{\alpha } \cdot ( \vector{x}_i - \vector{x}_J + \vector{\phi} ) - \frac{J_{BB} }{N} \sum _{\alpha }  \sum _{I,J} \cos \vector{k}_{\alpha } \cdot ( \vector{x}_I - \vector{x}_J ) \nonumber \\
& &- \sum _{\alpha } h_{A \alpha} \sum _i \cos \vector{k}_{\alpha } \cdot \vector{x}_i - \sum _{\alpha } h_{B \alpha} \sum _I \cos \vector{k}_{\alpha } \cdot \left( \vector{x}_I- \vector{\phi} \right) ,
 \label{Hamiltonian1}\end{aligned}$$ where the lower-case suffix ($i, j$) and upper-case one ($I, J$) represents particles A and B, respectively. Furthermore, $\vector{\phi}$ is a constant vector which gives the distance between particles A and B in the perfect crystal (see figure \[hl\_illust\]), and $\left\{ \vector{k}_{\alpha } \right\}$ is the set of smallest reciprocal lattice vectors of the crystal structure under consideration. A pair of reciprocal lattice vectors $\pm \vector{k}_{\alpha } $ are regarded as one vector as in our previous study. The number of particles A and B are represented by $N_A$ and $N_B$, and the number of whole particles by $N = N_A + N_B$. The weak positive external field $h_{A \alpha} $ and $h_{B \alpha} $ are introduced in order to treat the symmetry breaking by Bogoliubov quasi-average robinsonmichael@example.org. For simplicity, we assume that the coupling constants $J_{AA}$, $J_{BB}$ and $J_{AB}$ have the positive value.

Each particle forms a sublattice of the crystal. For example, in order to construct the hexagonal lattice, we consider the model in which each type of particles form the triangular lattice, namely the sublattice of the hexagonal one. Next, we introduce the interaction between different types of particles so that the distance between two sublattices coincides with the crystal realized in the solid phase of the original model as shown in figure \[hl\_illust\]. Here we adopt the sublattice structures in which one position is allocated for one primitive cell and the reciprocal lattice spaces are spanned by the smallest reciprocal lattice vectors @KH. Note that the crystal structures depend on the choice of $\left\{ \vector{k}_{\alpha } \right\}$; when we choose one set of $\left\{ \vector{k}_{\alpha } \right\}$, only one corresponding structure is stabilized.

To express the following calculation simply, we put $\vector{x} ' _I \equiv \vector{x}_I - \vector{\phi}$, as new $\vector{x} _I$ and delete $\vector{\phi}$ from  (\[Hamiltonian1\]) as $$\begin{aligned}
 H_{ \left\{ \vector{k}_{\alpha} \right\} } & = & \sum _{i} \frac{\vector{p}_i ^2}{2m_A} +  \sum _{I} \frac{\vector{p}_I ^2}{2m_B} 
 - \frac{J_{AA} }{N} \sum _{\alpha }  \sum _{i,j} \cos \vector{k}_{\alpha } \cdot ( \vector{x}_i - \vector{x}_j ) \nonumber \\ & & - \frac{J_{AB} }{N} \sum _{\alpha }  \sum _{i,J} \cos \vector{k}_{\alpha } \cdot ( \vector{x}_i - \vector{x}_J) - \frac{J_{BB} }{N} \sum _{\alpha }  \sum _{I,J} \cos \vector{k}_{\alpha } \cdot ( \vector{x}_I - \vector{x}_J ) \nonumber \\
& &- \sum _{\alpha } h_{A \alpha} \sum _i \cos \vector{k}_{\alpha } \cdot \vector{x}_i - \sum _{\alpha } h_{B \alpha} \sum _I \cos \vector{k}_{\alpha } \cdot \vector{x}_I.
 \label{Hamiltonian1.5}\end{aligned}$$ Note that this transformed Hamiltonian depends only on the form of sublattice, hence the behavior of thermodynamic quantities of NaCl-type and sphalerite-type crystals are the same under this model.

Calculation of the partition function \[calculation\]
=====================================================

In the present section, we calculate partition function of the model: $$\begin{aligned}
Z_{ \left\{ \vector{k}_{\alpha} \right\} } & \equiv & \frac{1}{h^{d(N_A +N_B)} N_A ! N_B !} \int  _{\Omega } \prod _i d \vector{x} _i  \int \prod _i d \vector{p} _i \exp \left( - \beta  H_{ \left\{ \vector{k}_{\alpha} \right\} } \right) \nonumber \\
 & = & \frac{1}{\Lambda _A ^{dN_A} \Lambda _B ^{dN_B} N_A ! N_B !} \int  _{\Omega } \prod _i d \vector{x} _i  \cdot \nonumber \\ 
& & \exp \left( \frac{\beta J_{AA}}{N} \sum _{\alpha } \sum _{i,j} \cos \vector{k} _{\alpha } \cdot ( \vector{x} _i - \vector{x} _j ) \right. \nonumber \\ 
& & \hspace{10mm} + \frac{\beta J_{AB}}{N} \sum _{\alpha } \sum _{i,J} \cos \vector{k} _{\alpha } \cdot ( \vector{x} _i - \vector{x} _J ) + \frac{\beta J_{BB}}{N} \sum _{\alpha } \sum _{I,J} \cos \vector{k} _{\alpha } \cdot ( \vector{x} _I - \vector{x} _J ) \nonumber \\
& & \hspace{10mm} \left. + \beta  \sum _{\alpha } h _{A \alpha } \sum _i \cos \vector{k} _{\alpha } \cdot \vector{x} _i + \beta \sum _{\alpha } h _{B \alpha } \sum _I \cos \vector{k} _{\alpha } \cdot \vector{x} _I \right)
\label{Z0}\end{aligned}$$ $$\begin{aligned}
\mathrm{with} \ \ \frac{1}{\Lambda _A} = \frac{1}{h} \sqrt{\frac{2 \pi m_A}{\beta }} , \ \ \frac{1}{\Lambda _B} = \frac{1}{h} \sqrt{\frac{2 \pi m_B}{\beta }} .\end{aligned}$$ First, cosine potentials are transformed to one-body potentials with auxiliary variables by Hubbard-Stratonovich transformation: $$\begin{aligned}
& & \exp \left( \frac{\beta J_{AA}}{N} \sum _{\alpha } \sum _{i,j} \cos \vector{k} _{\alpha } \cdot ( \vector{x} _i - \vector{x} _j ) + \cdots \right) \nonumber \\
%& & \left. + \frac{\beta J_{AB}}{N} \sum _{\alpha } \sum _{i,J} \cos \vector{k} _{\alpha } \cdot ( \vector{x} _i - \vector{x} _J ) + \frac{\beta J_{BB}}{N} \sum _{\alpha } \sum _{I,J} \cos \vector{k} _{\alpha } \cdot ( \vector{x} _I - \vector{x} _J ) \right. \nonumber \\
%& & \left. + \beta  \sum _{\alpha } h _{A \alpha } \sum _i \cos \vector{k} _{\alpha } \cdot \vector{x} _i + \beta \sum _{\alpha } h _{B \alpha } \sum _I \cos \vector{k} _{\alpha } \cdot \vector{x} _I \right) \nonumber \\
& = & \exp \left[ \sum _{\alpha } \left\{ \frac{\beta J_{AA}}{N} \left( \sum _i \cos \vector{k} _{\alpha } \cdot \vector{x} _i \right) ^2 + \frac{\beta J_{AA}}{N} \left( \sum _i \sin \vector{k} _{\alpha } \cdot \vector{x} _i \right) ^2 \right. \right. \nonumber \\
& & \hspace{15mm} + \frac{\beta J_{AB}}{N} \left( \sum _i \cos \vector{k} _{\alpha } \cdot \vector{x} _i \right) \cdot \left( \sum _I \cos \vector{k} _{\alpha } \cdot \vector{x} _I \right) \nonumber \\
& & \hspace{15mm} + \frac{\beta J_{AB}}{N} \left( \sum _i \sin \vector{k} _{\alpha } \cdot \vector{x} _i \right) \cdot \left( \sum _I \sin \vector{k} _{\alpha } \cdot \vector{x} _I \right) \nonumber \\
& & \hspace{15mm} + \frac{\beta J_{BB}}{N} \left( \sum _I \cos \vector{k} _{\alpha } \cdot \vector{x} _I \right) ^2 + \frac{\beta J_{BB}}{N} \left( \sum _I \sin \vector{k} _{\alpha } \cdot \vector{x} _I \right) ^2 \nonumber \\
& & \hspace{15mm} + \left. \left. \beta  \sum _{\alpha } h _{A \alpha } \sum _i \cos \vector{k} _{\alpha } \cdot \vector{x} _i + \beta \sum _{\alpha } h _{B \alpha } \sum _I \cos \vector{k} _{\alpha } \cdot \vector{x} _I  \right\} \right] \nonumber \\
& = & \int \prod _{\alpha } \left\{ \left( \frac{\beta N}{\pi} \right) ^4 J_{AA} J_{AB} ^2 J_{BB} dq_{Ac \alpha } dq_{As \alpha } dq_{Bc \alpha } dq_{Bs \alpha } dz_{Rc \alpha} dz_{Ic \alpha} dz_{Rs \alpha} dz_{Is \alpha} \right\} \nonumber \\
& & \cdot \exp \left[ \sum _{\alpha } \left\{ - \beta J_{AA} N ( q _{Ac \alpha } ^2 +q _{As \alpha } ^2 ) - \beta J_{BB} N ( q _{Bc \alpha } ^2 +q _{Bs \alpha } ^2 ) - \beta J_{AB} N ( | z _{c \alpha } | ^2 +| z _{s \alpha } | ^2 ) \right. \right. \nonumber \\
 & & \hspace{16mm}  + \beta ( 2 J_{AA} q_{Ac \alpha } + J_{AB} z_{c \alpha} + h_{\alpha }) \sum _i \cos \vector{k} _{\alpha } \cdot \vector{x} _i  \nonumber \\
& & \hspace{16mm}  + \beta ( 2 J_{BB} q_{Bc \alpha } + J_{AB} \bar{z} _{c \alpha} + h_{\alpha }) \sum _I \cos \vector{k} _{\alpha } \cdot \vector{x} _I \nonumber \\
 & &  \hspace{16mm}  + \beta ( 2 J_{AA} q_{As \alpha } + J_{AB} z_{s \alpha}) \sum _i \sin \vector{k} _{\alpha } \cdot \vector{x} _i \nonumber \\
 & &  \hspace{16mm} + \left. \left.  \beta ( 2 J_{BB} q_{Bs \alpha } + J_{AB} \bar{z} _{s \alpha} ) \sum _I \sin \vector{k} _{\alpha } \cdot \vector{x} _I \right\} \right],\end{aligned}$$ $$\mathrm{with} \ \ z_{c \alpha} = z_{Rc \alpha}+ iz_{Ic \alpha}, \ \ z_{s \alpha} = z_{Rs \alpha} + iz_{Is \alpha}.$$ Using the saddle-point method to these auxiliary variables, the partition function is written as $$\begin{aligned}
Z_{ \left\{ \vector{k}_{\alpha} \right\} } 
& \simeq & \frac{1}{\Lambda _A ^{dN_A} \Lambda _B ^{dN_B} N_A ! N_B !} \cdot \sum _{\vector{q}, \vector{z}:\mathrm{saddle \ points} } \cdot  \nonumber \\ 
 & & \left[ \exp \left\{  - \beta N \sum _{\alpha} \left\{ J_{AA} (q _{Ac \alpha} ^2 + q _{As \alpha} ^2 )  + J_{BB} ( q _{Bc \alpha } ^2 +q _{Bs \alpha } ^2 ) + J_{AB} ( | z _{c \alpha } | ^2 +| z _{s \alpha } | ^2 )  \right\} \right\} \right. \nonumber \\ 
& & \cdot \left[ \int _{\Omega } d \vector{x} \cdot \exp \left\{ \sum _{\alpha } \left\{ \beta ( 2 J_{AA} q_{Ac \alpha } + J_{AB} z_{c \alpha} + h_{A \alpha }) \cos \vector{k} _{\alpha } \cdot \vector{x} \ \right. \right. \right. \nonumber \\
 & &  \hspace{30mm} \Biggl. \Biggl. \left. + \beta ( 2 J_{AA} q_{As \alpha } + J_{AB} z_{s \alpha}) \sin \vector{k} _{\alpha } \cdot \vector{x}  \right\} \Biggr\} \Biggr] ^{N_A}  \nonumber \\
& & \left. \cdot
\left[ \int _{\Omega } d \vector{x} \cdot \exp \left\{ \sum _{\alpha } \left\{ \beta ( 2 J_{BB} q_{Bc \alpha } + J_{AB} \bar{z} _{c \alpha} + h_{B \alpha }) \cos \vector{k} _{\alpha } \cdot \vector{x} \right. \right. \right. \right. \nonumber \\
 & &  \hspace{30mm} \Biggl. \Biggl. \Biggl. \left. + \beta ( 2 J_{BB} q_{Bs \alpha } + J_{AB} \bar{z} _{s \alpha} ) \sin \vector{k} _{\alpha } \cdot \vector{x}  \right\} \Biggr\} \Biggr] ^{N_B} \Biggr]  .  
\label{Z1}\end{aligned}$$ Here the summation is taken over the saddle points of the function inside of the outer square bracket reinterpreted as the complex function of $8 n_{\alpha}$ complex variables, $q _{Ac \alpha}$, $q _{As \alpha}$,$\ldots$, $z_{Ic \alpha}$ and $z_{Is \alpha}$. This equation becomes exact in the limit of $N \rightarrow \infty$, in which contribution of the points other than the saddle points are ignorable.

We define $ V_{\mathrm{p}}$ and $ \Phi _{\mathrm{p}}$ as the integrals over a primitive cell @KH: $$\begin{aligned}
 \Phi _{\mathrm{p} } \left( \left\{ r_{\alpha} \right\}, \left\{ r' _{\alpha} \right\}, \left\{ \vector{k}_{\alpha} \right\}  \right) & \equiv & \int _{\mathrm{primitive \ cell} } d \vector{x}  \cdot \exp \left\{ \sum _{\alpha } \left( \beta r_{\alpha } \cos \vector{k} _{\alpha } \cdot \vector{x} + \beta r '_{\alpha } \sin \vector{k} _{\alpha } \cdot \vector{x} \right) \right\} \label{Kpr} , \\
 V_{\mathrm{p} }& \equiv & \int _{\mathrm{primitive \ cell} } d \vector{x}  \cdot 1 \label{Vpr} ,\end{aligned}$$ and $\exp f \left( \vector{q} , \vector{z} \right) $ as $$\begin{aligned}
& & \exp f \left(  \vector{q} , \vector{z}  \right)  \nonumber \\
 & \equiv & \exp \left\{ - \beta N \sum _{\alpha} \left( J_{AA} (q _{Ac \alpha} ^2 + q _{As \alpha} ^2 )  + J_{BB} ( q _{Bc \alpha } ^2 +q _{Bs \alpha } ^2 ) + J_{AB} ( | z _{c \alpha } | ^2 +| z _{s \alpha } | ^2 ) \right) \right\}  \nonumber \\ 
 & &  \left. \left. \cdot  \Phi _{\mathrm{p} } \left( \left\{  2 J_{AA} q_{Ac \alpha } + J_{AB} z_{c \alpha} + h_{A \alpha } \right\}, \left\{  2 J_{AA} q_{As \alpha } + J_{AB} z_{s \alpha} \right\}, \left\{ \vector{k}_{\alpha} \right\} \right) ^{N_A} \right. \right. \nonumber \\
 & & \hspace{1.5mm} \Biggl. \cdot \Phi _{\mathrm{p} } \left( \left\{ 2 J_{BB} q_{Bc \alpha } + J_{AB} \bar{z}_{c \alpha} + h_{B \alpha } \right\}, \left\{  2 J_{BB} q_{Bs \alpha } + J_{AB} \bar{z}_{s \alpha} \right\}, \left\{ \vector{k}_{\alpha} \right\} \right) ^{N_B} \label{fpr} .\end{aligned}$$ Using the periodicity of the integrands, the partition function is given by $$\begin{aligned}
Z_{ \left\{ \vector{k}_{\alpha} \right\} } & \simeq & \frac{1}{\Lambda _A ^{dN_A} \Lambda _B ^{dN_B} N_A ! N_B !} \left( \frac{V}{V_p} \right) ^N  \sum _{\vector{q}, \vector{z}:\mathrm{saddle \ point} } \exp f \left(  \vector{q} , \vector{z}  \right)   \nonumber \\
 & \simeq & \frac{1}{\Lambda _A ^{dN_A} \Lambda _B ^{dN_B} N_A ! N_B !} \left( \frac{V}{V_p} \right) ^N \cdot \exp f \left( \vector{q_0}, \vector{z_0} \right)  . \nonumber \\
\label{Z1.5}\end{aligned}$$ Here the set of complex variables $( \vector{q_0}, \vector{z_0} )$ means the saddle point which gives the largest $\left| \exp f \right|$ among all saddle points. Contribution of other saddle points is ignorable when $N$ is large.

The saddle-point condition is expressed as the following four self-consistent equations: $$\begin{aligned}
& & \frac{\partial f}{\partial q_{Ac \alpha}} = 0 \nonumber \\
 & \Leftrightarrow & \ \ 2 \beta N q_{Ac \alpha} \nonumber \\
&  & = 2 N_A \left. \frac{\partial}{\partial r_{\alpha}} \log \Phi _{\mathrm{p} } \left( \left\{ r_{\alpha} \right\},  \left\{ r'_{\alpha} \right\} , \left\{ \vector{k}_{\alpha} \right\}  \right) \right| _{r_{\alpha} =  2 J_{AA} q_{Ac \alpha } + J_{AB} z_{c \alpha} + h_{A \alpha }, r' _{\alpha} =  2 J_{AA} q_{As \alpha } + J_{AB} z_{s \alpha}} \label{SC1} \\
& & \frac{\partial f}{\partial q_{Bc \alpha}} = 0 \nonumber \\
 & \Leftrightarrow & \ \ 2 \beta N q_{Bc \alpha} \nonumber \\
 &  & = 2 N_B \left. \frac{\partial}{\partial r_{\alpha}} \log \Phi _{\mathrm{p} } \left( \left\{ r_{\alpha} \right\} , \left\{ r'_{\alpha} \right\}, \left\{ \vector{k}_{\alpha} \right\}  \right) \right| _{r_{\alpha} =  2 J_{BB} q_{Bc \alpha } + J_{AB} \bar{z}_{c \alpha} + h_{B \alpha },r'_{\alpha} =  2 J_{BB} q_{Bs \alpha } + J_{AB} \bar{z}_{s \alpha}} \label{SC2} \end{aligned}$$ $$\begin{aligned}
& & \frac{\partial f}{\partial z_{Rc \alpha}} = 0 \nonumber \\
& \Leftrightarrow & \ \ 2 \beta N z_{Rc \alpha} \nonumber \\
 & \ & =  N_A \left. \frac{\partial}{\partial r_{\alpha}} \log \Phi _{\mathrm{p} } \left( \left\{ r_{\alpha} \right\}, \left\{ r'_{\alpha} \right\} , \left\{ \vector{k}_{\alpha} \right\}  \right) \right| _{r_{\alpha} =  2 J_{AA} q_{Ac \alpha } + J_{AB} z_{c \alpha} + h_{A \alpha }, r' _{\alpha} =  2 J_{AA} q_{As \alpha } + J_{AB} z_{s \alpha}} \nonumber \\
 & \ & \hspace{3mm} + N_B \left. \frac{\partial}{\partial r_{\alpha}} \log \Phi _{\mathrm{p} } \left( \left\{ r_{\alpha} \right\}, \left\{ r'_{\alpha} \right\} , \left\{ \vector{k}_{\alpha} \right\}  \right) \right| _{r_{\alpha} =  2 J_{BB} q_{Bc \alpha } + J_{AB} \bar{z}_{c \alpha} + h_{B \alpha },r'_{\alpha} =  2 J_{BB} q_{Bs \alpha } + J_{AB} \bar{z}_{s \alpha}} \label{SC3} \\
& & \frac{\partial f}{\partial z_{Ic \alpha}} = 0 \nonumber \\
& \Leftrightarrow & \ \ 2 \beta N z_{Ic \alpha} \nonumber \\ 
& \ & =  iN_A \left. \frac{\partial}{\partial r_{\alpha}} \log \Phi _{\mathrm{p} } \left( \left\{ r_{\alpha} \right\}, \left\{ r'_{\alpha} \right\} , \left\{ \vector{k}_{\alpha} \right\}  \right) \right| _{r_{\alpha} =  2 J_{AA} q_{Ac \alpha } + J_{AB} z_{c \alpha} + h_{A \alpha }, r' _{\alpha} =  2 J_{AA} q_{As \alpha } + J_{AB} z_{s \alpha}} \nonumber \\
 & \ & \hspace{3mm} - iN_B \left. \frac{\partial}{\partial r_{\alpha}} \log \Phi _{\mathrm{p} } \left( \left\{ r_{\alpha} \right\}, \left\{ r'_{\alpha} \right\} , \left\{ \vector{k}_{\alpha} \right\}  \right) \right| _{r_{\alpha} =  2 J_{BB} q_{Bc \alpha } + J_{AB} \bar{z}_{c \alpha} + h_{B \alpha },r'_{\alpha} =  2 J_{BB} q_{Bs \alpha } + J_{AB} \bar{z}_{s \alpha}} \label{SC4} \end{aligned}$$ From these equations, we obtain $$z_{Rc \alpha} = \frac{q_{Ac \alpha } + q_{Bc \alpha } }{2} , \ \mathrm{and} \ \ z_{Ic \alpha} = i \cdot \frac{q_{Ac \alpha } - q_{Bc \alpha } }{2} , \label{SC3.5}$$ i.e. $z_{c \alpha} = q_{Bc \alpha }$, and $\bar{z}_{c \alpha} = q_{Ac \alpha }$. Similar relations also exist in terms of $z_{s \alpha}$ and $\bar{z}_{s \alpha}$. Namely, the following relations exist between the variables appeared in (\[Z1.5\]): $$\begin{aligned}
z_{c \alpha} =q_{0Bc \alpha }, z_{s \alpha} =q_{0Bs \alpha }, \bar{z} _{c \alpha } = q_{0Ac \alpha }, \ \mathrm{and} \ \bar{z} _{s \alpha } = q_{0As \alpha }  .
\label{Z2} \end{aligned}$$ Here, $q_{0A \alpha}$ and $q_{0B \alpha}$ are given as solutions of self-consistent equations (\[SC1\]) and (\[SC2\]). The order parameters of this system are given by the following two equations: $$\begin{aligned}
 \left< \rho _{\vector{k} _{A \alpha} } \right> & \equiv & \left< \frac{1}{N} \sum _{i} \cos \vector{k} _{\alpha} \cdot \vector{x} _i  \right> = \left. \frac{1}{\beta N} \frac{\partial}{\partial h_{A \alpha}} \log Z \right| _{ h_{\alpha} \rightarrow +0} \nonumber \\
 \left< \rho _{\vector{k} _{B \alpha} } \right> & \equiv & \left< \frac{1}{N} \sum _{I} \cos \vector{k} _{\alpha} \cdot \vector{x} _I  \right> = \left. \frac{1}{\beta N} \frac{\partial}{\partial h_{B \alpha}} \log Z \right| _{ h_{\alpha} \rightarrow +0} . \label{op1} \end{aligned}$$ Calculating the right-hand side of (\[op1\]) using the self-consistent equations, we find that these parameters coincide with the auxiliary variables $$\begin{aligned}
\left< \rho _{\vector{k} _{A \alpha} } \right> & = & \lim _{ h_{A \alpha} , h_{B \alpha} \rightarrow +0 }  \frac{N_A}{\beta N} \cdot \nonumber \\ & & \left. \frac{\partial}{\partial r_{\alpha}} \log \Phi _{\mathrm{p} } \left( \left\{ r_{\alpha} \right\} , \left\{ r'_{\alpha} \right\} , \left\{ \vector{k}_{\alpha} \right\}  \right) \right| _{r_{\alpha} =  2 J_{AA} q_{0Ac \alpha } + J_{AB} q_{0Bc \alpha} + h_{A \alpha }, r'_{\alpha} =  2 J_{AA} q_{0As \alpha } + J_{AB} q_{0Bs \alpha} } \nonumber \\
& = & \lim _{ h_{A \alpha} , h_{B \alpha} \rightarrow +0}  q_{0Ac \alpha } \ , \nonumber \\
 \left< \rho _{\vector{k} _{B \alpha} } \right> & = & \lim _{ h_{A \alpha} , h_{B \alpha} \rightarrow +0}  q_{0Bc \alpha } \ . \label{op2} \end{aligned}$$ Similarly, we obtain $$\begin{aligned}
 \left< \frac{1}{N} \sum _{i} \sin \vector{k} _{\alpha} \cdot \vector{x} _i  \right>  =   q_{0As \alpha } , \ \mathrm{and} \ \ \left< \frac{1}{N} \sum _{I} \sin \vector{k} _{\alpha} \cdot \vector{x} _I  \right> = q_{0Bs \alpha }  . \label{op_sin} \end{aligned}$$ However, these variables are zero because of the existence of external field $h_{A \alpha}$ and $ h_{B \alpha}$ @KH. Note that we define the solid phase as the state in which $\left< \right. \rho _{\vector{k} _{A \alpha} } \left. \right> $ or $\left< \right. \rho _{\vector{k} _{B \alpha} } \left. \right> $ takes a nonzero value. Such definition, first introduced by Kirkwood and Monroe @KirMon and Vlasov @Bazarov is useful when we regard the solid-fluid phase transition as the breaking of continuous translational symmetry, although there is an alternative definition of the solid phase by the existence of the shear modulus @MBorn.

At the end of this section, we prove that the transition points for two order parameters $\left< \right. \rho _{\vector{k} _{A \alpha} } \left. \right> $ and $\left< \right. \rho _{\vector{k} _{B \alpha} } \left. \right> $, or the temperatures at which they change from zero to nonzero, coincide unless $J_{AB}=0$ in the limit of $ h_{A \alpha}, h_{B\alpha} \rightarrow +0$. We assume the existence of the state where one of these two parameter is nonzero, and the other is zero, and derive the contradiction. In this discussion, we can let particle A has the nonzero order parameter, i.e. $q _{A \alpha} > 0 $, and $ q _{B \alpha} = 0$, without losing generality. Equation (\[SC2\]) is expressed as $$0 = \left. \frac{\partial}{\partial r_{\alpha}} \log \Phi _{\mathrm{p} } \left( \left\{ r_{\alpha} \right\} , \left\{ 0 \right\} , \left\{ \vector{k}_{\alpha} \right\}  \right) \right| _{r_{\alpha} =  J_{AB} q_{A \alpha} } \label{SC2_B0}$$ under this assumption. According to the power series expansion of $\Phi _{\mathrm{p}}$, however, the coefficient for each power of $r _{\alpha}$ has positive value. (See section 4 of @KH.) Hence, the right-hand side of (\[SC2\_B0\]) should be positive, and it contradicts the assumption. We conclude from this fact that $q _{A \alpha} $ and $ q _{B \alpha}$ simultaneously change from zero to nonzero.

Behavior of the order parameter \[numerical\]
=============================================

In this section, the temperature dependence of the order parameters $\left< \right. \rho _{\vector{k} _{A \alpha} } \left. \right> $ and $\left< \right. \rho _{\vector{k} _{B \alpha} } \left. \right> $ is calculated by evaluating (\[Z1.5\]) numerically. This partition function is independent of $k$, or the length of $\vector{k}_{\alpha}$ @KH. Hence we let $k=1$, and also assume that the values of $\left< \right. \rho _{\vector{k} _{A \alpha} } \left. \right> $ and $\left< \right. \rho _{\vector{k} _{B \alpha} } \left. \right> $ are given independently of $\alpha$ as $q_A$ and $q_B$. We investigate hexagonal lattice, NaCl-type (or sphalerite-type), and CsCl-type crystal for the two set of parameters with $J_{AA}=J_{BB}=J_{AB}=4/3$, and $J_{AA}=2, J_{BB}=2/3, J_{AB}=4/3$. The number of the particles for each sublattice is set to be equal: $N_A = N_B$. The results are shown in figures \[F\_HL\]–\[F\_CsCl\].

In these figures, $q _{A \alpha} $ and $ q _{B \alpha}$ changes from zero to nonzero at the same temperature, which is consistent with our argument in the previous section. If $J_{AA}=J_{BB} , N_A = N_B ,$ the values of $q_A$ and $q_B$ coincide with each other because of the symmetry between two sublattices. The phase transition is of first order when the set of $\left\{ \vector{k}_{\alpha } \right\} $ are linearly dependent, and of second order when they are linearly dependent. In the case of the crystal structures we treat in this section, the model of CsCl-type crystal shows the second-order phase transition, while that of hexagonal lattice and NaCl-type (or sphalerite-type) crystal shows the first-order one. Such relation between the order of phase transitions and the set of $\left\{ \vector{k}_{\alpha } \right\} $ is the same as that in simpler crystals @KH. Note that the order of the phase transition, or whether the wave numbers of the cosine potentials are linearly independent or not, is determined only by the algebraic relation between these wave numbers, and does not depend on sizes or angles of them.

Discussion \[discussion\]
=========================

In the present paper, we have studied the model in which crystal structures are composed of two sublattices. Although we have restricted the number of sublattices as two in this paper, expanding our method to more complicated structures containing three or more sublattices may be straightforward. However, the sublattices treated in the present paper are limited to those of whose reciprocal space can be spanned by their smallest reciprocal lattice vectors @KH [@Kittel], whereas sublattices of several types of real crystal structures such as hcp cannot. It is also difficult to treat the case where sublattices A and B are composed of the same kind of particles. For example, the positions of the particles in the diamond-type crystal are the same as those of sphalerite-type crystal, but we can not use the method of this paper to it. Similarly to the simple crystals @KH, the present system obeys the ideal-gas law even in the solid phase: $$P  = \frac{\partial}{\partial V} \left( \frac{\log Z}{\beta} \right) = \frac{N}{\beta V} .$$ The origin of this unphysical behavior is the periodicity of the cosine potentials. They have the same value no matter which lattice points the particles occupy as shown in figure \[ig\_illust\], therefore, the number of particles existing at each lattice points has no restriction.

Although these problems exist, the trial to find relationship between this model and real solid-fluid phase transition seems to be valuable because there are few theoretical description which treat both of the solid and fluid phase by one partition function, starting from exactly-solvable models.

The model treated in the present paper resembles to infinite-range interaction models, or mean-field models of spin systems, in the point that the interaction does not decay with distance and the partition function can be calculated exactly by similar mathematical methods. Hence, this model should be called as a "mean-field model" of solid-fluid transition. In the case of simple crystal structures, we are now formulating the "mean-field approximation" for more realistic models such as the Lennard-Jones system, in order to investigate the relation between the transition of this "mean-field model" and real systems @KH2.

Summary \[summary\]
===================

In this paper, we introduced an exactly-solvable model of solid-fluid phase transitions for crystals which contain two positions for particles in a primitive cell. This is a generalization of our previous scheme which treated simpler ones including only one position for particles in a primitive cell. Specifically, we consider the binary mixture composed of two types of particles, in which each particle makes a sublattice. The interparticle interaction is given by the sum of cosine potentials whose wave numbers correspond to the smallest reciprocal lattice vectors of these sublattices, and the crystal structure depends on these wave numbers. We studied hexagonal lattice, NaCl-type or sphalerite-type crystal, and CsCl-type crystal. Several features are similar to those in our previous paper. The order of the phase transition is determined by whether the set of wave numbers are linearly independent or not, and the system obeys ideal gas law even in the solid phase. This model also has an interesting feature, i.e. the phase transition of each sublattice occurs at the same temperature. Generalization of the scheme proposed in the present paper to more complicated structures, which have three or more positions for particles in a primitive cell, is considered to be straightforward.

Acknowledgements {#acknowledgements .unnumbered}
================

The author thanks to Koji Hukushima, Masamichi Nishino, and Yoshihiko Nonomura for helpful discussions.

Reference {#reference .unnumbered}
=========

<span>99</span> J.E.Lennard-Jones and A.F.Devonshire, 1939 *Proc.Roy.Soc.A* **169.938**  317 H.Mori, H.Okammoto and S.Isa, 1972 *Prog.The.Phys* **47**  4 J.G.Kirkwood and E.Monroe, 1941 *J.Chem.Phys* **9**  514 T.V.Ramakrishnan and M.Yussouff, 1979 *Phys.Rev.B* **19**  2775 W.A.Curtin and N.W.Ashcroft, 1986 *Phys.Rev.Lett* **56**  2775 A.R.Denton and N.W.Ashcroft, 1989 *Phys.Rev.A* **39**  4701 P.M.Chaikin and T.C.Lubensky, 1995 *Principles of condensed matter physics* (Cambridge: Cambridge University Press) S.Fesjian and J.K.Percus, 1990 *J.Stat.Phys* **60**:659 H-O.Carmesin and Y.Fan, 1990 *J.Phys.A:Math.Gen* **23**:3613 H.Komatsu, 2015 *J.Stat.Mech*, P08020 M.Yussouff *Phys.Rev.B*, 1981 **23**  5871 N.N.Bogoliubov 1970 *Lectures on quantum statistics* Vol.2 (Gordon and Breach: New York) I.P.Bazarov, 1967 *Sov.Phys.J* **10.2**  53 M.Born, 1939 *J.Chem.Phys* **7**  591 Kittel, 2005 *Introduction to solid state physics 8th edition* (New York: Wiley) H.Komatsu   in preparation

[^1]: Present address: International Center for Materials Nanoarchitectonics, National Institute for Materials Science, Tsukuba, Ibaraki 305-0044, Japan

{'source': 'arXiv_out/1710'}