Source author record

Zdeněk Dvořák

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CO Discrete Mathematics Computational Geometry

Catalog footprint

Research overview

19works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2023arXiv

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

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.

preprint2021arXiv

Coloring count cones of planar graphs

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.

preprint2020arXiv

1-subdivisions, fractional chromatic number and Hall ratio

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.

preprint2020arXiv

A note on sublinear separators and expansion

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.

preprint2020arXiv

A Thomassen-type method for planar graph recoloring

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$ .

preprint2020arXiv

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

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.

preprint2020arXiv

Characterization of 4-critical triangle-free toroidal graphs

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.

preprint2020arXiv

Notes on Graph Product Structure Theory

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.

preprint2019arXiv

Flexibility of planar graphs of girth at least six

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.

preprint2019arXiv

Flexibility of triangle-free planar graphs

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.

preprint2015arXiv

Complete graph immersions and minimum degree

An immersion of a graph H in another graph G is a one-to-one mapping phi:V(H)->V(G) and a collection of edge-disjoint paths in G, one for each edge of H, such that the path P_{uv} corresponding to the edge uv has endpoints phi(u) and phi(v). The immersion is strong if the paths P_{uv} are internally disjoint from phi(V(H)). We prove that every simple graph of minimum degree at least 11t+7 contains a strong immersion of the complete graph K_t. This improves on previously known bound of minimum degree at least 200t obtained by DeVos et al.

preprint2014arXiv

4-critical graphs on surfaces without contractible (<=4)-cycles

We show that if G is a 4-critical graph embedded in a fixed surface $Σ$ so that every contractible cycle has length at least 5, then G can be expressed as $G=G'\cup G_1\cup G_2\cup ... \cup G_k$ , where $|V(G')|$ and $k$ are bounded by a constant (depending linearly on the genus of $Σ$ ) and $G_1\ldots,G_k$ are graphs (of unbounded size) whose structure we describe exactly. The proof is computer-assisted - we use computer to enumerate all plane 4-critical graphs of girth 5 with a precolored cycle of length at most 16, that are used in the basic case of the inductive proof of the statement.

preprint2014arXiv

Fractional coloring of triangle-free planar graphs

We prove that every planar triangle-free graph on $n$ vertices has fractional chromatic number at most $3-\frac{1}{n+1/3}$ .

preprint2013arXiv

3-coloring triangle-free planar graphs with a precolored 8-cycle

Let G be a planar triangle-free graph and let C be a cycle in G of length at most 8. We characterize all situations where a 3-coloring of C does not extend to a proper 3-coloring of the whole graph.

preprint2013arXiv

A simplified discharging proof of Grötzsch theorem

In this note, we combine ideas of several previous proofs in order to obtain a quite short proof of Grötzsch theorem.

preprint2013arXiv

Immersion in four-edge-connected graphs

Fix g>1. Every graph of large enough tree-width contains a g x g grid as a minor; but here we prove that every four-edge-connected graph of large enough tree-width contains a g x g grid as an immersion (and hence contains any fixed graph with maximum degree at most four as an immersion). This result has a number of applications.

preprint2013arXiv

Planar 4-critical graphs with four triangles

By the Grunbaum-Aksenov Theorem (extending Grotzsch's Theorem) every planar graph with at most three triangles is 3-colorable. However, there are infinitely many planar 4-critical graphs with exactly four triangles. We describe all such graphs. This answers a question of Erdos from 1990.

preprint2011arXiv

Minimum degree condition forcing complete graph immersion

An immersion of a graph $H$ into a graph $G$ is a one-to-one mapping $f:V(H) \to V(G)$ and a collection of edge-disjoint paths in $G$ , one for each edge of $H$ , such that the path $P_{uv}$ corresponding to edge $uv$ has endpoints $f(u)$ and $f(v)$ . The immersion is strong if the paths $P_{uv}$ are internally disjoint from $f(V(H))$ . It is proved that for every positive integer $t$ , every simple graph of minimum degree at least $200t$ contains a strong immersion of the complete graph $K_t$ . For dense graphs one can say even more. If the graph has order $n$ and has $2cn^2$ edges, then there is a strong immersion of the complete graph on at least $c^2 n$ vertices in $G$ in which each path $P_{uv}$ is of length 2. As an application of these results, we resolve a problem raised by Paul Seymour by proving that the line graph of every simple graph with average degree $d$ has a clique minor of order at least $cd^{3/2}$ , where $c>0$ is an absolute constant. For small values of $t$ , $1\le t\le 7$ , every simple graph of minimum degree at least $t-1$ contains an immersion of $K_t$ (Lescure and Meyniel, DeVos et al.). We provide a general class of examples showing that this does not hold when $t$ is large.

preprint2011arXiv

Star chromatic index

The star chromatic index $χ_s'(G)$ of a graph $G$ is the minimum number of colors needed to properly color the edges of the graph so that no path or cycle of length four is bi-colored. We obtain a near-linear upper bound in terms of the maximum degree $Δ=Δ(G)$ . Our best lower bound on $χ_s'$ in terms of $Δ$ is $2Δ(1+o(1))$ valid for complete graphs. We also consider the special case of cubic graphs, for which we show that the star chromatic index lies between 4 and 7 and characterize the graphs attaining the lower bound. The proofs involve a variety of notions from other branches of mathematics and may therefore be of certain independent interest.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Zdeněk Dvořák

Research overview

Is this your work?

19 publications

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

Coloring count cones of planar graphs

1-subdivisions, fractional chromatic number and Hall ratio

A note on sublinear separators and expansion

A Thomassen-type method for planar graph recoloring

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

Characterization of 4-critical triangle-free toroidal graphs

Notes on Graph Product Structure Theory

Flexibility of planar graphs of girth at least six

Flexibility of triangle-free planar graphs

Complete graph immersions and minimum degree

4-critical graphs on surfaces without contractible (<=4)-cycles

Fractional coloring of triangle-free planar graphs

3-coloring triangle-free planar graphs with a precolored 8-cycle

A simplified discharging proof of Grötzsch theorem

Immersion in four-edge-connected graphs

Planar 4-critical graphs with four triangles

Minimum degree condition forcing complete graph immersion

Star chromatic index

See the researcher in context

Building this map preview

Zdeněk Dvořák

Research overview

Is this your work?

19 publications

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

Coloring count cones of planar graphs

1-subdivisions, fractional chromatic number and Hall ratio

A note on sublinear separators and expansion

A Thomassen-type method for planar graph recoloring

An update on reconfiguring 101010-colorings of planar graphs

Characterization of 4-critical triangle-free toroidal graphs

Notes on Graph Product Structure Theory

Flexibility of planar graphs of girth at least six

Flexibility of triangle-free planar graphs

Complete graph immersions and minimum degree

4-critical graphs on surfaces without contractible (<=4)-cycles

Fractional coloring of triangle-free planar graphs

3-coloring triangle-free planar graphs with a precolored 8-cycle

A simplified discharging proof of Grötzsch theorem

Immersion in four-edge-connected graphs

Planar 4-critical graphs with four triangles

Minimum degree condition forcing complete graph immersion

Star chromatic index

See the researcher in context

Building this map preview

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