χ-bounded
   HOME

TheInfoList



OR:

In
graph theory In mathematics, graph theory is the study of ''graphs'', which are mathematical structures used to model pairwise relations between objects. A graph in this context is made up of '' vertices'' (also called ''nodes'' or ''points'') which are conn ...
, a \chi-bounded family \mathcal of graphs is one for which there is some function c such that, for every integer t the graphs in \mathcal with t=\omega(G) (
clique number In the mathematical area of graph theory, a clique ( or ) is a subset of vertices of an undirected graph such that every two distinct vertices in the clique are adjacent. That is, a clique of a graph G is an induced subgraph of G that is compl ...
) can be
colored ''Colored'' (or ''coloured'') is a racial descriptor historically used in the United States during the Jim Crow Era to refer to an African American. In many places, it may be considered a slur, though it has taken on a special meaning in Sout ...
with at most c(t) colors. This concept and its notation were formulated by
András Gyárfás András Gyárfás (born 1945) is a Hungarian mathematician who specializes in the study of graph theory. He is famous for two conjectures: * Together with Paul Erdős he conjectured what is now called the Erdős–Gyárfás conjecture which sta ...
. The use of the Greek letter chi in the term \chi-bounded is based on the fact that the
chromatic number In graph theory, graph coloring is a special case of graph labeling; it is an assignment of labels traditionally called "colors" to elements of a graph subject to certain constraints. In its simplest form, it is a way of coloring the vertices ...
of a graph G is commonly denoted \chi(G).


Nontriviality

It is not true that the family of all graphs is \chi-bounded. As and showed, there exist
triangle-free graph In the mathematical area of graph theory, a triangle-free graph is an undirected graph in which no three vertices form a triangle of edges. Triangle-free graphs may be equivalently defined as graphs with clique number ≤ 2, graphs with g ...
s of arbitrarily large chromatic number, so for these graphs it is not possible to define a finite value of t(3). 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 In graph theory, graph coloring is a special case of graph labeling; it is an assignment of labels traditionally called "colors" to elements of a graph subject to certain constraints. In its simplest form, it is a way of coloring the vertices ...
is (trivially) \chi-bounded, with c(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 In combinatorics, Ramsey's theorem, in one of its graph-theoretic forms, states that one will find monochromatic cliques in any edge labelling (with colours) of a sufficiently large complete graph. To demonstrate the theorem for two colours (say ...
implies that they have large cliques.
Vizing's theorem In graph theory, Vizing's theorem states that every simple undirected graph may be edge colored using a number of colors that is at most one larger than the maximum degree of the graph. At least colors are always necessary, so the undirected gra ...
can be interpreted as stating that the
line graph In the mathematical discipline of graph theory, the line graph of an undirected graph is another graph that represents the adjacencies between edges of . is constructed in the following way: for each edge in , make a vertex in ; for every ...
s are \chi-bounded, with c(t)=t+1. The
claw-free graph In graph theory, an area of mathematics, a claw-free graph is a graph that does not have a claw as an induced subgraph. A claw is another name for the complete bipartite graph ''K''1,3 (that is, a star graph comprising three edges, three leaves, ...
s more generally are also \chi-bounded with c(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, c(t)=2t. Other \chi-bounded graph families include: *The
perfect graph In graph theory, a perfect graph is a graph in which the chromatic number of every induced subgraph equals the order of the largest clique of that subgraph (clique number). Equivalently stated in symbolic terms an arbitrary graph G=(V,E) is perfe ...
s, with c(t)=t *The graphs of
boxicity In graph theory, boxicity is a graph invariant, introduced by Fred S. Roberts in 1969. The boxicity of a graph is the minimum dimension in which a given graph can be represented as an intersection graph of axis-parallel boxes. That is, there mu ...
two, which is the
intersection graph In graph theory, an intersection graph is a graph that represents the pattern of intersections of a family of sets. Any graph can be represented as an intersection graph, but some important special classes of graphs can be defined by the types o ...
s of axis-parallel rectangles, with c(t)\in O(t\log(t))( big O notation) *The graphs of bounded
clique-width In graph theory, the clique-width of a graph is a parameter that describes the structural complexity of the graph; it is closely related to treewidth, but unlike treewidth it can be bounded even for dense graphs. It is defined as the minimum num ...
*The
intersection graph In graph theory, an intersection graph is a graph that represents the pattern of intersections of a family of sets. Any graph can be represented as an intersection graph, but some important special classes of graphs can be defined by the types o ...
s of scaled and translated copies of any compact convex shape in the plane *The
polygon-circle graph In the mathematical discipline of graph theory, a polygon-circle graph is an intersection graph of a set of convex polygons all of whose vertices lie on a common circle. These graphs have also been called spider graphs. This class of graphs was ...
s, with c(t)=2^t *The circle graphs, with c(t)=7t^2 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 graph In graph theory, an intersection graph is a graph that represents the pattern of intersections of a family of sets. Any graph can be represented as an intersection graph, but some important special classes of graphs can be defined by the types o ...
s of curves that cross a fixed curve between 1 and n \in \N times However, although intersection graphs of convex shapes, circle graphs, and outerstring graphs are all special cases of
string graph In graph theory, a string graph is an intersection graph of curves in the plane; each curve is called a "string". Given a graph , is a string graph if and only if there exists a set of curves, or strings, such that the graph having a vertex for ...
s, 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 In botany, a tree is a perennial plant with an elongated stem, or trunk, usually supporting branches and leaves. In some usages, the definition of a tree may be narrower, including only woody plants with secondary growth, plants that are ...
T, the graphs that do not contain T as an
induced subgraph In the mathematical field of graph theory, an induced subgraph of a graph is another graph, formed from a subset of the vertices of the graph and ''all'' of the edges (from the original graph) connecting pairs of vertices in that subset. Defini ...
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. Another problem on \chi-boundedness was posed by Louis Esperet, who asked whether every hereditary class of graphs that is \chi-bounded has a function c(t) that grows at most polynomially as a function of t. 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 c(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 , year = 2022 {{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 , mr = 2718677 , pages = 560–572 , series = Series B , title = Claw-free graphs VI. Colouring , doi = 10.1016/j.jctb.2010.04.005 , volume = 100 , year = 2010 {{citation, last1=Chalermsook, last2=Walczak, title=Coloring and Maximum Weight Independent Set of Rectangles, year=2020, arxiv=2007.07880, url=https://arxiv.org/abs/2007.07880, url-status=live {{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 =
Electronic Journal of Combinatorics The ''Electronic Journal of Combinatorics'' is a peer-reviewed open access scientific journal covering research in combinatorial mathematics. The journal was established in 1994 by Herbert Wilf (University of Pennsylvania) and Neil Calkin ( Ge ...
, 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 , 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 The ''Electronic Journal of Combinatorics'' is a peer-reviewed open access scientific journal covering research in combinatorial mathematics. The journal was established in 1994 by Herbert Wilf (University of Pennsylvania) and Neil Calkin ( Ge ...
, 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 The ''Journal of Graph Theory'' is a peer-reviewed mathematics journal specializing in graph theory and related areas, such as structural results about graphs, graph algorithms with theoretical emphasis, and discrete optimization on graphs. The ...
, 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 , mr = 3171778 , pages = 6–10 , series = Series B , title = Triangle-free intersection graphs of line segments with large chromatic number , volume = 105 , year = 2014, arxiv = 1209.1595, s2cid = 9705484 {{citation, last1=Davies, last2=McCarty, title=Circle graphs are quadratically χ‐bounded, url=https://arxiv.org/abs/1905.11578v1, url-status=live, journal=Bulletin of the London Mathematical Society, year=2020, doi=10.1112/blms.12447, arxiv=1905.11578v1, s2cid=167217723 {{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, last2=Walczak, title=Outerstring Graphs are $\chi$-Bounded, url=https://epubs.siam.org/doi/10.1137/17M1157374, journal=
SIAM Journal on Discrete Mathematics '' SIAM Journal on Discrete Mathematics'' is a peer-reviewed mathematics journal published quarterly by the Society for Industrial and Applied Mathematics (SIAM). The journal includes articles on pure and applied discrete mathematics. It was estab ...
, year=2019, volume=33, issue=4, pages=2181–2199, doi=10.1137/17M1157374, arxiv=1312.1559, s2cid=9474387
{{citation, last1=Rok, last2=Walczak, title=Coloring Curves that Cross a Fixed Curve, url=https://link.springer.com/article/10.1007/s00454-018-0031-z, 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 {{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