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\H{o}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^{\omega(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.Comment: 18 page

Colouring set families without monochromatic k-chains

A coloured version of classic extremal problems dates back to Erd\H{o}s and Rothschild, who in 1974 asked which $n$-vertex graph has the maximum number of 2-edge-colourings without monochromatic triangles. They conjectured that the answer is simply given by the largest triangle-free graph. Since then, this new class of coloured extremal problems has been extensively studied by various researchers. In this paper we pursue the Erd\H{o}s--Rothschild versions of Sperner's Theorem, the classic result in extremal set theory on the size of the largest antichain in the Boolean lattice, and Erd\H{o}s' extension to $k$-chain-free families. Given a family $\mathcal{F}$ of subsets of $[n]$, we define an $(r,k)$-colouring of $\mathcal{F}$ to be an $r$-colouring of the sets without any monochromatic $k$-chains $F_1 \subset F_2 \subset \dots \subset F_k$. We prove that for $n$ sufficiently large in terms of $k$, the largest $k$-chain-free families also maximise the number of $(2,k)$-colourings. We also show that the middle level, $\binom{[n]}{\lfloor n/2 \rfloor}$, maximises the number of $(3,2)$-colourings, and give asymptotic results on the maximum possible number of $(r,k)$-colourings whenever $r(k-1)$ is divisible by three.Comment: 30 pages, final versio

On pairs of definable orthogonal families

We introduce the notion of an M-family of infinite subsets of \nn which is implicitly contained in the work of A. R. D. Mathias. We study the structure of a pair of orthogonal hereditary families \aaa and \bbb, where \aaa is analytic and \bbb is $C$-measurable and an M-family.Comment: 21 pages, no figures. Illinois Journal of Mathematics (to appear

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})$