arXiv++ Combinatorics

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 study of quantum chromatic numbers of graphs is a hot research topic in recent years. However, the infinite family of graphs with known quantum chromatic numbers are rare, as far as we know, the only known such graphs (except for complete graphs, cycles, bipartite graphs and some trivial cases) are the Hadamard graphs $H_n$ with $2^n$ vertices and $n$ a multiple of $4$. In this paper, we consider the graphs in Hamming schemes, we determined the quantum chromatic numbers of one class of such graphs. Notably, this is the second known family of graphs whose quantum chromatic numbers are explicitly determined except for some cases aforementioned. We also provide some bounds for the quantum chromatic numbers of some other graphs in Hamming schemes. Consequently, we can obtain the quantum chromatic numbers of products of some graphs.

An injective colouring of a graph is a colouring in which every two vertices sharing a common neighbour receive a different colour. Chen, Hahn, Raspaud and Wang conjectured that every planar graph of maximum degree $Δ\ge 3$ admits an injective colouring with at most $\lfloor 3Δ/2\rfloor$ colours. This was later disproved by Lužar and Škrekovski for certain small and even values of $Δ$ and they proposed a new refined conjecture. Using an algorithm for determining the injective chromatic number of a graph, i.e. the smallest number of colours for which the graph admits an injective colouring, we give computational evidence for Lužar and Škrekovski's conjecture and extend their results by presenting an infinite family of $3$-connected planar graphs for each $Δ$ (except for $4$) attaining their bound, whereas they only gave a finite amount of examples for each $Δ$. Hence, together with another infinite family of maximum degree $4$, we provide infinitely many counterexamples to the conjecture by Chen et al. for each $Δ$ if $4\le Δ\le 7$ and every even $Δ\ge 8$. We provide similar evidence for analogous conjectures by La and Štorgel and Lužar, Škrekovski and Tancer when the girth is restricted as well. Also in these cases we provide infinite families of $3$-connected planar graphs attaining the bounds of these conjectures for certain maximum degrees $Δ\geq 3$.

The codegree ${\rm codeg}(\mathcal{P})$ of a lattice polytope $\mathcal{P}$ is a fundamental invariant in discrete geometry. In the present paper, we investigate the codegree of the stable set polytope $\mathcal{P}_G$ associated with a simple graph $G$. Specifically, we establish the inequalities \[ ω(G) + 1 \leq {\rm codeg}(\mathcal{P}_G) \leq χ(G) + 1, \] where $ω(G)$ and $χ(G)$ denote the clique number and the chromatic number of $G$, respectively. Furthermore, an explicit formula for {\rm codeg}(\mathcal{P}_G) is given when $G$ is either a line graph or an $h$-perfect graph. Finally, as an application of these results, we provide upper and lower bounds on the regularity of the toric ring associated with $\mathcal{P}_G$.

We describe the commuting graph of a Rees matrix semigroup over a group and investigate its properties: diameter, clique number, girth, chromatic number and knit degree. The maximum size of a commutative subsemigroup of a Rees matrix semigroup over a group is presented, and its largest commutative subsemigroups are exhibited. We use the knowledge we obtained from the commuting graph of this semigroup construction to deduce results regarding the properties of commuting graphs of completely simple semigroups. We also characterize the graphs that arise as commuting graphs of completely simple semigroups. In the process of obtaining these results we are also able to restrict the possible values for some properties of commuting graphs of groups.

The vertex coloring problem to find chromatic numbers is known to be unsolvable in polynomial time. Although various algorithms have been proposed to efficiently compute chromatic numbers, they tend to take an enormous amount of time for large graphs. In this paper, we propose a recurrence relation to rapidly obtain the expected value of the chromatic number of random graphs. Then we compare the results obtained using this recurrence relation with other methods using an exact investigation of all graphs, the Monte Carlo method, the iterated random color matching method, and the method presented in Bollobás' previous studies.

Given a graph $G$, its Hall ratio $ρ(G)=\max_{H\subseteq G}\frac{|V(H)|}{α(H)}$ forms a natural lower bound on its fractional chromatic number $χ_f(G)$. A recent line of research studied the fundamental question of whether $χ_f(G)$ can be bounded in terms of a (linear) function of $ρ(G)$. In a breakthrough-result, Dvořák, Ossona de Mendez and Wu gave a strong negative answer by proving the existence of graphs with bounded Hall ratio and arbitrarily large fractional chromatic number. In this paper, we solve two natural follow-up problems that were raised by Dvořák et al. The first problem concerns determining the growth of $g(n)$, defined as the maximum ratio $\frac{χ_f(G)}{ρ(G)}$ among all $n$-vertex graphs. Dvořák et al. obtained the bounds $Ω(\log\log n) \le g(n)\le O(\log n)$, leaving an exponential gap between the lower and upper bound. We almost fully resolve this problem by proving that the truth is close to the upper bound, i.e., $g(n)=(\log n)^{1-o(1)}$. The second problem posed by Dvořák et al. asks for the existence of graphs with bounded Hall ratio, arbitrarily large fractional chromatic number and such that every subgraph contains an independent set that touches a constant fraction of its edges. We affirmatively solve this second problem by showing that such graphs indeed exist.

We present the notion of hom-complexity, $\text{C}(G;H)$, for two graphs $G$ and $H$, along with basic results for this numerical invariant. This invariant $\text{C}(G;H)$ is a number that measures the \aspas{complexity} of the question: when is there a homomorphism $G\to H$? More precisely, $\text{C}(G;H)$ is the least positive integer $k$ such that there are $k$ different subgraphs $G_j$ of $G$ such that $G=G_1\cup\cdots\cup G_k$, and for each $G_j$, there is a homomorphism $G_j\to H$. Likewise, we introduce the notion of injective hom-complexity, $\text{IC}(G;H)$. The (injective) hom-complexity is a graph invariant. Additionally, these invariants can be used to show the nonexistence of homomorphisms. We explore the sub-additivity of (injective) hom-complexity and study products. We describe bounds for the hom-complexity in terms of chromatic number $χ$ and clique number $ω$. We provide the formula \[\text{C}(G;H)=\lceil\log_{χ(H)}χ(G)\rceil\] whenever $ω(H)=χ(H)$. For example, we obtain $\text{C}(G;K_\ell)=\lceil\log_{\ell}χ(G)\rceil$. Moreover, we discuss a connection between the (injective) hom-complexity and several well-known covering numbers. For instance, we provide a lower bound for the clique covering number in terms of the injective hom-complexity. Additionally, we show that the hom-complexity $\mathrm{C}(G;K_{\ell})$ coincides with the $\ell$-particity $β_\ell(G)$ of $G$, and the hom-complexity $\mathrm{C}(K_n;K_{2})$ coincides with the bipartite dimension $\mathrm{d}(K_n)$ of $K_n$. As a consequence, we recover the well-known formulas $β_\ell(G)=\lceil\log_{\ell}χ(G)\rceil$ and $\mathrm{d}(K_n)=\lceil\log_{2}n\rceil$.

We study an extension to directed graphs of the parameter called the $b$-chromatic number of a graph in terms of acyclic vertex colorings: the dib-chromatic number. We give general bounds for this parameter. We also show some results about tournaments and regular digraphs.

A geometrization method that transforms a $(d+1)$-connected graph $G$ into a $(d-1)$-dimensional manifold $U^{d-1}(G)$ is first established through adding some $i$-balls with $2\le i \le d-1$ into $G$ such that the $j$-th homotopy group is trivial for $j=0, 1, \dots, d-2$. On this basis, we establish a sufficient condition for $U^{d-1}(G)$ to be embedded into $\mathbb{R}^d$ and an upper bound for $χ(G)$, the chromatic number of $G$. To be more specific, we prove that if $G$ contains neither $K_{d+3}$ nor $K_{3,d+1}$ as a minor, then $U^{d-1}(G)$ embeds into $\mathbb{R}^d$ and $χ(G) \leq d(d+1)$. Furthermore, based on the above theorem, we extend the Discharging method, originally developed for the study of the four color theorem, to $\mathbb{R}^d$. This generalized approach can be applied to investigate the coloring problems in $\mathbb{R}^d$.

In this paper we prove a conjecture by Wocjan, Elphick and Anekstein (2018) which upper bounds the sum of the squares of the positive (or negative) eigenvalues of the adjacency matrix of a graph by an expression that behaves monotonically in terms of the vector chromatic number. One of our lemmas is a strengthening of the Cauchy-Schwarz inequality for Hermitian matrices when one of the matrices is positive semidefinite. A related conjecture due to Bollobás and Nikiforov (2007) replaces the vector chromatic number by the clique number and sums over the first two eigenvalues only. We prove a version of this conjecture with weaker constants. An important consequence of our work is a proof that for any fixed $r$, computing a rank $r$ optimum solution to the vector chromatic number semidefinite programming is NP-hard. We also present a vertex weighted version of some of our results, and we show how it leads quite naturally to the known vertex-weighted version of the Motzkin-Straus quadratic optimization formulation for the clique number.

In this paper, we explore algebraic approaches to $d$-improper and $t$-clustered colourings, where the colouring constraints are relaxed to allow some monochromatic edges. Bilu [J. Comb. Theory Ser. B, 96(4):608-613, 2006] proved a generalization of the Hoffman bound for $d$-improper colourings. We strengthen this theorem by characterizing the equality case. In particular, if the Hoffman bound is tight for a graph $G$, then the $d$-improper Hoffman bound is tight for the strong product $G \boxtimes K_{d+1}$. Moreover, we prove d-improper analogous for the inertia bound by Cvetkovíc and the multi-eigenvalue lower bounds of Elphick and Wocjan. We conjecture an equality between the chromatic number of a graph $G$ and the $d$-improper chromatic number of its strong product with a complete graph, $G \boxtimes K_{d+1}$, and prove the conjecture in special graph classes, including perfect graphs and graphs with chromatic number at most 4. Other supporting evidence for the conjecture includes a fractional analogue, a clustered analogue, and various spectral relaxations of the equality.

Let $G$ be a simple finite connected graph of order $n$ greater than or equal to $3$. We obtain the following results: (1). We apply a result of Hamada and Yoshimura from 1976 and some recent results of Alikhani and Soltani (2020) and Kalinowski and Pilsniak (2015) to determine the distinguishing chromatic number of the middle graph $M(G)$ of the graph $G$. In particular, the distinguishing chromatic number $χ_{D}(M(G))$ of the middle graph $M(G)$ of the graph $G$ is $Δ(G)+1$ except for four small graphs $C_{4}, K_{4}, C_{6}$, and $K_{3,3}$, and $Δ(G)+2$ otherwise. (2). In 2016, Kalinowski, Pilsniak, and Wozniak introduced the total distinguishing number $D''(G)$ of $G$. Inspired by a recent result of Mirafzal (2024), we show that the distinguishing number $D(S(G))$ of the subdivision graph $S(G)$ of $G$ is $D''(G)$. Consequently, $D(S(G))$ is at most $\lceil \sqrt{Δ(G)}\rceil$. (3). We obtain a sharp upper bound for the distinguishing chromatic number of the subdivision graph $S(G)$ of $G$ in terms of the distinguishing number of $G$.

In 2006, Marcus and Tardos proved that if $A^1,\dots,A^n$ are cyclic orders on some subsets of a set of $n$ symbols such that the common elements of any two distinct orders $A^i$ and $A^j$ appear in reversed cyclic order in $A^i$ and $A^j$, then $\sum_{i} |A^i|=O(n^{3/2}\log n)$. This result is tight up to the logarithmic factor and has since become an important tool in Discrete Geometry. We improve this to the optimal bound $O(n^{3/2})$. In fact, we show that if $A^1,\dots,A^n$ are linear orders on some subsets of a set of $n$ symbols such that no three symbols appear in the same order in any two distinct linear orders, then $\sum_{i} |A^i|=O(n^{3/2})$. Using this result, we resolve several open problems in Discrete Geometry and Extremal Graph Theory as follows. We prove that every $n$-vertex topological graph that does not contain a self-crossing four-cycle has $O(n^{3/2})$ edges. This resolves a problem of Marcus and Tardos from 2006. We also show that $n$ pseudo-circles in the plane can be cut into $O(n^{3/2})$ pseudo-segments, which, in turn, implies new bounds on point-circle incidences and on other geometric problems. Moreover, we prove that the edge-ordered Turán number of the four-cycle $C_4^{1243}$ is $Θ(n^{3/2})$. This answers a question of Gerbner, Methuku, Nagy, Pálvölgyi, Tardos and Vizer. Using different methods, we determine the largest possible extremal number that an edge-ordered forest of order chromatic number two can have. Kucheriya and Tardos showed that every such graph has extremal number at most $n2^{O(\sqrt{\log n})}$, and conjectured that this can be improved to $n(\log n)^{O(1)}$. We disprove their conjecture by showing that for every $C>0$, there exists an edge-ordered tree of order chromatic number two whose extremal number is $Ω(n 2^{C\sqrt{\log n}})$.

There is a famous problem in geometric graph theory to find the chromatic number of the unit distance graph on Euclidean space; it remains unsolved. A theorem of Erdos and De-Bruijn simplifies this problem to finding the maximum chromatic number of a finite unit distance graph. Via a construction built on sequential finite graphs obtained from a generalization of this theorem, we have found a class of geometrically defined hypergraphs of arbitrarily large edge cardinality, whose proper colorings exactly coincide with the proper colorings of the unit distance graph on $\mathbb R^d$. We also provide partial generalizations of this result to arbitrary real normed vector spaces.

Szlam's Lemma began life as a way of getting upper bounds on the chromatic numbers of distance graphs in normed vector spaces. Now analogs are available in a variety of hypergraph settings, but the method always involves a shrewdly chosen 2-coloring of the vertex set of a hypergraph, together with a subset of the vertex set which satisfies certain requirements with reference to the 2-coloring. From these ingredients a proper coloring of the hypergraphs is cooked up. In this paper, we separate the process from the conclusion of Szlam's Lemma by defining Szlam colorings of the vector spaces $\mathbb R^d$, and then a more regimented variety of these, which we call ordered Szlam colorings, which we characterize.

We study the intersection of a random geometric graph with an Erdős-Rényi graph. Specifically, we generate the random geometric graph $G(n, r)$ by choosing $n$ points uniformly at random from $D=[0, 1]^2$ and joining any two points whose Euclidean distance is at most $r$. We let $G(n, p)$ be the classical Erdős-Rényi graph, i.e. it has $n$ vertices and every pair of vertices is adjacent with probability $p$ independently. In this note we study $G(n, r, p):=G(n, r) \cap G(n, p)$. One way to think of this graph is that we take $G(n, r)$ and then randomly delete edges with probability $1-p$ independently. We consider the clique number, independence number, connectivity, Hamiltonicity, chromatic number, and diameter of this graph where both $p(n)\to 0$ and $r(n)\to 0$; the same model was studied by Kahle, Tian and Wang (2023) for $r(n)\to 0$ but $p$ fixed.

Recently, Van Hoeve proposed an algorithm for graph coloring based on an integer flow formulation on decision diagrams for stable sets. We prove that the solution to the linear flow relaxation on exact decision diagrams determines the fractional chromatic number of a graph. This settles the question whether the decision diagram formulation or the fractional chromatic number establishes a stronger lower bound. It also establishes that the integrality gap of the linear programming relaxation is O(log n), where n represents the number of vertices in the graph. We also conduct experiments using exact decision diagrams and could determine the chromatic number of r1000.1c from the DIMACS benchmark set. It was previously unknown and is one of the few newly solved DIMACS instances in the last 10 years.

For a digraph $D$ of order $n$ and an integer $1 \leq k \leq n-1$, the $k$-token digraph of $D$ is the graph whose vertices are all $k$-subsets of vertices of $D$ and, given two such $k$-subsets $A$ and $B$, $(A,B)$ is an arc in the $k$-token digraph whenever $\{a\} = A \setminus B$, $\{b\} = B \setminus A$, and there is an arc $(a,b)$ in $D$. Token digraphs are a generalization of token graphs. In this paper, we study some properties of token digraphs, including strong and unilateral connectivity, kernels, girth, circumference and Eulerianity. We also extend some known results on the clique and chromatic numbers of $k$-token graphs, addressing the bidirected clique number and dichromatic number of $k$-token digraphs. Additionally, we prove that determining whether $2$-token digraphs have a kernel is NP-complete.

Let G=(V,E) be a graph of order n without isolated vertices. A bijection f:V -- {1,2,...n} is called a local distance antimagic labeling if the weights of any two adjacent vertices are not equal, where the weight of a vertex is defined to be the sum of labels of adjacent vertices. The local distance antimagic chromatic number is defined to be the minimum number of colors taken over all colorings of G induced by local distance antimagic labelings of G. In this paper, we study the local distance antimagic chromatic number for the join of graphs and the lexicographic product of graphs with empty graphs.