Extremal results for graphs and hypergraphs and other combinatorial problems

Abstract

In this dissertation we present several combinatorial results, primarily concerning extremal problems for graphs and hypergraphs, but also covering some additional topics. In Chapter 2, we consider the following geometric problem of Croft. Let K be a convex body in R^d that contains a copy of another body S in every possible orientation. Is it always possible to continuously move any one copy of S into another, inside K? We prove that the answer is positive if S is a line segment, but, surprisingly, the answer is negative in dimensions at least four for general S. In Chapter 3, we study the extremal number of tight cycles. Sós and Verstraëte raised the problem of finding the maximum possible size of an n-vertex r-uniform tight-cycle-free hypergraph. When r=2 this is simply n−1, and it was unknown whether the answer is Θ(n^{r−1}) in general. We show that this is not the case for any r≥3 by constructing r-uniform hypergraphs with n vertices and Ω(n^{r−1}logn/loglogn)=ω(n^{r−1}) edges which contain no tight cycles. In Chapter 4, we study the following saturation question: how small can maximal k-wise intersecting set systems over [n] be? Balogh, Chen, Hendrey, Lund, Luo, Tompkins and Tran resolved this problem for k=3, and for general k showed that the answer is between c_k·2^{n/(k−1)} and d_k·2^{n/⌈k/2⌉}. We prove that their lower bound gives the correct order of magnitude for all k. In Chapter 5, we prove that for any r, s with r0 there exists r such that g(n,K_r) = Ω(n^{1−ε}). We also prove a family of special cases of a conjecture of Conlon, Fox, Lee and Sudakov about the so-called hypergraph Erdős–Gyárfás function. In Chapter 8, we study bootstrap percolation for hypergraphs. Consider the process in which, given a fixed r-uniform hypergraph H and starting with a given n-vertex r-uniform hypergraph G, at each step we add to G all edges that create a new copy of H. We are interested in maximising the number of steps that this process takes before it stabilises. For the case where H=K_s^{(r)} with s>r≥3, we show that the number of steps of this process can be Θ(n^r). This answers a recent question of Noel and Ranganathan. We also demonstrate that different and interesting maximal running times can occur for other choices of H. In Chapter 9, we study an extremal problem about permutations. How many random transpositions (meaning that we swap given pairs of elements with given probabilities) do we need to perform on a deck of cards to ‘shuffle’ it? We study several problems on this topic. Among other results, we show that at least 2n−3 such swaps are needed to uniformly shuffle the first two cards of the deck, proving a conjecture of Groenland, Johnston, Radcliffe and Scott. In Chapter 10, we study the following extremal problem on set systems introduced by Holzman and Körner. We say that a pair (a,b) of families of subsets of an n-element set is cancellative if whenever A,A′∈a and B∈b satisfy A∪B=A′∪B, then A=A′, and whenever A∈a and B,B′∈b satisfy A∪B=A∪B′, then B=B′. Tolhuizen showed that there exist cancellative pairs with |a||b| about 2.25^n, whereas Holzman and Körner proved an upper bound of 2.326^n. We improve the upper bound to about 2.268^n. This result also improved the then best known upper bound for a conjecture of Simonyi about ‘recovering pairs’ (the Boolean case of the ‘sandglass conjecture’), although the upper bound for Simonyi’s problem has since been further improved. In Chapter 11 we study a continuous version of Sperner’s theorem. Engel, Mitsis, Pelekis and Reiher showed that an antichain in the continuous cube [0,1]^n must have (n−1)-dimensional Hausdorff measure at most n, and they conjectured that this bound can be attained. This was already known for n=2, and we prove this conjecture for all n. Chapter 12 has similar motivations to the preceding chapter. A subset A of Z^n is called a weak antichain if it does not contain two elements x and y satisfying x_i