Abstract:We consider two independent Erdős-Rényi random graphs, with possibly different parameters, and study two isomorphism problems, a graph embedding problem and a common subgraph problem. Under certain conditions on the graph parameters we show a sharp asymptotic phase transition as the graph sizes tend to infinity. This extends known results for the case of uniform Erdős-Rényi random graphs. Our approach is primarily combinatorial, naturally leading to several related problems for further exploration.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is related to the phase - transition phenomenon in the random graph isomorphism problem. Specifically, the author studied two isomorphism problems between two independent Erdős - Rényi random graphs: **Graph Embedding Problem** and **Common Subgraph Problem**. Under certain conditions, when the size of the graph tends to infinity, the author shows that there is a sharp asymptotic phase - transition in these two problems.
### Main Problem Description
1. **Graph Embedding Problem (Graph Embedding Problem)**:
- The problem is to determine whether a \( G(m, p) \) random graph can be embedded as an induced subgraph of another independent \( G(n, q) \) random graph (i.e., keeping the edge relations unchanged).
- The main result of the paper shows that under certain conditions, there is a critical value \( m^*(n) \), such that when \( m(n)\leq m^*(n) \), the probability of embedding approaches 1; and when \( m(n)>m^*(n) \), the probability of embedding approaches 0.
2. **Common Subgraph Problem (Common Subgraph Problem)**:
- The problem is to determine whether two independent \( G(n, p) \) and \( G(n, q) \) random graphs contain a common induced subgraph with size \( m \).
- The paper also shows that there is a phase - transition phenomenon in this problem, that is, there is a critical value \( m^*(n) \), such that when \( m(n)\leq m^*(n) \), the probability of the existence of a common subgraph approaches 1; and when \( m(n)>m^*(n) \), the probability approaches 0.
### Related Formulas
- For the graph embedding problem, the critical value \( m^*(n) \) can be expressed as:
\[
m^-(n)=\left\lfloor\frac{2\log_2 n + 1 - C_n}{\log n}\right\rfloor
\]
\[
m^+(n)=\left\lceil\frac{2\log_2 n + 1 + C_n}{\log n}\right\rceil
\]
where \( C_n\rightarrow\infty\) and \( C_n / \log n\rightarrow0\).
- For the common subgraph problem, the critical value \( m^*(n) \) satisfies:
\[
W(m^*(n)) = 4\lambda\log n+2\lambda + 1
\]
where \( W(x)=x + 2\lambda\log x+\frac{\lambda}{x}\log(2\pi x)\), \(\lambda=\frac{1}{\log(1/\tau)}\), \(\tau = p^jq^k+(1 - p)^j(1 - q)^k\).
### Research Methods
The author uses combinatorial mathematics methods to study these problems. By constructing an auxiliary edge graph and making combinatorial estimations, the existence of the above - mentioned phase - transition phenomena is deduced. This method not only extends the known results of uniform Erdős - Rényi random graphs but also provides new ideas for further exploring related problems.
In conclusion, this paper aims to reveal the phase - transition phenomenon in the random graph isomorphism problem and shows the specific form and conditions of this phenomenon through strict mathematical proofs.