Abstract:We present a novel approach to study the evolution of the size (i.e. the number of vertices) of the giant component of a random graph process. It is based on the exploration algorithm called simultaneous breadth-first walk, introduced by Limic in 2019, that encodes the dynamic of the evolution of the sizes of the connected components of a large class of random graph processes. We limit our study to the variant of the Erdős-Rényi graph process $(G_n(s))_{s\geq 0}$ with $n$ vertices where an edge connecting a pair of vertices appears at an exponential rate 1 waiting time, independently over pairs. We first use the properties of the simultaneous breadth-first walk to obtain an alternative and self-contained proof of the functional central limit theorem recently established by Enriquez, Faraud and Lemaire in the super-critical regime ($s=\frac{c}{n}$ and $c>1$). Next, to show the versatility of our approach, we prove a functional central limit theorem in the barely super-critical regime ($s=\frac{1+t\epsilon_n}{n}$ where $t>0$ and $(\epsilon_n)_n$ is a sequence of positive reals that converges to 0 such that $(n\epsilon_n^3)_n$ tends to $+\infty$).
What problem does this paper attempt to address?
### What problem does this paper attempt to solve?
This paper aims to study the evolution of the size of the largest connected component (i.e., the "giant component") in the random graph process. Specifically, the author proposes a new method based on **simultaneous breadth - first walk (sBFW)** to encode and analyze the dynamic changes in the size of connected components in large - scale random graph processes.
#### Main problems:
1. **Fluctuations of the largest connected component in the supercritical regime**:
- Researchers are concerned with the fluctuations in the size of the largest connected component in the Erdős–Rényi random graph process in the supercritical regime (\( c > 1 \)).
- The paper provides a new, independent proof through the sBFW method to verify the Functional Central Limit Theorem (FCLT) recently established by Enriquez, Faraud and Lemaire.
2. **Fluctuations of the largest connected component in the barely supercritical regime**:
- In this stage, the parameter \( c = 1 + t\epsilon_n/n \), where \( t > 0 \) and \( (\epsilon_n) \) is a sequence of positive real numbers, satisfying \( \epsilon_n \to 0 \) and \( n\epsilon_n^3 \to +\infty \).
- Researchers demonstrate the flexibility of their method and prove a new Functional Central Limit Theorem in this stage.
#### Specific problem descriptions:
- **Supercritical regime**: When \( c > 1 \), there is a giant component in the Erdős–Rényi random graph, whose size is \( \Theta(n) \), while the sizes of all other connected components are \( O(\ln(n)) \). The paper studies the concentration and volatility of the size of the giant component through the sBFW method.
- **Barely supercritical regime**: In this stage, there is an "early giant component" whose size is already asymptotically larger than other components. The paper studies the asymptotic behavior of the size of the giant component in this stage and gives a specific formula expression.
### Conclusions and Prospects:
- Researchers believe that their method has great potential and can be extended to the study of non - standard (inhomogeneous) graphs.
- They also point out that, using similar techniques, David Clancy, Jr. is analyzing fluctuations in inhomogeneous random graph processes, including the stochastic block model.
- At the same time, researchers also show how to use the sBFW method to study augmented multiplicative coalescents and expect to further study the joint fluctuations of three key quantities: the size of the largest connected component, the number of redundant edges, and the number of total connected components.
### Summary:
The main goal of this paper is to study the evolution and fluctuations of the size of the largest connected component in the Erdős–Rényi random graph process, especially in the supercritical and barely supercritical stages, by introducing a new method based on simultaneous breadth - first traversal. This method not only provides new proofs but also demonstrates its applicability and flexibility in different stages.