Abstract:We show that specific exponential bivariate integrals serve as generating functions of labeled edge-bicolored graphs. Based on this, we prove an asymptotic formula for the number of regular edge-bicolored graphs with arbitrary weights assigned to different vertex structures. The asymptotic behavior is governed by the critical points of a polynomial. As an application, we discuss the Ising model on a random 4-regular graph and show how its phase transitions arise from our formula.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is the counting problem of generating labeled edge - bicolored graphs by studying specific bivariate exponential integrals, and based on this, it proves an asymptotic formula for the number of regular edge - bicolored graphs (with arbitrary vertex - structure weight assignments). Specifically, the author shows that these integrals can be used as generating functions to count weighted edge - bicolored graphs, and the weight of each graph is given by the reciprocal of the order of its automorphism group and the product of an arbitrary set of parameters on the vertices of each bicolored incidence structure. In addition, the paper also discusses the applications of these results in statistical physics, especially how to derive the phase transitions of the Ising model on random 4 - regular graphs from these formulas.
### Core Contributions of the Paper
1. **Construction of Generating Functions**:
- The author defines a class of bivariate integrals \(I(z)\) and proves that these integrals can be used as generating functions to count weighted edge - bicolored graphs.
- The specific form is:
\[
I(z)=\frac{z}{2\pi}\int_D\exp(zg(x,y))\,dx\,dy
\]
where \(D\) is a subset of a certain real plane, \(g\) is a function that satisfies specific conditions, and \(z\) is a large positive number.
2. **Derivation of Asymptotic Formulas**:
- The author uses the Laplace method to derive the asymptotic expansion of \(I(z)\) and obtains the expression of the coefficient \(A_n\).
- The form of the asymptotic formula is:
\[
I(z)\sim\sum_{n\geq0}A_nz^{-n}
\]
where \(A_n\) can be expressed as:
\[
A_n = \sum_{G\in G^\star_{-n}}\frac{1}{|\text{Aut}(G)|}\prod_{v\in V_G}\Lambda^{\text{deg}(v)}
\]
Here \(G^\star_{-n}\) represents the set of all edge - bicolored graphs with vertex degrees of at least 3 and Euler characteristic values equal to \(-n\).
3. **Applications of the Ising Model**:
- The author shows how to apply these results to the Ising model in statistical physics, especially the phase transitions of the Ising model on random 4 - regular graphs.
- By analyzing the critical points of the polynomial \(g(x,y)\), the author derives the phase - transition points of the Ising model, and these phase - transition points correspond to the non - analytic points of the functions \(\alpha(\lambda)\) and \(c(\lambda)\).
### Key Technical Details
- **Laplace Method**: Used to handle the asymptotic behavior of integrals for large \(z\).
- **Generating Function**: Used to transform combinatorial problems into analytical problems.
- **Critical Point Analysis**: Determine the leading terms of the asymptotic formula by analyzing the critical points of the polynomial.
### Application Examples
- The author shows through specific examples (such as the Ising model) how to derive practical physical meanings from theoretical results, especially the determination of phase - transition points.
In conclusion, this paper solves the counting problem of edge - bicolored graphs through in - depth mathematical analysis and combinatorial methods, and applies it to the Ising model in statistical physics, revealing the mathematical essence of the phase - transition phenomenon.