Source author record

Benny Sudakov

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CO math.PR Discrete Mathematics Data Structures and Algorithms Artificial Intelligence Computer Science and Game Theory Distributed, Parallel, and Cluster Computing Information Theory math.IT math.MG Populations and Evolution

Catalog footprint

Research overview

121works

11topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

Set mappings for general graphs

The study of extremal problems for set mappings has a long history. It was introduced in 1958 by Erdős and Hajnal, who considered the case of cliques in graphs and hypergraphs. Recently, Caro, Patkós, Tuza and Vizer revisited this subject, and initiated the systematic study of set mapping problems for general graphs. In this paper, we prove the following result, which answers one of their questions. Let $G$ be a graph with $m$ edges and no isolated vertices and let $f : E(K_N) \rightarrow E(K_N)$ such that $f(e)$ is disjoint from $e$ for all $e \in E(K_N)$ . Then for some absolute constant $C$ , as long as $N \geq C m$ , there is a copy $G^*$ of $G$ in $K_N$ such that $f(e)$ is disjoint from $V(G^*)$ for all $e \in E(G^*)$ . The bound $N = O(m)$ is tight for cliques and is tight up to a logarithmic factor for all $G$ .

preprint2025arXiv

Saturation in Random Hypergraphs

Let $K^r_n$ be the complete $r$ -uniform hypergraph on $n$ vertices, that is, the hypergraph whose vertex set is $[n]:=\{1,2,...,n\}$ and whose edge set is $\binom{[n]}{r}$ . We form $G^r(n,p)$ by retaining each edge of $K^r_n$ independently with probability $p$ . An $r$ -uniform hypergraph $H\subseteq G$ is $F$ -saturated if $H$ does not contain any copy of $F$ , but any missing edge of $H$ in $G$ creates a copy of $F$ . Furthermore, we say that $H$ is weakly $F$ -saturated in $G$ if $H$ does not contain any copy of $F$ , but the missing edges of $H$ in $G$ can be added back one-by-one, in some order, such that every edge creates a new copy of $F$ . The smallest number of edges in an $F$ -saturated hypergraph in $G$ is denoted by $sat(G,F)$ , and in a weakly $F$ -saturated hypergraph in $G$ by $wsat(G,F)$ . In 2017, Korándi and Sudakov initiated the study of saturation in random graphs, showing that for constant $p$ , with high probability $sat(G(n,p),K_s)=(1+o(1))n\log_{\frac{1}{1-p}}n$ , and $wsat(G(n,p),K_s)=wsat(K_n,K_s)$ . Generalising their results, in this paper, we solve the suturation problem for random hypergraphs for every $2\le r < s$ and constant $p$ .

preprint2023arXiv

Large independent sets from local considerations

The following natural problem was raised independently by Erdős-Hajnal and Linial-Rabinovich in the late 80's. How large must the independence number $α(G)$ of a graph $G$ be whose every $m$ vertices contain an independent set of size $r$ ? In this paper we discuss new methods to attack this problem. The first new approach, based on bounding Ramsey numbers of certain graphs, allows us to improve previously best lower bounds due to Linial-Rabinovich, Erdős-Hajnal and Alon-Sudakov. As an example, we prove that any $n$ -vertex graph $G$ having an independent set of size $3$ among every $7$ vertices has $α(G) \ge Ω(n^{5/12})$ . This confirms a conjecture of Erdős and Hajnal that $α(G)$ should be at least $n^{1/3+\varepsilon}$ and brings the exponent half-way to the best possible value of $1/2$ . Our second approach deals with upper bounds. It relies on a reduction of the original question to the following natural extremal problem. What is the minimum possible value of the $2$ -density of a graph on $m$ vertices having no independent set of size $r$ ? This allows us to improve previous upper bounds due to Linial-Rabinovich, Krivelevich and Kostochka-Jancey. As part of our arguments we link the problem of Erdős-Hajnal and Linial-Rabinovich and our new extremal $2$ -density problem to a number of other well-studied questions. This leads to many interesting directions for future research.

preprint2022arXiv

An average degree condition for independent transversals

In 1994, Erdős, Gyárfás and Łuczak posed the following problem: given disjoint vertex sets $V_1,\dots,V_n$ of size~ $k$ , with exactly one edge between any pair $V_i,V_j$ , how large can $n$ be such that there will always be an independent transversal? They showed that the maximal $n$ is at most $(1+o(1))k^2$ , by providing an explicit construction with these parameters and no independent transversal. They also proved a lower bound which is smaller by a $2e$ -factor. In this paper, we solve this problem by showing that their upper bound construction is best possible: if $n\le (1-o(1))k^2$ , there will always be an independent transversal. In fact, this result is a very special case of a much more general theorem which concerns independent transversals in arbitrary partite graphs that are `locally sparse', meaning that the maximum degree between each pair of parts is relatively small. In this setting, Loh and Sudakov provided a global \emph{maximum} degree condition for the existence of an independent transversal. We show that this can be relaxed to an \emph{average} degree condition. We can also use our new theorem to establish tight bounds for a more general version of the Erdős--Gyárfás--Łuczak problem and solve a conjecture of Yuster from 1997. This exploits a connection to the Turán numbers of complete bipartite graphs, which might be of independent interest.

preprint2022arXiv

Asymptotics of the hypergraph bipartite Turán problem

For positive integers $s,t,r$ , let $K_{s,t}^{(r)}$ denote the $r$ -uniform hypergraph whose vertex set is the union of pairwise disjoint sets $X,Y_1,\dots,Y_t$ , where $|X| = s$ and $|Y_1| = \dots = |Y_t| = r-1$ , and whose edge set is $\{\{x\} \cup Y_i: x \in X, 1\leq i\leq t\}$ . The study of the Turán function of $K_{s,t}^{(r)}$ received considerable interest in recent years. Our main results are as follows. First, we show that \begin{equation} \mathrm{ex}(n,K_{s,t}^{(r)}) = O_{s,r}(t^{\frac{1}{s-1}}n^{r - \frac{1}{s-1}}) \end{equation} for all $s,t\geq 2$ and $r\geq 3$ , improving the power of $n$ in the previously best bound and resolving a question of Mubayi and Verstraëte about the dependence of $\mathrm{ex}(n,K_{2,t}^{(3)})$ on $t$ . Second, we show that this upper bound is tight when $r$ is even and $t \gg s$ . This disproves a conjecture of Xu, Zhang and Ge. Third, we show that the above upper bound is not tight for $r = 3$ , namely that $\mathrm{ex}(n,K_{s,t}^{(3)}) = O_{s,t}(n^{3 - \frac{1}{s-1} - \varepsilon_s})$ (for all $s\geq 3$ ). This indicates that the behaviour of $\mathrm{ex}(n,K_{s,t}^{(r)})$ might depend on the parity of $r$ . Lastly, we prove a conjecture of Ergemlidze, Jiang and Methuku on the hypergraph analogue of the bipartite Turán problem for graphs with bounded degrees on one side. Our tools include a novel twist on the dependent random choice method as well as a variant of the celebrated norm graphs constructed by Kollár, Rónyai and Szabó.

preprint2022arXiv

Evasive sets, covering by subspaces, and point-hyperplane incidences

Given positive integers $k\leq d$ and a finite field $\mathbb{F}$ , a set $S\subset\mathbb{F}^{d}$ is $(k,c)$ -subspace evasive if every $k$ -dimensional affine subspace contains at most $c$ elements of $S$ . By a simple averaging argument, the maximum size of a $(k,c)$ -subspace evasive set is at most $c |\mathbb{F}|^{d-k}$ . When $k$ and $d$ are fixed, and $c$ is sufficiently large, the matching lower bound $Ω(|\mathbb{F}|^{d-k})$ is proved by Dvir and Lovett. We provide an alternative proof of this result using the random algebraic method. We also prove sharp upper bounds on the size of $(k,c)$ -evasive sets in case $d$ is large, extending results of Ben-Aroya and Shinkar. The existence of optimal evasive sets has several interesting consequences in combinatorial geometry. We show that the minimum number of $k$ -dimensional linear hyperplanes needed to cover the grid $[n]^{d}\subset \mathbb{R}^{d}$ is $Ω_{d}\big(n^{\frac{d(d-k)}{d-1}}\big)$ , which matches the upper bound proved by Balko, Cibulka, and Valtr, and settles a problem proposed by Brass, Moser, and Pach. Furthermore, we improve the best known lower bound on the maximum number of incidences between points and hyperplanes in $\mathbb{R}^{d}$ assuming their incidence graph avoids the complete bipartite graph $K_{c,c}$ for some large constant $c=c(d)$ .

preprint2022arXiv

Regular subgraphs of linear hypergraphs

We prove that the maximum number of edges in a 3-uniform linear hypergraph on $n$ vertices containing no 2-regular subhypergraph is $n^{1+o(1)}$ . This resolves a conjecture of Dellamonica, Haxell, Luczak, Mubayi, Nagle, Person, Rödl, Schacht and Verstraëte. We use this result to show that the maximum number of edges in a $3$ -uniform hypergraph on $n$ vertices containing no immersion of a closed surface is $n^{2+o(1)}$ . Furthermore, we present results on the maximum number of edges in $k$ -uniform linear hypergraphs containing no $r$ -regular subhypergraph.

preprint2022arXiv

Resolution of the Erdős-Sauer problem on regular subgraphs

In this paper we completely resolve the well-known problem of Erdős and Sauer from 1975 which asks for the maximum number of edges an $n$ -vertex graph can have without containing a $k$ -regular subgraph, for some fixed integer $k\geq 3$ . We prove that any $n$ -vertex graph with average degree at least $C_k\log \log n$ contains a $k$ -regular subgraph. This matches the lower bound of Pyber, Rödl and Szemerédi and substantially improves an old result of Pyber, who showed that average degree at least $C_k\log n$ is enough. Our method can also be used to settle asymptotically a problem raised by Erdős and Simonovits in 1970 on almost regular subgraphs of sparse graphs and to make progress on the well-known question of Thomassen from 1983 on finding subgraphs with large girth and large average degree.

preprint2022arXiv

Small subgraphs with large average degree

In this paper we study the fundamental problem of finding small dense subgraphs in a given graph. For a real number $s>2$ , we prove that every graph on $n$ vertices with average degree at least $d$ contains a subgraph of average degree at least $s$ on at most $nd^{-\frac{s}{s-2}}(\log d)^{O_s(1)}$ vertices. This is optimal up to the polylogarithmic factor, and resolves a conjecture of Feige and Wagner. In addition, we show that every graph with $n$ vertices and average degree at least $n^{1-\frac{2}{s}+\varepsilon}$ contains a subgraph of average degree at least $s$ on $O_{\varepsilon,s}(1)$ vertices, which is also optimal up to the constant hidden in the $O(.)$ notation, and resolves a conjecture of Verstraëte.

preprint2022arXiv

The $n$ -queens completion problem

An $n$ -queens configuration is a placement of $n$ mutually non-attacking queens on an $n\times n$ chessboard. The $n$ -queens completion problem, introduced by Nauck in 1850, is to decide whether a given partial configuration can be completed to an $n$ -queens configuration. In this paper, we study an extremal aspect of this question, namely: how small must a partial configuration be so that a completion is always possible? We show that any placement of at most $n/60$ mutually non-attacking queens can be completed. We also provide partial configurations of roughly $n/4$ queens that cannot be completed, and formulate a number of interesting problems. Our proofs connect the queens problem to rainbow matchings in bipartite graphs and use probabilistic arguments together with linear programming duality.

preprint2022arXiv

The Turán number of the grid

For a positive integer $t$ , let $F_t$ denote the graph of the $t\times t$ grid. Motivated by a 50-year-old conjecture of Erdős about Turán numbers of $r$ -degenerate graphs, we prove that there exists a constant $C=C(t)$ such that $\mathrm{ex}(n,F_t)\leq Cn^{3/2}$ . This bound is tight up to the value of $C$ . One of the interesting ingredients of our proof is a novel way of using the tensor power trick.

preprint2022arXiv

Threshold Ramsey multiplicity for paths and even cycles

The Ramsey number $r(H)$ of a graph $H$ is the minimum integer $n$ such that any two-coloring of the edges of the complete graph $K_n$ contains a monochromatic copy of $H$ . While this definition only asks for a single monochromatic copy of $H$ , it is often the case that every two-edge-coloring of the complete graph on $r(H)$ vertices contains many monochromatic copies of $H$ . The minimum number of such copies over all two-colorings of $K_{r(H)}$ will be referred to as the threshold Ramsey multiplicity of $H$ . Addressing a problem of Harary and Prins, who were the first to systematically study this quantity, we show that there is a positive constant $c$ such that the threshold Ramsey multiplicity of a path or an even cycle on $k$ vertices is at least $(ck)^k$ . This bound is tight up to the constant $c$ . We prove a similar result for odd cycles in a companion paper.

preprint2021arXiv

Flattening rank and its combinatorial applications

Given a $d$ -dimensional tensor $T:A_1\times\dots\times A_d\rightarrow \mathbb{F}$ (where $\mathbb{F}$ is a field), the $i$ -flattening rank of $T$ is the rank of the matrix whose rows are indexed by $A_{i}$ , columns are indexed by $B_{i}=A_1\times\dots\times A_{i-1}\times A_{i+1}\times\dots\times A_{d}$ and whose entries are given by the corresponding values of $T$ . The max-flattening rank of $T$ is defined as $\text{mfrank}(T)=\max_{i\in [d]}\text{frank}_{i}(T)$ . A tensor $T:A^{d}\rightarrow\mathbb{F}$ is called semi-diagonal, if $T(a,\dots,a)\neq 0$ for every $a\in A$ , and $T(a_{1},\dots,a_{d})=0$ for every $a_{1},\dots,a_{d}\in A$ that are all distinct. In this paper we prove that if $T:A^{d}\rightarrow\mathbb{F}$ is semi-diagonal, then $\text{mfrank}(T)\geq \frac{|A|}{d-1}$ , and this bound is the best possible. We give several applications of this result, including a generalization of the celebrated Frankl-Wilson theorem on forbidden intersections. Also, addressing a conjecture of Aharoni and Berger, we show that if the edges of an $r$ -uniform multi-hypergraph $\mathcal{H}$ are colored with $z$ colors such that each colorclass is a matching of size $t$ , then $\mathcal{H}$ contains a rainbow matching of size $t$ provided $z>(t-1)\binom{rt}{r}$ . This improves previous results of Alon and Glebov, Sudakov and Szabó.

preprint2021arXiv

Long directed paths in Eulerian digraphs

An old conjecture of Bollobás and Scott asserts that every Eulerian directed graph with average degree $d$ contains a directed cycle of length at least $Ω(d)$ . The best known lower bound for this problem is $Ω(d^{1/2})$ by Huang, Ma, Shapira, Sudakov and Yuster. They asked whether this estimate can be improved at least for directed paths instead of cycles and whether one can find a long path starting from any vertex if the host digraph is connected. In this paper we break the $\sqrt{d}$ barrier, showing how to find a path of length $Ω(d^{1/2+1/40})$ from any vertex of a connected Eulerian digraph.

preprint2021arXiv

Powers of paths in tournaments

In this short note we prove that every tournament contains the $k$ -th power of a directed path of linear length. This improves upon recent results of Yuster and of Girão. We also give a complete solution for this problem when $k=2$ , showing that there is always a square of a directed path of length $\lceil 2n/3 \rceil-1$ , which is best possible.

preprint2020arXiv

2-factors with k cycles in Hamiltonian graphs

A well known generalisation of Dirac's theorem states that if a graph $G$ on $n\ge 4k$ vertices has minimum degree at least $n/2$ then $G$ contains a $2$ -factor consisting of exactly $k$ cycles. This is easily seen to be tight in terms of the bound on the minimum degree. However, if one assumes in addition that $G$ is Hamiltonian it has been conjectured that the bound on the minimum degree may be relaxed. This was indeed shown to be true by Sárközy. In subsequent papers, the minimum degree bound has been improved, most recently to $(2/5+\varepsilon)n$ by DeBiasio, Ferrara, and Morris. On the other hand no lower bounds close to this are known, and all papers on this topic ask whether the minimum degree needs to be linear. We answer this question, by showing that the required minimum degree for large Hamiltonian graphs to have a $2$ -factor consisting of a fixed number of cycles is sublinear in $n.$

preprint2020arXiv

A proof of Ringel's Conjecture

A typical decomposition question asks whether the edges of some graph $G$ can be partitioned into disjoint copies of another graph $H$ . One of the oldest and best known conjectures in this area, posed by Ringel in 1963, concerns the decomposition of complete graphs into edge-disjoint copies of a tree. It says that any tree with $n$ edges packs $2n+1$ times into the complete graph $K_{2n+1}$ . In this paper, we prove this conjecture for large $n$ .

preprint2020arXiv

Asymptotics in percolation on high-girth expanders

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 giant and its 2-core at any $p>p_c$ . It was further shown in [ABS04] that the second largest component, at any $0<p<1$ , has size at most $n^ω$ for some $ω<1$ . We show that, unlike the situation in the classical Erdős-Rényi random graph, the second largest component in bond percolation on a regular expander, even with an arbitrarily large girth, can have size $n^{ω'}$ for $ω'$ arbitrarily close to $1$ . Moreover, as a by-product of that construction, we answer negatively a question of Benjamini (2013) on the relation between the diameter of a component in percolation on expanders and the existence of a giant component. Finally, we establish other typical features of the giant component, e.g., the existence of a linear path.

preprint2020arXiv

C4-free subgraphs with large average degree

Motivated by a longstanding conjecture of Thomassen, we study how large the average degree of a graph needs to be to imply that it contains a $C_4$ -free subgraph with average degree at least $t$ . Kühn and Osthus showed that an average degree bound which is double exponential in t is sufficient. We give a short proof of this bound, before reducing it to a single exponential. That is, we show that any graph $G$ with average degree at least $2^{ct^2\log t}$ (for some constant $c>0$ ) contains a $C_4$ -free subgraph with average degree at least $t$ . Finally, we give a construction which improves the lower bound for this problem, showing that this initial average degree must be at least $t^{3-o(1)}$ .

preprint2020arXiv

Covering graphs by monochromatic trees and Helly-type results for hypergraphs

How many monochromatic paths, cycles or general trees does one need to cover all vertices of a given $r$ -edge-coloured graph $G$ ? These problems were introduced in the 1960s and were intensively studied by various researchers over the last 50 years. In this paper, we establish a connection between this problem and the following natural Helly-type question in hypergraphs. Roughly speaking, this question asks for the maximum number of vertices needed to cover all the edges of a hypergraph $H$ if it is known that any collection of a few edges of $H$ has a small cover. We obtain quite accurate bounds for the hypergraph problem and use them to give some unexpected answers to several questions about covering graphs by monochromatic trees raised and studied by Bal and DeBiasio, Kohayakawa, Mota and Schacht, Lang and Lo, and Girão, Letzter and Sahasrabudhe.

preprint2020arXiv

Halfway to Rota's basis conjecture

In 1989, Rota made the following conjecture. Given $n$ bases $B_{1},\dots,B_{n}$ in an $n$ -dimensional vector space $V$ , one can always find $n$ disjoint bases of $V$ , each containing exactly one element from each $B_{i}$ (we call such bases transversal bases). Rota's basis conjecture remains wide open despite its apparent simplicity and the efforts of many researchers (for example, the conjecture was recently the subject of the collaborative "Polymath" project). In this paper we prove that one can always find $\left(1/2-o\left(1\right)\right)n$ disjoint transversal bases, improving on the previous best bound of $Ω\left(n/\log n\right)$ . Our results also apply to the more general setting of matroids.

preprint2020arXiv

Infinite Sperner's theorem

One of the most classical results in extremal set theory is Sperner's theorem, which says that the largest antichain in the Boolean lattice $2^{[n]}$ has size $Θ\big(\frac{2^n}{\sqrt{n}}\big)$ . Motivated by an old problem of Erdős on the growth of infinite Sidon sequences, in this note we study the growth rate of maximum infinite antichains. Using the well known Kraft's inequality for prefix codes, it is not difficult to show that infinite antichains should be "thinner" than the corresponding finite ones. More precisely, if $\mathcal{F}\subset 2^{\mathbb{N}}$ is an antichain, then $\liminf_{n\rightarrow \infty}\big|\mathcal{F} \cap 2^{[n]}\big|\left(\frac{2^n}{n\log n}\right)^{-1}=0.$ Our main result shows that this bound is essentially tight, that is, we construct an antichain $\mathcal{F}$ such that $\liminf_{n\rightarrow \infty}\big|\mathcal{F} \cap 2^{[n]}\big|\left(\frac{2^n}{n\log^{C} n}\right)^{-1}>0$ holds for some absolute constant $C>0$ .

preprint2020arXiv

Lower bounds for Max-Cut in $H$ -free graphs via semidefinite programming

For a graph $G$ , let $f(G)$ denote the size of the maximum cut in $G$ . The problem of estimating $f(G)$ as a function of the number of vertices and edges of $G$ has a long history and was extensively studied in the last fifty years. In this paper we propose an approach, based on semidefinite programming (SDP), to prove lower bounds on $f(G)$ . We use this approach to find large cuts in graphs with few triangles and in $K_r$ -free graphs.

preprint2020arXiv

New bounds for Ryser's conjecture and related problems

A Latin square of order $n$ is an $n \times n$ array filled with $n$ symbols such that each symbol appears only once in every row or column and a transversal is a collection of cells which do not share the same row, column or symbol. The study of Latin squares goes back more than 200 years to the work of Euler. One of the most famous open problems in this area is a conjecture of Ryser-Brualdi-Stein from 60s which says that every Latin square of order $n\times n$ contains a transversal of order $n-1$ . In this paper we prove the existence of a transversal of order $n-O(\log{n}/\log{\log{n}})$ , improving the celebrated bound of $n-O(\log^2n)$ by Hatami and Shor. Our approach (different from that of Hatami-Shor) is quite general and gives several other applications as well. We obtain a new lower bound on a 40 year old conjecture of Brouwer on the maximum matching in Steiner triple systems, showing that every such system of order $n$ is guaranteed to have a matching of size $n/3-O(\log{n}/\log{\log{n}})$ . This substantially improves the current best result of Alon, Kim and Spencer which has the error term of order $n^{1/2+o(1)}$ . Finally, we also show that $O(n\log{n}/\log{\log{n}})$ many symbols in Latin arrays suffice to guarantee a full transversal, improving on previously known bound of $n^{2-\varepsilon}$ . The proofs combine in a novel way the semirandom method together with the robust expansion properties of edge coloured pseudorandom graphs to show the existence of a rainbow matching covering all but $O(\log n/\log{\log{n}})$ vertices. All previous results, based on the semi-random method, left uncovered at least $Ω(n^α)$ (for some constant $α$ ) vertices.

preprint2020arXiv

Orthonormal representations of $H$ -free graphs

Let $x_1, \ldots, x_n \in \mathbb{R}^d$ be unit vectors such that among any three there is an orthogonal pair. How large can $n$ be as a function of $d$ , and how large can the length of $x_1 + \ldots + x_n$ be? The answers to these two celebrated questions, asked by Erdős and Lovász, are closely related to orthonormal representations of triangle-free graphs, in particular to their Lovász $\vartheta$ -function and minimum semidefinite rank. In this paper, we study these parameters for general $H$ -free graphs. In particular, we show that for certain bipartite graphs $H$ , there is a connection between the Turán number of $H$ and the maximum of $\vartheta \left( \overline{G} \right)$ over all $H$ -free graphs $G$ .

preprint2020arXiv

Short proofs of some extremal results III

We prove a selection of results from different areas of extremal combinatorics, including complete or partial solutions to a number of open problems. These results, coming mainly from extremal graph theory and Ramsey theory, have been collected together because in each case the relevant proofs are reasonably short.

preprint2020arXiv

The extremal number of tight cycles

A tight cycle in an $r$ -uniform hypergraph $\mathcal{H}$ is a sequence of $\ell\geq r+1$ vertices $x_1,\dots,x_{\ell}$ such that all $r$ -tuples $\{x_{i},x_{i+1},\dots,x_{i+r-1}\}$ (with subscripts modulo $\ell$ ) are edges of $\mathcal{H}$ . An old problem of V. Sós, also posed independently by J. Verstraëte, asks for the maximum number of edges in an $r$ -uniform hypergraph on $n$ vertices which has no tight cycle. Although this is a very basic question, until recently, no good upper bounds were known for this problem for $r\geq 3$ . Here we prove that the answer is at most $n^{r-1+o(1)}$ , which is tight up to the $o(1)$ error term. Our proof is based on finding robust expanders in the line graph of $\mathcal{H}$ together with certain density increment type arguments.

preprint2020arXiv

The Kőnig Graph Process

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 \geq 0$ , $G_{m+1}$ is obtained from $G_m$ by adding the edge $e_{m+1}$ exactly if $G_m \cup \{ e_{m+1}\}$ has property $\mathcal{K}$ . We analyse the behaviour of this process, focusing mainly on two questions: What can be said about the structure of $G_N$ and for which $m$ will $G_m$ contain a perfect matching?

preprint2019arXiv

Monochromatic trees in random tournaments

We prove that, with high probability, in every $2$ -edge-colouring of the random tournament on $n$ vertices there is a monochromatic copy of every oriented tree of order $O (n / \sqrt{\log n})$ . This generalises a result of the first, third and forth authors who proved the same statement for paths, and is tight up to a constant factor.

preprint2016arXiv

Anagram-free colorings of graphs

A sequence $S$ is called anagram-free if it contains no consecutive symbols $r_1 r_2\dots r_k r_{k+1} \dots r_{2k}$ such that $r_{k+1} \dots r_{2k}$ is a permutation of the block $r_1 r_2\dots r_k$ . Answering a question of Erdős and Brown, Keränen constructed an infinite anagram-free sequence on four symbols. Motivated by the work of Alon, Grytczuk, Hałuszczak and Riordan, we consider a natural generalisation of anagram-free sequences for graph colorings. A coloring of the vertices of a given graph $G$ is called anagram-free if the sequence of colors on any path in $G$ is anagram-free. We call the minimal number of colors needed for such a coloring the anagram-chromatic number of $G$ . In this paper we study the anagram-chromatic number of several classes of graphs like trees, minor-free graphs and bounded-degree graphs. Surprisingly, we show that there are bounded-degree graphs (such as random regular graphs) in which anagrams cannot be avoided unless we basically give each vertex a separate color.

preprint2016arXiv

Bounded colorings of multipartite graphs and hypergraphs

Let $c$ be an edge-coloring of the complete $n$ -vertex graph $K_n$ . The problem of finding properly colored and rainbow Hamilton cycles in $c$ was initiated in 1976 by Bollobás and Erd\H os and has been extensively studied since then. Recently it was extended to the hypergraph setting by Dudek, Frieze and Ruciński. We generalize these results, giving sufficient local (resp. global) restrictions on the colorings which guarantee a properly colored (resp. rainbow) copy of a given hypergraph $G$ . We also study multipartite analogues of these questions. We give (up to a constant factor) optimal sufficient conditions for a coloring $c$ of the complete balanced $m$ -partite graph to contain a properly colored or rainbow copy of a given graph $G$ with maximum degree $Δ$ . Our bounds exhibit a surprising transition in the rate of growth, showing that the problem is fundamentally different in the regimes $Δ\gg m$ and $Δ\ll m$ Our main tool is the framework of Lu and Székely for the space of random bijections, which we extend to product spaces.

preprint2016arXiv

Bounds for spherical codes

A set $C$ of unit vectors in $\mathbb{R}^d$ is called an $L$ -spherical code if $x \cdot y \in L$ for any distinct $x,y$ in $C$ . Spherical codes have been extensively studied since their introduction in the 1970's by Delsarte, Goethals and Seidel. In this note we prove a conjecture of Bukh on the maximum size of spherical codes. In particular, we show that for any set of $k$ fixed angles, one can choose at most $O(d^k)$ lines in $\mathbb{R}^d$ such that any pair of them forms one of these angles.

preprint2016arXiv

Counting Hamilton decompositions of oriented graphs

A Hamilton cycle in a directed graph $G$ is a cycle that passes through every vertex of $G$ . A Hamiltonian decomposition of $G$ is a partition of its edge set into disjoint Hamilton cycles. In the late $60$ s Kelly conjectured that every regular tournament has a Hamilton decomposition. This conjecture was recently settled by Kühn and Osthus, who proved more generally that every $r$ -regular $n$ -vertex oriented graph $G$ (without antiparallel edges) with $r=cn$ for some fixed $c>3/8$ has a Hamiltonian decomposition, provided $n=n(c)$ is sufficiently large. In this paper we address the natural question of estimating the number of such decompositions of $G$ and show that this number is $n^{(1-o(1))cn^2}$ . In addition, we also obtain a new and much simpler proof for the approximate version of Kelly's conjecture.

preprint2016arXiv

Domination in 3-tournaments

A 3-tournament is a complete 3-uniform hypergraph where each edge has a special vertex designated as its tail. A vertex set $X$ dominates $T$ if every vertex not in $X$ is contained in an edge whose tail is in $X$ . The domination number of $T$ is the minimum size of such an $X$ . Generalizing well-known results about usual (graph) tournaments, Gyárfás conjectured that there are 3-tournaments with arbitrarily large domination number, and that this is not the case if any four vertices induce two triples with the same tail. In this short note we solve both problems, proving the first conjecture and refuting the second.

preprint2016arXiv

Finding Hamilton cycles in random graphs with few queries

We introduce a new setting of algorithmic problems in random graphs, studying the minimum number of queries one needs to ask about the adjacency between pairs of vertices of ${\mathcal G}(n,p)$ in order to typically find a subgraph possessing a given target property. We show that if $p\geq \frac{\ln n+\ln\ln n+ω(1)}{n}$ , then one can find a Hamilton cycle with high probability after exposing $(1+o(1))n$ edges. Our result is tight in both $p$ and the number of exposed edges.

preprint2016arXiv

Finding paths in sparse random graphs requires many queries

We discuss a new algorithmic type of problem in random graphs studying the minimum number of queries one has to ask about adjacency between pairs of vertices of a random graph $G\sim {\mathcal G}(n,p)$ in order to find a subgraph which possesses some target property with high probability. In this paper we focus on finding long paths in $G\sim \mathcal G(n,p)$ when $p=\frac{1+\varepsilon}{n}$ for some fixed constant $\varepsilon>0$ . This random graph is known to have typically linearly long paths. To have $\ell$ edges with high probability in $G\sim \mathcal G(n,p)$ one clearly needs to query at least $Ω\left(\frac{\ell}{p}\right)$ pairs of vertices. Can we find a path of length $\ell$ economically, i.e., by querying roughly that many pairs? We argue that this is not possible and one needs to query significantly more pairs. We prove that any randomised algorithm which finds a path of length $\ell=Ω\left(\frac{\log\left(\frac{1}{\varepsilon}\right)}{\varepsilon}\right)$ with at least constant probability in $G\sim \mathcal G(n,p)$ with $p=\frac{1+\varepsilon}{n}$ must query at least $Ω\left(\frac{\ell}{p\varepsilon \log\left(\frac{1}{\varepsilon}\right)}\right)$ pairs of vertices. This is tight up to the $\log\left(\frac{1}{\varepsilon}\right)$ factor.

preprint2016arXiv

Hereditary quasirandomness without regularity

A result of Simonovits and Sós states that for any fixed graph $H$ and any $ε> 0$ there exists $δ> 0$ such that if $G$ is an $n$ -vertex graph with the property that every $S \subseteq V(G)$ contains $p^{e(H)} |S|^{v(H)} \pm δn^{v(H)}$ labeled copies of $H$ , then $G$ is quasirandom in the sense that every $S \subseteq V(G)$ contains $\frac{1}{2} p |S|^2 \pm εn^2$ edges. The original proof of this result makes heavy use of the regularity lemma, resulting in a bound on $δ^{-1}$ which is a tower of twos of height polynomial in $ε^{-1}$ . We give an alternative proof of this theorem which avoids the regularity lemma and shows that $δ$ may be taken to be linear in $ε$ when $H$ is a clique and polynomial in $ε$ for general $H$ . This answers a problem raised by Simonovits and Sós.

preprint2016arXiv

On the maximum quartet distance between phylogenetic trees

A conjecture of Bandelt and Dress states that the maximum quartet distance between any two phylogenetic trees on $n$ leaves is at most $(\frac 23 +o(1))\binom{n}{4}$ . Using the machinery of flag algebras we improve the currently known bounds regarding this conjecture, in particular we show that the maximum is at most $(0.69 +o(1))\binom{n}{4}$ . We also give further evidence that the conjecture is true by proving that the maximum distance between caterpillar trees is at most $(\frac 23 +o(1))\binom{n}{4}$ .

preprint2016arXiv

Ordered Ramsey numbers

Given a labeled graph $H$ with vertex set $\{1, 2,\ldots,n\}$ , the ordered Ramsey number $r_<(H)$ is the minimum $N$ such that every two-coloring of the edges of the complete graph on $\{1, 2, \ldots,N\}$ contains a copy of $H$ with vertices appearing in the same order as in $H$ . The ordered Ramsey number of a labeled graph $H$ is at least the Ramsey number $r(H)$ and the two coincide for complete graphs. However, we prove that even for matchings there are labelings where the ordered Ramsey number is superpolynomial in the number of vertices. Among other results, we also prove a general upper bound on ordered Ramsey numbers which implies that there exists a constant $c$ such that $r_<(H) \leq r(H)^{c \log^2 n}$ for any labeled graph $H$ on vertex set $\{1,2, \dots, n\}$ .

preprint2016arXiv

Properly colored and rainbow copies of graphs with few cherries

Let G be an n-vertex graph that contains linearly many cherries (i.e., paths on 3 vertices), and let c be a coloring of the edges of the complete graph K_n such that at each vertex every color appears only constantly many times. In 1979, Shearer conjectured that such a coloring c must contain a properly colored copy of G. We establish this conjecture in a strong form, showing that it holds even for graphs G with O(n^(4/3)) cherries and moreover this bound on the number of cherries is best possible up to a constant factor. We also prove that one can find a rainbow copy of such G in every edge-coloring of K_n in which all colors appear bounded number of times. Our proofs combine a framework of Lu and Szekely for using the lopsided Lovasz local lemma in the space of random bijections together with some additional ideas.

preprint2016arXiv

Ramsey goodness of bounded degree trees

Given a pair of graphs $G$ and $H$ , the Ramsey number $R(G,H)$ is the smallest $N$ such that every red-blue coloring of the edges of the complete graph $K_N$ contains a red copy of $G$ or a blue copy of $H$ . If a graph $G$ is connected, it is well known and easy to show that $R(G,H) \geq (|G|-1)(χ(H)-1)+σ(H)$ , where $χ(H)$ is the chromatic number of $H$ and $σ(H)$ is the size of the smallest color class in a $χ(H)$ -coloring of $H$ . A graph $G$ is called $H$ -good if $R(G,H)= (|G|-1)(χ(H)-1)+σ(H)$ . The notion of Ramsey goodness was introduced by Burr and Erdős in 1983 and has been extensively studied since then. In this paper we show that if $n\geq Ω(|H| \log^4 |H|)$ then every $n$ -vertex bounded degree tree $T$ is $H$ -good. The dependency between $n$ and $|H|$ is tight up to $\log$ factors. This substantially improves a result of Erdős, Faudree, Rousseau, and Schelp from 1985, who proved that $n$ -vertex bounded degree trees are $H$ -good when when $n \geq Ω(|H|^4)$ .

preprint2016arXiv

Ramsey goodness of paths

Given a pair of graphs $G$ and $H$ , the Ramsey number $R(G,H)$ is the smallest $N$ such that every red-blue coloring of the edges of the complete graph $K_N$ contains a red copy of $G$ or a blue copy of $H$ . If graph $G$ is connected, it is well known and easy to show that $R(G,H) \geq (|G|-1)(χ(H)-1)+σ(H)$ , where $χ(H)$ is the chromatic number of $H$ and $σ$ the size of the smallest color class in a $χ(H)$ -coloring of $H$ . A graph $G$ is called $H$ -good if $R(G,H)= (|G|-1)(χ(H)-1)+σ(H)$ . The notion of Ramsey goodness was introduced by Burr and Erdős in 1983 and has been extensively studied since then. In this short note we prove that $n$ -vertex path $P_n$ is $H$ -good for all $n\geq 4|H|$ . This proves in a strong form a conjecture of Allen, Brightwell, and Skokan.

preprint2016arXiv

Random subgraphs of properly edge-coloured complete graphs and long rainbow cycles

A subgraph of an edge-coloured complete graph is called rainbow if all its edges have different colours. In 1980 Hahn conjectured that every properly edge-coloured complete graph $K_n$ has a rainbow Hamiltonian path. Although this conjecture turned out to be false, it was widely believed that such a colouring always contains a rainbow cycle of length almost $n$ . In this paper, improving on several earlier results, we confirm this by proving that every properly edge-coloured $K_n$ has a rainbow cycle of length $n-O(n^{3/4})$ . One of the main ingredients of our proof, which is of independent interest, shows that a random subgraph of a properly edge-coloured $K_n$ formed by the edges of a random set of colours has a similar edge distribution as a truly random graph with the same edge density. In particular it has very good expansion properties.

preprint2016arXiv

Robustness of graph properties

A typical result in graph theory says that a graph $G$ , satisfying certain conditions, has some property $\cal P$ . Once such a theorem is established, it is natural to ask how strongly $G$ satisfies $\cal P$ . Can one strengthen the result by showing that $G$ possesses $\cal P$ in a robust way? What measures of robustness can one utilize? In this survey, we discuss various measures that can be used to study robustness of graph properties, illustrating them with examples.

preprint2016arXiv

Saturation in random graphs

A graph $H$ is $K_s$ -saturated if it is a maximal $K_s$ -free graph, i.e., $H$ contains no clique on $s$ vertices, but the addition of any missing edge creates one. The minimum number of edges in a $K_s$ -saturated graph was determined over 50 years ago by Zykov and independently by Erdős, Hajnal and Moon. In this paper, we study the random analog of this problem: minimizing the number of edges in a maximal $K_s$ -free subgraph of the Erdős-Rényi random graph $G(n,p)$ . We give asymptotically tight estimates on this minimum, and also provide exact bounds for the related notion of weak saturation in random graphs. Our results reveal some surprising behavior of these parameters.

preprint2016arXiv

Short proofs of some extremal results II

We prove several results from different areas of extremal combinatorics, including complete or partial solutions to a number of open problems. These results, coming mainly from extremal graph theory and Ramsey theory, have been collected together because in each case the relevant proofs are quite short.

preprint2016arXiv

Testing Equality in Communication Graphs

Let $G=(V,E)$ be a connected undirected graph with $k$ vertices. Suppose that on each vertex of the graph there is a player having an $n$ -bit string. Each player is allowed to communicate with its neighbors according to an agreed communication protocol, and the players must decide, deterministically, if their inputs are all equal. What is the minimum possible total number of bits transmitted in a protocol solving this problem ? We determine this minimum up to a lower order additive term in many cases (but not for all graphs). In particular, we show that it is $kn/2+o(n)$ for any Hamiltonian $k$ -vertex graph, and that for any $2$ -edge connected graph with $m$ edges containing no two adjacent vertices of degree exceeding $2$ it is $mn/2+o(n)$ . The proofs combine graph theoretic ideas with tools from additive number theory.

preprint2016arXiv

The extremal function for cycles of length $\ell$ mod $k$

Burr and Erdős conjectured that for each $k,\ell \in \mathbb Z^+$ such that $k \mathbb Z + \ell$ contains even integers, there exists $c_k(\ell)$ such that any graph of average degree at least $c_k(\ell)$ contains a cycle of length $\ell$ mod $k$ . This conjecture was proved by Bollobás, and many successive improvements of upper bounds on $c_k(\ell)$ appear in the literature. In this short note, for $1 \leq \ell \leq k$ , we show that $c_k(\ell)$ is proportional to the largest average degree of a $C_{\ell}$ -free graph on $k$ vertices, which determines $c_k(\ell)$ up to an absolute constant. In particular, using known results on Turán numbers for even cycles, we obtain $c_k(\ell) = O(\ell k^{2/\ell})$ for all even $\ell$ , which is tight for $\ell \in \{4,6,10\}$ . Since the complete bipartite graph $K_{\ell - 1,n - \ell + 1}$ has no cycle of length $2\ell$ mod $k$ , it also shows $c_k(\ell) = Θ(\ell)$ for $\ell = Ω(\log k)$ .

preprint2016arXiv

The number of additive triples in subsets of abelian groups

A set of elements of a finite abelian group is called sum-free if it contains no Schur triple, i.e., no triple of elements $x,y,z$ with $x+y=z$ . The study of how large the largest sum-free subset of a given abelian group is had started more than thirty years before it was finally resolved by Green and Ruzsa a decade ago. We address the following more general question. Suppose that a set $A$ of elements of an abelian group $G$ has cardinality $a$ . How many Schur triples must $A$ contain? Moreover, which sets of $a$ elements of $G$ have the smallest number of Schur triples? In this paper, we answer these questions for various groups $G$ and ranges of $a$ .

preprint2016arXiv

The number of Hamiltonian decompositions of regular graphs

A Hamilton cycle in a graph $Γ$ is a cycle passing through every vertex of $Γ$ . A Hamiltonian decomposition of $Γ$ is a partition of its edge set into disjoint Hamilton cycles. One of the oldest results in graph theory is Walecki's theorem from the 19th century, showing that a complete graph $K_n$ on an odd number of vertices $n$ has a Hamiltonian decomposition. This result was recently greatly extended by Kühn and Osthus. They proved that every $r$ -regular $n$ -vertex graph $Γ$ with even degree $r=cn$ for some fixed $c>1/2$ has a Hamiltonian decomposition, provided $n=n(c)$ is sufficiently large. In this paper we address the natural question of estimating $H(Γ)$ , the number of such decompositions of $Γ$ . Our main result is that $H(Γ)=r^{(1+o(1))nr/2}$ . In particular, the number of Hamiltonian decompositions of $K_n$ is $n^{(1-o(1))n^2/2}$ .

preprint2016arXiv

Two remarks on even and oddtown problems

A family $\mathcal A$ of subsets of an $n$ -element set is called an eventown (resp. oddtown) if all its sets have even (resp. odd) size and all pairwise intersections have even size. Using tools from linear algebra, it was shown by Berlekamp and Graver that the maximum size of an eventown is $2^{\left\lfloor n/2\right\rfloor}$ . On the other hand (somewhat surprisingly), it was proven by Berlekamp, that oddtowns have size at most $n$ . Over the last four decades, many extensions of this even/oddtown problem have been studied. In this paper we present new results on two such extensions. First, extending a result of Vu, we show that a $k$ -wise eventown (i.e., intersections of $k$ sets are even) has for $k \geq 3$ a unique extremal configuration and obtain a stability result for this problem. Next we improve some known bounds for the defect version of an $\ell$ -oddtown problem. In this problem we consider sets of size $\not\equiv 0 \pmod \ell$ where $\ell$ is a prime number $\ell$ (not necessarily $2$ ) and allow a few pairwise intersections to also have size $\not\equiv 0 \pmod \ell$ .

preprint2015arXiv

A random triadic process

Given a random 3-uniform hypergraph $H=H(n,p)$ on $n$ vertices where each triple independently appears with probability $p$ , consider the following graph process. We start with the star $G_0$ on the same vertex set, containing all the edges incident to some vertex $v_0$ , and repeatedly add an edge $xy$ if there is a vertex $z$ such that $xz$ and $zy$ are already in the graph and $xzy \in H$ . We say that the process propagates if it reaches the complete graph before it terminates. In this paper we prove that the threshold probability for propagation is $p=\frac{1}{2\sqrt{n}}$ . We conclude that $p=\frac{1}{2\sqrt{n}}$ is an upper bound for the threshold probability that a random 2-dimensional simplicial complex is simply connected.

preprint2015arXiv

Almost-Fisher families

A classic theorem in combinatorial design theory is Fisher's inequality, which states that a family $\mathcal F$ of subsets of $[n]$ with all pairwise intersections of size $λ$ can have at most $n$ non-empty sets. One may weaken the condition by requiring that for every set in $\mathcal F$ , all but at most $k$ of its pairwise intersections have size $λ$ . We call such families $k$ -almost $λ$ -Fisher. Vu was the first to study the maximum size of such families, proving that for $k=1$ the largest family has $2n-2$ sets, and characterising when equality is attained. We substantially refine his result, showing how the size of the maximum family depends on $λ$ . In particular we prove that for small $λ$ one essentially recovers Fisher's bound. We also solve the next open case of $k=2$ and obtain the first non-trivial upper bound for general $k$ .

preprint2015arXiv

Compatible Hamilton cycles in random graphs

A graph is Hamiltonian if it contains a cycle passing through every vertex. One of the cornerstone results in the theory of random graphs asserts that for edge probability $p \gg \frac{\log n}{n}$ , the random graph $G(n,p)$ is asymptotically almost surely Hamiltonian. We obtain the following strengthening of this result. Given a graph $G=(V,E)$ , an {\em incompatibility system} $\mathcal{F}$ over $G$ is a family $\mathcal{F}=\{F_v\}_{v\in V}$ where for every $v\in V$ , the set $F_v$ is a set of unordered pairs $F_v \subseteq \{\{e,e'\}: e\ne e'\in E, e\cap e'=\{v\}\}$ . An incompatibility system is {\em $Δ$ -bounded} if for every vertex $v$ and an edge $e$ incident to $v$ , there are at most $Δ$ pairs in $F_v$ containing $e$ . We say that a cycle $C$ in $G$ is {\em compatible} with $\mathcal{F}$ if every pair of incident edges $e,e'$ of $C$ satisfies $\{e,e'\} \notin F_v$ . This notion is partly motivated by a concept of transition systems defined by Kotzig in 1968, and can be used as a quantitative measure of robustness of graph properties. We prove that there is a constant $μ>0$ such that the random graph $G=G(n,p)$ with $p(n) \gg \frac{\log n}{n}$ is asymptotically almost surely such that for any $μnp$ -bounded incompatibility system $\mathcal{F}$ over $G$ , there is a Hamilton cycle in $G$ compatible with $\mathcal{F}$ . We also prove that for larger edge probabilities $p(n)\gg \frac{\log^8n}{n}$ , the parameter $μ$ can be taken to be any constant smaller than $1-\frac{1}{\sqrt 2}$ . These results imply in particular that typically in $G(n,p)$ for $p \gg \frac{\log n}{n}$ , for any edge-coloring in which each color appears at most $μnp$ times at each vertex, there exists a properly colored Hamilton cycle.

preprint2015arXiv

Counting and packing Hamilton $\ell$ -cycles in dense hypergraphs

We consider problems about packing and counting Hamilton $\ell$ -cycles in hypergraphs of large minimum degree. Given a hypergraph $\mathcal H$ , for a $d$ -subset $A\subseteq V(\mathcal H)$ , we denote by $d_{\mathcal H}(A)$ the number of distinct \emph{edges} $f\in E(\mathcal H)$ for which $A\subseteq f$ , and set $δ_d(\mathcal H)$ to be the minimum $d_{\mathcal H}(A)$ over all $A\subseteq V(\mathcal H)$ of size $d$ . We show that if a $k$ -uniform hypergraph on $n$ vertices $\mathcal H$ satisfies $δ_{k-1}(\mathcal H)\geq αn$ for some $α>1/2$ , then for every $\ell<k/2$ $\mathcal H$ contains $(1-o(1))^n\cdot n!\cdot \left(\fracα{\ell!(k-2\ell)!}\right)^{\frac{n}{k-\ell}}$ Hamilton $\ell$ -cycles. The exponent above is easily seen to be optimal. In addition, we show that if $δ_{k-1}(\mathcal H)\geq αn$ for $α>1/2$ , then $\mathcal H$ contains $f(α)n$ edge-disjoint Hamilton $\ell$ -cycles for an explicit function $f(α)>0$ . For the case where every $(k-1)$ -tuple $X\subset V({\mathcal H})$ satisfies $d_{\mathcal H}(X)\in (α\pm o(1))n$ , we show that $\mathcal H$ contains edge-disjoint Haimlton $\ell$ -cycles which cover all but $o\left(|E(\mathcal H)|\right)$ edges of $\mathcal H$ . As a tool we prove the following result which might be of independent interest: For a bipartite graph $G$ with both parts of size $n$ , with minimum degree at least $δn$ , where $δ>1/2$ , and for $p=ω(\log n/n)$ the following holds. If $G$ contains an $r$ -factor for $r=Θ(n)$ , then by retaining edges of $G$ with probability $p$ independently at random, w.h.p the resulting graph contains a $(1-o(1))rp$ -factor.

preprint2015arXiv

Counting and packing Hamilton cycles in dense graphs and oriented graphs

We present a general method for counting and packing Hamilton cycles in dense graphs and oriented graphs, based on permanent estimates. We utilize this approach to prove several extremal results. In particular, we show that every nearly $cn$ -regular oriented graph on $n$ vertices with $c>3/8$ contains $(cn/e)^n(1+o(1))^n$ directed Hamilton cycles. This is an extension of a result of Cuckler, who settled an old conjecture of Thomassen about the number of Hamilton cycles in regular tournaments. We also prove that every graph $G$ on $n$ vertices of minimum degree at least $(1/2+\varepsilon)n$ contains at least $(1-\varepsilon)\textrm{reg}_{even}(G)/2$ edge-disjoint Hamilton cycles, where $\reg(G)$ is the maximum \emph{even} degree of a spanning regular subgraph of $G$ . This establishes an approximate version of a conjecture of Kühn, Lapinskas and Osthus.

preprint2015arXiv

On graphs decomposable into induced matchings of linear sizes

We call a graph $G$ an $(r,t)$ -Ruzsa-Szemerédi graph if its edge set can be partitioned into $t$ edge-disjoint induced matchings, each of size $r$ . These graphs were introduced in 1978 and has been extensively studied since then. In this paper, we consider the case when $r=cn$ . For $c>1/4$ , we determine the maximum possible $t$ which is a constant depending only on $c$ . On the other hand, when $c=1/4$ , there could be as many as $Ω(\log n)$ induced matchings. We prove that this bound is tight up to a constant factor. Finally, when $c$ is fixed strictly between $1/5$ and $1/4$ , we give a short proof that the number $t$ of induced matchings is $O(n/\log n)$ . We are also able to further improve the upper bound to $o(n/\log n)$ for fixed $c> 1/4-b$ for some positive constant $b$ .

preprint2015arXiv

Recent developments in graph Ramsey theory

Given a graph $H$ , the Ramsey number $r(H)$ is the smallest natural number $N$ such that any two-colouring of the edges of $K_N$ contains a monochromatic copy of $H$ . The existence of these numbers has been known since 1930 but their quantitative behaviour is still not well understood. Even so, there has been a great deal of recent progress on the study of Ramsey numbers and their variants, spurred on by the many advances across extremal combinatorics. In this survey, we will describe some of this progress.

preprint2015arXiv

Some Remarks on Rainbow Connectivity

An edge (vertex) coloured graph is rainbow-connected if there is a rainbow path between any two vertices, i.e. a path all of whose edges (internal vertices) carry distinct colours. Rainbow edge (vertex) connectivity of a graph $G$ is the smallest number of colours needed for a rainbow edge (vertex) colouring of $G$ . In this paper we propose a very simple approach to studying rainbow connectivity in graphs. Using this idea, we give a unified proof of several known results, as well as some new ones.

preprint2014arXiv

$K_{s,t}$ -saturated bipartite graphs

An $n$ -by- $n$ bipartite graph is $H$ -saturated if the addition of any missing edge between its two parts creates a new copy of $H$ . In 1964, Erdős, Hajnal and Moon made a conjecture on the minimum number of edges in a $K_{s,s}$ -saturated bipartite graph. This conjecture was proved independently by Wessel and Bollobás in a more general, but ordered, setting: they showed that the minimum number of edges in a $K_{(s,t)}$ -saturated bipartite graph is $n^2-(n-s+1)(n-t+1)$ , where $K_{(s,t)}$ is the "ordered" complete bipartite graph with $s$ vertices in the first color class and $t$ vertices in the second. However, the very natural question of determining the minimum number of edges in the unordered $K_{s,t}$ -saturated case remained unsolved. This problem was considered recently by Moshkovitz and Shapira who also conjectured what its answer should be. In this short paper we give an asymptotically tight bound on the minimum number of edges in a $K_{s,t}$ -saturated bipartite graph, which is only smaller by an additive constant than the conjecture of Moshkovitz and Shapira. We also prove their conjecture for $K_{2,3}$ -saturation, which was the first open case.

preprint2014arXiv

Comparable pairs in families of sets

Given a family $\mathcal{F}$ of subsets of $[n]$ , we say two sets $A, B \in \mathcal{F}$ are comparable if $A \subset B$ or $B \subset A$ . Sperner's celebrated theorem gives the size of the largest family without any comparable pairs. This result was later generalised by Kleitman, who gave the minimum number of comparable pairs appearing in families of a given size. In this paper we study a complementary problem posed by Erdős and Daykin and Frankl in the early '80s. They asked for the maximum number of comparable pairs that can appear in a family of $m$ subsets of $[n]$ , a quantity we denote by $c(n,m)$ . We first resolve an old conjecture of Alon and Frankl, showing that $c(n,m) = o(m^2)$ when $m = n^{ω(1)} 2^{n/2}$ . We also obtain more accurate bounds for $c(n,m)$ for sparse and dense families, characterise the extremal constructions for certain values of $m$ , and sharpen some other known results.

preprint2014arXiv

Compatible Hamilton cycles in Dirac graphs

A graph is Hamiltonian if it contains a cycle passing through every vertex exactly once. A celebrated theorem of Dirac from 1952 asserts that every graph on $n\ge 3$ vertices with minimum degree at least $n/2$ is Hamiltonian. We refer to such graphs as Dirac graphs. In this paper we obtain the following strengthening of this result. Given a graph $G=(V,E)$ , an {\em incompatibility system} $\mathcal{F}$ over $G$ is a family $\mathcal{F}=\{F_v\}_{v\in V}$ such that for every $v\in V$ , the set $F_v$ is a set of unordered pairs $F_v \subseteq \{\{e,e'\}: e\ne e'\in E, e\cap e'=\{v\}\}$ . An incompatibility system is {\em $Δ$ -bounded} if for every vertex $v$ and an edge $e$ incident to $v$ , there are at most $Δ$ pairs in $F_v$ containing $e$ . We say that a cycle $C$ in $G$ is {\em compatible} with $\mathcal{F}$ if every pair of incident edges $e,e'$ of $C$ satisfies $\{e,e'\} \notin F_v$ , where $v=e\cap e'$ . This notion is partly motivated by a concept of transition systems defined by Kotzig in 1968, and can be viewed as a quantitative measure of robustness of graph properties. We prove that there is a constant $μ>0$ such that for every $μn$ -bounded incompatibility system $\mathcal{F}$ over a Dirac graph $G$ , there exists a Hamilton cycle compatible with $\mathcal{F}$ . This settles in a very strong form, a conjecture of Häggkvist from 1988.

preprint2014arXiv

Cycle packing

In the 1960s, Erdős and Gallai conjectured that the edge set of every graph on n vertices can be partitioned into O(n) cycles and edges. They observed that one can easily get an O(n log n) upper bound by repeatedly removing the edges of the longest cycle. We make the first progress on this problem, showing that O(n log log n) cycles and edges suffice. We also prove the Erdős-Gallai conjecture for random graphs and for graphs with linear minimum degree.

preprint2014arXiv

Cycles in triangle-free graphs of large chromatic number

More than twenty years ago Erdős conjectured~\cite{E1} that a triangle-free graph $G$ of chromatic number $k \geq k_0(\varepsilon)$ contains cycles of at least $k^{2 - \varepsilon}$ different lengths as $k \rightarrow \infty$ . In this paper, we prove the stronger fact that every triangle-free graph $G$ of chromatic number $k \geq k_0(\varepsilon)$ contains cycles of $(\frac{1}{64} - \varepsilon)k^2 \log k$ consecutive lengths, and a cycle of length at least $(\tfrac{1}{4} - \varepsilon)k^2 \log k$ . As there exist triangle-free graphs of chromatic number $k$ with at most roughly $4k^2 \log k$ vertices for large $k$ , theses results are tight up to a constant factor. We also give new lower bounds on the circumference and the number of different cycle lengths for $k$ -chromatic graphs in other monotone classes, in particular, for $K_r$ -free graphs and graphs without odd cycles $C_{2s+1}$ .

preprint2014arXiv

Judicious partitions of directed graphs

The area of judicious partitioning considers the general family of partitioning problems in which one seeks to optimize several parameters simultaneously, and these problems have been widely studied in various combinatorial contexts. In this paper, we study essentially the most fundamental judicious partitioning problem for directed graphs, which naturally extends the classical Max Cut problem to this setting: we seek bipartitions in which many edges cross in each direction. It is easy to see that a minimum outdegree condition is required in order for the problem to be nontrivial, and we prove that every directed graph with M edges and minimum outdegree at least two admits a bipartition in which at least (1/6 + o(1))M edges cross in each direction. We also prove that if the minimum outdegree is at least three, then the constant can be increased to 1/5. If the minimum outdegree tends to infinity with N, then the constant increases to 1/4. All of these constants are best-possible, and provide asymptotic answers to a question of Alex Scott.

preprint2014arXiv

Large subgraphs without complete bipartite graphs

In this note, we answer the following question of Foucaud, Krivelevich and Perarnau. What is the size of the largest $K_{r,s}$ -free subgraph one can guarantee in every graph $G$ with $m$ edges? We also discuss the analogous problem for hypergraphs.

preprint2014arXiv

Most Probably Intersecting Hypergraphs

The celebrated Erdős-Ko-Rado theorem shows that for $n \ge 2k$ the largest intersecting $k$ -uniform set family on $[n]$ has size $\binom{n-1}{k-1}$ . It is natural to ask how far from intersecting larger set families must be. Katona, Katona and Katona introduced the notion of most probably intersecting families, which maximise the probability of random subfamilies being intersecting. We study the most probably intersecting problem for $k$ -uniform set families. We provide a rough structural characterisation of the most probably intersecting families and, for families of particular sizes, show that the initial segment of the lexicographic order is optimal.

preprint2014arXiv

On the grid Ramsey problem and related questions

The Hales--Jewett theorem is one of the pillars of Ramsey theory, from which many other results follow. A celebrated theorem of Shelah says that Hales--Jewett numbers are primitive recursive. A key tool used in his proof, now known as the cube lemma, has become famous in its own right. In its simplest form, this lemma says that if we color the edges of the Cartesian product $K_n \times K_n$ in $r$ colors then, for $n$ sufficiently large, there is a rectangle with both pairs of opposite edges receiving the same color. Shelah's proof shows that $n = r^{\binom{r+1}{2}} + 1$ suffices. More than twenty years ago, Graham, Rothschild and Spencer asked whether this bound can be improved to a polynomial in $r$ . We show that this is not possible by providing a superpolynomial lower bound in $r$ . We also discuss a number of related problems.

preprint2014arXiv

On the number of monotone sequences

One of the most classical results in Ramsey theory is the theorem of Erdős and Szekeres from 1935, which says that every sequence of more than $k^2$ numbers contains a monotone subsequence of length $k+1$ . We address the following natural question motivated by this result: Given integers $k$ and $n$ with $n \geq k^2+1$ , how many monotone subsequences of length $k+1$ must every sequence of $n$ numbers contain? We answer this question precisely for all sufficiently large $k$ and $n \leq k^2 + c k^{3/2} / \log k$ , where $c$ is some absolute positive constant.

preprint2014arXiv

Random directed graphs are robustly Hamiltonian

A classical theorem of Ghouila-Houri from 1960 asserts that every directed graph on $n$ vertices with minimum out-degree and in-degree at least $n/2$ contains a directed Hamilton cycle. In this paper we extend this theorem to a random directed graph ${\mathcal D}(n,p)$ , that is, a directed graph in which every ordered pair $(u,v)$ becomes an arc with probability $p$ independently of all other pairs. Motivated by the study of resilience of properties of random graphs, we prove that if $p \gg \log n/\sqrt{n}$ , then a.a.s. every subdigraph of ${\mathcal D}(n,p)$ with minimum out-degree and in-degree at least $(1/2 + o(1)) n p$ contains a directed Hamilton cycle. The constant $1/2$ is asymptotically best possible. Our result also strengthens classical results about the existence of directed Hamilton cycles in random directed graphs.

preprint2014arXiv

The minimum number of nonnegative edges in hypergraphs

An r-unform n-vertex hypergraph H is said to have the Manickam-Miklós-Singhi (MMS) property if for every assignment of weights to its vertices with nonnegative sum, the number of edges whose total weight is nonnegative is at least the minimum degree of H. In this paper we show that for n>10r^3, every r-uniform n-vertex hypergraph with equal codegrees has the MMS property, and the bound on n is essentially tight up to a constant factor. This result has two immediate corollaries. First it shows that every set of n>10k^3 real numbers with nonnegative sum has at least $\binom{n-1}{k-1}$ nonnegative k-sums, verifying the Manickam-Miklós-Singhi conjecture for this range. More importantly, it implies the vector space Manickam-Miklós-Singhi conjecture which states that for n >= 4k and any weighting on the 1-dimensional subspaces of F_q^n with nonnegative sum, the number of nonnegative k-dimensional subspaces is at least ${n-1 \brack k-1}_q$ . We also discuss two additional generalizations, which can be regarded as analogues of the Erdős-Ko-Rado theorem on k-intersecting families.

preprint2014arXiv

The threshold probability for long cycles

For a given graph $G$ of minimum degree at least $k$ , let $G_p$ denote the random spanning subgraph of $G$ obtained by retaining each edge independently with probability $p=p(k)$ . We prove that if $p \ge \frac{\log k + \log \log k + ω_k(1)}{k}$ , where $ω_k(1)$ is any function tending to infinity with $k$ , then $G_p$ asymptotically almost surely contains a cycle of length at least $k+1$ . When we take $G$ to be the complete graph on $k+1$ vertices, our theorem coincides with the classic result on the threshold probability for the existence of a Hamilton cycle in the binomial random graph.

preprint2013arXiv

A construction of almost Steiner systems

Let $n$ , $k$ , and $t$ be integers satisfying $n>k>t\ge2$ . A Steiner system with parameters $t$ , $k$ , and $n$ is a $k$ -uniform hypergraph on $n$ vertices in which every set of $t$ distinct vertices is contained in exactly one edge. An outstanding problem in Design Theory is to determine whether a nontrivial Steiner system exists for $t\geq6$ . In this note we prove that for every $k>t\ge2$ and sufficiently large $n$ , there exists an almost Steiner system with parameters $t$ , $k$ , and $n$ ; that is, there exists a $k$ -uniform hypergraph on $n$ vertices such that every set of $t$ distinct vertices is covered by either one or two edges.

preprint2013arXiv

Bisections of graphs

A bisection of a graph is a bipartition of its vertex set in which the number of vertices in the two parts differ by at most 1, and its size is the number of edges which go across the two parts. In this paper, motivated by several questions and conjectures of Bollobás and Scott, we study maximum bisections of graphs. First, we extend the classical Edwards bound on maximum cuts to bisections. A simple corollary of our result implies that every graph on $n$ vertices and $m$ edges with no isolated vertices, and maximum degree at most $n/3 + 1$ , admits a bisection of size at least $m/2 + n/6$ . Then using the tools that we developed to extend Edwards's bound, we prove a judicious bisection result which states that graphs with large minimum degree have a bisection in which both parts span relatively few edges. A special case of this general theorem answers a conjecture of Bollobás and Scott, and shows that every graph on $n$ vertices and $m$ edges of minimum degree at least 2 admits a bisection in which the number of edges in each part is at most $(1/3+o(1))m$ . We also present several other results on bisections of graphs.

preprint2013arXiv

Discrepancy of random graphs and hypergraphs

Answering in a strong form a question posed by Bollobás and Scott, in this paper we determine the discrepancy between two random k-uniform hypergraphs, up to a constant factor depending solely on k.

preprint2013arXiv

Long paths and cycles in random subgraphs of graphs with large minimum degree

For a given finite graph $G$ of minimum degree at least $k$ , let $G_{p}$ be a random subgraph of $G$ obtained by taking each edge independently with probability $p$ . We prove that (i) if $p \ge ω/k$ for a function $ω=ω(k)$ that tends to infinity as $k$ does, then $G_p$ asymptotically almost surely contains a cycle (and thus a path) of length at least $(1-o(1))k$ , and (ii) if $p \ge (1+o(1))\ln k/k$ , then $G_p$ asymptotically almost surely contains a path of length at least $k$ . Our theorems extend classical results on paths and cycles in the binomial random graph, obtained by taking $G$ to be the complete graph on $k+1$ vertices.

preprint2013arXiv

Ramsey numbers of cubes versus cliques

The cube graph Q_n is the skeleton of the n-dimensional cube. It is an n-regular graph on 2^n vertices. The Ramsey number r(Q_n, K_s) is the minimum N such that every graph of order N contains the cube graph Q_n or an independent set of order s. Burr and Erdos in 1983 asked whether the simple lower bound r(Q_n, K_s) >= (s-1)(2^n - 1)+1 is tight for s fixed and n sufficiently large. We make progress on this problem, obtaining the first upper bound which is within a constant factor of the lower bound.

preprint2013arXiv

Ramsey-type results for semi-algebraic relations

A k-ary semi-algebraic relation E on R^d is a subset of R^{kd}, the set of k-tuples of points in R^d, which is determined by a finite number of polynomial equations and inequalities in kd real variables. The description complexity of such a relation is at most t if the number of polynomials and their degrees are all bounded by t. A subset A of R^d is called homogeneous if all or none of the k-tuples from A satisfy E. A large number of geometric Ramsey-type problems and results can be formulated as questions about finding large homogeneous subsets of sets in R^d equipped with semi-algebraic relations. In this paper we study Ramsey numbers for k-ary semi-algebraic relations of bounded complexity and give matching upper and lower bounds, showing that they grow as a tower of height k-1. This improves on a direct application of Ramsey's theorem by one exponential and extends a result of Alon, Pach, Pinchasi, Radoičić, and Sharir, who proved this for k=2. We apply our results to obtain new estimates for some geometric Ramsey-type problems relating to order types and one-sided sets of hyperplanes. We also study the off-diagonal case, achieving some partial results.

preprint2013arXiv

Short proofs of some extremal results

We prove several results from different areas of extremal combinatorics, giving complete or partial solutions to a number of open problems. These results, coming from areas such as extremal graph theory, Ramsey theory and additive combinatorics, have been collected together because in each case the relevant proofs are quite short.

preprint2013arXiv

Small Complete Minors Above the Extremal Edge Density

A fundamental result of Mader from 1972 asserts that a graph of high average degree contains a highly connected subgraph with roughly the same average degree. We prove a lemma showing that one can strengthen Mader's result by replacing the notion of high connectivity by the notion of vertex expansion. Another well known result in graph theory states that for every integer t there is a smallest real c(t) so that every n-vertex graph with c(t)n edges contains a K_t-minor. Fiorini, Joret, Theis and Wood conjectured that if an n-vertex graph G has (c(t)+ε)n edges then G contains a K_t-minor of order at most C(ε)log n. We use our extension of Mader's theorem to prove that such a graph G must contain a K_t-minor of order at most C(ε)log n loglog n. Known constructions of graphs with high girth show that this result is tight up to the loglog n factor.

preprint2013arXiv

Sperner's Theorem and a Problem of Erdos-Katona-Kleitman

A central result in extremal set theory is the celebrated theorem of Sperner from 1928, which gives the size of the largest family of subsets of [n] not containing a 2-chain. Erdos extended this theorem to determine the largest family without a k-chain. Erdos and Katona, followed by Kleitman, asked how many chains must appear in families with sizes larger than the corresponding extremal bounds. In 1966, Kleitman resolved this question for 2-chains, showing that the number of such chains is minimized by taking sets as close to the middle level as possible. Moreover, he conjectured the extremal families were the same for k-chains, for all k. In this paper, making the first progress on this problem, we verify Kleitman's conjecture for the families whose size is at most the size of the $k+1$ middle levels. We also characterize all extremal configurations.

preprint2013arXiv

The minimum number of disjoint pairs in set systems and related problems

Let F be a set system on [n] with all sets having k elements and every pair of sets intersecting. The celebrated theorem of Erdos-Ko-Rado from 1961 says that any such system has size at most ${n-1 \choose k-1}$ . A natural question, which was asked by Ahlswede in 1980, is how many disjoint pairs must appear in a set system of larger size. Except for the case k=2, solved by Ahlswede and Katona, this problem has remained open for the last three decades. In this paper, we determine the minimum number of disjoint pairs in small k-uniform families, thus confirming a conjecture of Bollobas and Leader in these cases. Moreover, we obtain similar results for two well-known extensions of the Erdos-Ko-Rado theorem, determining the minimum number of matchings of size q and the minimum number of t-disjoint pairs that appear in set systems larger than the corresponding extremal bounds. In the latter case, this provides a partial solution to a problem of Kleitman and West.

preprint2012arXiv

A problem of Erdős on the minimum number of $k$ -cliques

Fifty years ago Erdős asked to determine the minimum number of $k$ -cliques in a graph on $n$ vertices with independence number less than l. He conjectured that this minimum is achieved by the disjoint union of $l-1$ complete graphs of size $\frac{n}{l-1}$ . This conjecture was disproved by Nikiforov who showed that the balanced blow-up of a 5-cycle has fewer 4-cliques than the union of 2 complete graphs of size $\frac{n}{2}$ . In this paper we solve Erdős' problem for $(k,l)=(3,4)$ and $(k,l)=(4,3)$ . Using stability arguments we also characterize the precise structure of extremal examples, confirming Erdős' conjecture for $(k,l)=(3,4)$ and showing that a blow-up of a 5-cycle gives the minimum for $(k,l)=(4,3)$ .

preprint2012arXiv

Chromatic number, clique subdivisions, and the conjectures of Hajós and Erdős-Fajtlowicz

For a graph $G$ , let $χ(G)$ denote its chromatic number and $σ(G)$ denote the order of the largest clique subdivision in $G$ . Let H(n) be the maximum of $χ(G)/σ(G)$ over all $n$ -vertex graphs $G$ . A famous conjecture of Hajós from 1961 states that $σ(G) \geq χ(G)$ for every graph $G$ . That is, $H(n) \leq 1$ for all positive integers $n$ . This conjecture was disproved by Catlin in 1979. Erdős and Fajtlowicz further showed by considering a random graph that $H(n) \geq cn^{1/2}/\log n$ for some absolute constant $c>0$ . In 1981 they conjectured that this bound is tight up to a constant factor in that there is some absolute constant $C$ such that $χ(G)/σ(G) \leq Cn^{1/2}/\log n$ for all $n$ -vertex graphs $G$ . In this paper we prove the Erdős-Fajtlowicz conjecture. The main ingredient in our proof, which might be of independent interest, is an estimate on the order of the largest clique subdivision which one can find in every graph on $n$ vertices with independence number $α$ .

preprint2012arXiv

Dirac's theorem for random graphs

A classical theorem of Dirac from 1952 asserts that every graph on $n$ vertices with minimum degree at least $\lceil n/2 \rceil$ is Hamiltonian. In this paper we extend this result to random graphs. Motivated by the study of resilience of random graph properties we prove that if $p \gg \log n /n$ , then a.a.s. every subgraph of $G(n,p)$ with minimum degree at least $(1/2+o(1))np$ is Hamiltonian. Our result improves on previously known bounds, and answers an open problem of Sudakov and Vu. Both, the range of edge probability $p$ and the value of the constant 1/2 are asymptotically best possible.

preprint2012arXiv

Getting directed Hamilton cycle twice faster

Consider the random graph process where we start with an empty graph on n vertices, and at time t, are given an edge e_t chosen uniformly at random among the edges which have not appeared so far. A classical result in random graph theory asserts that w.h.p. the graph becomes Hamiltonian at time (1/2+o(1))n log n. On the contrary, if all the edges were directed randomly, then the graph has a directed Hamilton cycle w.h.p. only at time (1+o(1))n log n. In this paper we further study the directed case, and ask whether it is essential to have twice as many edges compared to the undirected case. More precisely, we ask if at time t, instead of a random direction one is allowed to choose the orientation of e_t, then whether it is possible or not to make the resulting directed graph Hamiltonian at time earlier than n log n. The main result of our paper answers this question in the strongest possible way, by asserting that one can orient the edges on-line so that w.h.p., the resulting graph has a directed Hamilton cycle exactly at the time at which the underlying graph is Hamiltonian.

preprint2012arXiv

How many colors guarantee a rainbow matching?

Given a coloring of the edges of a multi-hypergraph, a rainbow t-matching is a collection of t disjoint edges, each having a different color. In this note we study the problem of finding a rainbow $t$ -matching in an r-partite r-uniform multi-hypergraph whose edges are colored with f colors such that every color class is a matching of size t. This problem was posed by Aharoni and Berger, who asked to determine the minimum number of colors which guarantees a rainbow matching. We improve on the known upper bounds for this problem for all values of the parameters. In particular for every fixed r, we give an upper bound which is polynomial in t, improving the superexponential estimate of Alon. Our proof also works in the setting not requiring the hypergraph to be r-partite.

preprint2012arXiv

Large feedback arc sets, high minimum degree subgraphs, and long cycles in Eulerian digraphs

A minimum feedback arc set of a directed graph $G$ is a smallest set of arcs whose removal makes $G$ acyclic. Its cardinality is denoted by $β(G)$ . We show that an Eulerian digraph with $n$ vertices and $m$ arcs has $β(G) \ge m^2/2n^2+m/2n$ , and this bound is optimal for infinitely many $m, n$ . Using this result we prove that an Eulerian digraph contains a cycle of length at most $6n^2/m$ , and has an Eulerian subgraph with minimum degree at least $m^2/24n^3$ . Both estimates are tight up to a constant factor. Finally, motivated by a conjecture of Bollobás and Scott, we also show how to find long cycles in Eulerian digraphs.

preprint2012arXiv

Large matchings in uniform hypergraphs and the conjectures of Erdos and Samuels

In this paper we study conditions which guarantee the existence of perfect matchings and perfect fractional matchings in uniform hypergraphs. We reduce this problem to an old conjecture by Erdős on estimating the maximum number of edges in a hypergraph when the (fractional) matching number is given, which we are able to solve in some special cases using probabilistic techniques. Based on these results, we obtain some general theorems on the minimum $d$ -degree ensuring the existence of perfect (fractional) matchings. In particular, we asymptotically determine the minimum vertex degree which guarantees a perfect matching in 4-uniform and 5-uniform hypergraphs. We also discuss an application to a problem of finding an optimal data allocation in a distributed storage system.

preprint2012arXiv

Musical chairs

In the {\em Musical Chairs} game $MC(n,m)$ a team of $n$ players plays against an adversarial {\em scheduler}. The scheduler wins if the game proceeds indefinitely, while termination after a finite number of rounds is declared a win of the team. At each round of the game each player {\em occupies} one of the $m$ available {\em chairs}. Termination (and a win of the team) is declared as soon as each player occupies a unique chair. Two players that simultaneously occupy the same chair are said to be {\em in conflict}. In other words, termination (and a win for the team) is reached as soon as there are no conflicts. The only means of communication throughout the game is this: At every round of the game, the scheduler selects an arbitrary nonempty set of players who are currently in conflict, and notifies each of them separately that it must move. A player who is thus notified changes its chair according to its deterministic program. As we show, for $m\ge 2n-1$ chairs the team has a winning strategy. Moreover, using topological arguments we show that this bound is tight. For $m\leq 2n-2$ the scheduler has a strategy that is guaranteed to make the game continue indefinitely and thus win. We also have some results on additional interesting questions. For example, if $m \ge 2n-1$ (so that the team can win), how quickly can they achieve victory?

preprint2012arXiv

Rainbow Turán Problem for Even Cycles

An edge-colored graph is rainbow if all its edges are colored with distinct colors. For a fixed graph $H$ , the rainbow Turán number $\mathrm{ex}^{\ast}(n,H)$ is defined as the maximum number of edges in a properly edge-colored graph on $n$ vertices with no rainbow copy of $H$ . We study the rainbow Turán number of even cycles, and prove that for every fixed $\varepsilon > 0$ , there is a constant $C(\varepsilon)$ such that every properly edge-colored graph on $n$ vertices with at least $C(\varepsilon) n^{1 + \varepsilon}$ edges contains a rainbow cycle of even length at most $2 \lceil \frac{\ln 4 - \ln \varepsilon}{\ln (1 + \varepsilon)} \rceil$ . This partially answers a question of Keevash, Mubayi, Sudakov, and Verstraëte, who asked how dense a graph can be without having a rainbow cycle of any length.

preprint2012arXiv

Robust Hamiltonicity of Dirac graphs

A graph is Hamiltonian if it contains a cycle which passes through every vertex of the graph exactly once. A classical theorem of Dirac from 1952 asserts that every graph on $n$ vertices with minimum degree at least $n/2$ is Hamiltonian. We refer to such graphs as Dirac graphs. In this paper we extend Dirac's theorem in two directions and show that Dirac graphs are robustly Hamiltonian in a very strong sense. First, we consider a random subgraph of a Dirac graph obtained by taking each edge independently with probability $p$ , and prove that there exists a constant $C$ such that if $p \ge C \log n / n$ , then a.a.s. the resulting random subgraph is still Hamiltonian. Second, we prove that if a $(1:b)$ Maker-Breaker game is played on a Dirac graph, then Maker can construct a Hamiltonian subgraph as long as the bias $b$ is at most $cn /\log n$ for some absolute constant $c > 0$ . Both of these results are tight up to a constant factor, and are proved under one general framework.

preprint2012arXiv

Self-similarity of graphs

An old problem raised independently by Jacobson and Schönheim asks to determine the maximum $s$ for which every graph with $m$ edges contains a pair of edge-disjoint isomorphic subgraphs with $s$ edges. In this paper we determine this maximum up to a constant factor. We show that every $m$ -edge graph contains a pair of edge-disjoint isomorphic subgraphs with at least $c (m\log m)^{2/3}$ edges for some absolute constant $c$ , and find graphs where this estimate is off only by a multiplicative constant. Our results improve bounds of Erdős, Pach, and Pyber from 1987.

preprint2012arXiv

Sidorenko's conjecture for a class of graphs: an exposition

A famous conjecture of Sidorenko and Erdős-Simonovits states that if H is a bipartite graph then the random graph with edge density p has in expectation asymptotically the minimum number of copies of H over all graphs of the same order and edge density. The goal of this expository note is to give a short self-contained proof (suitable for teaching in class) of the conjecture if H has a vertex complete to all vertices in the other part.

preprint2012arXiv

The phase transition in random graphs - a simple proof

The classical result of Erdos and Renyi shows that the random graph G(n,p) experiences sharp phase transition around p=1/n - for any ε>0 and p=(1-ε)/n, all connected components of G(n,p) are typically of size O(log n), while for p=(1+ε)/n, with high probability there exists a connected component of size linear in n. We provide a very simple proof of this fundamental result; in fact, we prove that in the supercritical regime p=(1+ε)/n, the random graph G(n,p) contains typically a path of linear length. We also discuss applications of our technique to other random graph models and to positional games.

preprint2012arXiv

Turan numbers for bipartite graphs plus an odd cycle

For an odd integer $k$ , let $\mathcal{C}_k = \{C_3,C_5,...,C_k\}$ denote the family of all odd cycles of length at most $k$ and let $\mathcal{C}$ denote the family of all odd cycles. Erdős and Simonovits \cite{ESi1} conjectured that for every family $\mathcal{F}$ of bipartite graphs, there exists $k$ such that $\ex{n}{\mathcal{F} \cup \mathcal{C}_k} \sim \ex{n}{\mathcal{F} \cup \mathcal{C}}$ as $n \rightarrow \infty$ . This conjecture was proved by Erdős and Simonovits when $\mathcal{F} = \{C_4\}$ , and for certain families of even cycles in \cite{KSV}. In this paper, we give a general approach to the conjecture using Scott's sparse regularity lemma. Our approach proves the conjecture for complete bipartite graphs $K_{2,t}$ and $K_{3,3}$ : we obtain more strongly that for any odd $k \geq 5$ , \[ \ex{n}{\mathcal{F} \cup \{C_k\}} \sim \ex{n}{\mathcal{F} \cup \mathcal{C}}\] and we show further that the extremal graphs can be made bipartite by deleting very few edges. In contrast, this formula does not extend to triangles -- the case $k = 3$ -- and we give an algebraic construction for odd $t \geq 3$ of $K_{2,t}$ -free $C_3$ -free graphs with substantially more edges than an extremal $K_{2,t}$ -free bipartite graph on $n$ vertices. Our general approach to the Erdős-Simonovits conjecture is effective based on some reasonable assumptions on the maximum number of edges in an $m$ by $n$ bipartite $\mathcal{F}$ -free graph.

preprint2011arXiv

All-Pairs Shortest Paths in $O(n^2)$ time with high probability

We present an all-pairs shortest path algorithm whose running time on a complete directed graph on $n$ vertices whose edge weights are chosen independently and uniformly at random from $[0,1]$ is $O(n^2)$ , in expectation and with high probability. This resolves a long standing open problem. The algorithm is a variant of the dynamic all-pairs shortest paths algorithm of Demetrescu and Italiano. The analysis relies on a proof that the number of \emph{locally shortest paths} in such randomly weighted graphs is $O(n^2)$ , in expectation and with high probability. We also present a dynamic version of the algorithm that recomputes all shortest paths after a random edge update in $O(\log^{2}n)$ expected time.

preprint2011arXiv

Bandwidth theorem for random graphs

A graph $G$ is said to have \textit{bandwidth} at most $b$ , if there exists a labeling of the vertices by $1,2,..., n$ , so that $|i - j| \leq b$ whenever $\{i,j\}$ is an edge of $G$ . Recently, Böttcher, Schacht, and Taraz verified a conjecture of Bollobás and Komlós which says that for every positive $r,Δ,γ$ , there exists $β$ such that if $H$ is an $n$ -vertex $r$ -chromatic graph with maximum degree at most $Δ$ which has bandwidth at most $βn$ , then any graph $G$ on $n$ vertices with minimum degree at least $(1 - 1/r + γ)n$ contains a copy of $H$ for large enough $n$ . In this paper, we extend this theorem to dense random graphs. For bipartite $H$ , this answers an open question of Böttcher, Kohayakawa, and Taraz. It appears that for non-bipartite $H$ the direct extension is not possible, and one needs in addition that some vertices of $H$ have independent neighborhoods. We also obtain an asymptotically tight bound for the maximum number of vertex disjoint copies of a fixed $r$ -chromatic graph $H_0$ which one can find in a spanning subgraph of $G(n,p)$ with minimum degree $(1-1/r + γ)np$ .

preprint2011arXiv

Biased orientation games

We study biased {\em orientation games}, in which the board is the complete graph $K_n$ , and Maker and Breaker take turns in directing previously undirected edges of $K_n$ . At the end of the game, the obtained graph is a tournament. Maker wins if the tournament has some property $\mathcal P$ and Breaker wins otherwise. We provide bounds on the bias that is required for a Maker's win and for a Breaker's win in three different games. In the first game Maker wins if the obtained tournament has a cycle. The second game is Hamiltonicity, where Maker wins if the obtained tournament contains a Hamilton cycle. Finally, we consider the $H$ -creation game, where Maker wins if the obtained tournament has a copy of some fixed graph $H$ .

preprint2011arXiv

Erdos-Hajnal-type theorems in hypergraphs

The Erdos-Hajnal conjecture states that if a graph on n vertices is H-free, that is, it does not contain an induced copy of a given graph H, then it must contain either a clique or an independent set of size n^{d(H)}, where d(H) > 0 depends only on the graph H. Except for a few special cases, this conjecture remains wide open. However, it is known that a H-free graph must contain a complete or empty bipartite graph with parts of polynomial size. We prove an analogue of this result for 3-uniform hypergraphs, showing that if a 3-uniform hypergraph on n vertices is H-free, for any given H, then it must contain a complete or empty tripartite subgraph with parts of order c(log n)^{1/2 + d(H)}, where d(H) > 0 depends only on H. This improves on the bound of c(log n)^{1/2}, which holds in all 3-uniform hypergraphs, and, up to the value of the constant d(H), is best possible. We also prove that, for k > 3, no analogue of the standard Erdos-Hajnal conjecture can hold in k-uniform hypergraphs. That is, there are k-uniform hypergraphs H and sequences of H-free hypergraphs which do not contain cliques or independent sets of size appreciably larger than one would normally expect.

preprint2011arXiv

Erdos-Szekeres-type theorems for monotone paths and convex bodies

For any sequence of positive integers j_1 < j_2 < ... < j_n, the k-tuples (j_i,j_{i + 1},...,j_{i + k-1}), i=1, 2,..., n - k+1, are said to form a monotone path of length n. Given any integers n\ge k\ge 2 and q\ge 2, what is the smallest integer N with the property that no matter how we color all k-element subsets of [N]=\{1,2,..., N\} with q colors, we can always find a monochromatic monotone path of length n? Denoting this minimum by N_k(q,n), it follows from the seminal 1935 paper of Erd\H os and Szekeres that N_2(q,n)=(n-1)^q+1 and N_3(2,n) = {2n -4\choose n-2} + 1. Determining the other values of these functions appears to be a difficult task. Here we show that 2^{(n/q)^{q-1}} \leq N_3(q,n) \leq 2^{n^{q-1}\log n}, for q \geq 2 and n \geq q+2. Using a stepping-up approach that goes back to Erdos and Hajnal, we prove analogous bounds on N_k(q,n) for larger values of k, which are towers of height k-1 in n^{q-1}. As a geometric application, we prove the following extension of the Happy Ending Theorem. Every family of at least M(n)=2^{n^2 \log n} plane convex bodies in general position, any pair of which share at most two boundary points, has n members in convex position, that is, it has n members such that each of them contributes a point to the boundary of the convex hull of their union.

preprint2011arXiv

Generating all subsets of a finite set with disjoint unions

If X is an n-element set, we call a family G of subsets of X a k-generator for X if every subset of X can be expressed as a union of at most k disjoint sets in G. Frein, Leveque and Sebo conjectured that for n > 2k, the smallest k-generators for X are obtained by taking a partition of X into classes of sizes as equal as possible, and taking the union of the power-sets of the classes. We prove this conjecture for all sufficiently large n when k = 2, and for n a sufficiently large multiple of k when k > 2.

preprint2011arXiv

Hamiltonicity, independence number, and pancyclicity

A graph on n vertices is called pancyclic if it contains a cycle of length l for all 3 \le l \le n. In 1972, Erdos proved that if G is a Hamiltonian graph on n > 4k^4 vertices with independence number k, then G is pancyclic. He then suggested that n = Ω(k^2) should already be enough to guarantee pancyclicity. Improving on his and some other later results, we prove that there exists a constant c such that n > ck^{7/3} suffices.

preprint2011arXiv

Maximum union-free subfamilies

An old problem of Moser asks: how large of a union-free subfamily does every family of m sets have? A family of sets is called union-free if there are no three distinct sets in the family such that the union of two of the sets is equal to the third set. We show that every family of m sets contains a union-free subfamily of size at least \lfloor \sqrt{4m+1}\rfloor - 1 and that this bound is tight. This solves Moser's problem and proves a conjecture of Erdős and Shelah from 1972. More generally, a family of sets is a-union-free if there are no a+1 distinct sets in the family such that one of them is equal to the union of a others. We determine up to an absolute multiplicative constant factor the size of the largest guaranteed a-union-free subfamily of a family of m sets. Our result verifies in a strong form a conjecture of Barat, Füredi, Kantor, Kim and Patkos.

preprint2011arXiv

Nearly Complete Graphs Decomposable into Large Induced Matchings and their Applications

We describe two constructions of (very) dense graphs which are edge disjoint unions of large {\em induced} matchings. The first construction exhibits graphs on $N$ vertices with ${N \choose 2}-o(N^2)$ edges, which can be decomposed into pairwise disjoint induced matchings, each of size $N^{1-o(1)}$ . The second construction provides a covering of all edges of the complete graph $K_N$ by two graphs, each being the edge disjoint union of at most $N^{2-δ}$ induced matchings, where $δ> 0.058$ . This disproves (in a strong form) a conjecture of Meshulam, substantially improves a result of Birk, Linial and Meshulam on communicating over a shared channel, and (slightly) extends the analysis of Håstad and Wigderson of the graph test of Samorodnitsky and Trevisan for linearity. Additionally, our constructions settle a combinatorial question of Vempala regarding a candidate rounding scheme for the directed Steiner tree problem.

preprint2011arXiv

Nonnegative k-sums, fractional covers, and probability of small deviations

More than twenty years ago, Manickam, Miklós, and Singhi conjectured that for any integers $n, k$ satisfying $n \geq 4k$ , every set of $n$ real numbers with nonnegative sum has at least $\binom{n-1}{k-1}$ $k$ -element subsets whose sum is also nonnegative. In this paper we discuss the connection of this problem with matchings and fractional covers of hypergraphs, and with the question of estimating the probability that the sum of nonnegative independent random variables exceeds its expectation by a given amount. Using these connections together with some probabilistic techniques, we verify the conjecture for $n \geq 33k^2$ . This substantially improves the best previously known exponential lower bound $n \geq e^{ck \log\log k}$ . In addition we prove a tight stability result showing that for every $k$ and all sufficiently large $n$ , every set of $n$ reals with a nonnegative sum that does not contain a member whose sum with any other $k-1$ members is nonnegative, contains at least $\binom{n-1}{k-1}+\binom{n-k-1}{k-1}-1$ subsets of cardinality $k$ with nonnegative sum.

preprint2011arXiv

Oblivious Collaboration

Communication is a crucial ingredient in every kind of collaborative work. But what is the least possible amount of communication required for a given task? We formalize this question by introducing a new framework for distributed computation, called {\em oblivious protocols}. We investigate the power of this model by considering two concrete examples, the {\em musical chairs} task $MC(n,m)$ and the well-known {\em Renaming} problem. The $MC(n,m)$ game is played by $n$ players (processors) with $m$ chairs. Players can {\em occupy} chairs, and the game terminates as soon as each player occupies a unique chair. Thus we say that player $P$ is {\em in conflict} if some other player $Q$ is occupying the same chair, i.e., termination means there are no conflicts. By known results from distributed computing, if $m \le 2n-2$ , no strategy of the players can guarantee termination. However, there is a protocol with $m = 2n-1$ chairs that always terminates. Here we consider an oblivious protocol where in every time step the only communication is this: an adversarial {\em scheduler} chooses an arbitrary nonempty set of players, and for each of them provides only one bit of information, specifying whether the player is currently in conflict or not. A player notified not to be in conflict halts and never changes its chair, whereas a player notified to be in conflict changes its chair according to its deterministic program. Remarkably, even with this minimal communication termination can be guaranteed with only $m=2n-1$ chairs. Likewise, we obtain an oblivious protocol for the Renaming problem whose name-space is small as that of the optimal nonoblivious distributed protocol. Other aspects suggest themselves, such as the efficiency (program length) of our protocols. We make substantial progress here as well, though many interesting questions remain open.

preprint2011arXiv

On a conjecture of Erdos and Simonovits: Even Cycles

Let $\mc{F}$ be a family of graphs. A graph is {\em $\mc{F}$-free} if it contains no copy of a graph in $\mc{F}$ as a subgraph. A cornerstone of extremal graph theory is the study of the {\em Turán number} $ex(n,\mc{F})$, the maximum number of edges in an $\mc{F}$-free graph on $n$ vertices. Define the {\em Zarankiewicz number} $z(n,\mc{F})$ to be the maximum number of edges in an $\mc{F}$-free {\em bipartite} graph on $n$ vertices. Let $C_k$ denote a cycle of length $k$ , and let $\mc{C}_k$ denote the set of cycles $C_{\ell}$ , where $3 \le \ell \leq k$ and $\ell$ and $k$ have the same parity. Erdős and Simonovits conjectured that for any family $\mc{F}$ consisting of bipartite graphs there exists an odd integer $k$ such that $ex(n,\mc{F} \cup \mc{C}_k) \sim z(n,\mc{F})$. They proved this when $\mc{F}={C_4}$ by showing that $ex(n,\{C_4,C_5\}) \sim z(n,C_4)$ . In this paper, we extend this result by showing that if $\ell \in \{2,3,5\}$ and $k > 2\ell$ is odd, then ${ex(n,\mc{C}_{2\ell} \cup {C_k}) \sim z(n,\mc{C}_{2\ell})$. Furthermore, if $k > 2\ell + 2$ is odd, then for infinitely many $n$ we show that the extremal $\mc{C}_{2\ell} \cup \{C_k\}$-free graphs are bipartite incidence graphs of generalized polygons. We observe that this exact result does not hold for any odd $k < 2\ell$ , and furthermore the asymptotic result does not hold when $(\ell,k)$ is $(3,3)$ , $(5,3)$ or $(5,5)$ . Our proofs make use of pseudorandomness properties of nearly extremal graphs that are of independent interest.

preprint2011arXiv

On the resilience of Hamiltonicity and optimal packing of Hamilton cycles in random graphs

Let $\bk=(k_1,...,k_n)$ be a sequence of $n$ integers. For an increasing monotone graph property $\mP$ we say that a base graph $G=([n],E)$ is \emph{$\bk$-resilient} with respect to $\mP$ if for every subgraph $H\subseteq G$ such that $d_H(i)\leq k_i$ for every $1\leq i\leq n$ the graph $G-H$ possesses $\mP$. This notion naturally extends the idea of the \emph{local resilience} of graphs recently initiated by Sudakov and Vu. In this paper we study the $\bk$-resilience of a typical graph from $\GNP$ with respect to the Hamiltonicity property where we let $p$ range over all values for which the base graph is expected to be Hamiltonian. In particular, we prove that for every $ε>0$ and $p\geq\frac{\ln n+\ln\ln n +ω(1)}{n}$ if a graph is sampled from $\GNP$ then with high probability removing from each vertex of "small" degree all incident edges but two and from any other vertex at most a $(\frac{1}{3}-ε)$ -fraction of the incident edges will result in a Hamiltonian graph. Considering this generalized approach to the notion of resilience allows to establish several corollaries which improve on the best known bounds of Hamiltonicity related questions. It implies that for every positive $ε>0$ and large enough values of $K$ , if $p>\frac{K\ln n}{n}$ then with high probability the local resilience of $\GNP$ with respect to being Hamiltonian is at least $(1-ε)np/3$ , improving on the previous bound for this range of $p$ . Another implication is a result on optimal packing of edge disjoint Hamilton cycles in a random graph. We prove that if $p\leq\frac{1.02\ln n}{n}$ then with high probability a graph $G$ sampled from $\GNP$ contains $\lfloor\frac{δ(G)}{2}\rfloor$ edge disjoint Hamilton cycles, extending the previous range of $p$ for which this was known to hold.

preprint2011arXiv

The size of a hypergraph and its matching number

More than forty years ago, Erdős conjectured that for any T <= N/K, every K-uniform hypergraph on N vertices without T disjoint edges has at most max{\binom{KT-1}{K}, \binom{N}{K} - \binom{N-T+1}{K}} edges. Although this appears to be a basic instance of the hypergraph Turán problem (with a T-edge matching as the excluded hypergraph), progress on this question has remained elusive. In this paper, we verify this conjecture for all T < N/(3K^2). This improves upon the best previously known range T = O(N/K^3), which dates back to the 1970's.

preprint2010arXiv

A conjecture of Erdős on graph Ramsey numbers

The Ramsey number $r(G)$ of a graph $G$ is the minimum $N$ such that every red-blue coloring of the edges of the complete graph on $N$ vertices contains a monochromatic copy of $G$ . Determining or estimating these numbers is one of the central problems in combinatorics. One of the oldest results in Ramsey Theory, proved by Erdős and Szekeres in 1935, asserts that the Ramsey number of the complete graph with $m$ edges is at most $2^{O(\sqrt{m})}$ . Motivated by this estimate Erdős conjectured, more than a quarter century ago, that there is an absolute constant $c$ such that $r(G) \leq 2^{c\sqrt{m}}$ for any graph $G$ with $m$ edges and no isolated vertices. In this short note we prove this conjecture.

preprint2010arXiv

A counterexample to the Alon-Saks-Seymour conjecture and related problems

Consider a graph obtained by taking edge disjoint union of $k$ complete bipartite graphs. Alon, Saks and Seymour conjectured that such graph has chromatic number at most $k+1$ . This well known conjecture remained open for almost twenty years. In this paper, we construct a counterexample to this conjecture and discuss several related problems in combinatorial geometry and communication complexity.

preprint2010arXiv

A new bound for the cops and robbers problem

In this short paper we study the game of cops and robbers, which is played on the vertices of some fixed graph $G$ . Cops and a robber are allowed to move along the edges of $G$ and the goal of cops is to capture the robber. The cop number $c(G)$ of $G$ is the minimum number of cops required to win the game. Meyniel conjectured a long time ago that $O(\sqrt{n})$ cops are enough for any connected $G$ on $n$ vertices. Improving several previous results, we prove that the cop number of $n$ -vertex graph is at most $n 2^{-(1+o(1))\sqrt{\log n}}$ .

preprint2010arXiv

An approximate version of Sidorenko's conjecture

A beautiful conjecture of Erdős-Simonovits and Sidorenko states that if H is a bipartite graph, then the random graph with edge density p has in expectation asymptotically the minimum number of copies of H over all graphs of the same order and edge density. This conjecture also has an equivalent analytic form and has connections to a broad range of topics, such as matrix theory, Markov chains, graph limits, and quasirandomness. Here we prove the conjecture if H has a vertex complete to the other part, and deduce an approximate version of the conjecture for all H. Furthermore, for a large class of bipartite graphs, we prove a stronger stability result which answers a question of Chung, Graham, and Wilson on quasirandomness for these graphs.

preprint2010arXiv

Cycles in Sparse Graphs II

The {\em independence ratio} of a graph $G$ is defined by $ι(G) := \sup_{X \subset V(G)} \frac{|X|}{α(X)},$ where $α(X)$ is the independence number of the subgraph of $G$ induced by $X$ . The independence ratio is a relaxation of the chromatic number $χ(G)$ in the sense that $χ(G) \geq ι(G)$ for every graph $G$ , while for many natural classes of graphs these quantities are almost equal. In this paper, we address two old conjectures of Erdős on cycles in graphs with large chromatic number and a conjecture of Erdős and Hajnal on graphs with infinite chromatic number.

preprint2010arXiv

Dependent Random Choice

We describe a simple and yet surprisingly powerful probabilistic technique which shows how to find in a dense graph a large subset of vertices in which all (or almost all) small subsets have many common neighbors. Recently this technique has had several striking applications to Extremal Graph Theory, Ramsey Theory, Additive Combinatorics, and Combinatorial Geometry. In this survey we discuss some of them.

preprint2010arXiv

Local resilience and Hamiltonicity Maker-Breaker games in random-regular graphs

For an increasing monotone graph property $\mP$ the \emph{local resilience} of a graph $G$ with respect to $\mP$ is the minimal $r$ for which there exists of a subgraph $H\subseteq G$ with all degrees at most $r$ such that the removal of the edges of $H$ from $G$ creates a graph that does not possesses $\mP$. This notion, which was implicitly studied for some ad-hoc properties, was recently treated in a more systematic way in a paper by Sudakov and Vu. Most research conducted with respect to this distance notion focused on the Binomial random graph model $\GNP$ and some families of pseudo-random graphs with respect to several graph properties such as containing a perfect matching and being Hamiltonian, to name a few. In this paper we continue to explore the local resilience notion, but turn our attention to random and pseudo-random \emph{regular} graphs of constant degree. We investigate the local resilience of the typical random $d$ -regular graph with respect to edge and vertex connectivity, containing a perfect matching, and being Hamiltonian. In particular we prove that for every positive $ε$ and large enough values of $d$ with high probability the local resilience of the random $d$ -regular graph, $\GND$, with respect to being Hamiltonian is at least $(1-ε)d/6$ . We also prove that for the Binomial random graph model $\GNP$, for every positive $ε>0$ and large enough values of $K$ , if $p>\frac{K\ln n}{n}$ then with high probability the local resilience of $\GNP$ with respect to being Hamiltonian is at least $(1-ε)np/6$ . Finally, we apply similar techniques to Positional Games and prove that if $d$ is large enough then with high probability a typical random $d$ -regular graph $G$ is such that in the unbiased Maker-Breaker game played on the edges of $G$ , Maker has a winning strategy to create a Hamilton cycle.

preprint2010arXiv

Long cycles in subgraphs of (pseudo)random directed graphs

We study the resilience of random and pseudorandom directed graphs with respect to the property of having long directed cycles. For every $0 < γ< 1/2$ we find a constant $c=c(γ)$ such that the following holds. Let $G=(V,E)$ be a (pseudo)random directed graph on $n$ vertices, and let $G'$ be a subgraph of $G$ with $(1/2+γ)|E|$ edges. Then $G'$ contains a directed cycle of length at least $(c-o(1))n$ . Moreover, there is a subgraph $G''$ of $G$ with $(1/2+γ-o(1))|E|$ edges that does not contain a cycle of length at least $cn$ .

preprint2010arXiv

On two problems in graph Ramsey theory

We study two classical problems in graph Ramsey theory, that of determining the Ramsey number of bounded-degree graphs and that of estimating the induced Ramsey number for a graph with a given number of vertices. The Ramsey number r(H) of a graph H is the least positive integer N such that every two-coloring of the edges of the complete graph $K_N$ contains a monochromatic copy of H. A famous result of Chvátal, Rödl, Szemerédi and Trotter states that there exists a constant c(Δ) such that r(H) \leq c(Δ) n for every graph H with n vertices and maximum degree Δ. The important open question is to determine the constant c(Δ). The best results, both due to Graham, Rödl and Ruciński, state that there are constants c and c' such that 2^{c' Δ} \leq c(Δ) \leq 2^{c Δ\log^2 Δ}. We improve this upper bound, showing that there is a constant c for which c(Δ) \leq 2^{c Δ\log Δ}. The induced Ramsey number r_{ind}(H) of a graph H is the least positive integer N for which there exists a graph G on N vertices such that every two-coloring of the edges of G contains an induced monochromatic copy of H. Erdős conjectured the existence of a constant c such that, for any graph H on n vertices, r_{ind}(H) \leq 2^{c n}. We move a step closer to proving this conjecture, showing that r_{ind} (H) \leq 2^{c n \log n}. This improves upon an earlier result of Kohayakawa, Prömel and Rödl by a factor of \log n in the exponent.

preprint2009arXiv

Maximizing the number of q-colorings

Let P_G(q) denote the number of proper q-colorings of a graph G. This function, called the chromatic polynomial of G, was introduced by Birkhoff in 1912, who sought to attack the famous four-color problem by minimizing P_G(4) over all planar graphs G. Since then, motivated by a variety of applications, much research was done on minimizing or maximizing P_G(q) over various families of graphs. In this paper, we study an old problem of Linial and Wilf, to find the graphs with n vertices and m edges which maximize the number of q-colorings. We provide the first approach which enables one to solve this problem for many nontrivial ranges of parameters. Using our machinery, we show that for each q >= 4 and sufficiently large m < κ_q n^2 where κ_q is approximately 1/(q log q), the extremal graphs are complete bipartite graphs minus the edges of a star, plus isolated vertices. Moreover, for q = 3, we establish the structure of optimal graphs for all large m <= n^2/4, confirming (in a stronger form) a conjecture of Lazebnik from 1989.

preprint2007arXiv

Constrained Ramsey Numbers

For two graphs S and T, the constrained Ramsey number f(S, T) is the minimum n such that every edge coloring of the complete graph on n vertices, with any number of colors, has a monochromatic subgraph isomorphic to S or a rainbow (all edges differently colored) subgraph isomorphic to T. The Erdos-Rado Canonical Ramsey Theorem implies that f(S, T) exists if and only if S is a star or T is acyclic, and much work has been done to determine the rate of growth of f(S, T) for various types of parameters. When S and T are both trees having s and t edges respectively, Jamison, Jiang, and Ling showed that f(S, T) <= O(st^2) and conjectured that it is always at most O(st). They also mentioned that one of the most interesting open special cases is when T is a path. In this work, we study this case and show that f(S, P_t) = O(st log t), which differs only by a logarithmic factor from the conjecture. This substantially improves the previous bounds for most values of s and t.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Benny Sudakov

Research overview

Is this your work?

121 publications

Set mappings for general graphs

Saturation in Random Hypergraphs

Large independent sets from local considerations

An average degree condition for independent transversals

Asymptotics of the hypergraph bipartite Turán problem

Evasive sets, covering by subspaces, and point-hyperplane incidences

Regular subgraphs of linear hypergraphs

Resolution of the Erdős-Sauer problem on regular subgraphs

Small subgraphs with large average degree

The nnn-queens completion problem

The Turán number of the grid

Threshold Ramsey multiplicity for paths and even cycles

Flattening rank and its combinatorial applications

Long directed paths in Eulerian digraphs

Powers of paths in tournaments

2-factors with k cycles in Hamiltonian graphs

A proof of Ringel's Conjecture

Asymptotics in percolation on high-girth expanders

C4-free subgraphs with large average degree

Covering graphs by monochromatic trees and Helly-type results for hypergraphs

Halfway to Rota's basis conjecture

Infinite Sperner's theorem

Lower bounds for Max-Cut in HHH-free graphs via semidefinite programming

New bounds for Ryser's conjecture and related problems

Orthonormal representations of HHH-free graphs

Short proofs of some extremal results III

The extremal number of tight cycles

The Kőnig Graph Process

Monochromatic trees in random tournaments

Anagram-free colorings of graphs

Bounded colorings of multipartite graphs and hypergraphs

Bounds for spherical codes

Counting Hamilton decompositions of oriented graphs

Domination in 3-tournaments

Finding Hamilton cycles in random graphs with few queries

Finding paths in sparse random graphs requires many queries

Hereditary quasirandomness without regularity

On the maximum quartet distance between phylogenetic trees

Ordered Ramsey numbers

Properly colored and rainbow copies of graphs with few cherries

Ramsey goodness of bounded degree trees

Ramsey goodness of paths

Random subgraphs of properly edge-coloured complete graphs and long rainbow cycles

Robustness of graph properties

Saturation in random graphs

Short proofs of some extremal results II

Testing Equality in Communication Graphs

The extremal function for cycles of length ℓ\ellℓ mod kkk

The number of additive triples in subsets of abelian groups

The number of Hamiltonian decompositions of regular graphs

Two remarks on even and oddtown problems

A random triadic process

Almost-Fisher families

Compatible Hamilton cycles in random graphs

Counting and packing Hamilton ℓ\ellℓ-cycles in dense hypergraphs

Counting and packing Hamilton cycles in dense graphs and oriented graphs

On graphs decomposable into induced matchings of linear sizes

Recent developments in graph Ramsey theory

Some Remarks on Rainbow Connectivity

Ks,tK_{s,t}Ks,t​-saturated bipartite graphs

Comparable pairs in families of sets

Compatible Hamilton cycles in Dirac graphs

Cycle packing

Cycles in triangle-free graphs of large chromatic number

Judicious partitions of directed graphs

Large subgraphs without complete bipartite graphs

Most Probably Intersecting Hypergraphs

On the grid Ramsey problem and related questions

On the number of monotone sequences

Random directed graphs are robustly Hamiltonian

The minimum number of nonnegative edges in hypergraphs

The threshold probability for long cycles

A construction of almost Steiner systems

Bisections of graphs

Discrepancy of random graphs and hypergraphs

Long paths and cycles in random subgraphs of graphs with large minimum degree

The $n$ -queens completion problem

Lower bounds for Max-Cut in $H$ -free graphs via semidefinite programming

Orthonormal representations of $H$ -free graphs

The extremal function for cycles of length $\ell$ mod $k$

Counting and packing Hamilton $\ell$ -cycles in dense hypergraphs

$K_{s,t}$ -saturated bipartite graphs

A problem of Erdős on the minimum number of $k$ -cliques

All-Pairs Shortest Paths in $O(n^2)$ time with high probability