T-I

The REM: the energy landscape

To characterize the energy landscape of the REM, we determine the number ${\mathcal {N}}(E)dE$ of configurations having energy $E_{\alpha }\in [E,E+dE]$. This quantity is a random variable. For large $N$, its typical value is given by

${\mathcal {N}}(E)=e^{N\Sigma \left({\frac {E}{N}}\right)+o(N)},\quad \quad \Sigma (\epsilon )={\begin{cases}\log 2-\epsilon ^{2}\quad &{\text{ if }}|\epsilon |\leq {\sqrt {\log 2}}\\0\quad &{\text{ if }}|\epsilon |>{\sqrt {\log 2}}\end{cases}}.$

The function $\Sigma (\epsilon )$ is the entropy of the model, and it is sketched in Fig. X. The point where the entropy vanishes, $\epsilon =-{\sqrt {\log 2}}$, is the energy density of the ground state, consistently with what we obtained with extreme values statistics. The entropy is maximal at $\epsilon =0$: the highest number of configurations have vanishing energy density.

• The annealed entropy. We begin by computing the average ${\overline {{\mathcal {N}}(E)}}$. We set ${\overline {{\mathcal {N}}(E)}}=e^{N\Sigma ^{A}\left({\frac {E}{N}}\right)+o(N)}$, where $\Sigma ^{A}$ is the annealed entropy. Write ${\mathcal {N}}(E)dE=\sum _{\alpha =1}^{2^{N}}\chi _{\alpha }(E)dE$ with $\chi _{\alpha }(E)=1$ if $E_{\alpha }\in [E,E+dE]$ and $\chi _{\alpha }(E)=0$ otherwise. Use this together with $p(E)$ to obtain $\Sigma ^{A}$ : when does this coincide with the entropy?

• For $|\epsilon |\leq {\sqrt {\log 2}}$ the quantity ${\mathcal {N}}(E)$ is self-averaging. This means that its distribution concentrates around the average value ${\overline {\mathcal {N}}}(E)$ when $N\to \infty$. Show that this is the case by computing the second moment ${\overline {{\mathcal {N}}^{2}}}$ and using the central limit theorem. Show that this is no longer true in the region where the annealed entropy is negative.

• For $|\epsilon |>{\sqrt {\log 2}}$ the annealed entropy is negative. This means that configurations with those energy are exponentially rare: the probability to find one is exponentially small in $N$. Do you have an idea of how to show this, using the expression for ${\overline {{\mathcal {N}}(E)}}$? 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 $Z$ 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 $f$ of the REM. The partition function reads

$e^{-\beta Nf+o(N)}=Z=\sum _{\alpha =1}^{2^{N}}e^{-\beta E_{\alpha }}=\int dE\,{\mathcal {N}}(E)e^{-\beta E}$

We have shown above the behaviour of the typical value of ${\mathcal {N}}$ for large $N$. The typical value of the partition function is

$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)}$

In the limit of large Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle N } , this integral can be computed with the saddle point method, and one gets

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\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) }

Using the expression of the entropy, we see that the function is stationary at Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \epsilon^*= -1/2T } , which belongs to the domain of integration whenever Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle T \geq T_c= 1/(2 \sqrt{\log 2}) } . This temperature identifies a transition point: for all values of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle T < T_c } , the stationary point is outside the domain and thus Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \epsilon^*} has to be chosen at the boundary of the domain, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \epsilon^*= -\sqrt{\log 2}} .

The free energy becomes

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f = -\frac{1}{\beta}\lim_{N \to \infty} \frac{\log Z}{N} = \begin{cases} &- \left( T \log 2 + \frac{1}{4 T}\right) \quad \text{if} \quad T \geq T_c\\ & - \sqrt{\log 2} \quad \text{if} \quad T <T_c \end{cases} \quad \quad T_c= \frac{1}{2 \sqrt{\log 2}} }