Michael Krivelevich

Tel Aviv University | TAU · Department of Mathematical Sciences

We consider percolation on high‐dimensional product graphs, where the base graphs are regular and of bounded order. In the subcritical regime, we show that typically the largest component is of order logarithmic in the number of vertices. In the supercritical regime, our main result recovers the sharp asymptotic of the order of the largest componen...

A connected dominating set (CDS) in a graph is a dominating set of vertices that induces a connected subgraph. Having many disjoint CDSs in a graph can be considered as a measure of its connectivity, and has various graph-theoretic and algorithmic implications. We show that $d$-regular (weakly) pseudoreandom graphs contain $(1+o(1))d/\ln d$ disjoin...

We provide sufficient conditions for a regular graph $G$ of growing degree $d$, guaranteeing a phase transition in its random subgraph $G_p$ similar to that of $G(n,p)$ when $p\cdot d\approx 1$. These conditions capture several well-studied graphs, such as (percolation on) the complete graph $K_n$, the binary hypercube $Q^d$, $d$-regular expanders,...

Let $d\ge 3$ be a fixed integer. Let $y:= y(p)$ be the probability that the root of an infinite $d$-regular tree belongs to an infinite cluster after $p$-bond-percolation. We show that for every constants $b,\alpha>0$ and $1<\lambda< d-1$, there exist constants $c,C>0$ such that the following holds. Let $G$ be a $d$-regular graph on $n$ vertices, s...

Given a graph $G$ and probability $p$, we form the random subgraph $G_p$ by retaining each edge of $G$ independently with probability $p$. Given $d\in\mathbb{N}$ and constants $0<c<1, \varepsilon>0$, we show that if every subset $S\subseteq V(G)$ of size exactly $\frac{c|V(G)|}{d}$ satisfies $|N(S)|\ge d|S|$ and $p=\frac{1+\varepsilon}{d}$, then th...

In 2004, Frieze, Krivelevich and Martin established the emergence of a giant component in random subgraphs of pseudo‐random graphs. We study several typical properties of the giant component, most notably its expansion characteristics. We establish an asymptotic vertex expansion of connected sets in the giant by a factor of Õϵ2$$ \overset{\widetild...

We find asymptotics of the maximum size of a chordal subgraph in a binomial random graph $G(n,p)$ , for $p=\mathrm{const}$ and $p=n^{-\alpha +o(1)}$ .

It is known that many different types of finite random subgraph models undergo quantitatively similar phase transitions around their percolation thresholds, and the proofs of these results rely on isoperimetric properties of the underlying host graph. Recently, the authors showed that such a phase transition occurs in a large class of regular high-...

We consider bond percolation on high-dimensional product graphs $G=\square _{i=1}^tG^{(i)}$ , where $\square$ denotes the Cartesian product. We call the $G^{(i)}$ the base graphs and the product graph $G$ the host graph. Very recently, Lichev ( J. Graph Theory , 99(4):651–670, 2022) showed that, under a mild requirement on the isoperimetric propert...

The random greedy algorithm for finding a maximal independent set in a graph constructs a maximal independent set by inspecting the graph's vertices in a random order, adding the current vertex to the independent set if it is not adjacent to any previously added vertex. In this paper, we present a general framework for computing the asymptotic dens...

Let $Q^d$ be the $d$-dimensional binary hypercube. We say that $P=\{v_1,\ldots, v_k\}$ is an increasing path of length $k-1$ in $Q^d$, if for every $i\in [k-1]$ the edge $v_iv_{i+1}$ is obtained by switching some zero coordinate in $v_i$ to a one coordinate in $v_{i+1}$. Form a random subgraph $Q^d_p$ by retaining each edge in $E(Q^d)$ independen...

A classical problem, due to Gerencs\'er and Gy\'arf\'as from 1967, asks how large a monochromatic connected component can we guarantee in any $r$-edge colouring of $K_n$? We consider how big a connected component can we guarantee in any $r$-edge colouring of $K_n$ if we allow ourselves to use up to $s$ colours. This is actually an instance of a mor...

We determine necessary and sufficient conditions on the isoperimetric properties of a regular graph $G$ of growing degree $d$, under which the random subgraph $G_p$ typically undergoes a phase transition around $p=\frac{1}{d}$ which resembles the emergence of a giant component in the binomial random graph model $G(n,p)$. More precisely, let $d=\ome...

We find asymptotics of the maximum size of a chordal subgraph in a binomial random graph $G(n,p)$, for $p=\mathrm{const}$ and $p=n^{-\alpha+o(1)}$.

It is known that the complete graph $K_n$ contains a pancyclic subgraph with $n+(1+o(1))\cdot \log _2 n$ edges, and that there is no pancyclic graph on $n$ vertices with fewer than $n+\log _2 (n-1) -1$ edges. We show that, with high probability, $G(n,p)$ contains a pancyclic subgraph with $n+(1+o(1))\log_2 n$ edges for $p \ge p^*$, where $p^*=(1+o(...

Let G$$ G $$ be an n$$ n $$‐vertex graph, where δ(G)≥δn$$ \delta (G)\ge \delta n $$ for some δ:=δ(n)$$ \delta := \delta (n) $$. A result of Bohman, Frieze and Martin from 2003 asserts that if α(G)=Oδ2n$$ \alpha (G)=O\left({\delta}^2n\right) $$, then perturbing G$$ G $$ via the addition of ωlog(1/δ)δ3$$ \omega \left(\frac{\log \left(1/\delta \right)...

A crown with $k$ spikes is an edge-disjoint union of a cycle $C$ and a matching $M$ of size $k$ such that each edge of $M$ has exactly one vertex in common with $C$. We prove that if $G$ is an $(n,d,\lambda)$-graph with $\lambda/d\le 0.001$ and $d$ is large enough, then $G$ contains a crown on $n$ vertices with $\lfloor n/2\rfloor$ spikes. As a con...

It is known that many different types of finite random subgraph models undergo quantitatively similar phase transitions around their percolation thresholds, and the proofs of these results rely on isoperimetric properties of the underlying host graph. Recently, the authors showed that such a phase transition occurs in a large class of regular high-...

We study the Turán number of long cycles in random and pseudo‐random graphs. Denote by the random variable counting the number of edges in a largest subgraph of without a copy of . We determine the asymptotic value of , where is a cycle of length , for and . The typical behaviour of depends substantially on the parity of . In particular, our result...

We consider vertex percolation on pseudo‐random d$$ d $$‐regular graphs. The previous study by the second author established the existence of phase transition from small components to a linear (in nd$$ \frac{n}{d} $$) sized component, at p=1d$$ p=\frac{1}{d} $$. In the supercritical regime, our main result recovers the sharp asymptotic of the size...

We provide a short and self‐contained proof of the classical result of Kostochka and of Thomason, ensuring that every graph of average degree d $d$ has a complete minor of order Ω ( d ∕ log d ) ${\rm{\Omega }}(d\unicode{x02215}\sqrt{{\rm{log}}d})$.

We propose the following extension of Dirac's theorem: if G $G$ is a graph with n≥3 $n\ge 3$ vertices and minimum degree δ(G)≥n∕2 $\delta (G)\ge n\unicode{x02215}2$, then in every orientation of G $G$ there is a Hamilton cycle with at least δ(G) $\delta (G)$ edges oriented in the same direction. We prove an approximate version of this conjecture, s...

Extremal properties of sparse graphs, randomly perturbed by the binomial random graph are considered. It is known that every $n$-vertex graph $G$ contains a complete minor of order $\Omega(n/\alpha(G))$. We prove that adding $\xi n$ random edges, where $\xi > 0$ is arbitrarily small yet fixed, to an $n$-vertex graph $G$ satisfying $\alpha(G) \leq \...

We consider supercritical site percolation on the $d$ -dimensional hypercube $Q^d$ . We show that typically all components in the percolated hypercube, besides the giant, are of size $O(d)$ . This resolves a conjecture of Bollobás, Kohayakawa, and Łuczak from 1994.

A classical vertex Ramsey result due to Ne\v{s}et\v{r}il and R\"odl states that given a finite family of graphs $\mathcal{F}$, a graph $A$ and a positive integer $r$, if every graph $B\in\mathcal{F}$ has a $2$-vertex-connected subgraph which is not a subgraph of $A$, then there exists an $\mathcal{F}$-free graph which is vertex $r$-Ramsey with resp...

We consider bond percolation on high-dimensional product graphs $G=\square_{i=1}^tG^{(i)}$, where $\square$ denotes the Cartesian product. We call the $G^{(i)}$ the base graphs and the product graph $G$ the host graph. Very recently, Lichev showed that, under a mild requirement on the isoperimetric properties of the base graphs, the component struc...

We prove that for every non-trivial hereditary family of graphs ${\cal P}$ and for every fixed $p \in (0,1)$, the maximum possible number of edges in a subgraph of the random graph $G(n,p)$ which belongs to ${\cal P}$ is, with high probability, $$ \left(1-\frac{1}{k-1}+o(1)\right)p{n \choose 2}, $$ where $k$ is the minimum chromatic number of a gra...

We prove that for every $\varepsilon > 0$ there is $c_0$ such that if $G\sim G(n,c/n)$, $c\ge c_0$, then with high probability $G$ can be covered by at most $(1+\varepsilon)\cdot \frac{1}{2}ce^{-c} \cdot n$ vertex disjoint paths, which is essentially tight. This is equivalent to showing that, with high probability, at most $(1+\varepsilon)\cdot \fr...

We consider the performance of the Depth First Search (DFS) algorithm on the random graph $G\left(n,\frac{1+\epsilon}{n}\right)$, $\epsilon>0$ a small constant. Recently, Enriquez, Faraud and Ménard proved that the stack $U$ of the DFS follows a specific scaling limit, reaching the maximal height of $\left(1+o_{\epsilon}(1)\right)\epsilon^2n$. Here...

In the (1:b) component game played on a graph G, two players, Maker and Breaker, alternately claim 1 and b previously unclaimed edges of G, respectively. Maker’s aim is to maximise the size of a largest connected component in her graph, while Breaker is trying to minimise it. We show that the outcome of the game on the binomial random graph is stro...

We consider percolation on high-dimensional product graphs, where the base graphs are regular and of bounded order. In the subcritical regime, we show that typically the largest component is of order logarithmic in the number of vertices. In the supercritical regime, our main result recovers the sharp asymptotic of the order of the largest componen...

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...

Let $G$ be an $n$-vertex graph, where $\delta(G) \geq \delta n$ for some $\delta := \delta(n)$. A result of Bohman, Frieze and Martin from 2003 asserts that if $\alpha(G) = O \left(\delta^2 n \right)$, then perturbing $G$ via the addition of $\omega \left(\frac{\log(1/\delta)}{\delta^3} \right)$ random edges, asymptotically almost surely (a.a.s. he...

We study the multicolour discrepancy of spanning trees and Hamilton cycles in graphs. As our main result, we show that under very mild conditions, the r-colour spanning-tree discrepancy of a graph G is equal, up to a constant, to the minimum s such that G can be separated into r equal parts by deleting s vertices. This result arguably resolves the...

We consider supercritical site percolation on the $d$-dimensional hypercube $Q^d$. We show that typically all components in the percolated hypercube, besides the giant, are of size $O(d)$. This resolves a conjecture of Bollob\'as, Kohayakawa, and {\L}uczak from 1994.

We propose the following conjecture extending Dirac's theorem: if $G$ is a graph with $n\ge 3$ vertices and minimum degree $\delta(G)\ge n/2$, then in every orientation of $G$ there is a Hamilton cycle with at least $\delta(G)$ edges oriented in the same direction. We prove an approximate version of this conjecture, showing that minimum degree $n/2...

We show that for any d=d(n) with d0(ϵ)≤d=o(n), with high probability, the size of a largest induced cycle in the random graph G(n,d/n) is (2±ϵ)ndlogd. This settles a long‐standing open problem in random graph theory.

We provide a short and self-contained proof of the classical result of Kostochka and of Thomason, ensuring that every graph of average degree $d$ has a complete minor of order $d/\sqrt{\log d}$.

We present a modification of the Depth first search algorithm, suited for finding long induced paths. We use it to give simple proofs of the following results. We show that the induced size-Ramsey number of paths satisfies $\hat{R}_{\mathrm{ind}}(P_n)\leq 5 \cdot 10^7n$ , thus giving an explicit constant in the linear bound, improving the previous...

We study the set of lengths of all cycles that appear in a random d‐regular graph G on n vertices for fixed, as well as in binomial random graphs on n vertices with a fixed average degree . Fundamental results on the distribution of cycle counts in these models were established in the 1980s and early 1990s, with a focus on the extreme lengths: cycl...

We consider the performance of the Depth First Search (DFS) algorithm on the random graph $G\left(n,\frac{1+\epsilon}{n}\right)$, $\epsilon>0$ a small constant. Recently, Enriquez, Faraud and M\'enard [2] proved that the stack $U$ of the DFS follows a specific scaling limit, reaching the maximal height of $(1+o_{\epsilon}(1))\epsilon^2n$. Here we p...

It is well-known that the behaviour of a random subgraph of a $d$-dimensional hypercube, where we include each edge independently with probability $p$, undergoes a phase transition when $p$ is around $\frac{1}{d}$. More precisely, standard arguments show that just below this value of $p$ all components of this graph have order $O(d)$ with probabili...

We prove that a random graph , with p above the Hamiltonicity threshold, is typically such that for any r‐coloring of its edges there exists a Hamilton cycle with at least edges of the same color. This estimate is asymptotically optimal.

We show that for d≥d0(ϵ), with high probability, the size of a largest induced cycle in the random graph G(n, d/n) is (2±ϵ)ndlogd. This settles a long-standing open problem in random graph theory.

We consider vertex percolation on pseudo-random $d-$regular graphs. The previous study by the second author established the existence of phase transition from small components to a linear (in $\frac{n}{d}$) sized component, at $p=\frac{1}{d}$. In the supercritical regime, our main result recovers the sharp asymptotic of the size of the largest comp...

We prove that for every graph H of maximum degree at most 3 and for every positive integer q there is a finite f = f ( H , q ) such that every K f‐minor contains a subdivision of H in which every edge is replaced by a path whose length is divisible by q. For the case of cycles we show that for f = O ( q log q ) every K f‐minor contains a cycle of l...

We present a modification of the DFS graph search algorithm, suited for finding long induced paths. We use it to give simple proofs of the following results. We show that the induced size-Ramsey number of paths satisfies $\hat{R}_{\mathrm{ind}}(P_n)\leq 5\cdot 10^7n$, thus giving an explicit constant in the linear bound, improving the previous boun...

Analogous to the case of the binomial random graph $G(d+1,p)$, it is known that the behaviour of a random subgraph of a $d$-dimensional hypercube, where we include each edge independently with probability $p$, which we denote by $Q^d_p$, undergoes a phase transition around the critical value of $p=\frac{1}{d}$. More precisely, standard arguments sh...

We show that for any $d=d(n)$ with $d_0(\epsilon) \le d =o(n)$, with high probability, the size of a largest induced cycle in the random graph $G(n,d/n)$ is $(2\pm \epsilon)\frac{n}{d}\log d$. This settles a long-standing open problem in random graph theory.

The r‐size‐Ramsey number of a graph H is the smallest number of edges a graph G can have such that for every edge‐coloring of G with r colors there exists a monochromatic copy of H in G. For a graph H, we denote by Hq the graph obtained from H by subdividing its edges with q − 1 vertices each. In a recent paper of Kohayakawa, Retter and Rödl, it is...

In the $\left(1:b\right)$ component game played on a graph $G$, two players, Maker and Breaker, alternately claim~$1$ and~$b$ previously unclaimed edges of $G$, respectively. Maker's aim is to maximise the size of a largest connected component in her graph, while Breaker is trying to minimise it. We show that the outcome of the game on the binomial...

We study the multicolour discrepancy of spanning trees and Hamilton cycles in graphs. As our main result, we show that under very mild conditions, the $r$-colour spanning-tree discrepancy of a graph $G$ is equal, up to a constant, to the minimum $s$ such that $G$ can be separated into $r$ equal parts by deleting $s$ vertices. This result arguably r...

Let G be a graph of minimum degree at least k and let G p be the random subgraph of G obtained by keeping each edge independently with probability p . We are interested in the size of the largest complete minor that G p contains when p = (1 + ε )/ k with ε > 0. We show that with high probability G p contains a complete minor of order $\tilde{\Omega...

For a positive constant α a graph G on n vertices is called an α-expander if every vertex set U of size at most n/2 has an external neighborhood whose size is at least α|U|. We study cycle lengths in expanding graphs. We first prove that cycle lengths in α-expanders are well distributed. Specifically, we show that for every 0 < α ⪯ 1 there exist po...

We present an explicit connected spanning structure that appears in a random graph just above the connectivity threshold with high probability.

Say that a graph G has property if the size of its maximum matching is equal to the order of a minimal vertex cover. We study the following process. Set and let e1, e2, … eN be a uniformly random ordering of the edges of Kn, with n an even integer. Let G0 be the empty graph on n vertices. For m ≥ 0, Gm + 1 is obtained from Gm by adding the edge em...

In this paper, we study the following recently proposed semi‐random graph process: starting with an empty graph on n vertices, the process proceeds in rounds, where in each round we are given a uniformly random vertex v, and must immediately (in an online manner) add to our graph an edge incident with v. The end goal is to make the constructed grap...

We study the set ${\cal L}(G)$ of lengths of all cycles that appear in a random $d$-regular $G$ on $n$ vertices for a fixed $d\geq 3$, as well as in Erd\H{o}s--R\'enyi random graphs on $n$ vertices with a fixed average degree $c>1$. Fundamental results on the distribution of cycle counts in these models were established in the 1980's and early 1990...

We prove that a random graph $G(n,p)$, with $p$ above the Hamiltonicity threshold, is typically such that for any $r$-colouring of its edges there exists a Hamilton cycle with at least $(2/(r+ 1)-o(1))n$ edges of the same colour. This estimate is asymptotically optimal.

We develop a general embedding method based on the Friedman-Pippenger tree embedding technique and its algorithmic version, enhanced with a roll-back idea allowing a sequential retracing of previously performed embedding steps. We use this method to obtain the following results. We show that the size-Ramsey number of logarithmically long subdivisio...

The $r$-size-Ramsey number $\hat{R}_r(H)$ of a graph $H$ is the smallest number of edges a graph $G$ can have, such that for every edge-coloring of $G$ with $r$ colors there exists a monochromatic copy of $H$ in $G$. The notion of size-Ramsey numbers has been introduced by Erd\H{o}s, Faudree, Rousseau and Schelp in 1978, and has attracted a lot of...

Let $G$ be a graph of minimum degree at least $k$ and let $G_p$ be the random subgraph of $G$ obtained by keeping each edge independently with probability $p$. We are interested in the size of the largest complete minor that $G_p$ contains when $p = \frac{1+\varepsilon}{k}$ with $\varepsilon >0$. We show that with high probability $G_p$ contains a...

We present an algorithm CRE, which either finds a Hamilton cycle in a graph G or determines that there is no such cycle in the graph. The algorithm's expected running time over input distribution G∼G(n,p) is (1+o(1))n/p, the optimal possible expected time, for . This improves upon previous results on this problem due to Gurevich and Shelah, and to...

We show that the probability that a random graph $G\sim G(n,p)$ contains no Hamilton cycle is $(1+o(1))Pr(\delta (G) < 2)$ for all values of $p = p(n)$. We also prove an analogous result for perfect matchings.

We consider supercritical bond percolation on a family of high‐girth ‐regular expanders. The previous study of Alon, Benjamini and Stacey established that its critical probability for the appearance of a linear‐sized (“giant”) component is . Our main result recovers the sharp asymptotics of the size and degree distribution of the vertices in the gi...

For a positive constant $\alpha$ a graph $G$ on $n$ vertices is called an $\alpha$-expander if every vertex set $U$ of size at most $n/2$ has an external neighborhood whose size is at least $\alpha\|U\|$. We study cycle lengths in expanding graphs. We first prove that cycle lengths in $\alpha$-expanders are well distributed. Specifically, we show t...

This mini-workshop focused on Positional Games and related fields. Positional Games Theory is a branch of Combinatorics whose main aim is to systematically develop an extensive mathematical basis for a variety of two-player games of perfect information and without chance moves, usually played on discrete objects. These include popular recreational...

Consider the random subgraph process on a base graph $G$ on $n$ vertices: a sequence $\lbrace G_t \rbrace _{t=0} ^{|E(G)|}$ of random subgraphs of $G$ obtained by choosing an ordering of the edges of $G$ uniformly at random, and by sequentially adding edges to $G_0$, the empty graph on the vertex set of $G$, according to the chosen ordering. We sho...

We study the Tur\'an number of long cycles in random graphs and in pseudo-random graphs. Denote by $ex(G(n,p),H)$ the random variable counting the number of edges in a largest subgraph of $G(n,p)$ without a copy of $H$. We determine the asymptotic value of $ex(G(n,p), C_t)$ where $C_t$ is a cycle of length $t$, for $p\geq \frac Cn$ and $A \log n \l...

The inducibility of a graph H measures the maximum number of induced copies of H a large graph G can have. Generalizing this notion, we study how many induced subgraphs of fixed order k and size ℓ a large graph G on n vertices can have. Clearly, this number is $\left( {\matrix{n \cr k}}\right)$ for every n , k and $\ell \in \left\{ {0,\left( {\matr...

Semi-random processes involve an adaptive decision-maker, whose goal is to achieve some predetermined objective in an online randomized environment. They have algorithmic implications in various areas of computer science, as well as connections to biological processes involving decision making. In this paper, we consider a recently proposed semi-ra...

The random greedy algorithm for finding a maximal independent set in a graph has been studied extensively in various settings in combinatorics, probability, computer science -- and even in chemistry. The algorithm builds a maximal independent set by inspecting the vertices of the graph one at a time according to a random order, adding the current v...

We investigate the genus g(n,m) of the Erdős‐Rényi random graph G(n,m), providing a thorough description of how this relates to the function m = m(n), and finding that there is different behavior depending on which “region” m falls into. Results already exist for and for , and so we focus on the intermediate cases. We establish that whp (with high...

Say that a graph G has property $\mathcal{K}$ if the size of its maximum matching is equal to the order of a minimal vertex cover. We study the following process. Set $N:= \binom{n}{2}$ and let $e_1, e_2, \dots e_{N}$ be a uniformly random ordering of the edges of $K_n$, with $n$ an even integer. Let $G_0$ be the empty graph on $n$ vertices. For $m...

We show that if |$G$| is a graph on |$n$| vertices, with all degrees comparable to some |$d = d(n)$|⁠, and without a sparse cut, for a suitably chosen notion of sparseness, then it contains a complete minor of order \begin{equation*} \Omega\left( \sqrt{\frac{n d}{\log d}} \right). \end{equation*} As a corollary we determine the order of a largest...

A graph $G=(V,E)$ is called an expander if every vertex subset $U$ of size up to $|V|/2$ has an external neighborhood whose size is comparable to $|U|$. Expanders have been a subject of intensive research for more than three decades and have become one of the central notions of modern graph theory. We first discuss the above definition of an expand...

We show that if $G$ is a graph on $n$ vertices, with all degrees comparable to some $d = d(n)$, and without a sparse cut, for a suitably chosen notion of sparseness, then it contains a complete minor of order \[ \Omega\left( \sqrt{\frac{n d}{\log d}} \right). \] As a corollary we determine the order of a largest complete minor one can guarantee in...

For integers $n, D, q$ we define a two player perfect information game with no chance moves called the Waiter-Client Maximum Degree game. In this game, two players (Waiter and Client) play on the edges of $K_n$ as follows: in each round, Waiter offers $q+1$ edges which have not been previously offered. Client then claims one of these edges, and Wai...

We investigate the genus $g(n,m)$ of the Erd\H{o}s-R\'enyi random graph $G(n,m)$, providing a thorough description of how this relates to the function $m=m(n)$, and finding that there is different behaviour depending on which `region' $m$ falls into. Results already exist for $m$ at most $\frac{n}{2} + O(n^{2/3})$ and $m$ at least $\omega \left( n^...

The inducibility of a graph $H$ measures the maximum number of induced copies of $H$ a large graph $G$ can have. Generalizing this notion, we study how many induced subgraphs of fixed order $k$ and size $\ell$ a large graph $G$ on $n$ vertices can have. Clearly, this number is $\binom{n}{k}$ for every $n$, $k$ and $\ell \in \left \{0, \binom{k}{2}...

We consider supercritical bond percolation on a family of high-girth $d$-regular expanders. Alon, Benjamini and Stacey (2004) established that its critical probability for the appearance of a linear-sized ("giant") component is $p_c=1/(d-1)$. Our main result recovers the sharp asymptotics of the size and degree distribution of the vertices in the g...

In the 70s, Goldberg, and independently Seymour, conjectured that for any multigraph $G$, the chromatic index $\chi'(G)$ satisfies $\chi'(G)\leq \max \{\Delta(G)+1, \lceil\rho(G)\rceil\}$, where $\rho(G)=\max \{\frac {e(G[S])}{\lfloor |S|/2\rfloor} \mid S\subseteq V \}$. We show that their conjecture (in a stronger form) is true for random multigra...

Let $\mathcal{P}$ be a graph property which is preserved by removal of edges, and consider the random graph process that starts with the empty $n$-vertex graph and then adds edges one-by-one, each chosen uniformly at random subject to the constraint that $\mathcal{P}$ is not violated. These types of random processes have been the subject of extensi...

We show that every locally sparse graph contains a linearly sized expanding subgraph. For constants c1 > c2 > 1, 0 < α < 1, a graph G on n vertices is called a (c1, c2, α)-graph if it has at least c1n edges, but every vertex subset W ⊂ V (G) of size |W| ≤ αn spans less than c2|W| edges. We prove that every (c1, c2, α)-graph with bounded degrees con...

We provide sufficient conditions for the existence of long cycles in locally expanding graphs, and present applications of our conditions and techniques to Ramsey theory, random graphs and positional games.

It is known that w.h.p. the hitting time $\tau_{2\sigma}$ for the random graph process to have minimum degree $2\sigma$ coincides with the hitting time for $\sigma$ edge disjoint Hamilton cycles, \cite{BF}, \cite{KS}, \cite{KO}. In this paper we prove an online version of this property. We show that, for a fixed integer $\sigma\geq 2$, if random ed...

We consider the combinatorial properties of the trace of a random walk on the complete graph and on the random graph $G(n,p)$. In particular, we study the appearance of a fixed subgraph in the trace. We prove that for a subgraph containing a cycle, the threshold for its appearance in the trace of a random walk of length $m$ is essentially equal to...

We use a theorem by Ding, Lubetzky and Peres describing the structure of the giant component of random graphs in the strictly supercritical regime, in order to determine the typical size of MAXCUT of $G\sim G\left(n,\frac {1+\varepsilon}n\right)$ in terms of $\varepsilon$. We then apply this result to prove the following conjecture by Frieze and Pe...

We consider the following activation process in undirected graphs: a vertex is active either if it belongs to a set of initially activated vertices or if at some point it has at least $r$ active neighbors. A \emph{contagious set} is a set whose activation results with the entire graph being active. Given a graph $G$, let $m(G,r)$ be the minimal siz...

We study two types of two player, perfect information games with no chance moves, played on the edge set of the binomial random graph ${\mathcal G}(n,p)$. In each round of the $(1 : q)$ Waiter-Client Hamiltonicity game, the first player, called Waiter, offers the second player, called Client, $q+1$ edges of ${\mathcal G}(n,p)$ which have not been o...

We study graph-theoretic properties of the trace of a random walk on a random graph. We show that for any $\varepsilon>0$ there exists $C>1$ such that the trace of the simple random walk of length $(1+\varepsilon)n\ln{n}$ on the random graph $G\sim G(n,p)$ for $p>C\ln{n}/n$ is, with high probability, Hamiltonian and $\Theta(\ln{n})$-connected. In t...