Abstract:We compute the genus $0$ free energy for the $2$-matrix model with quartic interactions, which acts as a generating function for the Ising model's partition function on a random, $4$-regular, planar graph. This rigorously confirms the predictions of V.A. Kazakov and D.V. Boulatov on this model, and provides a new parametric formula for the free energy. We also give a characterization of the phase space of the model. Our analysis is based on a steepest descent Riemann-Hilbert analysis of the associated biorthogonal polynomials and the corresponding isomonodromic $\tau$-function. A key ingredient in the analysis is a parametrization of the spectral curve.
What problem does this paper attempt to address?
This paper aims to solve the problem of calculating the free energy in the coupling of 2 - dimensional gravity and the Ising model. Specifically, the authors are committed to calculating the free energy of the 2 - matrix model with quartic interactions in the genus - zero case. This model, as the generating function of the Ising model on random 4 - regular planar graphs, the exact calculation of its free energy can verify the predictions of V.A. Kazakov and D.V. Boulatov on this model and provide new parametric formulas. In addition, the paper also describes the phase space of the model.
### Main problems of the paper
The core problems that the paper attempts to solve are:
1. **Calculation of free energy**: Calculate the free energy of the 2 - matrix model with quartic interactions in the genus - zero case to verify previous physical predictions.
2. **Description of phase space**: Provide a detailed description of the phase space of the model, especially when \(t < 0\).
3. **Analysis of phase transitions**: Study the phase - transition behavior at multiple critical points, especially the phase transition at \(\tau=\frac{1}{4}\), \(t = -\frac{5}{72}\), \(H = 0\).
### Main methods
1. **Riemann - Hilbert problem**: Study the related biorthogonal polynomials and the corresponding isomonodromic τ - functions through the steepest - descent analysis of the Riemann - Hilbert problem.
2. **Spectral curve parameterization**: Introduce the parameterization of the spectral curve, which is a crucial step in the analysis.
3. **Analytic continuation**: Perform analytic continuation for the case of \(t < 0\), ensuring the existence and analyticity of the free energy in the negative \(t\) region.
### Main results
1. **Analytic expression of free energy**: Under certain conditions, an analytic expression for the genus - zero free energy is given:
\[
F(\tau, t, H)=\lim_{n\rightarrow\infty}\frac{1}{n^{2}}\log\left(\frac{Z_{n}(\tau, t, H; n)}{Z_{n}(\tau, 0, 0; n)}\right)
\]
where
\[
F(\tau, t, H)=\frac{3}{4}+\frac{1}{2}\log(1 - \tau^{2})\sigma(\tau, t, H)-3t^{-1}\int_{0}^{\sigma(\tau, t, H)}\left(\lambda(u)-\frac{1}{2}\lambda(u)^{2}\right)\frac{du}{u}
\]
Here \(\lambda(u)\) is a rational function:
\[
\lambda(u)=-\frac{1}{t}\left[\frac{1}{9\tau^{2}u(u - 3)}+\frac{1}{3u(1 + u)^{2}}+\frac{2}{3}\left(\frac{u}{1 - u^{2}}\right)^{2}\left(\frac{1}{2}(q + q^{-1})-1\right)\right]
\]
2. **Description of phase space**: Define the phase space \(D\) and describe its properties, especially in the cases of \(H = 0\) and \(H\neq0\).
3. **Phase - transition behavior**: At the multiple critical point \(\tau=\frac{1}{4}\), \(t = -\frac{5}{72}\), \(H = 0\), the free energy undergoes a phase transition, which is consistent with the predictions in the physical literature.
### Conclusion
Through rigorous mathematical methods, the paper successfully calculates the free energy of the 2 - matrix model in the genus - zero case and verifies previous physical predictions. These results not only provide a new perspective for understanding the coupling of 2 - dimensional gravity and the Ising model, but also for further research.