Dirac's theorem on chordal graphs implies Brooks' theorem

Carl Feghali

2023-09-21

Abstract:We give yet another proof of the list-color version of Brooks' theorem that is due, independently, to Vizing and to Erdős, Rubin and Taylor, via a famous theorem of Dirac on chordal graphs.

Combinatorics

What problem does this paper attempt to address?

Brooks' Theorem and Beyond

Daniel W. Cranston,Landon Rabern

DOI: https://doi.org/10.48550/arXiv.1403.0479

2014-03-04

Abstract:We collect some of our favorite proofs of Brooks' Theorem, highlighting advantages and extensions of each. The proofs illustrate some of the major techniques in graph coloring, such as greedy coloring, Kempe chains, hitting sets, and the Kernel Lemma. We also discuss standard strengthenings of vertex coloring, such as list coloring, online list coloring, and Alon--Tarsi orientations, since analogues of Brooks' Theorem hold in each context. We conclude with two conjectures along the lines of Brooks' Theorem that are much stronger, the Borodin--Kostochka Conjecture and Reed's Conjecture.

Combinatorics
Brooks' theorem with forbidden colors

Carl Johan Casselgren

2023-03-13

Abstract:We consider extensions of Brooks' classic theorem on vertex coloring where some colors cannot be used on certain vertices. In particular we prove that if $G$ is a connected graph with maximum degree $\Delta(G) \geq 4$ that is not a complete graph and $P \subseteq V(G)$ is a set of vertices where either (i) at most $\Delta(G)-2$ colors are forbidden for every vertex in $P$, and any two vertices of $P$ are at distance at least $4$, or (ii) at most $\Delta(G)-3$ colors are forbidden for every vertex in $P$, and any two vertices of $P$ are at distance at least $3$, then there is a proper $\Delta(G)$-coloring of $G$ respecting these constraints. In fact, we shall prove that these results hold in the more general setting of list colorings. These results are sharp.

Combinatorics
A unified proof of Brooks' theorem and Catlin's theorem

Vaidy Sivaraman

DOI: https://doi.org/10.48550/arXiv.1402.6298

2014-09-29

Abstract:We give a new proof of Brooks' theorem that immediately implies a strengthening of Brooks' theorem, known as Catlin's theorem.

Combinatorics
Yet another proof of Brooks' theorem

Landon Rabern

DOI: https://doi.org/10.48550/arXiv.1409.6812

2014-09-24

Abstract:Arguably the simplest variation of this style of proof as we avoid reducing to the cubic case entirely.

Combinatorics
Upper bounds for the list-distinguishing chromatic number

Amitayu Banerjee,Zalán Molnár,Alexa Gopaulsingh

2024-06-06

Abstract:We prove analogs of Brooks' Theorem for the list-distinguishing chromatic number of finite connected graphs. Moreover, we give new examples to determine two sharp upper bounds for the list-distinguishing chromatic number of a graph G in terms of the coloring number of G and the list-chromatic number of G. We also determine the list-distinguishing chromatic number for various families of graphs (example: the book graphs).

Combinatorics
Analogs of Brooks' Theorem for coloring parameters of infinite graphs and Konig's Lemma

Amitayu Banerjee,Zalán Molnár,Alexa Gopaulsingh

2024-08-31

Abstract:In the past, analogies to Brooks' theorem have been found for various parameters of graph coloring for infinite locally finite connected graphs in ZFC. We prove these theorems are not provable in ZF (i.e. the Zermelo-Fraenkel set theory without the Axiom of Choice (AC)). Moreover, such theorems follow from Konig's Lemma (every infinite locally finite connected graph has a ray-a weak form of AC) in ZF. In ZF, we formulate new conditions for the existence of the distinguishing chromatic number, the distinguishing chromatic index, the total chromatic number, the total distinguishing chromatic number, the odd chromatic number, and the neighbor-distinguishing index in infinite locally finite connected graphs, which are equivalent to Konig's Lemma. In this direction, we strengthen a recent result of Stawiski from 2023.

Combinatorics,Logic
Brooks-type theorems for relaxations of square colorings

Eun-Kyung Cho,Ilkyoo Choi,Hyemin Kwon,Boram Park

2024-04-17

Abstract:The following relaxation of proper coloring the square of a graph was recently introduced: for a positive integer $h$, the proper $h$-conflict-free chromatic number of a graph $G$, denoted $\chi_{pcf}^h(G)$, is the minimum $k$ such that $G$ has a proper $k$-coloring where every vertex $v$ has $\min\{deg_G(v),h\}$ colors appearing exactly once on its neighborhood. Caro, Petruševski, and Škrekovski put forth a Brooks-type conjecture: if $G$ is a graph with $\Delta(G)\ge 3$, then $\chi_{pcf}^1(G)\leq \Delta(G)+1$. The best known result regarding the conjecture is $\chi_{pcf}^1(G)\leq 2\Delta(G)+1$, which is implied by a result of Pach and Tardos. We improve upon the aforementioned result for all $h$, and also enlarge the class of graphs for which the conjecture is known to be true. Our main result is the following: for a graph $G$, if $\Delta(G) \ge h+2$, then $\chi_{pcf}^h(G)\le (h+1)\Delta(G)-1$; this is tight up to the additive term as we explicitly construct infinitely many graphs $G$ with $\chi_{pcf}^h(G)=(h+1)(\Delta(G)-1)$. We also show that the conjecture is true for chordal graphs, and obtain partial results for quasi-line graphs and claw-free graphs. Our main result also improves upon a Brooks-type result for $h$-dynamic coloring.

Combinatorics
New representation results for planar graphs

Farhad Shahrokhi

DOI: https://doi.org/10.48550/arXiv.1502.06175

2015-02-22

Abstract:A universal representation theorem is derived that shows any graph is the intersection graph of one chordal graph, a number of co-bipartite graphs, and one unit interval graph. Central to the the result is the notion of the clique cover width which is a generalization of the bandwidth parameter. Specifically, we show that any planar graph is the intersection graph of one chordal graph, four co-bipartite graphs, and one unit interval graph. Equivalently, any planar graph is the intersection graph of a chordal graph and a graph that has {clique cover width} of at most seven. We further describe the extensions of the results to graphs drawn on surfaces and graphs excluding a minor of crossing number of at most one.

Combinatorics,Computational Geometry
Measurable Brooks's Theorem for Directed Graphs

Cecelia Higgins

2024-11-01

Abstract:We prove a descriptive version of Brooks's theorem for directed graphs. In particular, we show that, if $D$ is a Borel directed graph on a standard Borel space $X$ such that the maximum degree of each vertex is at most $d \geq 3$, then unless $D$ contains the complete symmetric directed graph on $d + 1$ vertices, $D$ admits a $\mu$-measurable $d$-dicoloring with respect to any Borel probability measure $\mu$ on $X$, and $D$ admits a $\tau$-Baire-measurable $d$-dicoloring with respect to any Polish topology $\tau$ compatible with the Borel structure on $X$. We also prove a definable version of Gallai's theorem on list dicolorings for directed graphs by showing that any Borel directed graph of bounded degree whose connected components are not Gallai trees is Borel degree-list-dicolorable.

Logic,Combinatorics
Brooks-type colourings of digraphs in linear time

Daniel Gonçalves,Lucas Picasarri-Arrieta,Amadeus Reinald

2024-05-09

Abstract:Brooks' Theorem is a fundamental result on graph colouring, stating that the chromatic number of a graph is almost always upper bounded by its maximal degree. Lovász showed that such a colouring may then be computed in linear time when it exists. Many analogues are known for variants of (di)graph colouring, notably for list-colouring and partitions into subgraphs with prescribed degeneracy. One of the most general results of this kind is due to Borodin, Kostochka, and Toft, when asking for classes of colours to satisfy "variable degeneracy" constraints. An extension of this result to digraphs has recently been proposed by Bang-Jensen, Schweser, and Stiebitz, by considering colourings as partitions into "variable weakly degenerate" subdigraphs. Unlike earlier variants, there exists no linear-time algorithm to produce colourings for these generalisations.

Combinatorics,Data Structures and Algorithms
Improvement on Brook theorem for (3 Times K1)-free Graphs

Medha Dhurandhar

DOI: https://doi.org/10.48550/arXiv.1702.08151

2017-02-27

Combinatorics

Abstract:Problem of finding an optimal upper bound for the chromatic no. of a (3 Times K1)-free graph is still open and pretty hard. Here we prove that for a (3 Times K1)-free graph G with maximum degree greater than or equal to 8, {\chi} is less than or equal to max (maximum degree-1, {\omega}). We also prove that if G is (3 Times K1)-free, {\omega} is equal to 4 and maximum degree is greater than or equal to 7, then {\chi} is less than or equal to maximum degree-1. This implies that Borodin & Kostochka Conjecture is true for (3 Times K1)-free graphs as a corollary.
A note on Ambarzumian's theorem for quantum graphs

Patrizio Bifulco,Joachim Kerner

DOI: https://doi.org/10.1007/s00013-024-01997-9

2023-08-22

Abstract:Based on the main result presented in a recent paper, we derive Ambarzumian-type theorems for Schrödinger operators defined on quantum graphs. We recover existing results such as the classical theorem by Ambarzumian and establish some seemingly new statements, too.

Spectral Theory,Mathematical Physics
Dirac's theorem for graphs of bounded bandwidth

Alberto Espuny Díaz,Pranshu Gupta,Domenico Mergoni Cecchelli,Olaf Parczyk,Amedeo Sgueglia

2024-07-08

Abstract:We provide an optimal sufficient condition, relating minimum degree and bandwidth, for a graph to contain a spanning subdivision of the complete bipartite graph $K_{2,\ell}$. This includes the containment of Hamilton paths and cycles, and has applications in the random geometric graph model. Our proof provides a greedy algorithm for constructing such structures.

Combinatorics
Chordal graphs, even-hole-free graphs and sparse obstructions to bounded treewidth

Sepehr Hajebi

2024-08-10

Abstract:We present and study the following conjecture: for an integer $t\geq 4$ and a graph $H$, every even-hole-free graph of large enough treewidth has an induced subgraph isomorphic to either $K_t$ or $H$, if (and only if) $H$ is a $K_4$-free chordal graph. The ``only if'' part follows from the properties of the so-called layered wheels due to Sintiari and Trotignon. Alecu, Chudnovsky, Spirkl and the author recently proved the conjecture in two special cases: (a) when $t=4$; and (b) when $H=cone (F)$ for some forest $F$; that is, $H$ is obtained from $F$ by adding a universal vertex. Our first result is a common strengthening: for an integer $t\geq 4$ and graphs $F$ and $H$, (even-hole, $cone(cone (F))$, $H$, $K_t$)-free graphs have bounded treewidth if and only if $F$ is a forest and $H$ is a $K_4$-free chordal graph. Also, for general $t\geq 4$, we push the current state of the art further than (b) by settling the conjecture for the smallest choices of $H$ that are not coned forests. This follows from our second result: we prove the conjecture when $H$ is a crystal; that is, a graph obtained from several coned double stars by gluing them together along the middle edges of the double stars. In the first version of this paper, we suggested a strengthening of our main conjecture, that for every $t\geq 1$, every graph of sufficiently large treewidth has an induced subgraph of treewidth $t$ which is either complete, complete bipartite, or $2$-degenerate. This strengthening has now been refuted by Chudnovsky and Trotignon [On treewidth and maximum cliques, <a class="link-https" data-arxiv-id="2405.07471" href="https://arxiv.org/abs/2405.07471">arXiv:2405.07471</a>, 2024].

Combinatorics
A Brooks type theorem for the maximum local edge connectivity

Michael Stiebitz,Bjarne Toft

DOI: https://doi.org/10.48550/arXiv.1603.09187

2016-03-30

Abstract:For a graph $G$, let $\cn(G)$ and $\la(G)$ denote the chromatic number of $G$ and the maximum local edge connectivity of $G$, respectively. A result of Dirac \cite{Dirac53} implies that every graph $G$ satisfies $\cn(G)\leq \la(G)+1$. In this paper we characterize the graphs $G$ for which $\cn(G)=\la(G)+1$. The case $\la(G)=3$ was already solved by Alboulker {\em et al.\,} \cite{AlboukerV2016}. We show that a graph $G$ with $\la(G)=k\geq 4$ satisfies $\cn(G)=k+1$ if and only if $G$ contains a block which can be obtained from copies of $K_{k+1}$ by repeated applications of the Hajós join.

Combinatorics
An elaborate new proof of Cayley's formula

Esther Banaian,Anh Trong Nam Hoang,Elizabeth Kelley,Weston Miller,Jason Stack,Carolyn Stephen,Nathan Williams

2024-02-13

Abstract:We construct a bijection between certain Deodhar components of a braid variety constructed from an affine Kac-Moody group of type $A_{n-1}$ and vertex-labeled trees on $n$ vertices. By an argument of Galashin, Lam, and Williams using Opdam's trace formula in the affine Hecke algebra and an identity due to Haglund, we obtain an elaborate new proof for the enumeration of the number of vertex-labeled trees on $n$ vertices.

Combinatorics
The Three Tree Theorem

Oliver Knill

2023-09-05

Abstract:We prove that every 2-sphere graph different from a prism can be vertex 4-colored in such a way that all Kempe chains are forests. This implies the following three tree theorem: the arboricity of a discrete 2-sphere is 3. Moreover, the three trees can be chosen so that each hits every triangle. A consequence is a result of an exercise in the book of Bondy and Murty based on work of A. Frank, A. Gyarfas and C. Nash-Williams: the arboricity of a planar graph is less or equal than 3.

Combinatorics,Discrete Mathematics
On the characterization of chordal graphs using Horn hypergeometric series

Dipnit Biswas,Irfan Habib,R. Venkatesh

2024-10-13

Abstract:Radchenko and Villegas characterized the chordal graphs by the inverse of their independence polynomials being Horn hypergeometric series in Radchenko et al. in 2021. In this paper, we reprove their result using some elementary combinatorial methods. Our proof is different from their proof, and it is based on the connection between the inverse of the multi-variate independence polynomials and the multi-colored chromatic polynomials of graphs, established by Arunkumar et al. in 2018.

Combinatorics,Number Theory
Three forms of the Erdős-Dushnik-Miller Theorem

Paul Howard

2024-10-24

Abstract:We continue the study of the Erdős-Dushnik-Miller theorem (A graph with an uncountable set of vertices has either an infinite independent set or an uncountable clique) in set theory without the axiom of choice. We show that there are three inequivalent versions of this theorem and we give some results about the positions of these versions in the deductive hierarchy of weak choice principles.

Logic

Dirac's theorem on chordal graphs implies Brooks' theorem

Brooks' Theorem and Beyond

Brooks' theorem with forbidden colors

A unified proof of Brooks' theorem and Catlin's theorem

Yet another proof of Brooks' theorem

Upper bounds for the list-distinguishing chromatic number

Analogs of Brooks' Theorem for coloring parameters of infinite graphs and Konig's Lemma

Brooks-type theorems for relaxations of square colorings

New representation results for planar graphs

Measurable Brooks's Theorem for Directed Graphs

Brooks-type colourings of digraphs in linear time

Improvement on Brook theorem for (3 Times K1)-free Graphs

A note on Ambarzumian's theorem for quantum graphs

Dirac's theorem for graphs of bounded bandwidth

Chordal graphs, even-hole-free graphs and sparse obstructions to bounded treewidth

A Brooks type theorem for the maximum local edge connectivity

An elaborate new proof of Cayley's formula

The Three Tree Theorem

On the characterization of chordal graphs using Horn hypergeometric series

Three forms of the Erdős-Dushnik-Miller Theorem