Showing 1–50 of 66 results for author: Postle, L

Thresholds for $(n,q,2)$-Steiner Systems via Refined Absorption

Authors: Michelle Delcourt, Tom Kelly, Luke Postle

Abstract: We prove that if $p \geq n^{-(q-6)/2}$, then asymptotically almost surely the binomial random $q$-uniform hypergraph $G^{(q)}(n,p)$ contains an $(n,q,2)$-Steiner system, provided $n$ satisfies the necessary divisibility conditions. We prove that if $p \geq n^{-(q-6)/2}$, then asymptotically almost surely the binomial random $q$-uniform hypergraph $G^{(q)}(n,p)$ contains an $(n,q,2)$-Steiner system, provided $n$ satisfies the necessary divisibility conditions. △ Less

Submitted 27 February, 2024; originally announced February 2024.

Comments: 17 pages

MSC Class: 05B05; 05B07; 05C80

Clique Decompositions in Random Graphs via Refined Absorption

Authors: Michelle Delcourt, Tom Kelly, Luke Postle

Abstract: We prove that if $p\ge n^{-\frac{1}{3}+β}$ for some $β> 0$, then asymptotically almost surely the binomial random graph $G(n,p)$ has a $K_3$-packing containing all but at most $n + O(1)$ edges. Similarly, we prove that if $d \ge n^{\frac{2}{3}+β}$ for some $β> 0$ and $d$ is even, then asymptotically almost surely the random $d$-regular graph $G_{n,d}$ has a triangle decomposition provided… ▽ More We prove that if $p\ge n^{-\frac{1}{3}+β}$ for some $β> 0$, then asymptotically almost surely the binomial random graph $G(n,p)$ has a $K_3$-packing containing all but at most $n + O(1)$ edges. Similarly, we prove that if $d \ge n^{\frac{2}{3}+β}$ for some $β> 0$ and $d$ is even, then asymptotically almost surely the random $d$-regular graph $G_{n,d}$ has a triangle decomposition provided $3 \mid d \cdot n$. We also show that $G(n,p)$ admits a fractional $K_3$-decomposition for such a value of $p$. We prove analogous versions for a $K_q$-packing of $G(n,p)$ with $p\ge n^{-\frac{1}{q+0.5}+β}$ and leave of $(q-2)n+O(1)$ edges, for $K_q$-decompositions of $G_{n,d}$ with $(q-1)~|~d$ and $d\ge n^{1-\frac{1}{q+0.5}+β}$ provided $q\mid d\cdot n$, and for fractional $K_q$-decompositions. △ Less

Submitted 27 February, 2024; originally announced February 2024.

Comments: 49 pages

MSC Class: 05B05; 05B07; 05C80

Proof of the High Girth Existence Conjecture via Refined Absorption

Authors: Michelle Delcourt, Luke Postle

Abstract: We prove the High Girth Existence Conjecture - the common generalization of the Existence Conjecture for Combinatorial Designs originating from the 1800s and Erdős' Conjecture from 1973 on the Existence of High Girth Steiner Triple Systems. We prove the High Girth Existence Conjecture - the common generalization of the Existence Conjecture for Combinatorial Designs originating from the 1800s and Erdős' Conjecture from 1973 on the Existence of High Girth Steiner Triple Systems. △ Less

Submitted 27 February, 2024; originally announced February 2024.

Comments: 56 pages

MSC Class: 05B05; 05B07

Refined Absorption: A New Proof of the Existence Conjecture

Authors: Michelle Delcourt, Luke Postle

Abstract: The study of combinatorial designs has a rich history spanning nearly two centuries. In a recent breakthrough, the notorious Existence Conjecture for Combinatorial Designs dating back to the 1800s was proved in full by Keevash via the method of randomized algebraic constructions. Subsequently Glock, Kühn, Lo, and Osthus provided an alternate purely combinatorial proof of the Existence Conjecture v… ▽ More The study of combinatorial designs has a rich history spanning nearly two centuries. In a recent breakthrough, the notorious Existence Conjecture for Combinatorial Designs dating back to the 1800s was proved in full by Keevash via the method of randomized algebraic constructions. Subsequently Glock, Kühn, Lo, and Osthus provided an alternate purely combinatorial proof of the Existence Conjecture via the method of iterative absorption. We introduce a novel method of refined absorption for designs; here as our first application of the method we provide a new alternate proof of the Existence Conjecture (assuming the existence of $K_q^r$-absorbers by Glock, Kühn, Lo, and Osthus). △ Less

Submitted 27 February, 2024; originally announced February 2024.

Comments: 40 pages

MSC Class: 05B05; 05B07

Exponentially Many Correspondence Colourings of Planar and Locally Planar Graphs

Authors: Luke Postle, Evelyne Smith-Roberge

Abstract: We show that there exists a constant $c > 0$ such that if $G$ is a planar graph with 5-correspondence assignment $(L,M)$, then $G$ has at least $2^{c\cdot v(G)}$ distinct $(L,M)$-colourings. This confirms a conjecture of Langhede and Thomassen. More broadly, we introduce a general method showing how hyperbolicity theorems for certain families of critical graphs can be used to derive lower bounds o… ▽ More We show that there exists a constant $c > 0$ such that if $G$ is a planar graph with 5-correspondence assignment $(L,M)$, then $G$ has at least $2^{c\cdot v(G)}$ distinct $(L,M)$-colourings. This confirms a conjecture of Langhede and Thomassen. More broadly, we introduce a general method showing how hyperbolicity theorems for certain families of critical graphs can be used to derive lower bounds on the number of colourings of the associated class of planar graphs. Hence our main result follows from this method plus a technical theorem (that we proved in a previous paper) involving the hyperbolicity of graphs critical for $5$-correspondence colouring. We further demonstrate our method in the case of counting 3-correspondence colourings of planar graphs of girth at least five. Finally, we use these theorems to show analogous results hold in the case of counting 5-correspondence colourings of locally planar graphs, and counting 3-correspondence colourings of locally planar graphs of girth at least five. △ Less

Submitted 29 September, 2023; originally announced September 2023.

Comments: 22 pages, 2 figures

Decomposing random regular graphs into stars

Authors: Michelle Delcourt, Catherine Greenhill, Mikhail Isaev, Bernard Lidický, Luke Postle

Abstract: We study $k$-star decompositions, that is, partitions of the edge set into disjoint stars with $k$ edges, in the uniformly random $d$-regular graph model $\mathcal{G}_{n,d}$. We prove an existence result for such decompositions for all $d,k$ such that $d/2 < k \leq d/2 + \max\{1,\frac{1}{6}\log d\}$. More generally, we give a sufficient existence condition that can be checked numerically for any g… ▽ More We study $k$-star decompositions, that is, partitions of the edge set into disjoint stars with $k$ edges, in the uniformly random $d$-regular graph model $\mathcal{G}_{n,d}$. We prove an existence result for such decompositions for all $d,k$ such that $d/2 < k \leq d/2 + \max\{1,\frac{1}{6}\log d\}$. More generally, we give a sufficient existence condition that can be checked numerically for any given values of $d$ and $k$. Complementary negative results are obtained using the independence ratio of random regular graphs. Our results establish an existence threshold for $k$-star decompositions in $\mathcal{G}_{n,d}$ for all $d\leq 100$ and $k > d/2$, and strongly suggest the a.a.s. existence of such decompositions is equivalent to the a.a.s. existence of independent sets of size $(2k-d)n/(2k)$, subject to the necessary divisibility conditions on the number of vertices. For smaller values of $k$, the connection between $k$-star decompositions and $β$-orientations allows us to apply results of Thomassen (2012) and Lovász, Thomassen, Wu and Zhang (2013). We prove that random $d$-regular graphs satisfy their assumptions with high probability, thus establishing a.a.s. existence of $k$-star decompositions (i) when $2k^2+k\leq d$, and (ii) when $k$ is odd and $k < d/2$. △ Less

Submitted 30 August, 2023; originally announced August 2023.

Comments: 41 pages

Hyperbolicity Theorems for Correspondence Colouring

Authors: Luke Postle, Evelyne Smith-Roberge

Abstract: We generalize a framework of list colouring results to correspondence colouring. Correspondence colouring is a generalization of list colouring wherein we localize the meaning of the colours available to each vertex. As pointed out by Dvořák and Postle, both of Thomassen's theorems on the 5-choosability of planar graphs and 3-choosability of planar graphs of girth at least five carry over to the c… ▽ More We generalize a framework of list colouring results to correspondence colouring. Correspondence colouring is a generalization of list colouring wherein we localize the meaning of the colours available to each vertex. As pointed out by Dvořák and Postle, both of Thomassen's theorems on the 5-choosability of planar graphs and 3-choosability of planar graphs of girth at least five carry over to the correspondence colouring setting. In this paper, we show that the family of graphs that are critical for 5-correspondence colouring as well as the family of graphs of girth at least five that are critical for 3-correspondence colouring form hyperbolic families. Analogous results for list colouring were shown by Postle and Thomas and by Dvořák and Kawarabayashi, respectively. Using results on hyperbolic families due to Postle and Thomas, we show further that this implies that locally planar graphs are 5-correspondence colourable; and, using results of Dvořák and Kawarabayashi, that there exist linear-time algorithms for the decidability of 5-correspondence colouring for embedded graphs. We show analogous results for 3-correspondence colouring graphs of girth at least five. △ Less

Submitted 29 March, 2023; originally announced March 2023.

Comments: 28 pages, 4 figures

On generalized Ramsey numbers in the non-integral regime

Authors: Patrick Bennett, Michelle Delcourt, Lina Li, Luke Postle

Abstract: A $(p,q)$-coloring of a graph $G$ is an edge-coloring of $G$ such that every $p$-clique receives at least $q$ colors. In 1975, Erdős and Shelah introduced the generalized Ramsey number $f(n,p,q)$ which is the minimum number of colors needed in a $(p,q)$-coloring of $K_n$. In 1997, Erdős and Gyárfás showed that $f(n,p,q)$ is at most a constant times $n^{\frac{p-2}{\binom{p}{2} - q + 1}}$. Very rece… ▽ More A $(p,q)$-coloring of a graph $G$ is an edge-coloring of $G$ such that every $p$-clique receives at least $q$ colors. In 1975, Erdős and Shelah introduced the generalized Ramsey number $f(n,p,q)$ which is the minimum number of colors needed in a $(p,q)$-coloring of $K_n$. In 1997, Erdős and Gyárfás showed that $f(n,p,q)$ is at most a constant times $n^{\frac{p-2}{\binom{p}{2} - q + 1}}$. Very recently the first author, Dudek, and English improved this bound by a factor of $\log n^{\frac{-1}{\binom{p}{2} - q + 1}} $ for all $q \le \frac{p^2 - 26p + 55}{4}$, and they ask if this improvement could hold for a wider range of $q$. We answer this in the affirmative for the entire non-integral regime, that is, for all integers $p, q$ with $p-2$ not divisible by $\binom{p}{2} - q + 1$. Furthermore, we provide a simultaneous three-way generalization as follows: where $p$-clique is replaced by any fixed graph $F$ (with $|V(F)|-2$ not divisible by $|E(F)| - q + 1$); to list coloring; and to $k$-uniform hypergraphs. Our results are a new application of the Forbidden Submatching Method of the second and fourth authors. △ Less

Submitted 28 December, 2022; v1 submitted 20 December, 2022; originally announced December 2022.

Comments: 9 pages; new version extends results from sublinear regime to entire non-integral regime; new co-author added

MSC Class: 05C55; 05D05; 05D10

The limit in the $(k+2, k)$-Problem of Brown, Erdős and Sós exists for all $k\geq 2$

Authors: Michelle Delcourt, Luke Postle

Abstract: Let $f^{(r)}(n;s,k)$ be the maximum number of edges of an $r$-uniform hypergraph on~$n$ vertices not containing a subgraph with $k$~edges and at most $s$~vertices. In 1973, Brown, Erdős and Sós conjectured that the limit $$\lim_{n\to \infty} n^{-2} f^{(3)}(n;k+2,k)$$ exists for all positive integers $k\ge 2$. They proved this for $k=2$. In 2019, Glock proved this for $k=3$ and determined the limit… ▽ More Let $f^{(r)}(n;s,k)$ be the maximum number of edges of an $r$-uniform hypergraph on~$n$ vertices not containing a subgraph with $k$~edges and at most $s$~vertices. In 1973, Brown, Erdős and Sós conjectured that the limit $$\lim_{n\to \infty} n^{-2} f^{(3)}(n;k+2,k)$$ exists for all positive integers $k\ge 2$. They proved this for $k=2$. In 2019, Glock proved this for $k=3$ and determined the limit. Quite recently, Glock, Joos, Kim, Kühn, Lichev and Pikhurko proved this for $k=4$ and determined the limit; we combine their work with a new reduction to fully resolve the conjecture by proving that indeed the limit exists for all positive integers $k\ge 2$. △ Less

Submitted 14 September, 2023; v1 submitted 3 October, 2022; originally announced October 2022.

Comments: 10 pages, to appear in Proceedings of the AMS

MSC Class: 05C65; 05B07

11/4-colorability of subcubic triangle-free graphs

Authors: Zdeněk Dvořák, Bernard Lidický, Luke Postle

Abstract: We prove that up to two exceptions, every connected subcubic triangle-free graph has fractional chromatic number at most 11/4. This is tight unless further exceptional graphs are excluded, and improves the known bound on the fractional chromatic number of subcubic triangle-free planar graphs. We prove that up to two exceptions, every connected subcubic triangle-free graph has fractional chromatic number at most 11/4. This is tight unless further exceptional graphs are excluded, and improves the known bound on the fractional chromatic number of subcubic triangle-free planar graphs. △ Less

Submitted 1 May, 2022; v1 submitted 26 April, 2022; originally announced April 2022.

Comments: 60 pages, 46 figures

Finding an almost perfect matching in a hypergraph avoiding forbidden submatchings

Authors: Michelle Delcourt, Luke Postle

Abstract: In 1973, Erdős conjectured the existence of high girth $(n,3,2)$-Steiner systems. Recently, Glock, Kühn, Lo, and Osthus and independently Bohman and Warnke proved the approximate version of Erdős' conjecture. Just this year, Kwan, Sah, Sawhney, and Simkin proved Erdős' conjecture. As for Steiner systems with more general parameters, Glock, Kühn, Lo, and Osthus conjectured the existence of high gir… ▽ More In 1973, Erdős conjectured the existence of high girth $(n,3,2)$-Steiner systems. Recently, Glock, Kühn, Lo, and Osthus and independently Bohman and Warnke proved the approximate version of Erdős' conjecture. Just this year, Kwan, Sah, Sawhney, and Simkin proved Erdős' conjecture. As for Steiner systems with more general parameters, Glock, Kühn, Lo, and Osthus conjectured the existence of high girth $(n,q,r)$-Steiner systems. We prove the approximate version of their conjecture. This result follows from our general main results which concern finding perfect or almost perfect matchings in a hypergraph $G$ avoiding a given set of submatchings (which we view as a hypergraph $H$ where $V(H)=E(G)$). Our first main result is a common generalization of the classical theorems of Pippenger (for finding an almost perfect matching) and Ajtai, Komlós, Pintz, Spencer, and Szemerédi (for finding an independent set in girth five hypergraphs). More generally, we prove this for coloring and even list coloring, and also generalize this further to when $H$ is a hypergraph with small codegrees (for which high girth designs is a specific instance). Indeed, the coloring version of our result even yields an almost partition of $K_n^r$ into approximate high girth $(n,q,r)$-Steiner systems. Our main results also imply the existence of a perfect matching in a bipartite hypergraph where the parts have slightly unbalanced degrees. This has a number of applications; for example, it proves the existence of $Δ$ pairwise disjoint list colorings in the setting of Kahn's theorem; it also proves asymptotic versions of various rainbow matching results in the sparse setting (where the number of times a color appears could be much smaller than the number of colors) and even the existence of many pairwise disjoint rainbow matchings in such circumstances. △ Less

Submitted 3 October, 2022; v1 submitted 19 April, 2022; originally announced April 2022.

Comments: 54 pages; added new application Theorem 2.19, modified main Theorem 1.16 to allow edges of size two, updated literature

MSC Class: 05B05; 05B07; 05B15; 05C15; 05C69; 05C70

Local Hadwiger's Conjecture

Authors: Benjamin Moore, Luke Postle, Lise Turner

Abstract: We propose local versions of Hadwiger's Conjecture, where only balls of radius $Ω(\log(v(G)))$ around each vertex are required to be $K_{t}$-minor-free. We ask: if a graph is locally-$K_{t}$-minor-free, is it $t$-colourable? We show that the answer is yes when $t \leq 5$, even in the stronger setting of list-colouring, and we complement this result with a $O(\log v(G))$-round distributed colouring… ▽ More We propose local versions of Hadwiger's Conjecture, where only balls of radius $Ω(\log(v(G)))$ around each vertex are required to be $K_{t}$-minor-free. We ask: if a graph is locally-$K_{t}$-minor-free, is it $t$-colourable? We show that the answer is yes when $t \leq 5$, even in the stronger setting of list-colouring, and we complement this result with a $O(\log v(G))$-round distributed colouring algorithm in the LOCAL model. Further, we show that for large enough values of $t$, we can list-colour locally-$K_{t}$-minor-free graphs with $13\cdot \max\left\{h(t),\left\lceil \frac{31}{2}(t-1) \right\rceil \right\})$colours, where $h(t)$ is any value such that all $K_{t}$-minor-free graphs are $h(t)$-list-colourable. We again complement this with a $O(\log v(G))$-round distributed algorithm. △ Less

Submitted 14 September, 2023; v1 submitted 13 March, 2022; originally announced March 2022.

Comments: 25 pages; published in JCTB

MSC Class: 05C15; 05C83; 05C85; 68W15

The chromatic number of triangle-free hypergraphs

Authors: Lina Li, Luke Postle

Abstract: A triangle in a hypergraph $\mathcal{H}$ is a set of three distinct edges $e, f, g\in\mathcal{H}$ and three distinct vertices $u, v, w\in V(\mathcal{H})$ such that $\{u, v\}\subseteq e$, $\{v, w\}\subseteq f$, $\{w, u\}\subseteq g$ and $\{u, v, w\}\cap e\cap f\cap g=\emptyset$. Johansson proved in 1996 that $χ(G)=\mathcal{O}(Δ/\logΔ)$ for any triangle-free graph $G$ with maximum degree $Δ$. Cooper… ▽ More A triangle in a hypergraph $\mathcal{H}$ is a set of three distinct edges $e, f, g\in\mathcal{H}$ and three distinct vertices $u, v, w\in V(\mathcal{H})$ such that $\{u, v\}\subseteq e$, $\{v, w\}\subseteq f$, $\{w, u\}\subseteq g$ and $\{u, v, w\}\cap e\cap f\cap g=\emptyset$. Johansson proved in 1996 that $χ(G)=\mathcal{O}(Δ/\logΔ)$ for any triangle-free graph $G$ with maximum degree $Δ$. Cooper and Mubayi later generalized the Johansson's theorem to all rank $3$ hypergraphs. In this paper we provide a common generalization of both these results for all hypergraphs, showing that if $\mathcal{H}$ is a rank $k$, triangle-free hypergraph, then the list chromatic number \[ χ_{\ell}(\mathcal{H})\leq \mathcal{O}\left(\max_{2\leq \ell \leq k} \left\{\left( \frac{Δ_{\ell}}{\log Δ_{\ell}} \right)^{\frac{1}{\ell-1}} \right\}\right), \] where $Δ_{\ell}$ is the maximum $\ell$-degree of $\mathcal{H}$. The result is sharp apart from the constant. Moreover, our result implies, generalizes and improves several earlier results on the chromatic number and also independence number of hypergraphs, while its proof is based on a different approach than prior works in hypergraphs (and therefore provides alternative proofs to them). In particular, as an application, we establish a bound on chromatic number of sparse hypergraphs in which each vertex is contained in few triangles, and thus extend results of Alon, Krivelevich and Sudakov, and Cooper and Mubayi from hypergraphs of rank 2 and 3, respectively, to all hypergraphs. △ Less

Submitted 13 February, 2022; v1 submitted 6 February, 2022; originally announced February 2022.

Comments: Few minor typos are corrected in version 2; 46 pages

Five-List-Coloring Graphs on Surfaces: The Many Faces Far-Apart Generalization of Thomassen's Theorem

Authors: Luke Postle, Robin Thomas

Abstract: Let $G$ be a plane graph with $C$ the boundary of the outer face and let $(L(v):v\in V(G))$ be a family of non-empty sets. By an $L$-coloring of a subgraph $J$ of $G$ we mean a (proper) coloring $φ$ of $J$ such that $φ(v)\in L(v)$ for every vertex $v$ of $J$. Thomassen proved that if $v_1,v_2\in V(C)$ are adjacent, $L(v_1)\ne L(v_2)$, $|L(v)|\ge3$ for every $v\in V(C)\setminus \{v_1,v_2\}$ and… ▽ More Let $G$ be a plane graph with $C$ the boundary of the outer face and let $(L(v):v\in V(G))$ be a family of non-empty sets. By an $L$-coloring of a subgraph $J$ of $G$ we mean a (proper) coloring $φ$ of $J$ such that $φ(v)\in L(v)$ for every vertex $v$ of $J$. Thomassen proved that if $v_1,v_2\in V(C)$ are adjacent, $L(v_1)\ne L(v_2)$, $|L(v)|\ge3$ for every $v\in V(C)\setminus \{v_1,v_2\}$ and $|L(v)|\ge5$ for every $v\in V(G)\setminus V(C)$, then $G$ has an $L$-coloring. As one final application in this last part of our series on $5$-list-coloring, we derive from all of our theory a far-reaching generalization of Thomassen's theorem, namely the generalization of Thomassen's theorem to arbitrarily many such faces provided that the faces are pairwise distance $D$ apart for some universal constant $D>0$. △ Less

Submitted 29 August, 2021; originally announced August 2021.

Comments: 14 pages

MSC Class: 05C15; 05C10

Triangle-free planar graphs with at most $64^{n^{0.731}}$ 3-colorings

Authors: Zdeněk Dvořák, Luke Postle

Abstract: Thomassen conjectured that triangle-free planar graphs have exponentially many 3-colorings. Recently, he disproved his conjecture by providing examples of such graphs with $n$ vertices and at most $2^{15n/\log_2 n}$ 3-colorings. We improve his construction, giving examples of such graphs with at most $64^{n^{log_{9/2} 3}}<64^{n^{0.731}}$ 3-colorings. We conjecture this exponent is optimal. Thomassen conjectured that triangle-free planar graphs have exponentially many 3-colorings. Recently, he disproved his conjecture by providing examples of such graphs with $n$ vertices and at most $2^{15n/\log_2 n}$ 3-colorings. We improve his construction, giving examples of such graphs with at most $64^{n^{log_{9/2} 3}}<64^{n^{0.731}}$ 3-colorings. We conjecture this exponent is optimal. △ Less

Submitted 28 August, 2021; originally announced August 2021.

Comments: 4 pages, 1 figure

MSC Class: 05C15

Local girth choosability of planar graphs

Authors: Luke Postle, Evelyne Smith-Roberge

Abstract: In 1994, Thomassen famously proved that every planar graph is 5-choosable, resolving a conjecture initially posed by Vizing and, independently, Erd\H{os}, Rubin, and Taylor in the 1970s. Later, Thomassen proved that every planar graph of girth at least five is 3-choosable. In this paper, we introduce the concept of a \emph{local girth list assignment}: a list assignment wherein the list size of a… ▽ More In 1994, Thomassen famously proved that every planar graph is 5-choosable, resolving a conjecture initially posed by Vizing and, independently, Erd\H{os}, Rubin, and Taylor in the 1970s. Later, Thomassen proved that every planar graph of girth at least five is 3-choosable. In this paper, we introduce the concept of a \emph{local girth list assignment}: a list assignment wherein the list size of a vertex depends not on the girth of the graph, but rather on the length of the shortest cycle in which the vertex is contained. We give a local list colouring theorem unifying the two theorems of Thomassen mentioned above. In particular, we show that if $G$ is a planar graph and $L$ is a list assignment for $G$ such that $|L(v)| \geq 3$ for all $v \in V(G)$; $|L(v)| \geq 4$ for every vertex $v$ contained in a 4-cycle; and $|L(v)| \geq 5$ for every $v$ contained in a triangle, then $G$ admits an $L$-colouring. △ Less

Submitted 8 December, 2022; v1 submitted 6 August, 2021; originally announced August 2021.

MSC Class: 05C15

Journal ref: Advances in Combinatorics, 2022:8, 38pp

Reducing Linear Hadwiger's Conjecture to Coloring Small Graphs

Authors: Michelle Delcourt, Luke Postle

Abstract: In 1943, Hadwiger conjectured that every graph with no $K_t$ minor is $(t-1)$-colorable for every $t\ge 1$. In the 1980s, Kostochka and Thomason independently proved that every graph with no $K_t$ minor has average degree $O(t\sqrt{\log t})$ and hence is $O(t\sqrt{\log t})$-colorable. Recently, Norin, Song and the second author showed that every graph with no $K_t$ minor is $O(t(\log t)^β)$-colora… ▽ More In 1943, Hadwiger conjectured that every graph with no $K_t$ minor is $(t-1)$-colorable for every $t\ge 1$. In the 1980s, Kostochka and Thomason independently proved that every graph with no $K_t$ minor has average degree $O(t\sqrt{\log t})$ and hence is $O(t\sqrt{\log t})$-colorable. Recently, Norin, Song and the second author showed that every graph with no $K_t$ minor is $O(t(\log t)^β)$-colorable for every $β> 1/4$, making the first improvement on the order of magnitude of the $O(t\sqrt{\log t})$ bound. The first main result of this paper is that every graph with no $K_t$ minor is $O(t\log\log t)$-colorable. This is a corollary of our main technical result that the chromatic number of a $K_t$-minor-free graph is bounded by $O(t(1+f(G,t)))$ where $f(G,t)$ is the maximum of $\frac{χ(H)}{a}$ over all $a\ge \frac{t}{\sqrt{\log t}}$ and $K_a$-minor-free subgraphs $H$ of $G$ that are small (i.e. $O(a\log^4 a)$ vertices). This has a number of interesting corollaries. First as mentioned, using the current best-known bounds on coloring small $K_t$-minor-free graphs, we show that $K_t$-minor-free graphs are $O(t\log\log t)$-colorable. Second, it shows that proving Linear Hadwiger's Conjecture (that $K_t$-minor-free graphs are $O(t)$-colorable) reduces to proving it for small graphs. Third, we prove that $K_t$-minor-free graphs with clique number at most $\sqrt{\log t}/ (\log \log t)^2$ are $O(t)$-colorable. This implies our final corollary that Linear Hadwiger's Conjecture holds for $K_r$-free graphs for every fixed $r$. One key to proving the main theorem is a new standalone result that every $K_t$-minor-free graph of average degree $d=Ω(t)$ has a subgraph on $O(t \log^3 t)$ vertices with average degree $Ω(d)$. △ Less

Submitted 5 March, 2024; v1 submitted 3 August, 2021; originally announced August 2021.

Comments: 25 pages. In this version, some minor typos fixed. Previously updated in response to referee comments. This and the three previous versions add the necessary results from arXiv:2006.11798 in order to create a self-contained standalone paper. arXiv admin note: text overlap with arXiv:2006.11798, arXiv:2010.05999

MSC Class: 05C15; 05C83

Structure in sparse $k$-critical graphs

Authors: Ron Gould, Victor Larsen, Luke Postle

Abstract: Recently, Kostochka and Yancey proved that a conjecture of Ore is asymptotically true by showing that every $k$-critical graph satisfies $|E(G)|\geq\left\lceil\left(\frac{k}{2}-\frac{1}{k-1}\right)|V(G)|-\frac{k(k-3)}{2(k-1)}\right\rceil.$ They also characterized the class of graphs that attain this bound and showed that it is equivalent to the set of $k$-Ore graphs. We show that for any… ▽ More Recently, Kostochka and Yancey proved that a conjecture of Ore is asymptotically true by showing that every $k$-critical graph satisfies $|E(G)|\geq\left\lceil\left(\frac{k}{2}-\frac{1}{k-1}\right)|V(G)|-\frac{k(k-3)}{2(k-1)}\right\rceil.$ They also characterized the class of graphs that attain this bound and showed that it is equivalent to the set of $k$-Ore graphs. We show that for any $k\geq33$ there exists an $\varepsilon>0$ so that if $G$ is a $k$-critical graph, then $|E(G)|\geq\left(\frac{k}{2}-\frac{1}{k-1}+\varepsilon_k\right)|V(G)|-\frac{k(k-3)}{2(k-1)}-(k-1)\varepsilon T(G)$, where $T(G)$ is a measure of the number of disjoint $K_{k-1}$ and $K_{k-2}$ subgraphs in $G$. This also proves for $k\geq33$ the following conjecture of Postle regarding the asymptotic density: For every $k\geq4$ there exists an $\varepsilon_k>0$ such that if $G$ is a $k$-critical $K_{k-2}$-free graph, then $|E(G)|\geq \left(\frac{k}{2}-\frac{1}{k-1}+\varepsilon_k\right)|V(G)|-\frac{k(k-3)}{2(k-1)}$. As a corollary, our result shows that the number of disjoint $K_{k-2}$ subgraphs in a $k$-Ore graph scales linearly with the number of vertices and, further, that the same is true for graphs whose number of edges is close to Kostochka and Yancey's bound. △ Less

Submitted 2 July, 2021; originally announced July 2021.

Comments: 20 pages

MSC Class: 05C15

Further Progress towards the List and Odd Versions of Hadwiger's Conjecture

Authors: Luke Postle

Abstract: In 1943, Hadwiger conjectured that every graph with no $K_t$ minor is $(t-1)$-colorable for every $t\ge 1$. In the 1980s, Kostochka and Thomason independently proved that every graph with no $K_t$ minor has average degree $O(t\sqrt{\log t})$ and hence is $O(t\sqrt{\log t})$-colorable. Recently, Norin, Song and the author showed that every graph with no $K_t$ minor is $O(t(\log t)^β)$-colorable for… ▽ More In 1943, Hadwiger conjectured that every graph with no $K_t$ minor is $(t-1)$-colorable for every $t\ge 1$. In the 1980s, Kostochka and Thomason independently proved that every graph with no $K_t$ minor has average degree $O(t\sqrt{\log t})$ and hence is $O(t\sqrt{\log t})$-colorable. Recently, Norin, Song and the author showed that every graph with no $K_t$ minor is $O(t(\log t)^β)$-colorable for every $β> 1/4$, making the first improvement on the order of magnitude of the $O(t\sqrt{\log t})$ bound. Building on that work, we previously showed that every graph with no $K_t$ minor is $O(t (\log t)^β)$-colorable for every $β> 0$. More specifically, they are $O(t \cdot (\log \log t)^{6})$-colorable. In this paper, we extend that work to the list and odd generalizations of Hadwiger's conjecture. △ Less

Submitted 12 October, 2020; originally announced October 2020.

Comments: 28 pages

On decidability of hyperbolicity

Authors: Zdeněk Dvořák, Luke Postle

Abstract: We prove that a wide range of coloring problems in graphs on surfaces can be resolved by inspecting a finite number of configurations. We prove that a wide range of coloring problems in graphs on surfaces can be resolved by inspecting a finite number of configurations. △ Less

Submitted 4 October, 2020; originally announced October 2020.

Comments: 13 pages, no figures

MSC Class: 05C15

Fractional vertex-arboricity of planar graphs

Authors: Marthe Bonamy, František Kardoš, Tom Kelly, Luke Postle

Abstract: We initiate a systematic study of the fractional vertex-arboricity of planar graphs and demonstrate connections to open problems concerning both fractional coloring and the size of the largest induced forest in planar graphs. In particular, the following three long-standing conjectures concern the size of a largest induced forest in a planar graph, and we conjecture that each of these can be gener… ▽ More We initiate a systematic study of the fractional vertex-arboricity of planar graphs and demonstrate connections to open problems concerning both fractional coloring and the size of the largest induced forest in planar graphs. In particular, the following three long-standing conjectures concern the size of a largest induced forest in a planar graph, and we conjecture that each of these can be generalized to the setting of fractional vertex-arboricity. In 1979, Albertson and Berman conjectured that every planar graph has an induced forest on at least half of its vertices, in 1987, Akiyama and Watanabe conjectured that every bipartite planar graph has an induced forest on at least five-eighths of its vertices, and in 2010, Kowalik, Lužar, and Škrekovski conjectured that every planar graph of girth at least five has an induced forest on at least seven-tenths of its vertices. We make progress toward the fractional generalization of the latter of these, by proving that every planar graph of girth at least five has fractional vertex-arboricity at most $2 - 1/324$. △ Less

Submitted 25 September, 2020; originally announced September 2020.

Comments: 14 pages, 2 figures

An Improved Bound for the Linear Arboricity Conjecture

Authors: Richard Lang, Luke Postle

Abstract: In 1980, Akiyama, Exoo and Harary posited the Linear Arboricity Conjecture which states that any graph $G$ of maximum degree $Δ$ can be decomposed into at most $\left\lceil \fracΔ{2}\right\rceil$ linear forests. (A forest is linear if all of its components are paths.) In 1988, Alon proved the conjecture holds asymptotically. The current best bound is due to Ferber, Fox and Jain from 2020 who showe… ▽ More In 1980, Akiyama, Exoo and Harary posited the Linear Arboricity Conjecture which states that any graph $G$ of maximum degree $Δ$ can be decomposed into at most $\left\lceil \fracΔ{2}\right\rceil$ linear forests. (A forest is linear if all of its components are paths.) In 1988, Alon proved the conjecture holds asymptotically. The current best bound is due to Ferber, Fox and Jain from 2020 who showed that $\fracΔ{2}+ O(Δ^{.661})$ suffices for large enough $Δ$. Here, we show that $G$ admits a decomposition into at most $\fracΔ{2}+ 3\sqrtΔ \log^4 Δ$ linear forests provided $Δ$ is large enough. Moreover, our result also holds in the more general list setting, where edges have (possibly different) sets of permissible linear forests. Thus our bound also holds for the List Linear Arboricity Conjecture which was only recently shown to hold asymptotically by Kim and the second author. Indeed, our proof method ties together the Linear Arboricity Conjecture and the well-known List Colouring Conjecture; consequently, our error term for the Linear Arboricity Conjecture matches the best known error-term for the List Colouring Conjecture due to Molloy and Reed from 2000. This follows as we make two copies of every colour and then seek a proper edge colouring where we avoid bicoloured cycles between a colour and its copy; we achieve this via a clever modification of the nibble method. △ Less

Submitted 17 January, 2023; v1 submitted 10 August, 2020; originally announced August 2020.

Edge-colouring graphs with local list sizes

Authors: Marthe Bonamy, Michelle Delcourt, Richard Lang, Luke Postle

Abstract: The famous List Colouring Conjecture from the 1970s states that for every graph $G$ the chromatic index of $G$ is equal to its list chromatic index. In 1996 in a seminal paper, Kahn proved that the List Colouring Conjecture holds asymptotically. Our main result is a local generalization of Kahn's theorem. More precisely, we show that, for a graph $G$ with sufficiently large maximum degree $Δ$ and… ▽ More The famous List Colouring Conjecture from the 1970s states that for every graph $G$ the chromatic index of $G$ is equal to its list chromatic index. In 1996 in a seminal paper, Kahn proved that the List Colouring Conjecture holds asymptotically. Our main result is a local generalization of Kahn's theorem. More precisely, we show that, for a graph $G$ with sufficiently large maximum degree $Δ$ and minimum degree $δ\geq \ln^{25} Δ$, the following holds: for every assignment of lists of colours to the edges of $G$, such that $|L(e)| \geq (1+o(1)) \cdot \max\left\{\rm{deg}(u),\rm{deg}(v)\right\}$ for each edge $e=uv$, there is an $L$-edge-colouring of $G$. Furthermore, Kahn showed that the List Colouring Conjecture holds asymptotically for linear, $k$-uniform hypergraphs, and recently Molloy generalized Kahn's original result to correspondence colouring as well as its hypergraph generalization. We prove local versions of all of these generalizations by showing a weighted version that simultaneously implies all of our results. △ Less

Submitted 8 November, 2023; v1 submitted 29 July, 2020; originally announced July 2020.

Comments: 25 pages, Accepted to JCTB

An even better Density Increment Theorem and its application to Hadwiger's Conjecture

Authors: Luke Postle

Abstract: In 1943, Hadwiger conjectured that every graph with no $K_t$ minor is $(t-1)$-colorable for every $t\ge 1$. In the 1980s, Kostochka and Thomason independently proved that every graph with no $K_t$ minor has average degree $O(t\sqrt{\log t})$ and hence is $O(t\sqrt{\log t})$-colorable. Recently, Norin, Song and the author showed that every graph with no $K_t$ minor is $O(t(\log t)^β)$-colorable for… ▽ More In 1943, Hadwiger conjectured that every graph with no $K_t$ minor is $(t-1)$-colorable for every $t\ge 1$. In the 1980s, Kostochka and Thomason independently proved that every graph with no $K_t$ minor has average degree $O(t\sqrt{\log t})$ and hence is $O(t\sqrt{\log t})$-colorable. Recently, Norin, Song and the author showed that every graph with no $K_t$ minor is $O(t(\log t)^β)$-colorable for every $β> 1/4$, making the first improvement on the order of magnitude of the $O(t\sqrt{\log t})$ bound. More recently, the author showed that every graph with no $K_t$ minor is $O(t (\log t)^β)$-colorable for every $β> 0$; more specifically, they are $t \cdot 2^{ O((\log \log t)^{2/3}) }$-colorable. In combination with that work, we show in this paper that every graph with no $K_t$ minor is $O(t (\log \log t)^{6})$-colorable. △ Less

Submitted 18 May, 2022; v1 submitted 25 June, 2020; originally announced June 2020.

Comments: Obsolete (for the purposes of improved bounds on Hadwiger's Conjecture) due to the stronger result (and shorter proof) by the author and Delcourt in arXiv:2108.01633

Further progress towards Hadwiger's conjecture

Authors: Luke Postle

Abstract: In 1943, Hadwiger conjectured that every graph with no $K_t$ minor is $(t-1)$-colorable for every $t\ge 1$. In the 1980s, Kostochka and Thomason independently proved that every graph with no $K_t$ minor has average degree $O(t\sqrt{\log t})$ and hence is $O(t\sqrt{\log t})$-colorable. Recently, Norin, Song and the author showed that every graph with no $K_t$ minor is $O(t(\log t)^β)$-colorable for… ▽ More In 1943, Hadwiger conjectured that every graph with no $K_t$ minor is $(t-1)$-colorable for every $t\ge 1$. In the 1980s, Kostochka and Thomason independently proved that every graph with no $K_t$ minor has average degree $O(t\sqrt{\log t})$ and hence is $O(t\sqrt{\log t})$-colorable. Recently, Norin, Song and the author showed that every graph with no $K_t$ minor is $O(t(\log t)^β)$-colorable for every $β> 1/4$, making the first improvement on the order of magnitude of the $O(t\sqrt{\log t})$ bound. Building on that work, we show in this paper that every graph with no $K_t$ minor is $O(t (\log t)^β)$-colorable for every $β> 0$. More specifically in conjunction with another paper by the author, they are $O(t \cdot (\log \log t)^{18})$-colorable. △ Less

Submitted 18 May, 2022; v1 submitted 21 June, 2020; originally announced June 2020.

Comments: Merged into arXiv:2108.01633

Connectivity and choosability of graphs with no $K_t$ minor

Authors: Sergey Norin, Luke Postle

Abstract: In 1943, Hadwiger conjectured that every graph with no $K_t$ minor is $(t-1)$-colorable for every $t\ge 1$. While Hadwiger's conjecture does not hold for list-coloring, the linear weakening is conjectured to be true. In the 1980s, Kostochka and Thomason independently proved that every graph with no $K_t$ minor has average degree $O(t\sqrt{\log t})$ and thus is $O(t\sqrt{\log t})$-list-colorable. R… ▽ More In 1943, Hadwiger conjectured that every graph with no $K_t$ minor is $(t-1)$-colorable for every $t\ge 1$. While Hadwiger's conjecture does not hold for list-coloring, the linear weakening is conjectured to be true. In the 1980s, Kostochka and Thomason independently proved that every graph with no $K_t$ minor has average degree $O(t\sqrt{\log t})$ and thus is $O(t\sqrt{\log t})$-list-colorable. Recently, the authors and Song proved that every graph with no $K_t$ minor is $O(t(\log t)^β)$-colorable for every $β> \frac 1 4$. Here, we build on that result to show that every graph with no $K_t$ minor is $O(t(\log t)^β)$-list-colorable for every $β> \frac 1 4$. Our main new tool is an upper bound on the number of vertices in highly connected $K_t$-minor-free graphs: We prove that for every $β> \frac 1 4$, every $Ω(t(\log t)^β)$-connected graph with no $K_t$ minor has $O(t (\log t)^{7/4})$ vertices. △ Less

Submitted 21 April, 2020; originally announced April 2020.

A local epsilon version of Reed's Conjecture

Authors: Tom Kelly, Luke Postle

Abstract: In 1998, Reed conjectured that every graph $G$ satisfies $χ(G) \leq \lceil \frac{1}{2}(Δ(G) + 1 + ω(G))\rceil$, where $χ(G)$ is the chromatic number of $G$, $Δ(G)$ is the maximum degree of $G$, and $ω(G)$ is the clique number of $G$. As evidence for his conjecture, he proved an "epsilon version" of it, i.e. that there exists some $\varepsilon > 0$ such that… ▽ More In 1998, Reed conjectured that every graph $G$ satisfies $χ(G) \leq \lceil \frac{1}{2}(Δ(G) + 1 + ω(G))\rceil$, where $χ(G)$ is the chromatic number of $G$, $Δ(G)$ is the maximum degree of $G$, and $ω(G)$ is the clique number of $G$. As evidence for his conjecture, he proved an "epsilon version" of it, i.e. that there exists some $\varepsilon > 0$ such that $χ(G) \leq (1 - \varepsilon)(Δ(G) + 1) + \varepsilonω(G)$. It is natural to ask if Reed's conjecture or an epsilon version of it is true for the list-chromatic number. In this paper we consider a "local version" of the list-coloring version of Reed's conjecture. Namely, we conjecture that if $G$ is a graph with list-assignment $L$ such that for each vertex $v$ of $G$, $|L(v)| \geq \lceil \frac{1}{2}(d(v) + 1 + ω(v))\rceil$, where $d(v)$ is the degree of $v$ and $ω(v)$ is the size of the largest clique containing $v$, then $G$ is $L$-colorable. Our main result is that an "epsilon version" of this conjecture is true, under some mild assumptions. Using this result, we also prove a significantly improved lower bound on the density of $k$-critical graphs with clique number less than $k/2$, as follows. For every $α> 0$, if $\varepsilon \leq \frac{α^2}{1350}$, then if $G$ is an $L$-critical graph for some $k$-list-assignment $L$ such that $ω(G) < (\frac{1}{2} - α)k$ and $k$ is sufficiently large, then $G$ has average degree at least $(1 + \varepsilon)k$. This implies that for every $α> 0$, there exists $\varepsilon > 0$ such that if $G$ is a graph with $ω(G)\leq (\frac{1}{2} - α)\mathrm{mad}(G)$, where $\mathrm{mad}(G)$ is the maximum average degree of $G$, then $χ_\ell(G) \leq \left\lceil (1 - \varepsilon)(\mathrm{mad}(G) + 1) + \varepsilon ω(G)\right\rceil$. △ Less

Submitted 24 June, 2021; v1 submitted 6 November, 2019; originally announced November 2019.

Comments: This version corrects some mistakes in Section 3 (see Remark 1 on page 11) -- all results in Section 1 still hold. Corrigendum to appear in JCTB

On the density of critical graphs with no large cliques

Authors: Tom Kelly, Luke Postle

Abstract: A graph $G$ is \textit{$k$-critical} if $χ(G) = k$ and every proper subgraph of $G$ is $(k - 1)$-colorable, and if $L$ is a list-assignment for $G$, then $G$ is \textit{$L$-critical} if $G$ is not $L$-colorable but every proper induced subgraph of $G$ is. In 2014, Kostochka and Yancey proved a lower bound on the average degree of an $n$-vertex $k$-critical graph tending to $k - \frac{2}{k - 1}$ fo… ▽ More A graph $G$ is \textit{$k$-critical} if $χ(G) = k$ and every proper subgraph of $G$ is $(k - 1)$-colorable, and if $L$ is a list-assignment for $G$, then $G$ is \textit{$L$-critical} if $G$ is not $L$-colorable but every proper induced subgraph of $G$ is. In 2014, Kostochka and Yancey proved a lower bound on the average degree of an $n$-vertex $k$-critical graph tending to $k - \frac{2}{k - 1}$ for large $n$ that is tight for infinitely many values of $n$, and they asked how their bound may be improved for graphs not containing a large clique. Answering this question, we prove that for $\varepsilon \leq 2.6\cdot10^{-10}$, if $k$ is sufficiently large and $G$ is a $K_{ω+ 1}$-free $L$-critical graph where $ω\leq k - \log^{10}k$ and $L$ is a list-assignment for $G$ such that $|L(v)| = k - 1$ for all $v\in V(G)$, then the average degree of $G$ is at least $(1 + \varepsilon)(k - 1) - \varepsilon ω- 1$. This result implies that for some $\varepsilon > 0$, for every graph $G$ satisfying $ω(G) \leq \mathrm{mad}(G) - \log^{10}\mathrm{mad}(G)$ where $ω(G)$ is the size of the largest clique in $G$ and $\mathrm{mad}(G)$ is the maximum average degree of $G$, the list-chromatic number of $G$ is at most $\left\lceil (1 - \varepsilon)(\mathrm{mad}(G) + 1) + \varepsilonω(G)\right\rceil$. △ Less

Submitted 30 May, 2023; v1 submitted 6 November, 2019; originally announced November 2019.

Comments: 27 pages; to appear in Combinatorica

Halfway to Hadwiger's Conjecture

Authors: Luke Postle

Abstract: In 1943, Hadwiger conjectured that every $K_t$-minor-free graph is $(t-1)$-colorable for every $t\ge 1$. In the 1980s, Kostochka and Thomason independently proved that every graph with no $K_t$ minor has average degree $O(t\sqrt{\log t})$ and hence is $O(t\sqrt{\log t})$-colorable. Very recently, Norin and Song proved that every graph with no $K_t$ minor is $O(t(\log t)^{0.354})$-colorable. Improv… ▽ More In 1943, Hadwiger conjectured that every $K_t$-minor-free graph is $(t-1)$-colorable for every $t\ge 1$. In the 1980s, Kostochka and Thomason independently proved that every graph with no $K_t$ minor has average degree $O(t\sqrt{\log t})$ and hence is $O(t\sqrt{\log t})$-colorable. Very recently, Norin and Song proved that every graph with no $K_t$ minor is $O(t(\log t)^{0.354})$-colorable. Improving on the second part of their argument, we prove that every graph with no $K_t$ minor is $O(t(\log t)^β)$-colorable for every $β> \frac{1}{4}$. △ Less

Submitted 18 May, 2022; v1 submitted 4 November, 2019; originally announced November 2019.

Comments: Merged into arXiv:1910.09378v2

MSC Class: 05C15; 05C83

Breaking the degeneracy barrier for coloring graphs with no $K_t$ minor

Authors: Sergey Norin, Luke Postle, Zi-Xia Song

Abstract: In 1943, Hadwiger conjectured that every graph with no $K_t$ minor is $(t-1)$-colorable for every $t\geq 1$. In the 1980s, Kostochka and Thomason independently proved that every graph with no $K_t$ minor has average degree $O(t\sqrt{\log t})$ and hence is $O(t\sqrt{\log t})$-colorable. We show that every graph with no $K_t$ minor is $O(t(\log t)^β)$-colorable for every $β> 1/4$, making the first i… ▽ More In 1943, Hadwiger conjectured that every graph with no $K_t$ minor is $(t-1)$-colorable for every $t\geq 1$. In the 1980s, Kostochka and Thomason independently proved that every graph with no $K_t$ minor has average degree $O(t\sqrt{\log t})$ and hence is $O(t\sqrt{\log t})$-colorable. We show that every graph with no $K_t$ minor is $O(t(\log t)^β)$-colorable for every $β> 1/4$, making the first improvement on the order of magnitude of the Kostochka-Thomason bound. △ Less

Submitted 27 May, 2020; v1 submitted 21 October, 2019; originally announced October 2019.

Comments: This version adds a new coauthor and significantly strengthens the main result by combining the previous version with arXiv:1911.01491. Several other major changes in content and presentation are made

Progress towards Nash-Williams' Conjecture on Triangle Decompositions

Authors: Michelle Delcourt, Luke Postle

Abstract: Partitioning the edges of a graph into edge disjoint triangles forms a triangle decomposition of the graph. A famous conjecture by Nash-Williams from 1970 asserts that any sufficiently large, triangle divisible graph on $n$ vertices with minimum degree at least $0.75 n$ admits a triangle decomposition. In the light of recent results, the fractional version of this problem is of central importance.… ▽ More Partitioning the edges of a graph into edge disjoint triangles forms a triangle decomposition of the graph. A famous conjecture by Nash-Williams from 1970 asserts that any sufficiently large, triangle divisible graph on $n$ vertices with minimum degree at least $0.75 n$ admits a triangle decomposition. In the light of recent results, the fractional version of this problem is of central importance. A fractional triangle decomposition is an assignment of non-negative weights to each triangle in a graph such that the sum of the weights along each edge is precisely 1. We show that for any graph on $n$ vertices with minimum degree at least $0.827327 n$ admits a fractional triangle decomposition. Combined with results of Barber, Kühn, Lo, and Osthus, this implies that for every sufficiently large triangle divisible graph on $n$ vertices with minimum degree at least $0.82733 n$ admits a triangle decomposition. △ Less

Submitted 1 October, 2020; v1 submitted 1 September, 2019; originally announced September 2019.

Comments: 30 pages

Bounding the number of cycles in a graph in terms of its degree sequence

Authors: Zdeněk Dvořák, Natasha Morrison, Jonathan A. Noel, Sergey Norin, Luke Postle

Abstract: We give an upper bound on the number of cycles in a simple graph in terms of its degree sequence, and apply this bound to resolve several conjectures of Király and Arman and Tsaturian and to improve upper bounds on the maximum number of cycles in a planar graph. We give an upper bound on the number of cycles in a simple graph in terms of its degree sequence, and apply this bound to resolve several conjectures of Király and Arman and Tsaturian and to improve upper bounds on the maximum number of cycles in a planar graph. △ Less

Submitted 28 July, 2019; originally announced July 2019.

Linear-Time and Efficient Distributed Algorithms for List Coloring Graphs on Surfaces

Authors: Luke Postle

Abstract: In 1994, Thomassen proved that every planar graph is 5-list-colorable. In 1995, Thomassen proved that every planar graph of girth at least five is 3-list-colorable. His proofs naturally lead to quadratic-time algorithms to find such colorings. Here, we provide the first such linear-time algorithms to find such colorings. For a fixed surface S, Thomassen showed in 1997 that there exists a linear-… ▽ More In 1994, Thomassen proved that every planar graph is 5-list-colorable. In 1995, Thomassen proved that every planar graph of girth at least five is 3-list-colorable. His proofs naturally lead to quadratic-time algorithms to find such colorings. Here, we provide the first such linear-time algorithms to find such colorings. For a fixed surface S, Thomassen showed in 1997 that there exists a linear-time algorithm to decide if a graph embedded in S is 5-colorable and similarly in 2003 if a graph of girth at least five embedded in S is 3-colorable. Using the theory of hyperbolic families, the author and Thomas showed such algorithms exist for list-colorings. Dvorak and Kawarabayashi actually gave an $O(n^{O(g+1)})$-time algorithm to find such colorings (if they exist) in n-vertex graphs where g is the Euler genus of the surface. Here we provide the first such algorithm whose exponent does not depend on the genus; indeed, we provide a linear-time algorithm. In 1988, Goldberg, Plotkin and Shannon provided a deterministic distributed algorithm for 7-coloring n-vertex planar graphs in $O(\log n)$ rounds. In 2018, Aboulker, Bonamy, Bousquet, and Esperet provided a deterministic distributed algorithm for 6-coloring n-vertex planar graphs in $O(\log^3 n)$ rounds. Their algorithm in fact works for 6-list-coloring. They also provided an $O(\log^3 n)$-round algorithm for 4-list-coloring triangle-free planar graphs. Chechik and Mukhtar independently obtained such algorithms for ordinary coloring in $O(\log n)$ rounds, which is best possible in terms of running time. Here we provide the first polylogarithmic deterministic distributed algorithms for 5-coloring n-vertex planar graphs and similarly for 3-coloring planar graphs of girth at least five. Indeed, these algorithms run in $O(\log n)$ rounds, work also for list-colorings, and even work on a fixed surface (assuming such a coloring exists). △ Less

Submitted 6 November, 2019; v1 submitted 7 April, 2019; originally announced April 2019.

Comments: 20 pages, revised version

MSC Class: 05C15

On the Density of $C_7$-Critical Graphs

Authors: Luke Postle, Evelyne Smith-Roberge

Abstract: In 1959, Grötzsch famously proved that every planar graph of girth at least 4 is 3-colourable (or equivalently, admits a homomorphism to $C_3$). A natural generalization of this is the following conjecture: for every positive integer $t$, every planar graph of girth at least $4t$ admits a homomorphism to $C_{2t+1}$. This is in fact the planar dual of a well-known conjecture of Jaeger which states… ▽ More In 1959, Grötzsch famously proved that every planar graph of girth at least 4 is 3-colourable (or equivalently, admits a homomorphism to $C_3$). A natural generalization of this is the following conjecture: for every positive integer $t$, every planar graph of girth at least $4t$ admits a homomorphism to $C_{2t+1}$. This is in fact the planar dual of a well-known conjecture of Jaeger which states that every $4t$-edge-connected graph admits a modulo $(2t+1)$-orientation. Though Jaeger's original conjecture was disproved in 2018 by Han et al., Lovasz et al. showed that every $6t$-edge connected graph admits a modulo $(2t+1)$-flow. The latter result implies that every planar graph of girth at least $6t$ admits a homomorphism to $C_{2t+1}$. We improve upon this in the $t=3$ case, by showing that every planar graph of girth at least $16$ admits a homomorphism to $C_7$. We obtain this through a more general result regarding the density of $C_7$-critical graphs: if $G$ is a $C_7$-critical graph with $G \not \in \{C_3, C_5\}$, then $e(G) \geq \tfrac{17v(G)-2}{15}$. △ Less

Submitted 10 August, 2021; v1 submitted 11 March, 2019; originally announced March 2019.

Comments: 25 pages. This version incorporates suggestions of referees. To appear in Combinatorica

Fractional coloring with local demands

Authors: Tom Kelly, Luke Postle

Abstract: We investigate fractional colorings of graphs in which the amount of color given to a vertex depends on local parameters, such as its degree or the clique number of its neighborhood; in a \textit{fractional $f$-coloring}, vertices are given color from the $[0, 1]$-interval and each vertex $v$ receives at least $f(v)$ color. By Linear Programming Duality, all of the problems we study have an equiva… ▽ More We investigate fractional colorings of graphs in which the amount of color given to a vertex depends on local parameters, such as its degree or the clique number of its neighborhood; in a \textit{fractional $f$-coloring}, vertices are given color from the $[0, 1]$-interval and each vertex $v$ receives at least $f(v)$ color. By Linear Programming Duality, all of the problems we study have an equivalent formulation as a problem concerning weighted independence numbers. However, these problems are most natural in the framework of fractional coloring, and the concept of coloring is crucial to most of our proofs. Our results and conjectures considerably generalize many well-known fractional coloring results, such as the fractional relaxation of Reed's Conjecture, Brooks' Theorem, and Vizing's Theorem. Our results also imply previously unknown bounds on the independence number of graphs. We prove that if $G$ is a graph and $f(v) \leq 1/(d(v) + 1/2)$ for each $v\in V(G)$, then either $G$ has a fractional $f$-coloring or $G$ contains a clique $K$ such that $\sum_{v\in K}f(v) > 1$. This result generalizes the famous Caro-Wei Theorem, and it implies that every graph $G$ with no simplicial vertex has an independent set of size at least $\sum_{v\in V(G)}\frac{1}{d(v) + 1/2}$, which is tight for the 5-cycle. △ Less

Submitted 28 November, 2018; originally announced November 2018.

Comments: 37 pages including 4 page Appendix

On the Minimal Edge Density of $K_4$-free 6-critical Graphs

Authors: Wenbo Gao, Luke Postle

Abstract: Kostochka and Yancey resolved a famous conjecture of Ore on the asymptotic density of $k$-critical graphs by proving that every $k$-critical graph $G$ satisfies $|E(G)| \geq (\frac{k}{2} - \frac{1}{k-1})|V(G)| - \frac{k(k-3)}{2(k-1)}$. The class of graphs for which this bound is tight, $k$-Ore graphs, contain a notably large number of $K_{k-2}$-subgraphs. Subsequent work attempted to determine the… ▽ More Kostochka and Yancey resolved a famous conjecture of Ore on the asymptotic density of $k$-critical graphs by proving that every $k$-critical graph $G$ satisfies $|E(G)| \geq (\frac{k}{2} - \frac{1}{k-1})|V(G)| - \frac{k(k-3)}{2(k-1)}$. The class of graphs for which this bound is tight, $k$-Ore graphs, contain a notably large number of $K_{k-2}$-subgraphs. Subsequent work attempted to determine the asymptotic density for $k$-critical graphs that do \emph{not} contain large cliques as subgraphs, but only partial progress has been made on this problem. The second author showed that if $G$ is 5-critical and has no $K_3$-subgraphs, then for $\varepsilon = 1/84$, $|E(G)| \geq (\frac{9}{4} + \varepsilon)|V(G)| - \frac{5}{4}$. It has also been shown that for all $k \geq 33$, there exists $\varepsilon_k > 0$ such that $k$-critical graphs with no $K_{k-2}$-subgraphs satisfy $|E(G)| \geq (\frac{k}{2} - \frac{1}{k-1} + \varepsilon_k)|V(G)| - \frac{k(k-3)}{2(k-1)}$. In this work, we develop general structural results that are applicable to resolving the remaining difficult cases $6 \leq k \leq 32$. We apply our results to carefully analyze the structure of 6-critical graphs and use a discharging argument to show that for $\varepsilon_6 = 1/1050$, 6-critical graphs with no $K_4$ subgraph satisfy $|E(G)| \geq ( \frac{k}{2} - \frac{1}{k-1} + \varepsilon_6 ) |V(G)| - \frac{k(k-3)}{2(k-1)}$. △ Less

Submitted 7 November, 2018; originally announced November 2018.

Comments: 55 pages

MSC Class: 05C15

Improved Bounds for Randomly Sampling Colorings via Linear Programming

Authors: Sitan Chen, Michelle Delcourt, Ankur Moitra, Guillem Perarnau, Luke Postle

Abstract: A well-known conjecture in computer science and statistical physics is that Glauber dynamics on the set of $k$-colorings of a graph $G$ on $n$ vertices with maximum degree $Δ$ is rapidly mixing for $k\geΔ+2$. In FOCS 1999, Vigoda showed that the flip dynamics (and therefore also Glauber dynamics) is rapidly mixing for any $k>\frac{11}{6}Δ$. It turns out that there is a natural barrier at… ▽ More A well-known conjecture in computer science and statistical physics is that Glauber dynamics on the set of $k$-colorings of a graph $G$ on $n$ vertices with maximum degree $Δ$ is rapidly mixing for $k\geΔ+2$. In FOCS 1999, Vigoda showed that the flip dynamics (and therefore also Glauber dynamics) is rapidly mixing for any $k>\frac{11}{6}Δ$. It turns out that there is a natural barrier at $\frac{11}{6}$, below which there is no one-step coupling that is contractive with respect to the Hamming metric, even for the flip dynamics. We use linear programming and duality arguments to fully characterize the obstructions to going beyond $\frac{11}{6}$. These extremal configurations turn out to be quite brittle, and in this paper we use this to give two proofs that the Glauber dynamics is rapidly mixing for any $k\ge\left(\frac{11}{6} - ε_0\right)Δ$ for some absolute constant $ε_0>0$. This is the first improvement to Vigoda's result that holds for general graphs. Our first approach analyzes a variable-length coupling in which these configurations break apart with high probability before the coupling terminates, and our other approach analyzes a one-step path coupling with a new metric that counts the extremal configurations. Additionally, our results extend to list coloring, a widely studied generalization of coloring, where the previously best known results required $k > 2 Δ$. △ Less

Submitted 30 October, 2018; originally announced October 2018.

Comments: This is a merger of arxiv:1804.04025 and arxiv:1804.03156. Preliminary version accepted to SODA 2019

Colouring Graphs with Sparse Neighbourhoods: Bounds and Applications

Authors: Marthe Bonamy, Thomas Perrett, Luke Postle

Abstract: Let $G$ be a graph with chromatic number $χ$, maximum degree $Δ$ and clique number $ω$. Reed's conjecture states that $χ\leq \lceil (1-\varepsilon)(Δ+ 1) + \varepsilonω\rceil$ for all $\varepsilon \leq 1/2$. It was shown by King and Reed that, provided $Δ$ is large enough, the conjecture holds for $\varepsilon \leq 1/130,000$. In this article, we show that the same statement holds for… ▽ More Let $G$ be a graph with chromatic number $χ$, maximum degree $Δ$ and clique number $ω$. Reed's conjecture states that $χ\leq \lceil (1-\varepsilon)(Δ+ 1) + \varepsilonω\rceil$ for all $\varepsilon \leq 1/2$. It was shown by King and Reed that, provided $Δ$ is large enough, the conjecture holds for $\varepsilon \leq 1/130,000$. In this article, we show that the same statement holds for $\varepsilon \leq 1/26$, thus making a significant step towards Reed's conjecture. We derive this result from a general technique to bound the chromatic number of a graph where no vertex has many edges in its neighbourhood. Our improvements to this method also lead to improved bounds on the strong chromatic index of general graphs. We prove that $χ'_s(G)\leq 1.835 Δ(G)^2$ provided $Δ(G)$ is large enough. △ Less

Submitted 15 October, 2018; originally announced October 2018.

Comments: Submitted for publication in July 2016

Asymptotically good edge correspondence colouring

Authors: Michael Molloy, Luke Postle

Abstract: We prove that every simple graph with maximum degree $Δ$ has an edge correspondence colouring with $Δ+o(Δ)$ colours. We prove that every simple graph with maximum degree $Δ$ has an edge correspondence colouring with $Δ+o(Δ)$ colours. △ Less

Submitted 31 December, 2021; v1 submitted 26 August, 2018; originally announced August 2018.

The structure of binary matroids with no induced claw or Fano plane restriction

Authors: Marthe Bonamy, Frantisek Kardos, Tom Kelly, Peter Nelson, Luke Postle

Abstract: An 'induced restriction' of a simple binary matroid $M$ is a restriction $M|F$, where $F$ is a flat of $M$. We consider the class $\mathcal{M}$ of all simple binary matroids $M$ containing neither a free matroid on three elements (which we call a 'claw'), nor a Fano plane as an induced restriction. We give an exact structure theorem for this class; two of its consequences are that the matroids in… ▽ More An 'induced restriction' of a simple binary matroid $M$ is a restriction $M|F$, where $F$ is a flat of $M$. We consider the class $\mathcal{M}$ of all simple binary matroids $M$ containing neither a free matroid on three elements (which we call a 'claw'), nor a Fano plane as an induced restriction. We give an exact structure theorem for this class; two of its consequences are that the matroids in $\mathcal{M}$ have unbounded critical number, while the matroids in $\mathcal{M}$ not containing the clique $M(K_5)$ as an induced restriction have critical number at most $2$. △ Less

Submitted 13 November, 2019; v1 submitted 11 June, 2018; originally announced June 2018.

Rapid mixing of Glauber dynamics for colorings below Vigoda's $11/6$ threshold

Authors: Michelle Delcourt, Guillem Perarnau, Luke Postle

Abstract: A well-known conjecture in computer science and statistical physics is that Glauber dynamics on the set of $k$-colorings of a graph $G$ on $n$ vertices with maximum degree $Δ$ is rapidly mixing for $k \geq Δ+2$. In FOCS 1999, Vigoda showed rapid mixing of flip dynamics with certain flip parameters on the set of proper $k$-colorings for $k > \frac{11}{6}Δ$, implying rapid mixing for Glauber dynamic… ▽ More A well-known conjecture in computer science and statistical physics is that Glauber dynamics on the set of $k$-colorings of a graph $G$ on $n$ vertices with maximum degree $Δ$ is rapidly mixing for $k \geq Δ+2$. In FOCS 1999, Vigoda showed rapid mixing of flip dynamics with certain flip parameters on the set of proper $k$-colorings for $k > \frac{11}{6}Δ$, implying rapid mixing for Glauber dynamics. In this paper, we obtain the first improvement beyond the $\frac{11}{6}Δ$ barrier for general graphs by showing rapid mixing for $k > (\frac{11}{6} - η)Δ$ for some positive constant $η$. The key to our proof is combining path coupling with a new kind of metric that incorporates a count of the extremal configurations of the chain. Additionally, our results extend to list coloring, a widely studied generalization of coloring. Combined, these results answer two open questions from Frieze and Vigoda's 2007 survey paper on Glauber dynamics for colorings. △ Less

Submitted 11 April, 2018; originally announced April 2018.

Comments: 21 pages

Bounding $χ$ by a fraction of $Δ$ for graphs without large cliques

Authors: Marthe Bonamy, Tom Kelly, Peter Nelson, Luke Postle

Abstract: The greedy coloring algorithm shows that a graph of maximum degree at most $Δ$ has chromatic number at most $Δ+ 1$, and this is tight for cliques. Much attention has been devoted to improving this "greedy bound" for graphs without large cliques. Brooks famously proved that this bound can be improved by one if $Δ\geq 3$ and the graph contains no clique of size $Δ+ 1$. Reed's Conjecture states that… ▽ More The greedy coloring algorithm shows that a graph of maximum degree at most $Δ$ has chromatic number at most $Δ+ 1$, and this is tight for cliques. Much attention has been devoted to improving this "greedy bound" for graphs without large cliques. Brooks famously proved that this bound can be improved by one if $Δ\geq 3$ and the graph contains no clique of size $Δ+ 1$. Reed's Conjecture states that the "greedy bound" can be improved by $k$ if the graph contains no clique of size $Δ+ 1 - 2k$. Johansson proved that the "greedy bound" can be improved by a factor of $Ω(\ln(Δ)^{-1})$ or $Ω\left(\frac{\ln(\ln(Δ))}{\ln(Δ)}\right)$ for graphs with no triangles or no cliques of any fixed size, respectively. Notably missing is a $\textit{linear}$ improvement on the "greedy bound" for graphs without large cliques. In this paper, we prove that for sufficiently large $Δ$, if $G$ is a graph with maximum degree at most $Δ$ and no clique of size $ω$, then $$χ(G) \leq 72Δ\sqrt{\frac{\ln(ω)}{\ln(Δ)}}.$$ This implies that for sufficiently large $Δ$, if $ω^{(72c)^2} \leq Δ$ then $χ(G) \leq Δ/c$. This bound actually holds for the list-chromatic and even the correspondence-chromatic number (also known as the DP-chromatic number). In fact, we prove what we call a "local version" of it, a result implying the existence of a coloring when the number of available colors for each vertex depends on local parameters, like the degree and the clique number of its neighborhood. Our result simultaneously implies the linear improvement over the "greedy bound" and the two aforementioned results of Johansson. △ Less

Submitted 2 March, 2018; originally announced March 2018.

Comments: 14 pages

The List Linear Arboricity of Graphs

Authors: Ringi Kim, Luke Postle

Abstract: A linear forest is a forest in which every connected component is a path. The linear arboricity of a graph $G$ is the minimum number of linear forests of $G$ covering all edges. In 1980, Akiyama, Exoo and Harary proposed a conjecture, known as the Linear Arboricity Conjecture (LAC), stating that every $d$-regular graph $G$ has linear arboricity $\lceil \frac{d+1}{2} \rceil$. In 1988, Alon proved t… ▽ More A linear forest is a forest in which every connected component is a path. The linear arboricity of a graph $G$ is the minimum number of linear forests of $G$ covering all edges. In 1980, Akiyama, Exoo and Harary proposed a conjecture, known as the Linear Arboricity Conjecture (LAC), stating that every $d$-regular graph $G$ has linear arboricity $\lceil \frac{d+1}{2} \rceil$. In 1988, Alon proved that the LAC holds asymptotically. In 1999, the list version of the LAC was raised by An and Wu, which is called the List Linear Arboricity Conjecture. In this article, we prove that the List Linear Arboricity Conjecture holds asymptotically. △ Less

Submitted 13 December, 2017; originally announced December 2017.

Comments: 17 pages

MSC Class: 05C

3 List Coloring Graphs of Girth at least Five on Surfaces

Authors: Luke Postle

Abstract: Grotzsch proved that every triangle-free planar graph is 3-colorable. Thomassen proved that every planar graph of girth at least five is 3-choosable. As for other surfaces, Thomassen proved that there are only finitely many 4-critical graphs of girth at least five embeddable in any fixed surface. This implies a linear-time algorithm for deciding 3-colorablity for graphs of girth at least five on a… ▽ More Grotzsch proved that every triangle-free planar graph is 3-colorable. Thomassen proved that every planar graph of girth at least five is 3-choosable. As for other surfaces, Thomassen proved that there are only finitely many 4-critical graphs of girth at least five embeddable in any fixed surface. This implies a linear-time algorithm for deciding 3-colorablity for graphs of girth at least five on any fixed surface. Dvorak, Kral and Thomas strengthened Thomassen's result by proving that the number of vertices in a 4-critical graph of girth at least five is linear in its genus. They used this result to prove Havel's conjecture that a planar graph whose triangles are pairwise far enough apart is 3-colorable. As for list-coloring, Dvorak proved that a planar graph whose cycles of size at most four are pairwise far enough part is 3-choosable. In this article, we generalize these results. First we prove a linear isoperimetric bound for 3-list-coloring graphs of girth at least five. Many new results then follow from the theory of hyperbolic families of graphs developed by Postle and Thomas. In particular, it follows that there are only finitely many 4-list-critical graphs of girth at least five on any fixed surface, and that in fact the number of vertices of a 4-list-critical graph is linear in its genus. This provides independent proofs of the above results while generalizing Dvorak's result to graphs on surfaces that have large edge-width and yields a similar result showing that a graph of girth at least five with crossings pairwise far apart is 3-choosable. Finally, we generalize to surfaces Thomassen's result that every planar graph of girth at least five has exponentially many distinct 3-list-colorings. Specifically, we show that every graph of girth at least five that has a 3-list-coloring has $2^{Ω(n)-O(g)}$ distinct 3-list-colorings. △ Less

Submitted 18 October, 2017; originally announced October 2017.

Comments: 33 pages

MSC Class: 05C15

On the clique number of the square of a line graph and its relation to Ore-degree

Authors: Maxime Faron, Luke Postle

Abstract: In 1985, Erdős and Nešetřil conjectured that the square of the line graph of a graph $G$, that is $L(G)^2$, can be colored with $\frac{5}{4}Δ(G)^2$ colors. This conjecture implies the weaker conjecture that the clique number of such a graph, that is $ω(L(G)^2)$, is at most $\frac{5}{4}Δ(G)^2$. In 2015, Śleszyńska-Nowak proved that $ω(L(G)^2)\le \frac{3}{2}Δ(G)^2$. In this paper, we prove that… ▽ More In 1985, Erdős and Nešetřil conjectured that the square of the line graph of a graph $G$, that is $L(G)^2$, can be colored with $\frac{5}{4}Δ(G)^2$ colors. This conjecture implies the weaker conjecture that the clique number of such a graph, that is $ω(L(G)^2)$, is at most $\frac{5}{4}Δ(G)^2$. In 2015, Śleszyńska-Nowak proved that $ω(L(G)^2)\le \frac{3}{2}Δ(G)^2$. In this paper, we prove that $ω(L(G)^2)\le \frac{4}{3}Δ(G)^2$. This theorem follows from our stronger result that $ω(L(G)^2)\le \frac{σ(G)^2}{3}$ where $σ(G) := \max_{uv\in E(G)} d(u) + d(v)$, is the Ore-degree of the graph $G$. △ Less

Submitted 7 August, 2017; originally announced August 2017.

Comments: 11 pages

MSC Class: 05C

List coloring with requests

Authors: Zdeněk Dvořák, Sergey Norin, Luke Postle

Abstract: Let G be a graph with a list assignment L. Suppose a preferred color is given for some of the vertices; how many of these preferences can be respected when L-coloring G? We explore several natural questions arising in this context, and propose directions for further research. Let G be a graph with a list assignment L. Suppose a preferred color is given for some of the vertices; how many of these preferences can be respected when L-coloring G? We explore several natural questions arising in this context, and propose directions for further research. △ Less

Submitted 16 November, 2018; v1 submitted 27 December, 2016; originally announced December 2016.

Comments: 19 pages, 2 figures; revision according to referee suggestions

MSC Class: 05C15 ACM Class: G.2.2

Random 4-regular graphs have 3-star decompositions asymptotically almost surely

Authors: Michelle Delcourt, Luke Postle

Abstract: In 2006, Barat and Thomassen conjectured in 2006 that the edges of every planar 4-regular 4-edge-connected graph can be decomposed into copies of the star with 3 leaves. Shortly afterward, Lai constructed a counterexample to this conjecture. Using the small subgraph conditioning method of Robinson and Wormald, we prove that a random 4-regular graph has an $S_3$-decomposition asymptotically almost… ▽ More In 2006, Barat and Thomassen conjectured in 2006 that the edges of every planar 4-regular 4-edge-connected graph can be decomposed into copies of the star with 3 leaves. Shortly afterward, Lai constructed a counterexample to this conjecture. Using the small subgraph conditioning method of Robinson and Wormald, we prove that a random 4-regular graph has an $S_3$-decomposition asymptotically almost surely, provided the number of vertices is divisible by 3. △ Less

Submitted 29 March, 2018; v1 submitted 4 October, 2016; originally announced October 2016.

Comments: 18 pages, 1 figure

Hyperbolic families and coloring graphs on surfaces

Authors: Luke Postle, Robin Thomas

Abstract: Let $G$ be a graph embedded in a fixed surface $Σ$ of genus $g$ and let $L=(L(v):v\in V(G))$ be a collection of lists such that either each list has size at least five, or each list has size at least four and $G$ is triangle-free, or each list has size at least three and $G$ has no cycle of length four or less. An $L$-coloring of $G$ is a map** $φ$ with domain $V(G)$ such that $φ(v)\in L(v)$ for… ▽ More Let $G$ be a graph embedded in a fixed surface $Σ$ of genus $g$ and let $L=(L(v):v\in V(G))$ be a collection of lists such that either each list has size at least five, or each list has size at least four and $G$ is triangle-free, or each list has size at least three and $G$ has no cycle of length four or less. An $L$-coloring of $G$ is a map** $φ$ with domain $V(G)$ such that $φ(v)\in L(v)$ for every $v\in V(G)$ and $φ(v)\neφ(u)$ for every pair of adjacent vertices $u,v\in V(G)$. We prove * if every non-null-homotopic cycle in $G$ has length $Ω(\log g)$, then $G$ has an $L$-coloring, * if $G$ does not have an $L$-coloring, but every proper subgraph does ("$L$-critical graph"), then $|V(G)|=O(g)$, * if every non-null-homotopic cycle in $G$ has length $Ω(g)$, and a set $X\subseteq V(G)$ of vertices that are pairwise at distance $Ω(1)$ is precolored from the corresponding lists, then the precoloring extends to an $L$-coloring of $G$, * if every non-null-homotopic cycle in $G$ has length $Ω(g)$, and the graph $G$ is allowed to have crossings, but every two crossings are at distance $Ω(1)$, then $G$ has an $L$-coloring, and * if $G$ has at least one $L$-coloring, then it has at least $2^{Ω(|V(G)|)}$ distinct $L$-colorings. We show that the above assertions are consequences of certain isoperimetric inequalities satisfied by $L$-critical graphs, and we study the structure of families of embedded graphs that satisfy those inequalities. It follows that the above assertions hold for other coloring problems, as long as the corresponding critical graphs satisfy the same inequalities. △ Less

Submitted 6 May, 2018; v1 submitted 21 September, 2016; originally announced September 2016.

Comments: 65 pages, revised based on referees' comments

Five-list-coloring graphs on surfaces III. One list of size one and one list of size two

Authors: Luke Postle, Robin Thomas

Abstract: Let $G$ be a plane graph with outer cycle $C$ and let $(L(v):v\in V(G))$ be a family of non-empty sets. By an $L$-coloring of $G$ we mean a (proper) coloring $φ$ of $G$ such that $φ(v)\in L(v)$ for every vertex $v$ of $G$. Thomassen proved that if $v_1,v_2\in V(C)$ are adjacent, $L(v_1)\ne L(v_2)$, $|L(v)|\ge3$ for every $v\in V(C)-\{v_1,v_2\}$ and $|L(v)|\ge5$ for every $v\in V(G)-V(C)$, then… ▽ More Let $G$ be a plane graph with outer cycle $C$ and let $(L(v):v\in V(G))$ be a family of non-empty sets. By an $L$-coloring of $G$ we mean a (proper) coloring $φ$ of $G$ such that $φ(v)\in L(v)$ for every vertex $v$ of $G$. Thomassen proved that if $v_1,v_2\in V(C)$ are adjacent, $L(v_1)\ne L(v_2)$, $|L(v)|\ge3$ for every $v\in V(C)-\{v_1,v_2\}$ and $|L(v)|\ge5$ for every $v\in V(G)-V(C)$, then $G$ has an $L$-coloring. What happens when $v_1$ and $v_2$ are not adjacent? Then an $L$-coloring need not exist, but in the first paper of this series we have shown that it exists if $|L(v_1)|,|L(v_2)|\ge2$. Here we characterize when an $L$-coloring exists if $|L(v_1)|\ge1$ and $|L(v_2)|\ge2$. This result is a lemma toward a more general theorem along the same lines, which we will use to prove that minimally non-$L$-colorable planar graphs with two precolored cycles of bounded length are of bounded size. The latter result has a number of applications which we pursue elsewhere. △ Less

Submitted 19 August, 2016; originally announced August 2016.

Comments: 17 pages, 1 figure

Bounded Diameter Arboricity

Authors: Martin Merker, Luke Postle

Abstract: We introduce the notion of \emph{bounded diameter arboricity}. Specifically, the \emph{diameter-$d$ arboricity} of a graph is the minimum number $k$ such that the edges of the graph can be partitioned into $k$ forests each of whose components has diameter at most $d$. A class of graphs has bounded diameter arboricity $k$ if there exists a natural number $d$ such that every graph in the class has d… ▽ More We introduce the notion of \emph{bounded diameter arboricity}. Specifically, the \emph{diameter-$d$ arboricity} of a graph is the minimum number $k$ such that the edges of the graph can be partitioned into $k$ forests each of whose components has diameter at most $d$. A class of graphs has bounded diameter arboricity $k$ if there exists a natural number $d$ such that every graph in the class has diameter-$d$ arboricity at most $k$. We conjecture that the class of graphs with arboricity at most $k$ has bounded diameter arboricity at most $k+1$. We prove this conjecture for $k\in \{2,3\}$ by proving the stronger assertion that the union of a forest and a star forest can be partitioned into two forests of diameter at most 18. We use these results to characterize the bounded diameter arboricity for planar graphs of girth at least $g$ for all $g\ne 5$. As an application we show that every 6-edge-connected planar (multi)graph contains two edge-disjoint $\frac{18}{19}$-thin spanning trees. △ Less

Submitted 18 August, 2016; originally announced August 2016.

Comments: 13 pages

MSC Class: 05C