arXiv++ Combinatorics

Given a graph sequence $\{G_n\}_{n\in\mathbb{N}}$, denote by $T_n$ the number of monochromatic edges when the vertices of $G_n$ are independently colored red or blue with probabilities $p$ and $1-p$, respectively. We characterize the asymptotic normality of $T_n$, after centering and scaling to unit variance, in terms of subgraph (motif) counts and standardized moments. One of the highlights of our results is a {\it third moment phenomenon}: for every fixed $p\in(0,1)\backslash\{\frac12\}$, asymptotic normality holds if and only if the standardized third moment converges to zero. The more familiar {\it fourth moment condition}, which requires the standardized fourth moment to converge to $3$, gives an equivalent characterization except at the two exceptional probabilities $p=\frac{1\pm1/\sqrt3}{2}$. At these values, the standardized fourth moment converges to $3$ for every graph sequence with a diverging number of edges, even when Gaussian convergence fails. In contrast, in the balanced case $p=\frac12$, the fourth moment condition characterizes asymptotic normality, while the third moment condition is insufficient. These results identify three distinct regimes for moment characterizations of Gaussian convergence, determined by the coloring probability. We further show that the third moment condition remains sufficient in the sparse regime, where $p=p_n \to 0$. As an application, we derive the limiting null distribution of two-sample statistics based on undirected $K$-nearest-neighbor graphs in the Poissonized setting, identifying sharp growth conditions on $K$ for asymptotic normality.

In a multiplex network a common set of nodes is connected through different types of interactions, each represented as a separate graph (layer) within the network. In this paper, we study the asymptotic properties of submultiplexes, the counterparts of subgraphs (motifs) in single-layer networks, in the correlated Erdős-Rényi multiplex model. This is a random multiplex model with two layers, where the graphs in each layer marginally follow the classical (single-layer) Erdős-Rényi model, while the edges across layers are correlated. We derive the precise threshold condition for the emergence of a fixed submultiplex $\boldsymbol{H}$ in a random multiplex sampled from the correlated Erdős-Rényi model. Specifically, we show that the satisfiability region, the regime where the random multiplex contains infinitely many copies of $\boldsymbol{H}$, forms a polyhedral subset of $\mathbb{R}^3$. Furthermore, within this region the count of $\boldsymbol{H}$ is asymptotically normal, with an explicit convergence rate in the Wasserstein distance. We also establish various Poisson approximation results for the count of $\boldsymbol{H}$ on the boundary of the threshold, which depends on a notion of balance of submultiplexes. Collectively, these results provide an asymptotic theory for small submultiplexes in the correlated multiplex model, analogous to the classical theory of small subgraphs in random graphs.