arXiv++ Combinatorics

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.

The cochromatic number $ζ(G)$ of a graph $G$ is the minimum number of colours needed for a vertex colouring where every colour class is either an independent set or a clique. Let $χ(G)$ denote the usual chromatic number. Around 1991 Erdős and Gimbel asked: For the random graph $G \sim G_{n, 1/2}$, does $χ(G)-ζ(G) \rightarrow \infty$ whp? Erdős offered \$100 for a positive and \$1,000 for a negative answer. We give a positive answer to this question for roughly 95% of all values $n$.

We show that if $p=O(1/n)$, then the Erdős-Rényi random graph $G(n,p)$ with high probability admits a canonical labeling computable in time $O(n\log n)$. Combined with the previous results on the canonization of random graphs, this implies that $G(n,p)$ with high probability admits a polynomial-time canonical labeling whatever the edge probability function $p$. Our algorithm combines the standard color refinement routine with simple post-processing based on the classical linear-time tree canonization. Noteworthy, our analysis of how well color refinement performs in this setting allows us to complete the description of the automorphism group of the 2-core of $G(n,p)$.

Given a directed graph, the Minimum Feedback Arc Set (FAS) problem asks for a minimum (size) set of arcs in a directed graph, which, when removed, results in an acyclic graph. In a seminal paper, Berger and Shor [1], in 1990, developed initial upper bounds for the FAS problem in general directed graphs. Here we find asymptotic \textit{lower bounds} for the FAS problem in a class of random, oriented, directed graphs derived from the Erdős-Rényi model $G(n,M)$, with n vertices and M (undirected) edges, the latter randomly chosen. Each edge is then randomly given a direction to form our directed graph. We show that $$Pr\left(\textbf{Y}^* \le M \left( \frac{1}{2} -\sqrt{\frac{\log n}{Δ_{av}}}\right)\right)$$ approaches zero exponentially in $n$, with $\textbf{Y}^*$ the (random) size of the minimum feedback arc set and $Δ_{av}=2M/n$ the average vertex degree. Lower bounds for random tournaments, a special case, were obtained by Spencer [12] and de la Vega [13] and these are discussed. In comparing the bound above to averaged experimental FAS data on related random graphs developed by K. Hanauer [7] we find that the approximation $\textbf{Y}^*_{av} \approx M\left( \frac{1}{2} -\frac{1}{2}\sqrt{\frac{\log n}{Δ_{av}}}\right)$ lies remarkably close graphically to the algorithmically computed average size $\textbf{Y}^*_{av}$ of minimum feedback arc sets.

Let $d,n\in \mathbb{N}$ be such that $d=ω(1)$, and $d\le n^{1-a}$ for some constant $a>0$. Consider a $d$-regular graph $G=(V, E)$ and the random graph process that starts with the empty graph $G(0)$ and at each step $G(i)$ is obtained from $G(i-1)$ by adding uniformly at random a new edge from $E$. We show that if $G$ satisfies some (very) mild global edge-expansion, and an almost optimal edge-expansion of sets up to order $O(d\log n)$, then for any constant $k\in \mathbb{N}$ in the random graph process on $G$, typically the hitting times of minimum degree at least $k$ and of $k$-connectedness are equal. This, in particular, covers both $d$-regular high dimensional product graphs and pseudo-random graphs, and confirms a conjecture of Joos from 2015. We further demonstrate that this result is tight in the sense that there are $d$-regular $n$-vertex graphs with optimal edge-expansion of sets up to order $Ω(d)$, for which the probability threshold of minimum degree at least one is different than the probability threshold of connectivity.

Given an $n$-vertex graph $G$, let $\hom (G)$ denote the size of a largest homogeneous set in $G$ and let $f(G)$ denote the maximal number of distinct degrees appearing in an induced subgraph of $G$. The relationship between these parameters has been well studied by several researchers over the last 40 years, beginning with Erdős, Faudree and Sós in the Ramsey regime when $\hom (G) = O(\log n)$. Our main result here proves that any $n$-vertex graph $G$ with $\hom (G) \leq n^{1/2}$ satisfies \begin{align*} f(G) \geq \sqrt[3]{\frac {n^2}{\hom (G)} } \cdot n^{-o(1)}. \end{align*} This confirms a conjecture of the authors from a previous work, in which we addressed the $\hom (G) \geq n^{1/2}$ regime. Together, these provide the complete extremal relationship between these parameters (asymptotically), showing that any $n$-vertex graph $G$ satisfies \begin{align*} \max \Big ( f(G) \cdot \hom (G), \sqrt {f(G) ^3 \cdot \hom (G) } \Big ) \geq n^{1-o(1)}. \end{align*} This relationship is tight (up to the $n^{-o(1)}$ term) for all possible values of $\hom (G)$, from $Ω(\log n )$ to $n$, as demonstrated by appropriately generated Erdős $-$ Renyi random graphs.

We study the fixation probability for two versions of the Moran process on the random graph $G_{n,p}$ at the threshold for connectivity. The Moran process models the spread of a mutant population in a network. Throughtout the process there are vertices of two types, mutants and non-mutants. Mutants have fitness $s$ and non-mutants have fitness 1. The process starts with a unique individual mutant located at the vertex $v_0$. In the Birth-Death version of the process a random vertex is chosen proportional to its fitness and then changes the type of a random neighbor to its own. The process continues until the set of mutants $X$ is empty or $[n]$. In the Death-Birth version a uniform random vertex is chosen and then takes the type of a random neighbor, chosen according to fitness. The process again continues until the set of mutants $X$ is empty or $[n]$. The {\em fixation probability} is the probability that the process ends with $X=\emptyset$. We give asymptotically correct estimates of the fixation probability that depend on degree of $v_0$ and its neighbors.,

A graph $G$ with an even number of edges is called even-decomposable if there is a sequence $V(G)=V_0\supset V_1\supset \dots \supset V_k=\emptyset$ such that for each $i$, $G[V_i]$ has an even number of edges and $V_i\setminus~V_{i+1}$ is an independent set in $G$. The study of this property was initiated recently by Versteegen, motivated by connections to a Ramsey-type problem and questions about graph codes posed by Alon. Resolving a conjecture of Versteegen, we prove that all but an $e^{-Ω(n^2)}$ proportion of the $n$-vertex graphs with an even number of edges are even-decomposable. Moreover, answering one of his questions, we determine the order of magnitude of the smallest $p=p(n)$ for which the probability that the random graph $G(n,1-p)$ is even-decomposable (conditional on it having an even number of edges) is at least $1/2$. We also study the following closely related property. A graph is called even-degenerate if there is an ordering $v_1,v_2,\dots,v_n$ of its vertices such that each $v_i$ has an even number of neighbours in the set $\{v_{i+1},\dots,v_n\}$. We prove that all but an $e^{-Ω(n)}$ proportion of the $n$-vertex graphs with an even number of edges are even-degenerate, which is tight up to the implied constant.

We present a novel theoretical framework connecting k-component edge connectivity with spectral graph theory and homology theory to pro vide new insights into the resilience of real-world networks. By extending classical edge connectivity to higher-dimensional simplicial complexes, we derive tight spectral-homological bounds on the minimum number of edges that must be removed to ensure that all remaining components in the graph have size less than k. These bounds relate the spectra of graph and simplicial Laplacians to topological invariants from homology, establishing a multi-dimensional measure of network robustness. Our framework improves the understanding of network resilience in critical systems such as the Western U.S. power grid and European rail network, and we extend our analysis to random graphs and expander graphs to demonstrate the broad applicability of the method. Keywords: k-component edge connectivity, spectral graph theory, homology, simplicial complexes, network resilience, Betti numbers, algebraic connectivity, random graphs, expander graphs, infrastructure systems

The logarithm of the number of Eulerian orientations, normalised by the number of vertices, is known as the residual entropy in studies of ice-type models on graphs. The spanning tree entropy depends similarly on the number of spanning trees. We demonstrate and investigate a remarkably strong, though non-deterministic, correlation between these two entropies. This leads us to propose a new heuristic estimate for the residual entropy of regular graphs that performs much better than previous heuristics. We also study the expansion properties and residual entropy of random graphs with given degrees.

In this paper we investigate the regimes where an Erdos-Renyi random graph has torsion free eulerian magnitude homology groups. To this end, we start be introducing the eulerian Asao-Izumihara complex - a quotient CW-complex whose homology groups are isomorphic to direct summands of the graph eulerian magnitude homology group. We then proceed by producing a vanishing threshold for a shelling of eulerian Asao-Izumihara complex. This will lead to a result establishing the regimes where eulerian magnitude homology of Erdos-Renyi random graphs is torsion free.

We say that a vertex $v$ in a connected graph $G$ is decisive if the numbers of walks from $v$ of each length determine the graph $G$ rooted at $v$ up to isomorphism among all connected rooted graphs with the same number of vertices. On the other hand, $v$ is called ambivalent if it has the same walk counts as a vertex in a non-isomorphic connected graph with the same number of vertices as $G$. Using the classical constructions of cospectral trees, we first observe that ambivalent vertices exist in almost all trees. If a graph $G$ is determined by spectrum and its characteristic polynomial is irreducible, then we prove that all vertices of $G$ are decisive. Note that both assumptions are conjectured to be true for almost all graphs. Without using any assumption, we are able to prove that the vertices of a random graph are with high probability distinguishable from each other by the numbers of closed walks of length at most 4. As a consequence, the closed walk counts for lengths 2, 3, and 4 provide a canonical labeling of a random graph. Answering a question posed in chemical graph theory, we finally show that all walk counts for a vertex in an $n$-vertex graph are determined by the counts for the $2n$ shortest lengths, and the bound $2n$ is here asymptotically tight.

We study adjacency and Laplacian matrices of Erdős-Rényi $r$-uniform hypergraphs on $n$ vertices with hyperedge inclusion probability $p$, in the setting where $r$ can vary with $n$ such that $r / n \to c \in [0, 1)$. Adjacency matrices of hypergraphs are contractions of adjacency tensors and their entries exhibit long range correlations. We show that under the Erdős-Rényi model, the expected empirical spectral distribution of an appropriately normalised hypergraph adjacency matrix converges weakly to the semi-circle law with variance $(1 - c)^2$ as long as $\frac{d_{\avg}}{r^7} \to \infty$, where $d_{\avg} = \binom{n-1}{r-1} p$. In contrast with the Erdős-Rényi random graph ($r = 2$), two eigenvalues stick out of the bulk of the spectrum. When $r$ is fixed and $d_{\avg} \gg n^{r - 2} \log^4 n$, we uncover an interesting Baik-Ben Arous-Péché (BBP) phase transition at the value $r = 3$. For $r \in \{2, 3\}$, an appropriately scaled largest (resp. smallest) eigenvalue converges in probability to $2$ (resp. $-2$), the right (resp. left) end point of the support of the standard semi-circle law, and when $r \ge 4$, it converges to $\sqrt{r - 2} + \frac{1}{\sqrt{r - 2}}$ (resp. $-\sqrt{r - 2} - \frac{1}{\sqrt{r - 2}}$). Further, in a Gaussian version of the model we show that an appropriately scaled largest (resp. smallest) eigenvalue converges in distribution to $\frac{c}{2} ζ+ \big[\frac{c^2}{4}ζ^2 + c(1 - c)\big]^{1/2}$ (resp. $\frac{c}{2} ζ- \big[\frac{c^2}{4}ζ^2 + c(1 - c)\big]^{1/2}$), where $ζ$ is a standard Gaussian. We also establish analogous results for the bulk and edge eigenvalues of the associated Laplacian matrices.

Let $G\sim G(n,p)$ be a (hidden) Erdős-Rényi random graph with $p=(1+ \varepsilon)/n$ for some fixed constant $ \varepsilon >0$. Ferber, Krivelevich, Sudakov, and Vieira showed that to reveal a path of length $\ell=Ω\left(\frac{\log(1/ \varepsilon)}{ \varepsilon}\right)$ in $G$ with high probability, one must query the adjacency of $Ω\left(\frac{\ell}{p \varepsilon\log(1/ \varepsilon)}\right)$ pairs of vertices in $G$, where each query may depend on the outcome of all previous queries. Their result is tight up to the factor of $\log(1/ \varepsilon)$ in both $\ell$ and the number of queries, and they conjectured that this factor could be removed. We confirm their conjecture. The main ingredient in our proof is a result about path-packings in random labelled trees of independent interest. Using this, we also give a partial answer to a related question of Ferber, Krivelevich, Sudakov, and Vieira. Namely, we show that when $\ell=o\left((t/\log t)^{1/3}\right)$, the maximum number of vertices covered by edge-disjoint paths of length at least $\ell$ in a random labelled tree of size $t$ is $Θ(t/\ell)$ with high probability.

Let $G$ be a graph of maximum degree $Δ$ which does not contain isolated vertices. An edge coloring $c$ of $G$ is called conflict-free if each edge's closed neighborhood includes a uniquely colored element. The least number of colors admitting such $c$ is called the conflict-free chromatic index of $G$ and denoted $χ'_{\rm CF}(G)$. It is known that in general $χ'_{\rm CF}(G)\leq 3 \lceil \log_2Δ\rceil+1$, while there is a family of graphs, e.g. the complete graphs, for which $χ'_{\rm CF}(G)\geq (1-o(1))\log_2Δ$. In the present paper we provide the asymptotically tight upper bound $χ'_{\rm CF}(G)\leq (1+o(1))\log_2Δ$ for regular and nearly regular graphs, which in particular implies that the same bound holds a.a.s. for a random graph $G=G(n,p)$ whenever $p\gg n^{-\varepsilon}$ for any fixed constant $\varepsilon\in (0,1)$. Our proof is probabilistic and exploits classic results of Hall and Berge. This was inspired by our approach utilized in the particular case of complete graphs, for which we give a more specific upper bound. We also observe that almost the same bounds hold in the open neighborhood regime.

Asymptotic behaviour of maximum sizes of induced trees and forests has been studied extensively in last decades, though the overall picture is far from being complete. In this paper, we close several significant gaps: 1) We prove $2$-point concentration of the maximum sizes of an induced forest and an induced tree with maximum degree at most $Δ$ in dense binomial random graphs $G(n,p)$ with constant probability $p$. 2) We show concentration in an explicit interval of size $o(1/p)$ for the maximum size of an induced forest with maximum degree at most $Δ$ for $1/n\ll p=o(1)$. Our proofs rely on both the second moment approach, with the probabilistic part involving Talagrand's concentration inequality and the analytical part involving saddle-point analysis, and new results on enumeration of labelled trees and forests that might be of their own interest.

In this note, we show that the difference between the chromatic and the cochromatic number of the random graph $G_{n,1/2}$ is not whp bounded by $n^{1/2-o(1)}$, addressing a question of Erdős and Gimbel.

A highly influential result of Nikiforov states that if an $n$-vertex graph $G$ contains at least $γn^h$ copies of a fixed $h$-vertex graph $H$, then $G$ contains a blowup of $H$ of order $Ω_{γ,H}(\log n)$. While the dependence on $n$ is optimal, the correct dependence on $γ$ is unknown; all known proofs yield bounds that are polynomial in $γ$, but the best known upper bound, coming from random graphs, is only logarithmic in $γ$. It is a major open problem to narrow this gap. We prove that if $H$ is triangle-free, then the logarithmic behavior of the upper bound is the truth. That is, under the assumptions above, $G$ contains a blowup of $H$ of order $Ω_H (\log n/{\log(1/γ)})$. This is the first non-trivial instance where the optimal dependence in Nikiforov's theorem is known. As a consequence, we also prove an upper bound on multicolor Ramsey numbers of blowups of triangle-free graphs, proving that the dependence on the number of colors is polynomial once the blowup is sufficiently large. This shows that, from the perspective of multicolor Ramsey numbers, blowups of fixed triangle-free graphs behave like bipartite graphs.

Randomly sampling an acyclic orientation on the complete bipartite graph $K_{n,k}$ with parts of size $n$ and $k$, we investigate the length of the longest path. We provide a probability generating function for the distribution of the longest path length, and we use Analytic Combinatorics to perform asymptotic analysis of the probability distribution in the case of equal part sizes $n = k$ tending toward infinity. We show that the distribution is asymptotically Gaussian, and we obtain precise asymptotics for the mean and variance. These results address a question asked by Peter J. Cameron. Keywords: bipartite graph, directed graph, random graph, acyclic orientation, poly-Bernoulli numbers, lonesum matrices, generating function, analytic combinatorics, asymptotics.

For a sequence of random graphs, the limit law we refer to is the existence of a limiting probability of any graph property that can be expressed in terms of predicate logic. A zero-one limit law is shown by Shelah and Spencer for Erdös-Renyi graphs given that the connection rate has an irrational exponent. We show a limit law for preferential attachment graphs which admit a Pólya urn representation. The two extreme cases of the parametric model, the uniform attachment graph and the sequential Barabási-Albert model, are covered separately as they exhibit qualitative differences regarding the distribution of cycles of bounded length in the graph.