On the structure of dense graphs, and other extremal problems

Extremal combinatorics is an area of mathematics populated by problems that are easy to state, yet often difficult to resolve. The typical question in this field is the following: What is the maximum or minimum size of a collection of finite objects (e.g., graphs, finite families of sets) subject to some set of constraints? Despite its apparent simplicity, this question has led to a rather rich body of work. This dissertation consists of several new results in this field.The first two chapters concern structural results for dense graphs, thus justifying the first part of my title. In the first chapter, we prove a stability result for edge-maximal graphs without complete subgraphs of fixed size, answering questions of Tyomkyn and Uzzell. The contents of this chapter are based on joint work with Kamil Popielarz and Julian Sahasrabudhe.The second chapter is about the interplay between minimum degree and chromatic number in graphs which forbid a specific set of `small\u27 graphs as subgraphs. We determine the structure of dense graphs which forbid triangles and cycles of length five. A particular consequence of our work is that such graphs are 3-colorable. This answers questions of Messuti and Schacht, and Oberkampf and Schacht. This chapter is based on joint work with Shoham Letzter.Chapter 3 departs from undirected graphs and enters the domain of directed graphs. Specifically, we address the connection between connectivity and linkedness in tournaments with large minimum out-degree. Making progress on a conjecture of Pokrovskiy, we show that, for any positive integer $k$, any $4k$-connected tournament with large enough minimum out-degree is $k$-linked. This chapter is based on joint work with Ant{\\u27o}nio Gir{\~a}o.ArrayThe final chapter leaves the world of graphs entirely and examines a problem in finite set systems.More precisely, we examine an extremal problem on a family of finite sets involving constraints on the possible intersectionsizes these sets may have. Such problems have a long history in extremal combinatorics. In this chapter, we are interested in the maximum number of disjoint pairs a family of sets can have under various restrictions on intersection sizes. We obtain several new results in this direction. The contents of this chapter are based on joint work with Ant{\\u27o}nio Gir{\~a}o

Supersaturation and stability for forbidden subposet problems

We address a supersaturation problem in the context of forbidden subposets. A family $\mathcal{F}$ of sets is said to contain the poset $P$ if there is an injection $i:P \rightarrow \mathcal{F}$ such that $p \le_P q$ implies $i(p) \subset i (q)$. The poset on four elements $a,b,c,d$ with $a,b \le c,d$ is called butterfly. The maximum size of a family $\mathcal{F} \subseteq 2^{[n]}$ that does not contain a butterfly is $\Sigma(n,2)=\binom{n}{\lfloor n/2 \rfloor}+\binom{n}{\lfloor n/2 \rfloor+1}$ as proved by De Bonis, Katona, and Swanepoel. We prove that if $\mathcal{F} \subseteq 2^{[n]}$ contains $\Sigma(n,2)+E$ sets, then it has to contain at least $(1-o(1))E(\lceil n/2 \rceil +1)\binom{\lceil n/2\rceil}{2}$ copies of the butterfly provided $E\le 2^{n^{1-\varepsilon}}$ for some positive $\varepsilon$. We show by a construction that this is asymptotically tight and for small values of $E$ we show that the minimum number of butterflies contained in $\mathcal{F}$ is exactly $E(\lceil n/2 \rceil +1)\binom{\lceil n/2\rceil}{2}$

Some New Bounds For Cover-Free Families Through Biclique Cover

An $(r,w;d)$ cover-free family $(CFF)$ is a family of subsets of a finite set such that the intersection of any $r$ members of the family contains at least $d$ elements that are not in the union of any other $w$ members. The minimum number of elements for which there exists an $(r,w;d)-CFF$ with $t$ blocks is denoted by $N((r,w;d),t)$. In this paper, we show that the value of $N((r,w;d),t)$ is equal to the $d$-biclique covering number of the bipartite graph $I_t(r,w)$ whose vertices are all $w$- and $r$-subsets of a $t$-element set, where a $w$-subset is adjacent to an $r$-subset if their intersection is empty. Next, we introduce some new bounds for $N((r,w;d),t)$. For instance, we show that for $r\geq w$ and $r\geq 2$ $$N((r,w;1),t) \geq c{{r+w\choose w+1}+{r+w-1 \choose w+1}+ 3 {r+w-4 \choose w-2} \over \log r} \log (t-w+1),$$ where $c$ is a constant satisfies the well-known bound $N((r,1;1),t)\geq c\frac{r^2}{\log r}\log t$. Also, we determine the exact value of $N((r,w;d),t)$ for some values of $d$. Finally, we show that $N((1,1;d),4d-1)=4d-1$ whenever there exists a Hadamard matrix of order 4d

A Special Class of Almost Disjoint Families

The collection of branches (maximal linearly ordered sets of nodes) of the tree ${}^{<\omega}\omega$ (ordered by inclusion) forms an almost disjoint family (of sets of nodes). This family is not maximal -- for example, any level of the tree is almost disjoint from all of the branches. How many sets must be added to the family of branches to make it maximal? This question leads to a series of definitions and results: a set of nodes is {\it off-branch} if it is almost disjoint from every branch in the tree; an {\it off-branch family} is an almost disjoint family of off-branch sets; {\frak o}=\min\{|{\Cal O}|: {\Cal O} is a maximal off-branch family$\}$. Results concerning $\frak o$ include: (in ZFC) ${\frak a}\leq{\frak o}$, and (consistent with ZFC) $\frak o$ is not equal to any of the standard small cardinal invariants $\frak b$, $\frak a$, $\frak d$, or ${\frak c}=2^\omega$. Most of these consistency results use standard forcing notions -- for example, $Con({\frak b}={\frak a}<{\frak o}={\frak d}={\frak c})$ comes from starting with a model of $ZFC+CH$ and adding $\omega_2$-many Cohen reals. Many interesting open questions remain, though -- for example, $Con({\frak o}<{\frak d})$

A coding problem for pairs of subsets

Let $X$ be an $n$--element finite set, $0<k\leq n/2$ an integer. Suppose that $\{A_1,A_2\}$ and $\{B_1,B_2\}$ are pairs of disjoint $k$-element subsets of $X$ (that is, $|A_1|=|A_2|=|B_1|=|B_2|=k$, $A_1\cap A_2=\emptyset$, $B_1\cap B_2=\emptyset$). Define the distance of these pairs by $d(\{A_1,A_2\} ,\{B_1,B_2\})=\min \{|A_1-B_1|+|A_2-B_2|, |A_1-B_2|+|A_2-B_1|\}$. This is the minimum number of elements of $A_1\cup A_2$ one has to move to obtain the other pair $\{B_1,B_2\}$. Let $C(n,k,d)$ be the maximum size of a family of pairs of disjoint subsets, such that the distance of any two pairs is at least $d$. Here we establish a conjecture of Brightwell and Katona concerning an asymptotic formula for $C(n,k,d)$ for $k,d$ are fixed and $n\to \infty$. Also, we find the exact value of $C(n,k,d)$ in an infinite number of cases, by using special difference sets of integers. Finally, the questions discussed above are put into a more general context and a number of coding theory type problems are proposed.Comment: 11 pages (minor changes, and new citations added

Core congestion is inherent in hyperbolic networks

We investigate the impact the negative curvature has on the traffic congestion in large-scale networks. We prove that every Gromov hyperbolic network $G$ admits a core, thus answering in the positive a conjecture by Jonckheere, Lou, Bonahon, and Baryshnikov, Internet Mathematics, 7 (2011) which is based on the experimental observation by Narayan and Saniee, Physical Review E, 84 (2011) that real-world networks with small hyperbolicity have a core congestion. Namely, we prove that for every subset $X$ of vertices of a $\delta$-hyperbolic graph $G$ there exists a vertex $m$ of $G$ such that the disk $D(m,4 \delta)$ of radius $4 \delta$ centered at $m$ intercepts at least one half of the total flow between all pairs of vertices of $X$, where the flow between two vertices $x,y\in X$ is carried by geodesic (or quasi-geodesic) $(x,y)$-paths. A set $S$ intercepts the flow between two nodes $x$ and $y$ if $S$ intersect every shortest path between $x$ and $y$. Differently from what was conjectured by Jonckheere et al., we show that $m$ is not (and cannot be) the center of mass of $X$ but is a node close to the median of $X$ in the so-called injective hull of $X$. In case of non-uniform traffic between nodes of $X$ (in this case, the unit flow exists only between certain pairs of nodes of $X$ defined by a commodity graph $R$), we prove a primal-dual result showing that for any $\rho>5\delta$ the size of a $\rho$-multi-core (i.e., the number of disks of radius $\rho$) intercepting all pairs of $R$ is upper bounded by the maximum number of pairwise $(\rho-3\delta)$-apart pairs of $R$