arXiv++ Combinatorics

Using methods from spectral graph theory and semidefinite programming, we obtain sharp spectral bounds for several graph parameters related to distance colorings and packing, including the injective chromatic number, the open packing number, the injective chromatic index, and the strong chromatic index. The new spectral bounds improve several existing combinatorial bounds. Furthermore, we apply the obtained eigenvalue bounds on the first two parameters to estimate the code covering number and the open packing number of hypercubes, obtaining new exact values and strengthened bounds regarding the existing literature. The obtained results illustrate the power of combining spectral and semidefinite programming tools for tackling coloring and packing problems in graph theory and coding theory.

In this paper, we consider triangle-free graphs with diameter 2. If a triangle-free graph $G$ with diameter 2 is not isomorphic to a star, then the radius of $G$ is also 2, where such a graph is also called a $2$-self-centered graph. Shekarriz et al. [A characterization for 2-self-centered graphs, Discuss. Math. Graph Theory 38 (2018), 27--37.] gave a characterization of 2-self-centered graphs. However, there is a slight flaw in their characterization. Thus, in this paper, we modify it and prove an accurate characterization of those graphs. Furthermore, by using our characterization, we prove some results concerning the chromatic number of triangle-free graphs with diameter 2.

Given a graph $G$, a dominating set is a subset $X\subseteq V(G)$ such that $N[X]=V(G)$. The \emph{domatic number} of $G$, denoted ${\rm dom}(G)$, is the maximum size of a partition of $V(G)$ into dominating sets. In analogy with the lower bound of the chromatic number by the clique number, the domatic number satisfies the upper bound ${\rm dom}(G)\le δ(G)+1$ where $δ(G)$ is the minimum degree of $G$. Therefore, as an analogue of the notion of $χ$-bounded graph classes, we say that a class of graphs $\mathscr{G}$ is \emph{DOM-bounded} if there exists a positive unbounded function $f_{\mathscr{G}}$ such that for every $G\in \mathscr{G}$, we have ${\rm dom}(G) \ge f_{\mathscr{G}}(δ(G))$. We propose the following conjecture for graphs forbidding a fixed induced subgraph, analogous to the Gyárfás--Sumner Conjecture for $χ$-bounded graph classes: for every connected graph $H$, the class of $H$-free graphs is DOM-bounded if and only if $H$ is a tree of diameter at most $3$. We reduce the case of disconnected graphs to the connected setting and show that the conditions on $H$ are necessary. We show that star-free graphs of minimum degree at least $δ$ have domatic number $Ω(δ/\log δ)$, which is best possible up to a constant factor. We also identify a subclass of star-free graphs for which the domatic number is linear in $δ$: line graphs of bounded rank hypergraphs. In support of our conjecture in the case of double stars, we prove that $P_4$-free graphs (i.e. cographs) of minimum degree $δ$ have domatic number at least $1 + \fracδ{2}$, which is best possible.

Let $f(k)$ be the maximum possible chromatic number of a graph whose edge set can be partitioned into at most $k$ complete bipartite graphs. Alon, Saks, and Seymour conjectured that $f(k)=k+1$ for all $k$. While the conjecture was verified for $k \leq 9$ by Gao et al., it was disproved by Huang and Sudakov, and further Balodis et al. proved that $f(k) \geq 2^{\widetildeΩ((\log k)^2)}$. In this note, we give a simple proof of the recursive upper bound $f(k+1) \leq f(k)+f(\lfloor k/4 \rfloor)$. Consequently, $f(k) \leq 2^{(\log_2 (4k))^2/4}$ for $k \geq 1$. This improves the previous best known upper bound of Mubayi and Vishwanathan in the exponent by a factor which is asymptotically two. Note that these bounds are sharp up to a lower order factor in the exponent by the result of Balodis et al.

Recently, Balla, Janzer, and Sudakov showed a lower bound on the MaxCut in terms of the vector chromatic number, recovering known results on the MaxCut of $H$-free graphs. In this note, we show that their bound is tight, providing a construction that achieves a value arbitrarily close to the optimal constant. This answers a question raised by Elphick. Our construction is a modification of the geometric graph used by Feige and Schechtman to establish the integrality gap for the Goemans--Williamson semidefinite relaxation of the MaxCut.

The smallest eigenvalues of (distance-j) Hamming graphs with distance parameter j at least half the length were completely determined by Brouwer et al. (2018). In the present work, we address the complementary regime, namely distances j strictly less than half the length, and derive asymptotic lower bounds on the smallest eigenvalue of binary Hamming graphs. For certain natural generalizations, specifically Cayley graphs defined over quaternary vector spaces, we asymptotically determine the smallest eigenvalue as well. As an application, we obtain lower bounds on the quantum chromatic number of these graphs. In particular, for the aforementioned Cayley graphs over quaternary vectors, our lower bounds for the quantum chromatic number coincide with known upper bounds.

For graphs $G, F_1$ and $F_2$, we say that $G$ is $(F_1,F_2)$-free if neither $F_1$ nor $F_2$ is an induced subgraph of $G$. We say that $G$ is $k$-vertex-critical if the chromatic number of $G$ is $k$, but every proper induced subgraph of $G$ has chromatic number at most $k-1$. The $\textit{chair}$ graph is a $5$-vertex graph obtained by adding a pendant vertex to one of the two central vertices of a path on $4$ vertices. The $\textit{cricket}$ graph is a $5$-vertex graph obtained by adding two pendant vertices to a common vertex of a triangle. The path on $5$ vertices is denoted by $P_5$. We prove that for every $k \geq 1$, there are only finitely many $(P_5,\text{chair})$-free $k$-vertex-critical graphs. We also prove that the same conclusion holds if $\text{chair}$ is replaced by $\text{cricket}$. We further characterize all $5$-vertex-critical $(P_5,\text{chair})$-free graphs, all $5$-vertex-critical $(P_5,\text{cricket})$-free graphs and all $6$-vertex-critical $(P_5,\text{cricket})$-free graphs. Our proofs rely on bounding the size of antichains and developing Ramsey-theoretic ideas. For any fixed integer $k \geq 1$, our results imply the existence of a polynomial time algorithm to decide whether a $(P_5,\text{chair})$-free (or $(P_5,\text{cricket})$-free) graph is $(k-1)$-colourable such that this algorithm can also present a negative constant-size certificate in case the graph is not $(k-1)$-colourable.

In 1974, Witsenhausen asked for the maximum possible density $α_n$ of a measurable subset $A$ of the unit sphere $\mathbb{S}^{n-1}\subset \mathbb{R}^n$ such that $A$ contains no pair of orthogonal vectors. For $n=3$, the best known lower bound is $1 - 1/\sqrt{2} = 0.29289\dots$, obtained from the natural "double cap" construction of two opposite spherical caps, which is conjectured to be optimal for all $n$ by Gil Kalai. In this paper, we use a novel approach to establish an upper bound of $α_3\le 0.2953$, improving the previous best known bound $0.2977$ due to Bekker et al. (2025). Our approach combines harmonic-analytic arguments with the geometric fractional chromatic number of finite graphs, recently introduced by Ambrus et al. (2024). In this framework, any finite subset of the sphere yields an upper bound for $α_n$, and we obtain our bound by identifying an appropriate 33-element point set through a large-scale computer search. The same method can also be used in higher dimensions to yield potential improvements of the best known bounds.

For graph $G$, a connected graph $H$ of order $n$ is said to be $G$-good if $r(G,H)=(χ(G)-1)(n-1)+s(G)$, where $χ(G)$ is the chromatic number of $G$ and $s(G)$ is the minimum size of a color class in a $χ(G)$-coloring of $G$. Let $K_{p+1}(α;n)$ denote the complete $(p+1)$-partite graph with $p$ partite sets of size $α$ and one partite set of size $n$. We determine all graphs $G$ for which $K_{p+1}(α;n)$ is $G$-good for large $n$. The characterization depends on the parameter $\mathrm{snd}(α)$, the smallest non-divisor of $α$.

Let $r$ be a positive integer and $G$ be a graph. The list $r$-hued chromatic number of $G$, denoted by $χ_{L,r}(G)$, is the smallest integer $k$, such that for each $k$-list $L$ of $G$, $G$ has an $(L,r)$-coloring. It is proved in [Discrete Math. 306 (16) (2006) 1997-2004] that every tree $G$ satisfies $χ_{r}(G)=\min\{r,Δ(G)\}+1$. It is known that every cycle graph $C_{n}$ with order $n$ has $χ_{L,r}(C_{n})=χ_{r}(C_{n})$. The main results are the following: $(1)$ If $G$ is a tree, then $χ_{L,r}(G)=\min\{r,Δ(G)\}+1$; $(2)$ Let $G$ be a unicyclic graph which is not isomorphic to the cycle $C_{n}$. If $n\neq 5$ and $r\geq3$, then $χ_{L,r}(G)=\min\{r,Δ(G)\}+1$; otherwise, $\min\{r,Δ(G)\}+1\leqχ_{L,r}(G)\leq\min\{r,Δ(G)\}+2$.

A graph $G$ admits an $H$-tiling if it contains a collection of vertex-disjoint copies of $H$. In this paper, we confirm a conjecture proposed by Kühn, Osthus, and Treglown by showing that for any given graph $H$, there exists a constant $C(H)$ such that the following holds. If $G$ is a sufficiently large $n$-vertex graph satisfying $d(x) + d(y) \geq 2\left(1 - 1/χ_{\text{cr}}(H)\right)n$ for all nonadjacent vertices $x, y \in V(G)$, then $G$ contains an $H$-tiling covering all but at most $C(H)$ vertices. Here $χ_{\text{cr}}(H)$ denotes the critical chromatic number of $H$.

In this article, we study the zero-divisor graph of the commutative non-chain ring with identity $ \mathbb{F}_p + u\mathbb{F}_p + v\mathbb{F}_p + uv\mathbb{F}_p,$ where \(u^2 = 0\), \(v^2 = 0\), \(uv = vu\), and \(p\) is an odd prime. We determine several graph-theoretic properties of the associated zero-divisor graph \(Γ(R)\), including clique number, chromatic number, vertex connectivity, edge connectivity, diameter, and girth. In addition, we compute certain topological indices of \(Γ(R)\). Furthermore, we obtain the eigenvalues, energy, and spectral radius of the adjacency matrix, the Laplacian matrix and the Eccentricity matrix of \(Γ(R)\).

A proper coloring $c$ of a simple graph $G$ is harmonious if, for every pair of distinct edges $uv,xy\in E(G)$, we have that $\{c(u),c(v)\}\neq \{c(x),c(y)\}$. The harmonious chromatic number of $G$, denoted by $h(G)$, is the least positive integer $k$ such that $G$ has a harmonious coloring with $k$ colors. In this work, we extend an idea presented in [Kolay, et al. Harmonious coloring: Parameterized algorithms and upper bounds. Theor. Comp. Sci. 772 (2019), 132-142] to compare the harmonious chromatic numbers of two graphs $G$ and $H$, with $H$ being obtained from $G$ by identifying vertices at distance at least three. Furthermore, by fixing a proof presented in the same work, we manage to improve one of its upper bounds. We also introduce and study the first, to the best of our knowledge, integer-linear programming formulations for this problem in the literature, along with some heuristics. We provide some preliminary tests on random instances and instances from the second DIMACS Implementation Challenge.

A graph is called $F$-free if it does not contain a copy of $F$. Let $G(r,s)$ denote a $K_{r+1}$-free graph of order $n$ with chromatic number at least $s$ that maximizes the spectral radius. Nikiforov [Linear Algebra Appl., 2007] proved the spectral Turán theorem, which implies that $G(r,s)$ is the $r$-partite Turán graph $T_{n,r}$ for $s\leq r$. Lin, Ning, and Wu [Combin. Probab. Comput., 2021] characterized the unique spectral extremal graph $G(2,3)$. This result was later extended by Li and Peng [SIAM J. Discrete Math., 2023] to all $s=r+1\geq 3$. In this paper, we push the characterization further by determining the unique extremal graph $G(2,4)$ for all sufficiently large $n$. Specifically, we show that $G(2,4)$ is precisely a blow-up of the Grötzsch graph. Interestingly, under the same conditions, $G(2,4)$ also coincides with the unique edge-extremal graph identified by Ren, Wang, Wang, and Yang [arXiv:2404.07486v2].

For an $r$-uniform hypergraph $G$, let $λ^{(p)}(G)$ denote its $p$-spectral radius, defined as the maximum of the polyform of $G$ over the unit sphere in the $\ell_p$-norm. Let $Q_k^r(n)$ be the complete $k$-chromatic $r$-graph on $n$ vertices with color classes as equal as possible. Kang--Nikiforov--Yuan conjectured that, for every $p\ge1$ and $n>(r-1)k$, the $r$-graph $Q_k^r(n)$ is the unique maximizer of $λ^{(p)}$ among all $k$-chromatic $r$-graphs of order $n$. They also conjectured the corresponding explicit bound \[ λ^{(p)}(G) \le r!\left(\tbinom nr-k\tbinom{n/k}{r}\right)n^{-r/p}, \] with equality only in the divisible extremal case. The case $r=3$ was established in their work. This paper resolves the remaining cases $r\ge4$, and hence settles both conjectures for all $r\ge3$. As a consequence, the same threshold gives an anti-Wilf-type spectral certificate: any $r$-graph of order $n$ whose $p$-spectral radius exceeds the displayed bound has chromatic number at least $k+1$.

Let $D=(\mathcal{P},\mathcal{B})$ be a symmetric $(v,k,λ)$-design and let $(X,Y)$ be an equinumerous incidence-free pair, with $X\subseteq \mathcal{P}$ and $Y\subseteq \mathcal{B}$. In this note, we give an elementary proof which shows the existence of a perfect matching between $\mathcal{P} \setminus X$ and $\mathcal{B}\setminus Y$ in the incidence graph of $D$. This recovers a result of Spiro, Adriaensen and Mattheus, who already showed this using different arguments for $k\geq 36$. We use this to connect some dots in the literature and prove that finding the chromatic number of the Kneser graph on chambers of a projective plane is equivalent to finding the incidence-free number of the incidence graph of the plane.

The conflict-free closed neighborhood (CFCN$^*$) chromatic number of a graph $G = (V,E)$ is the smallest positive integer $k$ for which there exists a coloring of a subset of vertices using $k$ colors such that, for every vertex in $V$, there exists a color that appears exactly once in its closed neighborhood. The conflict-free open neighborhood (CFON$^*$) chromatic number is defined analogously. In this paper, we study `list variants' of the above-mentioned coloring parameters. The conflict-free closed neighborhood (CFCN$^*$) choice number of a graph $G = (V,E)$ is the smallest positive integer $k$ such that for every assignment of lists of size $k$ to its vertices, there exists a coloring of a subset of vertices, say $V'$, in which (i) every vertex in $V'$ receives a color from its list, and (ii) for every vertex in $V$ there exists some color that appears exactly once in its closed neighborhood. The conflict-free open neighborhood (CFON$^*$) choice number is defined analogously. Dębski and Przybyło [Journal of Graph Theory, 2022] showed that for any graph $G$ with maximum degree $Δ$, the CFCN$^*$ chromatic number of its line graph is $O(\ln Δ)$. This result was later extended to claw-free graphs by Bhyravarapu et al. [Journal of Graph Theory, 2025], who proved that every $K_{1,k}$-free graph $G$ admits a CFCN$^*$ coloring using $O(k\ln Δ)$ colors. In this paper, we generalize this result to the list setting and show that every $K_{1,k}$-free graph $G$ has a CFCN$^*$ choice number of $O(k\ln Δ)$. Further, we answer some questions concerning the hardness of computing CFCN$^*$/CFON$^*$ choice numbers posed by Gupta and Mathew [SOFSEM, 2026]; in particular, we show that it is NP-hard to determine whether the CFCN$^*$/CFON$^*$ choice number a graph is equal to $k$, for $k=1,2$.

Chromatic choosability is a notion of fundamental importance in list coloring. A graph $G$ is chromatic-choosable when its chromatic number, $χ(G)$, is equal to its list chromatic number $χ_{\ell}(G)$. In 1990, Kostochka and Sidorenko introduced the list color function of a graph $G$, denoted $P_{\ell}(G,m)$, which is the list analogue of the chromatic polynomial of $G$, $P(G,m)$. A graph $G$ is said to be enumeratively chromatic-choosable when $P_{\ell}(G,m)=P(G,m)$ for every $m \in \mathbb{N}$. Theta graphs and their generalizations have played an important role in graph coloring problems over the years; for example, they appear in the characterization of chromatic-choosable graphs with chromatic number 2. In this paper we characterize the enumeratively chromatic-choosable theta graphs. Our proof utilizes ideas from DP-coloring (a.k.a. correspondence coloring), providing yet another example of how the more general setting of DP-coloring can be leveraged to attack a problem in list coloring.

The chromatic threshold of a graph $H$ is the minimum-degree density above which every $H$-free graph has bounded chromatic number. We study a two-color Ramsey analogue: for graphs $H_1$ and $H_2$, we ask for the minimum-degree density above which every graph that admits a red-blue edge-coloring with no red copy of $H_1$ and no blue copy of $H_2$ has bounded chromatic number. We give a complete answer when both $H_1$ and $H_2$ are 3-chromatic. The threshold takes exactly one of the five values \[ \frac23,\quad \frac57,\quad \frac34,\quad \frac79,\quad \frac45, \] and we characterize precisely which pairs $(H_1,H_2)$ give each value. The classification is determined by the ordinary chromatic thresholds of $H_1$ and $H_2$ and by their embeddability into a hierarchy of $C_5$-type Ramsey configurations.

A graph $G$ is said to be perfectly divisible if for every induced subgraph $H$ of $G$ with at least one edge, the vertex set $V(H)$ can be partitioned into two sets $A, B$ such that $H[A]$ is perfect and $ω(B) < ω(H)$. It is easy to see that the chromatic number of a perfectly divisible graph is at most $\binom{ω(G)+1}{2}$. Hoàng conjectured that every graph $G$ with $α(G) \le 3$ is perfectly divisible. We disprove this conjecture. In the same vein, a graph $G$ with at least one edge is $k$-divisible if for every induced subgraph $H$ of $G$ with at least one edge, the vertex set $V(H)$ can be partitioned into $k$ sets, none of which contains a largest clique of $H$. It is easy to see that the chromatic number of a $k$-divisible graph is at most $k^{ω-1}$. Hoàng conjectured that every even-hole-free graph is 3-divisible. We confirm this conjecture.