Bipartite Ramsey Numbers and Zarankiewicz Numbers

The bipartite Ramsey number b(m, n) is the minimum b such that any 2-coloring of Kb,b results in a monochromatic Km,m subgraph in the first color or a monochromatic Kn,n subgraph in the second color. The Zarankiewicz number z(m, n; s, t) is the maximum size among Ks,t-free subgraphs of Km,n. In this work, we discuss the intimate relationship between the two numbers as well as propose a new method for bounding the Zarankiewicz numbers. We use the better bounds to improve the upper bound on b(2, 5), in addition we improve the lower bound of b(2, 5) by construction. The new bounds are shown to be 17 ≤ b(2, 5) ≤ 18. Additionally, we apply the same methods to the multicolor case b(2, 2, 3) which has previously not been studied and determine bounds to be 16 ≤ b(2, 2, 3) ≤ 23

The history of degenerate (bipartite) extremal graph problems

This paper is a survey on Extremal Graph Theory, primarily focusing on the case when one of the excluded graphs is bipartite. On one hand we give an introduction to this field and also describe many important results, methods, problems, and constructions.Comment: 97 pages, 11 figures, many problems. This is the preliminary version of our survey presented in Erdos 100. In this version 2 only a citation was complete

Density version of the Ramsey problem and the directed Ramsey problem

We discuss a variant of the Ramsey and the directed Ramsey problem. First, consider a complete graph on $n$ vertices and a two-coloring of the edges such that every edge is colored with at least one color and the number of bicolored edges $|E_{RB}|$ is given. The aim is to find the maximal size $f$ of a monochromatic clique which is guaranteed by such a coloring. Analogously, in the second problem we consider semicomplete digraph on $n$ vertices such that the number of bi-oriented edges $|E_{bi}|$ is given. The aim is to bound the size $F$ of the maximal transitive subtournament that is guaranteed by such a digraph. Applying probabilistic and analytic tools and constructive methods we show that if $|E_{RB}|=|E_{bi}| = p{n\choose 2}$, ($p\in [0,1)$), then $f, F < C_p\log(n)$ where $C_p$ only depend on $p$, while if $m={n \choose 2} - |E_{RB}| <n^{3/2}$ then $f= \Theta (\frac{n^2}{m+n})$. The latter case is strongly connected to Tur\'an-type extremal graph theory.Comment: 17 pages. Further lower bound added in case $|E_{RB}|=|E_{bi}| = p{n\choose 2}

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.Comment: 15 page