Showing 1–40 of 40 results for author: Reed, B

Embedding Nearly Spanning Trees

Authors: Bruce Reed, Maya Stein

Abstract: The Erdős-Sós Conjecture states that every graph with average degree exceeding $k-1$ contains every tree with $k$ edges as a subgraph. We prove that there are $δ>0$ and $k_0\in\mathbb N$ such that the conjecture holds for every tree $T$ with $k \ge k_0$ edges and every graph $G$ with $|V(G)| \le (1+δ)|V(T)|$. The Erdős-Sós Conjecture states that every graph with average degree exceeding $k-1$ contains every tree with $k$ edges as a subgraph. We prove that there are $δ>0$ and $k_0\in\mathbb N$ such that the conjecture holds for every tree $T$ with $k \ge k_0$ edges and every graph $G$ with $|V(G)| \le (1+δ)|V(T)|$. △ Less

Submitted 24 May, 2024; originally announced May 2024.

Vertex Ranking of Degenerate Graphs

Authors: John Iacono, Piotr Micek, Pat Morin, Bruce Reed

Abstract: An $\ell$-vertex-ranking of a graph $G$ is a colouring of the vertices of $G$ with integer colours so that in any connected subgraph $H$ of $G$ with diameter at most $\ell$, there is a vertex in $H$ whose colour is larger than that of every other vertex in $H$. The $\ell$-vertex-ranking number, $χ_{\ell-\mathrm{vr}}(G)$, of $G$ is the minimum integer $k$ such that $G$ has an $\ell$-vertex-ranking… ▽ More An $\ell$-vertex-ranking of a graph $G$ is a colouring of the vertices of $G$ with integer colours so that in any connected subgraph $H$ of $G$ with diameter at most $\ell$, there is a vertex in $H$ whose colour is larger than that of every other vertex in $H$. The $\ell$-vertex-ranking number, $χ_{\ell-\mathrm{vr}}(G)$, of $G$ is the minimum integer $k$ such that $G$ has an $\ell$-vertex-ranking using $k$ colours. We prove that, for any fixed $d$ and $\ell$, every $d$-degenerate $n$-vertex graph $G$ satisfies $χ_{\ell-\mathrm{vr}}(G)= O(n^{1-2/(\ell+1)}\log n)$ if $\ell$ is even and $χ_{\ell-\mathrm{vr}}(G)= O(n^{1-2/\ell}\log n)$ if $\ell$ is odd. The case $\ell=2$ resolves (up to the $\log n$ factor) an open problem posed by \citet{karpas.neiman.ea:on} and the cases $\ell\in\{2,3\}$ are asymptotically optimal (up to the $\log n$ factor). △ Less

Submitted 25 April, 2024; originally announced April 2024.

Comments: 15 pages, zero figures

Linear bounds on treewidth in terms of excluded planar minors

Authors: J. Pascal Gollin, Kevin Hendrey, Sang-il Oum, Bruce Reed

Abstract: One of the fundamental results in graph minor theory is that for every planar graph $H$, there is a minimum integer $f(H)$ such that graphs with no minor isomorphic to $H$ have treewidth at most $f(H)$. A lower bound for ${f(H)}$ can be obtained by considering the maximum integer $k$ such that $H$ contains $k$ vertex-disjoint cycles. There exists a graph of treewidth ${Ω(k\log k)}$ which does not… ▽ More One of the fundamental results in graph minor theory is that for every planar graph $H$, there is a minimum integer $f(H)$ such that graphs with no minor isomorphic to $H$ have treewidth at most $f(H)$. A lower bound for ${f(H)}$ can be obtained by considering the maximum integer $k$ such that $H$ contains $k$ vertex-disjoint cycles. There exists a graph of treewidth ${Ω(k\log k)}$ which does not contain $k$ vertex-disjoint cycles, from which it follows that ${f(H) = Ω(k\log k)}$. In particular, if ${f(H)}$ is linear in ${\lvert{V(H)}\rvert}$ for graphs $H$ from a subclass of planar graphs, it is necessary that $n$-vertex graphs from the class contain at most ${O(n/\log(n))}$ vertex-disjoint cycles. We ask whether this is also a sufficient condition, and demonstrate that this is true for classes of planar graphs with bounded component size. For an $n$-vertex graph $H$ which is a disjoint union of $r$ cycles, we show that ${f(H) \leq 3n/2 + O(r^2 \log r)}$, and improve this to ${f(H) \leq n + O(\sqrt{n})}$ when ${r = 2}$. In particular this bound is linear when ${r=O(\sqrt{n}/\log(n))}$. We present a linear bound for ${f(H)}$ when $H$ is a subdivision of an $r$-edge planar graph for any constant $r$. We also improve the best known bounds for ${f(H)}$ when $H$ is the wheel graph or the ${4 \times 4}$ grid, obtaining a bound of $160$ for the latter. △ Less

Submitted 27 February, 2024; originally announced February 2024.

Comments: 18 pages

MSC Class: 05C83

Peaceful Colourings

Authors: Chun-Hung Liu, Bruce Reed

Abstract: We introduce peaceful colourings, a variant of $h$-conflict free colourings. We call a colouring with no monochromatic edges $p$-peaceful if for each vertex $v$, there are at most $p$ neighbours of $v$ coloured with a colour appearing on another neighbour of $v$. An $h$-conflict-free colouring of a graph is a (vertex)-colouring with no monochromatic edges so that for every vertex $v$, the number o… ▽ More We introduce peaceful colourings, a variant of $h$-conflict free colourings. We call a colouring with no monochromatic edges $p$-peaceful if for each vertex $v$, there are at most $p$ neighbours of $v$ coloured with a colour appearing on another neighbour of $v$. An $h$-conflict-free colouring of a graph is a (vertex)-colouring with no monochromatic edges so that for every vertex $v$, the number of neighbours of $v$ which are coloured with a colour appearing on no other neighbour of $v$ is at least the minimum of $h$ and the degree of $v$. If $G$ is $Δ$-regular then it has an $h$-conflict free colouring precisely if it has a $(Δ-h)$-peaceful colouring. We focus on the minimum $p_Δ$ of those $p$ for which every graph of maximum degree $Δ$ has a $p$-peaceful colouring with $Δ+1$ colours. We show that $p_Δ> (1-\frac{1}{e}-o(1))Δ$ and that for graphs of bounded codegree, $p_Δ\leq (1-\frac{1}{e}+o(1))Δ$. We ask if the latter result can be improved by drop** the bound on the codegree. As a partial result, we show that $p_Δ\leq \frac{8000}{8001}Δ$ for sufficiently large $Δ$. △ Less

Submitted 15 February, 2024; originally announced February 2024.

Asymptotically Optimal Proper Conflict-Free Colouring

Authors: Chun-Hung Liu, Bruce Reed

Abstract: A proper conflict-free colouring of a graph is a colouring of the vertices such that any two adjacent vertices receive different colours, and for every non-isolated vertex $v$, some colour appears exactly once on the neighbourhood of $v$. Caro, Petruševski and Škrekovski conjectured that every connected graph with maximum degree $Δ\geq 3$ has a proper conflict-free colouring with at most $Δ+1$ col… ▽ More A proper conflict-free colouring of a graph is a colouring of the vertices such that any two adjacent vertices receive different colours, and for every non-isolated vertex $v$, some colour appears exactly once on the neighbourhood of $v$. Caro, Petruševski and Škrekovski conjectured that every connected graph with maximum degree $Δ\geq 3$ has a proper conflict-free colouring with at most $Δ+1$ colours. This conjecture holds for $Δ=3$ and remains open for $Δ\geq 4$. In this paper we prove that this conjecture holds asymptotically; namely, every graph with maximum degree $Δ$ has a proper conflict-free colouring with $(1+o(1))Δ$ colours. △ Less

Submitted 4 January, 2024; originally announced January 2024.

The Speed and Threshold of the Biased Hamilton Cycle Game

Authors: Noah Brustle, Sarah Clusiau, Vishnu V. Narayan, Ndiamé Ndiaye, Bruce Reed, Ben Seamone

Abstract: We show that there is a constant C such that for any $b<\frac{n}{\ln{n}}-\frac{Cn}{(\ln{n})^{3/2}}$, Maker wins the Maker-Breaker Hamilton cycle game in $n+\frac{Cn}{\sqrt{\ln{n}}}$ steps. We show that there is a constant C such that for any $b<\frac{n}{\ln{n}}-\frac{Cn}{(\ln{n})^{3/2}}$, Maker wins the Maker-Breaker Hamilton cycle game in $n+\frac{Cn}{\sqrt{\ln{n}}}$ steps. △ Less

Submitted 8 December, 2020; originally announced December 2020.

Comments: 11 pages

MSC Class: 05C57

The Speed and Threshold of the Biased Perfect Matching Game

Authors: Noah Brustle, Sarah Clusiau, Vishnu V. Narayan, Ndiamé Ndiaye, Bruce Reed, Ben Seamone

Abstract: We show that Maker wins the Maker-Breaker perfect matching game in $\frac{n}{2}+o(n)$ turns when the bias is at least $\frac{n}{\log{n}}-\frac{f(n)n}{(\log{n})^{5/4}}$, for any $f$ going to infinity with $n$ and $n$ sufficiently large (in terms of $f$). We show that Maker wins the Maker-Breaker perfect matching game in $\frac{n}{2}+o(n)$ turns when the bias is at least $\frac{n}{\log{n}}-\frac{f(n)n}{(\log{n})^{5/4}}$, for any $f$ going to infinity with $n$ and $n$ sufficiently large (in terms of $f$). △ Less

Submitted 8 December, 2020; originally announced December 2020.

Comments: 13 pages, 1 figure

MSC Class: 05C57

Tight Bounds on the Clique Chromatic Number

Authors: Gwenaël Joret, Piotr Micek, Bruce Reed, Michiel Smid

Abstract: The clique chromatic number of a graph is the minimum number of colours needed to colour its vertices so that no inclusion-wise maximal clique which is not an isolated vertex is monochromatic. We show that every graph of maximum degree $Δ$ has clique chromatic number $O\left(\fracΔ{\log~Δ}\right)$. We obtain as a corollary that every $n$-vertex graph has clique chromatic number… ▽ More The clique chromatic number of a graph is the minimum number of colours needed to colour its vertices so that no inclusion-wise maximal clique which is not an isolated vertex is monochromatic. We show that every graph of maximum degree $Δ$ has clique chromatic number $O\left(\fracΔ{\log~Δ}\right)$. We obtain as a corollary that every $n$-vertex graph has clique chromatic number $O\left(\sqrt{\frac{n}{\log ~n}}\right)$. Both these results are tight. △ Less

Submitted 25 August, 2021; v1 submitted 19 June, 2020; originally announced June 2020.

Comments: v2: revised following referees' comments

Journal ref: Electronic Journal of Combinatorics, 28/3:P3.51, 2021

Notes on Tree- and Path-chromatic Number

Authors: Tony Huynh, Bruce Reed, David R. Wood, Liana Yepremyan

Abstract: Tree-chromatic number is a chromatic version of treewidth, where the cost of a bag in a tree-decomposition is measured by its chromatic number rather than its size. Path-chromatic number is defined analogously. These parameters were introduced by Seymour (JCTB 2016). In this paper, we survey all the known results on tree- and path-chromatic number and then present some new results and conjectures.… ▽ More Tree-chromatic number is a chromatic version of treewidth, where the cost of a bag in a tree-decomposition is measured by its chromatic number rather than its size. Path-chromatic number is defined analogously. These parameters were introduced by Seymour (JCTB 2016). In this paper, we survey all the known results on tree- and path-chromatic number and then present some new results and conjectures. In particular, we propose a version of Hadwiger's Conjecture for tree-chromatic number. As evidence that our conjecture may be more tractable than Hadwiger's Conjecture, we give a short proof that every $K_5$-minor-free graph has tree-chromatic number at most $4$, which avoids the Four Colour Theorem. We also present some hardness results and conjectures for computing tree- and path-chromatic number. △ Less

Submitted 9 July, 2020; v1 submitted 13 February, 2020; originally announced February 2020.

Comments: 11 pages, 0 figures

MSC Class: 05C83; 05C15; 05C05; 05C10; 05C85

A lower bound on the average degree forcing a minor

Authors: Sergey Norin, Bruce Reed, Andrew Thomason, David R. Wood

Abstract: We show that for sufficiently large $d$ and for $t\geq d+1$, there is a graph $G$ with average degree $(1-\varepsilon)λt \sqrt{\ln d}$ such that almost every graph $H$ with $t$ vertices and average degree $d$ is not a minor of $G$, where $λ=0.63817\dots$ is an explicitly defined constant. This generalises analogous results for complete graphs by Thomason (2001) and for general dense graphs by Myer… ▽ More We show that for sufficiently large $d$ and for $t\geq d+1$, there is a graph $G$ with average degree $(1-\varepsilon)λt \sqrt{\ln d}$ such that almost every graph $H$ with $t$ vertices and average degree $d$ is not a minor of $G$, where $λ=0.63817\dots$ is an explicitly defined constant. This generalises analogous results for complete graphs by Thomason (2001) and for general dense graphs by Myers and Thomason (2005). It also shows that an upper bound for sparse graphs by Reed and Wood (2016) is best possible up to a constant factor. △ Less

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

Journal ref: Electronic Journal of Combinatorics 27;P2.4, 2020

Spanning Trees in Graphs of High Minimum Degree with a Universal Vertex II: A Tight Result

Authors: Bruce Reed, Maya Stein

Abstract: We prove that, if $m$ is sufficiently large, every graph on $m+1$ vertices that has a universal vertex and minimum degree at least $\lfloor \frac{2m}{3} \rfloor$ contains each tree $T$ with $m$ edges as a subgraph. Our result confirms, for large $m$, an important special case of a conjecture by Havet, Reed, Stein, and Wood. The present paper builds on the results of a companion paper in which we p… ▽ More We prove that, if $m$ is sufficiently large, every graph on $m+1$ vertices that has a universal vertex and minimum degree at least $\lfloor \frac{2m}{3} \rfloor$ contains each tree $T$ with $m$ edges as a subgraph. Our result confirms, for large $m$, an important special case of a conjecture by Havet, Reed, Stein, and Wood. The present paper builds on the results of a companion paper in which we proved the statement for all trees having a vertex that is adjacent to many leaves. △ Less

Submitted 20 July, 2022; v1 submitted 23 May, 2019; originally announced May 2019.

Comments: 31 pages

Spanning Trees in Graphs of High Minimum Degree with a Universal Vertex I: An Asymptotic Result

Authors: Bruce Reed, Maya Stein

Abstract: In this paper and a companion paper, we prove that, if $m$ is sufficiently large, every graph on $m+1$ vertices that has a universal vertex and minimum degree at least $\lfloor \frac{2m}{3} \rfloor$ contains each tree $T$ with $m$ edges as a subgraph. Our result confirms, for large $m$, an important special case of a recent conjecture by Havet, Reed, Stein, and Wood. The present paper already cont… ▽ More In this paper and a companion paper, we prove that, if $m$ is sufficiently large, every graph on $m+1$ vertices that has a universal vertex and minimum degree at least $\lfloor \frac{2m}{3} \rfloor$ contains each tree $T$ with $m$ edges as a subgraph. Our result confirms, for large $m$, an important special case of a recent conjecture by Havet, Reed, Stein, and Wood. The present paper already contains an approximate version of the result. △ Less

Submitted 20 July, 2022; v1 submitted 23 May, 2019; originally announced May 2019.

Comments: 59 pages

Cops and robbers on oriented toroidal grids

Authors: Sebastian Gonzalez Hermosillo de la Maza, Seyyed Aliasghar Hosseini, Fiachra Knox, Bojan Mohar, Bruce Reed

Abstract: The game of cops and robbers is a well-known game played on graphs. In this paper we consider the straight-ahead orientations of 4-regular quadrangulations of the torus and the Klein bottle and we prove that their cop number is bounded by a constant. We also show that the cop number of every k-regularly oriented toroidal grid is at most 13. The game of cops and robbers is a well-known game played on graphs. In this paper we consider the straight-ahead orientations of 4-regular quadrangulations of the torus and the Klein bottle and we prove that their cop number is bounded by a constant. We also show that the cop number of every k-regularly oriented toroidal grid is at most 13. △ Less

Submitted 11 May, 2020; v1 submitted 22 April, 2019; originally announced April 2019.

A logarithmic bound for the chromatic number of the associahedron

Authors: Louigi Addario Berry, Bruce Reed, Alex Scott, David R. Wood

Abstract: We show that the chromatic number of the $n$-dimensional associahedron grows at most logarithmically with $n$, improving a bound from and proving a conjecture of Fabila-Monroy et al. (2009). We show that the chromatic number of the $n$-dimensional associahedron grows at most logarithmically with $n$, improving a bound from and proving a conjecture of Fabila-Monroy et al. (2009). △ Less

Submitted 21 November, 2018; originally announced November 2018.

Comments: 11 pages

MSC Class: 52B05; 05C15

Finding Maximal Sets of Laminar 3-Separators in Planar Graphs in Linear Time

Authors: David Eppstein, Bruce Reed

Abstract: We consider decomposing a 3-connected planar graph $G$ using laminar separators of size three. We show how to find a maximal set of laminar 3-separators in such a graph in linear time. We also discuss how to find maximal laminar set of 3-separators from special families. For example we discuss non-trivial cuts, ie. cuts which split $G$ into two components of size at least two. For any vertex $v$,… ▽ More We consider decomposing a 3-connected planar graph $G$ using laminar separators of size three. We show how to find a maximal set of laminar 3-separators in such a graph in linear time. We also discuss how to find maximal laminar set of 3-separators from special families. For example we discuss non-trivial cuts, ie. cuts which split $G$ into two components of size at least two. For any vertex $v$, we also show how to find a maximal set of 3-separators disjoint from $v$ which are laminar and satisfy: every vertex in a separator $X$ has two neighbours not in the unique component of $G-X$ containing $v$. In all cases, we show how to construct a corresponding tree decomposition of adhesion three. Our new algorithms form an important component of recent methods for finding disjoint paths in nonplanar graphs. △ Less

Submitted 17 October, 2018; originally announced October 2018.

Comments: 25 pages, 10 figures. To appear in the Proceedings of the 30th ACM-SIAM Symposium on Discrete Algorithms (SODA 2019)

ACM Class: F.2.2

Almost all string graphs are intersection graphs of plane convex sets

Authors: János Pach, Bruce Reed, Yelena Yuditsky

Abstract: A {\em string graph} is the intersection graph of a family of continuous arcs in the plane. The intersection graph of a family of plane convex sets is a string graph, but not all string graphs can be obtained in this way. We prove the following structure theorem conjectured by Janson and Uzzell: The vertex set of {\em almost all} string graphs on $n$ vertices can be partitioned into {\em five} cli… ▽ More A {\em string graph} is the intersection graph of a family of continuous arcs in the plane. The intersection graph of a family of plane convex sets is a string graph, but not all string graphs can be obtained in this way. We prove the following structure theorem conjectured by Janson and Uzzell: The vertex set of {\em almost all} string graphs on $n$ vertices can be partitioned into {\em five} cliques such that some pair of them is not connected by any edge ($n\rightarrow\infty$). We also show that every graph with the above property is an intersection graph of plane convex sets. As a corollary, we obtain that {\em almost all} string graphs on $n$ vertices are intersection graphs of plane convex sets. △ Less

Submitted 18 March, 2018; originally announced March 2018.

Comments: This is the full version of a paper appearing in the proceedings of SoCG 2018

Near-domination in graphs

Authors: Bruce Reed, Alex Scott, Paul Seymour

Abstract: A vertex u of a graph t-dominates a vertex v if there are at most t vertices different from u,v that are adjacent to v and not to u; and a graph is t-dominating if for every pair of distinct vertices, one of them t-dominates the other. Our main result says that if a graph is t-dominating, then it is close (in an appropriate sense) to being 0-dominating. We also show that an analogous statement for… ▽ More A vertex u of a graph t-dominates a vertex v if there are at most t vertices different from u,v that are adjacent to v and not to u; and a graph is t-dominating if for every pair of distinct vertices, one of them t-dominates the other. Our main result says that if a graph is t-dominating, then it is close (in an appropriate sense) to being 0-dominating. We also show that an analogous statement for digraphs is false; and discuss some connections with the Erdos-Hajnal conjecture. △ Less

Submitted 28 February, 2019; v1 submitted 18 October, 2017; originally announced October 2017.

Building your path to escape from home

Authors: Daniel R. Figueiredo, Giulio Iacobelli, Roberto I. Oliveira, Bruce Reed, Rodrigo Ribeiro

Abstract: Random walks on dynamic graphs have received increasingly more attention from different academic communities over the last decade. Despite the relatively large literature, little is known about random walks that construct the graph where they walk while moving around. In this paper we study one of the simplest conceivable discrete time models of this kind, which works as follows: before every walk… ▽ More Random walks on dynamic graphs have received increasingly more attention from different academic communities over the last decade. Despite the relatively large literature, little is known about random walks that construct the graph where they walk while moving around. In this paper we study one of the simplest conceivable discrete time models of this kind, which works as follows: before every walker step, with probability $p$ a new leaf is added to the vertex currently occupied by the walker. The model grows trees and we call it the Bernoulli Growth Random Walk (BGRW). We show that the BGRW walker is transient and has a well-defined linear speed $c(p)>0$ for any $0<p\leq 1$. We also show that the tree as seen by the walker converges (in a suitable sense) to a random tree that is one-ended. Some natural open problems about this tree and variants of our model are collected at the end of the paper. △ Less

Submitted 2 February, 2019; v1 submitted 29 September, 2017; originally announced September 2017.

Comments: We greatly expanded the scope and generality of all the results, including linear speed and local weak convergence of the tree seen by the walker

MSC Class: 05C80; 05C81;

Notes on Growing a Tree in a Graph

Authors: Luc Devroye, Vida Dujmović, Alan Frieze, Abbas Mehrabian, Pat Morin, Bruce Reed

Abstract: We study the height of a spanning tree $T$ of a graph $G$ obtained by starting with a single vertex of $G$ and repeatedly selecting, uniformly at random, an edge of $G$ with exactly one endpoint in $T$ and adding this edge to $T$. We study the height of a spanning tree $T$ of a graph $G$ obtained by starting with a single vertex of $G$ and repeatedly selecting, uniformly at random, an edge of $G$ with exactly one endpoint in $T$ and adding this edge to $T$. △ Less

Submitted 4 July, 2017; v1 submitted 30 June, 2017; originally announced July 2017.

Comments: Updated grant acknowledgement

Colourings with Bounded Monochromatic Components in Graphs of Given Circumference

Authors: Bojan Mohar, Bruce Reed, David R. Wood

Abstract: We prove that every graph with circumference at most $k$ is $O(\log k)$-colourable such that every monochromatic component has size at most $O(k)$. The $O(\log k)$ bound on the number of colours is best possible, even in the setting of colourings with bounded monochromatic degree. We prove that every graph with circumference at most $k$ is $O(\log k)$-colourable such that every monochromatic component has size at most $O(k)$. The $O(\log k)$ bound on the number of colours is best possible, even in the setting of colourings with bounded monochromatic degree. △ Less

Submitted 16 January, 2017; v1 submitted 16 December, 2016; originally announced December 2016.

Journal ref: Australasian J. Combinatorics 69.2:236-242, 2017

A Variant of the Erdős-Sós Conjecture

Authors: Frédéric Havet, Bruce Reed, Maya Stein, David R. Wood

Abstract: A well-known conjecture of Erdős and Sós states that every graph with average degree exceeding $m-1$ contains every tree with $m$ edges as a subgraph. We propose a variant of this conjecture, which states that every graph of maximum degree exceeding $m$ and minimum degree at least $\lfloor \frac{2m}{3}\rfloor$ contains every tree with $m$ edges. As evidence for our conjecture we show (i) for eve… ▽ More A well-known conjecture of Erdős and Sós states that every graph with average degree exceeding $m-1$ contains every tree with $m$ edges as a subgraph. We propose a variant of this conjecture, which states that every graph of maximum degree exceeding $m$ and minimum degree at least $\lfloor \frac{2m}{3}\rfloor$ contains every tree with $m$ edges. As evidence for our conjecture we show (i) for every $m$ there is a $g(m)$ such that the weakening of the conjecture obtained by replacing $m$ by $g(m)$ holds, and (ii) there is a $γ>0$ such that the weakening of the conjecture obtained by replacing $\lfloor \frac{2m}{3}\rfloor$ by $(1-γ)m$ holds. △ Less

Submitted 8 October, 2019; v1 submitted 30 June, 2016; originally announced June 2016.

Journal ref: Journal of Graph Theory 94.1:131-158, 2020

How to determine if a random graph with a fixed degree sequence has a giant component

Authors: Felix Joos, Guillem Perarnau, Dieter Rautenbach, Bruce Reed

Abstract: For a fixed degree sequence $\mathcal{D}=(d_1,...,d_n)$, let $G(\mathcal{D})$ be a uniformly chosen (simple) graph on $\{1,...,n\}$ where the vertex $i$ has degree $d_i$. In this paper we determine whether $G(\mathcal{D})$ has a giant component with high probability, essentially imposing no conditions on $\mathcal{D}$. We simply insist that the sum of the degrees in $\mathcal{D}$ which are not 2 i… ▽ More For a fixed degree sequence $\mathcal{D}=(d_1,...,d_n)$, let $G(\mathcal{D})$ be a uniformly chosen (simple) graph on $\{1,...,n\}$ where the vertex $i$ has degree $d_i$. In this paper we determine whether $G(\mathcal{D})$ has a giant component with high probability, essentially imposing no conditions on $\mathcal{D}$. We simply insist that the sum of the degrees in $\mathcal{D}$ which are not 2 is at least $λ(n)$ for some function $λ$ going to infinity with $n$. This is a relatively minor technical condition, and when $\mathcal{D}$ does not satisfy it, both the probability that $G(\mathcal{D})$ has a giant component and the probability that $G(\mathcal{D})$ has no giant component are bounded away from $1$. △ Less

Submitted 31 January, 2017; v1 submitted 14 January, 2016; originally announced January 2016.

Comments: 42 pages, to appear in Probability Theory and Related Fields

Connectivity Preserving Iterative Compaction and Finding 2 Disjoint Rooted Paths in Linear Time

Authors: Ken-ichi Kawarabayashi, Zhentao Li, Bruce Reed

Abstract: In this paper we show how to combine two algorithmic techniques to obtain linear time algorithms for various optimization problems on graphs, and present a subroutine which will be useful in doing so. The first technique is iterative shrinking. In the first phase of an iterative shrinking algorithm, we construct a sequence of graphs of decreasing size $G_1,\ldots,G_\ell$ where $G_1$ is the initi… ▽ More In this paper we show how to combine two algorithmic techniques to obtain linear time algorithms for various optimization problems on graphs, and present a subroutine which will be useful in doing so. The first technique is iterative shrinking. In the first phase of an iterative shrinking algorithm, we construct a sequence of graphs of decreasing size $G_1,\ldots,G_\ell$ where $G_1$ is the initial input, $G_\ell$ is a graph on which the problem is easy, and $G_i$ is obtained from $G_{i+1}$ via some shrinking algorithm. In the second phase we work through the sequence in reverse, repeatedly constructing a solution for a graph from the solution for its successor. In an iterative compaction algorithm, we insist that the graphs decrease by a constant fraction of the entire graph. Another approach to solving optimization problems is to exploit the structural properties implied by the connectivity of the input graph. This approach can be used on graphs which are not highly connected by decomposing an input graph into its highly connected pieces, solving subproblems on these specially structured pieces and then combining their solutions. We combine these two techniques by develo** compaction algorithms which when applied to the highly connected pieces preserve their connectivity properties. The structural properties this connectivity implies can be helpful both in finding further compactions in later iterations and when we are manipulating solutions in the second phase of an iterative compaction algorithm. To illustrate how this compaction algorithm can be used as a subroutine, we present a linear time algorithm that given four vertices $\{s_1,s_2,t_1,t_2\}$ of a graph $G$, either finds a pair of disjoint paths $P_1$ and $P_2$ of $G$ such that $P_i$ has endpoints $s_i$ and $t_i$, or returns a planar embedding of an auxiliary graph which shows that no such pair exists. △ Less

Submitted 25 September, 2015; originally announced September 2015.

Comments: 83 pages, 1 figure

MSC Class: 05C83; 05C85 ACM Class: G.2.2

Acyclic edge colourings of graphs with large girth

Authors: Xing Shi Cai, Guillem Perarnau, Bruce Reed, Adam Bene Watts

Abstract: An edge colouring of a graph $G$ is called acyclic if it is proper and every cycle contains at least three colours. We show that for every $\varepsilon>0$, there exists a $g=g(\varepsilon)$ such that if $G$ has girth at least $g$ then $G$ admits an acyclic edge colouring with at most $(1+\varepsilon)Δ$ colours. An edge colouring of a graph $G$ is called acyclic if it is proper and every cycle contains at least three colours. We show that for every $\varepsilon>0$, there exists a $g=g(\varepsilon)$ such that if $G$ has girth at least $g$ then $G$ admits an acyclic edge colouring with at most $(1+\varepsilon)Δ$ colours. △ Less

Submitted 23 June, 2016; v1 submitted 11 November, 2014; originally announced November 2014.

Comments: 25 pages

A Density Version of the Corradi-Hajnal Theorem

Authors: Dieter Rautenbach, Bruce Reed

Abstract: For every positive integer $k$, we show that every graph of order $n$ at least $3k$ with more than $$\max\{{2k-1\choose 2}+(2k-1)(n-(2k-1)),{3k-1\choose 2}+(n-(3k-1))\}$$ edges has $k$ vertex disjoint cycles, which is a best possible density version of a theorem of Corrádi and Hajnal. For every positive integer $k$, we show that every graph of order $n$ at least $3k$ with more than $$\max\{{2k-1\choose 2}+(2k-1)(n-(2k-1)),{3k-1\choose 2}+(n-(3k-1))\}$$ edges has $k$ vertex disjoint cycles, which is a best possible density version of a theorem of Corrádi and Hajnal. △ Less

Submitted 2 October, 2014; v1 submitted 1 October, 2014; originally announced October 2014.

Comments: This paper has been withdrawn by the authors. We were told by Andrew Treglown that Justesen proved the same in 1988

Existence of spanning $\mathcal{F}$-free subgraphs with large minimum degree

Authors: Guillem Perarnau, Bruce Reed

Abstract: Let $\mathcal{F}$ be a family of fixed graphs and let $d$ be large enough. For every $d$-regular graph $G$, we study the existence of a spanning $\mathcal{F}$-free subgraph of $G$ with large minimum degree. This problem is well-understood if $\mathcal{F}$ does not contain bipartite graphs. Here we provide asymptotically tight results for many families of bipartite graphs such as cycles or complete… ▽ More Let $\mathcal{F}$ be a family of fixed graphs and let $d$ be large enough. For every $d$-regular graph $G$, we study the existence of a spanning $\mathcal{F}$-free subgraph of $G$ with large minimum degree. This problem is well-understood if $\mathcal{F}$ does not contain bipartite graphs. Here we provide asymptotically tight results for many families of bipartite graphs such as cycles or complete bipartite graphs. △ Less

Submitted 9 December, 2016; v1 submitted 30 April, 2014; originally announced April 2014.

Comments: 22 pages

Forcing a sparse minor

Authors: Bruce Reed, David R. Wood

Abstract: This paper addresses the following question for a given graph $H$: what is the minimum number $f(H)$ such that every graph with average degree at least $f(H)$ contains $H$ as a minor? Due to connections with Hadwiger's Conjecture, this question has been studied in depth when $H$ is a complete graph. Kostochka and Thomason independently proved that $f(K_t)=ct\sqrt{\ln t}$. More generally, Myers and… ▽ More This paper addresses the following question for a given graph $H$: what is the minimum number $f(H)$ such that every graph with average degree at least $f(H)$ contains $H$ as a minor? Due to connections with Hadwiger's Conjecture, this question has been studied in depth when $H$ is a complete graph. Kostochka and Thomason independently proved that $f(K_t)=ct\sqrt{\ln t}$. More generally, Myers and Thomason determined $f(H)$ when $H$ has a super-linear number of edges. We focus on the case when $H$ has a linear number of edges. Our main result, which complements the result of Myers and Thomason, states that if $H$ has $t$ vertices and average degree $d$ at least some absolute constant, then $f(H)\leq 3.895\sqrt{\ln d}\,t$. Furthermore, motivated by the case when $H$ has small average degree, we prove that if $H$ has $t$ vertices and $q$ edges, then $f(H) \leq t+6.291q$ (where the coefficient of 1 in the $t$ term is best possible). △ Less

Submitted 6 May, 2015; v1 submitted 2 February, 2014; originally announced February 2014.

Journal ref: Combinator. Probab. Comp. 25 (2016) 300-322

Claw-free graphs, skeletal graphs, and a stronger conjecture on $ω$, $Δ$, and $χ$

Authors: Andrew D. King, Bruce A. Reed

Abstract: The second author's $ω$, $Δ$, $χ$ conjecture proposes that every graph satisties $χ\leq \lceil \frac 12 (Δ+1+ω)\rceil$. In this paper we prove that the conjecture holds for all claw-free graphs. Our approach uses the structure theorem of Chudnovsky and Seymour. Along the way we discuss a stronger local conjecture, and prove that it holds for claw-free graphs with a three-colourable complement. T… ▽ More The second author's $ω$, $Δ$, $χ$ conjecture proposes that every graph satisties $χ\leq \lceil \frac 12 (Δ+1+ω)\rceil$. In this paper we prove that the conjecture holds for all claw-free graphs. Our approach uses the structure theorem of Chudnovsky and Seymour. Along the way we discuss a stronger local conjecture, and prove that it holds for claw-free graphs with a three-colourable complement. To prove our results we introduce a very useful $χ$-preserving reduction on homogeneous pairs of cliques, and thus restrict our view to so-called "skeletal" graphs. △ Less

Submitted 12 December, 2012; originally announced December 2012.

Comments: 32 pages, 6 figures

A Proof of a Conjecture of Ohba

Authors: Jonathan A. Noel, Bruce A. Reed, Hehui Wu

Abstract: We prove a conjecture of Ohba which says that every graph $G$ on at most $2χ(G)+1$ vertices satisfies $χ_\ell(G)=χ(G)$. We prove a conjecture of Ohba which says that every graph $G$ on at most $2χ(G)+1$ vertices satisfies $χ_\ell(G)=χ(G)$. △ Less

Submitted 4 February, 2014; v1 submitted 8 November, 2012; originally announced November 2012.

Comments: 21 pages

MSC Class: 05C15 ACM Class: G.2.2

A short proof that $χ$ can be bounded $ε$ away from $Δ+1$ towards $ω$

Authors: Andrew D. King, Bruce A. Reed

Abstract: In 1998 the second author proved that there is an $ε>0$ such that every graph satisfies $χ\leq \lceil (1-ε)(Δ+1)+εω\rceil$. The first author recently proved that any graph satisfying $ω> \frac 23(Δ+1)$ contains a stable set intersecting every maximum clique. In this note we exploit the latter result to give a much shorter, simpler proof of the former. We include, as a certificate of simplicity, an… ▽ More In 1998 the second author proved that there is an $ε>0$ such that every graph satisfies $χ\leq \lceil (1-ε)(Δ+1)+εω\rceil$. The first author recently proved that any graph satisfying $ω> \frac 23(Δ+1)$ contains a stable set intersecting every maximum clique. In this note we exploit the latter result to give a much shorter, simpler proof of the former. We include, as a certificate of simplicity, an appendix that proves all intermediate results with the exception of Hall's Theorem, Brooks' Theorem, the Lovász Local Lemma, and Talagrand's Inequality. △ Less

Submitted 6 November, 2012; originally announced November 2012.

Comments: 10 pages. arXiv admin note: text overlap with arXiv:0911.1741

A linear-time algorithm for finding a complete graph minor in a dense graph

Authors: Vida Dujmović, Daniel J. Harvey, Gwenaël Joret, Bruce Reed, David R. Wood

Abstract: Let g(t) be the minimum number such that every graph G with average degree d(G) \geq g(t) contains a K_{t}-minor. Such a function is known to exist, as originally shown by Mader. Kostochka and Thomason independently proved that g(t) \in Θ(t*sqrt{log t}). This article shows that for all fixed ε> 0 and fixed sufficiently large t \geq t(ε), if d(G) \geq (2+ε)g(t) then we can find this K_{t}-minor in… ▽ More Let g(t) be the minimum number such that every graph G with average degree d(G) \geq g(t) contains a K_{t}-minor. Such a function is known to exist, as originally shown by Mader. Kostochka and Thomason independently proved that g(t) \in Θ(t*sqrt{log t}). This article shows that for all fixed ε> 0 and fixed sufficiently large t \geq t(ε), if d(G) \geq (2+ε)g(t) then we can find this K_{t}-minor in linear time. This improves a previous result by Reed and Wood who gave a linear-time algorithm when d(G) \geq 2^{t-2}. △ Less

Submitted 23 April, 2013; v1 submitted 12 February, 2012; originally announced February 2012.

Comments: 6 pages, 0 figures; Clarification added in several places, no change to arguments or results

MSC Class: 05C83; 05C85

Journal ref: SIAM Journal on Discrete Mathematics, 27/4:1770--1774, 2013

Connectivity for bridge-addable monotone graph classes

Authors: Louigi Addario Berry, Colin McDiarmid, Bruce Reed

Abstract: A class A of labelled graphs is bridge-addable if for all graphs G in A and all vertices u and v in distinct connected components of G, the graph obtained by adding an edge between u and u is also in A; the class A is monotone if for all G in A and all subgraphs H of G, H is also in A. We show that for any bridge-addable, monotone class A whose elements have vertex set 1,...,n, the probability tha… ▽ More A class A of labelled graphs is bridge-addable if for all graphs G in A and all vertices u and v in distinct connected components of G, the graph obtained by adding an edge between u and u is also in A; the class A is monotone if for all G in A and all subgraphs H of G, H is also in A. We show that for any bridge-addable, monotone class A whose elements have vertex set 1,...,n, the probability that a uniformly random element of A is connected is at least (1-o_n(1)) e^{-1/2}, where o_n(1) tends to zero as n tends to infinity. This establishes the special case of a conjecture of McDiarmid, Steger and Welsh when the condition of monotonicity is added. This result has also been obtained independently by Kang and Panagiotiou (2011). △ Less

Submitted 30 September, 2011; originally announced October 2011.

Comments: 11 pages

MSC Class: 60C05

Covering the edges of a random graph by cliques

Authors: Alan Frieze, Bruce Reed

Abstract: The clique cover number of a graph G is the minimum number of cliques required to cover the edges of graph G. In this paper we consider the random graph G(n,p), for p constant. We prove that with probability 1-o(1), the clique number of G(n,p) is Theta(n^2/\log^2n). The clique cover number of a graph G is the minimum number of cliques required to cover the edges of graph G. In this paper we consider the random graph G(n,p), for p constant. We prove that with probability 1-o(1), the clique number of G(n,p) is Theta(n^2/\log^2n). △ Less

Submitted 24 March, 2011; originally announced March 2011.

Comments: This paper was published some time ago in Combinatorica 15 (1995) pp1-9. Reza Akhtar found an error in our proof. This version fixes the error and we take advantage of the arXiv to publish a complete correct version

Journal ref: Combinatorica 15 (1995) pp1-9

Asymptotics of the chromatic number for quasi-line graphs

Authors: Andrew D. King, Bruce Reed

Abstract: As proved by Kahn, the chromatic number and fractional chromatic number of a line graph agree asymptotically. That is, for any line graph $G$ we have $χ(G) \leq (1+o(1))χ_f(G)$. We extend this result to quasi-line graphs, an important subclass of claw-free graphs. Furthermore we prove that we can construct a colouring that achieves this bound in polynomial time, giving us an asymptotic approximati… ▽ More As proved by Kahn, the chromatic number and fractional chromatic number of a line graph agree asymptotically. That is, for any line graph $G$ we have $χ(G) \leq (1+o(1))χ_f(G)$. We extend this result to quasi-line graphs, an important subclass of claw-free graphs. Furthermore we prove that we can construct a colouring that achieves this bound in polynomial time, giving us an asymptotic approximation algorithm for the chromatic number of quasi-line graphs. △ Less

Submitted 3 February, 2011; originally announced February 2011.

Comments: 20 pages, 2 figures

Polynomial treewidth forces a large grid-like-minor

Authors: Bruce A. Reed, David R. Wood

Abstract: Robertson and Seymour proved that every graph with sufficiently large treewidth contains a large grid minor. However, the best known bound on the treewidth that forces an $\ell\times\ell$ grid minor is exponential in $\ell$. It is unknown whether polynomial treewidth suffices. We prove a result in this direction. A \emph{grid-like-minor of order} $\ell$ in a graph $G$ is a set of paths in $G$ whos… ▽ More Robertson and Seymour proved that every graph with sufficiently large treewidth contains a large grid minor. However, the best known bound on the treewidth that forces an $\ell\times\ell$ grid minor is exponential in $\ell$. It is unknown whether polynomial treewidth suffices. We prove a result in this direction. A \emph{grid-like-minor of order} $\ell$ in a graph $G$ is a set of paths in $G$ whose intersection graph is bipartite and contains a $K_{\ell}$-minor. For example, the rows and columns of the $\ell\times\ell$ grid are a grid-like-minor of order $\ell+1$. We prove that polynomial treewidth forces a large grid-like-minor. In particular, every graph with treewidth at least $c\ell^4\sqrt{\log\ell}$ has a grid-like-minor of order $\ell$. As an application of this result, we prove that the cartesian product $G\square K_2$ contains a $K_{\ell}$-minor whenever $G$ has treewidth at least $c\ell^4\sqrt{\log\ell}$. △ Less

Submitted 24 May, 2011; v1 submitted 3 September, 2008; originally announced September 2008.

Comments: v2: The bound in the main result has been improved by using the Lovasz Local Lemma. v3: minor improvements, v4: final section rewritten

MSC Class: 05C83

Journal ref: European J. Combinatorics 33.3:374-379, 2012

List Colouring Squares of Planar Graphs

Authors: Frédéric Havet, Jan van den Heuvel, Colin McDiarmid, Bruce Reed

Abstract: In 1977, Wegner conjectured that the chromatic number of the square of every planar graph $G$ with maximum degree $Δ\ge8$ is at most $\bigl\lfloor\frac32Δ\bigr\rfloor+1$. We show that it is at most $\frac32 Δ(1+o(1))$ (where the $o(1)$ is as $Δ\to+\infty$), and indeed that this is true for the list chromatic number and for more general classes of graphs. In 1977, Wegner conjectured that the chromatic number of the square of every planar graph $G$ with maximum degree $Δ\ge8$ is at most $\bigl\lfloor\frac32Δ\bigr\rfloor+1$. We show that it is at most $\frac32 Δ(1+o(1))$ (where the $o(1)$ is as $Δ\to+\infty$), and indeed that this is true for the list chromatic number and for more general classes of graphs. △ Less

Submitted 15 May, 2017; v1 submitted 21 July, 2008; originally announced July 2008.

Comments: 34 pages

MSC Class: 05C15

Ballot theorems for random walks with finite variance

Authors: L. Addario-Berry, B. A. Reed

Abstract: We prove an analogue of the classical ballot theorem that holds for any random walk in the range of attraction of the normal distribution. Our result is best possible: we exhibit examples demonstrating that if any of our hypotheses are removed, our conclusions may no longer hold. We prove an analogue of the classical ballot theorem that holds for any random walk in the range of attraction of the normal distribution. Our result is best possible: we exhibit examples demonstrating that if any of our hypotheses are removed, our conclusions may no longer hold. △ Less

Submitted 28 February, 2008; v1 submitted 18 February, 2008; originally announced February 2008.

Comments: 21 pages; substantially simplified the proof of the positive result

Minima in branching random walks

Authors: Louigi Addario-Berry, Bruce Reed

Abstract: Given a branching random walk, let $M_n$ be the minimum position of any member of the $n$th generation. We calculate $\mathbf{E}M_n$ to within O(1) and prove exponential tail bounds for $\mathbf{P}\{|M_n-\mathbf{E}M_n|>x\}$, under quite general conditions on the branching random walk. In particular, together with work by Bramson [Z. Wahrsch. Verw. Gebiete 45 (1978) 89--108], our results fully ch… ▽ More Given a branching random walk, let $M_n$ be the minimum position of any member of the $n$th generation. We calculate $\mathbf{E}M_n$ to within O(1) and prove exponential tail bounds for $\mathbf{P}\{|M_n-\mathbf{E}M_n|>x\}$, under quite general conditions on the branching random walk. In particular, together with work by Bramson [Z. Wahrsch. Verw. Gebiete 45 (1978) 89--108], our results fully characterize the possible behavior of $\mathbf {E}M_n$ when the branching random walk has bounded branching and step size. △ Less

Submitted 24 July, 2009; v1 submitted 16 December, 2007; originally announced December 2007.

Comments: Published in at http://dx.doi.org/10.1214/08-AOP428 the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOP-AOP428 MSC Class: 60J80 (Primary); 60G50 (Secondary)

Journal ref: Annals of Probability 2009, Vol. 37, No. 3, 1044-1079

The Evolution of the Mixing Rate

Authors: Nikolaos Fountoulakis, Bruce Reed

Abstract: In this paper we present a study of the mixing time of a random walk on the largest component of a supercritical random graph, also known as the giant component. We identify local obstructions that slow down the random walk, when the average degree d is at most (ln n lnln n)^{1/2}, proving that the mixing time in this case is O((ln n/d)^2) asymptotically almost surely. As the average degree grow… ▽ More In this paper we present a study of the mixing time of a random walk on the largest component of a supercritical random graph, also known as the giant component. We identify local obstructions that slow down the random walk, when the average degree d is at most (ln n lnln n)^{1/2}, proving that the mixing time in this case is O((ln n/d)^2) asymptotically almost surely. As the average degree grows these become negligible and it is the diameter of the largest component that takes over, yielding mixing time O(ln n/ln d). We proved these results during the 2003-04 academic year. Similar results but for constant d were later proved independently by I. Benjamini, G. Kozma and N. Wormald. △ Less

Submitted 17 January, 2007; originally announced January 2007.

Comments: 15 pages

MSC Class: 05C80 (Primary); 60J10 (Secondary)

List colouring of graphs with at most $\big(2-o(1)\big)χ$ vertices

Authors: Bruce Reed, Benny Sudakov

Abstract: Ohba has conjectured \cite{ohb} that if the graph $G$ has $2χ(G)+1$ or fewer vertices then the list chromatic number and chromatic number of $G$ are equal. In this paper we prove that this conjecture is asymptotically correct. More precisely we obtain that for any $0<ε<1$, there exist an $n_0=n_0(ε)$ such that the list chromatic number of $G$ equals its chromatic number, provided… ▽ More Ohba has conjectured \cite{ohb} that if the graph $G$ has $2χ(G)+1$ or fewer vertices then the list chromatic number and chromatic number of $G$ are equal. In this paper we prove that this conjecture is asymptotically correct. More precisely we obtain that for any $0<ε<1$, there exist an $n_0=n_0(ε)$ such that the list chromatic number of $G$ equals its chromatic number, provided $$n_0 \leq |V(G) | \le (2-ε)χ(G).$$ △ Less

Submitted 28 April, 2003; originally announced April 2003.

MSC Class: 05C15; 05D40

Journal ref: Proceedings of the ICM, Bei**g 2002, vol. 3, 587--604