Papers by Ella Williams
6 paper(s) by this author
· All BibTeX
Are trees really just butterflies in disguise?
As a generalisation of the Erdős-Sós conjecture about graphs, Addario-Berry, Havet, Linhares Sales, Reed and Thomassé conjectured that every digraph on $n$ vertices with more than $(k-1)n$ arcs contains every antidirected tree with $k$ arcs. We prove a dense, approximate version of this for trees with bounded maximum degree, as well as for trees whose layers are evenly distributed. We use a regularity based approach, centred around finding a copy of a given tree in the blow up of a caterpillar.
Embedding trees using minimum and maximum degree conditions
A variant of the Erdős-Sós conjecture, posed by Havet, Reed, Stein and Wood, states that every graph with minimum degree at least $\lfloor 2k/3 \rfloor$ and maximum degree at least $k$ contains a copy of every tree with $k$ edges. Both degree bounds are best possible. We confirm this conjecture for large trees with bounded maximum degree, by proving that for all $Δ\in \mathbb{N}$ and sufficiently large $k\in \mathbb{N}$, every graph $G$ with $δ(G)\geq \lfloor 2k/3 \rfloor$ and $Δ(G)\geq k$ contains a copy of every tree $T$ with $k$ edges and $Δ(T)\leq Δ$. We also prove similar results where alternative degree conditions are considered. For the same class of trees, this verifies exactly a related conjecture of Besomi, Pavez-Signé and Stein, and provides asymptotic confirmations of two others.
Relative Turán densities for ordered graphs: all and nothing
Reiher, Rödl, Sales, and Schacht initiated the study of relative Turán densities of ordered graphs and showed that it is more subtle and interesting than the unordered case. For an ordered graph $F$, its relative Turán density, $ρ_{<}(F)$, is the greatest $α$ such that every ordered graph $G$ has an $F$-free subgraph with at least $αe(G)$ edges.
This paper contains two main results about relative Turán densities. First, we find a family of host graphs that is optimal for all $F$. Second, we characterise the ordered graphs with zero relative Turán density: precisely those with no monotone path of length two.
On the gracesize of trees
An $n$-vertex tree $T$ is said to be $\textit{graceful}$ if there exists a bijective labelling $φ:V(T)\to \{1,\ldots,n\}$ such that the edge-differences $\{|φ(x)-φ(y)| : xy\in E(T)\}$ are pairwise distinct. The longstanding graceful tree conjecture, posed by Rósa in the 1960s, asserts that every tree is graceful. The $\textit{gracesize}$ of an $n$-vertex tree $T$, denoted $\operatorname{gs}(T)$, is the maximum possible number of distinct edge-differences over all bijective labellings $φ:V(T)\to \{1,\ldots,n\}$. The graceful tree conjecture is therefore equivalent to the statement that $\operatorname{gs}(T)=n-1$ for all $n$-vertex trees.
We prove an asymptotic version of this conjecture by showing that for every $\varepsilon>0$, there exists $n_0$ such that every tree on $n>n_0$ vertices satisfies $\operatorname{gs}(T)\geqslant (1-\varepsilon)n$. In other words, every sufficiently large tree admits an almost graceful labelling.
A proof of a conjecture of Erdős and Gyárfás on monochromatic path covers
In 1995, Erdős and Gyárfás proved that in every $2$-edge-coloured complete graph on $n$ vertices, there exists a collection of $2\sqrt{n}$ monochromatic paths, all of the same colour, which cover the entire vertex set. They conjectured that it is possible to replace $2\sqrt{n}$ by $\sqrt{n}$. We prove this to be true for all sufficiently large $n$.
Towards an edge-coloured Corrádi--Hajnal theorem
A classical result of Corrádi and Hajnal states that every graph $G$ on $n$ vertices with $n\in 3\mathbb{N}$ and $δ(G) \ge 2n/3$ contains a perfect triangle-tiling, i.e.,\ a spanning set of vertex-disjoint triangles. We explore a generalisation of this result to edge-coloured graphs. Let $G$ be an edge-coloured graph on $n$ vertices. The minimum colour degree $δ^c(G)$ of $G$ is the largest integer $k$ such that, for every vertex $v \in V(G)$, there are at least $k$ distinct colours on edges incident to $v$. We show that if $δ^c(G) \ge (5/6 + \varepsilon) n$, then $G$ has a spanning set of vertex-disjoint rainbow triangles. On the other hand, we find an example showing the bound should be at least $5n/7$. We also discuss a related tiling problems on digraphs, which may be of independent interest.