The landscape
To characterize the energy landscape of the REM, we can determine the number  of configurations having energy
 of configurations having energy  ![{\displaystyle E_{\alpha }\in [E,E+dE]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/743293b01383f5322ecc6b6bb9268ca083af88f4) . This quantity is a random variable. For large
. This quantity is a random variable. For large  , its typical value is given by
, its typical value is given by
 
where  is the entropy of the model. A sketch of this function is in Fig. X. The point where the entropy vanishes,
 is the entropy of the model. A sketch of this function is in Fig. X. The point where the entropy vanishes,  , is the energy density of the ground state, consistently with what we obtained with extreme values statistics. The entropy is maximal at
, is the energy density of the ground state, consistently with what we obtained with extreme values statistics. The entropy is maximal at   : the highest number of configurations have vanishing energy density.
: the highest number of configurations have vanishing energy density.
- We begin by computing the average   . We set . We set , where , where is the annealed entropy. Write is the annealed entropy. Write with with if if![{\displaystyle E_{\alpha }\in [E,E+dE]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/743293b01383f5322ecc6b6bb9268ca083af88f4) and and otherwise. Use this together with otherwise. Use this together with to obtain to obtain : when does this coincide with the entropy? : when does this coincide with the entropy?
- For    the quantity the quantity is self-averaging. This means that its distribution concentrates around the average value is self-averaging. This means that its distribution concentrates around the average value when when . Show that this is the case by computing the second moment . Show that this is the case by computing the second moment and using the central limit theorem. Show that  this is no longer true in the region where the annealed entropy is negative. and using the central limit theorem. Show that  this is no longer true in the region where the annealed entropy is negative.
- For   the annealed entropy is negative. This means that configurations with those energy are exponentially rare: the probability to find one is exponentially small in the annealed entropy is negative. This means that configurations with those energy are exponentially rare: the probability to find one is exponentially small in . Do you have an idea of how to show this, using the expression for . Do you have an idea of how to show this, using the expression for ? Why the entropy is zero in this region? Why the point where the entropy vanishes coincides with the ground state energy of the model? ? Why the entropy is zero in this region? Why the point where the entropy vanishes coincides with the ground state energy of the model?
this will be responsible of the fact that the partition function  is not self-averaging in the low-T phase, as we discuss below.
 is not self-averaging in the low-T phase, as we discuss below.
The free energy and the freezing transition
Let us compute the free energy  of the REM. The partition function reads
 of the REM. The partition function reads 
 
 
We have shown above the behaviour of the typical value of  for large
 for large  . The typical value of the partition function is
. The typical value of the partition function is
![{\displaystyle Z=\int _{-N{\sqrt {\log 2}}}^{N{\sqrt {\log 2}}}dE\,{\mathcal {N}}(E)e^{-\beta E}=\int _{-{\sqrt {\log 2}}}^{\sqrt {\log 2}}d\epsilon \,e^{N\left[\Sigma (\epsilon )-\beta \epsilon \right]+o(N)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e145c9e0d4620a0d93bdc74127c00c29313c53ef) 
 
In the limit of large   , this integral can be computed with the saddle point method, and one gets
, this integral can be computed with the saddle point method, and one gets
![{\displaystyle {Z}=e^{N\left[\Sigma (\epsilon ^{*})-\beta \epsilon ^{*}\right]+o(N)},\quad \quad \epsilon ^{*}={\text{argmax}}_{|\epsilon |\leq {\sqrt {\log 2}}}\left(\Sigma (\epsilon )-\beta \epsilon \right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3271e3ed43e1d4f43fb02db629ee1c652eba3e76) 
Using the expression of the entropy, we see that the function is stationary at   , which belongs to the domain of integration whenever
, which belongs to the domain of integration whenever  . This temperature identifies a transition point: for all values of
. This temperature identifies a transition point: for all values of  , the stationary point is outside the domain and thus
, the stationary point is outside the domain and thus  has to be chosen at the boundary of the domain,
 has to be chosen at the boundary of the domain,  .
.
The free energy becomes
