arXiv++ Combinatorics

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.

The definition of amoeba graphs is based on iterative \emph{feasible edge-replacements}, where, at each step, an edge from the graph is removed and placed in an available spot in a way that the resulting graph is isomorphic to the original graph. Broadly speaking, amoebas are graphs that, by means of a chain of feasible edge-replacements, can be transformed into any other copy of itself on a given vertex set (which is defined according to whether these are local or global amoebas). Global amoebas were born as examples of \emph{balanceable} graphs, which are graphs that appear with half of their edges in each color in any $2$-edge coloring of a large enough complete graph with a sufficient amount of edges in each color. The least amount of edges required in each color is called the \emph{balancing number} of $G$. In a work by Caro et al., an infinite family of global amoeba trees with arbitrarily large maximum degree is presented, and the question if they were also local amoebas is raised. In this paper, we provide a recursive construction to generate very diverse infinite families of local and global amoebas, by which not only this question is answered positively, it also yields an efficient algorithm that, given any copy of the graph on the same vertex set, provides a chain of feasible edge-replacements that one can perform in order to move the graph into the aimed copy. All results are illustrated by applying them to three different families of local amoebas, including the Fibonacci-type trees. Concerning the balancing number of a global amoeba $G$, we are able to express it in terms of the extremal number of a class of subgraphs of $G$. By means of this, we give a general lower bound for the balancing number of a global amoeba $G$, and we provide linear (in terms of order) lower and upper bounds for the balancing number of our three case studies.

We define a graph process $\mathcal{G}(p,q)$ based on a discrete branching process with deletions and mergers, which is inspired by the 4-cycle structure of both the hypercube $Q_d$ and the lattice $\mathbb{Z}^d$ for large $d$. Individuals have Poisson offspring distribution with mean $1+p$ and certain deletions and mergers occur with probability $q$; these parameters correspond to the mean number of edges discovered from a given vertex in an exploration of a percolation cluster and to the probability that a non-backtracking path of length four closes a cycle, respectively. We prove survival and extinction under certain conditions on $p$ and $q$ that heuristically match the known expansions of the critical probabilities for bond percolation on the lattice $\mathbb{Z}^d$ and the hypercube $Q_d$. These expansions have been rigorously established by Hara and Slade in 1995, and van der Hofstad and Slade in 2006, respectively. We stress that our method does not constitute a branching process proof for the percolation threshold. The analysis of the graph process survival is considerably more challenging than for branching processes in discrete time, due to the interdependence between the descendants of different individuals in the same generation. In fact, it is left open whether the survival probability of $\mathcal{G}(p,q)$ is monotone in $p$ or $q$; we discuss this and some other open problems regarding the new graph process.

Given a graph $G$, a 2-coloring of the edges of $K_n$ is said to contain a balanced copy of $G$ if we can find a copy of $G$ such that half of its edges is in each color class. If there exists an integer $k$ such that, for $n$ sufficiently large, every 2-coloring of $K_n$ with more than $k$ edges in each color contains a balanced copy of $G$, then we say that $G$ is balanceable. The smallest integer $k$ such that this holds is called the balancing number of $G$. In this paper, we define a more general variant of the balancing number, the list balancing number, by considering 2-list edge colorings of $K_n$, where every edge $e$ has an associated list $L(e)$ which is a nonempty subset of the color set $\{r,b\}$. In this case, edges $e$ with $L(e) = \{r,b\}$ act as jokers in the sense that their color can be chosen $r$ or $b$ as needed. In contrast to the balancing number, every graph has a list balancing number. Moreover, if the balancing number exists, then it coincides with the list balancing number. We give the exact value of the list balancing number for all cycles except for $4k$-cycles for which we give tight bounds. In addition, we give general bounds for the list balancing number of non-balanceable graphs based on the extremal number of its subgraphs, and study the list balancing number of $K_5$, which turns out to be surprisingly large.

We introduce a non-increasing tree growth process $((T_n,σ_n),\, n\ge 1)$, where $T_n$ is a rooted labeled tree on $n$ vertices and $σ_n$ is a permutation of the vertex labels. The construction of $(T_{n},σ_n)$ from $(T_{n-1},σ_{n-1})$ involves rewiring a random (possibly empty) subset of edges in $T_{n-1}$ towards the newly added vertex; as a consequence $T_{n-1} \not\subset T_n$ with positive probability. The key feature of the process is that the shape of $T_n$ has the same law as that of a random recursive tree, while the degree distribution of any given vertex is not monotonous in the process. We present two applications. First, while couplings between Kingman's coalescent and random recursive trees where known for any fixed $n$, this new process provides a non-standard coupling of all finite Kingman's coalescents. Second, we use the new process and the Chen-Stein method to extend the well-understood properties of degree distribution of random recursive trees to extremal-range cases. Namely, we obtain convergence rates on the number of vertices with degree at least $c\ln n$, $c\in (1,2)$, in trees with $n$ vertices. Further avenues of research are discussed.

For $n\ge 1$, let $T_n$ be a random recursive tree on the vertex set $[n]=\{1,\ldots,n\}$. Let $\mathrm{deg}_{T_n}(v)$ be the degree of vertex $v$ in $T_n$, that is, the number of children of $v$ in $T_n$. Devroye and Lu showed that the maximum degree $Δ_n$ of $T_n$ satisfies $Δ_n/\lfloor \log_2 n\rfloor \to 1$ almost surely; Goh and Schmutz showed distributional convergence of $Δ_n - \lfloor \log_2 n \rfloor$ along suitable subsequences. In this work we show how a version of Kingman's coalescent can be used to access much finer properties of the degree distribution in $T_n$. For any $i\in \mathbb{Z}$, let $X_i^{(n)}=|\{v\in [n]: \mathrm{deg}_{T_n}(v)= \lfloor \log n\rfloor +i\}|$. Also, let $\mathcal{P}$ be a Poisson point process on $\mathbb{R}$ with rate function $λ(x)=2^{-x}\cdot \ln 2$. We show that, up to lattice effects, the vectors $(X_i^{(n)},\, i\in \mathbb{Z})$ converge weakly in distribution to $(\mathcal{P}[i,i+1),\, i\in \mathbb{Z})$. We also prove asymptotic normality of $X_i^{(n)}$ when $i=i(n) \to -\infty$ slowly, and obtain precise asymptotics for $\mathbb{P}(Δ_n - \log_2 n > i)$ when $ i(n) \to \infty$ and $i(n)/\log n$ is not too large. Our results recover and extends the previous results on maximal and near-maximal degrees in random recursive trees.

Starting from an n-by-n matrix of zeros, choose uniformly random zero entries and change them to ones, one-at-a-time, until the matrix becomes invertible. We show that with probability tending to one as n tends to infinity, this occurs at the very moment the last zero row or zero column disappears. We prove a related result for random symmetric Bernoulli matrices, and give quantitative bounds for some related problems. These results extend earlier work by Costello and Vu [arXiv:math/0606414].