Ferromagnetic Ising Model on multiregular random graphs

Diego Alberici,Pierluigi Contucci,Emanuele Mingione,Filippo Zimmaro

2024-03-21

Abstract:A family of multispecies Ising models on generalized regular random graphs is investigated in the thermodynamic limit. The architecture is specified by class-dependent couplings and magnetic fields. We prove that the magnetizations, neighbours correlations and free energy converge to suitable functions evaluated at the solution of a belief propagation fixed point equation. In absence of magnetic fields, a phase transition is identified and the corresponding critical parameters are determined by the spectral radius of a low-dimensional matrix.

Mathematical Physics

What problem does this paper attempt to address?

The problem that this paper attempts to solve is the thermodynamic limit properties of the ferromagnetic Ising model on multiregular random graphs. Specifically, the authors studied multi - species Ising models with different types of couplings and magnetic fields, and proved that in the thermodynamic limit, the magnetization, the nearest - neighbor correlation, and the free energy converge to functions determined by the belief - propagation fixed - point equations.

### Main problems and goals

1. **Model definition and architecture**:
- The authors defined a class of Ising models with multiple species (or classes), which are constructed on generalized regular random graphs.
- Each vertex belongs to a different class, and the vertices of each class have a specific number of connections to the vertices of other classes.

2. **Behavior in the thermodynamic limit**:
- Study the behavior of these models in the thermodynamic limit ($N \to \infty$), especially the properties of magnetization, the nearest - neighbor correlation, and the free energy.
- Prove that these physical quantities converge to functions determined by the belief - propagation fixed - point equations.

3. **Phase - transition phenomena**:
- In the absence of an external magnetic field, identify a phase transition and determine the phase - transition point by calculating the critical parameters.
- These critical parameters are related to the spectral radius of a low - dimensional matrix.

4. **Behavior at high temperatures**:
- For any external magnetic field and high temperature, prove that the local magnetization converges to the unique solution of the fixed - point equation.

5. **Spontaneous magnetization in the zero - external - field case**:
- In the case of zero external field, calculate the spontaneous magnetization and prove that the model will have a phase transition under certain conditions.

### Mathematical formulas

- **Expression for magnetization**:
\[
\langle \sigma_i \rangle_{G_N} \xrightarrow[N \to \infty]{L^r(P)} \tanh\left(h_a + \sum_{c \in E_a} k_{ac} F_{\beta_{ac}}(\bar{z}_c^{(a)})\right)
\]
where $F_{\beta}(x) = \tanh^{-1}(\tanh(\beta) \tanh(x))$.

- **Expression for two - point correlation**:
\[
\langle \sigma_i \sigma_j \rangle_{G_N} \xrightarrow[N \to \infty]{L^r(P)} \tanh\left(\beta_{aa'} + \tanh^{-1}\left(\tanh(\bar{z}_{a'}^{(a)}) \tanh(\bar{z}_a^{(a')})\right)\right)
\]

- **Expression for free energy**:
\[
p(\beta, h) = -\frac{1}{2} \sum_{a \leq n} \alpha_a \sum_{a' \in E_a} k_{aa'} \left[\log\left(\frac{1-\theta_{aa'}^2}{2}\right) + \log\left(1 + \theta_{aa'} \bar{m}_a^{(a')} \bar{m}_{a'}^{(a)}\right)\right] + \cdots
\]
where $\theta_{aa'} = \tanh(\beta_{aa'})$ and $\bar{m}_a^{(a')} = \tanh(\bar{z}_a^{(a')})$.

### Summary

The main purpose of this paper is to study the thermodynamic limit behavior of the ferromagnetic Ising model on multiregular random graphs, especially the convergence of magnetization, the nearest - neighbor correlation, and the free energy under different conditions, and to identify the phase - transition phenomena and their critical parameters. By introducing the belief - propagation fixed - point equations.