Source author record

Wouter Cames van Batenburg

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

ResearcherUnclaimed source record

Catalog footprint

Research overview

6works
3topics
4close collaborators

Published work

6 publications

preprint2020arXiv

Bipartite induced density in triangle-free graphs

We prove that any triangle-free graph on nn vertices with minimum degree at least dd contains a bipartite induced subgraph of minimum degree at least d2/(2n)d^2/(2n). This is sharp up to a logarithmic factor in nn. Relatedly, we show that the fractional chromatic number of any such triangle-free graph is at most the minimum of n/dn/d and (2+o(1))n/log⁡n(2+o(1))\sqrt{n/\log n} as n→∞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⁡{n,(nlog⁡n)/d})O(\min\{\sqrt{n},(n\log n)/d\}) as n→∞n\to\infty. Relatedly, we also make two conjectures. First, any triangle-free graph on nn vertices has fractional chromatic number at most (2+o(1))n/log⁡n(\sqrt{2}+o(1))\sqrt{n/\log n} as n→∞n\to\infty. Second, any triangle-free graph on nn vertices has list chromatic number at most O(n/log⁡n)O(\sqrt{n/\log n}) as n→∞n\to\infty.

preprint2020arXiv

Erdős-Pósa from ball packing

A classic theorem of Erdős and Pósa (1965) states that every graph has either kk vertex-disjoint cycles or a set of O(klog⁡k)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 GG either contains kk edge-disjoint cycles of length at least ℓ\ell or an edge set FF of size O(kℓ⋅log⁡(kℓ))O(k\ell \cdot \log (k\ell)) such that G−FG-F has no cycle of length at least ℓ\ell. For fixed ℓ\ell, this improves on the previously best known bound of O(k2log⁡k+kℓ)O(k^2 \log k +k\ell).

preprint2020arXiv

Large independent sets in triangle-free cubic graphs: beyond planarity

Every nn-vertex planar triangle-free graph with maximum degree at most 33 has an independent set of size at least 38n\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 F\mathcal{F} of six nonplanar graphs (each of order at most 2222) and conjectured that every nn-vertex triangle-free graph with maximum degree at most 33 having no subgraph isomorphic to a member of F\mathcal{F} has an independent set of size at least 38n\frac{3}{8}n. In this paper, we prove this conjecture. As a corollary, we obtain that every 22-connected nn-vertex triangle-free graph with maximum degree at most 33 has an independent set of size at least 38n\frac{3}{8}n, with the exception of the six graphs in F\mathcal{F}. This confirms a conjecture made independently by Bajnok and Brinkmann, and by Fraughnaugh and Locke.

preprint2020arXiv

Structure and colour in triangle-free graphs

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 ⌈12χ⌉\lceil\frac12χ\rceil. This is sharp up to a factor 22. 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⁡χ)Ω(χ\logχ) as χ→∞χ\to\infty. Even if one only demands an induced path of length Ω(χlog⁡χ)Ω(χ\logχ), the conclusion would be sharp up to a constant multiple. We prove it for regular girth 55 graphs and for girth 2121 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>0c >0 such that for every forest HH on DD vertices, every triangle-free and induced HH-free graph has chromatic number at most cD/log⁡Dc D/\log D. We prove this assertion with `triangle-free' replaced by `regular girth 55'.

preprint2016arXiv

Packing graphs of bounded codegree

Two graphs G1G_1 and G2G_2 on nn vertices are said to pack if there exist injective mappings of their vertex sets into [n][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)≤n+1(Δ_1(G)+1) (Δ_2(G)+1) \le n+1, then G1G_1 and G2G_2 pack. We consider the validity of this assertion under the additional assumption that G1G_1 or G2G_2 has bounded codegree. In particular, we prove for all t≥2t \ge 2 that, if G1G_1 contains no copy of the complete bipartite graph K2,tK_{2,t} and Δ1>17t⋅Δ2Δ_1 > 17 t \cdot Δ_2, then (Δ1(G)+1)(Δ2(G)+1)≤n+1(Δ_1(G)+1) (Δ_2(G)+1) \le n+1 implies that G1G_1 and G2G_2 pack. We also provide a mild improvement if moreover G2G_2 contains no copy of the complete tripartite graph K1,1,sK_{1,1,s}, s≥1s\ge 1.

Research graph

See the researcher in context

Open full explorer

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.