-
Disjoint list-colorings for planar graphs
Authors:
Stijn Cambie,
Wouter Cames van Batenburg,
Xuding Zhu
Abstract:
One of Thomassen's classical results is that every planar graph of girth at least $5$ is 3-choosable. One can wonder if for a planar graph $G$ of girth sufficiently large and a $3$-list-assignment $L$, one can do even better. Can one find $3$ disjoint $L$-colorings (a packing), or $2$ disjoint $L$-colorings, or a collection of $L$-colorings that to every vertex assigns every color on average in on…
▽ More
One of Thomassen's classical results is that every planar graph of girth at least $5$ is 3-choosable. One can wonder if for a planar graph $G$ of girth sufficiently large and a $3$-list-assignment $L$, one can do even better. Can one find $3$ disjoint $L$-colorings (a packing), or $2$ disjoint $L$-colorings, or a collection of $L$-colorings that to every vertex assigns every color on average in one third of the cases (a fractional packing)? We prove that the packing is impossible, but two disjoint $L$-colorings are guaranteed if the girth is at least $8$, and a fractional packing exists when the girth is at least $6.$
For a graph $G$, the least $k$ such that there are always $k$ disjoint proper list-colorings whenever we have lists all of size $k$ associated to the vertices is called the list packing number of $G$. We lower the two-times-degeneracy upper bound for the list packing number of planar graphs of girth $3,4$ or $5$. As immediate corollaries, we improve bounds for $ε$-flexibility of classes of planar graphs with a given girth. For instance, where previously Dvořák et al. proved that planar graphs of girth $6$ are (weighted) $ε$-flexibly $3$-choosable for an extremely small value of $ε$, we obtain the optimal value $ε=\frac{1}{3}$. Finally, we completely determine and show interesting behavior on the packing numbers for $H$-minor-free graphs for some small graphs $H.$
△ Less
Submitted 28 December, 2023;
originally announced December 2023.
-
List packing number of bounded degree graphs
Authors:
Stijn Cambie,
Wouter Cames van Batenburg,
Ewan Davies,
Ross J. Kang
Abstract:
We investigate the list packing number of a graph, the least $k$ such that there are always $k$ disjoint proper list-colourings whenever we have lists all of size $k$ associated to the vertices. We are curious how the behaviour of the list packing number contrasts with that of the list chromatic number, particularly in the context of bounded degree graphs. The main question we pursue is whether ev…
▽ More
We investigate the list packing number of a graph, the least $k$ such that there are always $k$ disjoint proper list-colourings whenever we have lists all of size $k$ associated to the vertices. We are curious how the behaviour of the list packing number contrasts with that of the list chromatic number, particularly in the context of bounded degree graphs. The main question we pursue is whether every graph with maximum degree $Δ$ has list packing number at most $Δ+1$. Our results highlight the subtleties of list packing and the barriers to, for example, pursuing a Brooks'-type theorem for the list packing number.
△ Less
Submitted 2 March, 2023;
originally announced March 2023.
-
Optimally Reconfiguring List and Correspondence Colourings
Authors:
Stijn Cambie,
Wouter Cames van Batenburg,
Daniel W. Cranston
Abstract:
The reconfiguration graph $\mathcal{C}_k(G)$ for the $k$-colourings of a graph $G$ has a vertex for each proper $k$-colouring of $G$, and two vertices of $\mathcal{C}_k(G)$ are adjacent precisely when those $k$-colourings differ on a single vertex of $G$. Much work has focused on bounding the maximum value of ${\rm{diam}}~\mathcal{C}_k(G)$ over all $n$-vertex graphs $G$. We consider the analogous…
▽ More
The reconfiguration graph $\mathcal{C}_k(G)$ for the $k$-colourings of a graph $G$ has a vertex for each proper $k$-colouring of $G$, and two vertices of $\mathcal{C}_k(G)$ are adjacent precisely when those $k$-colourings differ on a single vertex of $G$. Much work has focused on bounding the maximum value of ${\rm{diam}}~\mathcal{C}_k(G)$ over all $n$-vertex graphs $G$. We consider the analogous problems for list colourings and for correspondence colourings. We conjecture that if $L$ is a list-assignment for a graph $G$ with $|L(v)|\ge d(v)+2$ for all $v\in V(G)$, then ${\rm{diam}}~\mathcal{C}_L(G)\le n(G)+μ(G)$. We also conjecture that if $(L,H)$ is a correspondence cover for a graph $G$ with $|L(v)|\ge d(v)+2$ for all $v\in V(G)$, then ${\rm{diam}}~\mathcal{C}_{(L,H)}(G)\le n(G)+τ(G)$. (Here $μ(G)$ and $τ(G)$ denote the matching number and vertex cover number of $G$.) For every graph $G$, we give constructions showing that both conjectures are best possible. Our first main result proves the upper bounds (for the list and correspondence versions, respectively) ${\rm{diam}}~\mathcal{C}_L(G)\le n(G)+2μ(G)$ and ${\rm{diam}}~\mathcal{C}_{(L,H)}(G)\le n(G)+2τ(G)$. Our second main result proves that both conjectured bounds hold, whenever all $v$ satisfy $|L(v)|\ge 2d(v)+1$. We conclude by proving one or both conjectures for various classes of graphs such as complete bipartite graphs, subcubic graphs, cactuses, and graphs with bounded maximum average degree.
△ Less
Submitted 2 October, 2023; v1 submitted 17 April, 2022;
originally announced April 2022.
-
Packing list-colourings
Authors:
Stijn Cambie,
Wouter Cames van Batenburg,
Ewan Davies,
Ross J. Kang
Abstract:
List colouring is an influential and classic topic in graph theory. We initiate the study of a natural strengthening of this problem, where instead of one list-colouring, we seek many in parallel. Our explorations have uncovered a potentially rich seam of interesting problems spanning chromatic graph theory.
Given a $k$-list-assignment $L$ of a graph $G$, which is the assignment of a list…
▽ More
List colouring is an influential and classic topic in graph theory. We initiate the study of a natural strengthening of this problem, where instead of one list-colouring, we seek many in parallel. Our explorations have uncovered a potentially rich seam of interesting problems spanning chromatic graph theory.
Given a $k$-list-assignment $L$ of a graph $G$, which is the assignment of a list $L(v)$ of $k$ colours to each vertex $v\in V(G)$, we study the existence of $k$ pairwise-disjoint proper colourings of $G$ using colours from these lists. We may refer to this as a \emph{list-packing}. Using a mix of combinatorial and probabilistic methods, we set out some basic upper bounds on the smallest $k$ for which such a list-packing is always guaranteed, in terms of the number of vertices, the degeneracy, the maximum degree, or the (list) chromatic number of $G$. (The reader might already find it interesting that such a minimal $k$ is well defined.) We also pursue a more focused study of the case when $G$ is a bipartite graph. Our results do not yet rule out the tantalising prospect that the minimal $k$ above is not too much larger than the list chromatic number.
Our study has taken inspiration from study of the strong chromatic number, and we also explore generalisations of the problem above in the same spirit.
△ Less
Submitted 3 March, 2023; v1 submitted 11 October, 2021;
originally announced October 2021.
-
Maximising line subgraphs of diameter at most $t$
Authors:
Stijn Cambie,
Wouter Cames van Batenburg,
Rémi de Joannis de Verclos,
Ross J. Kang
Abstract:
We wish to bring attention to a natural but slightly hidden problem, posed by Erdős and Nešetřil in the late 1980s, an edge version of the degree--diameter problem. Our main result is that, for any graph of maximum degree $Δ$ with more than $1.5 Δ^t$ edges, its line graph must have diameter larger than $t$. In the case where the graph contains no cycle of length $2t+1$, we can improve the bound on…
▽ More
We wish to bring attention to a natural but slightly hidden problem, posed by Erdős and Nešetřil in the late 1980s, an edge version of the degree--diameter problem. Our main result is that, for any graph of maximum degree $Δ$ with more than $1.5 Δ^t$ edges, its line graph must have diameter larger than $t$. In the case where the graph contains no cycle of length $2t+1$, we can improve the bound on the number of edges to one that is exact for $t\in\{1,2,3,4,6\}$. In the case $Δ=3$ and $t=3$, we obtain an exact bound. Our results also have implications for the related problem of bounding the distance-$t$ chromatic index, $t>2$; in particular, for this we obtain an upper bound of $1.941Δ^t$ for graphs of large enough maximum degree $Δ$, markedly improving upon earlier bounds for this parameter.
△ Less
Submitted 10 December, 2021; v1 submitted 22 March, 2021;
originally announced March 2021.
-
Minimum maximal matchings in cubic graphs
Authors:
Wouter Cames van Batenburg
Abstract:
We prove that every connected cubic graph with $n$ vertices has a maximal matching of size at most $\frac{5}{12} n+ \frac{1}{2}$. This confirms the cubic case of a conjecture of Baste, Fürst, Henning, Mohr and Rautenbach (2019) on regular graphs. More generally, we prove that every graph with $n$ vertices and $m$ edges and maximum degree at most $3$ has a maximal matching of size at most…
▽ More
We prove that every connected cubic graph with $n$ vertices has a maximal matching of size at most $\frac{5}{12} n+ \frac{1}{2}$. This confirms the cubic case of a conjecture of Baste, Fürst, Henning, Mohr and Rautenbach (2019) on regular graphs. More generally, we prove that every graph with $n$ vertices and $m$ edges and maximum degree at most $3$ has a maximal matching of size at most $\frac{4n-m}{6}+ \frac{1}{2}$. These bounds are attained by the graph $K_{3,3}$, but asymptotically there may still be some room for improvement. Moreover, the claimed maximal matchings can be found efficiently. As a corollary, we have a $\left(\frac{25}{18} + O \left( \frac{1}{n}\right)\right) $-approximation algorithm for minimum maximal matching in connected cubic graphs.
△ Less
Submitted 8 August, 2021; v1 submitted 4 August, 2020;
originally announced August 2020.
-
Packing and covering balls in graphs excluding a minor
Authors:
Nicolas Bousquet,
Wouter Cames van Batenburg,
Louis Esperet,
Gwenaël Joret,
William Lochet,
Carole Muller,
François Pirot
Abstract:
We prove that for every integer $t\ge 1$ there exists a constant $c_t$ such that for every $K_t$-minor-free graph $G$, and every set $S$ of balls in $G$, the minimum size of a set of vertices of $G$ intersecting all the balls of $S$ is at most $c_t$ times the maximum number of vertex-disjoint balls in $S$. This was conjectured by Chepoi, Estellon, and Vaxès in 2007 in the special case of planar gr…
▽ More
We prove that for every integer $t\ge 1$ there exists a constant $c_t$ such that for every $K_t$-minor-free graph $G$, and every set $S$ of balls in $G$, the minimum size of a set of vertices of $G$ intersecting all the balls of $S$ is at most $c_t$ times the maximum number of vertex-disjoint balls in $S$. This was conjectured by Chepoi, Estellon, and Vaxès in 2007 in the special case of planar graphs and of balls having the same radius.
△ Less
Submitted 28 July, 2020; v1 submitted 13 January, 2020;
originally announced January 2020.
-
Structure and colour in triangle-free graphs
Authors:
N. R. Aravind,
Stijn Cambie,
Wouter Cames van Batenburg,
Rémi de Joannis de Verclos,
Ross J. Kang,
Viresh Patel
Abstract:
Motivated by a recent conjecture of the first author, we prove that every properly coloured triangle-free graph of chromatic number $χ$ contains a rainbow independent set of size $\lceil\frac12χ\rceil$. This is sharp up to a factor $2$. This result and its short proof have implications for the related notion of chromatic discrepancy.
Drawing inspiration from both structural and extremal graph th…
▽ More
Motivated by a recent conjecture of the first author, we prove that every properly coloured triangle-free graph of chromatic number $χ$ contains a rainbow independent set of size $\lceil\frac12χ\rceil$. This is sharp up to a factor $2$. This result and its short proof have implications for the related notion of chromatic discrepancy.
Drawing inspiration from both structural and extremal graph theory, we conjecture that every triangle-free graph of chromatic number $χ$ contains an induced cycle of length $Ω(χ\logχ)$ as $χ\to\infty$. Even if one only demands an induced path of length $Ω(χ\logχ)$, the conclusion would be sharp up to a constant multiple. We prove it for regular girth $5$ graphs and for girth $21$ graphs.
As a common strengthening of the induced paths form of this conjecture and of Johansson's theorem (1996), we posit the existence of some $c >0$ such that for every forest $H$ on $D$ vertices, every triangle-free and induced $H$-free graph has chromatic number at most $c D/\log D$. We prove this assertion with `triangle-free' replaced by `regular girth $5$'.
△ Less
Submitted 15 March, 2020; v1 submitted 31 December, 2019;
originally announced December 2019.
-
Erdős-Pósa from ball packing
Authors:
Wouter Cames van Batenburg,
Gwenaël Joret,
Arthur Ulmer
Abstract:
A classic theorem of Erdős and Pósa (1965) states that every graph has either $k$ vertex-disjoint cycles or a set of $O(k \log k)$ vertices meeting all its cycles. While the standard proof revolves around finding a large `frame' in the graph (a subdivision of a large cubic graph), an alternative way of proving this theorem is to use a ball packing argument of Kühn and Osthus (2003) and Diestel and…
▽ More
A classic theorem of Erdős and Pósa (1965) states that every graph has either $k$ vertex-disjoint cycles or a set of $O(k \log k)$ vertices meeting all its cycles. While the standard proof revolves around finding a large `frame' in the graph (a subdivision of a large cubic graph), an alternative way of proving this theorem is to use a ball packing argument of Kühn and Osthus (2003) and Diestel and Rempel (2005). In this paper, we argue that the latter approach is particularly well suited for studying edge variants of the Erdős-Pósa theorem.
As an illustration, we give a short proof of a theorem of Bruhn, Heinlein, and Joos (2019), that cycles of length at least $\ell$ have the so-called edge-Erdős-Pósa property. More precisely, we show that every graph $G$ either contains $k$ edge-disjoint cycles of length at least $\ell$ or an edge set $F$ of size $O(k\ell \cdot \log (k\ell))$ such that $G-F$ has no cycle of length at least $\ell$. For fixed $\ell$, this improves on the previously best known bound of $O(k^2 \log k +k\ell)$.
△ Less
Submitted 8 June, 2020; v1 submitted 17 December, 2019;
originally announced December 2019.
-
Large independent sets in triangle-free cubic graphs: beyond planarity
Authors:
Wouter Cames van Batenburg,
Jan Goedgebeur,
Gwenaël Joret
Abstract:
Every $n$-vertex planar triangle-free graph with maximum degree at most $3$ has an independent set of size at least $\frac{3}{8}n$. This was first conjectured by Albertson, Bollobás and Tucker, and was later proved by Heckman and Thomas. Fraughnaugh and Locke conjectured that the planarity requirement could be relaxed into just forbidding a few specific nonplanar subgraphs: They described a family…
▽ More
Every $n$-vertex planar triangle-free graph with maximum degree at most $3$ has an independent set of size at least $\frac{3}{8}n$. This was first conjectured by Albertson, Bollobás and Tucker, and was later proved by Heckman and Thomas. Fraughnaugh and Locke conjectured that the planarity requirement could be relaxed into just forbidding a few specific nonplanar subgraphs: They described a family $\mathcal{F}$ of six nonplanar graphs (each of order at most $22$) and conjectured that every $n$-vertex triangle-free graph with maximum degree at most $3$ having no subgraph isomorphic to a member of $\mathcal{F}$ has an independent set of size at least $\frac{3}{8}n$. In this paper, we prove this conjecture.
As a corollary, we obtain that every $2$-connected $n$-vertex triangle-free graph with maximum degree at most $3$ has an independent set of size at least $\frac{3}{8}n$, with the exception of the six graphs in $\mathcal{F}$. This confirms a conjecture made independently by Bajnok and Brinkmann, and by Fraughnaugh and Locke.
△ Less
Submitted 8 July, 2020; v1 submitted 27 November, 2019;
originally announced November 2019.
-
Strong chromatic index and Hadwiger number
Authors:
Wouter Cames van Batenburg,
Rémi de Joannis de Verclos,
Ross J. Kang,
François Pirot
Abstract:
We investigate the effect of a fixed forbidden clique minor upon the strong chromatic index, both in multigraphs and in simple graphs.
We conjecture for each $k\ge 4$ that any $K_k$-minor-free multigraph of maximum degree $Δ$ has strong chromatic index at most $\frac32(k-2)Δ$. We present a construction certifying that if true the conjecture is asymptotically sharp as $Δ\to\infty$. In support of…
▽ More
We investigate the effect of a fixed forbidden clique minor upon the strong chromatic index, both in multigraphs and in simple graphs.
We conjecture for each $k\ge 4$ that any $K_k$-minor-free multigraph of maximum degree $Δ$ has strong chromatic index at most $\frac32(k-2)Δ$. We present a construction certifying that if true the conjecture is asymptotically sharp as $Δ\to\infty$. In support of the conjecture, we show it in the case $k=4$ and prove the statement for strong clique number in place of strong chromatic index.
By contrast, we make a basic observation that for $K_k$-minor-free simple graphs, the problem of strong edge-colouring is "between" Hadwiger's Conjecture and its fractional relaxation.
For $k\geq5$, we also show that $K_k$-minor-free multigraphs of edge-diameter at most $2$ have strong clique number at most $(k-\frac{1}{2})Δ$.
△ Less
Submitted 19 August, 2021; v1 submitted 15 May, 2019;
originally announced May 2019.
-
Strong cliques and forbidden cycles
Authors:
Wouter Cames van Batenburg,
Ross J. Kang,
François Pirot
Abstract:
Given a graph $G$, the strong clique number $ω_2'(G)$ of $G$ is the cardinality of a largest collection of edges every pair of which are incident or connected by an edge in $G$. We study the strong clique number of graphs missing some set of cycle lengths. For a graph $G$ of large enough maximum degree $Δ$, we show among other results the following: $ω_2'(G)\le5Δ^2/4$ if $G$ is triangle-free;…
▽ More
Given a graph $G$, the strong clique number $ω_2'(G)$ of $G$ is the cardinality of a largest collection of edges every pair of which are incident or connected by an edge in $G$. We study the strong clique number of graphs missing some set of cycle lengths. For a graph $G$ of large enough maximum degree $Δ$, we show among other results the following: $ω_2'(G)\le5Δ^2/4$ if $G$ is triangle-free; $ω_2'(G)\le3(Δ-1)$ if $G$ is $C_4$-free; $ω_2'(G)\leΔ^2$ if $G$ is $C_{2k+1}$-free for some $k\ge 2$. These bounds are attained by natural extremal examples. Our work extends and improves upon previous work of Faudree, Gyárfás, Schelp and Tuza (1990), Mahdian (2000) and Faron and Postle (2019). We are motivated by the corresponding problems for the strong chromatic index.
△ Less
Submitted 14 March, 2019;
originally announced March 2019.
-
Bipartite induced density in triangle-free graphs
Authors:
Wouter Cames van Batenburg,
Rémi de Joannis de Verclos,
Ross J. Kang,
François Pirot
Abstract:
We prove that any triangle-free graph on $n$ vertices with minimum degree at least $d$ contains a bipartite induced subgraph of minimum degree at least $d^2/(2n)$. This is sharp up to a logarithmic factor in $n$. Relatedly, we show that the fractional chromatic number of any such triangle-free graph is at most the minimum of $n/d$ and $(2+o(1))\sqrt{n/\log n}$ as $n\to\infty$. This is sharp up to…
▽ More
We prove that any triangle-free graph on $n$ vertices with minimum degree at least $d$ contains a bipartite induced subgraph of minimum degree at least $d^2/(2n)$. This is sharp up to a logarithmic factor in $n$. Relatedly, we show that the fractional chromatic number of any such triangle-free graph is at most the minimum of $n/d$ and $(2+o(1))\sqrt{n/\log n}$ as $n\to\infty$. This is sharp up to constant factors. Similarly, we show that the list chromatic number of any such triangle-free graph is at most $O(\min\{\sqrt{n},(n\log n)/d\})$ as $n\to\infty$.
Relatedly, we also make two conjectures. First, any triangle-free graph on $n$ vertices has fractional chromatic number at most $(\sqrt{2}+o(1))\sqrt{n/\log n}$ as $n\to\infty$. Second, any triangle-free graph on $n$ vertices has list chromatic number at most $O(\sqrt{n/\log n})$ as $n\to\infty$.
△ Less
Submitted 12 April, 2020; v1 submitted 7 August, 2018;
originally announced August 2018.
-
A tight Erdős-Pósa function for planar minors
Authors:
Wouter Cames van Batenburg,
Tony Huynh,
Gwenaël Joret,
Jean-Florent Raymond
Abstract:
Let $H$ be a planar graph. By a classical result of Robertson and Seymour, there is a function $f:\mathbb{N} \to \mathbb{R}$ such that for all $k \in \mathbb{N}$ and all graphs $G$, either $G$ contains $k$ vertex-disjoint subgraphs each containing $H$ as a minor, or there is a subset $X$ of at most $f(k)$ vertices such that $G-X$ has no $H$-minor. We prove that this remains true with…
▽ More
Let $H$ be a planar graph. By a classical result of Robertson and Seymour, there is a function $f:\mathbb{N} \to \mathbb{R}$ such that for all $k \in \mathbb{N}$ and all graphs $G$, either $G$ contains $k$ vertex-disjoint subgraphs each containing $H$ as a minor, or there is a subset $X$ of at most $f(k)$ vertices such that $G-X$ has no $H$-minor. We prove that this remains true with $f(k) = c k \log k$ for some constant $c=c(H)$. This bound is best possible, up to the value of $c$, and improves upon a recent result of Chekuri and Chuzhoy [STOC 2013], who established this with $f(k) = c k \log^d k$ for some universal constant $d$. The proof is constructive and yields a polynomial-time $O(\log \mathsf{OPT})$-approximation algorithm for packing subgraphs containing an $H$-minor.
△ Less
Submitted 23 October, 2019; v1 submitted 13 July, 2018;
originally announced July 2018.
-
The Bollobás-Eldridge-Catlin conjecture for even girth at least $10$
Authors:
Wouter Cames van Batenburg,
Ross J. Kang
Abstract:
Two graphs $G_1$ and $G_2$ on $n$ vertices are said to \textit{pack} if there exist injective map**s of their vertex sets into $[n]$ such that the images of their edge sets are disjoint. A longstanding conjecture due to Bollobás and Eldridge and, independently, Catlin, asserts that, if $(Δ(G_1)+1) (Δ(G_2)+1) \le n+1$, then $G_1$ and $G_2$ pack. We consider the validity of this assertion under th…
▽ More
Two graphs $G_1$ and $G_2$ on $n$ vertices are said to \textit{pack} if there exist injective map**s of their vertex sets into $[n]$ such that the images of their edge sets are disjoint. A longstanding conjecture due to Bollobás and Eldridge and, independently, Catlin, asserts that, if $(Δ(G_1)+1) (Δ(G_2)+1) \le n+1$, then $G_1$ and $G_2$ pack. We consider the validity of this assertion under the additional assumptions that neither $G_1$ nor $G_2$ contain a $4$-, $6$- or $8$-cycle, and that $Δ(G_1)$ or $Δ(G_2)$ is large enough ($\ge 940060$).
△ Less
Submitted 15 March, 2017;
originally announced March 2017.
-
Squared chromatic number without claws or large cliques
Authors:
Wouter Cames van Batenburg,
Ross J. Kang
Abstract:
Let $G$ be a claw-free graph on $n$ vertices with clique number $ω$, and consider the chromatic number $χ(G^2)$ of the square $G^2$ of $G$. Writing $χ'_s(d)$ for the supremum of $χ(L^2)$ over the line graphs $L$ of simple graphs of maximum degree at most $d$, we prove that $χ(G^2)\le χ'_s(ω)$ for $ω\in \{3,4\}$. For $ω=3$, this implies the sharp bound $χ(G^2) \leq 10$. For $ω=4$, this implies…
▽ More
Let $G$ be a claw-free graph on $n$ vertices with clique number $ω$, and consider the chromatic number $χ(G^2)$ of the square $G^2$ of $G$. Writing $χ'_s(d)$ for the supremum of $χ(L^2)$ over the line graphs $L$ of simple graphs of maximum degree at most $d$, we prove that $χ(G^2)\le χ'_s(ω)$ for $ω\in \{3,4\}$. For $ω=3$, this implies the sharp bound $χ(G^2) \leq 10$. For $ω=4$, this implies $χ(G^2)\leq 22$, which is within $2$ of the conjectured best bound. This work is motivated by a strengthened form of a conjecture of Erdős and Nešetřil.
△ Less
Submitted 17 May, 2018; v1 submitted 27 September, 2016;
originally announced September 2016.
-
Coloring Jordan regions and curves
Authors:
Wouter Cames van Batenburg,
Louis Esperet,
Tobias Müller
Abstract:
A Jordan region is a subset of the plane that is homeomorphic to a closed disk. Consider a family $\mathcal{F}$ of Jordan regions whose interiors are pairwise disjoint, and such that any two Jordan regions intersect in at most one point. If any point of the plane is contained in at most $k$ elements of $\mathcal{F}$ (with $k$ sufficiently large), then we show that the elements of $\mathcal{F}$ can…
▽ More
A Jordan region is a subset of the plane that is homeomorphic to a closed disk. Consider a family $\mathcal{F}$ of Jordan regions whose interiors are pairwise disjoint, and such that any two Jordan regions intersect in at most one point. If any point of the plane is contained in at most $k$ elements of $\mathcal{F}$ (with $k$ sufficiently large), then we show that the elements of $\mathcal{F}$ can be colored with at most $k+1$ colors so that intersecting Jordan regions are assigned distinct colors. This is best possible and answers a question raised by Reed and Shepherd in 1996. As a simple corollary, we also obtain a positive answer to a problem of Hliněný (1998) on the chromatic number of contact systems of strings.
We also investigate the chromatic number of families of touching Jordan curves. This can be used to bound the ratio between the maximum number of vertex-disjoint directed cycles in a planar digraph, and its fractional counterpart.
△ Less
Submitted 14 September, 2017; v1 submitted 29 August, 2016;
originally announced August 2016.
-
Packing graphs of bounded codegree
Authors:
Wouter Cames van Batenburg,
Ross J. Kang
Abstract:
Two graphs $G_1$ and $G_2$ on $n$ vertices are said to pack if there exist injective map**s of their vertex sets into $[n]$ such that the images of their edge sets are disjoint. A longstanding conjecture due to Bollobás and Eldridge and, independently, Catlin, asserts that, if $(Δ_1(G)+1) (Δ_2(G)+1) \le n+1$, then $G_1$ and $G_2$ pack. We consider the validity of this assertion under the additio…
▽ More
Two graphs $G_1$ and $G_2$ on $n$ vertices are said to pack if there exist injective map**s of their vertex sets into $[n]$ such that the images of their edge sets are disjoint. A longstanding conjecture due to Bollobás and Eldridge and, independently, Catlin, asserts that, if $(Δ_1(G)+1) (Δ_2(G)+1) \le n+1$, then $G_1$ and $G_2$ pack. We consider the validity of this assertion under the additional assumption that $G_1$ or $G_2$ has bounded codegree. In particular, we prove for all $t \ge 2$ that, if $G_1$ contains no copy of the complete bipartite graph $K_{2,t}$ and $Δ_1 > 17 t \cdot Δ_2$, then $(Δ_1(G)+1) (Δ_2(G)+1) \le n+1$ implies that $G_1$ and $G_2$ pack. We also provide a mild improvement if moreover $G_2$ contains no copy of the complete tripartite graph $K_{1,1,s}$, $s\ge 1$.
△ Less
Submitted 18 May, 2016;
originally announced May 2016.
-
The dimension of the Incipient Infinite Cluster
Authors:
Wouter Cames van Batenburg
Abstract:
We study the Incipient Infinite Cluster (IIC) of high-dimensional bond percolation on $\mathbb{Z}^d$. We prove that the mass dimension of IIC almost surely equals $4$ and the volume growth exponent of IIC almost surely equals $2$.
We study the Incipient Infinite Cluster (IIC) of high-dimensional bond percolation on $\mathbb{Z}^d$. We prove that the mass dimension of IIC almost surely equals $4$ and the volume growth exponent of IIC almost surely equals $2$.
△ Less
Submitted 29 May, 2014;
originally announced May 2014.
