arXiv++ Combinatorics

We construct classes of graphs that are variants of the so-called layered wheel. One of their key properties is that while the treewidth is bounded by a function of the clique number, the construction can be adjusted to make the dependance grow arbitrarily. Some of these classes provide counter-examples to several conjectures. In particular, the construction includes hereditary classes of graphs whose treewidth is bounded by a function of the clique number while the tree-independence number is unbounded, thus disproving a conjecture of Dallard, Milanič and Štorgel [Treewidth versus clique number. II. Tree-independence number. Journal of Combinatorial Theory, Series B, 164:404-442, 2024.]. The construction can be further adjusted to provide, for any fixed integer $c$, graphs of arbitrarily large treewidth that contain no $K_c$-free graphs of high treewidth, thus disproving a conjecture of Hajebi [Chordal graphs, even-hole-free graphs and sparse obstructions to bounded treewidth, arXiv:2401.01299, 2024].

A graph is called Rank-Ramsey if (i) Its clique number is small, and (ii) The adjacency matrix of its complement has small rank. We initiate a systematic study of such graphs. Our main motivation is that their constructions, as well as proofs of their non-existence, are intimately related to the famous log-rank conjecture from the field of communication complexity. These investigations also open interesting new avenues in Ramsey theory. We construct two families of Rank-Ramsey graphs exhibiting polynomial separation between order and complement rank. Graphs in the first family have bounded clique number (as low as $41$). These are subgraphs of certain strong products, whose building blocks are derived from triangle-free strongly-regular graphs. Graphs in the second family are obtained by applying Boolean functions to Erdős-Rényi graphs. Their clique number is logarithmic, but their complement rank is far smaller than in the first family, about $\mathcal{O}(n^{2/3})$. A key component of this construction is our matrix-theoretic view of lifts. We also consider lower bounds on the Rank-Ramsey numbers, and determine them in the range where the complement rank is $5$ or less. We consider connections between said numbers and other graph parameters, and find that the two best known explicit constructions of triangle-free Ramsey graphs turn out to be far from Rank-Ramsey.

We establish a novel connection between the well-known chromatic threshold problem in extremal combinatorics and the celebrated $(p,q)$-theorem in discrete geometry. In particular, for a graph $G$ with bounded clique number and a natural density condition, we prove a $(p,q)$-theorem for an abstract convexity space associated with $G$. Our result strengthens those of Thomassen and Nikiforov on the chromatic threshold of cliques. Our $(p,q)$-theorem can also be viewed as a $χ$-boundedness result for (what we call) ultra maximal $K_r$-free graphs. We further show that the graphs under study are blow-ups of constant size graphs, improving a result of Oberkampf and Schacht on homomorphism threshold of cliques. Our result unravels the cause underpinning such a blow-up phenomenon, differentiating the chromatic and homomorphism threshold problems for cliques. It implies that for the homomorphism threshold problem, rather than the minimum degree condition usually considered in the literature, the decisive factor is a clique density condition on co-neighborhoods of vertices. More precisely, we show that if an $n$-vertex $K_{r}$-free graph $G$ satisfies that the common neighborhood of every pair of non-adjacent vertices induces a subgraph with $K_{r-2}$-density at least $\varepsilon>0$, then $G$ must be a blow-up of some $K_r$-free graph $F$ on at most $2^{O(\frac{r}{\varepsilon}\log\frac{1}{\varepsilon})}$ vertices. Furthermore, this single exponential bound is optimal. We construct examples with no $K_r$-free homomorphic image of size smaller than $2^{Ω_r(\frac{1}{\varepsilon})}$.

The $k$-representation number of a graph $G$ is the minimum cardinality of the system of vertex subsets with the property that every edge of $G$ is covered at least $k$ times while every non-edge is covered at most $(k-1)$ times. In particular, for $k=1$ this notion is equivalent to the clique number of a graph $G$. Extending results of Frieze and Reed, and Eaton and Grable, we study the $k$-representation number of $G(n,1/2)$. As a tool, we will prove a sharp concentration result counting the number of induced subgraphs of $G(n,1/2)$ with density $(\frac{1}{2}+α)$. In Lemma 3.7, we will show that the number of such subgraphs is close to its expected value with probability $1-\exp(-n^C)$.

The unitary Cayley graph $C_R$ of a finite unital ring $R$ is the simple graph with vertex set $R$ in which two elements $x$ and $y$ are connected by an edge if and only if $x-y$ is a unit of $R$. We characterize the unitary Cayley graph $C_{T_n (\mathbb{F})}$ of the ring of all upper triangular matrices $T_n(\mathbb{F})$ over a finite field $\mathbb{F}$. We show that $C_{T_n (\mathbb{F})}$ is isomorphic to the semistrong product of the complete graph $K_m$ and the antipodal graph of the Hamming graph $A(H(n,p^k))$, where $m=p^{\frac{kn(n-1)}{2}}$ and $|\mathbb{F}|=p^k$. In particular, if $|\mathbb{F}|=2$, then the graph $C_{T_n (\mathbb{F})}$ has $2^{n-1}$ connected components, each component is isomorphic to the complete bipartite graph $K_{m,m}$, where $m=2^{\frac{n(n-1)}{2}}$. We also compute the diameter, triameter, and clique number of the graph $C_{T_n (\mathbb{F})}$.

We prove that for every integer $t\geq 1$ there exists an integer $c_t\geq 1$ such that every $n$-vertex even-hole-free graph with no clique of size $t$ has treewidth at most $c_t\log{n}$. This resolves a conjecture of Sintiari and Trotignon, who also proved that the logarithmic bound is asymptotically best possible. It follows that several \textsf{NP}-hard problems such as \textsc{Stable Set}, \textsc{Vertex Cover}, \textsc{Dominating Set} and \textsc{Coloring} admit polynomial-time algorithms on this class of graphs. As a consequence, for every positive integer $r$, $r$-{\sc Coloring} can be solved in polynomial time on even-hole-free graphs without any assumptions on clique size. As part of the proof, we show that there is an integer $d$ such that every even-hole-free graph has a balanced separator which is contained in the (closed) neighborhood of at most $d$ vertices. This is of independent interest; for instance, it implies the existence of efficient approximation algorithms for certain \textsf{NP}-hard problems while restricted to the class of all even-hole-free graphs.

Given an undirected graph $G = (V,E)$, the cut polytope $\mathrm{CUT}(G)$ is defined as the convex hull of the incidence vectors of all cuts in $G$. The 1-skeleton of $\mathrm{CUT}(G)$ is a graph whose vertex set is the vertex set of the polytope, and the edge set is the set of geometric edges or one-dimensional faces of the polytope. We study the diameter and the clique number of 1-skeleton of cut polytopes for several classes of graphs. These characteristics are of interest since they estimate the computational complexity of the max-cut problem for certain computational models and classes of algorithms. It is established that while the diameter of the 1-skeleton of a cut polytope does not exceed $|V|-1$ for any connected graph, the clique number varies significantly depending on the class of graphs. For trees, cacti, and almost trees (2), the clique number is linear in the dimension, whereas for complete bipartite and $k$-partite graphs, it is superpolynomial.

Let $R$ be a noncommutative ring with identity. The commuting graph of $R$, denoted by $Γ(R)$, is a graph with vertex set $R \setminus Z(R)$, and two vertices $a$, $b$ are adjacent if $a\neq b$ and $ab=ba$. Let $T=Tr(R)$ be the ring of all $2\times 2$ upper triangular matrices over $R$ and $Γ(T)$ be the commuting graph of $T$. In this article, we find the number of edges, cliques, clique number, and independence number of $Γ(T)$ when $R$ is a finite field. Moreover, we show that for the case when $R= \mathbb{Z}_{n}$ is not a field, $Γ(T)$ is connected with diameter 3. Some useful related results are also obtained, some examples are presented and a question is posed.

Xu in 2011 determined the largest value of the second Zagreb index in an $n$-vertex graph $G$ with clique number $k$, and also the smallest value with the additional assumption that $G$ is connected. We extend these results to other degree-based topological indices. The key property of the clique number in the first result is that $G$ is $K_{k+1}$-free, while the key property in the second result is that $G$ contains a $K_{k+1}$. We also extend our investigations to other forbidden/prescribed subgraphs. Our main tool is showing that several degree-based topological indices are equal to the weighted sum of the number of some subgraphs of $G$.

Many recent works address the question of characterizing induced obstructions to bounded treewidth. In 2022, Lozin and Razgon completely answered this question for graph classes defined by finitely many forbidden induced subgraphs. Their result also implies a characterization of graph classes defined by finitely many forbidden induced subgraphs that are $(tw,ω)$-bounded, that is, treewidth can only be large due to the presence of a large clique. This condition is known to be satisfied for any graph class with bounded tree-independence number, a graph parameter introduced independently by Yolov in 2018 and by Dallard, Milanič, and Štorgel in 2024. Dallard et al. conjectured that $(tw,ω)$-boundedness is actually equivalent to bounded tree-independence number. We address this conjecture in the context of graph classes defined by finitely many forbidden induced subgraphs and prove it for the case of graph classes excluding an induced star. We also prove it for subclasses of the class of line graphs, determine the exact values of the tree-independence numbers of line graphs of complete graphs and line graphs of complete bipartite graphs, and characterize the tree-independence number of $P_4$-free graphs, which implies a linear-time algorithm for its computation. Applying the algorithmic framework provided in a previous paper of the series leads to polynomial-time algorithms for the Maximum Weight Independent Set problem in an infinite family of graph classes.

Given a class of (undirected) graphs $\mathcal{C}$, we say that a Feedback Arc Set (FAS for short) $F$ is a $\mathcal{C}$-FAS if the graph induced by the edges of $F$ (forgetting their orientations) belongs to $\mathcal{C}$. We show that deciding if a tournament has a $\mathcal{C}$-FAS is NP-complete when $\mathcal{C}$ is the class of all forests. We are motivated by connections between $\mathcal{C}$-FAS and structural parameters of tournaments, such as the dichromatic number, the clique number of tournaments, and the strong Erdős-Hajnal property.

The exact distance $t$-power of a graph $G$, $G^{[\sharp t]}$, is a graph which has the same vertex set as $G$, with two vertices adjacent in $G^{[\sharp t]}$ if and only if they are at distance exactly $t$ in the original graph $G$. We study the clique number of this graph, also known as the $t$-equidistant number. We show that it is NP-hard to determine the $t$-equidistant number of a graph, and that in fact, it is NP-hard to approximate it within a constant factor. We also investigate how the $t$-equidistant number relates to another distance-based graph parameter; the $t$-independence number. In particular, we show how large the gap between both parameters can be. The hardness results motivate deriving eigenvalue bounds, which compare well against a known general bound. In addition, the tightness of the proposed eigenvalue bounds is studied.

FI-graphs were introduced by the second author and White to capture the idea of a family of nested graphs, each member of which is acted on by a progressively larger symmetric group. That work was built on the newly minted foundations of representation stability theory and FI-modules. Examples of such families include the complete graphs and the Kneser and Johnson graphs, among many others. While it was shown in the originating work how various counting invariants in these families behave very regularly, not much has thus far been proven about the behaviors of the typical extremal graph theoretic invariants such as their independence and clique numbers. In this paper we provide a conjecture on the growth of the independence and clique numbers in these families, and prove this conjecture in one case. We also provide computer code that generates experimental evidence in many other cases. All of this work falls into a growing trend in representation stability theory that displays the regular behaviors of a number of extremal invariants that arise when one looks at FI-algebras and modules.

For $D$ being a subset of positive integers, the integer distance graph is the graph $G(D)$, whose vertex set is the set of integers, and edge set is the set of all pairs $uv$ with $|u-v| \in D$. It is known that $χ(G(D)) \leq |D|+1$. This article studies the problem (which is motivated by a conjecture of Zhu): "Is it true that $χ(G(D)) = |D|+1$ implies $ω(G(D)) \geq |D|+1$, where $ω(H)$ is the clique number of $H$?". We give a negative answer to this question, by showing an infinite class of integer distance graphs with $χ(G(D))=|D|+1$ but $ω(G(D))=|D|-1$.

In this paper we will give a structure theory for regular graphs with fixed smallest eigenvalue. As a consequence of this theory, we show that a $k$-regular graph with smallest eigenvalue $-λ$ has clique number linear in $k$ if $k$ is large with respect to $λ$.

The clique number of a tournament is the maximum clique number of a graph formed by keeping backwards arcs in an ordering of its vertices. We study the time complexity of computing the clique number of a tournament and prove that, for any integer $k \geq 3$, deciding whether a tournament has clique number at most $k$ is NP-complete. This answers an interrogation of Nguyen, Scott and Seymour. To do so, we make use of a construction which we then modify to provide a counterexample to a conjecture of Aboulker, Aubian, Charbit and Lopes.

This article investigates the concept of dominant metric dimensions in zero divisor graphs (ZD-graphs) associated with rings. Consider a finite commutative ring with unity, denoted as R, where nonzero elements x and y are identified as zero divisors if their product results in zero (x.y=0). The set of zero divisors in ring R is referred to as L(R). To analyze various algebraic properties of R, a graph known as the zero-divisor graph is constructed using L(R). This manuscript establishes specific general bounds for the dominant metric dimension (Ddim) concerning the ZD-graph of R. To achieve this objective, we examine the zero divisor graphs for specific rings, such as the ring of Gaussian integers modulo m, denoted as Zm[i], the ring of integers modulo n, denoted as Zn, and some quotient polynomial rings. Additionally, we present a general result outlining bounds for the dominant metric dimension expressed in terms of the maximum degree, girth, clique number, and diameter of the associated ZD-graphs. Finally, we provide insights into commutative rings that share identical metric dimensions and dominant metric dimensions. This exploration contributes to a deeper understanding of the structural characteristics of ZD-graphs and their implications for the algebraic properties of commutative rings.

In 2002, Nikiforov proved that for an $n$-vertex graph $G$ with clique number $ω$ and edge number $m$, the spectral radius $λ(G)$ satisfies $λ(G) \leq \sqrt{2(1 - 1/ω) m}$, which confirmed a conjecture implicitly suggested by Edwards and Elphick. In this paper, we prove a local version of spectral Turán inequality, which states that $λ^2(G)\leq 2\sum_{e\in E(G)}\frac{c(e)-1}{c(e)}$, where $c(e)$ is the order of the largest clique containing the edge $e$ in $G$. We also characterize the extremal graphs. We prove that our theorem implies Nikiforov's theorem and give an example to show that the difference of Nikiforov's bound and ours is $Ω(\sqrt{m})$ for some cases. Additionally, we establish a spectral counterpart to Ore's problem (1962) which asks for the maximum size of an $n$-vertex graph such that its complement is connected and does not contain $F$ as a subgraph. Our result leads to a new spectral Turán inequality applicable to graphs with connected complements. Finally, we disprove a conjecture of Gregory, asserting that for a connected $n$-vertex graph $G$ with chromatic number $k\geq 2$ and an independent set $S$, we have \[ \sum_{v\in S} x_v^2 \leq \frac{1}{2} - \frac{k-2}{2\sqrt{(k-2)^2 + 4(k-1)(n-k+1)}}, \] where $x_v$ is the component of the Perron vector of $G$ with respect to the vertex $v$. A modified version of Gregory's conjecture is proposed.

A class of graphs $\mathcal{G}$ is $χ$-bounded if there exists a function $f$ such that $χ(G) \leq f(ω(G))$ for each graph $G \in \mathcal{G}$, where $χ(G)$ and $ω(G)$ are the chromatic and clique number of $G$, respectively. The square of a graph $G$, denoted as $G^2$, is the graph with the same vertex set as $G$ in which two vertices are adjacent when they are at a distance at most two in $G$. In this paper, we study the $χ$-boundedness of squares of bipartite graphs and its subclasses. Note that the class of squares of graphs, in general, admit a quadratic $χ$-binding function. Moreover there exist bipartite graphs $B$ for which $χ\left(B^2\right)$ is $Ω\left(\frac{\left(ω\left(B^2\right)\right)^2 }{\log ω\left(B^2\right)}\right)$. We first ask the following question: "What sub-classes of bipartite graphs have a linear $χ$-binding function?" We focus on the class of convex bipartite graphs and prove the following result: for any convex bipartite graph $G$, $χ\left(G^2\right) \leq \frac{3 ω\left(G^2\right)}{2}$. Our proof also yields a polynomial-time $3/2$-approximation algorithm for coloring squares of convex bipartite graphs. We then introduce a notion called "partite testable properties" for the squares of bipartite graphs. We say that a graph property $P$ is partite testable for the squares of bipartite graphs if for a bipartite graph $G=(A,B,E)$, whenever the induced subgraphs $G^2[A]$ and $G^2[B]$ satisfies the property $P$ then $G^2$ also satisfies the property $P$. Here, we discuss whether some of the well-known graph properties like perfectness, chordality, (anti-hole)-freeness, etc. are partite testable or not. As a consequence, we prove that the squares of biconvex bipartite graphs are perfect.

For a given graph $H$ and the graphical properties $P_1, P_2,\ldots,P_k$, a graph $H$ is said to be $(V_1, V_2,\ldots,V_k)$-partitionable if there exists a partition of $V(H)$ into $k$-sets $V_1, V_2\ldots,V_k$, such that for each $i\in[k]$, the subgraph induced by $V_i$ has the property $P_i$. In $1979$, Bollobás and Manvel showed that for a graph $H$ with maximum degree $Δ(H)\geq 3$ and clique number $ω(H)\leq Δ(H)$, if $Δ(H)= p+q$, then there exists a $(V_1,V_2)$-partition of $V(H)$, such that $Δ(H[V_1])\leq p$, $Δ(H[V_2])\leq q$, $H[V_1]$ is $(p-1)$-degenerate, and $H[V_2]$ is $(q-1)$-degenerate. Assume that $p_1\geq p_2\geq\cdots\geq p_k\geq 2$ are $k$ positive integers and $\sum_{i=1}^k p_i=Δ(H)-1+k$. Assume that for each $i\in[k]$ the properties $P_i$ means that $ω(H[V_i])\leq p_i-1$. Is $H$ a $(V_1,\ldots,V_k)$-partitionable graph? In 1977, Borodin and Kostochka conjectured that any graph $H$ with maximum degree $Δ(H)\geq 9$ and without $K_{Δ(H)}$ as a subgraph, has chromatic number at most $Δ(H)-1$. Reed proved that the conjecture holds whenever $ Δ(G) \geq 10^{14} $. When $p_1=2$ and $Δ(H)\geq 9$, the above question is the Borodin and Kostochka conjecture. Therefore, when all $p_i$s are equal to $2$ and $Δ(H)\leq 8$, the answer to the above question is negative. Let $H$ is a graph with maximum degree $Δ$, and clique number $ω(H)$, where $ω(H)\leq Δ-1$. In this article, we intend to study this question when $k\geq 2$ and $Δ\geq 13$. In particular as an analogue of the Borodin-Kostochka conjecture, for the case that $Δ\geq 13$ and $p_i\geq 2$ we prove that the above question is true.