arXiv++ Combinatorics

Let $T$ be a forest. We study polynomially high-chromatic pure pairs in graphs with no $T$ as an induced subgraph ($T$-free graphs in other words), with applications to the polynomial Gyárfás-Sumner conjecture. In addition to reproving several known results in the literature, we deduce: $\bullet$ If $T=P_5$ is the five-vertex path, then every $T$-free graph $G$ with clique number $w\ge2$ contains a complete pair $(A,B)$ of induced subgraphs with $χ(A)\ge w^{-d}χ(G)$ and $χ(B)\ge 2^{-d}χ(G)$, for some universal $d\ge1$. The proof uses the recent Erdős-Hajnal result for $P_5$-free graphs. Via the classical Gyárfás path argument, such a ``polynomial versus linear high-$χ$ complete pairs'' result can be viewed as further supporting evidence for the polynomial Gyárfás-Sumner conjecture for $P_5$. In particular, it implies \[χ(G)\le w^{O(\log w/\log\log w)}\] which asymptotically improves the bound $χ(G)\le w^{\log w}$ of Scott, Seymour, and Spirkl. $\bullet$ If $T$ and a broom satisfy the polynomial Gyárfás-Sumner conjecture, then so does their disjoint union. Unifying earlier results of Chudnovsky, Scott, Seymour, and Spirkl, and of Scott, Seymour, and Spirkl, this gives new instances of $T$ for which the conjecture holds.

For a positive integer $k$ and an ordered set of $n$ points in the plane, define its k-sector ordered Yao graphs as follows. Divide the plane around each point into $k$ equal sectors and draw an edge from each point to its closest predecessor in each of the $k$ sectors. We analyze several natural parameters of these graphs. Our main results are as follows: I) Let $d_k(n)$ be the maximum integer so that for every $n$-element point set in the plane, there exists an order such that the corresponding $k$-sector ordered Yao graph has maximum degree at least $d_k(n)$. We show that $d_k(n)=n-1$ if $k=4$ or $k \ge 6$, and provide some estimates for the remaining values of $k$. Namely, we show that $d_1(n) = Θ( \log_2n )$; $\frac{1}{2}(n-1) \le d_3(n) \le 5\left\lceil\frac{n}{6}\right\rceil-1$; $\frac{2}{3}(n-1) \le d_5(n) \le n-1$; II) Let $e_k(n)$ be the minimum integer so that for every $n$-element point set in the plane, there exists an order such that the corresponding $k$-sector ordered Yao graph has at most $e_k(n)$ edges. Then $e_k(n)=\left\lceil\frac{k}{2}\right\rceil\cdot n-o(n)$. III) Let $w_k$ be the minimum integer so that for every point set in the plane, there exists an order such that the corresponding $k$-sector ordered Yao graph has clique number at most $w_k$. Then $\lceil\frac{k}{2}\rceil \le w_k\le \lceil\frac{k}{2}\rceil+1$. All the orders mentioned above can be constructed effectively.

We asymptotically determine the maximum density of subgraphs isomorphic to $H$, where $H$ is any graph containing a dominating vertex, in graphs $G$ on $n$ vertices with bounded maximum degree and bounded clique number. That is, we asymptotically determine the constant $c=c(H,Δ,ω)$ such that ex$(n,H,\{K_{1,Δ+1},K_{ω+1}\})=(1-o_n(1))cn$ where $ω$ is sufficiently large. Following recent interest in the corresponding parameter mex$(m,H,F)$ where where we fix the number of edges $m$ instead of the number of vertices $n$ of the graph, we determine the asymptotics of mex$(m,H,\{K_{1,1,Δ+1},K_{ω+1}\})$ when $H$ has at least two dominating vertices. We obtain these results via a uniform proof of a common technical generalization of both, where we fix the number of $u$-cliques in the graph. This general result may be of independent interest. Then we localize these results, proving a tight inequality involving the sizes of the locally largest cliques and complete split graphs.

Given an integer $k$, deciding whether a graph has a clique of size $k$ is an NP-complete problem. Wilf's inequality provides a spectral bound for the clique number of simple graphs. Wilf's inequality is stated as follows: $\frac{n}{n - λ_{1}} \leq ω$, where $λ_1$ is the largest eigenvalue of the adjacency matrix $A(G)$, $n$ is the number of vertices in $G$, and $ω$ is the clique number of $G$. Strengthening this bound, Elphick and Wocjan proposed a conjecture in 2018, which is stated as follows: $\frac{n}{n - \sqrt{s^{+}}} \leq ω$, where $s^+ = \sum_{λ_{i} > 0} λ_{i}^2$ and $λ_i$ are the eigenvalues of $A(G)$. In this paper, we have settled this conjecture for some classes of graphs, such as conference graphs, strongly regular graphs with $λ= μ$ (i.e., $srg(n, d, μ, μ)$) and $n\geq 2d$, the line graph of $K_{n}$, the Cartesian product of strongly regular graphs, and Ramanujan graph with $n\geq 11d$.

We study the Max Partial $k$-Coloring problem, where we are given a vertex-weighted graph, and we ask for a maximum-weight induced subgraph that admits a proper $k$-coloring. For $k=1$ this problem coincides with Maximum Weight Independent Set, and for $k=2$ the problem is equivalent (by complementation) to Minimum Odd Cycle Transversal. Furthermore, it generalizes $k$-Coloring. We show that Max Partial $k$-Coloring on $n$-vertex instances with clique number $ω$ can be solved in time * $n^{\mathcal{O}(kω)}$ if the input graph excludes the bull and the chair as an induced subgraph, * $n^{\mathcal{O}(kω\log n)}$ if the input graph excludes the bull and E as an induced subgraph. This implies that $k$-Coloring can be solved in polynomial time in the former class, and in quasipolynomial-time in the latter one.

For a commutative ring $R$, the zero-divisor graph of $R$ is a simple graph with the vertex set as the set of all zero-divisors of $R$ and two distinct vertices $x$ and $y$ are adjacent if and only if $xy = 0$. This article attempts to predict the structure of the zero-divisor graph of the ring of Gaussian integers modulo $2$ to the power $n$ and determine the size, chromatic number, clique number, independence number, and matching through associate classes of divisors of $2^n$ in $\mathbb{Z}_{2^n}[i]$. In addition, a few topological indices of the corresponding zero-divisor graph, are obtained.

Measurement based quantum computing is preformed by adding non-Clifford measurements to a prepared stabilizer states. Entangling gates like CZ are likely to have lower fidelities due to the nature of interacting qubits, so when preparing a stabilizer state, we wish to minimize the number of required entangling states. This naturally introduces the notion of CZ-distance. Every stabilizer state is local-Clifford equivalent to a graph state, so we may focus on graph states $\left\vert G \right\rangle$. As a lower bound for general graphs, there exist $n$-vertex graphs $G$ such that the CZ-distance of $\left\vert G \right\rangle$ is $Ω(n^2 / \log n)$. We obtain significantly improved bounds when $G$ is contained within certain proper classes of graphs. For instance, we prove that if $G$ is a $n$-vertex circle graph with clique number $ω$, then $\left\vert G \right\rangle$ has CZ-distance at most $4n \log ω+ 7n$. We prove that if $G$ is an $n$-vertex graph of rank-width at most $k$, then $\left\vert G \right\rangle$ has CZ-distance at most $(2^{2^{k+1}} + 1) n$. More generally, this is obtained via a bound of $(k+2)n$ that we prove for graphs of twin-width at most $k$. We also study how bounded-rank perturbations and low-rank cuts affect the CZ-distance. As a consequence, we prove that Geelen's Weak Structural Conjecture for vertex-minors implies that if $G$ is an $n$-vertex graph contained in some fixed proper vertex-minor-closed class of graphs, then $\left\vert G \right\rangle$ has CZ-distance at most $O(n\log n)$. Since graph states of locally equivalent graphs are local Clifford equivalent, proper vertex-minor-closed classes of graphs are natural and very general in this setting.

Reed conjectured that the chromatic number of any graph is closer to its clique number than to its maximum degree plus one. We consider a recolouring version of this conjecture, with respect to Kempe changes. Namely, we investigate the largest $\varepsilon$ such that all graphs $G$ are $k$-recolourable for all $k \ge \lceil \varepsilon ω(G) + (1 -\varepsilon)(Δ(G)+1) \rceil$. For general graphs, an existing construction of a frozen colouring shows that $\varepsilon \le 1/3$. We show that this construction is optimal in the sense that there are no frozen colourings below that threshold. For this reason, we conjecture that $\varepsilon = 1/3$. For triangle-free graphs, we give a construction of frozen colourings that shows that $\varepsilon \le 4/9$, and prove that it is also optimal. In the special case of odd-hole-free graphs, we show that $\varepsilon = 1/2$, and that this is tight up to one colour.

We consider the Erdős, Pach, Pollack and Tuza problem, asking for the maximum diameter of a graph with given order $n$, minimum degree $δ$ and clique number at most $ω$. We solve their problem asymptotically for the first hard case, $ω\leq 3$, for the smallest values of $δ$ by determining the smallest rational number $f(δ)$ such that $diam(G) \leq f(δ)n+O(1)$ for all graphs $G$ with order $n$, minimum degree $δ$ and clique number $ω\leq 3$. We also consider the weaker version where the clique number $ω\leq 3$ is replaced by having chromatic number $χ\leq 3$ and solve this version for small $δ$, thereby yielding a counterexample to a conjecture of Erdős et al. in a regime where this conjecture was still open. When restricting the conjecture to graphs with chromatic number $χ\leq 3$, we show that this counterexample appears for the smallest possible $δ$, namely $δ=16.$

B. Bollobás and G. Brightwell and independently R. Shi proved the existence of a cycle through all vertices whose degrees at least $\frac{n}{2}$ in any $2$-connected graph of order $n$. Motivated by this result, we prove the existence of a cycle through all vertices whose degrees at least $n-ω$ in any $2$-connected graph $G$ of order $n$ with clique number $ω$ unless $G$ is a specific graph. Moreover, we show that for any pair of vertices whose degrees are at least $n-ω+1$ in a graph $G$ of order $n$ with clique number $ω$, there exists a path joining them which contains all vertices of degree at least $n-ω+1$ unless $G$ belongs to certain graph classes. In doing so, we prove the existence of a $(u,v)$-path through all vertices whose degrees at least $\frac{n+1}{2}$ in any graph of order $n$, where $u,v$ are two distinct vertices of degree at least $\frac{n+1}{2}$.

Barbieri recently showed that the finite graphs realising any given finite automorphism group have unbounded genus, answering a question of Cornwell et al. In this note we give a short proof of a stronger result: they have unbounded clique number.

Bollobás and Nikiforov (J. Combin. Theory Ser. B. 97 (2007) 859-865) conjectured that for a graph $G$ with $e(G)$ edges and the clique number $ω(G)$, then $ λ_{1}^{2}+λ_{2}^{2}\leq 2e(G)\left(1-\frac{1}{ω(G)}\right), $ where $λ_{1}$ and $λ_{2}$ are the largest and the second largest eigenvalues of the adjacency matrix of $G$, respectively. In this paper, we prove that for a sequence of random graphs the conjecture holds true with probability tending to one as the number of vertices tends to infinity.

For a graph $G$, $χ(G)$ and $ω(G)$ respectively denote the chromatic number and clique number of $G$. In this paper, we show the following results: (i) If $G$ is a ($P_2+P_4$, $K_4-e$)-free graph with $ω(G)\geq 3$, then $χ(G)\leq \max\{6, ω(G)\}$, and the bound is tight for each $ω(G)\notin \{4,5\}$. (ii) If $G$ is a ($P_2+P_4$, $K_4-e$)-free graph with $ω(G)= 4$, then $χ(G)= 4$. These results extend the chromatic bounds known for the class of ($P_2+P_2$, $K_4-e$)-free graphs and for the class of ($P_2+P_3$, $K_4-e$)-free graphs, improve the bound of Chen and Zhang [arXiv:2412.14524 [math.CO], 2024] given for the class of ($P_2+P_4$, $K_4-e$)-free graphs, partially answer a question of Ju and the third author [Theor. Comp. Sci. 993 (2024) Article No.: 114465] on `near optimal colorable graphs', and a question of Schiermeyer (unpublished) on the chromatic bound for ($P_7$, $K_4-e$)-free graphs.

We prove that a random Cayley graph on a group of order $N$ has clique number $O(\log N \log \log N)$ with high probability. This bound is best possible up to the constant factor for certain groups, including~$\mathbb{F}_2^n$, and improves the longstanding upper bound of $O(\log^2 N)$ due to Alon. Our proof does not make use of the underlying group structure and is purely combinatorial, with the key result being an essentially best possible upper bound for the number of subsets of given order that contain at most a given number of colors in a properly edge-colored complete graph. As a further application of this result, we study a conjecture of Alon stating that every group of order $N$ has a Cayley graph whose clique number and independence number are both $O(\log N)$, proving the conjecture for all abelian groups of order $N$ for almost all $N$. For finite vector spaces of order $N$ with characteristic congruent to $1 \pmod 4$, we prove the existence of a self-complementary Cayley graph on the vector space whose clique number and independence number are both at most $(2+o(1))\log N$. This matches the lower bound for Ramsey numbers coming from random graphs and solves, in a strong form, a problem of Alon and Orlitsky motivated by information theory.

A linear Diophantine equation $ax + by = n$ is solvable if and only if gcd$(a; b)$ divides $n$. A graph $G$ of order $n$ is called Diophantine if there exists a labeling function $f$ of vertices such that gcd$(f(u); f(v))$ divides $n$ for every two adjacent vertices $u; v$ in $G$. In this work, maximal Diophantine graphs on $n$ vertices, $D_n$, are defined, studied and generalized. The independence number, the number of vertices with full degree and the clique number of $D_n$ are computed. Each of these quantities is the basis of a necessary condition for the existence of such a labeling.

In this paper, we study the spectral radius of the clique tensor A(G) associated with a graph G. This tensor is a higher-order extensions of the adjacency matrix of G. A lower bound of the clique number is given via the spectral radius of A(G). It is an extension of Nikiforov's spectral bound and tighter than the bound of Nikiforov in some classes of graphs. Furthermore, we obtain a spectral version of the Erdos-Simonovits stability theorem for clique tensors based on this bound.

A double-arborescence is a treelike comparability graph with an all-adjacent vertex. In this paper, we first give a forbidden induced subgraph characterization of double-arborescences, where we prove that double-arborescences are precisely $P_4$-free treelike comparability graphs. Then, we characterize a more general class consisting of $P_4$-free distance-hereditary graphs using split-decomposition trees. Consequently, using split-decomposition trees, we characterize double-arborescences and one of its subclasses, viz., arborescences; a double-arborescence is an arborescence if its all-adjacent vertex is a source or a sink. In the context of word-representable graphs, it is an open problem to find the classes of word-representable graphs whose minimum-word-representants are of length $2n - k$, where $n$ is the number of vertices of the graph and $k$ is its clique number. Contributing to the open problem, we devise an algorithmic procedure and show that the class of double-arborescences is one such class. It seems the class of double-arborescences is the first example satisfying the criteria given in the open problem, for an arbitrary $k$.

Perfect graphs can be described as the graphs whose stable set polytopes are defined by their non-negativity and clique inequalities (including edge inequalities). In 1975, Chvátal defined an analogous class of t-perfect graphs, which are the graphs whose stable set polytopes are defined by their non-negativity, edge inequalities, and odd circuit inequalities. We show that t-perfect graphs are $199053$-colourable. This is the first finite bound on the chromatic number of t-perfect graphs and answers a question of Shepherd from 1995. Our proof also shows that every h-perfect graph with clique number $ω$ is $(ω+ 199050)$-colourable.

The local metric dimension ${\rm dim}_l$ in relation to the clique number $ω$ is investigated. It is proved that if $ω(G)\leq n(G)-3$, then ${\rm dim}_l(G) \leq n(G)-3$ and the graphs attaining the bound classified. Moreover, the graphs $G$ with ${\rm dim}_l(G) = n(G)-3$ are listed (with no condition on the clique number). It is proved that if $ω(G)=n(G)-2$, then $n(G)-4 \leq {\rm dim}_l(G)\leq n(G)-3$, and all graphs are divided into two groups depending on which of the options applies. The conjecture asserting that for any graph $G$ we have ${\rm dim}_l(G) \leq \left[(ω(G)-2)/(ω(G)-1)\right] \cdot n(G)$ is proved for all graphs with $ω(G)\in\{n(G)-1,n(G)-2,n(G)-3\}$. A negative answer is given for the problem whether every planar graph fulfills the inequality ${\rm dim}_l(G) \leq \lceil (n(G)+1)/2 \rceil$.

Many natural computational problems, including e.g. Max Weight Independent Set, Feedback Vertex Set, or Vertex Planarization, can be unified under an umbrella of finding the largest sparse induced subgraph, that satisfies some property definable in CMSO$_2$ logic. It is believed that each problem expressible with this formalism can be solved in polynomial time in graphs that exclude a fixed path as an induced subgraph. This belief is supported by the existence of a quasipolynomial-time algorithm by Gartland, Lokshtanov, Pilipczuk, Pilipczuk, and Rzążewski [STOC 2021], and a recent polynomial-time algorithm for $P_6$-free graphs by Chudnovsky, McCarty, Pilipczuk, Pilipczuk, and Rzążewski [SODA 2024]. In this work we extend polynomial-time tractability of all such problems to $P_7$-free graphs of bounded clique number.