arXiv++ Combinatorics

A class of graphs is $χ$-bounded if there is a function $f$ such that $χ(G)\le f(ω(G))$ for every induced subgraph $G$ of every graph in the class, where $χ,ω$ denote the chromatic number and clique number of $G$ respectively. In 1987, Gyárfás conjectured that for every $c$, if $\mathcal{C}$ is a class of graphs such that $χ(G)\le ω(G)+c$ for every induced subgraph $G$ of every graph in the class, then the class of complements of members of $\mathcal{C}$ is $χ$-bounded. We prove this conjecture. Indeed, more generally, a class of graphs is $χ$-bounded if it has the property that no graph in the class has $c+1$ odd holes, pairwise disjoint and with no edges between them. The main tool is a lemma that if $C$ is a shortest odd hole in a graph, and $X$ is the set of vertices with at least five neighbours in $V(C)$, then there is a three-vertex set that dominates $X$.

We investigate which graphs H have the property that in every graph with bounded clique number and sufficiently large chromatic number, some induced subgraph is isomorphic to a subdivision of H. In an earlier paper, one of us proved that every tree has this property; and in another earlier paper with M. Chudnovsky, we proved that every cycle has this property. Here we give a common generalization. Say a banana is the union of a set of paths all with the same ends but otherwise disjoint. We prove that if H is obtained from a tree by replacing each edge by a banana then H has the property mentioned. We also find some other multigraphs with the same property.

We discuss some problems related to induced subgraphs. The first problem is about getting a good upper bound for the chromatic number in terms of the clique number for graphs in which every induced cycle has length $3$ or $4$. The second problem is about the perfect chromatic number of a graph, which is the smallest number of perfect sets into which the vertex set of a graph can be partitioned. (A set of vertices is said to be perfect it it induces a perfect graph.) The third problem is on antichains in the induced subgraph ordering. The fourth problem is on graphs in which the difference between the chromatic number and the clique number is at most one for every induced subgraph of the graph. The fifth problem is on a weakening of the notorious Erdős-Hajnal conjecture. The last problem is on a conjecture of Gyárfás about $χ$-boundedness of a particular class of graphs.

Reed conjectured that for every graph, $χ\leq \left \lceil \frac{Δ+ ω+ 1}{2} \right \rceil$ holds, where $χ$, $ω$ and $Δ$ denote the chromatic number, clique number and maximum degree of the graph, respectively. We develop an algorithm which takes a hypothetical counterexample as input. The output discloses some hidden structures closely related to high vertex degrees. Consequently, we deduce two graph classes where Reed's Conjecture holds: One contains all graphs in which the vertices of degree at least $5$ form a stable set. The other contains all graphs in which every induced cycle of odd length contains a vertex of at most degree 3.

Following the seminal work of Padberg on the Boolean quadric polytope $BQP$ and its LP relaxation $BQP_{LP}$, we consider a natural extension: $SATP$ and $SATP_{LP}$ polytopes, with $BQP_{LP}$ being projection of the $SATP_{LP}$ face (and $BQP$ -- projection of the $SATP$ face). We consider a problem of integer recognition: determine whether a maximum of a linear objective function is achieved at an integral vertex of a polytope. Various special instances of 3-SAT problem like NAE-3-SAT, 1-in-3-SAT, weighted MAX-3-SAT, and others can be solved by integer recognition over $SATP_{LP}$. We describe all integral vertices of $SATP_{LP}$. Like $BQP_{LP}$, polytope $SATP_{LP}$ has the Trubin-property being quasi-integral (1-skeleton of $SATP$ is a subset of 1-skeleton of $SATP_{LP}$). However, unlike $BQP$, not all vertices of $SATP$ are pairwise adjacent, the diameter of $SATP$ equals 2, and the clique number of 1-skeleton is superpolynomial in dimension. It is known that the fractional vertices of $BQP_{LP}$ are half-integer (0, 1 or 1/2 valued). We show that the denominators of $SATP_{LP}$ fractional vertices can take any integral value. Finally, we describe polynomially solvable subproblems of integer recognition over $SATP_{LP}$ with constrained objective functions. Based on that, we solve some cases of edge constrained bipartite graph coloring.

The class of 2K2-free graphs and its various subclasses have been studied in a variety of contexts. In this paper, we are concerned with the colouring of (P3UP2)-free graphs, a super class of 2K2-free graphs. We derive a O(w^3) upper bound for the chromatic number of (P3UP2)-free graphs, and sharper bounds for (P3UP2), diamond)-free graphs, where w denotes the clique number. By applying similar proof techniques we obtain chromatic bounds for (2K2, diamond)-free graphs. The last two classes are perfect if w >=5 and >= 4 respectively.

Let $\mathcal{C}_4(n)$ be the family of all connected $4$-chromatic graphs of order $n$. Given an integer $x\geq 4$, we consider the problem of finding the maximum number of $x$-colorings of a graph in $\mathcal{C}_4(n)$. It was conjectured that the maximum number of $x$-colorings is equal to $(x)_{\downarrow 4}(x-1)^{n-4}$ and the extremal graphs are those which have clique number $4$ and size $n+2$. In this article, we reduce this problem to a \textit{finite} family of graphs. We show that there exist a finite family $\mathcal{F}$ of connected $4$-chromatic graphs such that if the number of $x$-colorings of every graph $G$ in $\mathcal{F}$ is less than $(x)_{\downarrow 4}(x-1)^{|V(G)|-4}$ then the conjecture holds to be true.

By Brook's Theorem, every n-vertex graph of maximum degree at most Delta >= 3 and clique number at most Delta is Delta-colorable, and thus it has an independent set of size at least n/Delta. We give an approximate characterization of graphs with independence number close to this bound, and use it to show that the problem of deciding whether such a graph has an indepdendent set of size at least n/Delta+k has a kernel of size O(k).

Is there some absolute $\varepsilon > 0$ such that for any claw-free graph $G$, the chromatic number of the square of $G$ satisfies $χ(G^2) \le (2-\varepsilon) ω(G)^2$, where $ω(G)$ is the clique number of $G$? Erdős and Nešetřil asked this question for the specific case of $G$ the line graph of a simple graph and this was answered in the affirmative by Molloy and Reed. We show that the answer to the more general question is also yes, and moreover that it essentially reduces to the original question of Erdős and Nešetřil.

Let $G$ be a claw-free graph on $n$ vertices with clique number $ω$, and consider the chromatic number $χ(G^2)$ of the square $G^2$ of $G$. Writing $χ'_s(d)$ for the supremum of $χ(L^2)$ over the line graphs $L$ of simple graphs of maximum degree at most $d$, we prove that $χ(G^2)\le χ'_s(ω)$ for $ω\in \{3,4\}$. For $ω=3$, this implies the sharp bound $χ(G^2) \leq 10$. For $ω=4$, this implies $χ(G^2)\leq 22$, which is within $2$ of the conjectured best bound. This work is motivated by a strengthened form of a conjecture of Erdős and Nešetřil.

We say a graph has property $\mathcal{P}_{g,p}$ when it is an induced subgraph of the curve graph of a surface of genus $g$ with $p$ punctures. Two well-known graph invariants, the chromatic and clique numbers, can provide obstructions to $\mathcal{P}_{g,p}$. We introduce a new invariant of a graph, the 'nested complexity length', which provides a novel obstruction to $\mathcal{P}_{g,p}$. For the curve graph this invariant captures the topological complexity of the surface in graph-theoretic terms; indeed we show that its value is $6g-6+2p$, i.e. twice the size of a maximal multicurve on the surface. As a consequence we show that large half-graphs do not have $\mathcal{P}_{g,p}$, and we deduce quantitatively that almost all finite graphs which pass the chromatic and clique tests do not have $\mathcal{P}_{g,p}$. We also reinterpret our obstruction in terms of the first-order theory of the curve graph, and in terms of RAAG subgroups of the mapping class group (following Kim and Koberda). Finally, we show that large multipartite subgraphs cannot have $\mathcal{P}_{g,p}$. This allows us to compute the upper density of the curve graph, and to conclude that clique size, chromatic number, and nested complexity length are not sufficient to determine $\mathcal{P}_{g,p}$.

It is known that every graph of sufficiently large chromatic number and bounded clique number contains, as an induced subgraph, a subdivision of any fixed forest, and a subdivision of any fixed cycle. Equivalently, forests and triangles are pervasive, where H is pervasive (in some class of graphs) if for all s>0, every graph in the class with bounded clique number and sufficiently large chromatic number contains an induced subdivision of H, with every edge subdivided at least s times. Which other graphs are pervasive? Chalopin, Esperet, Li and Ossona de Mendez proved that every such graph is a forest of lanterns: roughly, the blocks are lanterns (graphs obtained from a tree by adding one extra vertex), and there are rules about how blocks fit together. It is not known whether every forest of lanterns is pervasive; but in another paper two of us prove that banana trees (multigraphs obtained from a forest by adding parallel edges) are pervasive, thus generalizing the two results above. This paper contains the first half of the proof, which works for any forest of lanterns, not just for banana trees. A class of graphs is r-controlled if for every graph in the class, its chromatic number is at most some function (determined by the class) of the largest chromatic number of an r-ball in the graph. In this paper we prove that for all r>1, every forest of lanterns is pervasive in every r-controlled class These results turn out particularly nicely when applied to string graphs (intersection graphs of sets of curves in the plane). A chandelier is a graph obtained from a tree by adding a vertex adjacent to its leaves. We prove that the class of string graphs is 2-controlled, and thus forests of lanterns are pervasive in this class. Furthermore, string graphs of sufficiently large chromatic number and bounded clique number contain any fixed chandelier as an induced subgraph.

Biró et al. (1992) introduced $H$-graphs, intersection graphs of connected subgraphs of a subdivision of a graph $H$. They are related to many classes of geometric intersection graphs, e.g., interval graphs, circular-arc graphs, split graphs, and chordal graphs. We negatively answer the 25-year-old question of Biró et al. which asks if $H$-graphs can be recognized in polynomial time, for a fixed graph $H$. We prove that it is NP-complete if $H$ contains the diamond graph as a minor. We provide a polynomial-time algorithm recognizing $T$-graphs, for each fixed tree $T$. When $T$ is a star $S_d$ of degree $d$, we have an $O(n^{3.5})$-time algorithm. We give FPT- and XP-time algorithms solving the minimum dominating set problem on $S_d$-graphs and $H$-graphs parametrized by $d$ and the size of $H$, respectively. The algorithm for $H$-graphs adapts to an XP-time algorithm for the independent set and the independent dominating set problems on $H$-graphs. If $H$ contains the double-triangle as a minor, we prove that $H$-graphs are GI-complete and that the clique problem is APX-hard. The clique problem can be solved in polynomial time if $H$ is a cactus graph. When a graph $G$ has a Helly $H$-representation, the clique problem can be solved in polynomial time. We show that both the $k$-clique and the list $k$-coloring problems are solvable in FPT-time on $H$-graphs (parameterized by $k$ and the treewidth of $H$). In fact, these results apply to classes of graphs with treewidth bounded by a function of the clique number. We observe that $H$-graphs have at most $n^{O(\|H\|)}$ minimal separators which allows us to apply the meta-algorithmic framework of Fomin et al. (2015) to show that for each fixed $t$, finding a maximum induced subgraph of treewidth $t$ can be done in polynomial time. When $H$ is a cactus, we improve the bound to $O(\|H\|n^2)$.

We study the chromatic number of the curve graph of a surface. We show that the chromatic number grows like k log k for the graph of separating curves on a surface of Euler characteristic -k. We also show that the graph of curves that represent a fixed non-zero homology class is uniquely t-colorable, where t denotes its clique number. Together, these results lead to the best known bounds on the chromatic number of the curve graph. We also study variations for arc graphs and obtain exact results for surfaces of low complexity. Our investigation leads to connections with Kneser graphs, the Johnson homomorphism, and hyperbolic geometry.

In 1999, McDiarmid and Reed conjectued that the approximation ratio $9/8$ of multichromatic number to weighted clique number asymptotically is the best possible for general weighted hexagonal graphs. We prove that there is a proper multicoloring of $G$ that uses at most $15 \lfloor\frac{ω(G)}{12}\rfloor+ 18 $ colors improving the best previously known asimptotic ratio from 4/3 to 5/4.

We determine new upper bounds for the clique numbers of strongly regular graphs in terms of their parameters. These bounds improve on the Delsarte bound for infinitely many feasible parameter tuples for strongly regular graphs, including infinitely many parameter tuples that correspond to Paley graphs.

In this paper, we provide results for the search number of the Cartesian product of graphs. We consider graphs on opposing ends of the spectrum: paths and cliques. Our main result determines the pathwidth of the product of cliques and provides a lower bound for the search number of the product of cliques. A consequence of this result is a bound for the search number of arbitrary graphs G and H based on their respective clique numbers.

We investigate the asymptotic structure of a random perfect graph $P_n$ sampled uniformly from the perfect graphs on vertex set $\{1,\ldots,n\}$. Our approach is based on the result of Prömel and Steger that almost all perfect graphs are generalised split graphs, together with a method to generate such graphs almost uniformly. We show that the distribution of the maximum of the stability number $α(P_n)$ and clique number $ω(P_n)$ is close to a concentrated distribution $L(n)$ which plays an important role in our generation method. We also prove that the probability that $P_n$ contains any given graph $H$ as an induced subgraph is asymptotically $0$ or $\frac12$ or $1$. Further we show that almost all perfect graphs are $2$-clique-colourable, improving a result of Bacsó et al from 2004; they are almost all Hamiltonian; they almost all have connectivity $κ(P_n)$ equal to their minimum degree; they are almost all in class one (edge-colourable using $Δ$ colours, where $Δ$ is the maximum degree); and a sequence of independently and uniformly sampled perfect graphs of increasing size converges almost surely to the graphon $W_P(x, y) = \frac12(\mathbb{1}[x \le 1/2] + \mathbb{1}[y \le 1/2])$.

In previous work, we introduced median decompositions, a generalisation of tree decompositions where a graph can be modelled after any median graph, along with a hierarchy of $i$-medianwidth parameters $(mw_i)_{i\geq 1}$ starting from treewidth and converging to the clique number. We introduce another graph parameter based on the concept of median decompositions, to be called $i$-latticewidth and denoted by $lw_i$, for which we restrict the modelling median graph of a decomposition to be isometrically embeddable into the Cartesian product of $i$ paths. The sequence $(lw_i)_{i\geq 1}$ gives rise to a hierarchy of parameters starting from pathwidth and converging to the clique number. We characterise the $i$-latticewidth of a graph in terms of maximal intersections of bags of $i$ path decompositions of the graph. We study a generalisation of the classical Cops and Robber game, where the robber plays against not just one, but $i$ cop players. Depending on whether the robber is visible or not, we show a direct connection to $i$-medianwidth or $i$-latticewidth, respectively.

Let $G$ be a group. The \emph{power graph} of $G$ is a graph with the vertex set $G$, having an edge between two elements whenever one is a power of the other. We characterize nilpotent groups whose power graphs have finite independence number. For a bounded exponent group, we prove its power graph is a perfect graph and we determine its clique/chromatic number. Furthermore, it is proved that for every group $G$, the clique number of the power graph of $G$ is at most countably infinite. We also measure how close the power graph is to the \emph{commuting graph} by introducing a new graph which lies in between. We call this new graph as the \emph{enhanced power graph}. For an arbitrary pair of these three graphs we characterize finite groups for which this pair of graphs are equal.