arXiv subjects

Freddie Illingworth

Publications and source records attributed to Freddie Illingworth.

At least 19 recordsLinked to original sources

arXiv2026

Asymptotic dimension of graphs excluding an induced or fat minor

Asymptotic dimension is a large-scale invariant of metric spaces that was introduced by Gromov (1993). A major open problem in coarse graph theory asks whether, for every fixed graph $H$, the class of graphs excluding $H$ as a fat minor has bounded asymptotic dimension. A weaker conjecture asserts the same conclusion for graphs excluding $H$ as an induced minor. We substantially expand the range of graphs $H$ for which these conjectures are known to hold. Specifically, we prove bounded asymptotic dimension for the following classes of graphs: graphs excluding a fixed planar graph as a fat minor; and graphs excluding a fixed string graph as an induced minor. All of our results also hold for the stronger notion of Assouad--Nagata dimension, a refinement of asymptotic dimension. These results have a number of applications, two of which we mention here. First they imply that an induced minor-closed class is $χ$-bounded if and only if it does not contain some Burling graph. Second they imply that, in graph classes excluding a fixed planar graph as an induced minor, treewidth is polynomial in maximum degree.

math.CO↗

arXiv2026

Hypergraphs with the smallest Hall ratio are still hard to colour

For $H$ a hypergraph, the Hall ratio $ρ(H)=\text{max}_{X\subseteq V(H)}\frac{\lvert{X}\rvert}{α(H[X])}$ is a natural lower bound for its chromatic number, and among non-empty $k$-uniform hypergraphs the smallest possible Hall ratio is $k/(k-1)$. For graphs ($k = 2$), having minimum Hall ratio $2$ forces chromatic number $2$. Nešetřil, Rödl, and Sales asked whether a similar phenomenon holds at higher uniformities. We answer this question negatively in a strong form, showing that for every $k \geqslant 3$ there are $k$-uniform hypergraphs with Hall ratio exactly $k/(k-1)$ and arbitrarily large fractional chromatic number.

math.CO↗

arXiv2026

Disproof of the dominating Hadwiger conjecture

Hadwiger's conjecture (1943) states that every graph $G$ with chromatic number at least $t$ contains a $K_t$-model: a collection of $t$ vertex-disjoint connected subgraphs $T_1,\dots,T_t$ such that for all $1\le i<j\le t$ some vertex in $T_j$ has a neighbour in $T_i$. Replacing "some" in this definition by "every" gives rise to the significantly stronger notion of a dominating $K_t$-model introduced by Illingworth and Wood (2024). They raised the question whether every graph of chromatic number at least $t$ contains a dominating $K_t$-model. This statement is a significant strengthening of Hadwiger's conjecture and has come to be known as the dominating Hadwiger conjecture. We provide our own exposition of a disproof of this conjecture found by ChatGPT 6 Astra Ultra. The construction is the complement of a pseudorandom triangle-free graph that is obtained by randomly subsampling a block geometric graph based on the Suzuki-Tits ovoid.

math.CO↗

arXiv2026

Countable Graphs with Finite Path-width: Characterisation and Universality

We study path-width and the closely related parameter line-width in countably infinite graphs. Our first result characterises the graphs of finite path-width: they are the graphs that do not have infinitely many vertices of infinite degree, do not have infinitely many pairwise disjoint infinite paths, and contain no subdivision of some finite tree of maximum degree 3. We then investigate universality under the subgraph relation for graphs of bounded path-width or line-width. In particular, we prove that there exists a universal graph with line-width $\mathcal{O}(k^2)$ for the class of graphs with line-width at most $k$. In contrast, we show that no graph of finite path-width is universal for the class of locally finite graphs with path-width $1$. Finally, we show that for each $k\geq 2$, every universal graph for the class of graphs with path-width at most $k$ has line-width at least $k + 1$.

math.CO↗

arXiv2026

Treedepth and 2-treedepth in graphs with no long induced paths

Huynh, Joret, Micek, Seweryn, and Wollan (Combinatorica, 2022) introduced a graph parameter, later referred to as 2-treedepth and denoted $\mathrm{td}_2(\cdot)$. The parameter is the natural 2-connected version of treedepth. For every graph, 2-treedepth is at most the treedepth but can be much smaller: long paths have arbitrarily large treedepth but 2-treedepth equal to 2. We prove a converse showing that every graph with no induced path on $t$ vertices and 2-treedepth at most $k$ has treedepth at most $g(k, t)$. In fact, we determine the value of the function $g$ up to a multiplicative factor of 2. Additionally, we give asymptotically tight bounds for the problem of forcing long induced paths in graphs with long paths and bounded 2-treedepth or bounded pathwidth. The latter result answers a question of Hilaire and Raymond (E-JC, 2023).

math.CO↗

arXiv2026

Disproof of the tree product conjecture via the Heisenberg group

Product structure theory aims to understand complex graphs by embedding them into products of simpler graphs. In this direction, Campbell, Distel, Gollin, Harvey, Hendrey, Hickingbotham, Mohar and Wood (2022) put forth the conjecture that all graphs of degree-$d$ polynomial growth (i.e., where balls of radius $r$ have $\mathcal{O}(r^d)$ vertices) can be embedded into the strong product of $d$ trees, each with linear growth, and a constant-size clique. In this paper, we disprove this conjecture for $d = 4$. The counterexamples are finite subgraphs of a Cayley graph of the discrete $3$-dimensional Heisenberg group $\mathbb{H}(\mathbb{Z})$. These graphs were first proposed by Huang and McCarty as potential counterexamples to the conjecture. A key technical tool of our proof is the ''quantitative central collapse'' theorem due to Cheeger, Kleiner and Naor (2011), guaranteeing that every Lipschitz map from the continuous Heisenberg group $\mathbb{H}$ to the function space $L_1$ collapses along a central line.

math.CO↗

arXiv2026

Non-Homotopic Drawings of Multigraphs

A multigraph drawn in the plane is non-homotopic if no two edges connecting the same pair of vertices can be continuously deformed into each other without passing through a vertex, and is $k$-crossing if every pair of edges (self-)intersects at most $k$ times. We prove that the number of edges in an $n$-vertex non-homotopic $k$-crossing multigraph is at most $6^{13 n (k + 1)}$, which is a substantial improvement over previous upper bounds. We also study this problem in the setting of monotone drawings where every edge is an x-monotone curve. We show that the number of edges, $m$, in such a drawing is at most $2 \binom{2n}{k + 1}$ and the number of crossings is $Ω\bigl(\frac{m^{2 + 1/k}}{n^{1 + 1/k}}\bigr)$. For fixed $k$ these bounds are both best possible up to a constant multiplicative factor.

math.CO↗

arXiv2026

The Zarankiewicz problem on tripartite graphs

In 1975, Bollobás, Erdős, and Szemerédi asked for the smallest $τ$ such that an $n \times n \times n$ tripartite graph with minimum degree $n + τ$ must contain $K_{t, t, t}$, conjecturing that $τ= \mathcal{O}(n^{1/2})$ for $t = 2$. We prove that $τ= \mathcal{O}(n^{1 - 1/t})$ which confirms their conjecture and is best possible assuming the widely believed conjecture that the Zarankiewicz number satisfies $z(n; t) = Θ(n^{2 - 1/t})$. Our proof uses a density increment argument. We also construct an infinite family of extremal graphs that are pairwise far apart (requiring the change of $Ω(n^2)$ edges to get between any two).

math.CO↗

arXiv2026

The Dominating 4-Colour Theorem

A "dominating $K_t$-model" in a graph $G$ is a sequence $(T_1,\dots,T_t)$ of pairwise vertex-disjoint connected subgraphs of $G$, such that whenever $1\leq i<j\leq t$ every vertex in $T_j$ has a neighbour in $T_i$. Replacing "every vertex in $T_j$" by "some vertex in $T_j$" retrieves the standard definition of $K_t$-model, which is equivalent to a $K_t$-minor in $G$. We prove that every graph with no dominating $K_5$-model is $4$-colourable. This generalises and is significantly stronger than the 4-colour theorem for planar graphs or for graphs with no $K_5$-minor. It also makes progress towards Hajós' conjecture on $K_5$-subdivisions in $5$-chromatic graphs.

math.CO↗

arXiv2025

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.

math.CO↗

arXiv2025

Spanning spheres in Dirac hypergraphs

We show that a $k$-uniform hypergraph on $n$ vertices has a spanning subgraph homeomorphic to the $(k - 1)$-dimensional sphere provided that $H$ has no isolated vertices and each set of $k - 1$ vertices supported by an edge is contained in at least $n/2 + o(n)$ edges. This gives a topological extension of Dirac's theorem and asymptotically confirms a conjecture of Georgakopoulos, Haslegrave, Montgomery, and Narayanan. Unlike typical results in the area, our proof does not rely on the Absorption Method, the Regularity Lemma or the Blow-up Lemma. Instead, we use a recently introduced framework that is based on covering the vertex set of the host graph with a family of complete blow-ups.

math.CO↗

arXiv2024

Exponential odd-distance sets under the Manhattan metric

We construct a set of $2^n$ points in $\mathbb{R}^n$ such that all pairwise Manhattan distances are odd integers, which improves the recent linear lower bound of Golovanov, Kupavskii and Sagdeev. In contrast to the Euclidean and maximum metrics, this shows that the odd-distance set problem behaves very differently to the equilateral set problem under the Manhattan metric. Moreover, all coordinates of the points in our construction are integers or half-integers, and we show that our construction is optimal under this additional restriction.

math.CO↗

arXiv2024

When $t$-intersecting hypergraphs admit bounded $c$-strong colourings

The $c$-strong chromatic number of a hypergraph is the smallest number of colours needed to colour its vertices so that every edge sees at least $c$ colours or is rainbow. We show that every $t$-intersecting hypergraph has bounded $(t + 1)$-strong chromatic number, resolving a problem of Blais, Weinstein and Yoshida. In fact, we characterise when a $t$-intersecting hypergraph has large $c$-strong chromatic number for $c\geq t+2$. Our characterisation also applies to hypergraphs which exclude sunflowers with specified parameters.

math.CO↗

arXiv2024

Dominating $K_t$-Models

A $\textit{dominating $K_t$-model}$ in a graph $G$ is a sequence $(T_1,\dots,T_t)$ of pairwise disjoint non-empty connected subgraphs of $G$, such that for $1 \leqslant i<j \leqslant t$ every vertex in $T_j$ has a neighbour in $T_i$. Replacing "every vertex in $T_j$" by "some vertex in $T_j$" retrieves the standard definition of $K_t$-model, which is equivalent to $K_t$ being a minor of $G$. We explore in what sense dominating $K_t$-models behave like (non-dominating) $K_t$-models. The two notions are equivalent for $t \leqslant 3$, but are already very different for $t = 4$, since the 1-subdivision of any graph has no dominating $K_4$-model. Nevertheless, we show that every graph with no dominating $K_4$-model is 2-degenerate and 3-colourable. More generally, we prove that every graph with no dominating $K_t$-model is $2^{t-2}$-colourable. Motivated by the connection to chromatic number, we study the maximum average degree of graphs with no dominating $K_t$-model. We give an upper bound of $2^{t-2}$, and show that random graphs provide a lower bound of $(1-o(1))t\log t$, which we conjecture is asymptotically tight. This result is in contrast to the $K_t$-minor-free setting, where the maximum average degree is $Θ(t\sqrt{\log t})$. The natural strengthening of Hadwiger's Conjecture arises: is every graph with no dominating $K_t$-model $(t-1)$-colourable? We provide two pieces of evidence for this: (1) It is true for almost every graph, (2) Every graph $G$ with no dominating $K_t$-model has a $(t-1)$-colourable induced subgraph on at least half the vertices, which implies there is an independent set of size at least $\frac{\lvert V(G) \rvert}{2t-2}$.

math.CO↗

arXiv2024

Fat minors cannot be thinned (by quasi-isometries)

We disprove the conjecture of Georgakopoulos and Papasoglu that a length space (or graph) with no $K$-fat $H$ minor is quasi-isometric to a graph with no $H$ minor. Our counterexample is furthermore not quasi-isometric to a graph with no 2-fat $H$ minor or a length space with no $H$ minor. On the other hand, we show that the following weakening holds: any graph with no $K$-fat $H$ minor is quasi-isometric to a graph with no $3$-fat $H$ minor.

math.CO↗

arXiv2023

Chromatic number is not tournament-local

Scott and Seymour conjectured the existence of a function $f \colon \mathbb{N} \to \mathbb{N}$ such that, for every graph $G$ and tournament $T$ on the same vertex set, $χ(G) \geqslant f(k)$ implies that $χ(G[N_T^+(v)]) \geqslant k$ for some vertex $v$. In this note we disprove this conjecture even if $v$ is replaced by a vertex set of size $\mathcal{O}(\log{\lvert V(G)\rvert})$. As a consequence, we answer in the negative a question of Harutyunyan, Le, Thomassé, and Wu concerning the corresponding statement where the graph $G$ is replaced by another tournament, and disprove a related conjecture of Nguyen, Scott, and Seymour. We also show that the setting where chromatic number is replaced by degeneracy exhibits a quite different behaviour.

math.CO↗

arXiv2023

Abundance: Asymmetric Graph Removal Lemmas and Integer Solutions to Linear Equations

We prove that a large family of pairs of graphs satisfy a polynomial dependence in asymmetric graph removal lemmas. In particular, we give an unexpected answer to a question of Gishboliner, Shapira, and Wigderson by showing that for every $t \geqslant 4$, there are $K_t$-abundant graphs of chromatic number $t$. Using similar methods, we also extend work of Ruzsa by proving that a set $\mathcal{A} \subset \{1,\dots,N\}$ which avoids solutions with distinct integers to an equation of genus at least two has size $\mathcal{O}(\sqrt{N})$. The best previous bound was $N^{1 - o(1)}$ and the exponent of $1/2$ is best possible in such a result. Finally, we investigate the relationship between polynomial dependencies in asymmetric removal lemmas and the problem of avoiding integer solutions to equations. The results suggest a potentially deep correspondence. Many open questions remain.

math.CO↗

arXiv2023

Induced subgraphs of induced subgraphs of large chromatic number

We prove that, for every graph $F$ with at least one edge, there is a constant $c_F$ such that there are graphs of arbitrarily large chromatic number and the same clique number as $F$ in which every $F$-free induced subgraph has chromatic number at most $c_F$. This generalises recent theorems of Briański, Davies and Walczak, and Carbonero, Hompe, Moore and Spirkl. Our results imply that for every $r\geq 3$ the class of $K_r$-free graphs has a very strong vertex Ramsey-type property, giving a vast generalisation of a result of Folkman from 1970. We also prove related results for tournaments, hypergraphs and infinite families of graphs, and show an analogous statement for graphs where clique number is replaced by odd girth.

math.CO↗