Source author record

Jacob Fox

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

ResearcherUnclaimed source record

math.CO Discrete Mathematics math.NT Computational Geometry math.PR Computational Complexity Data Structures and Algorithms math.LO math.MG

Catalog footprint

Research overview

72works

9topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

Enumeration of intersection graphs of $x$ -monotone curves

A curve in the plane is $x$ -monotone if every vertical line intersects it at most once. A family of curves are called pseudo-segments if every pair of them have at most one point in common. We construct $2^{Ω(n^{4/3})}$ families, each consisting of $n$ labelled $x$ -monotone pseudo-segments such that their intersection graphs are different. On the other hand, we show that the number of such intersection graphs is at most $2^{O(n^{4/3}\log^2n)}$ . Our proof uses a new upper bound on the number of set systems of size $m$ on a ground set of size $n$ , with VC-dimension at most $d$ . Much better upper bounds are obtained if we only count bipartite intersection graphs, or, in general, intersection graphs with bounded chromatic number.

preprint2024arXiv

A multipartite analogue of Dilworth's Theorem

We prove that every partially ordered set on $n$ elements contains $k$ subsets $A_{1},A_{2},\dots,A_{k}$ such that either each of these subsets has size $Ω(n/k^{5})$ and, for every $i<j$ , every element in $A_{i}$ is less than or equal to every element in $A_{j}$ , or each of these subsets has size $Ω(n/(k^{2}\log n))$ and, for every $i \not = j$ , every element in $A_{i}$ is incomparable with every element in $A_{j}$ for $i\ne j$ . This answers a question of the first author from 2006. As a corollary, we prove for each positive integer $h$ there is $C_h$ such that for any $h$ partial orders $<_{1},<_{2},\dots,<_{h}$ on a set of $n$ elements, there exists $k$ subsets $A_{1},A_{2},\dots,A_{k}$ each of size at least $n/(k\log n)^{C_{h}}$ such that for each partial order $<_{\ell}$ , either $a_{1}<_{\ell}a_{2}<_{\ell}\dots<_{\ell}a_{k}$ for any tuple of elements $(a_1,a_2,\dots,a_k) \in A_1\times A_2\times \dots \times A_k$ , or $a_{1}>_{\ell}a_{2}>_{\ell}\dots>_{\ell}a_{k}$ for any $(a_1,a_2,\dots,a_k) \in A_1\times A_2\times \dots \times A_k$ , or $a_i$ is incomparable with $a_j$ for any $i\ne j$ , $a_i\in A_i$ and $a_j\in A_j$ . This improves on a 2009 result of Pach and the first author motivated by problems in discrete geometry.

preprint2023arXiv

Ramsey and Turán numbers of sparse hypergraphs

Degeneracy plays an important role in understanding Turán- and Ramsey-type properties of graphs. Unfortunately, the usual hypergraphical generalization of degeneracy fails to capture these properties. We define the skeletal degeneracy of a $k$ -uniform hypergraph as the degeneracy of its $1$ -skeleton (i.e., the graph formed by replacing every $k$ -edge by a $k$ -clique). We prove that skeletal degeneracy controls hypergraph Turán and Ramsey numbers in a similar manner to (graphical) degeneracy. Specifically, we show that $k$ -uniform hypergraphs with bounded skeletal degeneracy have linear Ramsey number. This is the hypergraph analogue of the Burr-Erdős conjecture (proved by Lee). In addition, we give upper and lower bounds of the same shape for the Turán number of a $k$ -uniform $k$ -partite hypergraph in terms of its skeletal degeneracy. The proofs of both results use the technique of dependent random choice. In addition, the proof of our Ramsey result uses the `random greedy process' introduced by Lee in his resolution of the Burr-Erdős conjecture.

preprint2022arXiv

Extremal results on feedback arc sets in digraphs

A directed graph is oriented if it can be obtained by orienting the edges of a simple, undirected graph. For an oriented graph $G$ , let $β(G)$ denote the size of a minimum feedback arc set, a smallest subset of edges whose deletion leaves an acyclic subgraph. A simple consequence of a result of Berger and Shor is that any oriented graph $G$ with $m$ edges satisfies $β(G) = m/2 - Ω(m^{3/4})$ . We observe that if an oriented graph $G$ has a fixed forbidden subgraph $B$ , the upper bound of $β(G) = m/2 - Ω(m^{3/4})$ is best possible as a function of the number of edges if $B$ is not bipartite, but the exponent $3/4$ in the lower order term can be improved if $B$ is bipartite. We also show that for every rational number $r$ between $3/4$ and $1$ , there is a finite collection of digraphs $\mathcal{B}$ such that every $\mathcal{B}$ -free digraph $G$ with $m$ edges satisfies $β(G) = m/2 - Ω(m^r)$ , and this bound is best possible up to the implied constant factor. The proof uses a connection to Turán numbers and a result of Bukh and Conlon. Both of our upper bounds come equipped with randomized linear-time algorithms that construct feedback arc sets achieving those bounds. Finally, we give a characterization of quasirandom directed graphs via minimum feedback arc sets.

preprint2022arXiv

Geometric and o-minimal Littlewood-Offord problems

The classical Erdős-Littlewood-Offord theorem says that for nonzero vectors $a_1,\dots,a_n\in \mathbb{R}^d$ , any $x\in \mathbb{R}^d$ , and uniformly random $(ξ_1,\dots,ξ_n)\in\{-1,1\}^n$ , we have $\Pr(a_1ξ_1+\dots+a_nξ_n=x)=O(n^{-1/2})$ . In this paper we show that $\Pr(a_1ξ_1+\dots+a_nξ_n\in S)\le n^{-1/2+o(1)}$ whenever $S$ is definable with respect to an o-minimal structure (for example, this holds when $S$ is any algebraic hypersurface), under the necessary condition that it does not contain a line segment. We also obtain an inverse theorem in this setting.

preprint2022arXiv

Minimum degree and the graph removal lemma

The clique removal lemma says that for every $r \geq 3$ and $\varepsilon>0$ , there exists some $δ>0$ so that every $n$ -vertex graph $G$ with fewer than $δn^r$ copies of $K_r$ can be made $K_r$ -free by removing at most $\varepsilon n^2$ edges. The dependence of $δ$ on $\varepsilon$ in this result is notoriously difficult to determine: it is known that $δ^{-1}$ must be at least super-polynomial in $\varepsilon^{-1}$ , and that it is at most of tower type in $\log \varepsilon^{-1}$ . We prove that if one imposes an appropriate minimum degree condition on $G$ , then one can actually take $δ$ to be a linear function of $\varepsilon$ in the clique removal lemma. Moreover, we determine the threshold for such a minimum degree requirement, showing that above this threshold we have linear bounds, whereas below the threshold the bounds are once again super-polynomial, as in the unrestricted removal lemma. We also investigate this question for other graphs besides cliques, and prove some general results about how minimum degree conditions affect the bounds in the graph removal lemma.

preprint2022arXiv

Multicolor list Ramsey numbers grow exponentially

The list Ramsey number $R_{\ell}(H,k)$ , recently introduced by Alon, Bucić, Kalvari, Kuperwasser, and Szabó, is a list-coloring variant of the classical Ramsey number. They showed that if $H$ is a fixed $r$ -uniform hypergraph that is not $r$ -partite and the number of colors $k$ goes to infinity, $e^{Ω(\sqrt{k})} \le R_{\ell} (H,k) \le e^{O(k)}$ . We prove that $R_{\ell}(H,k) = e^{Θ(k)}$ if and only if $H$ is not $r$ -partite.

preprint2022arXiv

On random irregular subgraphs

Let $G$ be a $d$ -regular graph on $n$ vertices. Frieze, Gould, Karoński and Pfender began the study of the following random spanning subgraph model $H=H(G)$ . Assign independently to each vertex $v$ of $G$ a uniform random number $x(v) \in [0,1]$ , and an edge $(u,v)$ of $G$ is an edge of $H$ if and only if $x(u)+x(v) \geq 1$ . Addressing a problem of Alon and Wei, we prove that if $d = o(n/(\log n)^{12})$ , then with high probability, for each nonnegative integer $k \leq d$ , there are $(1+o(1))n/(d+1)$ vertices of degree $k$ in $H$ .

preprint2022arXiv

On the number of edges of separated multigraphs

We prove that the number of edges of a multigraph $G$ with $n$ vertices is at most $O(n^2\log n)$ , provided that any two edges cross at most once, parallel edges are noncrossing, and the lens enclosed by every pair of parallel edges in $G$ contains at least one vertex. As a consequence, we prove the following extension of the Crossing Lemma of Ajtai, Chvátal, Newborn, Szemerédi and Leighton, if $G$ has $e \geq 4n$ edges, in any drawing of $G$ with the above property, the number of crossings is $Ω\left(\frac{e^3}{n^2\log(e/n)}\right)$ . This answers a question of Kaufmann et al. and is tight up to the logarithmic factor.

preprint2022arXiv

Ramsey numbers of books and quasirandomness

The book graph $B_n^{(k)}$ consists of $n$ copies of $K_{k+1}$ joined along a common $K_k$ . The Ramsey numbers of $B_n^{(k)}$ are known to have strong connections to the classical Ramsey numbers of cliques. Recently, the first author determined the asymptotic order of these Ramsey numbers for fixed $k$ , thus answering an old question of Erdős, Faudree, Rousseau, and Schelp. In this paper, we first provide a simpler proof of this theorem. Next, answering a question of the first author, we present a different proof that avoids the use of Szemerédi's regularity lemma, thus providing much tighter control on the error term. Finally, we prove a conjecture of Nikiforov, Rousseau, and Schelp by showing that all extremal colorings for this Ramsey problem are quasirandom.

preprint2022arXiv

Ramsey numbers of sparse digraphs

Burr and Erdős in 1975 conjectured, and Chvátal, Rödl, Szemerédi and Trotter later proved, that the Ramsey number of any bounded degree graph is linear in the number of vertices. In this paper, we disprove the natural directed analogue of the Burr--Erdős conjecture, answering a question of Bucić, Letzter, and Sudakov. If $H$ is an acyclic digraph, the oriented Ramsey number of $H$ , denoted $\overrightarrow{r_{1}}(H)$ , is the least $N$ such that every tournament on $N$ vertices contains a copy of $H$ . We show that for any $Δ\geq 2$ and any sufficiently large $n$ , there exists an acyclic digraph $H$ with $n$ vertices and maximum degree $Δ$ such that $\overrightarrow{r_{1}}(H)\ge n^{Ω(Δ^{2/3}/ \log^{5/3} Δ)}.$ This proves that $\overrightarrow{r_{1}}(H)$ is not always linear in the number of vertices for bounded-degree $H$ . On the other hand, we show that $\overrightarrow{r_{1}}(H)$ is nearly linear in the number of vertices for typical bounded-degree acyclic digraphs $H$ , and obtain linear or nearly linear bounds for several natural families of bounded-degree acyclic digraphs. For multiple colors, we prove a quasi-polynomial upper bound $\overrightarrow{r_{k}}(H)=2^{(\log n)^{O_{k}(1)}}$ for all bounded-degree acyclic digraphs $H$ on $n$ vertices, where $\overrightarrow{r_k}(H)$ is the least $N$ such that every $k$ -edge-colored tournament on $N$ vertices contains a monochromatic copy of $H$ . For $k\geq 2$ and $n\geq 4$ , we exhibit an acyclic digraph $H$ with $n$ vertices and maximum degree $3$ such that $\overrightarrow{r_{k}}(H)\ge n^{Ω(\log n/\log\log n)}$ , showing that these Ramsey numbers can grow faster than any polynomial in the number of vertices.

preprint2022arXiv

Removal lemmas and approximate homomorphisms

We study quantitative relationships between the triangle removal lemma and several of its variants. One such variant, which we call the triangle-free lemma, states that for each $ε>0$ there exists $M$ such that every triangle-free graph $G$ has an $ε$ -approximate homomorphism to a triangle-free graph $F$ on at most $M$ vertices (here an $ε$ -approximate homomorphism is a map $V(G) \to V(F)$ where all but at most $ε|V(G)|^2$ edges of $G$ are mapped to edges of $F$ ). One consequence of our results is that the least possible $M$ in the triangle-free lemma grows faster than exponential in any polynomial in $ε^{-1}$ . We also prove more general results for arbitrary graphs, as well as arithmetic analogues over finite fields, where the bounds are close to optimal.

preprint2022arXiv

Set-coloring Ramsey numbers via codes

For positive integers $n,r,s$ with $r > s$ , the set-coloring Ramsey number $R(n;r,s)$ is the minimum $N$ such that if every edge of the complete graph $K_N$ receives a set of $s$ colors from a palette of $r$ colors, then there is guaranteed to be a monochromatic clique on $n$ vertices, that is, a subset of $n$ vertices where all of the edges between them receive a common color. In particular, the case $s=1$ corresponds to the classical multicolor Ramsey number. We prove general upper and lower bounds on $R(n;r,s)$ which imply that $R(n;r,s) = 2^{Θ(nr)}$ if $s/r$ is bounded away from $0$ and $1$ . The upper bound extends an old result of Erdős and Szemerédi, who treated the case $s = r-1$ , while the lower bound exploits a connection to error-correcting codes. We also study the analogous problem for hypergraphs.

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

On the inducibility problem for random Cayley graphs of abelian groups with a few deleted vertices

Given a $k$ -vertex graph $H$ and an integer $n$ , what are the $n$ -vertex graphs with the maximum number of induced copies of $H$ ? This question is closely related to the inducibility problem introduced by Pippenger and Golumbic in 1975, which asks for the maximum possible fraction of $k$ -vertex subsets of an $n$ -vertex graph that induce a copy of $H$ . Huang, Lee and the first author proved that for a random $k$ -vertex graph $H$ , almost surely the $n$ -vertex graphs maximizing the number of induced copies of $H$ are the balanced iterated blow-ups of $H$ . In this paper, we consider the case where the graph $H$ is obtained by deleting a small number of vertices from a random Cayley graph $\widetilde{H}$ of an abelian group. We prove that in this case, almost surely all $n$ -vertex graphs maximizing the number of induced copies of $H$ are balanced iterated blow-ups of $\widetilde{H}$ .

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

A Completion of the Proof of the Edge-statistics Conjecture

For given integers $k$ and $\ell$ with $0<\ell< {k \choose 2}$ , Alon, Hefetz, Krivelevich and Tyomkyn formulated the following conjecture: When sampling a $k$ -vertex subset uniformly at random from a very large graph $G$ , then the probability to have exactly $\ell$ edges within the sampled $k$ -vertex subset is at most $e^{-1}+o_k(1)$ . This conjecture was proved in the case $Ω(k)\leq \ell\leq {k \choose 2}-Ω(k)$ by Kwan, Sudakov and Tran. In this paper, we complete the proof of the conjecture by resolving the remaining cases. We furthermore give nearly tight upper bounds for the probability described above in the case $ω(1)\leq \ell\leq o(k)$ . We also extend some of our results to hypergraphs with bounded edge size.

preprint2020arXiv

A note on the Erdős distinct subset sums problem

We present two short proofs giving the best known asymptotic lower bound for the maximum element in a set of $n$ positive integers with distinct subset sums.

preprint2020arXiv

A short proof of the canonical polynomial van der Waerden theorem

We present a short new proof of the canonical polynomial van der Waerden theorem, recently established by Girao [arXiv:2004.07766].

preprint2020arXiv

Extremal and Ramsey results on graph blowups

Recently, Souza introduced blowup Ramsey numbers as a generalization of bipartite Ramsey numbers. For graphs $G$ and $H$ , say $G\overset{r}{\longrightarrow} H$ if every $r$ -edge-coloring of $G$ contains a monochromatic copy of $H$ . Let $H[t]$ denote the $t$ -blowup of $H$ . Then the blowup Ramsey number of $G,H,r,$ and $t$ is defined as the minimum $n$ such that $G[n] \overset{r}{\longrightarrow} H[t]$ . Souza proved upper and lower bounds on $n$ that are exponential in $t$ , and conjectured that the exponential constant does not depend on $G$ . We prove that the dependence on $G$ in the exponential constant is indeed unnecessary, but conjecture that some dependence on $G$ is unavoidable. An important step in both Souza's proof and ours is a theorem of Nikiforov, which says that if a graph contains a constant fraction of the possible copies of $H$ , then it contains a blowup of $H$ of logarithmic size. We also provide a new proof of this theorem with a better quantitative dependence.

preprint2020arXiv

Ramsey, Paper, Scissors

We introduce a graph Ramsey game called Ramsey, Paper, Scissors. This game has two players, Proposer and Decider. Starting from an empty graph on $n$ vertices, on each turn Proposer proposes a potential edge and Decider simultaneously decides (without knowing Proposer's choice) whether to add it to the graph. Proposer cannot propose an edge which would create a triangle in the graph. The game ends when Proposer has no legal moves remaining, and Proposer wins if the final graph has independence number at least $s$ . We prove a threshold phenomenon exists for this game by exhibiting randomized strategies for both players that are optimal up to constants. Namely, there exist constants $0<A<B$ such that (under optimal play) Proposer wins with high probability if $s<A\sqrt{n}\log{n}$ , while Decider wins with high probability if $s>B\sqrt{n}\log{n}$ . This is a factor of $Θ(\sqrt{\log{n}})$ larger than the lower bound coming from the off-diagonal Ramsey number $r(3,s)$ .

preprint2020arXiv

Sets without $k$ -term progressions can have many shorter progressions

Let $f_{s,k}(n)$ be the maximum possible number of $s$ -term arithmetic progressions in a sequence $a_1<a_2<\ldots<a_n$ of $n$ integers which contains no $k$ -term arithmetic progression. For all integers $k > s \geq 3$ , we prove that $\lim_{n \to \infty} \frac{\log f_{s,k}(n)}{\log n} = 2,$ which answers an old question of Erdős. In fact, we prove upper and lower bounds for $f_{s,k}(n)$ which show that its growth is closely related to the bounds in Szemerédi's theorem.

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

Tower-type bounds for Roth's theorem with popular differences

Green developed an arithmetic regularity lemma to prove a strengthening of Roth's theorem on arithmetic progressions in dense sets. It states that for every $ε> 0$ there is some $N_0(ε)$ such that for every $N \ge N_0(ε)$ and $A \subset [N]$ with $|A| = αN$ , there is some nonzero $d$ such that $A$ contains at least $(α^3 - ε) N$ three-term arithmetic progressions with common difference $d$ . We prove that the minimum $N_0(ε)$ in Green's theorem is an exponential tower of 2s of height on the order of $\log(1/ε)$ . Both the lower and upper bounds are new. It shows that the tower-type bounds that arise from the use of a regularity lemma in this application are quantitatively necessary.

preprint2019arXiv

Induced arithmetic removal: complexity 1 patterns over finite fields

We prove an arithmetic analog of the induced graph removal lemma for complexity 1 patterns over finite fields. Informally speaking, we show that given a fixed collection of $r$ -colored complexity 1 arithmetic patterns over $\mathbb F_q$ , every coloring $ϕ\colon \mathbb F_q^n \setminus\{0\} \to [r]$ with $o(1)$ density of every such pattern can be recolored on an $o(1)$ -fraction of the space so that no such pattern remains.

preprint2019arXiv

On Ramsey numbers of hedgehogs

The hedgehog $H_t$ is a 3-uniform hypergraph on vertices $1,\dots,t+\binom{t}{2}$ such that, for any pair $(i,j)$ with $1\le i<j\le t$ , there exists a unique vertex $k>t$ such that $\{i,j,k\}$ is an edge. Conlon, Fox, and Rödl proved that the two-color Ramsey number of the hedgehog grows polynomially in the number of its vertices, while the four-color Ramsey number grows exponentially in the number of its vertices. They asked whether the two-color Ramsey number of the hedgehog $H_t$ is nearly linear in the number of its vertices. We answer this question affirmatively, proving that $r(H_t) = O(t^2\ln t)$ .

preprint2019arXiv

Triforce and Corners

May the $\mathit{triforce}$ be the 3-uniform hypergraph on six vertices with edges $\{123',12'3,1'23\}$ . We show that the minimum triforce density in a 3-uniform hypergraph of edge density $δ$ is $δ^{4-o(1)}$ but not $O(δ^4)$ . Let $M(δ)$ be the maximum number such that the following holds: for every $ε> 0$ and $G = \mathbb{F}_2^n$ with $n$ sufficiently large, if $A \subseteq G \times G$ with $A \ge δ|G|^2$ , then there exists a nonzero "popular difference" $d \in G$ such that the number of "corners" $(x,y), (x+d,y), (x,y+d) \in A$ is at least $(M(δ) - ε)|G|^2$ . As a corollary via a recent result of Mandache, we conclude that $M(δ) = δ^{4-o(1)}$ and $M(δ) = ω(δ^4)$ . On the other hand, for $0 < δ< 1/2$ and sufficiently large $N$ , there exists $A \subseteq [N]^3$ with $|A|\geδN^3$ such that for every $d \ne 0$ , the number of corners $(x,y,z), (x+d,y,z),(x,y+d,z),(x,y,z+d) \in A$ is at most $δ^{c \log (1/δ)} N^3$ . A similar bound holds in higher dimensions, or for any configuration with at least 5 points or affine dimension at least 3.

preprint2016arXiv

A polynomial regularity lemma for semi-algebraic hypergraphs and its applications in geometry and property testing

Fox, Gromov, Lafforgue, Naor, and Pach proved a regularity lemma for semi-algebraic $k$ -uniform hypergraphs of bounded complexity, showing that for each $ε>0$ the vertex set can be equitably partitioned into a bounded number of parts (in terms of $ε$ and the complexity) so that all but an $ε$ -fraction of the $k$ -tuples of parts are homogeneous. We prove that the number of parts can be taken to be polynomial in $1/ε$ . Our improved regularity lemma can be applied to geometric problems and to the following general question on property testing: is it possible to decide, with query complexity polynomial in the reciprocal of the approximation parameter, whether a hypergraph has a given hereditary property? We give an affirmative answer for testing typical hereditary properties for semi-algebraic hypergraphs of bounded complexity.

preprint2016arXiv

Approximating the rectilinear crossing number

A straight-line drawing of a graph $G$ is a mapping which assigns to each vertex a point in the plane and to each edge a straight-line segment connecting the corresponding two points. The rectilinear crossing number of a graph $G$ , $\overline{cr}(G)$ , is the minimum number of crossing edges in any straight-line drawing of $G$ . Determining or estimating $\overline{cr}(G)$ appears to be a difficult problem, and deciding if $\overline{cr}(G)\leq k$ is known to be NP-hard. In fact, the asymptotic behavior of $\overline{cr}(K_n)$ is still unknown. In this paper, we present a deterministic $n^{2+o(1)}$ -time algorithm that finds a straight-line drawing of any $n$ -vertex graph $G$ with $\overline{cr}(G) + o(n^4)$ crossing edges. Together with the well-known Crossing Lemma due to Ajtai et al. and Leighton, this result implies that for any dense $n$ -vertex graph $G$ , one can efficiently find a straight-line drawing of $G$ with $(1 + o(1))\overline{cr}(G)$ crossing edges.

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 number of cliques in graphs with a forbidden minor

Reed and Wood and independently Norine, Seymour, Thomas, and Wollan proved that for each positive integer $t$ there is a constant $c(t)$ such that every graph on $n$ vertices with no $K_t$ -minor has at most $c(t)n$ cliques. Wood asked in 2007 if we can take $c(t) = c^t$ for some absolute constant $c$ . This question was recently answered affirmatively by Lee and Oum. In this paper, we determine the exponential constant. We prove that every graph on $n$ vertices with no $K_t$ -minor has at most $3^{2t/3+o(t)}n$ cliques. This bound is tight for $n \geq 4t/3$ . More generally, let $H$ be a connected graph on $t$ vertices, and $x$ denote the size (i.e., the number edges) of the largest matching in the complement of $H$ . We prove that every graph on $n$ vertices with no $H$ -minor has at most $\max(3^{2t/3-x/3+o(t)}n,2^{t+o(t)}n)$ cliques, and this bound is tight for $n \geq \max (4t/3-2x/3,t)$ by a simple construction. Even more generally, we determine explicitly the exponential constant for the maximum number of cliques an $n$ -vertex graph can have in a minor-closed family of graphs which is closed under disjoint union.

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

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.

preprint2015arXiv

A semi-algebraic version of Zarankiewicz's problem

A bipartite graph $G$ is semi-algebraic in $\mathbb{R}^d$ if its vertices are represented by point sets $P,Q \subset \mathbb{R}^d$ and its edges are defined as pairs of points $(p,q) \in P\times Q$ that satisfy a Boolean combination of a fixed number of polynomial equations and inequalities in $2d$ coordinates. We show that for fixed $k$ , the maximum number of edges in a $K_{k,k}$ -free semi-algebraic bipartite graph $G = (P,Q,E)$ in $\mathbb{R}^2$ with $|P| = m$ and $|Q| = n$ is at most $O((mn)^{2/3} + m + n)$ , and this bound is tight. In dimensions $d \geq 3$ , we show that all such semi-algebraic graphs have at most $C\left((mn)^{ \frac{d}{d+1} + \varepsilon} + m + n\right)$ edges, where here $\varepsilon$ is an arbitrarily small constant and $C = C(d,k,t,\varepsilon)$ . This result is a far-reaching generalization of the classical Szemerédi-Trotter incidence theorem. The proof combines tools from several fields: VC-dimension and shatter functions, polynomial partitioning, and Hilbert polynomials. We also present various applications of our theorem. For example, a general point-variety incidence bound in $\mathbb{R}^d$ , an improved bound for a $d$ -dimensional variant of the Erdős unit distances problem, and more.

preprint2015arXiv

Hedgehogs are not colour blind

We exhibit a family of $3$ -uniform hypergraphs with the property that their $2$ -colour Ramsey numbers grow polynomially in the number of vertices, while their $4$ -colour Ramsey numbers grow exponentially. This is the first example of a class of hypergraphs whose Ramsey numbers show a strong dependence on the number of colours.

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

On the minimum degree of minimal Ramsey graphs for multiple colours

A graph G is r-Ramsey for a graph H, denoted by G\rightarrow (H)_r, if every r-colouring of the edges of G contains a monochromatic copy of H. The graph G is called r-Ramsey-minimal for H if it is r-Ramsey for H but no proper subgraph of G possesses this property. Let s_r(H) denote the smallest minimum degree of G over all graphs G that are r-Ramsey-minimal for H. The study of the parameter s_2 was initiated by Burr, Erdős, and Lovász in 1976 when they showed that for the clique s_2(K_k)=(k-1)^2. In this paper, we study the dependency of s_r(K_k) on r and show that, under the condition that k is constant, s_r(K_k) = r^2 polylog r. We also give an upper bound on s_r(K_k) which is polynomial in both r and k, and we determine s_r(K_3) up to a factor of log r.

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.

preprint2014arXiv

A relative Szemerédi theorem

The celebrated Green-Tao theorem states that there are arbitrarily long arithmetic progressions in the primes. One of the main ingredients in their proof is a relative Szemerédi theorem which says that any subset of a pseudorandom set of integers of positive relative density contains long arithmetic progressions. In this paper, we give a simple proof of a strengthening of the relative Szemerédi theorem, showing that a much weaker pseudorandomness condition is sufficient. Our strengthened version can be applied to give the first relative Szemerédi theorem for $k$ -term arithmetic progressions in pseudorandom subsets of $\mathbb{Z}_N$ of density $N^{-c_k}$ . The key component in our proof is an extension of the regularity method to sparse pseudorandom hypergraphs, which we believe to be interesting in its own right. From this we derive a relative extension of the hypergraph removal lemma. This is a strengthening of an earlier theorem used by Tao in his proof that the Gaussian primes contain arbitrarily shaped constellations and, by standard arguments, allows us to deduce the relative Szemerédi theorem.

preprint2014arXiv

A short proof of the multidimensional Szemerédi theorem in the primes

Tao conjectured that every dense subset of $\mathcal{P}^d$ , the $d$ -tuples of primes, contains constellations of any given shape. This was very recently proved by Cook, Magyar, and Titichetrakun and independently by Tao and Ziegler. Here we give a simple proof using the Green-Tao theorem on linear equations in primes and the Furstenberg-Katznelson multidimensional Szemerédi theorem.

preprint2014arXiv

A tight lower bound for Szemerédi's regularity lemma

Addressing a question of Gowers, we determine the order of the tower height for the partition size in a version of Szemerédi's regularity lemma.

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

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

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

The critical window for the classical Ramsey-Turán problem

The first application of Szemerédi's powerful regularity method was the following celebrated Ramsey-Turán result proved by Szemerédi in 1972: any K_4-free graph on N vertices with independence number o(N) has at most (1/8 + o(1)) N^2 edges. Four years later, Bollobás and Erdős gave a surprising geometric construction, utilizing the isoperimetric inequality for the high dimensional sphere, of a K_4-free graph on N vertices with independence number o(N) and (1/8 - o(1)) N^2 edges. Starting with Bollobás and Erdős in 1976, several problems have been asked on estimating the minimum possible independence number in the critical window, when the number of edges is about N^2 / 8. These problems have received considerable attention and remained one of the main open problems in this area. In this paper, we give nearly best-possible bounds, solving the various open problems concerning this critical window.

preprint2013arXiv

Applications of a new separator theorem for string graphs

An intersection graph of curves in the plane is called a string graph. Matousek almost completely settled a conjecture of the authors by showing that every string graph of m edges admits a vertex separator of size O(\sqrt{m}\log m). In the present note, this bound is combined with a result of the authors, according to which every dense string graph contains a large complete balanced bipartite graph. Three applications are given concerning string graphs G with n vertices: (i) if K_t is not a subgraph of G for some t, then the chromatic number of G is at most (\log n)^{O(\log t)}; (ii) if K_{t,t} is not a subgraph of G, then G has at most t(\log t)^{O(1)}n edges,; and (iii) a lopsided Ramsey-type result, which shows that the Erdos-Hajnal conjecture almost holds for string graphs.

preprint2013arXiv

Extremal results in sparse pseudorandom graphs

Szemerédi's regularity lemma is a fundamental tool in extremal combinatorics. However, the original version is only helpful in studying dense graphs. In the 1990s, Kohayakawa and Rödl proved an analogue of Szemerédi's regularity lemma for sparse graphs as part of a general program toward extending extremal results to sparse graphs. Many of the key applications of Szemerédi's regularity lemma use an associated counting lemma. In order to prove extensions of these results which also apply to sparse graphs, it remained a well-known open problem to prove a counting lemma in sparse graphs. The main advance of this paper lies in a new counting lemma, proved following the functional approach of Gowers, which complements the sparse regularity lemma of Kohayakawa and Rödl, allowing us to count small graphs in regular subgraphs of a sufficiently pseudorandom graph. We use this to prove sparse extensions of several well-known combinatorial theorems, including the removal lemmas for graphs and groups, the Erdős-Stone-Simonovits theorem and Ramsey's theorem. These results extend and improve upon a substantial body of previous work.

preprint2013arXiv

Linear forms from the Gowers uniformity norm

This is a companion note to our paper 'A relative Szemerédi theorem', elaborating on a concluding remark. In that paper, we showed how to prove a relative Szemerédi theorem for $(r+1)$ -term arithmetic progressions assuming a linear forms condition. Here we show how to replace this condition with an assumption about the Gowers uniformity norm $U^r$ .

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

Stanley-Wilf limits are typically exponential

For a permutation $π$ , let $S_{n}(π)$ be the number of permutations on $n$ letters avoiding $π$ . Marcus and Tardos proved the celebrated Stanley-Wilf conjecture that $L(π)= \lim_{n \to \infty} S_n(π)^{1/n}$ exists and is finite. Backed by numerical evidence, it has been conjectured by many researchers over the years that $L(π)=Θ(k^2)$ for every permutation $π$ on $k$ letters. We disprove this conjecture, showing that $L(π)=2^{k^{Θ(1)}}$ for almost all permutations $π$ on $k$ letters.

preprint2013arXiv

What is Ramsey-equivalent to a clique?

A graph G is Ramsey for H if every two-colouring of the edges of G contains a monochromatic copy of H. Two graphs H and H' are Ramsey-equivalent if every graph G is Ramsey for H if and only if it is Ramsey for H'. In this paper, we study the problem of determining which graphs are Ramsey-equivalent to the complete graph K_k. A famous theorem of Nesetril and Rodl implies that any graph H which is Ramsey-equivalent to K_k must contain K_k. We prove that the only connected graph which is Ramsey-equivalent to K_k is itself. This gives a negative answer to the question of Szabo, Zumstein, and Zurcher on whether K_k is Ramsey-equivalent to K_k.K_2, the graph on k+1 vertices consisting of K_k with a pendent edge. In fact, we prove a stronger result. A graph G is Ramsey minimal for a graph H if it is Ramsey for H but no proper subgraph of G is Ramsey for H. Let s(H) be the smallest minimum degree over all Ramsey minimal graphs for H. The study of s(H) was introduced by Burr, Erdos, and Lovasz, where they show that s(K_k)=(k-1)^2. We prove that s(K_k.K_2)=k-1, and hence K_k and K_k.K_2 are not Ramsey-equivalent. We also address the question of which non-connected graphs are Ramsey-equivalent to K_k. Let f(k,t) be the maximum f such that the graph H=K_k+fK_t, consisting of K_k and f disjoint copies of K_t, is Ramsey-equivalent to K_k. Szabo, Zumstein, and Zurcher gave a lower bound on f(k,t). We prove an upper bound on f(k,t) which is roughly within a factor 2 of the lower bound.

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

Graph removal lemmas

The graph removal lemma states that any graph on n vertices with o(n^{v(H)}) copies of a fixed graph H may be made H-free by removing o(n^2) edges. Despite its innocent appearance, this lemma and its extensions have several important consequences in number theory, discrete geometry, graph theory and computer science. In this survey we discuss these lemmas, focusing in particular on recent improvements to their quantitative aspects.

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.

preprint2011arXiv

Bounds for graph regularity and removal lemmas

We show, for any positive integer k, that there exists a graph in which any equitable partition of its vertices into k parts has at least ck^2/\log^* k pairs of parts which are not ε-regular, where c,ε>0 are absolute constants. This bound is tight up to the constant c and addresses a question of Gowers on the number of irregular pairs in Szemerédi's regularity lemma. In order to gain some control over irregular pairs, another regularity lemma, known as the strong regularity lemma, was developed by Alon, Fischer, Krivelevich, and Szegedy. For this lemma, we prove a lower bound of wowzer-type, which is one level higher in the Ackermann hierarchy than the tower function, on the number of parts in the strong regularity lemma, essentially matching the upper bound. On the other hand, for the induced graph removal lemma, the standard application of the strong regularity lemma, we find a different proof which yields a tower-type bound. We also discuss bounds on several related regularity lemmas, including the weak regularity lemma of Frieze and Kannan and the recently established regular approximation theorem. In particular, we show that a weak partition with approximation parameter εmay require as many as 2^{Ω(ε^{-2})} parts. This is tight up to the implied constant and solves a problem studied by Lovász and Szegedy.

preprint2011arXiv

Constructing dense graphs with sublinear Hadwiger number

Mader asked to explicitly construct dense graphs for which the size of the largest clique minor is sublinear in the number of vertices. Such graphs exist as a random graph almost surely has this property. This question and variants were popularized by Thomason over several articles. We answer these questions by showing how to explicitly construct such graphs using blow-ups of small graphs with this property. This leads to the study of a fractional variant of the clique minor number, which may be of independent interest.

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

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

Minimum degree condition forcing complete graph immersion

An immersion of a graph $H$ into a graph $G$ is a one-to-one mapping $f:V(H) \to V(G)$ and a collection of edge-disjoint paths in $G$ , one for each edge of $H$ , such that the path $P_{uv}$ corresponding to edge $uv$ has endpoints $f(u)$ and $f(v)$ . The immersion is strong if the paths $P_{uv}$ are internally disjoint from $f(V(H))$ . It is proved that for every positive integer $t$ , every simple graph of minimum degree at least $200t$ contains a strong immersion of the complete graph $K_t$ . For dense graphs one can say even more. If the graph has order $n$ and has $2cn^2$ edges, then there is a strong immersion of the complete graph on at least $c^2 n$ vertices in $G$ in which each path $P_{uv}$ is of length 2. As an application of these results, we resolve a problem raised by Paul Seymour by proving that the line graph of every simple graph with average degree $d$ has a clique minor of order at least $cd^{3/2}$ , where $c>0$ is an absolute constant. For small values of $t$ , $1\le t\le 7$ , every simple graph of minimum degree at least $t-1$ contains an immersion of $K_t$ (Lescure and Meyniel, DeVos et al.). We provide a general class of examples showing that this does not hold when $t$ is large.

preprint2011arXiv

On a problem of Erdős and Rothschild on edges in triangles

Erdős and Rothschild asked to estimate the maximum number, denoted by H(N,C), such that every N-vertex graph with at least CN^2 edges, each of which is contained in at least one triangle, must contain an edge that is in at least H(N,C) triangles. In particular, Erdős asked in 1987 to determine whether for every C>0 there is ε>0 such that H(N,C) > N^ε, for all sufficiently large N. We prove that H(N,C) = N^{O(1/log log N)} for every fixed C < 1/4. This gives a negative answer to the question of Erdős, and is best possible in terms of the range for C, as it is known that every N-vertex graph with more than (N^2)/4 edges contains an edge that is in at least N/6 triangles.

preprint2011arXiv

Testing perfection is hard

A graph property P is strongly testable if for every fixed ε>0 there is a one-sided ε-tester for P whose query complexity is bounded by a function of ε. In classifying the strongly testable graph properties, the first author and Shapira showed that any hereditary graph property (such as P the family of perfect graphs) is strongly testable. A property is easily testable if it is strongly testable with query complexity bounded by a polynomial function of ε^{-1}, and otherwise it is hard. One of our main results shows that testing perfectness is hard. The proof shows that testing perfectness is at least as hard as testing triangle-freeness, which is hard. On the other hand, we show that induced P_3-freeness is easily testable. This settles one of the two exceptional graphs, the other being C_4 (and its complement), left open in the characterization by the first author and Shapira of graphs H for which induced H-freeness is easily testable.

preprint2011arXiv

The number of edges in k-quasi-planar graphs

A graph drawn in the plane is called k-quasi-planar if it does not contain k pairwise crossing edges. It has been conjectured for a long time that for every fixed k, the maximum number of edges of a k-quasi-planar graph with n vertices is O(n). The best known upper bound is n(\log n)^{O(\log k)}. In the present note, we improve this bound to (n\log n)2^{α^{c_k}(n)} in the special case where the graph is drawn in such a way that every pair of edges meet at most once. Here α(n) denotes the (extremely slowly growing) inverse of the Ackermann function. We also make further progress on the conjecture for k-quasi-planar graphs in which every edge is drawn as an x-monotone curve. Extending some ideas of Valtr, we prove that the maximum number of edges of such graphs is at most 2^{ck^6}n\log n.

preprint2010arXiv

A new proof of the graph removal lemma

Let H be a fixed graph with h vertices. The graph removal lemma states that every graph on n vertices with o(n^h) copies of H can be made H-free by removing o(n^2) edges. We give a new proof which avoids Szemerédi's regularity lemma and gives a better bound. This approach also works to give improved bounds for the directed and multicolored analogues of the graph removal lemma. This answers questions of Alon and Gowers.

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

Crossings, colorings, and cliques

Albertson conjectured that if graph $G$ has chromatic number $r$ , then the crossing number of $G$ is at least that of the complete graph $K_r$ . This conjecture in the case $r=5$ is equivalent to the four color theorem. It was verified for $r=6$ by Oporowski and Zhao. In this paper, we prove the conjecture for $7 \leq r \leq 12$ using results of Dirac; Gallai; and Kostochka and Stiebitz that give lower bounds on the number of edges in critical graphs, together with lower bounds by Pach et.al. on the crossing number of graphs in terms of the number of edges and vertices.

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

On minimal colorings without monochromatic solutions to a linear equation

For a ring R and system L of linear homogeneous equations, we call a coloring of the nonzero elements of R minimal for L if there are no monochromatic solutions to L and the coloring uses as few colors as possible. For a rational number q and positive integer n, let E(q,n) denote the equation $\sum_{i=0}^{n-2} q^{i}x_i = q^{n-1}x_{n-1}$ . We classify the minimal colorings of the nonzero rational numbers for each of the equations E(q,3) with q in {3/2,2,3,4}, for E(2,n) with n in {3,4,5,6}, and for x_1+x_2+x_3=4x_4. These results lead to several open problems and conjectures on minimal colorings.

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.

preprint2010arXiv

Overlap properties of geometric expanders

The {\em overlap number} of a finite $(d+1)$ -uniform hypergraph $H$ is defined as the largest constant $c(H)\in (0,1]$ such that no matter how we map the vertices of $H$ into $\R^d$ , there is a point covered by at least a $c(H)$ -fraction of the simplices induced by the images of its hyperedges. In~\cite{Gro2}, motivated by the search for an analogue of the notion of graph expansion for higher dimensional simplicial complexes, it was asked whether or not there exists a sequence $\{H_n\}_{n=1}^\infty$ of arbitrarily large $(d+1)$ -uniform hypergraphs with bounded degree, for which $\inf_{n\ge 1} c(H_n)>0$ . Using both random methods and explicit constructions, we answer this question positively by constructing infinite families of $(d+1)$ -uniform hypergraphs with bounded degree such that their overlap numbers are bounded from below by a positive constant $c=c(d)$ . We also show that, for every $d$ , the best value of the constant $c=c(d)$ that can be achieved by such a construction is asymptotically equal to the limit of the overlap numbers of the complete $(d+1)$ -uniform hypergraphs with $n$ vertices, as $n\rightarrow\infty$ . For the proof of the latter statement, we establish the following geometric partitioning result of independent interest. For any $d$ and any $ε>0$ , there exists $K=K(ε,d)\ge d+1$ satisfying the following condition. For any $k\ge K$ , for any point $q \in \mathbb{R}^d$ and for any finite Borel measure $μ$ on $\mathbb{R}^d$ with respect to which every hyperplane has measure $0$ , there is a partition $\mathbb{R}^d=A_1 \cup \ldots \cup A_{k}$ into $k$ measurable parts of equal measure such that all but at most an $ε$ -fraction of the $(d+1)$ -tuples $A_{i_1},\ldots,A_{i_{d+1}}$ have the property that either all simplices with one vertex in each $A_{i_j}$ contain $q$ or none of these simplices contain $q$ .

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.

Jacob Fox

Research overview

Is this your work?

72 publications

Enumeration of intersection graphs of xxx-monotone curves

A multipartite analogue of Dilworth's Theorem

Ramsey and Turán numbers of sparse hypergraphs

Extremal results on feedback arc sets in digraphs

Geometric and o-minimal Littlewood-Offord problems

Minimum degree and the graph removal lemma

Multicolor list Ramsey numbers grow exponentially

On random irregular subgraphs

On the number of edges of separated multigraphs

Ramsey numbers of books and quasirandomness

Ramsey numbers of sparse digraphs

Removal lemmas and approximate homomorphisms

Set-coloring Ramsey numbers via codes

Threshold Ramsey multiplicity for paths and even cycles

On the inducibility problem for random Cayley graphs of abelian groups with a few deleted vertices

Powers of paths in tournaments

A Completion of the Proof of the Edge-statistics Conjecture

A note on the Erdős distinct subset sums problem

A short proof of the canonical polynomial van der Waerden theorem

Extremal and Ramsey results on graph blowups

Ramsey, Paper, Scissors

Sets without kkk-term progressions can have many shorter progressions

Short proofs of some extremal results III

Tower-type bounds for Roth's theorem with popular differences

Induced arithmetic removal: complexity 1 patterns over finite fields

On Ramsey numbers of hedgehogs

Triforce and Corners

A polynomial regularity lemma for semi-algebraic hypergraphs and its applications in geometry and property testing

Approximating the rectilinear crossing number

Hereditary quasirandomness without regularity

On the number of cliques in graphs with a forbidden minor

Ordered Ramsey numbers

Short proofs of some extremal results II

A semi-algebraic version of Zarankiewicz's problem

Hedgehogs are not colour blind

On graphs decomposable into induced matchings of linear sizes

On the minimum degree of minimal Ramsey graphs for multiple colours

Recent developments in graph Ramsey theory

A relative Szemerédi theorem

A short proof of the multidimensional Szemerédi theorem in the primes

A tight lower bound for Szemerédi's regularity lemma

Cycle packing

Large subgraphs without complete bipartite graphs

On the grid Ramsey problem and related questions

The critical window for the classical Ramsey-Turán problem

Applications of a new separator theorem for string graphs

Extremal results in sparse pseudorandom graphs

Linear forms from the Gowers uniformity norm

Ramsey numbers of cubes versus cliques

Ramsey-type results for semi-algebraic relations

Short proofs of some extremal results

Stanley-Wilf limits are typically exponential

What is Ramsey-equivalent to a clique?

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

Graph removal lemmas

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

Bounds for graph regularity and removal lemmas

Constructing dense graphs with sublinear Hadwiger number

Erdos-Hajnal-type theorems in hypergraphs

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

Maximum union-free subfamilies

Minimum degree condition forcing complete graph immersion

On a problem of Erdős and Rothschild on edges in triangles

Testing perfection is hard

The number of edges in k-quasi-planar graphs

A new proof of the graph removal lemma

An approximate version of Sidorenko's conjecture

Crossings, colorings, and cliques

Dependent Random Choice

On minimal colorings without monochromatic solutions to a linear equation

On two problems in graph Ramsey theory

Overlap properties of geometric expanders

See the researcher in context

Building this map preview

Enumeration of intersection graphs of $x$ -monotone curves

Sets without $k$ -term progressions can have many shorter progressions