arXiv++ Combinatorics

Let $X$ count the number of $r$-stars in the random binomial graph $\mathbb{G}(n,p)$. We determine, for fixed $r$ and $\varepsilon > 0$, the asymptotics of $\log \mathbb{P}(X \ge (1 + \varepsilon)\mathbb{E} X)$ assuming only $\mathbb{E} X \to \infty$ and $p \to 0$ thus giving a first class of irregular graphs for which the upper tail problem for subgraph counts (stated by Janson and Ruciński in 2004) is solved in the sparse setting.

We consider maximum rooted tree extension counts in random graphs, i.e., we consider M_n = \max_v X_v where X_v counts the number of copies of a given tree in G_{n,p} rooted at vertex v. We determine the asymptotics of M_n when the random graph is not too sparse, specifically when the edge probability p=p(n) satisfies p(1-p)n \gg \log n. The problem is more difficult in the sparser regime 1 \ll pn \ll \log n, where we determine the asymptotics of M_n for specific classes of trees. Interestingly, here our large deviation type optimization arguments reveal that the behavior of M_n changes as we vary p=p(n), due to different mechanisms that can make the maximum large.

Flip processes, introduced in [Garbe, Hladký, Šileikis, Skerman: From flip processes to dynamical systems on graphons], are a class of random graph processes defined using a rule which is just a function $\mathcal{R}:\mathcal{H}_k\rightarrow \mathcal{H}_k$ from all labelled graphs of a fixed order $k$ into itself. The process starts with an arbitrary given $n$-vertex graph $G_0$. In each step, the graph $G_i$ is obtained by sampling $k$ random vertices $v_1,\ldots,v_k$ of $G_{i-1}$ and replacing the induced graph $G_{i-1}[v_1,\ldots,v_k]$ by $\mathcal{R}(G_{i-1}[v_1,\ldots,v_k])$. Using the formalism of dynamical systems on graphons associated to each such flip process from ibid. we study several specific flip processes, including the triangle removal flip process and its generalizations, 'extremist flip processes' (in which $\mathcal{R}(H)$ is either a clique or an independent set, depending on whether $e(H)$ has less or more than half of all potential edges), and 'ignorant flip processes' in which the output $\mathcal{R}(H)$ does not depend on $H$.

We introduce a class of random graph processes, which we call flip processes. Each such process is given by a rule which is a function $\mathcal{R}:\mathcal{H}_k\rightarrow \mathcal{H}_k$ from all labeled $k$-vertex graphs into itself ($k$ is fixed). The process starts with a given $n$-vertex graph $G_0$. In each step, the graph $G_i$ is obtained by sampling $k$ random vertices $v_1,\ldots,v_k$ of $G_{i-1}$ and replacing the induced graph $F:=G_{i-1}[v_1,\ldots,v_k]$ by $\mathcal{R}(F)$. This class contains several previously studied processes including the Erdős--Rényi random graph process and the triangle removal process. Actually, our definition of flip processes is more general, in that $\mathcal{R}(F)$ is a probability distribution on $\mathcal{H}_k$, thus allowing randomised replacements. Given a flip process with a rule $\mathcal{R}$, we construct time-indexed trajectories $Φ:\mathcal{W}_0\times [0,\infty)\rightarrow\mathcal{W}_0$ in the space of graphons. We prove that for any $T > 0$ starting with a large finite graph $G_0$ which is close to a graphon $W_0$ in the cut norm, with high probability the flip process will stay in a thin sausage around the trajectory $(Φ(W_0,t))_{t=0}^T$ (after rescaling the time by the square of the order of the graph). These graphon trajectories are then studied from the perspective of dynamical systems. Among others topics, we study continuity properties of these trajectories with respect to time and initial graphon, existence and stability of fixed points and speed of convergence (whenever the infinite time limit exists). We give an example of a flip process with a periodic trajectory.

Let $V_n$ be a set of $n$ points in the plane and let $x \notin V_n$. An $x$-loop is a continuous closed curve not containing any point of $V_n$. We say that two $x$-loops are non-homotopic if they cannot be transformed continuously into each other without passing through a point of $V_n$. For $n=2$, we give an upper bound $e^{O\left(\sqrt{k}\right)}$ on the maximum size of a family of pairwise non-homotopic $x$-loops such that every loop has fewer than $k$ self-intersections and any two loops have fewer than $k$ intersections. The exponent $O\big(\sqrt{k}\big)$ is asymptotically tight. The previous upper bound bound $2^{(2k)^4}$ was proved by Pach, Tardos, and Tóth [Graph Drawing 2020]. We prove the above result by proving the asymptotic upper bound $e^{O\left(\sqrt{k}\right)}$ for a similar problem when $x \in V_n$, and by proving a close relation between the two problems.

Let $G(n,n,m)$ be a uniformly random $m$-edge subgraph of the complete bipartite graph $K_{n,n}$ with bipartition $(V_1, V_2)$, where $n_i = |V_i|$. Given a real number $p \in [0,1]$ such that $d_1 := pn_2$ and $d_2 := pn_1$ are integers, let $R(n,n,p)$ be a random subgraph of $K_{n,n}$ such that every $v \in V_i$ has degree $d_i$, for $i = 1, 2$. In this paper we determine sufficient conditions on $n_1,n_2,p$, and $m$ under which one can embed $G(n,n,m)$ into $R(n,n,p)$ and vice versa with probability tending to $1$. In particular, in the balanced case $n_1 = n_2$, we show that if $p \gg \log n/n$ and $1 - p \gg \left(\log n/n \right)^{1/4}$, then for some $m \sim pn^2$, asymptotically almost surely one can embed $G(n,n,m)$ into $R(n,n,p)$, while for $p \gg \left(\log^{3} n/n\right)^{1/4}$ and $1-p \gg \log n/n$ we have the opposite embedding. As an extension, we confirm the Kim--Vu Sandwich Conjecture for degrees growing faster than $(n \log n)^{3/4}$.

We consider rooted subgraphs in random graphs, i.e., extension counts such as (i) the number of triangles containing a given vertex or (ii) the number of paths of length three connecting two given vertices. In 1989, Spencer gave sufficient conditions for the event that, with high probability, these extension counts are asymptotically equal for all choices of the root vertices. For the important strictly balanced case, Spencer also raised the fundamental question as to whether these conditions are necessary. We answer this question by a careful second moment argument, and discuss some intriguing problems that remain open.

The theory of graphons comes with a natural sampling procedure, which results in an inhomogeneous variant of the Erdős--Rényi random graph, called $W$-random graphs. We prove, via the method of moments, a limit theorem for the number of $r$-cliques in such random graphs. We show that, whereas in the case of dense Erdős--Rényi random graphs the fluctuations are normal of order $n^{r-1}$, the fluctuations in the setting of $W$-random graphs may be of order $0, n^{r-1}$, or $n^{r-0.5}$. Furthermore, when the fluctuations are of order $n^{r-0.5}$ they are normal, while when the fluctuations are of order $n^{r-1}$ they exhibit either normal or a particular type of chi-square behavior whose parameters relate to spectral properties of $W$. These results can also be deduced from a general setting [Janson and Nowicki, PTRF 1991], based on the projection method. In addition to providing alternative proofs, our approach makes direct links to the theory of graphons.

For r \ge 2, let X be the number of r-armed stars K_{1,r} in the binomial random graph G_{n,p}. We study the upper tail \Pr(X \ge (1+ε)\E X), and establish exponential bounds which are best possible up to constant factors in the exponent (for the special case of stars K_{1,r} this solves a problem of Janson and Rucinski, and confirms a conjecture by DeMarco and Kahn). In contrast to the widely accepted standard for the upper tail problem, we do not restrict our attention to constant ε, but also allow for ε\ge n^{-α} deviations.

An additive functional of a rooted tree is a functional that can be calculated recursively as the sum of the values of the functional over the branches, plus a certain toll function. Janson recently proved a central limit theorem for additive functionals of conditioned Galton-Watson trees under the assumption that the toll function is local, i.e. only depends on a fixed neighbourhood of the root. We extend his result to functionals that are "almost local" in a certain sense, thus covering a wider range of functionals. The notion of almost local functional intuitively means that the toll function can be approximated well by considering only a neighbourhood of the root. Our main result is illustrated by several explicit examples including natural graph theoretic parameters such as the number of independent sets, the number of matchings, and the number of dominating sets. We also cover a functional stemming from a tree reduction process that was studied by Hackl, Heuberger, Kropf, and Prodinger.

Given a fixed graph H, what is the (exponentially small) probability that the number X_H of copies of H in the binomial random graph G_{n,p} is at least twice its mean? Studied intensively since the mid 1990s, this so-called infamous upper tail problem remains a challenging testbed for concentration inequalities. In 2011 DeMarco and Kahn formulated an intriguing conjecture about the exponential rate of decay of \Pr(X_H \ge (1+ε) \E X_H) for fixed ε>0. We show that this upper tail conjecture is false, by exhibiting an infinite family of graphs violating the conjectured bound.

We consider the problem of finding the optimal upper bound for the tail probability of a sum of $k$ nonnegative, independent and identically distributed random variables with given mean $x$. For $k=1$ the answer is given by Markov's inequality and for $k=2$ the solution was found by Hoeffding and Shrikhande in 1955. We solve the problem for $k=3$ as well as for general $k$ and $x\leq1/(2k-1)$ by showing that it follows from the fractional version of an extremal graph theory problem of Erdős on matchings in hypergraphs.

We establish an inclusion relation between two uniform models of random $k$-graphs (for constant $k \ge 2$) on $n$ labeled vertices: $\mathbb G^{(k)}(n,m)$, the random $k$-graph with $m$ edges, and $\mathbb R^{(k)}(n,d)$, the random $d$-regular $k$-graph. We show that if $n\log n\ll m\ll n^k$ we can choose $d = d(n) \sim {km}/n$ and couple $\mathbb G^{(k)}(n,m)$ and $\mathbb R^{(k)}(n,d)$ so that the latter contains the former with probability tending to one as $n\to\infty$. This extends an earlier result of Kim and Vu about "sandwiching random graphs". In view of known threshold theorems on the existence of different types of Hamilton cycles in $\mathbb G^{(k)}(n,m)$, our result allows us to find conditions under which $\mathbb R^{(k)}(n,d)$ is Hamiltonian. In particular, for $k\ge 3$ we conclude that if $n^{k-2} \ll d \ll n^{k-1}$, then a.a.s. $\mathbb R^{(k)}(n,d)$ contains a tight Hamilton cycle.

We establish a relation between two uniform models of random $k$-graphs (for constant $k \ge 3$) on $n$ labeled vertices: $H(n,m)$, the random $k$-graph with exactly $m$ edges, and $H(n,d)$, the random $d$-regular $k$-graph. By extending to $k$-graphs the switching technique of McKay and Wormald, we show that, for some range of $d = d(n)$ and a constant $c > 0$, if $m \sim cnd$, then one can couple $H(n,m)$ and $H(n,d)$ so that the latter contains the former with probability tending to one as $n \to \infty$. In view of known results on the existence of a loose Hamilton cycle in $H(n,m)$, we conclude that $H(n,d)$ contains a loose Hamilton cycle when $\log n = o(d)$ (or just $d \ge C log n$, if $k = 3$) and $d = o(n^{1/2})$.

In this paper we asymptotically count $d$-regular $k$-uniform hypergraphs on $n$ vertices, provided $k$ is fixed and $d=d(n)=o(n^{1/2})$. In doing so, we extend to hypergraphs a switching technique of McKay and Wormald.

Let S_n=X_1+...+X_n be a sum of independent symmetric random variables such that |X_{i}|\leq 1. Denote by W_n=ε_{1}+...+ε_{n} a sum of independent random variables such that \prob{\eps_i = \pm 1} = 1/2. We prove that \mathbb{P}{S_{n} \in A} \leq \mathbb{P}{cW_k \in A}, where A is either an interval of the form [x, \infty) or just a single point. The inequality is exact and the optimal values of c and k are given explicitly. It improves Kwapień's inequality in the case of the Rademacher series. We also provide a new and very short proof of the Littlewood-Offord problem without using Sperner's Theorem. Finally, an extension to odd Lipschitz functions is given.