T-3: Difference between revisions

From Disordered Systems Wiki
Jump to navigation Jump to search
No edit summary
No edit summary
 
(54 intermediate revisions by the same user not shown)
Line 1: Line 1:
<strong>Goal: </strong> use the replica method to study the equilibrium properties of a prototypical mean-field model of glasses, the spherical <math>p</math>-spin model. <br>
<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.
<strong>Techniques: </strong> replica trick, Gaussian integrals, saddle point calculations.
<br>
<br>
Line 5: Line 5:


== Quenched vs annealed, and the replica trick==
== Quenched vs annealed, and the replica trick==
In Problems 1, we defined the <ins>quenched free energy</ins> as the quantity controlling the scaling of the typical value of the partition function <math>Z </math>, which means:  
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:  
<center><math>
<center><math>
f= -\lim_{N \to \infty} \frac{1}{\beta N} \overline{ \log Z}.
f= -\lim_{N \to \infty} \frac{1}{\beta N} \overline{ \log Z}.
Line 22: Line 22:
f= -\lim_{N \to \infty} \lim_{n \to 0}\frac{1}{\beta N } \frac{\overline{Z^n}-1}{n}.
f= -\lim_{N \to \infty} \lim_{n \to 0}\frac{1}{\beta N } \frac{\overline{Z^n}-1}{n}.
</math></center>
</math></center>
Therefore, to compute the quenched free-energy we need to compute the moments <math>{\overline{Z^n}}</math> and then take the limit  <math>n \to 0</math>. The calculation of these TDs relies on this replica trick. The annealed one only requires to do the calculation with <math>n=1</math>.
Therefore, to compute the quenched free-energy we need to compute the moments <math>{\overline{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>
<br><br>


Line 29: Line 29:
<center>
<center>
<math>
<math>
E(\vec{\sigma}) =\sum_{1 \leq i_1 \leq i_2 \leq \cdots i_p \leq N} J_{i_1 \,i_2 \cdots i_p} \sigma_{i_1} \sigma_{i_2} \cdots \sigma_{i_p},  
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></center>
</math></center>
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!/ (2 N^{p-1}),</math> and <math> p \geq 3</math> is an integer.
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.


<br>
<br>


=== Problem 2.1: the annealed free energy of the spherical p-spin ===
=== Problem 3.1: correlations, p-spin vs REM ===
<br>
<br>
<ol>
At variance with the REM, in the spherical <math>p</math>-spin the energies at different configurations are correlated. Show that  
<li> <em> Energy correlations.</em> At variance with the REM, in the spherical <math>p</math>-spin the energies at different configurations are correlated. Show that  
<center><math>
<center><math>
\overline{E(\vec{\sigma}) E(\vec{\sigma}')}= \frac{N}{2} q(\vec{\sigma}, \vec{\sigma}')^p + O(1) , \quad \quad \text{where} \quad \quad q(\vec{\sigma}, \vec{\sigma}')= \frac{1}{N}\sum_{i=1}^N \sigma_i \sigma'_i </math></center>  
\overline{E(\vec{\sigma}) E(\vec{\sigma}')}= N \, q(\vec{\sigma}, \vec{\sigma}')^p + o(N) , \quad \quad \text{where} \quad \quad q(\vec{\sigma}, \vec{\sigma}')= \frac{1}{N}\sum_{i=1}^N \sigma_i \sigma'_i </math></center>  
is the overlap between the two configurations. Why can we say that for <math>p \to \infty </math> this model converges with the REM discussed in the previous lecture?</li>
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>
<br>


<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. 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>.
=== Problem 3.2: the annealed free energy ---> DO IT YOURSELF! ===
As a preliminary exercise, we compute the annealed free energy of the spherical <math>p</math>-spin model.
 
<ol>
<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>
</li><br>


Line 50: Line 54:
<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:
<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>
<center><math>
f_{\text{a}}= - \frac{1}{\beta}\left( \frac{\beta^2}{4}+ \frac{1}{2}\log (2 \pi e)\right).
f_{\text{a}}= - \frac{1}{\beta}\left( \frac{\beta^2}{2}+ \frac{1}{2}\log (2 \pi e)\right).
</math></center>
</math></center>
This result is only slightly different with respect to the free-energy of the REM in the high-temperature phase: can you identify the source of this difference? </li>
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 2.2: the replica trick and the quenched free energy ===
=== Problem 3.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.
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.


Line 63: Line 67:


<center>
<center>
<math>\overline{Z^n}= \int_{S_N} \prod_{a=1}^n d \vec{\sigma}^a e^{\frac{\beta^2}{4} \sum_{a,b=1}^n \left[q({\vec{\sigma}^a, \vec{\sigma}^b})\right]^p}</math></center>
<math>\overline{Z^n}= \int_{S_N} \prod_{a=1}^n d \vec{\sigma}^a e^{\frac{\beta^2}{2} \sum_{a,b=1}^n \left[q({\vec{\sigma}^a, \vec{\sigma}^b})\right]^p}</math></center>


Justify why averaging over the disorder induces a coupling between the replicas.
Justify why averaging over the disorder induces a coupling between the replicas.
Line 74: Line 78:


<center>
<center>
<math>\overline{Z^n}= \int \prod_{a<b} d q_{ab} e^{\frac{N\beta^2}{4} \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}
<math>\overline{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\\
&q_{ab} \text{ if  } a <b\\
&1 \text{ if  } a =b\\
&1 \text{ if  } a =b\\
Line 91: Line 95:


<center><math>
<center><math>
\frac{\partial \mathcal{A}[Q]}{\partial q_{ab}}=\frac{\beta^2}{4}p q_{ab}^{p-1}+ \frac{1}{2} \left(Q^{-1}\right)_{ab}=0 \quad \quad \text{for } \quad a \neq b
\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></center>
</math></center>
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.
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:
<center>
<math>
P_{N, \beta}(q)= \int_{\mathcal{S}_N} d \vec{\sigma} \, \int_{\mathcal{S}_N} d \vec{\sigma}' \frac{e^{-\beta E(\vec{\sigma})}}{Z}\frac{e^{-\beta E(\vec{\sigma}')}}{Z}\delta \left(q- q(\vec{\sigma}, \vec{\sigma}') \right)
</math>
</center>
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,
<center>
<math>
\overline{P_\beta(q)}=\lim_{N \to \infty} \overline{P_{N, \beta}(q)}=\lim_{n \to 0} \frac{2}{n(n-1)}\sum_{a>b}\delta \left(q- q_{ab}^{*}\right),
</math>
</center>
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> \overline{P_\beta (q)}</math>. Moreover, the Edwards-Anderson order parameter introduced in Lecture 1 can also be read out from the formalism:
<center>
<math>
q_{EA}= \max \left\{ q_{a \neq b}^{*} \right\}.
</math>
</center>


== Check out: key concepts ==
== Check out: key concepts ==

Latest revision as of 10:57, 12 March 2025

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 . It is defined by

These formulas differ by the order in which the logarithm and the average over disorder are taken. Computing the average of the logarithm is in general a hard problem, which one can address by using 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 .

Problems

In this and the following set of problems, we analyse 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.


Problem 3.1: correlations, p-spin vs REM


At variance with the REM, in the spherical -spin the energies at different configurations are correlated. Show that

is the overlap between the two configurations. Why can we say that for this model converges with the REM?

Problem 3.2: the annealed free energy ---> DO IT YOURSELF!

As a preliminary exercise, we compute the annealed free energy of the spherical -spin model.

  1. Energy contribution. Show that computing boils down to computing the average , which is a Gaussian integral. Compute this average.
    Hint: if is a centered Gaussian variable with variance , then .

  2. Entropy contribution. The volume of a sphere of radius in dimension is given by . Use the large- asymptotic of this to conclude the calculation of the annealed free energy:
    This result is only slightly different with respect to the annealed free-energy of the REM: can you identify the source of this difference?


Problem 3.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.

  1. 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.


  1. 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.


  1. 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:

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,

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 in Lecture 1 can also be read out from the formalism:

Check out: key concepts

Annealed vs quenched averages, replica trick, fully-connected models, order parameters, the three steps of a replica calculation.

To know more

  • Castellani, Cavagna. Spin-Glass Theory for Pedestrians [1]