T-3: Difference between revisions
Created page with "<strong>Goal of these problems: </strong> In this set of problems, we compute the free energy of the spherical <math>p</math>-spin model in the Replica Symmetric (RS) framework, and in the 1-step Replica Symmetry Broken (1-RSB) framework. <br> <strong>Key concepts: </strong> === The order parameters: overlaps, and their meaning === In the lectures, we have introduced the Edwards-Anderson order parameter <center> <math> q_{EA}=\frac{1}{N}\sum_i \overline{\langle..." |
|||
| (177 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
<strong>Goal | <strong>Goal: </strong> use the replica method to compute the quenched free energy of a prototypical mean-field model of glasses, the spherical <math>p</math>-spin model. <br> | ||
<strong>Techniques: </strong> replica trick, Gaussian integrals, saddle point calculations. | |||
<br> | <br> | ||
< | == Quenched vs annealed, and the replica trick== | ||
In Problems 1 and 2, we defined the <ins>quenched free energy</ins> as the physically relevant quantity controlling the scaling of the typical value of the partition function <math>Z </math>, which means: | |||
<math display="block"> | |||
f= -\lim_{N \to \infty} \, \frac{1}{\beta N} \, \mathbb{E}[ \log Z]. | |||
</math> | |||
The <ins>annealed free energy</ins> <math>f_{\text{a}} </math> instead controls the scaling of the average value of <math>Z </math>, and it is defined by | |||
<math display="block"> | |||
f_{\text{a}} = -\lim_{N \to \infty}\, \frac{1}{\beta N} \,\log \mathbb{E}[Z]. | |||
</math> | |||
These formulas differ by the order in which the logarithm and the average over disorder are taken. | |||
For the REM, because of the simplicity of the model we could compute the quenched free-energy by computing the typical value of the number of configurations with a given energy. This can not be done in general, and one has to resort to the computation of the average of the logarithm, which is a hard problem. To address it, one can use a smart representation of the logarithm, that goes under the name of <ins>replica trick</ins>: | |||
<math display="block"> | |||
< | \log x= \lim_{n \to 0} \, \frac{x^n-1}{n}, \quad \quad x>0 | ||
<math> | |||
</math> | </math> | ||
which can be easily shown to be true by Taylor expanding <math>x^n= e^{n \log x}= 1+ n \log x+ O(n^2) </math>. Applying this to the average of the partition function, we see that | |||
<math display="block"> | |||
f= -\lim_{N \to \infty} \lim_{n \to 0}\,\frac{1}{\beta N }\, \frac{\mathbb{E}[Z^n]-1}{n}. | |||
<math> | |||
</math> | </math> | ||
</ | Therefore, to compute the quenched free-energy we need to compute the moments <math>\mathbb{E}[Z^n]</math> and then take the limit <math>n \to 0</math>. The calculations in the following Problems rely on this replica trick. The annealed one only requires to do the calculation with <math>n=1</math>. | ||
<br><br> | |||
< | |||
<math> | == The spherical p-spin model == | ||
We discuss the Replica formalism for a mean-field model that is slightly more complicated than the REM: the spherical <math>p</math>-spin model. In the spherical <math>p</math>-spin model the configurations <math> \vec{\sigma}=(\sigma_1, \cdots, \sigma_N) </math> satisfy the spherical constraint <math> \sum_{i=1}^N \sigma_i^2=N </math>, and the energy associated to each configuration is | |||
<math display="block"> | |||
E(\vec{\sigma}) =\sum_{1 \leq i_1 <i_2 <\cdots i_p \leq N} J_{i_1 \,i_2 \cdots i_p} \sigma_{i_1} \sigma_{i_2} \cdots \sigma_{i_p}, | |||
</math> | </math> | ||
where the coupling constants <math>J_{i_1 \,i_2 \cdots i_p}</math> are independent random variables with Gaussian distribution with zero mean and variance <math> p!/ N^{p-1},</math> and <math> p \geq 3</math> is an integer. | |||
<math> | |||
</math> | |||
<math> | |||
== | == Problems== | ||
<!-- === Problem 3.1: correlations, p-spin vs REM === | |||
<br> | |||
At variance with the REM, in the spherical <math>p</math>-spin the energies at different configurations are correlated. Show that | |||
<math> | <math display="block"> | ||
\overline{E(\vec{\sigma}) E(\vec{\tau})}= N \, q(\vec{\sigma}, \vec{\tau})^p + o(N) , \quad \quad \text{where} \quad \quad q(\vec{\sigma}, \vec{\tau})= \frac{1}{N}\sum_{i=1}^N \sigma_i \tau_i | |||
\ | |||
</math> | </math> | ||
is the overlap between the two configurations. Why can we say that for <math>p \to \infty </math> this model converges with the REM? | |||
<br>--> | |||
<!--=== Problem 3.2: the annealed free energy === | |||
As a preliminary exercise, we compute the annealed free energy of the spherical <math>p</math>-spin model. | |||
<ol> | <ol> | ||
<li> | <li> <em> Energy contribution.</em> Show that computing <math>\overline{Z}</math> boils down to computing the average <math> \overline{e^{-\beta J_{i_1 \, \cdots i_p} \sigma_{i_1} \cdots \sigma_{i_p}}}</math>, which is a Gaussian integral. Compute this average. <br> | ||
Hint: if <math>X</math> is a centered Gaussian variable with variance <math>v</math>, then <math>\overline{e^{\alpha X}}=e^{\frac{\alpha^2 v}{2} }</math>. | |||
</ | </li><br> | ||
</ | |||
<br> | |||
< | <li> <em> Entropy contribution.</em> The volume of a sphere <math>\mathcal{S}_N</math> of radius <math>\sqrt{N}</math> in dimension <math>N</math> is given by <math>N^{\frac{N}{2}} \pi^{\frac{N}{2}}/\left(\frac{N}{2}\right)!</math>. Use the large-<math>N</math> asymptotic of this to conclude the calculation of the annealed free energy: | ||
< | <center><math> | ||
f_{\text{a}}= - \frac{1}{\beta}\left( \frac{\beta^2}{2}+ \frac{1}{2}\log (2 \pi e)\right). | |||
</li> | </math></center> | ||
This result is only slightly different with respect to the annealed free-energy of the REM: can you identify the source of this difference? </li> | |||
</ol> | </ol> | ||
<br> | <br>--> | ||
=== Problem 3: the replica trick and the quenched free energy === | |||
In this Problem, we set up the replica calculation of the quenched free energy. This will be done in 3 steps, that are general in each calculation of this type. | |||
<ol> | |||
<li> <em> Step 1: average over the disorder.</em> By using the same Gaussian integration discussed above, show that the <math>n</math>-th moment of the partition function is | |||
<math display="block"> | |||
\mathbb{E}[Z^n]= \int_{S_N} \prod_{a=1}^n d \vec{\sigma}^a \; \text{exp}\left({\frac{\beta^2}{2} \sum_{a,b=1}^n \left[q({\vec{\sigma}^a, \vec{\sigma}^b})\right]^p}\right) | |||
</math> | |||
Justify why averaging over the disorder induces a coupling between the replicas. | |||
</li> | </li> | ||
</ol> | </ol> | ||
| Line 132: | Line 80: | ||
<ol start="2"> | <ol start="2"> | ||
<li> | <li><em> Step 2: identify the order parameter.</em> Using the identity <math> 1=\int dq_{ab}\, \delta \left( q({\vec{\sigma}^a, \vec{\sigma}^b})- q_{ab}\right) </math>, show that <math>\mathbb{E}[Z^n]</math> can be rewritten as an integral over <math>n(n-1)/2</math> variables only, as: | ||
Using that | |||
< | <math display="block"> | ||
<math>\ | \mathbb{E}[Z^n]= \int \prod_{a<b} d q_{ab} e^{\frac{N\beta^2}{2} \sum_{a,b=1}^n q_{ab}^p+ \frac{Nn}{2} \log (2 \pi e) + \frac{N}{2} \log \det Q+ o(N)} \equiv \int \prod_{a<b} d q_{ab} e^{N \mathcal{A}[Q]+ o(N)}, \quad \quad Q_{ab} \equiv \begin{cases} | ||
&q_{ab} \text{ if } a <b\\ | |||
&1 \text{ if } a =b\\ | |||
&q_{ba}\text{ if } a >b | |||
\end{cases}</math> | |||
In the derivation, you can use the fact that | |||
<math> | <math> | ||
\int_{S_N} \prod_{a=1}^n d \vec{\sigma}^a \, \prod_{a<b}\delta \left(q({\vec{\sigma}^a, \vec{\sigma}^b})- q_{ab} \right)= e^{N S[Q]+ o(N)}</math>, where <math> S[Q]= n \log (2 \pi e)/2 + (1/2)\log \det Q</math>. The matrix <math> Q</math> is an order parameter: explain the analogy with the magnetisation in the mean-field solution of the Ising model. | |||
</math> | |||
</ | |||
</li> | </li> | ||
</ol> | </ol> | ||
| Line 149: | Line 98: | ||
<ol start="3"> | <ol start="3"> | ||
<li> | <li><em> Step 3: the saddle point (RS).</em> For large N, the integral can be computed with a saddle point approximation for general <math>n</math>. The saddle point variables are the matrix elements <math> q_{ab}</math> with <math> a \neq b</math>. Show that the saddle point equations read | ||
<math display="block"> | |||
<math> | \frac{\partial \mathcal{A}[Q]}{\partial q_{ab}}=\beta^2\, p q_{ab}^{p-1}+ \left(Q^{-1}\right)_{ab} \Big|_{Q=Q^*}=0 \quad \quad \text{for } \quad a <b, | ||
</math> | </math> | ||
</ | where we called <math> Q^*=(Q_{ab}^*) </math> the value at which the saddle point is attained. | ||
To solve these equations and get the free energy, one first needs to make an assumption on the structure of the matrix <math> Q</math>, i.e., on the space where to look for the saddle point solutions. We discuss this in the next set of problems. | |||
</li> | </li> | ||
</ol> | </ol> | ||
<br> | <br> | ||
< | == The physics within the replica formalism: a first hint== | ||
< | In Problem 2, we have introduced the overlap distribution, that for the spherical <math> p</math>-spin model takes the form: | ||
<math display="block"> | |||
<math> | P_{N, \beta}(q)= \int_{\mathcal{S}_N} d \vec{\sigma} \, \int_{\mathcal{S}_N} d \vec{\tau} \frac{e^{-\beta E(\vec{\sigma})}}{Z}\frac{e^{-\beta E(\vec{\tau})}}{Z}\delta \left(q- q(\vec{\sigma}, \vec{\tau}) \right) | ||
\ | </math> | ||
This is the distribution of overlaps between configurations extracted at equilibrium, in a fixed given realisation of disorder. On the other hand, the problems above show that replicas play exactly this game: they are different configurations of the system, extracted with a Boltzmann weight at a given realisation of the random energy landscape. They serve as probes for capturing correlations between equilibrium configurations. The saddle point solution <math> q_{ab}^* </math> capture precisely the information on the average distribution of overlaps in the system. More precisely, one can show that | |||
<math display="block"> | |||
\mathbb{E}[P_\beta(q)]=\lim_{N \to \infty} \mathbb{E}[P_{N, \beta}(q)]=\lim_{n \to 0} \; \frac{2}{n(n-1)}\; \sum_{a>b}\delta \left(q- q_{ab}^{*}\right), | |||
</math> | |||
The solution of the saddle point equations for the overlap matrix <math> Q</math> thus contain the information on whether spin glass order emerges, which corresponds to having a non-trivial distribution <math> \mathbb{E}[P_\beta (q)]</math>. Moreover, the Edwards-Anderson order parameter introduced by Alberto in Lecture 1 can also be read out from the formalism: | |||
<math display="block"> | |||
q_{EA}= \max \left\{ q_{a \neq b}^{*} \right\}. | |||
</math> | </math> | ||
== Check out: key concepts and exercises== | |||
Annealed vs quenched averages, replica trick, fully-connected models, order parameters, the three steps of a replica calculation.<br> | |||
To practice on the calculations, you can do <code>Exercise 9 </code> | |||
== To know more == | |||
* Castellani, Cavagna. Spin-Glass Theory for Pedestrians [https://arxiv.org/abs/cond-mat/0505032] | |||
Latest revision as of 14:33, 13 February 2026
Goal: use the replica method to compute the quenched free energy of a prototypical mean-field model of glasses, the spherical -spin model.
Techniques: replica trick, Gaussian integrals, saddle point calculations.
Quenched vs annealed, and the replica trick
In Problems 1 and 2, we defined the quenched free energy as the physically relevant quantity controlling the scaling of the typical value of the partition function , which means:
The annealed free energy instead controls the scaling of the average value of , and it is defined by These formulas differ by the order in which the logarithm and the average over disorder are taken.
For the REM, because of the simplicity of the model we could compute the quenched free-energy by computing the typical value of the number of configurations with a given energy. This can not be done in general, and one has to resort to the computation of the average of the logarithm, which is a hard problem. To address it, one can use a smart representation of the logarithm, that goes under the name of replica trick:
which can be easily shown to be true by Taylor expanding . Applying this to the average of the partition function, we see that
Therefore, to compute the quenched free-energy we need to compute the moments and then take the limit . The calculations in the following Problems rely on this replica trick. The annealed one only requires to do the calculation with .
The spherical p-spin model
We discuss the Replica formalism for a mean-field model that is slightly more complicated than the REM: the spherical -spin model. In the spherical -spin model the configurations satisfy the spherical constraint , and the energy associated to each configuration is where the coupling constants are independent random variables with Gaussian distribution with zero mean and variance and is an integer.
Problems
Problem 3: the replica trick and the quenched free energy
In this Problem, we set up the replica calculation of the quenched free energy. This will be done in 3 steps, that are general in each calculation of this type.
- Step 1: average over the disorder. By using the same Gaussian integration discussed above, show that the -th moment of the partition function is Justify why averaging over the disorder induces a coupling between the replicas.
- Step 2: identify the order parameter. Using the identity , show that can be rewritten as an integral over variables only, as: In the derivation, you can use the fact that , where . The matrix is an order parameter: explain the analogy with the magnetisation in the mean-field solution of the Ising model.
- Step 3: the saddle point (RS). For large N, the integral can be computed with a saddle point approximation for general . The saddle point variables are the matrix elements with . Show that the saddle point equations read where we called the value at which the saddle point is attained. To solve these equations and get the free energy, one first needs to make an assumption on the structure of the matrix , i.e., on the space where to look for the saddle point solutions. We discuss this in the next set of problems.
The physics within the replica formalism: a first hint
In Problem 2, we have introduced the overlap distribution, that for the spherical -spin model takes the form:
This is the distribution of overlaps between configurations extracted at equilibrium, in a fixed given realisation of disorder. On the other hand, the problems above show that replicas play exactly this game: they are different configurations of the system, extracted with a Boltzmann weight at a given realisation of the random energy landscape. They serve as probes for capturing correlations between equilibrium configurations. The saddle point solution capture precisely the information on the average distribution of overlaps in the system. More precisely, one can show that The solution of the saddle point equations for the overlap matrix thus contain the information on whether spin glass order emerges, which corresponds to having a non-trivial distribution . Moreover, the Edwards-Anderson order parameter introduced by Alberto in Lecture 1 can also be read out from the formalism:
Check out: key concepts and exercises
Annealed vs quenched averages, replica trick, fully-connected models, order parameters, the three steps of a replica calculation.
To practice on the calculations, you can do Exercise 9
To know more
- Castellani, Cavagna. Spin-Glass Theory for Pedestrians [1]