χ-bounded

In graph theory, a $\chi$-bounded family $\mathcal$ of graphs is one for which there is some function $f$ such that, for every integer $t$ the graphs in $\mathcal$ with $t=\omega(G)$ ( clique number) can be colored with at most $f(t)$ colors. The function $f(t)$ is called a $\chi$-binding function for $\mathcal$. These concepts and their notations were formulated by András Gyárfás. The use of the Greek letter chi in the term $\chi$-bounded is based on the fact that the chromatic number of a graph $G$ is commonly denoted $\chi(G)$. An overview of the area can be found in a survey of Alex Scott and Paul Seymour.

Nontriviality

It is not true that the family of all graphs is $\chi$-bounded.
As , and showed, there exist triangle-free graphs of arbitrarily large chromatic number, so for these graphs it is not possible to define a finite value of $f(2)$.
Thus, $\chi$-boundedness is a nontrivial concept, true for some graph families and false for others.

Specific classes

Every class of graphs of bounded chromatic number is (trivially) $\chi$-bounded, with $f(t)$ equal to the bound on the chromatic number. This includes, for instance, the planar graphs, the bipartite graphs, and the graphs of bounded degeneracy. Complementarily, the graphs in which the independence number is bounded are also $\chi$-bounded, as Ramsey's theorem implies that they have large cliques.

Vizing's theorem can be interpreted as stating that the line graphs are $\chi$-bounded, with $f(t)=t+1$. The claw-free graphs more generally are also $\chi$-bounded with $f(t)\le t^2$. This can be seen by using Ramsey's theorem to show that, in these graphs, a vertex with many neighbors must be part of a large clique.
This bound is nearly tight in the worst case, but connected claw-free graphs that include three mutually-nonadjacent vertices have even smaller chromatic number, $f(t)=2t$.

Other $\chi$-bounded graph families include:
*The perfect graphs, with $f(t)=t$
*The graphs of boxicity two, which is the intersection graphs of axis-parallel rectangles, with $f(t)\in O(t\log(t))$( big O notation)
*The graphs of bounded clique-width
*The intersection graphs of scaled and translated copies of any compact convex shape in the plane
*The polygon-circle graphs, with $f(t)=2^t$
*The circle graphs, with $f(t)=2t\log_2t+2\log_2\log_2t+10t$ and (generalizing circle graphs) the "outerstring graphs", intersection graphs of bounded curves in the plane that all touch the unbounded face of the arrangement of the curves
*The outerstring graph is an intersection graph of curves that lie in a common half-plane and have one endpoint on the boundary of that half-plane
*The intersection graphs of curves that cross a fixed curve between 1 and $n \in \N$ times
*The even-hole-free graphs (or more precisely, the even-cycle-free graphs, which is free of holes of length 4), with $f(t)=2t$, as every such graph has a bisimplicial vertex, a vertex whose neighborhood is the union of two cliques

However, although intersection graphs of convex shapes, circle graphs, and outerstring graphs are all special cases of string graphs, the string graphs themselves are not $\chi$-bounded.
They include as a special case the intersection graphs of line segments, which are also not $\chi$-bounded.

Unsolved problems

According to the Gyárfás–Sumner conjecture, for every tree $T$, the graphs that do not contain $T$ as an induced subgraph are $\chi$-bounded.
For instance, this would include the case of claw-free graphs, as a claw is a special kind of tree.
However, the conjecture is known to be true only for certain special trees, including paths and radius-two trees.

A $\chi$-bounded class of graphs is polynomially $\chi$-bounded if it has a $\chi$-binding function $f(t)$ that grows at most polynomially as a function of $t$. As every $n$-vertex graph $G$ contains an independent set with cardinality at least $n/\chi(G)$, all polynomially $\chi$-bounded classes have the Erdős–Hajnal property.
Another problem on $\chi$-boundedness was posed by Louis Esperet, who asked whether every hereditary class of graphs that is $\chi$-bounded is also polynomially $\chi$-bounded. A strong counterexample to Esperet's conjecture was announced in 2022 by Briański, Davies, and Walczak, who proved that there exist $\chi$-bounded hereditary classes whose function $f(t)$ can be chosen arbitrarily as long as it grows more quickly than a certain cubic polynomial.

References

{{reflist, 30em, refs=

{{citation
, last1 = Asplund , first1 = E.
, last2 = Grünbaum , first2 = B. , author2-link = Branko Grünbaum
, journal = Mathematica Scandinavica
, mr = 0144334
, pages = 181–188
, title = On a coloring problem
, doi = 10.7146/math.scand.a-10607
, volume = 8
, year = 1960, doi-access = free

{{citation
, last1 = Briański , first1 = Marcin
, last2 = Davies , first2 = James
, last3 = Walczak , first3 = Bartosz
, arxiv = 2201.08814
, title = Separating polynomial $\chi$-boundedness from $\chi$-boundedness
, journal = Combinatorica
, year = 2023, doi = 10.1007/s00493-023-00054-3
, s2cid = 246476859

{{citation
, last1 = Chudnovsky , first1 = Maria , author1-link = Maria Chudnovsky
, last2 = Seymour , first2 = Paul , author2-link = Paul Seymour (mathematician)
, issue = 6
, journal = Journal of Combinatorial Theory, Series B
, mr = 2718677
, pages = 560–572
, title = Claw-free graphs VI. Colouring
, doi = 10.1016/j.jctb.2010.04.005 , doi-access=free
, volume = 100
, year = 2010

{{citation
, last1 = Chudnovsky , first1 = Maria , author1-link = Maria Chudnovsky
, last2 = Seymour , first2 = Paul , author2-link = Paul Seymour (mathematician)
, journal = Journal of Combinatorial Theory, Series B
, mr = 4568110
, pages = 331–381
, title = Even-hole-free graphs still have bisimplicial vertices
, doi = 10.1016/j.jctb.2023.02.009
, volume = 161
, year = 2023, arxiv = 1909.10967

{{cite arXiv, last1=Chalermsook, last2=Walczak, title=Coloring and Maximum Weight Independent Set of Rectangles, year=2020, class=cs.CG , eprint=2007.07880 , mode=cs2

{{citation
, last = Descartes , first = Blanche , author-link = Blanche Descartes
, title = A three colour problem
, journal = Eureka
, volume = 21
, year = 1947

{{citation
, last1 = Dvořák , first1 = Zdeněk
, last2 = Král' , first2 = Daniel
, arxiv = 1107.2161
, doi = 10.1016/j.ejc.2011.12.005
, issue = 4
, journal = European Journal of Combinatorics
, mr = 3350076
, pages = 679–683
, title = Classes of graphs with small rank decompositions are $\chi$-bounded
, volume = 33
, year = 2012, s2cid = 5530520

{{citation
, last = Gyárfás , first = A. , authorlink = András Gyárfás
, department = Proceedings of the International Conference on Combinatorial Analysis and its Applications (Pokrzywna, 1985)
, issue = 3–4
, journal = Zastosowania Matematyki
, mr = 951359
, pages = 413–441 (1988)
, title = Problems from the world surrounding perfect graphs
, url = http://real-eod.mtak.hu/2132/1/SZTAKITanulmanyok_177.pdf
, volume = 19
, year = 1987

{{citation
, last1 = Kim , first1 = Seog-Jin
, last2 = Kostochka , first2 = Alexandr
, last3 = Nakprasit , first3 = Kittikorn
, issue = 1
, journal = Electronic Journal of Combinatorics
, mr = 2097318
, at = R52
, title = On the chromatic number of intersection graphs of convex sets in the plane
, url = http://www.combinatorics.org/Volume_11/Abstracts/v11i1r52.html
, volume = 11
, year = 2004, doi = 10.37236/1805
, doi-access = free

{{citation
, last1 = Kierstead , first1 = H. A.
, last2 = Penrice , first2 = S. G.
, issue = 2
, journal = Journal of Graph Theory
, mr = 1258244
, pages = 119–129
, title = Radius two trees specify $\chi$-bounded classes
, doi = 10.1002/jgt.3190180203
, volume = 18
, year = 1994

{{citation
, last1 = Karthick , first1 = T.
, last2 = Maffray , first2 = Frédéric
, doi = 10.1007/s00373-015-1651-1
, issue = 4
, journal = Graphs and Combinatorics
, mr = 3514976
, pages = 1447–1460
, title = Vizing bound for the chromatic number on some graph classes
, volume = 32
, year = 2016, s2cid = 41279514

{{citation
, last = Mycielski , first = Jan , authorlink = Jan Mycielski
, title = Sur le coloriage des graphs
, journal = Colloq. Math.
, language = French
, volume = 3
, year = 1955
, issue = 2 , pages = 161–162
, doi = 10.4064/cm-3-2-161-162 , mr = 0069494, doi-access = free

{{citation
, last1 = Pawlik , first1 = Arkadiusz
, last2 = Kozik , first2 = Jakub
, last3 = Krawczyk , first3 = Tomasz
, last4 = Lasoń , first4 = Michał
, last5 = Micek , first5 = Piotr
, last6 = Trotter , first6 = William T. , author6-link = William T. Trotter
, last7 = Walczak , first7 = Bartosz
, doi = 10.1016/j.jctb.2013.11.001
, journal = Journal of Combinatorial Theory, Series B
, mr = 3171778
, pages = 6–10
, title = Triangle-free intersection graphs of line segments with large chromatic number
, volume = 105
, year = 2014, arxiv = 1209.1595, s2cid = 9705484

{{citation, first=James, last=Davies, title=Improved bounds for colouring circle graphs, journal=Proceedings of the American Mathematical Society, year=2022, volume=150 , issue=12 , pages=5121–5135, doi=10.1090/proc/16044, arxiv=2107.03585

{{citation
, last1 = Rok , first1 = Alexandre
, last2 = Walczak , first2 = Bartosz
, contribution = Outerstring graphs are $\chi$-bounded
, doi = 10.1145/2582112.2582115
, mr = 3382292
, pages = 136–143
, publisher = ACM , location = New York
, title = Proceedings of the Thirtieth Annual Symposium on Computational Geometry (SoCG'14)
, year = 2014, s2cid = 33362942

{{citation , last1 = Rok , first1 = Alexandre , last2 = Walczak , first2 = Bartosz, title=Outerstring Graphs are χ-Bounded, url=https://epubs.siam.org/doi/10.1137/17M1157374, journal= SIAM Journal on Discrete Mathematics, year=2019, volume=33, issue=4, pages=2181–2199, doi=10.1137/17M1157374, arxiv=1312.1559, s2cid=9474387

{{citation , last1 = Rok , first1 = Alexandre , last2 = Walczak , first2 = Bartosz, title=Coloring Curves that Cross a Fixed Curve, journal=Discrete & Computational Geometry, year=2019, volume=61, issue=4, pages=830–851, doi=10.1007/s00454-018-0031-z, s2cid=124706442, doi-access=free, arxiv=1512.06112

{{citation
, last1 = Scott , first1 = Alex
, last2= Seymour , first2= Paul
, issue = 3
, journal = Journal of Graph Theory
, mr = 4174126
, pages = 473–504
, title = A survey of $\chi$-boundedness
, volume = 95
, year = 2020

{{citation
, last = Zykov , first = A. A.
, issue = 66
, journal = Mat. Sbornik , series=New Series
, language = Russian
, mr = 0035428
, pages = 163–188
, title = О некоторых свойствах линейных комплексов
, trans-title = On some properties of linear complexes
, url = http://mi.mathnet.ru/msb5974
, volume = 24
, year = 1949. Translated into English in ''Amer. Math. Soc. Translation'', 1952, {{MR, 0051516. As cited by {{harvtxt, Pawlik, Kozik, Krawczyk, Lasoń, 2014

External links

Chi-bounded
Open Problem Garden

Graph coloring