the phase transition driven by quantum fluctuations is one of the fundamental issues in quantum many body systems .
a number of novel phenomena associated with the transition such as the quantum critical behavior have been observed in a variety of condensed matter materials @xcite .
one of the prototype model systems exhibiting the quantum phase transition is the one - dimensional spin-1/2 ising lattice with a transverse field , namely the transverse ising model ( tim)@xcite , defined by @xmath1 where @xmath2 is the spin operator at the site @xmath3 on a one - dimensional lattice of length @xmath4 .
the transverse field @xmath5 introduces quantum fluctuation to the system , leading to a quantum phase transition from the ferromagnetic / antiferromagnetic ordered to the paramagnetic disordered states above a critical value @xmath6 .
actually the model is equivalent to a free spinless fermion system and can be exactly solved by applying the jordan - wigner transformation@xcite .
based on the exact solution , all physical quantities , including the ground state energy , the low - energy excitations , the specific heat and other thermodynamic functions can be evaluated .
this provides a thorough understanding of the quantum critical behavior of this system
.    however , in real materials , the moments of atoms may be larger than @xmath7 . despite of immense efforts in the past three decades
it is still very difficult to find exact solutions of the @xmath8 or other higher spin quantum ising systems .
this is partly due to the existence of the spin neutral states @xmath9 ( called as holes hereafter ) in addition to the two spin polarized states @xmath10 at each site in the @xmath8 spin chain . in these models ,
a hole can decay into a pair of polarized spin states , and vice verse , thus rendering the jordan - winger approach invalid in exactly solving the @xmath8 tim .    in this paper
, we study a class of one - dimensional @xmath8 quantum ising model , defined by the following hamiltonian @xmath11 where , @xmath12 is the single - ion anisotropy term with site - dependent @xmath13(@xmath14 ) .
the above model has a classical limit where @xmath15 .
this corresponds to the blume - capel model@xcite .
so the present model can be regarded as the quantum generalization of the blume - capel model .
the simplest quantum case is the uniform chain defined by@xcite @xmath16 .
\label{eq : uqim}\ ] ] in two or higher dimensions , this kind of quantum ising model with single - ion anisotropy was studied by a number of authors , based mainly on the mean - field approximations@xcite . in particular , the ground state of the model ( [ eq : uqim ] ) was shown to be equivalent to the @xmath0 tim defined by eq .
( [ htim ] )  @xcite .
such equivalence is also valid for quantum ising models with bond- and site - alternations@xcite or geometrical frustrations , such as a fully frustrated spin-1 ising delta - chain@xcite .
the purpose of the present paper is to study the physical properties of the model described by eq .
( [ eq : hqim ] ) based on the exact solution . the key idea in solving the proposed @xmath8 model
is to divide the total hilbert space of the @xmath8 system into a number of subspaces labeled by the number of holes .
this is what we call the hole decomposition scheme ( hds ) .
this hds was developed in our recent work @xcite where a recursion approach based on the hds is suggested for the uniform chain . in the present paper
, we shall give more comprehensive investigations for various properties of the @xmath8 model , including the case with dimerization  @xcite .
in particular , we show that for a given hole configuration , each sub - lattice system with purely polarized spins can be exactly solved in that case . based on the exact solution we study how the quantum phase transitions and thermodynamic properties are affected by the interplay between the dimerization and the single - ion anisotropy . depending on the strength of dimerization
, we find that the system undergoes a quantum phase transition where the criticality is the same as that of the uniform @xmath0 tim .
we note that the spin-1/2 tim can be realized in certain low - dimensional magnetic materials @xcite . for the systems with local moments larger than @xmath7 ,
the single - ion anisotropy generated by crystal fields and the dimerization may also become important@xcite .
the @xmath8 tim with the crystal field splitting was used to describe the ferroeletric transition in srtio@xmath17@xcite . in a class of quasi - one dimensional spin chains , such as [ ni@xmath18(medpt)@xmath18(@xmath19-ox)(h@xmath18o)@xmath18](clo@xmath21)@xmath22h@xmath18o
, the magnetic ni@xmath23 ion shows not only a single - ion anisotropy@xcite , but also a @xmath8 bond - alternating pattern , where medpt is the bis(3-aminopropyl ) methylamine@xcite .
recently , cold atoms or polar molecules in optic lattices were shown to be ideal systems to realize various quantum spin models@xcite .
in particular , the spin-1 models can be implemented by trapping polar molecules where the spin degrees of freedom can be described by the hyperfine vibrational states@xcite .
this paper is organized as follows . in sec.[sec : model ] and sec.[sec : mapping ] , we discuss some general properties of the model and introduce the hds . in sec.[sec : diag ] , we solve exactly the hamiltonian in the presence of dimerization . in sec.[sec :
excitation ] , we study the low energy excitation spectra and quantum phase transitions based on the exact solutions . in sec.[sec : thermal ] , we discuss in detail the recursion method introduced in ref .
@xcite for evaluating thermodynamic quantities .
finally , we give a summary in sec .
[ sec : summary ] .
let us consider a s=1 ising lattice with single - ion anisotropy , defined by eq .
( [ eq : hqim ] ) .
@xmath24 are the @xmath8 spin operators at lattice site @xmath25 , with the lattice length @xmath4 .
the uniform classical blume - capel model@xcite corresponds to the symmetric case with @xmath26 .
because only two of these @xmath27 terms are independent , we shall mainly consider the quantum case with @xmath28 and @xmath29 , without losing generality .
the case with @xmath30 will be discussed later .
we shall mainly focus on the dimerization case where @xmath31    by definition , one has @xmath32 so it is straightforward to show that @xmath33 does not couple @xmath34 state to @xmath35 states .
thus @xmath33 commutes with @xmath36 .
this leads to the following theorem :    _ theorem 1 .
when @xmath8 , the total hole number operator @xmath37 commutes with the hamiltonian for any site - dependent @xmath38 and @xmath39 _ @xmath40=0.\end{aligned}\ ] ] it means that the total number of holes is a conserved quantity if @xmath8 .
consequently , the eigenstates of @xmath41 can be classified by the eigenvalue @xmath42 of @xmath43 . in the discussion
below , we will call the subsystem with @xmath42 holes as the @xmath42-th sector .
let @xmath44 be the hilbert space of the @xmath42-th sector , the total hilbert space is then given by the sum of all the subspaces : @xmath45 a complete set of the eigenstates in the @xmath42-th sector forms a sub - band of the whole spectrum .
generally the lowest eigen - energy of the @xmath42-sector satisfies the following theorem :    _ theorem 2 .
let @xmath46 be the eigen - energy , corresponding to the eigenstate @xmath47 of @xmath41 , and @xmath48 be the lowest eigen - energy in the @xmath42-th sector , then the following inequality holds _
@xmath49    this relationship is an extension of the lieb - mattis theorem derived initially for the uniform systems with ferromagnetic ising couplings@xcite .
it holds still no matter whether the ising couplings are ferromagnetic or antiferromagnetic .
it indicates that in the absence of the @xmath50-term the ground state always lies in the @xmath51 sector and the energy spectrum of the system has a hierarchy structure .
there are two kinds of excitations in the system .
one is the fermionic excitation within a given sector .
the corresponding excitation energy is defined by @xmath52 .
the other is the hole excitation and the excitation energy with respect to the ground state is given by @xmath53 .
there are two kinds of minimal excitation gaps corresponding to these excitations @xmath54 fig .
[ fig : band ] shows schematically the hierarchy band structure of the system . within each bands
( or each boxes shown in fig .
[ fig : band ] ) there are fermionic excitations , with the minimal gaps @xmath55 . while the minimal gaps of the hole excitations @xmath56 increase with @xmath42 when the longitudinal anisotropy @xmath57 .
-th sectors .
@xmath55 and @xmath56 are the minimal gaps for the fermoinic and hole excitations respectively in the @xmath42-sector . several explicit results of these gaps will be given in section iv . ]
the eigenstates of the hamiltonian eq .
( [ eq : hqim ] ) can be generally expressed as @xmath58 , with @xmath59 being the wave function . as the total spin and its @xmath60-component
are not conserved , the summation runs over all @xmath61 states .
however , by theorem 1 , the local holes are good quantum numbers and can be regarded as non - magnetic local impurities embedded in the @xmath0 ising system .
assuming in the @xmath42-th sector the holes are located at @xmath62 ( @xmath63 ) , then the corresponding eigenstates can be expressed as @xmath64 where @xmath65 if @xmath66 , and @xmath67 .    in the @xmath51 sector , there are only two spin states at each site , corresponding to @xmath65 respectively .
they are in one - to - one correspondence with the states of the spin-1/2 ( pauli ) operators @xmath68 : @xmath69 .
one has then the mapping relationship : @xmath70 .
thus , @xmath33 acts like @xmath71 .
the original hamiltonian , when acting on the @xmath51 subspace , has the following reduced form @xmath72 this is just the spin-1/2 ising model with bond ( site)-dependent ising couplings and transverse fields .
now let us turn to the @xmath73 sector .
if the hole is located at the site @xmath74 , the corresponding state can be written as @xmath75 . now because the bonds connecting the hole are broken , the reduced hamiltonian , obtained by acting the original one on the @xmath73 sector , is given by @xmath76 where @xmath77 is the hamiltonian of the spin-1/2 tim segment of lengths @xmath78 imposed by the open boundary condition .
if @xmath79 and @xmath80 are the eigenstates of the segments @xmath81 and @xmath82 , respectively , then @xmath83 is the eigenstate of @xmath84 .
this hds can be easily generalized to the multi - hole sectors .
for instance , the reduced hamiltonian in a @xmath42-hole sector is given by @xmath85 where @xmath86 s are the positions of holes .
similarly , the eigenstate of @xmath87 can then be expressed in terms of those of the individual segments .
therefore , all the eigenstates of the @xmath8 qim ( [ eq : hqim ] ) can be obtained by solving a set of the spin-1/2 tims . for the @xmath42-th sector ,
the number of the s=1/2 tim segments are @xmath88 or @xmath42 , depending on whether the original chain is periodic or open .
note that the hole positions may vary along the chain , so there are many different hole configurations in a given sector .
the decomposition of the total hilbert space into the sum of subspaces can be formally represented by @xmath89^{\otimes l}= \textbf{2}^{\otimes l}\oplus \textbf{2}^{\otimes ( l-1)}\otimes \textbf{1}\oplus \textbf{2}^{\otimes ( l-2)}\otimes \textbf{1}^{\otimes 2}\oplus \cdots \oplus \textbf{1}^{\otimes l}$ ] , where the dimension of the @xmath8 system is given by @xmath90
in this section , we follow the standard approach introduced in refs .
@xcite to diagonalize the @xmath51 sector of the s=1 model , eq.([eq : h0 ] ) .
we introduce the fermion operators @xmath91 and @xmath92 and use the jordan - wigner transformation to rewrite eq.([eq : h0 ] ) as follows @xmath93\nonumber\\ & ~~ & + h_{pb},\end{aligned}\ ] ] where @xmath94 , @xmath95 , and @xmath96 .
notice that @xmath97 is the boundary term ( which disappears for the open chains ) and can be neglected in the thermodynamics limit .
next , we introduce the bogoliubov transformation as in the following : @xmath98 where , @xmath99 and @xmath100 are the fermionic quasi - particle operators with quasi - momentum @xmath101 .
they satisfy the usual anti - commutation relations . while , @xmath102 and @xmath103 are coefficient matrices , which should be complex in general .
then , @xmath104 becomes @xmath105    if we define @xmath106 , @xmath107 , the eigenvalue @xmath108 can be solved by @xmath109 with @xmath110 being a symmetric matrix defined by @xmath111 , or @xmath112 . for the dimerized ( or alternating ) chain , the @xmath110-matrix depends on the boundary conditions and the parity of the chain length ( even or odd ) . for simplicity , we here consider the case of periodic chain with even @xmath4 , where @xmath113 with @xmath114 , @xmath115 , @xmath116 , and @xmath117 .    in order to solve eq.([eq : psi ] ) with this @xmath110-matrix
, we employ the following ansatz @xmath118 , \\ ( \phi_k)_{2j+1}&=a_{o}\exp[ik(2j+1 ) ] .
\end{split}\end{aligned}\ ] ] the ratio @xmath119 is then a measure of dimerization , determined by @xmath120},\end{aligned}\ ] ] where @xmath121 note that when @xmath122 and @xmath123 , we have @xmath124 , as it should be for the uniform chain .    the eigenvalue @xmath125 is then obtained by @xmath126 , so that one has four branches of quasi - particle excitations : @xmath127 with @xmath128 , @xmath129 , @xmath130 , @xmath131 , and @xmath132 , @xmath133 .
qim with @xmath134 , @xmath135 , @xmath136 , @xmath137 , @xmath138 .
this kind of excitations for a sector with fixed hole number is similar though the quasi - momentum is determined by the corresponding secular equation . ]
it should be noticed that @xmath139 ( for @xmath128 ) are invariant under the shift @xmath140 .
thus the quasi - momentum @xmath101 is constrained in one of the following regimes : ( 1 ) @xmath141 or ( 2 ) @xmath142 . here , we choose @xmath101 to be in the first regime for @xmath143 and in the second regime for @xmath144 .
[ fig : spectra12 ] shows the typical energy dispersions for a dimerized system with @xmath134 . the case with @xmath145
can be obtained by a reflection under the shift .      in the @xmath73 sector , the hole breaks two bonds connecting to it . for convenience , we assume that the hole is located at the site @xmath4
. the reduced hamiltonian can be rewritten as @xmath146 where @xmath147 is defined by eq .
( [ eq : h03 ] ) but with the open boundary conditions .
the procedure for diagonalizing @xmath147 is the same as for @xmath148 .
the eigen wavefunction is determined by eq.([eq : psi ] ) in a similar way .
the only difference is that now the @xmath110-matrix is a @xmath149 matrix , with @xmath150 , and @xmath151 .
the previous approach is extended to the subsystems or sectors with more holes .
the holes break the ising couplings , leading to a series of segments of the spin-1/2 tim s . for the periodic chain ,
the number of these segments is equal to the number of holes @xmath42 ( including the segment of zero length ) .
if the holes are located at @xmath163 , then the corresponding reduced hamiltonian is given by eq.([eq : h0 ] ) , i.e. , @xmath164 , with @xmath165(here , @xmath166 ) being the length of the @xmath167-th segment and @xmath168    each segment hamiltonian @xmath169 can be diagonalized as @xmath170 , where @xmath101 is the quasi - momentum satisfying the secular equation eq .
( [ k - dimer ] ) ( by replacing @xmath4 by @xmath171 ) .
notice that associated with the fixed length of the segment there are four different kinds of configurations , depending on whether the two edge holes are located at odd or even sites .
in the previous section , we show how to diagonalize the reduced hamiltonians of different sectors . in a given hole sector , there are four branches of quasi - particle excitations , given by eq .
( [ lamb1 ] ) .
obviously , the two negative branches @xmath172  ( @xmath128 ) will be filled in the ground state of that sector .    in the @xmath51 sector , the ground state is given by @xmath173 , where @xmath174 ( @xmath128 ) are the fermionic quasi - particle operators in the branches @xmath172 , @xmath101 and @xmath175 are the allowed momenta for @xmath128 , respectively .
the ground state energy is given by @xmath176 .
the low energy excitations can be obtained by applying operators @xmath177 or @xmath178 on the ground state .
the excitation energy is given by @xmath179(@xmath180 ) .
when @xmath134 , the energy gap between the lowest excitation and the ground state is given by @xmath181 where @xmath182 .
if @xmath183 and @xmath184 , one has @xmath185 with @xmath186 , reproducing the result of the uniform chain . in this case , the branches 1 and 2 connect smoothly . in the presence of dimerization , however , the two branches will split and produce a dimerization gap @xmath187      the ground state of the @xmath73 sector has @xmath4-fold degeneracy in the uniform chain , because the energy does not depend on the position of the hole .
but in the presence of dimerization the degeneracy will be @xmath188-fold .
while the momentum - dependence of the spectra can be determined as in the @xmath51 sector , the quasi - momentum @xmath189 must satisfy the secular equation associated with the open chain of length @xmath190 .    in the lowest state of the @xmath73 sector ,
the bands with negative energies are fully filled .
the corresponding energy is then given by @xmath191 -\frac{1}{2}\max{(d_1,d_2)}$ ] .
the last term is contributed from the hole which may locate at either even or odd sites .    according to theorem 2
, the ground state of the original hamiltonian should be the one in the @xmath51 sector .
so in addition to the fermionic excitations , inclusion of the @xmath73 sector ( adding a hole to the system ) will induce the hole excitations .
the minimal hole excitation gap is given by @xmath192 .
the typical behavior of @xmath193 ( as a function of @xmath194 ) is shown in fig .
[ dimerholegap ] for fixed @xmath195 , @xmath196 , and @xmath197 , with either periodic or open boundary conditions .    in order to understand the difference in @xmath193 for the periodic and open chains
, we consider a special case where the chain is uniform and at the critical point , i.e. , @xmath198 , @xmath199 , and @xmath200 . in this simple case ,
the energy spectrum is given by @xmath201 , and the allowed quasi - particle momenta are @xmath202 , @xmath203 for the period boundary condition , and @xmath204 , @xmath205 for the open boundary condition .
thus for sufficiently large @xmath4 we obtain @xmath206 and @xmath207 for the open and periodic chains , respectively .
their difference , @xmath208 , does not change for larger @xmath4 .
so it is the surface energy cost to turn into an open chain .     as a function of @xmath194 for the system with periodic ( left panel ) or open ( right panel )
boundary conditions .
three curves corresponding to @xmath209 and @xmath210 are plotted and @xmath195 and @xmath196 are fixed . ]
it is straightforward to extend the above discussion to a multi - hole system .
let us start with @xmath211 .
the eigenfunction in the @xmath211 sector is a direct product of the wavefunctions for the two @xmath73 segments , but with smaller lattice lengths @xmath212 and @xmath213 , respectively , here @xmath214 is the distance between the two holes sited at @xmath74 , @xmath215 .    for the uniform chain
, the lowest energy state of the @xmath211 sector should correspond to the configuration where two holes are close together , as in this case the total surface energy is minimized .
so the lowest hole excitation gap in the @xmath211 sector is given by @xmath216 .
for @xmath217 , one can further show that the lowest state in the @xmath42-th sector is the configuration in which all holes are close to each other .
this is the hole condensation phase in one dimension .
the remain spin chain has a length @xmath218 . when @xmath219 and @xmath220 , the finite size effect is negligible so one has @xmath221 .
we now discuss how dimerization influence the phase diagram .
we have shown that the ground state still lies in the @xmath51 sector in the presence of dimerization . however , dimerization splits the bands and induce a gap at higher energies .
the quantum critical points extend to lines , which are determined by the gapless condition , i.e. @xmath222 , or according to eq .
( [ eq : delta0 ] ) , @xmath223     qim . the @xmath224-axis and
@xmath225-axis describe the dimerization strength and the competition parameter , see eq.([ro ] ) in the main text .
the dashed area is the magnetic ordered phase which extends slightly for small @xmath224 but split into two parts for @xmath226 . ]
the influence of dimerization can be seen more clearly by introducing ( assuming @xmath227 ) @xmath228 where @xmath225 describes the competition between @xmath39 and @xmath38 , and @xmath224 is a measure of the dimerization strength . in the uniform chain limit , @xmath229 , @xmath230 . with increasing @xmath224 , we have the following three situations :    \(1 ) in the weak dimerization regime , @xmath231 , there is a pair of symmetric critical points , @xmath232 , with @xmath233 .
the ground state is magnetically ordered when @xmath234 .
\(2 ) in the strong dimerization regime , @xmath226 , there are two pairs of symmetric critical points , @xmath235 , with @xmath236 .
the magnetically ordered phase appears when @xmath237 .
\(3 ) when @xmath238  ( @xmath239 ) , there are three critical points , which take values @xmath240 respectively .
the ground state is magnetically disordered when @xmath241 , but ordered ( either ferromagnetic or anti - ferromagnetic , depending on the signs of @xmath242 ) when @xmath243 .
note that the @xmath244 point corresponds to an alternating ( or staggered ) array of single - ion anisotropy @xmath245 .
it becomes critical when @xmath246 .
the @xmath247 ground state phase diagram is plotted in fig .  [
fig : phase ] .
the magnetic ordered phase and paramegnetic disordered phase are separated by the critical lines ( red ) .
in this section , we study the thermodynamic properties of the @xmath8 qim . as was shown previously , this model is exactly solvable not only for the ground state , but also for all excited states .
however , exactly evaluating the thermodynamic quantities is still a very hard task , particularly for large system size and dimerization . here
, we shall develop the recursion method proposed in ref .
@xcite in the evaluation of the partition function as well as other thermodynamic quantities for either uniform and dimerized chains .      based on the hds ,
the partition function @xmath248 of the system with lattice length @xmath4 can be expressed as the sum of all the partition functions of the subsystems , i.e. , @xmath249 where , @xmath250 is the partition function of the @xmath42-th sector . because for fixed @xmath42 , there are many different hole configurations .
so @xmath250 can be further rewritten as a sum over all possible hole configurations @xmath251    for each hole configuration @xmath252 , the corresponding partition function of the open chain is given by ( @xmath253 ) @xmath254}.\end{aligned}\ ] ] where , @xmath255 is the hamiltonian of the n - th segment .
the partition functions of each segments can be regarded as the building blocks of total partition of the original system .
these building blocks are denoted by @xmath256 , the partition functions of the spin-1/2 tim segments with length @xmath171 .
then , in the uniform case , @xmath248 can be expressed as @xmath257 , where @xmath258 is the partition function of a hole , @xmath259 , and @xmath260 . as the length of the allowed segment may vary , one has the summation constraint @xmath261 .
if we denote @xmath262 , then the total partition function can be rewritten as @xmath263 where , @xmath264 is contributed from the hole s .    to numerically evaluate the partition function ,
it is practically convenient to use the following recursion formula : @xmath265 where , @xmath266 and @xmath267 . by this way
, we firstly calculate the building block , @xmath256 , and then by iterative use of above relation , evaluate the partition function of the @xmath8 system .
we find that this method is particular efficient for the uniform chain , where the system size @xmath4 could be as large as @xmath268 .
it is non - trivial to extend the above recursion method to the spin chain in the presence of dimerization . here , there are four kinds of blocks , associated with the parity of the two ends
. thus we can denote them by @xmath269 , with @xmath270 indicating the left / right ends respectively .
the @xmath0 tim segments with odd or even end sites can be solved exactly .
the analytical expressions for @xmath269 will be provided in a separated supplementary material@xcite . in the following , we present some numerical results obtained by the recursion method while the system size is kept at @xmath197 .
for simplicity , we use the open boundary condition for the original @xmath8 chain .
the extension to the periodic boundary condition is straightforward .
thermodynamics quantities can be calculated from the partition function . in our model ,
an important physical quantity is the thermal average of the hole number , defined by @xmath271     ( a ) and the entropy @xmath272 ( b ) for a uniform spin chain with @xmath273 , respectively . ]
[ fig : holeuniform](a ) shows the temperature dependence of @xmath274 for several @xmath275 . at low temperatures
, @xmath274 increases rapidly with increasing temperature for small and positive @xmath275 .
the proliferation of the hole number at low temperatures is obviously due to the smallness of the hole excitation gap .
however , for the negative @xmath275 , say , @xmath276 , the hole excitation gap is relatively larger , so @xmath274 increases much slowly with temperatures .
another interesting physical quantity is the entropy @xmath272 , which we plot as a function of temperature for several different @xmath275 in fig .
[ fig : holeuniform](b ) .
we find that the suppression of the entropy @xmath272 is stronger for larger @xmath275 .
the suppression is even more pronounced for the negative @xmath275 .
these behavior are similar to the temperature dependence of the hole number and are also due to the hole excitation gap .
we also find that the @xmath274 approaches about @xmath277 in the high temperature limit for all @xmath275 .
correspondingly , the entropy saturates at the value @xmath278 in the high temperature limit(not fully shown in fig .
[ fig : holeuniform ] ) .       and ( b )
the entropy @xmath272 for a dimerized spin chain in three representative cases : @xmath279 ( dashed line ) , @xmath280 ( real line ) , @xmath281 ( dash - dotted line ) , respectively .
where , @xmath195 , @xmath282 , and @xmath283 are fixed . ]    , @xmath284 ( blue - dashed line ) , @xmath285 , @xmath286 ( red - real line ) , @xmath287 , @xmath288 ( dash - dotted line ) with @xmath289 , @xmath282 , and @xmath283 , respectively ; ( b ) the specific heat c ( dash - dotted line ) and the corresponding specific heat c(p=0 ) for the @xmath51 subsystem ( green open circle ) for @xmath287 and @xmath195 , @xmath282 , @xmath283 , @xmath288 , respectively .
( c ) the specific heat @xmath290 ( blue - real line ) and c(p=0 ) ( red - doted line ) with @xmath291 , @xmath283 , and @xmath292 . ]    the recursion method , after some extensions discussed previously , is also used to evaluate thermodynamic quantities for a dimerized system .
[ fig : holedimer ] and [ fig : heatdimer](a ) show the temperature dependence of the entropy @xmath272 , the average hole concentration @xmath274 , and the specific heat @xmath290 in the ordered ( @xmath279 ) , critical ( @xmath285 ) , and disordered phases(@xmath287 ) , respectively . here
we fix @xmath195 , @xmath282 , @xmath283 , and choose several @xmath194 (= @xmath293 , @xmath294 , and @xmath295 ) in figs .
[ fig : holedimer ] and [ fig : heatdimer](a ) .
note that both the dimerization strength and competition parameter are tuned by varying @xmath194 .
the general features of the hole number and the entropy are similar to that in the uniform case as the hole excitation gap plays the role at low temperatures ( note that when @xmath195 , @xmath282 , and @xmath283 , @xmath296 , @xmath297 , and @xmath298 for @xmath284 , @xmath294 , and @xmath295 , respectively ) .    in figs .
[ fig : heatdimer ] , the specific heat is plotted as a function of temperature in several cases .
we find that at low - temperatures the specific heat is peaked at the temperature scale near the hole excitation gap .
the peak behavior changes depending on the competition of the fermionic and hole excitations .
the influence of the dimerization on the specific heat can be clearly seen at relatively higher temperatures , as the dimerization induced gap is much larger than the hole or fermion excitation gaps .
[ fig : heatdimer](b ) shows the specific heats of the @xmath8 qim system and its @xmath51 sector for the case @xmath299 . note that the @xmath51 sector is identical to the corresponding @xmath0 tim . in this case
@xmath300 is very small , leading to a sharp peak in the @xmath8 qim system .
we also find a well separated and relatively round peak in the higher temperature regime where the energy scale is close to the dimerization gap @xmath301 .    the competitions among the dimerization effect , the hole excitations and the fermion excitations can be seen more clearly from fig .
[ fig : heatdimer](c ) where @xmath291 , @xmath283 , and @xmath292 . in this case , the three kinds of gaps are well separated , @xmath302 , so that the specific heat exhibits three peaks .
the first one is a sharp peak around @xmath303 @xcite , other two peaks are around @xmath304 and @xmath305 , respectively .
by contrast , the low temperature sharp peak disappears in the @xmath51 sector and other two peaks still persist [ see the red dotted line in fig .  [
fig : heatdimer](c ) ] .
this is in agreement with the fact that no hole excitation exists in the @xmath51 sector .    .
two typical situations are plotted : ( @xmath306 , @xmath307 ) and ( @xmath308 , @xmath286 ) , with small and large hole excitation gaps , respectively .
other parameters are @xmath282 and @xmath283 . as a comparison , the corresponding @xmath0 tim case is also plotted . ]
we also calculated the scaled free energy @xmath309 at the critical point @xmath285 for the dimerized spin chain .
@xmath309 is defined by @xmath310}{t^2}.\ ] ] this quantity , which is identical to the specific heat coefficient at low temperatures , was introduced in ref.@xcite in order to show the temperature persistence of the quantum critical scaling behavior in the @xmath0 tim . in the critical region where quantum critical fluctuations dominate this quantity
should be a constant .
it was shown that in the @xmath0 uniform tim it deviates from the constant only when @xmath311 , indicating a rather higher temperature scale below which the quantum critical scaling behavior persists @xcite . in our recent work ref.@xcite
, we found that in the uniform @xmath8 qim this behavior is strongly suppressed by the hole excitations . here , we find that the similar conclusion can be inferred in the presence of dimerization . in fig .
[ fig : phidimer ] , we plotted the results for two cases ( i ) @xmath312 , @xmath282 , @xmath283 , @xmath307 , and ( ii ) @xmath195 , @xmath282 , @xmath283 , and @xmath286 . as a comparison , the corresponding result for the dimerized @xmath0 tim is also plotted .
we find that the quantum critical scaling behavior at @xmath313 ( or @xmath314 in the figure [ fig : phidimer ] ) persists approximately at finite @xmath315 for the dimerized @xmath0 tim and the case ( ii ) , and at @xmath316 for the case ( i ) , respectively .
this is because that the hole gap in the case ( i ) is much smaller than the case ( ii ) .
consequently , the hole excitations play more significant role in suppressing the quantum critical scaling behavior in the former case .
this result is consistent with the conclusion in ref .
@xcite .
now we turn to the case with non - zero @xmath317 .
it is straightforward to show that the @xmath317-term plays the role of chemical potential for holes in the @xmath8 qim  @xcite .
more specifically , the energy of a @xmath42-hole sector with finite @xmath317 is related to that with @xmath318 by the following relationship [ @xmath319 : @xmath320 thus , with finite @xmath317 , the fermion excitation spectra remain unchanged , but the hole excitation gap becomes@xcite @xmath321     for @xmath318 or @xmath322 . other parameters are @xmath195 , @xmath282 , and @xmath283 . ]    therefore , the ground state depends strongly on the value of @xmath317 . when @xmath323 , the hole excitation is positive , and the ground state is still in the @xmath51-sector .
but when @xmath324 , the hole excitation gap is negative .
this indicates that the @xmath51 sector is no longer the lowest energy state and there are holes in the ground state . as a result ,
theorem 2 is no longer valid in the present case .
when @xmath4 is sufficiently large and @xmath42 is relatively small , the lowest energy of the @xmath42-sector can be approximated by @xmath325 as discussed in the previous section .
then , @xmath326 $ ] , so that we have @xmath327 thus , the order of the band structure hierarchy is completely overturned . in this case
, the ground state is in the @xmath328 sector and all sites are occupied by holes@xcite .
this can be also seen clearly from fig .
[ fig : dimerhole2 ] , where the temperature dependence of the hole concentration @xmath274 is shown .
we find that in the zero temperature limit , @xmath274 is equal to 1 when @xmath329 or 0 when @xmath330 .
in this paper , we have studied a class of exactly solvable @xmath8 qims with single - ion anisotropy .
they exhibit a hierarchy of the band structure with both fermionic and hole excitations .
the hole excitation gap can be tuned by the longitudinal crystal field @xmath317 .
it becomes zero when @xmath331 is equal to @xmath332 .
the ground state exhibits three distinct phases : the magnetically ordered or disordered phases when @xmath333 , or the hole condensation phase when @xmath334 .
the transition to the hole condensation phase is of the first order .
we have shown that dimerization does not destroy the exact solvability of this model . to our knowledge , this is the first example in dimerized @xmath8 quantum spin systems where all the eigen states as well as the wavefunctions and the eigen energies can be solved exactly .
the hole excitations enhance the thermodynamic fluctuations as evidenced in the specific heat which shows a sharp peak in the low - temperature region where the hole excitations proliferate .
this strongly reduces the characteristic temperature below which the quantum criticality persists .
all these results are robust against the dimerization .
however , dimerization deforms the phase diagram and affects the high energy behavior .
we have developed a recursion method to sum over all hole configurations efficiently .
this provides a powerful approach for evaluating rigourously all thermodynamic quantities as well as static and dynamic correlation functions of the qims in the thermodynamic limit .
the detailed derivations for these quantities in the presence of dimerization will be provided as a supplementary material@xcite .
the recursion method holds not just for the model studied here .
it can be easily extended and applied in other physical systems whose hamiltonian can be written as a sum of independent spin segments , separated by nonmagnetic impurities , such as pd- or zn - doped quasi - one - dimensional antiferromagnets sr@xmath18(cu@xmath335pd@xmath336)o@xmath17 or cu@xmath335zn@xmath336geo@xmath17@xcite .
z.h.y . would like to thank z.x .
xu for helpful discussions .
this work was supported in part by the national natural science foundation of china , the national program for basic research of china , the pcsirt ( irt-0754 ) and srfdp ( no.j20050335118 ) of education ministry of china .
99 m.  greiner , o.  mandel , t.  esslinger , t.  w.  hnsch , and i.  bloch , nature * 415 * , 39 ( 2002 ) .
p.  gegenwart , q.  si , f.  steglich , nat . phys . * 4 * , 186 ( 2008 ) .
s.  l.  sondhi , s.  m.  girvin , j.  p.  carini , and shahar , rev .
* 69 * , 315 ( 1997 ) .
s.  sachdev , _ quantum phase transitions _ , cambridge university press , new york , 1999 .
b.  k.  chakrabarti , a.  dutta , and p.  sen , _ quantum ising phase and transitions in transverse ising models _ , springer , berlin , 1996 .
e.  lieb , t.  schultz , and d.  mattis , ann .
phys . n.y . * 16 * , 407 ( 1961 ) .
p.  pfeuty , ann .
phys . n.y . * 57 * , 79 ( 1970 ) .
m.  blume , phys .
* 141 * , 517 ( 1966 ) ; h.  w.  capel , physica * 32 * , 966 ( 1966 ) . z.  h.  yang , l.  p. yang , j.  dai , t.   xiang , phys .
* 100 * , 067203 ( 2008 ) .
x.  f.  jiang , j.  l.  li , j.  l.  zhong , c.  z.  yang , phys .
b * 47 * , 827 ( 1993 ) . n.  c.  eddeqaqi , m.  saber , a.  el - atri , and m.  kerouad , physica a * 272 * , 144 ( 1999 ) .
j.  oitmaa and a.  m.  a.  von brasch , phys .
b * 67 * , 172402 ( 2003 )
. h.  n.  wu , z.  h.  yang , j.  dai , h.  p.  ying , mod .
a * 22 * , 727 ( 2007 ) .
y.  fukumoto and a.  oguchi , prog .
phys . * 115 * , 847 ( 2006 ) ; y.  fukumoto and a.  oguchi , aip conf . proc . * 850 * , 1081 ( 2006 ) . while `` dimerization '' usually refers to the alternating antiferromagnetic coupling
, here we use it to indicate that both the ising coupling and the single - ion anisotropy can be of alternating pattern with period 2 .
j.  richter , s.  e.  kruger , d.  j.  j.  farnell , and r.  f.  bishop , in _
series on advances in quantum many - body theory _ ,
world scientific , singapore , vol.5 , p.239 , 2001 .
d.  bitko , t.  f.  rosenbaum , and g.  aeppli , phys .
lett . * 77 * , 940 ( 1996 ) .
a.  abragam and b.  bleaney , _ electron paramagnetic resonace of transition ions _ , oxford university , oxford , 1970
. y.  yamada , n.  todoroki , and s.  miyashita , phys .
b * 69 * , 024103 ( 2004 ) .
a.  esucer , r.  vieente , x.  solans and m.  font - baida , inorg .
chem . * 33 * , 6007 ( 1993 ) .
j.  j.  borrs - almenar , e.  coronado , j.  curely and r.  georges , inorg .
chem . * 34 * , 2699 ( 1995 ) .
s.  kimura , s.  hiraia , y.   narumib , k.  kindoa , and m.  hagiwarac , physica b * 294 * , 47 ( 2001 ) .
y.  narumi , m.  hagiwara , r.  sato , k.  kindo , h.  nakano and m.  takahashi , physica b * 246 * , 509 ( 1998 ) ; y.  narumi , r.  sato , k.  kindo and m.  hagiwara , j. magn .
magn . mater .
* 177 * , 685 ( 1998 ) .
a.  micheli , g.  k.  brennen , and p.  zoller , nat .
* 2 * , 341 ( 2006 ) .
g.  v.  brennen , a.  micheli , and p.  zoller , new j. phy .
* 9 * , 138 ( 2007 ) .
e.  lieb and d.  mattis , phys
. rev . * 125 * , 164 ( 1962 ) .
t.  d.  shultz , d.  c.  mattis and e.  lieb , rev .
phys . * 36 * , 856 ( 1964 ) .
see epaps document no.e - prbmdo-79 - 081921 about some details of the exact solutions , together with some additional discussions on the green functions , the spin - spin correlation functions , as well as the spin susceptibility . for more information on epaps , see http://www.aip.org/pubservs/epaps.html . in the presence of dimerization
the hole excitation gap is also dependent on the odd / even sites where the hole located .
here we define the smaller one by @xmath193 . a. kopp and s. chakravarty , nature phys . * 1 * , 53(2005 ) . in the following , we use @xmath337 to explicity denote the hole excitation gap in the case with @xmath318 , in order to distinguish the one with @xmath338 .
j.  sirker , n.  laflorencie , s.  fujimoto , s.  eggert and i.  affleck , phys .
* 98 * , 137205 ( 2007 ) .
m.  hase , i.  terasaki , y.  sasago , k.  uchinokura and h.  obara phys .
lett . * 71 * , 4059 ( 1993 ) .


the high pressure and temperature equation of state ( eos ) and phase diagram of carbon have received considerable attention of late .
recent laser - shock and ramp - compression studies @xcite , together with shock measurements performed with magnetically - driven flyer plates @xcite , have produced data in the range from @xmath3 mbar . in addition , theoretical work on the eos and phase diagram in this same range have yielded predictions which are largely ( though not completely ) in accord with these experimental data @xcite .
these studies were conducted with density functional theory ( dft ) molecular dynamics ( md ) .
much of this recent focus on the carbon eos , specifically in states of compression reached when starting in the diamond phase , has arisen from the interest of using high density carbon as an ablator material for capsules designed to achieve fusion at the national ignition facility @xcite . while these experimental and theoretical studies have been useful in constraining the eos of carbon for this and related applications , it is crucial to note that the states reached by the ablator in inertial confinement fusion ( icf ) are expected to include temperatures in excess of tens of ev @xcite .
such conditions have not yet been sufficiently characterized .    at such high temperatures
, dft - md is extremely challenging to perform , due to the large number of high - lying , partially - occupied single - electron states that must be included for an accurate rendering of the electronic thermal excitations .
indeed , an orbital - free variant of dft - md has been developed and used to handle such high temperature applications @xcite , but as yet , a satisfactory treatment of atomic shell structure in this approach is lacking .
the approach as implemented thus far @xcite is ( somewhat ) reminiscent of a thomas - fermi treatment for the electrons @xcite .
another altogether different approach to describing the electronic structure of the high-@xmath4 plasma state is path integral monte carlo ( pimc ) @xcite . in this approach , unlike in typical implementations of dft , there is no mean - field assumption made for the many - electron problem , and the imaginary time treatment makes high-@xmath4 simulations more efficient to perform than low-@xmath4 simulations .
although assumptions regarding the nodal surface of the many electron density matrix necessarily introduce approximations for the treatment of atomic shells , it is very encouraging that recent work on the c plasma has demonstrated that eos predictions can be made with this method which smoothly interpolate between dft - md results at the lower temperatures and the high-@xmath4 debye - hckel limit @xcite .
the ultra - high pressure regime near @xmath5 has been studied recently as well , using ab initio electronic structure techniques of the dft variety together with a random search method to find the thermodynamically stable crystalline phases at pressures between 10 - 1000 mbar @xcite .
this work extended earlier quantitative studies of the c phase diagram that treated the diamond and bc8 phases up to @xmath6 mbar @xcite .
the random search established the sequence of stable phases to be diamond @xmath7 bc8 @xmath7 ( slight modification of ) simple cubic ( sc ) @xmath7 simple hexagonal ( sh ) @xmath7 face - centered cubic ( fcc ) @xcite .
though these authors did not attempt to predict the details of the c melt curve in these extreme conditions , their analysis using a quasiharmonic description of the phonons for these solid phases suggested the existence of a bc8-sc - sh triple point , as seen in fig .
3 of their manuscript @xcite .
a few years ago , correa et al .
used the available theoretical understanding of the c phase diagram at the time @xcite to produce a three - phase eos model for c focusing specifically on the regime of @xmath8 mbar and @xmath5 - 20,000 k @xcite .
the phases considered were : diamond , bc8 , and the liquid .
the individual phase free energy models were fit to the results of dft - md calculations .
since the final multiphase eos model was designed to be used in hydrocode simulations spanning a wider range of conditions , these researchers embedded their detailed three - phase eos model into a more coarse - grained model @xcite that respected the ideal gas limits at high-@xmath4 and low-@xmath2 and the thomas - fermi limit @xcite at high-@xmath2 . while satisfactory in a broad sense , this older eos model suffers from three main drawbacks : 1 .
the embedding of the dft - based 3-phase model into the coarse - grained model created kinks in the thermodynamic functions , even though an attempt was made to smooth out such features by interpolation .
there are no solid phases beyond bc8 ; sc and sh phases , for instance , are not included .
the electronic excitations of the high-@xmath4 liquid are treated with an average - atom thomas - fermi model , so atomic shell structure is not included in sufficient detail .    in this work
, we remedy these deficiencies by constructing a 5-phase eos for c , again based on ab initio calculations ( for densities between @xmath9 1 - 25 g / cc ) , in which the free energy models for each phase are defined over wide ranges of @xmath2 and @xmath4 and exhibit sensible limiting behavior .
no embedding into a simpler model @xcite is performed .
the two extra phases included are the sc and sh phases .
while our phase diagram differs slightly from that of ref.@xcite , the inclusion of these extra phases allows our eos to be in accord with ab initio predictions for pressures up to well over 100 mbar .
the electronic excitations in the liquid are treated with an average - atom model called purgatorio which , unlike thomas - fermi , includes the treatment of atomic shell structure within a kohn - sham dft framework @xcite . to constrain the ion - thermal model for the liquid ,
we perform dft - md in c up to 100,000 k and pimc caculations @xcite from @xmath9 200,000 k ( depending on the density ) to over @xmath10 k. we establish that the best fit to these eos predictions requires a model in which the decay of the ion - thermal specific heat is much faster than previously expected .
our newly - developed `` cell model '' @xcite , in conjunction with the purgatorio electron - thermal term , provides an excellent fit throughout the range of both the dft - md and the pimc data . in what follows
, we describe the details of our dft and pimc calculations , present the models we use for the free energies of the individual phases , and compare various thermodynamic tracks through our eos with the results of recent experiments performed on high - energy laser platforms @xcite .
our computational results fall into two categories : 1
. calculations of the eos , by which we mean internal energy , @xmath11 , and pressure , @xmath12 , as functions of density , @xmath2 , and temperature , @xmath4 , and 2 . calculations of intermediate quantities we which use to build the eos .
these include cold curves ( @xmath11 and @xmath12 as functions of @xmath2 , for ions fixed in position @xcite ) , phonon densities of states ( pdos ) , and electronic excitation contributions to the free energy . the first category of quantities we extract from dft - md ( for solid and liquid phases ) and pimc ( liquid phase ) .
the second group of quantities we extract solely from dft calculations for the solid phases .
it may seem at first as if our multitude of results overdetermines the eos , particularly in the liquid phase where both dft - md and pimc results reside .
however we find it crucial to make use of this full suite of results ; the approximations inherent in our dft and pimc calculations are altogether different , and it is important to check whether certain features of our results are artifacts of the simulation method or are robust indicators of the true eos of c. this is especially the case for the liquid at high temperatures , where we find ( with both methods ) results which contradict some of our previous assumptions ( see below ) .
fig.[pd_data ] shows the locations of our dft - md and pimc simulation points in the @xmath13-plane .
also shown for reference are our predicted c phase lines , presented and discussed in detail below , as well as portions of five separate isentropes computed from the eos model described in this work .
we stress that while the dft - md results are concentrated entirely in the diamond and liquid phases , we use the aforementioned dft - derived intermediate quantities ( cold curves , pdoss , etc . ) to constrain the eos model for each of the four solid phases considered here .
all of our dft - md and pimc data , consisting of internal energy and pressure at different densities and temperatures , are reproduced in tables contained in the supplementary material . in the following two subsections ,
we describe in detail our approaches to obtaining these data .     and pimc points for higher-@xmath4 .
also shown are portions of five isentropes ( green lines ) computed from our eos model with entropy values increasing from the bottom : 3.78 @xmath14/atom , 5.49 @xmath14/atom , 6.61 @xmath14/atom , 12.56 @xmath14/atom , and 12.72 @xmath14/atom .
note that the 0.1 g / cc isochore ( upper left - most red curve ) exists throughout a range in which the eos model of this work is _ not _ valid . ]      with dft methods , we perform calculations of cold curves , phonon densities of states , electronic excitation contributions to the free energy , and the eos itself ( @xmath11 and @xmath12 as functions of @xmath2 and @xmath4 ) .
we also present a limited number of calculations of ionic diffusivity , from which we can infer melt behavior . for all of these , we use the vasp code @xcite , together with projector augmented wave ( paw ) pseudopotentials @xcite .
we use a `` hard '' paw with a core radius of 1.1 bohr and 4 valence electrons and the generalized gradient approximation ( gga ) of dft with the perdew - burke - ernzerhof ( pbe ) exchange correlation functional @xcite .
the plane - wave cutoff is set to 1300 ev .    for the phonon calculations
, we use the primitive cell with a mp k - point grid of 40x40x40 for the simple cubic ( sc ) , the simple hexagonal ( sh ) phases and for fcc .
the sh is done with a @xmath15 ratio of 0.986 evaluated by performing cell optimization for several compressions . no appreciable variation in the @xmath15 ratio with volume was observed . for the diamond and bc8 phases we used a 8 atom unit cell with a 20x20x20 k - points grid . for the sc phase ,
we compared with a 2 atom unit cell with a pmma spacegroup ( tetragonal distorsion ) @xcite which was calculated with a 20x40x40 k - point grid .    for the molecular dynamics simulations ,
we use 64 atoms and perform born - oppenheimer md ( bomd ) within the nvt - ensemble with a nos - hoover thermostat @xcite .
we use a time step of 0.75 fs in order to converge the internal energy and pressure to the desired accuracy .
the electronic density is constructed from single - particle wave functions by sampling at the ( @xmath16,@xmath16,@xmath16 ) point of the brillouin zone .
the electron occupation numbers are taken to be a fermi - dirac distribution set at the average temperature of the ions .
for the different densities and temperatures , we use a sufficient number of bands such that we have at least 40 bands with occupation numbers smaller than 0.00001 .
the md is run for 10000 steps with the last 5000 steps used for averaging the internal energy and the pressure
.    the use of pseudopotentials under extreme conditions of pressure and temperature can be problematic . for high compressions or high temperatures the inter - atomic distances can become smaller than the diameter of the paw sphere . in figure [ hpgofr ]
, we plot the pair distribution functions for the densities 26.59 g / cc , 16.48 g / cc and 6.93 g / cc and temperatures of 50000 k and 100000 k , where clearly the paw spheres overlap significantly ( the black and blue dashed vertical lines are the diameter of the 1.1 and 0.8 bohr paw potentials respectively ; see below ) . at higher temperatures still
, the thermal excitations of the 1s electrons can no longer be neglected .
this can be addressed by having all 6 electrons in the valence ( for the current dft - md calculations , however , we find this not to be necessary for temperatures of 100,000 k or lower ) . at the highest compressions , the perturbation of the 1s
orbital may be significant and can again be addressed by having all 6 electrons in the valence .    in order to assess the sensitivity of our results to the paw potential chosen , we construct paw potentials with different cutoff radii , which range from 1.1 to 0.8 bohr radii .
the vanderbilt projectors generation scheme is utilized @xcite . as the cutoff radii decrease , in order to maintain and optimize the paw performance ,
we add additional partial waves for both @xmath17 and @xmath18 angular momenta .
different sets of reference energies are chosen , which are determined not to affect our computational results . moreover , when the carbon - carbon distance is sufficiently small , the 1@xmath17 core state is also included in the paw . for all cases tested , we find that a 5442  ev plane - wave cutoff energy is enough to reach convergence . for the paw test ,
we use fcc cells with lattice constants chosen so that the carbon - carbon nearest neighbor distances are representative of the distances observed during the highest-@xmath12 cold curve and md runs .
these tests are performed with the quantum - espresso ( qe ) package @xcite .
figure [ pawtest ] shows a comparison of the pressure obtained for this fcc cold curve with the different paws ( for both vasp and qe ) .
t 50,000 k and 100,000 k from pbe - dft - md .
the black and blue dashed vertical lines are the diameter of the 1.1 and 0.8 bohr paw potentials respectively . ]     and for fixed ionic positions ) versus inter - ionic distance for fcc carbon with various paw potentials using pbe - dft .
the black and blue dashed vertical lines are the diameter of the 1.1 and 0.8 bohr paw potentials respectively . ]
we only observe appreciable deviations between the different paws for densities above 60 g / cc , corresponding to carbon - carbon distances of @xmath9 1.3 bohr ( 0.7 @xmath19 ) .
the difference in the calculated pressure between the vasp @xmath20=1.1 bohr paw potential and the 6 electron paw is only 1% up to densities of 100 g / cc .
this corresponds to carbon - carbon distances of 1.1 bohr which is essentially the smallest carbon - carbon distances sampled during the highest temperature and highest density md runs .
however , this is no guarantee that the dynamics are not affected by the overlapping paw spheres . in this sense
, we submit that our dft - md eos data for the very highest densities and temperatures reported here may be of lower accuracy than those for the more moderate conditions .
nevertheless , we stress that the bulk of our conclusions below are unaffected by this fact .
pimc is the most accurate and efficient first - principles simulation technique to study the equilibrium properties of quantum systems in high temperature plasma states .
fermionic pimc simulations have been applied to study hydrogen  @xcite , helium  @xcite , hydrogen - helium mixtures  @xcite , one component plasmas  @xcite and most recently to simulate carbon and water plasmas  @xcite . in pimc simulations , electrons and nuclei
are treated equally as feynman paths in a stochastic framework for solving the full , finite - temperature , quantum many - body problem .
the natural operator to work with in this context is the thermal density matrix represented as a path integral in real space , @xmath21 @xmath22 @xmath23\big\ } \label{pimceq1}\ ] ] where @xmath24 is a many - body hamiltonian , @xmath25 assumes the role of imaginary time , @xmath26 , @xmath27 is the position of the @xmath28th particle , and @xmath29 is the step size in imaginary time intervals .
$ ] is the action , which determines the weight of every path .
the kinetic energy operator controls the diffusion of the paths in imaginary time and keeps bead @xmath31 at adjacent time slices close together .
a thermodynamic function corresponding to an operator , @xmath32 , can be derived from @xmath33 , where @xmath34 is the canonical partition function .
pimc explicitly addresses all the physics of high-@xmath4 plasmas including effects of bonding , ionization , exchange - correlation , and quantum degeneracy on an equal footing , and thereby circumvents both the need to occupy single - particle states , and the need to employ exchange - correlation approximations inherent in dft .
the coulomb interaction between electrons and nuclei is introduced using pair density matrices derived using the eigenstates of the two - body coulomb problem  @xcite .
the periodic images are treated using an optimized ewald break - up  @xcite applied to the pair action  @xcite .
challenges with the pimc formalism arise in fermionic simulations because only antisymmetric eigenstates contribute to the partition function .
those can be projected out by introducing an additional sum over all permutations , @xmath35 .
straightforward integration methods all lead to unstable algorithms due to the _ fermion sign problem _ , which is the result of the near complete cancellation of positive and negative contributions to the many - body density matrix .
a fixed - node approximation  @xcite was initially introduced to solve the sign problem for ground - state quantum monte carlo calculations . for the finite - temperature pimc simulation ,
a restricted - path method was developed  @xcite , where one only integrates over all paths that do not cross the nodes of a _ trial _ density matrix , @xmath36 , which must be available in analytic form .
the fermionic version of eq .
[ pimceq1 ] then reads @size9@mathfonts @xmath37^{\rho_t({\bf r}(\tau),{\bf r'};\tau))>0 } \end{array } } \!\!\!\!\!\!\!\!\!\!\!\!\ !
\mathcal{d}{\bf r}(\tau ) \exp\big\{-s[{\bf r}(\tau)]\big\}.\ ] ]    in addition to weighting all paths according to their action and summing over permutations , one must also check whether the sign of the trial density matrix has remained positive during every monte carlo move . if a sign change occurs anywhere along the new path , the proposed move is rejected . the @xmath38 argument in the nodal restriction plays a special role because the sign of the trial density matrix at all other time slices depends on it .
the restricted - path method provides the exact answer if the nodes from the exact many - body density matrix are used .
since exact nodes are not known for interacting systems , one must work with approximate nodes .
however , within any given set of nodes , the restricted path method will obtain the best possible solution that includes all interaction and correlation effects . the pimc method used here
employs a free - particle nodal structure , which has been shown to be sufficient for carbon at temperatures where atoms still have occupied 1s states , but partially occupied 2s states ( @xmath39 k )  @xcite .    using the restricted - path , free - particle nodal framework
, we use all - electron pimc to compute equations of state for carbon at densities of 0.1 , 3.18 , 8.5 , and 11.18 g@xmath40@xmath41 over a temperature range of 10@xmath4210@xmath43 k ( though we present data pertaining to all four isochores in the supplementary material , we stress that 0.1 g / cc is below the low - density limit of applicability of the eos model described below ) @xcite . a sufficiently small time step associated with pimc path slices
is determined by converging total energy as a function of time step until it changes by less than 0.2% .
we use a time step of 0.0078125 ha@xmath44 for temperatures below 5@xmath45 k and , for higher temperatures , the time step decreases as @xmath46 while keeping at least four time slices in the path integral . in order to minimize finite size errors ,
the total energy was converged to better than 0.2% for a 24 atom cubic cell .
we make the fundamental assumption that the helmholtz free enegy , @xmath47 , of each phase can be decomposed into the following terms : @xmath48 where @xmath49 and @xmath50 represent the contributions from ionic and electronic excitations , respectively .
while the identification of a temperature - independent piece ( @xmath51 ) is always possible by virtue of the fact that it is merely definitional , the separation of the thermal part into decoupled ionic and electronic pieces is a major assumption . in a practical sense , this assumption is at least a reasonable starting point since for solids at lower-@xmath4 , it has been shown to be accurate @xcite , and for the liquid at very high temperature ( ideal gas limit ) it is also trivially satisfied because interactions between particles are of no importance .
it is not necessarily justified for intermediate temperatures , but we shall invoke the approximation at any rate , as has been done in the past @xciteand take comfort in the fact that the ab initio eos data to which we fit in the liquid ( obtained from dft - md and pimc ) does _ not _ make this assumption .      for the solid phases we consider diamond , bc8 , simple cubic ( sc ) , and simple hexagonal ( sh ) , we take @xmath52 to be the internal energy of the perfect crystalline lattice ( with motionless ions ) at @xmath5 @xcite with the electrons in their ground state .
we fit this term to the dft data for the internal energy of the perfect lattice using the vinet equation of state @xcite , @xmath53,\ ] ] where @xmath54.\ ] ]    = 0 ( and for fixed ions ) in ev / atom versus @xmath55/atom in @xmath56 for various phases of c. points indicate the results of pbe - dft calculations , while the thin curves are fits to these data used in our eos model .
the phases represented are : diamond ( red ) , bc8 ( blue ) , sc ( cyan ) , and sh ( black ) .
( a ) shows the whole range over which the eos model is constructed , while ( b ) shows a closer view of the range between @xmath57 2 and 5 @xmath56/atom .
, title="fig : " ] = 0 ( and for fixed ions ) in ev / atom versus @xmath55/atom in @xmath56 for various phases of c. points indicate the results of pbe - dft calculations , while the thin curves are fits to these data used in our eos model .
the phases represented are : diamond ( red ) , bc8 ( blue ) , sc ( cyan ) , and sh ( black ) .
( a ) shows the whole range over which the eos model is constructed , while ( b ) shows a closer view of the range between @xmath57 2 and 5 @xmath56/atom .
, title="fig : " ]    here , @xmath58 is the bulk modulus at the volume @xmath59 , @xmath60 is the pressure - derivative of the bulk modulus at @xmath59 , and @xmath61 is the internal energy at @xmath59 . fig .
[ colds ] shows the computed cold curves of the various phases , together with our fits to them , using eq.[vinet ] .
the cold curve parameters for each phase ( @xmath61 , @xmath58 , @xmath60 , and @xmath59 ) are given in table 1 , along with the other phase - dependent parameters we discuss below .
our ( pbe ) gga - dft results for the solid cold curves are very similar to those of ref.@xcite , but there are differences which result presumably from the use of different pseudopotentials and associated choices for the plane wave energy cutoff in the determination of the internal energy .
though small , these differences give rise to rather pronounced changes in the predicted phase transition pressures ( bc8 @xmath7 sc @xmath7 sh ) when compared to the phase diagram presented in ref.@xcite .
this will be discussed more below , after the thermal components of the free energies are considered and our phase diagram is presented . at this point
, we note that we have checked that our inferred _ cold _ transition pressures , determined from the two - phase maxwell construction @xcite , should be inaccurate by no more than a few percent due to our use of the vinet fitting form , eq.[vinet ] ( though we in no way imply that pbe gga - dft is necessarily this accurate for predicting these transition pressures at such high compressions ) .    for @xmath62
, we use the ion excitation free energies of the various lattices computed for cases in which the electrons are in their instantaneous ground state ( for each ionic configuration ) .
in other words , we invoke the born - oppenheimer approximation . in addition , the quasiharmonic approximation is assumed for each phase .
we investigated anharmonicity for diamond and bc8 phases in ref.@xcite and showed its effects to be small ; the effects of anharmonicity in sc and sh phases await further study .
given this quasiharmonic description , we use double - debye models @xcite for the diamond , bc8 , and sc phases , and a regular single - debye model for the sh phase .
all are fit to the @xmath55-dependent phonon densities of states ( pdoss ) for these various phases computed with dft using a linear response approach . in the double - debye prescription
, the pdos for a given volume is presumed to consist of two overlapping features , each of which is of the form : @xmath63 for @xmath64 and 0 for @xmath65 , where the two unequal @xmath66 functions are related to various moments of the pdos @xcite . since the double - debye model allows for two different values of @xmath67 ( say , @xmath68 and @xmath69 ) for each @xmath55 , it is useful in cases where the high-@xmath4 phonon moment , @xmath70 $ ] , is rather different from the low-@xmath4 zero - point moment , @xmath71 .
this is certainly the case for the diamond and bc8 phases , especially at high compressions , as discussed in detail in ref.@xcite .
our calculations for the sh phase shows that @xmath72 and @xmath73 are very nearly equal throughout the predicted range of its stability .
thus , we use a single - debye free energy for the sh ion - thermal term to reduce the total number of fitting parameters .
[ thetas ] shows the three phonon moments , @xmath74 , and @xmath75 ( @xmath76 , as functions of @xmath55 for bc8 , sc , and sh phases as determined from our computed pdoss .
note that the @xmath77 for the different phases nearly coincide in the neighborhood of the volumes where their cold curves cross .
for this reason , the @xmath4 vs. @xmath12 phase lines are rather vertical in nature ( see below ) .
it is from these moments that we derive ( for the diamond , bc8 , and sc phases where the double - debye model is used ) the two debye temperatures , @xmath68 and @xmath69 , by solving the system of equations given as eqs.9 - 12 of ref . @xcite . for all @xmath78 functions for the various phases
, we assume the @xmath55-dependence : @xmath79 , \label{gamma}\ ] ] where @xmath80 is the value at a reference volume @xmath81 .
this arises from the assumption that the ion - thermal grneisen parameter for @xmath66 is equal to @xmath82 @xcite .
the relevant ion - thermal parameters ( @xmath80 , @xmath83 , @xmath84 , and @xmath81 ) which determine the various debye temperatures for each phase are presented in table 1 . in terms of @xmath68 , @xmath69 , and @xmath73 ,
the double - debye free energy is written as @xmath85f_{\rm a}(v , t ) + \left[\frac{\theta_{1}(v ) -
\theta_{\rm a}(v)}{\theta_{\rm b}(v ) -
\theta_{\rm a}(v)}\right]f_{\rm b}(v , t),\ ] ] where @xmath86 and @xmath87 are the single - debye free energies for the individual a and b peaks associated with a given pdos .
( circles ) , @xmath73 ( squares ) , @xmath75 ( diamonds ) in kelvins versus @xmath55/atom in @xmath56 for bc8 ( blue ) , sc ( cyan ) , and sh ( black ) phases as computed with linear response methods using pbe - dft . ]    the electronic excitation term for each solid phase , @xmath88 , is taken be of the form , @xmath89 which is motivated by a performing a sommerfeld expansion of the electronic excitation free energy , assuming @xmath90 to be a small parameter @xcite .
this contribution is extracted from pbe gga - dft calculations in which electronic occupancies are constrained by a fermi - dirac distribution with temperature @xmath4 , but for ions _ fixed _ in their lattice positions . as discussed in ref.@xcite ,
this term is essentially zero for the diamond phase throughout its stability field , and is exceedingly small ( though non - zero ) for the bc8 phase as well @xcite .
for this reason , electronic excitation contributions were intentionally neglected by those authors in their solid - phase eos models . here
we choose to include these terms ; their values for the sc and sh phases are somewhat larger than those of bc8 , because the electronic density of states near @xmath91 generally increases with compression .
still , their inclusion has a rather small effect on eos and the resulting phase lines .
we fit these small dft - based terms by assuming @xmath92 @xcite ; our choices for @xmath93 , @xmath94 , and @xmath95 are presented in table 1 for each phase .
note that there are nonzero values for @xmath96 which appear for the diamond and bc8 phases in this table ; these result from earlier extractions of anharmonic ion - thermal free energy contributions @xcite ( which happen also to have a @xmath97 dependence ) , and are _ not _ due to electronic excitations @xcite .
( k ) for the diamond phase .
( b ) pressure ( gpa ) isochores versus @xmath4 ( k ) for the diamond phase .
red points are the results of dft - md , blue lines are the results of our eos model . in both plots , @xmath55 ranges from 3.0683 @xmath56/atom to 5.3903 @xmath56/atom . , title="fig : " ]   ( k ) for the diamond phase .
( b ) pressure ( gpa ) isochores versus @xmath4 ( k ) for the diamond phase .
red points are the results of dft - md , blue lines are the results of our eos model . in both plots
, @xmath55 ranges from 3.0683 @xmath56/atom to 5.3903 @xmath56/atom .
, title="fig : " ]    in order to check the validity of our solid - phase eos model for c , we compare to our dft - md results for pressure and internal energy in the diamond phase .
these results exist throughout a range where diamond is predicted to be the stable phase ( @xmath98 , and @xmath99 ) .
[ diamond ] shows that the model agrees with the diamond - phase dft - md quite well , even though these data , per se , were not used in the fitting ( rather , only cold curves , pdoss , and electronic doss were used ) .
various factors contribute to the slight disagreement between the model and the dft - md data : 1 .
the model is built from the diamond cold curve as calculated for an effectively infinite system ( affected by a large number of @xmath100-points ) , while the dft - md was performed with a limited number of atoms ( 64 ) in a supercell and a single @xmath100-point .
the ion - thermal term of the diamond free energy model is taken to be that of ref.@xcite ; the phonon calculations therein were performed with different pseudopotentials and different plane wave cutoff energies .
this is likely to be a very small contributor to the eos differences , however , for the relevant moments of the pdoss at various volumes are strikingly similar to those resulting from the computational framework adopted in this work .    .phase - dependent eos model parameters for the solid phases of our multiphase c eos .
the upper segment of the table concerns cold curve parameters , the middle segment quasiharmonic ion - thermal parameters , and the lower segment electron - thermal / anharmonic - ion - thermal parameters . all volumes ( @xmath55 ) are in @xmath56/atom , @xmath58 is in gpa , @xmath60 is unitless , @xmath61 is in ev / atom , all characteristic temperatures ( @xmath67 ) are in kelvins , @xmath83-parameters are in @xmath101 , @xmath84-parameters are unitless , @xmath93 is in kelvins@xmath44 , and @xmath94 is unitless . [ cols="^,^,^,^,^",options="header " , ]      given the free energy models for the individual solid ( diamond , bc8 , sc , sh ) and liquid phases , we construct the phase diagram and multiphase eos by invoking the maxwell construction for each pair of phases ( here denoted 1 and 2 ) , and at each temperature , @xmath4 , of interest @xcite : @xmath102 where @xmath103 are total free energies for each phase , @xmath104 are the transition volumes , and @xmath12 is the transition pressure . since the individual solid phases are only meaningful ( as in metastable ) in the neighborhood of their fields of thermodynamic stability , we only consider each solid phase free energy function throughout a restricted range of @xmath55 , so as to minimize the spurious effects of improper extrapolation .
in particular , we consider diamond from 2.5 @xmath56/atom @xmath7 7.0 @xmath56/atom , bc8 from 1.3 @xmath56/atom @xmath7 3.5 @xmath56/atom , sc from 1.0 @xmath56/atom @xmath7 7.0 @xmath56/atom , and sh from 0.01 @xmath56/atom ( undoubtedly well beyond its actually range of stability ) @xmath7 7.0 @xmath56/atom .
the liquid is considered throughout the wide range : 0.01 @xmath56/atom @xmath7 7.0 @xmath56/atom , though the actual intended range of validity of the eos model reported here is limited to the regime covered by our _ ab initio _ calculations ( see supplementary material ) : 0.75 @xmath56/atom @xmath105 @xmath55 @xmath106 5.4 @xmath56/atom ( as we stated above , we choose not to require agreement with the 0.1 g / cc pimc isochore in this work ) .
[ pd]a shows the resulting phase diagram in the regime of pressure and temperature addressed in the work of ref.@xcite .
our phase lines computed in this work differ only slightly from those in that earlier study .
in particular , the diamond - bc8 transition pressure is slightly lower ; this is due to our diamond and bc8 cold curves being slightly different from those of ref.@xcite ( higher plane wave cutoffs and different pseudopotentials were used here ) .
also , the bc8-phase melt temperature is slightly lower , as evidenced by our comparison to the kechin fits to the carbon melt curves of ref.@xcite to which the eos model of ref.@xcite was fit .
nevertheless , our phase diagram is quite close to that of the older model in the range of its applicability . also shown in fig .
[ pd ] are various isentropes as computed with our multiphase eos model ; values of the entropy for each are listed in the figure caption .
the principal hugoniot of carbon computed with the model is shown as well in fig .
this is defined to be the locus of final states accessible via a planar one - dimensional shock , given a particular assumed initial state , here taken to be @xmath107 3.52 g / cc and @xmath108 300 k. this curve has two branches : one for which the final state is the diamond phase , and one in which the liquid is the final state .
they are separated by a flat region in @xmath4 straddling the pressure at which the diamond @xmath7 bc8 transition is predicted to occur . in this portion of the hugoniot curve
the final state is in a mixed - phase region , the size of which is directly related to the latent heat of melting , as discussed in ref.@xcite .
we predict a principal hugoniot which is similar to that predicted by the earlier carbon eos model @xcite ( indeed , it is nearly identical in the diamond - phase portion ) .
however , there is a pronounced increase ( @xmath9 100 gpa ) in the hugoniot final state pressure of the liquid portion , which is explained by the added latent heat of melting resulting from the addition of the purgatorio electron - thermal contribution .
our change in entropy from solid to liquid at constant @xmath55 at the shock melt conditions is @xmath109/atom , while in the model of ref.@xcite it is @xmath110/atom .
this in turn moves our liquid branch of the hugoniot a bit closer to the measured @xmath4 vs. @xmath12 hugoniot data of eggert et al.@xcite ( the upper and lower bounds of their experimental error bars are displayed as well in fig .
[ pd]a ) . our hugoniot still fails to fall within the bounds of their measurements , however .
the phase diagram of our multiphase c eos model over a larger range of pressure and temperature is shown in fig . [ pd]b .
the higher-@xmath12 solid phases , sc and sh , appear as well , in addition to diamond , bc8 , and liquid phases .
several important features are worth noting : 1 .
the bc8 @xmath7 sc transition pressure is nearly independent of temperature , as is the case for the diamond @xmath7 bc8 transition pressure .
this is because the relevant moments , @xmath66 , of the pdoss of the phases on either side of each transition are very similar at the densities at which the transitions occur , as discussed above .
the sc @xmath7 sh phase line is less vertical , and curves to lower-@xmath12 for higher @xmath4 , but we do _ not _ predict that this phase line intersects the bc8-sc phase line before intersecting the melt curve .
this is in stark contrast to the prediction of ref.@xcite , which shows a sc - sh phase line which intersects the bc8-sc line at @xmath111 k. though we use similar ab initio and eos modeling methods to theirs , we suspect that their treatment of the @xmath4-dependence of the transition pressure in their gibbs free energy matching prescription is sufficiently different from our approach to produce this discrepancy .
we have checked that alternate ways of fitting our eos data ( cold curves , pdoss and resulting ion - thermal free energy terms ) still give the general phase diagram topology we present here , though we do not discount the possibility that the extreme sensitivity of the phase lines to small changes in the individual phase free energies can render our predictions somewhat inaccurate , especially at these higher pressures where the @xmath112 curves are nearly parallel .
the value of the sc - sh transition pressure at low-@xmath4 is @xmath113 higher than that reported in ref.@xcite , though the position of the bc8-sc transition line is in reasonable agreement between the two studies .
this is likely a result of the use of different pseudopotentials and plane wave convergence criteria .
again , the nearly coincident free energy functions for different phases at high pressures makes the phase lines extremely sensitive to any otherwise subtle changes .
4 . the melt line of the sh phase possesses a maximum at @xmath114 gpa .
this is striking , but is one of the least certain predictions we make in this work ; we have seen that slight changes to our eos model parameters which produce small changes to our liquid free energy ( which are within both our assumed model and dft - md uncertainties ) yield sc melt temperatures which exhibit markedly different behavior .
our reason for favoring this particular eos model parameterization over other nearly equivalent ones can be found in our computation of the ionic diffusivities using the dft - md .
[ diff ] shows two diffusivity isotherms , the lower one for @xmath108 10,000 k and the upper one for @xmath108 20,000 k. a very small ( approaching zero ) diffusivity is indicative of a solid phase .
the ionic diffusivity at 20,000 k shows the expected decrease as @xmath55 decreases , but is otherwise large as expected for a liquid .
the diffusivity at 10,000 k shows a pronounced dip towards zero at a @xmath115 1.2 @xmath56/atom , corresponding to a pressure of roughly 10,000 gpa ( see fig .
[ highpliqp ] ) .
this is a clear indication of solidification , and indeed , the phase diagram of fig .
[ pd]b shows a melt curve which attains its maximum ( of just over 10,000 k ) at @xmath116 gpa .
though this provides a nice consistency check on our dft - md - derived c eos model , we caution that the diffusivity calculations were performed in a cell of 64 atoms ( as were the dft - md calculations of eos ) , and solidification can be biased in simulations with small cells of fixed shape @xcite .
the overarching points to be made about our prediction of the phase diagram of c are two - fold : first , our predictions of phase lines are necessarily less accurate the higher the pressure is , for the reasons mentioned directly above .
these inaccuracies are the combined result of the inherent uncertainties in the underlying ab initio electronic structure data , and the deficiencies of eos models which have a finite number of adjustable parameters .
second , the predicted volume changes across such high-@xmath12 phase lines are often exceedingly small ( which is what makes the accurate determination of these transition lines difficult ) .
thus , the least accurate phase lines have a minimal impact on the eos itself ( @xmath12 and @xmath11 at a given @xmath2 and @xmath4 ) .
/atom , 5.49 @xmath14/atom , 6.61 @xmath14/atom , 12.56 @xmath14/atom , and 12.72 @xmath14/atom .
, title="fig : " ] /atom , 5.49 @xmath14/atom , 6.61 @xmath14/atom , 12.56 @xmath14/atom , and 12.72 @xmath14/atom .
, title="fig : " ]    /s vs. @xmath55 in @xmath56/atom for two isotherms : @xmath108 10,000 k ( lower ) and @xmath108 20,000 k ( upper ) , as computed by dft - md . ]
we have already discussed the comparison of the results of our c eos model to principal hugoniot data in the @xmath13-plane .
these recent measurements made use of optical pyrometry techniques @xcite which lie outside the typical purview of classic shock - compression experiments .
now we compare to a larger set of principal hugoniot data for elemental carbon transformed more typically to the @xmath117-plane , as well as to room - temperature isotherm data from static compression experiments .
[ rh ] shows the 300 k isotherm ( red ) and the principal hugoniot ( blue ) in @xmath117-space as calculated from our multiphase c eos model .
the isotherm ( which is very similar to the principal isentrope ) shows flat regions where the phase transitions occur ( bc8 @xmath7 sc and sc @xmath7 sh in this plot ) .
the @xmath12 vs. @xmath2 hugoniot is nearly indistinguishable from the isotherm below roughly 1000 gpa , but deviates dramatically from it at higher stresses .
the point at which they diverge corresponds to the point where the hugoniot final states begin to reside in the liquid phase ( see fig .
[ pd ] ) . also shown on this figure
are data from static compression measurements of the room - temperature isotherm @xcite ( green circles at the lowest @xmath12 ) , magnetically - driven flyer plate studies @xcite ( dense set of magenta + symbols with @xmath118 6 - 7 g / cc ) and multiple sets of laser - shock data on the principal hugoniot of diamond ( symbols with error bars ) @xcite .
note that the much of the highest-@xmath12 hugoniot data @xcite seems to straddle the 300 k isotherm , even well above @xmath119 gpa ; indeed , the data of brygoo et al .
@xcite even falls below our prediction of the room-@xmath4 isotherm .
this is very puzzling in light of our theoretical results which suggest that the hugoniot should be much stiffer than the isotherm at these larger compressions .
our previous ab initio - based c eos @xcite was only fit to dft - md data up to @xmath108 20,000 k , which translates to @xmath120 1600 gpa on the principal hugoniot . at this pressure ,
the hugoniot and the 300 k isotherm are still rather close .
the eos model of this work , however , is validated by comparing to calculations ( dft , pimc ) that span the full range of temperature up to ideal gas conditions ; note in particular the comparison to dft - md data on a dense grid of @xmath121 as pictured in figs .
[ liqe ] and [ liqp ] which covers the entire range of conditions relevant for the comparison of fig .
[ rh ] .    in order to check the robustness of our conclusions that the principal hugoniot should indeed be far stiffer than the 300 k isotherm for @xmath122 1000 gpa
, we have verified that the different variants of liquid c eos we discussed in section iii.b.1 ( cowan + purgatorio , cell + thomas - fermi , etc . )
all show this same basic relationship between the low-@xmath4 isotherm and the hugoniot . looking back again to the experimental results pictured in fig .
[ rh ] , we note that there are data with @xmath122 1000 gpa that seem to be closer to our hugoniot predictions , in particular those of nagao et al .
@xcite and hicks et al .
it must be mentioned that the hicks et al .
data shown here is _ not _ that as presented in the original hicks et al .
reference , but is instead a data set which results from a reanalysis @xcite of the quartz eos @xcite which was used as an impedance - matched standard in that work .
the original uncorrected data set @xcite lies much closer to our low-@xmath4 isotherm than to our principal hugoniot prediction in this higher-@xmath12 region .
these experimental improvements notwithstanding , we still submit that further work must be done to resolve the theory - experiment discrepancy at the very highest compressions shown here .
we have constructed a 5-phase eos for elemental carbon based entirely on ab initio electronic structure calculations of the density functional theory and path integral monte carlo varieties .
the pimc and high - temperature dft - md data were particularly useful in helping us differentiate between different choices of ion - thermal ( cowan , cell ) and electron - thermal ( thomas - fermi , purgatorio ) models .
we found that these data strongly favor the cell + purgatorio combination .
the multiphase eos is constructed entirely without patching different models together in an ad hoc fashion ; rather , full thermodynamic consistency is maintained and the appropriate high-@xmath4 limit is reached in a seamless manner .
our eos model includes , in addition to diamond , bc8 , and liquid , two of the ultra - high pressure solid phases recently predicted by martinez - canales et al .
@xcite : simple - cubic , and simple - hexagonal . though our prediction of the phase diagram of carbon in this high-@xmath12 region is broadly similar to theirs , the detailed positions of phase lines and resulting triple - points are somewhat different , owing to the sensitivity of the phase lines to the detailed prescriptions for obtaining the individual phase free energies and computing the transition pressures .
further work should be done to resolve these details , though we maintain that the eos itself should be reasonably accurate at high compressions in spite of this .
comparison to recent laser - shock compression data @xcite shows notable disagreement with the subset of results @xcite which suggest that the principal hugoniot is nearly coincident with the low-@xmath4 isotherm even at pressures in excess of 1000 gpa .
it is not at all clear at the moment as to what is causing such a discrepancy , particularly since the general features of our predictions ( seen in fig .
[ rh ] ) are quite robust and seemingly independent of many of the choices we have made in modeling the eos of liquid c. we are encouraged , however , that a more recent reanalysis @xcite of the data of hicks et al .
@xcite seems to bring their principal hugoniot into better agreement with our prediction .
one of the central results of this work is that our high-@xmath4 dft - md and pimc data on carbon are found to be in excellent agreement with a new ion - thermal free energy model .
this so - called cell model exhibits an evolution from dulong - petit to ideal gas limits as @xmath4 is increased which is more rapid than that of the older cowan model .
although the results presented here are specific to carbon , existing eos models for other materials that are based on the widely - used cowan model may need to be re - examined in this light , as those materials may also possess a somewehat rapid decay of @xmath123 with @xmath4 .
recent work with simpler classical inter - ionic potentials suggests that such rapid decays may be common @xcite .
we thank c.j .
pickard , m. martinez - canales , j. dubois , m.a .
morales , g.w .
collins , p.a .
sterne , h.d .
whitley , d.m .
sanchez , j.i .
castor , d. ho , d. braun , and r.f .
smith for helpful discussions .
this work was performed under the auspices of the u.s .
department of energy by lawrence livermore national laboratory under contract no .
de - ac52 - 07na27344 .
correa , s.a .
bonev , and g. galli , proc .
sci . u.s.a . * 103 * , 1204 ( 2006 ) .
an important earlier work first suggesting the existence of a maximum in the diamond melt curve is : m.p .
grumbach and r.m .
martin , phys .
b * 54 * , 15730 ( 1996 ) .
strictly speaking , our cold curves describe the material at @xmath5 , assuming _ infinite ionic mass _ ; quantum zero - point motion is therefore not included in this contribution .
although the zero - point free energy ( and hence , @xmath11 and @xmath12 as well ) is independent of @xmath4 , we choose to lump the zero - point energy into our ion - thermal term , since it arises from the consideration of ionic excitations .
g. kresse and j. hafner , phys .
b , * 47 * , 558 ( 1993 ) ; g. kresse and j. hafner , phys . rev .
b , * 49 * , 14251 ( 1994 ) ; g. kresse and j. furthmller , comput . mat .
, * 6 * , 15 ( 1996 ) ; g. kresse and j. furthmller , phys . rev .
b , * 54 * , 11169 ( 1996 ) .
it is important to note that gga - dft generally underestimates the electronic excitation gaps of materials , resulting in metalization pressures that are too low , and electronic excitation free energies ( for systems on the border between insulating and metallic ) which are too large . in this sense ,
our predictions of the effects of electronic excitation on the eos of solid c are likely to be overestimates .    for all solid phases
whose models possess a @xmath97 ( electron - thermal or anharmonic ion - thermal ) free energy term , we apply corrections above @xmath4= 20,000 k , well beyond their ranges of stability , which smoothly force @xmath49 to a constant independent of @xmath4 .
this is done to prevent these solid phases from becoming more stable than the liquid at high-@xmath4 , which would eventually occur if the @xmath97 term , meant strictly as a low-@xmath4 correction , is allowed to persist at high temperatures .    for a given break - point , the cold curve function
is changed according to : @xmath124^{n}}{b + [ ( v_{b}/v ) - 1]^{n}}$ ] for @xmath125 , and no correction for @xmath126 .
when there are multiple break - points applied for a given phase ( there are four in our liquid model ) , it is understood that these additions are applied _ in succession _
( i.e. , first `` 1 '' , then `` 2 '' , etc . ) .
the requirement that @xmath127 satisfies the lindemann relation with the liquid ion - thermal grneisen parameter ensures that @xmath128 ( ideal gas pressure ) as @xmath129 @xcite .
see this reference for the original discussion of the lindemann relation : f. lindemann , z. phys . *
11 * , 609 ( 1910 ) .
note that @xmath127 is _ not _ the melting temperature of c ( as in the original cowan prescription used in ref.@xcite ) , but is rather the temperature above which the ion - thermal specific heat begins to deviate from the dulong - petit limit of @xmath130 and head toward the ideal gas value of @xmath131 @xcite .
note also that the conclusions we draw in this work regarding the lack of suitability of the cowan model also apply if we lower the value of @xmath132 to 10,000 k , which is just above the melt temperature of c over a wide range of compressions
.    our definitions for the fractional differences in @xmath11 and @xmath12 would be problematic if @xmath133 or @xmath134 were close to zero for some @xmath4 ; this is not the case for the @xmath4 and @xmath2 considered here ( and given the definition of the zero of internal energy employed ) .
we have also computed the internal energy of an isochore with @xmath135/atom using dft - md , and have shown that there is a pronounced jump in @xmath11 as @xmath4 is raised above 10,000 k , which again is right in the neighborhood of the maximum of the melt curve of the sh phase . for this set of calculations , a periodic cell with 392 c atoms
was used .
m. hafland , h. beister , and k. syassen , phys . rev .
b * 39 * , 12598 ( 1989 ) . note that this work described static compression of graphite , however for densities above @xmath9 3.5 g / cc , a clear transition to diamond - like compressibility is seen .