arXiv++ Combinatorics

The Kuramoto model is a classical mathematical model in the field of non-linear dynamical systems that describes the evolution of coupled oscillators in a network that may reach a synchronous state. The relationship between the network's topology and whether the oscillators synchronize is a central question in the field of synchronization, and random graphs are often employed as a proxy for complex networks. On the other hand, the random graphs on which the Kuramoto model is rigorously analyzed in the literature are homogeneous models and fail to capture the underlying geometric structure that appears in several examples. In this work, we leverage tools from random matrix theory, random graphs, and mathematical statistics to prove that the Kuramoto model on a random geometric graph on the sphere synchronizes with probability tending to one as the number of nodes tends to infinity. To the best of our knowledge, this is the first rigorous result for the Kuramoto model on random geometric graphs.

In a ground-breaking paper solving a conjecture of Erdős on the number of $n$-vertex graphs not containing a given even cycle, Morris and Saxton \cite{MS} made a broad conjecture on so-called balanced supersaturation property of a bipartite graph $H$. Ferber, McKinley, and Samotij \cite{FMS} established a weaker version of this conjecture and applied it to derive far-reaching results on the enumeration problem of $H$-free graphs. In this paper, we show that Morris and Saxton's conjecture holds under a very mild assumption about $H$, which is widely believed to hold whenever $H$ contains a cycle. We then use our theorem to obtain enumeration results and general upper bounds on the Turán number of a bipartite $H$ in the random graph $G(n,p)$, the latter being first of its kind.

The Maker-Breaker connectivity game and Hamilton cycle game belong to the best studied games in positional games theory, including results on biased games, games on random graphs and fast winning strategies. Recently, the Connector-Breaker game variant, in which Connector has to claim edges such that her graph stays connected throughout the game, as well as the Walker-Breaker game variant, in which Walker has to claim her edges according to a walk, have received growing attention. For instance, London and Pluhár studied the threshold bias for the Connector-Breaker connectivity game on a complete graph $K_n$, and showed that there is a big difference between the cases when Maker's bias equals $1$ or $2$. Moreover, a recent result by the first and third author as well as Kirsch shows that the threshold probability $p$ for the $(2:2)$ Connector-Breaker connectivity game on a random graph $G\sim G_{n,p}$ is of order $n^{-2/3+o(1)}$. We extent this result further to Walker-Breaker games and prove that this probability is also enough for Walker to create a Hamilton cycle.

We deduce a structurally inductive description of the determinantal probability measure associated with Kalai's celebrated enumeration result for higher--dimensional spanning trees of the $n-1$--simplex. As a consequence, we derive the marginal distributions of the simplex links in such random trees. Along the way, we also characterize the higher--dimensional spanning trees of every other simplicial cone in terms of the higher--dimensional rooted forests of the underlying simplicial complex. We also apply these new results to random topology, the spectral analysis of random graphs, and the theory of high dimensional expanders. One particularly interesting corollary of these results is that the fundamental group of a union of $o(\log n)$ determinantal 2--trees has Kazhdan's property (T) with high probability.

We show that the expected number of cliques in the Erdős-Rényi random graph $G(n,p)$ is $n^{\frac1{-2\log p}(\log n-2\log\log n+O(1))}$.

The theory of rapid mixing random walks plays a fundamental role in the study of modern randomised algorithms. Usually, the mixing time is measured with respect to the worst initial position. It is well known that the presence of bottlenecks in a graph hampers mixing and, in particular, starting inside a small bottleneck significantly slows down the diffusion of the walk in the first steps of the process. The average mixing time is defined to be the mixing time starting at a uniformly random vertex and hence is not sensitive to the slow diffusion caused by these bottlenecks. In this paper we provide a general framework to show logarithmic average mixing time for random walks on graphs with small bottlenecks. The framework is especially effective on certain families of random graphs with heterogeneous properties. We demonstrate its applicability on two random models for which the mixing time was known to be of order $(\log n)^2$, speeding up the mixing to order $\log n$. First, in the context of smoothed analysis on connected graphs, we show logarithmic average mixing time for randomly perturbed graphs of bounded degeneracy. A particular instance is the Newman-Watts small-world model. Second, we show logarithmic average mixing time for supercritically percolated expander graphs. When the host graph is complete, this application gives an alternative proof that the average mixing time of the giant component in the supercritical Erdős-Rényi graph is logarithmic.

We provide a new lower bound on the length of the longest cycle of the binomial random graph $G(n,(1+ε)/n)$ that holds w.h.p. for all $ε=ε(n)$ such that $ε^3n\to \infty$. In the case $ε\leq ε_0$ for some sufficiently small constant $ε_0$, this bound is equal to $1.581ε^2n$ which improves upon the current best lower bound of $4ε^2n/3$ due to Luczak.

We consider general Exponential Random Graph Models (ERGMs) where the sufficient statistics are functions of homomorphism counts for a fixed collection of simple graphs $F_k$. Whereas previous work has shown a degeneracy phenomenon in dense ERGMs, we show this can be cured by raising the sufficient statistics to a fractional power. We rigorously establish the naïve mean-field approximation for the partition function of the corresponding Gibbs measures, and in case of "ferromagnetic" models with vanishing edge density show that typical samples resemble a typical Erdős--Rényi graph with a planted clique and/or a planted complete bipartite graph of appropriate sizes. We establish such behavior also for the conditional structure of the Erdős--Rényi graph in the large deviations regime for excess $F_k$-homomorphism counts. These structural results are obtained by combining quantitative large deviation principles, established in previous works, with a novel stability form of a result of [5] on the asymptotic solution for the associated entropic variational problem. A technical ingredient of independent interest is a stability form of Finner's generalized Hölder inequality.

In this short note, we consider a graph process recently introduced by Frieze, Krivelevich and Michaeli. In their model, the edges of the complete graph $K_n$ are ordered uniformly at random and are then revealed consecutively to a player called Builder. At every round, Builder must decide if they accept the edge proposed at this round or not. We prove that, for every $d\ge 2$, Builder can construct a spanning $d$-connected graph after $(1+o(1))n\log n/2$ rounds by accepting $(1+o(1))dn/2$ edges with probability converging to 1 as $n\to \infty$. This settles a conjecture of Frieze, Krivelevich and Michaeli.

We show that the independence number of $ G_{n,p}$ is concentrated on two values if $ n^{-2/3+ ε} < p \le 1$. This result is roughly best possible as an argument of Sah and Sawhney shows that the independence number is not, in general, concentrated on 2 values for $ p = o \left( (\log(n)/n)^{2/3} \right)$. The extent of concentration of the independence number of $ G_{n,p}$ for $ ω(1/n) <p \le n^{-2/3}$ remains an interesting open question.

The $\mathcal{D}$-process is a single player game in which the player is initially presented the empty graph on $n$ vertices. In each step, a subset of edges $X$ is independently sampled according to a distribution $\mathcal{D}$. The player then selects one edge $e$ from $X$, and adds $e$ to its current graph. For a fixed monotone increasing graph property $\mathcal{P}$, the objective of the player is to force the graph to satisfy $\mathcal{P}$ in as few steps as possible. Through appropriate choices of $\mathcal{D}$, the $\mathcal{D}$-process generalizes well-studied adaptive random graph processes, such as the Achlioptas process and the semi-random graph process We prove a sufficient condition for the existence of a sharp threshold for $\mathcal{P}$ in the $\mathcal{D}$-process. For the semi-random process, we use this condition to prove the existence of a sharp threshold when $\mathcal{P}$ corresponds to being Hamiltonian or to containing a perfect matching. These are the first results for the semi-random graph process which show the existence of a sharp threshold when $\mathcal{P}$ corresponds to containing a sparse spanning graph. Using a separate analytic argument, we show that each sharp threshold is of the form $C_{\mathcal{P}}n$ for some fixed constant $C_{\mathcal{P}}>0$. This answers two of the open problems proposed by Ben-Eliezer et al. (SODA 2020) in the affirmative. Unlike similar results which establish sharp thresholds for certain distributions and properties, we establish the existence of sharp thresholds without explicitly identifying asymptotically optimal strategies.

Consider two graphs $X$ and $Y$, each with $n$ vertices. The friends-and-strangers graph $\mathsf{FS}(X,Y)$ of $X$ and $Y$ is a graph with vertex set consisting of all bijections $σ:V(X) \mapsto V(Y)$, where two bijections $σ$, $σ'$ are adjacent if and only if they differ precisely on two adjacent vertices of $X$, and the corresponding mappings are adjacent in $Y$. The most fundamental question that one can ask about these friends-and-strangers graphs is whether or not they are connected. Alon, Defant, and Kravitz showed that if $X$ and $Y$ are two independent random graphs in $\mathcal{G}(n,p)$, then the threshold probability guaranteeing the connectedness of $\mathsf{FS}(X,Y)$ is $p_0=n^{-1/2+o(1)}$, and suggested to investigate the general asymmetric situation, that is, $X\in \mathcal{G}(n,p_1)$ and $Y\in \mathcal{G}(n,p_2)$. In this paper, we show that if $p_1 p_2 \ge p_0^2=n^{-1+o(1)}$ and $p_1, p_2 \ge w(n) p_0$, where $w(n)\rightarrow 0$ as $n\rightarrow \infty$, then $\mathsf{FS}(X,Y)$ is connected with high probability, which extends the result on $p_1=p_2=p$, due to Alon, Defant, and Kravitz.

Given $0<α\leqπ$, $ε>0$ and $n$, we define random graphs on the $d$-dimensional sphere by drawing $n$ i.i.d. uniform random points for the vertices, and edges $u {\sim} v$ whenever the geodesic distance between $u$ and $v$ is $ε$-close to $α$. This model generalizes distance graphs on spheres, and also random Borsuk graphs. Topological tools are known to give tight bounds for the chromatic number of Borsuk graphs. We now study the efficiency of one of these topological invariants, namely the connectivity of Lóvasz's neighborhood complex, to bound the chromatic number of this model of random graphs. We show that, in general, this bound performs badly, however, it still produces some useful bounds in dimensions $d=1$ and 2.

There are many methods to find a maximum (or maximal) clique in large networks. Due to the nature of combinatorics, computation becomes exponentially expensive as the number of vertices in a graph increases. Thus, there is a need for efficient algorithms to find a maximum clique. In this paper, we present a graph reduction method that significantly reduces the order of a graph, and so enables the identification of a maximum clique in graphs of large order, that would otherwise be computational infeasible to find the maximum. We find bounds of the maximum (or maximal) clique using this reduction. We demonstrate our method on real-life social networks and also on Erdös-Renyi random graphs.

We prove that Aldous' Brownian CRT is the scaling limit, with respect to the Gromov--Prokhorov topology, of uniform random graphs in each of the three following families of graphs: distance-hereditary graphs, $2$-connected distance-hereditary graphs and $3$-leaf power graphs. Our approach is based on the split decomposition and on analytic combinatorics.

In this note, we investigate fundamental relations between exploration processes in random graphs, and branching processes. We formulate a class of models that we call {\em rank-$k$ random graphs}, and that are special in that their neighborhood explorations can be obtained by a {\em thinning} of multi-type branching processes. We show that any rank-2 random graph can be described in terms of thinning of a 2-type branching process, while for higher rank, it is not clear how many types are needed.

In this paper we find an integer $h=h(n)$ such that the minimum number of variables of a first order sentence that distinguishes between two independent uniformly distributed random graphs of size $n$ with the asymptotically largest possible probability $\frac{1}{4}-o(1)$ belongs to $\{h,h+1,h+2,h+3\}$. We also prove that the minimum (random) $k$ such that two independent random graphs are distinguishable by a first order sentence with $k$ variables belongs to $\{h,h+1,h+2\}$ with probability $1-o(1)$.

Since the seminal result of Karger, Motwani, and Sudan, algorithms for approximate 3-coloring have primarily centered around SDP-based rounding. However, it is likely that important combinatorial or algebraic insights are needed in order to break the $n^{o(1)}$ threshold. One way to develop new understanding in graph coloring is to study special subclasses of graphs. For instance, Blum studied the 3-coloring of random graphs, and Arora and Ge studied the 3-coloring of graphs with low threshold-rank. In this work, we study graphs which arise from a tensor product, which appear to be novel instances of the 3-coloring problem. We consider graphs of the form $H = (V,E)$ with $V =V( K_3 \times G)$ and $E = E(K_3 \times G) \setminus E'$, where $E' \subseteq E(K_3 \times G)$ is any edge set such that no vertex has more than an $ε$ fraction of its edges in $E'$. We show that one can construct $\widetilde{H} = K_3 \times \widetilde{G}$ with $V(\widetilde{H}) = V(H)$ that is close to $H$. For arbitrary $G$, $\widetilde{H}$ satisfies $|E(H) ΔE(\widetilde{H})| \leq O(ε|E(H)|)$. Additionally when $G$ is a mild expander, we provide a 3-coloring for $H$ in polynomial time. These results partially generalize an exact tensor factorization algorithm of Imrich. On the other hand, without any assumptions on $G$, we show that it is NP-hard to 3-color $H$.

We introduce a model of a controlled random graph process. In this model, the edges of the complete graph $K_n$ are ordered randomly and then revealed, one by one, to a player called Builder. He must decide, immediately and irrevocably, whether to purchase each observed edge. The observation time is bounded by parameter $t$, and the total budget of purchased edges is bounded by parameter $b$. Builder's goal is to devise a strategy that, with high probability, allows him to construct a graph of purchased edges possessing a target graph property $\mathcal{P}$, all within the limitations of observation time and total budget. We show the following: (a) Builder has a strategy to achieve $k$-vertex-connectivity at the hitting time for this property by purchasing at most $c_kn$ edges for an explicit $c_k<k$; and a strategy to achieve minimum degree $k$ (slightly) after the threshold for minimum degree $k$ by purchasing at most $(1+\varepsilon)kn/2$ edges (which is optimal). (b) Builder has a strategy to create a Hamilton cycle at the hitting time for Hamiltonicity by purchasing at most $Cn$ edges for an absolute constant $C>1$; this is optimal in the sense that $C$ cannot be arbitrarily close to $1$. This substantially extends the classical hitting time result for Hamiltonicity due to Ajtai--Komlós--Szemerédi and Bollobás. (c) Builder has a strategy to create a perfect matching by time $(1+\varepsilon)n\log{n}/2$ while purchasing at most $(1+\varepsilon)n/2$ edges (which is optimal). (d) Builder has a strategy to create a copy of a given $k$-vertex tree if $t\ge b\gg\max\{(n/t)^{k-2},1\}$, and this is optimal; (e) For $\ell=2k+1$ or $\ell=2k+2$, Builder has a strategy to create a copy of a cycle of length $\ell$ if $b\gg\max \{n^{k+2}/t^{k+1},n/\sqrt{t}\}$, and this is optimal.

For a given graph $H$, its subdivisions carry the same topological structure. The existence of $H$-subdivisions within a graph $G$ has deep connections with topological, structural and extremal properties of $G$. One prominent example of such a connection, due to Bollobás and Thomason and independently Komlós and Szemerédi, asserts that the average degree of $G$ being $d$ ensures a $K_{Ω(\sqrt{d})}$-subdivision in $G$. Although this square-root bound is best possible, various results showed that much larger clique subdivisions can be found in a graph for many natural classes. We investigate the connection between crux, a notion capturing the essential order of a graph, and the existence of large clique subdivisions. This reveals the unifying cause underpinning all those improvements for various classes of graphs studied. Roughly speaking, when embedding subdivisions, natural space constraints arise; and such space constraints can be measured via crux. Our main result gives an asymptotically optimal bound on the size of a largest clique subdivision in a generic graph $G$, which is determined by both its average degree and its crux size. As corollaries, we obtain (1) a characterisation of extremal graphs for which the square-root bound above is tight: they are essentially disjoint unions of graphs having crux size linear in $d$; (2) a unifying approach to find a clique subdivision of almost optimal size in graphs which do not contain a fixed bipartite graph as a subgraph; (3) and that the clique subdivision size in random graphs $G(n,p)$ witnesses a dichotomy: when $p = ω(n^{-1/2})$, the barrier is the space, while when $p=o( n^{-1/2})$, the bottleneck is the density.