Showing 1–50 of 119 results for author: Dvořák, Z

Sparsity of 3-flow critical graphs

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

Abstract: A connected graph G is 3-flow-critical if G does not have a nowhere-zero 3-flow, but every proper contraction of G does. We prove that every n-vertex 3-flow-critical graph other than K_2 and K_4 has at least 5n/3 edges. This bound is tight up to lower-order terms, answering a question of Li et al. (2022). It also generalizes the result of Koester (1991) on the maximum average degree of 4-critical… ▽ More A connected graph G is 3-flow-critical if G does not have a nowhere-zero 3-flow, but every proper contraction of G does. We prove that every n-vertex 3-flow-critical graph other than K_2 and K_4 has at least 5n/3 edges. This bound is tight up to lower-order terms, answering a question of Li et al. (2022). It also generalizes the result of Koester (1991) on the maximum average degree of 4-critical planar graphs. △ Less

Submitted 30 March, 2024; originally announced April 2024.

Comments: 9 pages, no figures

MSC Class: 05C21

Precoloring extension in planar near-Eulerian-triangulations

Authors: Zdeněk Dvořák, Benjamin Moore, Michaela Seifrtová, Robert Šámal

Abstract: We consider the 4-precoloring extension problem in \emph{planar near-Eulerian-triangulations}, i.e., plane graphs where all faces except possibly for the outer one have length three, all vertices not incident with the outer face have even degree, and exactly the vertices incident with the outer face are precolored. We give a necessary topological condition for the precoloring to extend, and give a… ▽ More We consider the 4-precoloring extension problem in \emph{planar near-Eulerian-triangulations}, i.e., plane graphs where all faces except possibly for the outer one have length three, all vertices not incident with the outer face have even degree, and exactly the vertices incident with the outer face are precolored. We give a necessary topological condition for the precoloring to extend, and give a complete characterization when the outer face has length at most five and when all vertices of the outer face have odd degree and are colored using only three colors. △ Less

Submitted 20 December, 2023; originally announced December 2023.

Comments: 20 pages, 3 figures, extended abstract appeared in EuroComb 2023

Solution to a problem of Grünbaum on the edge density of $4$-critical planar graphs

Authors: Zdeněk Dvořák, Carl Feghali

Abstract: We show that $\limsup |E(G)|/|V(G)| = 2.5$ over all $4$-critical planar graphs $G$, answering a question of Grünbaum from 1988. We show that $\limsup |E(G)|/|V(G)| = 2.5$ over all $4$-critical planar graphs $G$, answering a question of Grünbaum from 1988. △ Less

Submitted 6 November, 2023; originally announced November 2023.

Comments: 14 pages, 7 figures

MSC Class: 05C10

Correspondence coloring of random graphs

Authors: Zdenek Dvorak, Liana Yepremyan

Abstract: We show that Erdős-Rényi random graphs $G(n,p)$ with constant density $p<1$ have correspondence chromatic number $O(n/\sqrt{\log n})$; this matches a prediction from linear Hadwiger's conjecture for correspondence coloring. The proof follows from a simple sufficient condition for correspondence colorability in terms of the numbers of independent sets. We show that Erdős-Rényi random graphs $G(n,p)$ with constant density $p<1$ have correspondence chromatic number $O(n/\sqrt{\log n})$; this matches a prediction from linear Hadwiger's conjecture for correspondence coloring. The proof follows from a simple sufficient condition for correspondence colorability in terms of the numbers of independent sets. △ Less

Submitted 27 July, 2023; originally announced July 2023.

Maximum edge colouring problem on graphs that exclude a fixed minor

Authors: Zdeněk Dvořák, Abhiruk Lahiri

Abstract: The maximum edge colouring problem considers the maximum colour assignment to edges of a graph under the condition that every vertex has at most a fixed number of distinct coloured edges incident on it. If that fixed number is $q$ we call the colouring a maximum edge $q$-colouring. The problem models a non-overlap** frequency channel assignment question on wireless networks. The problem has also… ▽ More The maximum edge colouring problem considers the maximum colour assignment to edges of a graph under the condition that every vertex has at most a fixed number of distinct coloured edges incident on it. If that fixed number is $q$ we call the colouring a maximum edge $q$-colouring. The problem models a non-overlap** frequency channel assignment question on wireless networks. The problem has also been studied from a purely combinatorial perspective in the graph theory literature. We study the question when the input graph is sparse. We show the problem remains $NP$-hard on $1$-apex graphs. We also show that there exists $PTAS$ for the problem on minor-free graphs. The $PTAS$ is based on a recently developed Baker game technique for proper minor-closed classes, thus avoiding the need to use any involved structural results. This further pushes the Baker game technique beyond the problems expressible in the first-order logic. △ Less

Submitted 5 July, 2023; originally announced July 2023.

Comments: 10 pages, to appear in the proceedings of WG 2023

MSC Class: 05C85 ACM Class: F.2.2

Clustered coloring of (path+2K_1)-free graphs on surfaces

Authors: Zdeněk Dvořák

Abstract: Esperet and Joret proved that planar graphs with bounded maximum degree are 3-colorable with bounded clustering. Liu and Wood asked whether the conclusion holds with the assumption of the bounded maximum degree replaced by assuming that no two vertices have many common neighbors. We answer this question in positive, in the following stronger form: Let P''_t be the complete join of two isolated ver… ▽ More Esperet and Joret proved that planar graphs with bounded maximum degree are 3-colorable with bounded clustering. Liu and Wood asked whether the conclusion holds with the assumption of the bounded maximum degree replaced by assuming that no two vertices have many common neighbors. We answer this question in positive, in the following stronger form: Let P''_t be the complete join of two isolated vertices with a path on t vertices. For any surface Sigma, a subgraph-closed class of graphs drawn on Sigma is 3-choosable with bounded clustering if and only if there exists t such that P''_t does not belong to the class. △ Less

Submitted 16 June, 2023; originally announced June 2023.

Comments: 29 pages, 5 figures

MSC Class: 05C15

Efficient Approximation for Subgraph-Hitting Problems in Sparse Graphs and Geometric Intersection Graphs

Authors: Zdeněk Dvořák, Daniel Lokshtanov, Fahad Panolan, Saket Saurabh, Jie Xue, Meirav Zehavi

Abstract: We investigate a fundamental vertex-deletion problem called (Induced) Subgraph Hitting: given a graph $G$ and a set $\mathcal{F}$ of forbidden graphs, the goal is to compute a minimum-sized set $S$ of vertices of $G$ such that $G-S$ does not contain any graph in $\mathcal{F}$ as an (induced) subgraph. This is a generic problem that encompasses many well-known problems that were extensively studied… ▽ More We investigate a fundamental vertex-deletion problem called (Induced) Subgraph Hitting: given a graph $G$ and a set $\mathcal{F}$ of forbidden graphs, the goal is to compute a minimum-sized set $S$ of vertices of $G$ such that $G-S$ does not contain any graph in $\mathcal{F}$ as an (induced) subgraph. This is a generic problem that encompasses many well-known problems that were extensively studied on their own, particularly (but not only) from the perspectives of both approximation and parameterization. In this paper, we study the approximability of the problem on a large variety of graph classes. Our first result is a linear-time $(1+\varepsilon)$-approximation reduction from (Induced) Subgraph Hitting on any graph class $\mathcal{G}$ of bounded expansion to the same problem on bounded degree graphs within $\mathcal{G}$. This directly yields linear-size $(1+\varepsilon)$-approximation lossy kernels for the problems on any bounded-expansion graph classes. Our second result is a linear-time approximation scheme for (Induced) Subgraph Hitting on any graph class $\mathcal{G}$ of polynomial expansion, based on the local-search framework of Har-Peled and Quanrud [SICOMP 2017]. This approximation scheme can be applied to a more general family of problems that aim to hit all subgraphs satisfying a certain property $π$ that is efficiently testable and has bounded diameter. Both of our results have applications to Subgraph Hitting (not induced) on wide classes of geometric intersection graphs, resulting in linear-size lossy kernels and (near-)linear time approximation schemes for the problem. △ Less

Submitted 3 December, 2023; v1 submitted 26 April, 2023; originally announced April 2023.

Comments: 52 pages, subsuming the article arXiv:2304.12789

A note on local search for hitting sets

Authors: Zdeněk Dvořák

Abstract: Let $π$ be a property of pairs $(G,Z)$, where $G$ is a graph and $Z\subseteq V(G)$. In the \emph{minimum $π$-hitting set problem}, given an input graph $G$, we want to find a smallest set $X\subseteq V(G)$ such that $X$ intersects every set $Z\subseteq V(G)$ such that $(G,Z)$ has the property $π$. An important special case is that $π$ is satisfied by $(G,Z)$ exactly if $G[Z]$ is isomorphic to one… ▽ More Let $π$ be a property of pairs $(G,Z)$, where $G$ is a graph and $Z\subseteq V(G)$. In the \emph{minimum $π$-hitting set problem}, given an input graph $G$, we want to find a smallest set $X\subseteq V(G)$ such that $X$ intersects every set $Z\subseteq V(G)$ such that $(G,Z)$ has the property $π$. An important special case is that $π$ is satisfied by $(G,Z)$ exactly if $G[Z]$ is isomorphic to one of graphs in a finite set $\mathcal{F}$; in this \emph{minimum $\mathcal{F}$-hitting set} problem, $X$ needs to hit all appearances of the graphs from $\mathcal{F}$ as induced subgraphs of $G$. In this note, we show that the local search argument of Har-Peled and Quanrud gives a PTAS for the minimum $\mathcal{F}$-hitting set problem for graphs from any class with polynomial expansion. Moreover, we argue that the local search argument applies more generally to all properties $π$ such that one can test whether $X$ is a $π$-hitting set in polynomial time and $G[Z]$ has bounded diameter whenever $(G,Z)$ satisfies $π$; this is a common generalization of the minimum $\mathcal{F}$-hitting set problem and minimum $r$-dominating set problem. Finaly, we note that the analogous claim also holds for the dual problem of finding the maximum number of disjoint sets $Z$ such that $(G,Z)$ has the property $π$; this generalizes maximum $F$-matching, maximum induced $F$-matching, and maximum $r$-independent set problems. △ Less

Submitted 25 April, 2023; originally announced April 2023.

Comments: 12 pages, no figures

MSC Class: 05C85

Embedded graph 3-coloring and flows

Authors: Caroline Bang, Zdeněk Dvořák, Emily Heath, Bernard Lidický

Abstract: A graph drawn in a surface is a near-quadrangulation if the sum of the lengths of the faces different from 4-faces is bounded by a fixed constant. We leverage duality between colorings and flows to design an efficient algorithm for 3-precoloring-extension in near-quadrangulations of orientable surfaces. Furthermore, we use this duality to strengthen previously known sufficient conditions for 3-col… ▽ More A graph drawn in a surface is a near-quadrangulation if the sum of the lengths of the faces different from 4-faces is bounded by a fixed constant. We leverage duality between colorings and flows to design an efficient algorithm for 3-precoloring-extension in near-quadrangulations of orientable surfaces. Furthermore, we use this duality to strengthen previously known sufficient conditions for 3-colorability of triangle-free graphs drawn in orientable surfaces. △ Less

Submitted 9 March, 2023; originally announced March 2023.

Comments: 53 pages, 15 figures

An efficient implementation and a strengthening of Alon-Tarsi list coloring method

Authors: Zdeněk Dvořák

Abstract: As one of the first applications of the polynomial method in combinatorics, Alon and Tarsi gave a way to prove that a graph is choosable (colorable from any lists of prescribed size). We describe an efficient way to implement this approach, making it feasible to test choosability of graphs with around 70 edges. We also show that in case that Alon-Tarsi method fails to show that the graph is choosa… ▽ More As one of the first applications of the polynomial method in combinatorics, Alon and Tarsi gave a way to prove that a graph is choosable (colorable from any lists of prescribed size). We describe an efficient way to implement this approach, making it feasible to test choosability of graphs with around 70 edges. We also show that in case that Alon-Tarsi method fails to show that the graph is choosable, further coefficients of the graph polynomial provide constraints on the list assignments from which the graph cannot be colored. This often enables us to confirm colorability from a given list assignment, or to decide choosability by testing just a few list assignments. The implementation can be found at https://gitlab.mff.cuni.cz/dvorz9am/alon-tarsi-method. △ Less

Submitted 16 January, 2023; originally announced January 2023.

Comments: 21 pages, no figures

MSC Class: 05C15

Product structure of graph classes with strongly sublinear separators

Authors: Zdeněk Dvořák, David R. Wood

Abstract: We investigate the product structure of hereditary graph classes admitting strongly sublinear separators. We characterise such classes as subgraphs of the strong product of a star and a complete graph of strongly sublinear size. In a more precise result, we show that if any hereditary graph class $\mathcal{G}$ admits $O(n^{1-ε})$ separators, then for any fixed $δ\in(0,ε)$ every $n$-vertex graph in… ▽ More We investigate the product structure of hereditary graph classes admitting strongly sublinear separators. We characterise such classes as subgraphs of the strong product of a star and a complete graph of strongly sublinear size. In a more precise result, we show that if any hereditary graph class $\mathcal{G}$ admits $O(n^{1-ε})$ separators, then for any fixed $δ\in(0,ε)$ every $n$-vertex graph in $\mathcal{G}$ is a subgraph of the strong product of a graph $H$ with bounded tree-depth and a complete graph of size $O(n^{1-ε+δ})$. This result holds with $δ=0$ if we allow $H$ to have tree-depth $O(\log\log n)$. Moreover, using extensions of classical isoperimetric inequalties for grids graphs, we show the dependence on $δ$ in our results and the above $\text{td}(H)\in O(\log\log n)$ bound are both best possible. We prove that $n$-vertex graphs of bounded treewidth are subgraphs of the product of a graph with tree-depth $t$ and a complete graph of size $O(n^{1/t})$, which is best possible. Finally, we investigate the conjecture that for any hereditary graph class $\mathcal{G}$ that admits $O(n^{1-ε})$ separators, every $n$-vertex graph in $\mathcal{G}$ is a subgraph of the strong product of a graph $H$ with bounded tree-width and a complete graph of size $O(n^{1-ε})$. We prove this for various classes $\mathcal{G}$ of interest. △ Less

Submitted 27 September, 2023; v1 submitted 22 August, 2022; originally announced August 2022.

Comments: v2: added bad news subsection; v3: removed section "Polynomial Expansion Classes" which had an error, added section "Lower Bounds", and added a new author; v4: minor revisions and corrections;

Square roots of nearly planar graphs

Authors: Zdeněk Dvořák, Benjamin Moore, Abhiruk Lahiri

Abstract: We prove that it is NP-hard to decide whether a graph is the square of a 6-apex graph. This shows that the square root problem is not tractable for squares of sparse graphs (or even graphs from proper minor-closed classes). We prove that it is NP-hard to decide whether a graph is the square of a 6-apex graph. This shows that the square root problem is not tractable for squares of sparse graphs (or even graphs from proper minor-closed classes). △ Less

Submitted 13 July, 2023; v1 submitted 25 May, 2022; originally announced May 2022.

Comments: 6 pages, no figures; v2: Corrected an author name

MSC Class: 05C12

On density of $Z_3$-flow-critical graphs

Authors: Zdeněk Dvořák, Bojan Mohar

Abstract: For an abelian group $Γ$, a graph $G$ is said to be $Γ$-flow-critical if $G$ does not admit a nowhere-zero $Γ$-flow, but for each edge $e\in E(G)$, the contraction $G/e$ has a nowhere-zero $Γ$-flow. A bound on the density of $Z_3$-flow-critical graphs drawn on a fixed surface is obtained, generalizing the planar case of the bound on the density of 4-critical graphs by Kostochka and Yancey. For an abelian group $Γ$, a graph $G$ is said to be $Γ$-flow-critical if $G$ does not admit a nowhere-zero $Γ$-flow, but for each edge $e\in E(G)$, the contraction $G/e$ has a nowhere-zero $Γ$-flow. A bound on the density of $Z_3$-flow-critical graphs drawn on a fixed surface is obtained, generalizing the planar case of the bound on the density of 4-critical graphs by Kostochka and Yancey. △ Less

Submitted 4 December, 2022; v1 submitted 16 May, 2022; originally announced May 2022.

Comments: 24 pages, no figures; updated for the reviewer remarks

MSC Class: 05C21

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

Representation of short distances in structurally sparse graphs

Authors: Zdeněk Dvořák

Abstract: A partial orientation $\vec{H}$ of a graph $G$ is a weak $r$-guidance system if for any two vertices at distance at most $r$ in $G$, there exists a shortest path $P$ between them such that $\vec{H}$ directs all but one edge in $P$ towards this edge. In case $\vec{H}$ has bounded maximum outdegree, this gives an efficient representation of shortest paths of length at most $r$ in $G$. We show that g… ▽ More A partial orientation $\vec{H}$ of a graph $G$ is a weak $r$-guidance system if for any two vertices at distance at most $r$ in $G$, there exists a shortest path $P$ between them such that $\vec{H}$ directs all but one edge in $P$ towards this edge. In case $\vec{H}$ has bounded maximum outdegree, this gives an efficient representation of shortest paths of length at most $r$ in $G$. We show that graphs from many natural graph classes admit such weak guidance systems, and study the algorithmic aspects of this notion. △ Less

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

Comments: 33 pages, no figures; v3: Added an improved approximation subject to VC-dimension constraints and an application for the approximation of distance domination and independence number

MSC Class: 05C12

On Comparable Box Dimension

Authors: Zdenek Dvorák, Daniel Goncalves, Abhiruk Lahiri, Jane Tan, Torsten Ueckerdt

Abstract: Two boxes in $\mathbb{R}^d$ are comparable if one of them is a subset of a translation of the other one. The comparable box dimension of a graph $G$ is the minimum integer $d$ such that $G$ can be represented as a touching graph of comparable axis-aligned boxes in $\mathbb{R}^d$. We show that proper minor-closed classes have bounded comparable box dimensions and explore further properties of this… ▽ More Two boxes in $\mathbb{R}^d$ are comparable if one of them is a subset of a translation of the other one. The comparable box dimension of a graph $G$ is the minimum integer $d$ such that $G$ can be represented as a touching graph of comparable axis-aligned boxes in $\mathbb{R}^d$. We show that proper minor-closed classes have bounded comparable box dimensions and explore further properties of this notion. △ Less

Submitted 15 March, 2022; originally announced March 2022.

Comments: 23 pages, 1 figure, accepted for presentation at SoCG 2022

MSC Class: 05C85 ACM Class: F.2.2

Asymptotic dimension of intersection graphs

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

Abstract: We show that intersection graphs of compact convex sets in R^n of bounded aspect ratio have asymptotic dimension at most 2n+1. More generally, we show this is the case for intersection graphs of systems of subsets of any metric space of Assouad-Nagata dimension n that satisfy the following condition: For each r,s>0 and every point p, the number of pairwise-disjoint elements of diameter at least s… ▽ More We show that intersection graphs of compact convex sets in R^n of bounded aspect ratio have asymptotic dimension at most 2n+1. More generally, we show this is the case for intersection graphs of systems of subsets of any metric space of Assouad-Nagata dimension n that satisfy the following condition: For each r,s>0 and every point p, the number of pairwise-disjoint elements of diameter at least s in the system that are at distance at most r from p is bounded by a function of r/s. △ Less

Submitted 4 October, 2022; v1 submitted 15 February, 2022; originally announced February 2022.

Comments: 11 pages, no figures; v2: post-review version, 12 pages, 1 figure

MSC Class: 05C62

Weak diameter coloring of graphs on surfaces

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

Abstract: Consider a graph $G$ drawn on a fixed surface, and assign to each vertex a list of colors of size at least two if $G$ is triangle-free and at least three otherwise. We prove that we can give each vertex a color from its list so that each monochromatic connected subgraph has bounded weak diameter (i.e., diameter measured in the metric of the whole graph $G$, not just the subgraph). In case that… ▽ More Consider a graph $G$ drawn on a fixed surface, and assign to each vertex a list of colors of size at least two if $G$ is triangle-free and at least three otherwise. We prove that we can give each vertex a color from its list so that each monochromatic connected subgraph has bounded weak diameter (i.e., diameter measured in the metric of the whole graph $G$, not just the subgraph). In case that $G$ has bounded maximum degree, this implies that each connected monochromatic subgraph has bounded size. This solves a problem of Esperet and Joret for planar triangle-free graphs, and extends known results in the general case to the list setting, answering a question of Wood. △ Less

Submitted 13 November, 2021; originally announced November 2021.

Comments: 18 pages, 3 figures

MSC Class: 05C15

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

Approximation schemes for bounded distance problems on fractionally treewidth-fragile graphs

Authors: Zdeněk Dvořák, Abhiruk Lahiri

Abstract: We give polynomial-time approximation schemes for monotone maximization problems expressible in terms of distances (up to a fixed upper bound) and efficiently solvable in graphs of bounded treewidth. These schemes apply in all fractionally treewidth-fragile graph classes, a property that is true for many natural graph classes with sublinear separators. We also provide quasipolynomial-time approxim… ▽ More We give polynomial-time approximation schemes for monotone maximization problems expressible in terms of distances (up to a fixed upper bound) and efficiently solvable in graphs of bounded treewidth. These schemes apply in all fractionally treewidth-fragile graph classes, a property that is true for many natural graph classes with sublinear separators. We also provide quasipolynomial-time approximation schemes for these problems in all classes with sublinear separators. △ Less

Submitted 4 May, 2021; originally announced May 2021.

Comments: 14 pages, no figures

MSC Class: 05C85 ACM Class: F.2.2

Weak Coloring Numbers of Intersection Graphs

Authors: Zdeněk Dvořák, Jakub Pekárek, Torsten Ueckerdt, Yelena Yuditsky

Abstract: Weak and strong coloring numbers are generalizations of the degeneracy of a graph, where for each natural number $k$, we seek a vertex ordering such every vertex can (weakly respectively strongly) reach in $k$ steps only few vertices with lower index in the ordering. Both notions capture the sparsity of a graph or a graph class, and have interesting applications in the structural and algorithmic g… ▽ More Weak and strong coloring numbers are generalizations of the degeneracy of a graph, where for each natural number $k$, we seek a vertex ordering such every vertex can (weakly respectively strongly) reach in $k$ steps only few vertices with lower index in the ordering. Both notions capture the sparsity of a graph or a graph class, and have interesting applications in the structural and algorithmic graph theory. Recently, the first author together with McCarty and Norin observed a natural volume-based upper bound for the strong coloring numbers of intersection graphs of well-behaved objects in $\mathbb{R}^d$, such as homothets of a centrally symmetric compact convex object, or comparable axis-aligned boxes. In this paper, we prove upper and lower bounds for the $k$-th weak coloring numbers of these classes of intersection graphs. As a consequence, we describe a natural graph class whose strong coloring numbers are polynomial in $k$, but the weak coloring numbers are exponential. We also observe a surprising difference in terms of the dependence of the weak coloring numbers on the dimension between touching graphs of balls (single-exponential) and hypercubes (double-exponential). △ Less

Submitted 7 April, 2021; v1 submitted 31 March, 2021; originally announced March 2021.

Approximation metatheorems for classes with bounded expansion

Authors: Zdeněk Dvořák

Abstract: We give a number of approximation metatheorems for monotone maximization problems expressible in the first-order logic, in substantially more general settings than the previously known. We obtain * constant-factor approximation algorithm in any class of graphs with bounded expansion, * a QPTAS in any class with strongly sublinear separators, and * a PTAS in any fractionally treewidth-fragile class… ▽ More We give a number of approximation metatheorems for monotone maximization problems expressible in the first-order logic, in substantially more general settings than the previously known. We obtain * constant-factor approximation algorithm in any class of graphs with bounded expansion, * a QPTAS in any class with strongly sublinear separators, and * a PTAS in any fractionally treewidth-fragile class (which includes all common classes with strongly sublinear separators. Moreover, our tools also give an exact subexponential-time algorithm in any class with strongly sublinear separators. △ Less

Submitted 9 October, 2021; v1 submitted 15 March, 2021; originally announced March 2021.

Comments: 35 pages, no figures; revised the presentation

MSC Class: 05C85 ACM Class: F.2.2

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

Characterization of 4-critical triangle-free toroidal graphs

Authors: Zdeněk Dvořák, Jakub Pekárek

Abstract: We give an exact characterization of 3-colorability of triangle-free graphs drawn in the torus, in the form of 186 "templates" (graphs with certain faces filled by arbitrary quadrangulations) such that a graph from this class is not 3-colorable if and only if it contains a subgraph matching one of the templates. As a consequence, we show every triangle-free graph drawn in the torus with edge-width… ▽ More We give an exact characterization of 3-colorability of triangle-free graphs drawn in the torus, in the form of 186 "templates" (graphs with certain faces filled by arbitrary quadrangulations) such that a graph from this class is not 3-colorable if and only if it contains a subgraph matching one of the templates. As a consequence, we show every triangle-free graph drawn in the torus with edge-width at least six is 3-colorable, a key property used in an efficient 3-colorability algorithm for triangle-free toroidal graphs. △ Less

Submitted 2 September, 2020; originally announced September 2020.

Comments: 34 pages, 4 figures

MSC Class: 05C15

On weighted sublinear separators

Authors: Zdeněk Dvořák

Abstract: Consider a graph G with an assignment of costs to vertices. Even if G and all its subgraphs admit balanced separators of sublinear size, G may only admit a balanced separator of sublinear cost after deleting a small set Z of exceptional vertices. We improve the bound on |Z| from O(log |V(G)|) to O(log log...log |V(G)|), for any fixed number of iterations of the logarithm. Consider a graph G with an assignment of costs to vertices. Even if G and all its subgraphs admit balanced separators of sublinear size, G may only admit a balanced separator of sublinear cost after deleting a small set Z of exceptional vertices. We improve the bound on |Z| from O(log |V(G)|) to O(log log...log |V(G)|), for any fixed number of iterations of the logarithm. △ Less

Submitted 17 September, 2021; v1 submitted 23 July, 2020; originally announced July 2020.

Comments: 14 pages, 0 figures. (v2) Correction to the statement and proof of Theorem 6 (v3) minor changes from reviews after reviews

MSC Class: 05C75

A Thomassen-type method for planar graph recoloring

Authors: Zdeněk Dvořák, Carl Feghali

Abstract: The reconfiguration graph $R_k(G)$ for the $k$-colorings of a graph $G$ has as vertices all possible $k$-colorings of $G$ and two colorings are adjacent if they differ in the color of exactly one vertex. We use a list coloring technique inspired by results of Thomassen to prove that for a planar graph $G$ with $n$ vertices, $R_{10}(G)$ has diameter at most $8n$, and if $G$ is triangle-free, then… ▽ More The reconfiguration graph $R_k(G)$ for the $k$-colorings of a graph $G$ has as vertices all possible $k$-colorings of $G$ and two colorings are adjacent if they differ in the color of exactly one vertex. We use a list coloring technique inspired by results of Thomassen to prove that for a planar graph $G$ with $n$ vertices, $R_{10}(G)$ has diameter at most $8n$, and if $G$ is triangle-free, then $R_7(G)$ has diameter at most $7n$. △ Less

Submitted 16 June, 2020; originally announced June 2020.

Comments: 20 pages

MSC Class: 05C15

An update on reconfiguring $10$-colorings of planar graphs

Authors: Zdeněk Dvořák, Carl Feghali

Abstract: The reconfiguration graph $R_k(G)$ for the $k$-colorings of a graph $G$ has as vertex set the set of all possible proper $k$-colorings of $G$ and two colorings are adjacent if they differ in the color of exactly one vertex. A result of Bousquet and Perarnau (2016) regarding graphs of bounded degeneracy implies that if $G$ is a planar graph with $n$ vertices, then $R_{12}(G)$ has diameter at most… ▽ More The reconfiguration graph $R_k(G)$ for the $k$-colorings of a graph $G$ has as vertex set the set of all possible proper $k$-colorings of $G$ and two colorings are adjacent if they differ in the color of exactly one vertex. A result of Bousquet and Perarnau (2016) regarding graphs of bounded degeneracy implies that if $G$ is a planar graph with $n$ vertices, then $R_{12}(G)$ has diameter at most $6n$. We improve on the number of colors, showing that $R_{10}(G)$ has diameter at most $8n$ for every planar graph $G$ with $n$ vertices. △ Less

Submitted 13 February, 2020; originally announced February 2020.

Comments: 25 pages, 1 figure

MSC Class: 05C15

A note on sublinear separators and expansion

Authors: Zdeněk Dvořák

Abstract: For a hereditary class C of graphs, let s_C(n) be the minimum function such that each n-vertex graph in C has a balanced separator of order at most s_C(n), and let nabla_C(r) be the minimum function bounding the expansion of C, in the sense of bounded expansion theory of Nešetřil and Ossona de Mendez. The results of Plotkin, Rao, and Smith (1994) and Esperet and Raymond (2018) imply that if s_C(n)… ▽ More For a hereditary class C of graphs, let s_C(n) be the minimum function such that each n-vertex graph in C has a balanced separator of order at most s_C(n), and let nabla_C(r) be the minimum function bounding the expansion of C, in the sense of bounded expansion theory of Nešetřil and Ossona de Mendez. The results of Plotkin, Rao, and Smith (1994) and Esperet and Raymond (2018) imply that if s_C(n)=Theta(n^{1-epsilon}) for some epsilon>0, then nabla_C(r)=Omega(r^{1/(2.epsilon)-1}/polylog r) and nabla_C(r)=O(r^{1/epsilon-1}polylog r). Answering a question of Esperet and Raymond, we show that neither of the exponents can be substantially improved. △ Less

Submitted 7 July, 2020; v1 submitted 27 January, 2020; originally announced January 2020.

Comments: 10 pages, no figures; updated according to the reviewer remarks

MSC Class: 05C75

Notes on Graph Product Structure Theory

Authors: Zdeněk Dvořák, Tony Huynh, Gwenaël Joret, Chun-Hung Liu, David R. Wood

Abstract: It was recently proved that every planar graph is a subgraph of the strong product of a path and a graph with bounded treewidth. This paper surveys generalisations of this result for graphs on surfaces, minor-closed classes, various non-minor-closed classes, and graph classes with polynomial growth. We then explore how graph product structure might be applicable to more broadly defined graph class… ▽ More It was recently proved that every planar graph is a subgraph of the strong product of a path and a graph with bounded treewidth. This paper surveys generalisations of this result for graphs on surfaces, minor-closed classes, various non-minor-closed classes, and graph classes with polynomial growth. We then explore how graph product structure might be applicable to more broadly defined graph classes. In particular, we characterise when a graph class defined by a cartesian or strong product has bounded or polynomial expansion. We then explore graph product structure theorems for various geometrically defined graph classes, and present several open problems. △ Less

Submitted 2 July, 2020; v1 submitted 23 January, 2020; originally announced January 2020.

Comments: 19 pages, 0 figures

MSC Class: 05C10; 68R10; 05C83; 05C05; 05C76

Journal ref: In: Wood D.R., de Gier J., Praeger C.E., Tao T. (eds) 2019-20 MATRIX Annals. MATRIX Book Series, vol 4, 513--533, 2021. Springer

Induced odd cycle packing number, independent sets, and chromatic number

Authors: Zdeněk Dvořák, Jakub Pekárek

Abstract: The induced odd cycle packing number $iocp(G)$ of a graph $G$ is the maximum integer $k$ such that $G$ contains an induced subgraph consisting of $k$ pairwise vertex-disjoint odd cycles. Motivated by applications to geometric graphs, Bonamy et al.~\cite{indoc} proved that graphs of bounded induced odd cycle packing number, bounded VC dimension, and linear independence number admit a randomized EPT… ▽ More The induced odd cycle packing number $iocp(G)$ of a graph $G$ is the maximum integer $k$ such that $G$ contains an induced subgraph consisting of $k$ pairwise vertex-disjoint odd cycles. Motivated by applications to geometric graphs, Bonamy et al.~\cite{indoc} proved that graphs of bounded induced odd cycle packing number, bounded VC dimension, and linear independence number admit a randomized EPTAS for the independence number. We show that the assumption of bounded VC dimension is not necessary, exhibiting a randomized algorithm that for any integers $k\ge 0$ and $t\ge 1$ and any $n$-vertex graph $G$ of induced odd cycle packing number at most $k$ returns in time $O_{k,t}(n^{k+4})$ an independent set of $G$ whose size is at least $α(G)-n/t$ with high probability. In addition, we present $χ$-boundedness results for graphs with bounded odd cycle packing number, and use them to design a QPTAS for the independence number only assuming bounded induced odd cycle packing number. △ Less

Submitted 12 November, 2021; v1 submitted 8 January, 2020; originally announced January 2020.

Sublinear separators in intersection graphs of convex shapes

Authors: Zdenek Dvorak, Rose McCarty, Sergey Norin

Abstract: We give a natural sufficient condition for an intersection graph of compact convex sets in R^d to have a balanced separator of sublinear size. This condition generalizes several previous results on sublinear separators in intersection graphs. Furthermore, the argument used to prove the existence of sublinear separators is based on a connection with generalized coloring numbers which has not been p… ▽ More We give a natural sufficient condition for an intersection graph of compact convex sets in R^d to have a balanced separator of sublinear size. This condition generalizes several previous results on sublinear separators in intersection graphs. Furthermore, the argument used to prove the existence of sublinear separators is based on a connection with generalized coloring numbers which has not been previously explored in geometric settings. △ Less

Submitted 6 January, 2020; originally announced January 2020.

Comments: 23 pages, 5 figures

MSC Class: 05C62 (Primary) 05C10 (Secondary)

Coloring near-quadrangulations of the cylinder and the torus

Authors: Zdeněk Dvořák, Jakub Pekárek

Abstract: Let G be a simple connected plane graph and let C_1 and C_2 be cycles in G bounding distinct faces f_1 and f_2. For a positive integer l, let r(l) denote the number of integers n such that -l<=n<=l, n is divisible by 3, and n has the same parity as l; in particular, r(4)=1. Let r_{f_1,f_2}(G) be the product of r(|f|) over all faces f of G distinct from f_1 and f_2, and let q(G)=1+sum_{f:|f|\neq 4}… ▽ More Let G be a simple connected plane graph and let C_1 and C_2 be cycles in G bounding distinct faces f_1 and f_2. For a positive integer l, let r(l) denote the number of integers n such that -l<=n<=l, n is divisible by 3, and n has the same parity as l; in particular, r(4)=1. Let r_{f_1,f_2}(G) be the product of r(|f|) over all faces f of G distinct from f_1 and f_2, and let q(G)=1+sum_{f:|f|\neq 4} |f|, where the sum is over all faces f of G. We give an algorithm with time complexity O(r_{f_1,f_2}(G)q(G)|G|) which, given a 3-coloring psi of C_1 and C_2, either finds an extension of psi to a 3-coloring of G, or correctly decides no such extension exists. The algorithm is based on a min-max theorem for a variant of integer 2- commodity flows, and consequently in the negative case produces an obstruction to the existence of the extension. As a corollary, we show that every triangle-free graph drawn in the torus with edge-width at least 21 is 3-colorable. △ Less

Submitted 26 September, 2019; originally announced September 2019.

Comments: 34 pages, no figures

MSC Class: 05C15

Independence number in triangle-free graphs avoiding a minor

Authors: Zdeněk Dvořák, Liana Yepremyan

Abstract: The celebrated Hadwiger's conjecture states that if a graph contains no $K_{t+1}$ minor then it is $t$-colourable. If true, it would in particular imply that every $n$-vertex $K_{t+1}$-minor-free graph has an independent set of size at least $n/t$. In 1982, Duchet and Meyniel proved that this bound holds within a factor $2$. Their bound has been improved; most notably in an absolute factor by Fox,… ▽ More The celebrated Hadwiger's conjecture states that if a graph contains no $K_{t+1}$ minor then it is $t$-colourable. If true, it would in particular imply that every $n$-vertex $K_{t+1}$-minor-free graph has an independent set of size at least $n/t$. In 1982, Duchet and Meyniel proved that this bound holds within a factor $2$. Their bound has been improved; most notably in an absolute factor by Fox, which was later improved by Balogh and Kostochka. Here we consider the same question for triangle-free graphs. By the results of Shearer and Kostochka and Thomason, it follows that any triangle-free graph with no $K_t$ minor has an independent set of size $Ω(\tfrac{\sqrt{\log{t}}}{t}n)$. We show that a much larger independent set exists; for all sufficiently large $t$ every triangle-free graph on $n$ vertices with no $K_t$-minor has an independent set of size $ \tfrac{n}{t^{1-\varepsilon}}$. This answers a question of Sergey Norin. △ Less

Submitted 30 July, 2019; originally announced July 2019.

On fractional fragility rates of graph classes

Authors: Zdeněk Dvořák, Jean-Sébastien Sereni

Abstract: We consider, for every positive integer $a$, probability distributions on subsets of vertices of a graph with the property that every vertex belongs to the random set sampled from this distribution with probability at most $1/a$. Among other results, we prove that for every positive integer~$a$ and every planar graph $G$, there exists such a probability distribution with the additional property th… ▽ More We consider, for every positive integer $a$, probability distributions on subsets of vertices of a graph with the property that every vertex belongs to the random set sampled from this distribution with probability at most $1/a$. Among other results, we prove that for every positive integer~$a$ and every planar graph $G$, there exists such a probability distribution with the additional property that deleting the random set creates a graph with component-size at most $(Δ(G)-1)^{a+O(\sqrt{a})}$, or a graph with treedepth at most $O(a^3\log_2(a))$. We also provide nearly-matching lower bounds. △ Less

Submitted 29 July, 2019; originally announced July 2019.

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.

Coloring count cones of planar graphs

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

Abstract: For a plane near-triangulation $G$ with the outer face bounded by a cycle $C$, let $n^\star_G$ denote the function that to each $4$-coloring $ψ$ of $C$ assigns the number of ways $ψ$ extends to a $4$-coloring of $G$. The block-count reducibility argument (which has been developed in connection with attempted proofs of the Four Color Theorem) is equivalent to the statement that the function… ▽ More For a plane near-triangulation $G$ with the outer face bounded by a cycle $C$, let $n^\star_G$ denote the function that to each $4$-coloring $ψ$ of $C$ assigns the number of ways $ψ$ extends to a $4$-coloring of $G$. The block-count reducibility argument (which has been developed in connection with attempted proofs of the Four Color Theorem) is equivalent to the statement that the function $n^\star_G$ belongs to a certain cone in the space of all functions from $4$-colorings of $C$ to real numbers. We investigate the properties of this cone for $|C|=5$, formulate a conjecture strengthening the Four Color Theorem, and present evidence supporting this conjecture. △ Less

Submitted 25 October, 2021; v1 submitted 9 July, 2019; originally announced July 2019.

Comments: 18 pages, 9 figures

Graphs avoiding immersion of K_{3,3}

Authors: Zdeněk Dvořák, Michal Hruška

Abstract: DeVos and Malekian gave a structural description of graphs avoiding an immersion of K_{3,3}, showing that all such graphs are composed over small edge-cuts from graphs with at most 8 vertices and from 3-regular planar graphs. We provide another proof of this fact, simpler in some aspects. DeVos and Malekian gave a structural description of graphs avoiding an immersion of K_{3,3}, showing that all such graphs are composed over small edge-cuts from graphs with at most 8 vertices and from 3-regular planar graphs. We provide another proof of this fact, simpler in some aspects. △ Less

Submitted 21 March, 2019; originally announced March 2019.

Comments: 18 pages, 1 figure

MSC Class: 05C75

Bounded maximum degree conjecture holds precisely for $c$-crossing-critical graphs with $c \leq 12$

Authors: Drago Bokal, Zdeněk Dvořák, Petr Hliněný, Jesús Leaños, Bojan Mohar, Tilo Wiedera

Abstract: We study $c$-crossing-critical graphs, which are the minimal graphs that require at least $c$ edge-crossings when drawn in the plane. For every fixed pair of integers with $c\ge 13$ and $d\ge 1$, we give first explicit constructions of $c$-crossing-critical graphs containing a vertex of degree greater than $d$. We also show that such unbounded degree constructions do not exist for $c\le 12$, preci… ▽ More We study $c$-crossing-critical graphs, which are the minimal graphs that require at least $c$ edge-crossings when drawn in the plane. For every fixed pair of integers with $c\ge 13$ and $d\ge 1$, we give first explicit constructions of $c$-crossing-critical graphs containing a vertex of degree greater than $d$. We also show that such unbounded degree constructions do not exist for $c\le 12$, precisely, that there exists a constant $D$ such that every $c$-crossing-critical graph with $c\le 12$ has maximum degree at most $D$. Hence, the bounded maximum degree conjecture of $c$-crossing-critical graphs, which was generally disproved in 2010 by Dvořák and Mohar (without an explicit construction), holds true, surprisingly, exactly for the values $c\le 12.$ △ Less

Submitted 5 May, 2021; v1 submitted 13 March, 2019; originally announced March 2019.

Flexibility of planar graphs of girth at least six

Authors: Zdeněk Dvořák, Tomáš Masařík, Jan Musílek, Ondřej Pangrác

Abstract: Let G be a planar graph with a list assignment L. Suppose a preferred color is given for some of the vertices. We prove that if G has girth at least six and all lists have size at least three, then there exists an L-coloring respecting at least a constant fraction of the preferences. Let G be a planar graph with a list assignment L. Suppose a preferred color is given for some of the vertices. We prove that if G has girth at least six and all lists have size at least three, then there exists an L-coloring respecting at least a constant fraction of the preferences. △ Less

Submitted 11 February, 2019; originally announced February 2019.

Comments: 11 pages, no figures. arXiv admin note: text overlap with arXiv:1902.02971

MSC Class: 05C15

Journal ref: Journal of Graph Theory 95(3), 457-466 (2020)

Flexibility of triangle-free planar graphs

Authors: Zdeněk Dvořák, Tomáš Masařík, Jan Musílek, Ondřej Pangrác

Abstract: Let G be a planar graph with a list assignment L. Suppose a preferred color is given for some of the vertices. We prove that if G is triangle-free and all lists have size at least four, then there exists an L-coloring respecting at least a constant fraction of the preferences. Let G be a planar graph with a list assignment L. Suppose a preferred color is given for some of the vertices. We prove that if G is triangle-free and all lists have size at least four, then there exists an L-coloring respecting at least a constant fraction of the preferences. △ Less

Submitted 8 February, 2019; originally announced February 2019.

Comments: 28 pages, 5 figures

MSC Class: 05C15

Journal ref: Journal of Graph Theory 96(4), 619-641 (2021)

Baker game and polynomial-time approximation schemes

Authors: Zdeněk Dvořák

Abstract: Baker devised a technique to obtain approximation schemes for many optimization problems restricted to planar graphs; her technique was later extended to more general graph classes. In particular, using the Baker's technique and the minor structure theorem, Dawar et al. gave Polynomial-Time Approximation Schemes (PTAS) for all monotone optimization problems expressible in the first-order logic whe… ▽ More Baker devised a technique to obtain approximation schemes for many optimization problems restricted to planar graphs; her technique was later extended to more general graph classes. In particular, using the Baker's technique and the minor structure theorem, Dawar et al. gave Polynomial-Time Approximation Schemes (PTAS) for all monotone optimization problems expressible in the first-order logic when restricted to a proper minor-closed class of graphs. We define a Baker game formalizing the notion of repeated application of Baker's technique interspersed with vertex removal, prove that monotone optimization problems expressible in the first-order logic admit PTAS when restricted to graph classes in which the Baker game can be won in a constant number of rounds, and prove without use of the minor structure theorem that all proper minor-closed classes of graphs have this property. △ Less

Submitted 7 January, 2019; originally announced January 2019.

Comments: 27 pages, no figures

MSC Class: 05C85 (Primary) 05C83 (Secondary) ACM Class: G.2.2; F.2.2

1-subdivisions, fractional chromatic number and Hall ratio

Authors: Zdeněk Dvořák, Patrice Ossona de Mendez, Hehui Wu

Abstract: The Hall ratio of a graph G is the maximum of |V(H)|/alpha(H) over all subgraphs H of G. Clearly, the Hall ratio of a graph is a lower bound for the fractional chromatic number. It has been asked whether conversely, the fractional chromatic number is upper bounded by a function of the Hall ratio. We answer this question in negative, by showing two results of independent interest regarding 1-subdiv… ▽ More The Hall ratio of a graph G is the maximum of |V(H)|/alpha(H) over all subgraphs H of G. Clearly, the Hall ratio of a graph is a lower bound for the fractional chromatic number. It has been asked whether conversely, the fractional chromatic number is upper bounded by a function of the Hall ratio. We answer this question in negative, by showing two results of independent interest regarding 1-subdivisions (the 1-subdivision of a graph is obtained by subdividing each edge exactly once). * For every c > 0, every graph of sufficiently large average degree contains as a subgraph the 1-subdivision of a graph of fractional chromatic number at least c. * For every d > 0, there exists a graph G of average degree at least d such that every graph whose 1-subdivision appears as a subgraph of G has Hall ratio at most 18. We also discuss the consequences of these results in the context of graph classes with bounded expansion. △ Less

Submitted 30 January, 2020; v1 submitted 18 December, 2018; originally announced December 2018.

Comments: 14 pages, no figures; updated for reviewer remarks

MSC Class: 05C15 ACM Class: G.2.2

Fractional coloring of planar graphs of girth five

Authors: Zdeněk Dvořák, Xiaolan Hu

Abstract: A graph G is (a:b)-colorable if there exists an assignment of b-element subsets of {1,...,a} to vertices of G such that sets assigned to adjacent vertices are disjoint. We first show that for every triangle-free planar graph G and a vertex x of G, the graph G has a set coloring phi by subsets of {1,...,6} such that |phi(v)|>=2 for each vertex v of G and |phi(x)|=3. As a corollary, every triangle-f… ▽ More A graph G is (a:b)-colorable if there exists an assignment of b-element subsets of {1,...,a} to vertices of G such that sets assigned to adjacent vertices are disjoint. We first show that for every triangle-free planar graph G and a vertex x of G, the graph G has a set coloring phi by subsets of {1,...,6} such that |phi(v)|>=2 for each vertex v of G and |phi(x)|=3. As a corollary, every triangle-free planar graph on n vertices is (6n:2n+1)-colorable. We further use this result to prove that for every Delta, there exists a constant M_Delta such that every planar graph G of girth at least five and maximum degree Delta is (6M_Delta:2M_Delta+1)-colorable. Consequently, planar graphs of girth at least five with bounded maximum degree Delta have fractional chromatic number at most 3-3/(2M_Delta+1). △ Less

Submitted 14 September, 2018; originally announced September 2018.

Comments: 19 pages, 3 figures

MSC Class: 05C15 (Primary) 05C10 (Secondary) ACM Class: G.2.2

A $4$-choosable graph that is not $(8:2)$-choosable

Authors: Zdeněk Dvořák, Xiaolan Hu, Jean-Sébastien Sereni

Abstract: In 1980, Erdős, Rubin and Taylor asked whether for all positive integers $a$, $b$, and $m$, every $(a:b)$-choosable graph is also $(am:bm)$-choosable. We provide a negative answer by exhibiting a $4$-choosable graph that is not $(8:2)$-choosable. In 1980, Erdős, Rubin and Taylor asked whether for all positive integers $a$, $b$, and $m$, every $(a:b)$-choosable graph is also $(am:bm)$-choosable. We provide a negative answer by exhibiting a $4$-choosable graph that is not $(8:2)$-choosable. △ Less

Submitted 25 October, 2019; v1 submitted 11 June, 2018; originally announced June 2018.

MSC Class: 05C15

Journal ref: Advances in Combinatorics, 2019:5

(3a:a)-list-colorability of embedded graphs of girth at least five

Authors: Zdeněk Dvořák, Xiaolan Hu

Abstract: A graph G is list (b:a)-colorable if for every assignment of lists of size b to vertices of G, there exists a choice of an a-element subset of the list at each vertex such that the subsets chosen at adjacent vertices are disjoint. We prove that for every positive integer a, the family of minimal obstructions of girth at least five to list (3a:a)-colorability is strongly hyperbolic, in the sense of… ▽ More A graph G is list (b:a)-colorable if for every assignment of lists of size b to vertices of G, there exists a choice of an a-element subset of the list at each vertex such that the subsets chosen at adjacent vertices are disjoint. We prove that for every positive integer a, the family of minimal obstructions of girth at least five to list (3a:a)-colorability is strongly hyperbolic, in the sense of the hyperbolicity theory developed by Postle and Thomas. This has a number of consequences, e.g., that if a graph of girth at least five and Euler genus g is not list (3a:a)-colorable, then G contains a subgraph with O(g) vertices which is not list (3a:a) colorable. △ Less

Submitted 11 October, 2019; v1 submitted 29 May, 2018; originally announced May 2018.

Comments: 32 pages, no figures; updated for reviewer comments, added a more detailed hyperbolicity argument as an appendix

MSC Class: 05C15 ACM Class: G.2.2

Single-conflict colouring

Authors: Zdeněk Dvořák, Louis Esperet, Ross J. Kang, Kenta Ozeki

Abstract: Given a multigraph, suppose that each vertex is given a local assignment of $k$ colours to its incident edges. We are interested in whether there is a choice of one local colour per vertex such that no edge has both of its local colours chosen. The least $k$ for which this is always possible given any set of local assignments we call the {\em single-conflict chromatic number} of the graph. This pa… ▽ More Given a multigraph, suppose that each vertex is given a local assignment of $k$ colours to its incident edges. We are interested in whether there is a choice of one local colour per vertex such that no edge has both of its local colours chosen. The least $k$ for which this is always possible given any set of local assignments we call the {\em single-conflict chromatic number} of the graph. This parameter is closely related to separation choosability and adaptable choosability. We show that single-conflict chromatic number of simple graphs embeddable on a surface of Euler genus $g$ is $O(g^{1/4}\log g)$ as $g\to\infty$. This is sharp up to the logarithmic factor. △ Less

Submitted 9 October, 2020; v1 submitted 29 March, 2018; originally announced March 2018.

Comments: 15 pages; in v2, changed the main terminology, added one example, adjusted Conjecture 3; to appear in Journal of Graph Theory

MSC Class: 05C15

Structure and generation of crossing-critical graphs

Authors: Zdeněk Dvořák, Petr Hliněný, Bojan Mohar

Abstract: We study c-crossing-critical graphs, which are the minimal graphs that require at least c edge-crossings when drawn in the plane. For c=1 there are only two such graphs without degree-2 vertices, K_5 and K_3,3, but for any fixed c>1 there exist infinitely many c-crossing-critical graphs. It has been previously shown that c-crossing-critical graphs have bounded path-width and contain only a bounded… ▽ More We study c-crossing-critical graphs, which are the minimal graphs that require at least c edge-crossings when drawn in the plane. For c=1 there are only two such graphs without degree-2 vertices, K_5 and K_3,3, but for any fixed c>1 there exist infinitely many c-crossing-critical graphs. It has been previously shown that c-crossing-critical graphs have bounded path-width and contain only a bounded number of internally disjoint paths between any two vertices. We expand on these results, providing a more detailed description of the structure of crossing-critical graphs. On the way towards this description, we prove a new structural characterisation of plane graphs of bounded path-width. Then we show that every c-crossing-critical graph can be obtained from a c-crossing-critical graph of bounded size by replicating bounded-size parts that already appear in narrow "bands" or "fans" in the graph. This also gives an algorithm to generate all the c-crossing-critical graphs of at most given order n in polynomial time per each generated graph. △ Less

Submitted 5 March, 2018; originally announced March 2018.

Planar graphs without cycles of length 4 or 5 are (11:3)-colorable

Authors: Zdeněk Dvořák, Xiaolan Hu

Abstract: A graph G is (a:b)-colorable if there exists an assignment of b-element subsets of {1,...,a} to vertices of G such that sets assigned to adjacent vertices are disjoint. We show that every planar graph without cycles of length 4 or 5 is (11:3)-colorable, a weakening of recently disproved Steinberg's conjecture. In particular, each such graph with n vertices has an independent set of size at least 3… ▽ More A graph G is (a:b)-colorable if there exists an assignment of b-element subsets of {1,...,a} to vertices of G such that sets assigned to adjacent vertices are disjoint. We show that every planar graph without cycles of length 4 or 5 is (11:3)-colorable, a weakening of recently disproved Steinberg's conjecture. In particular, each such graph with n vertices has an independent set of size at least 3n/11. △ Less

Submitted 14 July, 2019; v1 submitted 12 February, 2018; originally announced February 2018.

Comments: 23 pages, 5 figures; incorporated reviewer remarks

MSC Class: 05C15 (Primary) 05C10 (Secondary) ACM Class: G.2.2

Irreducible 4-critical triangle-free toroidal graphs

Authors: Zdeněk Dvořák, Jakub Pekárek

Abstract: The theory of Dvorak, Kral, and Thomas (2015) shows that a 4-critical triangle-free graph embedded in the torus has only a bounded number of faces of length greater than 4 and that the size of these faces is also bounded. We study the natural reduction in such embedded graphs - identification of opposite vertices in 4-faces. We give a computer-assisted argument showing that there are exactly four… ▽ More The theory of Dvorak, Kral, and Thomas (2015) shows that a 4-critical triangle-free graph embedded in the torus has only a bounded number of faces of length greater than 4 and that the size of these faces is also bounded. We study the natural reduction in such embedded graphs - identification of opposite vertices in 4-faces. We give a computer-assisted argument showing that there are exactly four 4-critical triangle-free irreducible toroidal graphs in which this reduction cannot be applied without creating a triangle. Using this result, we show that every 4-critical triangle-free graph embedded in the torus has at most four 5-faces, or a 6-face and two 5-faces, or a 7-face and a 5-face, in addition to at least seven 4-faces. This result serves as a basis for the exact description of $4$-critical triangle-free toroidal graphs, which we present in a followup paper. △ Less

Submitted 31 January, 2018; originally announced January 2018.

Comments: 18 pages, 2 figures. Extended abstract appeared in proceedings of Eurocomb'17

MSC Class: 05C15

On generalized choice and coloring numbers

Authors: Zdeněk Dvořák, Jakub Pekárek, Jean-Sébastien Sereni

Abstract: A well-known result of Alon shows that the coloring number of a graph is bounded by a function of its choosability. We explore this relationship in a more general setting with relaxed assumptions on color classes, encoded by a graph parameter. A well-known result of Alon shows that the coloring number of a graph is bounded by a function of its choosability. We explore this relationship in a more general setting with relaxed assumptions on color classes, encoded by a graph parameter. △ Less

Submitted 26 February, 2019; v1 submitted 21 January, 2018; originally announced January 2018.

Comments: 17 pages, 2 figures

MSC Class: 05C15