arXiv++ Combinatorics

The celebrated result of Johansson, Kahn and Vu determined the threshold order for clique factors in random graphs, and subsequent work identified the sharp threshold and the corresponding hitting-time phenomenon. In this paper we study the probability that there is no $K_r$-factor above the threshold and, more generally, the probability that the largest $K_r$-matching covers less than $n-s$ vertices of $G(n,p)$. For every fixed $r\ge3$, throughout the range $$n^{-2/r}(\log n)^{1/\binom r2}\ll p\ll n^{-2/(r+1)},\qquad n-s\in r\mathbb Z,\qquad s=o(n),$$ we prove $$\mathbb P\bigl(ϕ_r^s(G(n,p))=0\bigr)=\exp\left(-Θ_r\!\left((s+1)\frac{μ_r(n,p)}n\right)\right),$$ where $ϕ_r^s(G)$ is the number of $K_r$-matchings covering exactly $n-s$ vertices and $μ_r(n,p):=\binom nrp^{\binom r2}$. The lower bound is given by $s+1$ vertices which lie in no copy of $K_r$. For the upper bound we develop an iterable one-root version of the Johansson--Kahn--Vu method. As a structural consequence, we show that the remainder of $G(n,p)$ outside every maximal $K_r$-matching has an almost-perfect $K_{r-1}$-matching throughout the sparse clique window. Independently, we prove a central limit theorem for the maximum $K_r$-matching number. Combining these inputs and a structural theorem for $r=2$ from our earlier work, we prove a central limit theorem for the chromatic number of very dense random graphs: for every $r\ge2$ and $n^{-2/r}(\log n)^{1/\binom r2}\ll p\ll n^{-2/(r+1)},$ $$\frac{χ(G(n,1-p))-\mathbb Eχ(G(n,1-p))}{\sqrt{μ_{r+1}(n,p)}/r}\xrightarrow{\mathrm d}\mathcal N(0,1),\qquad\operatorname{Var}\bigl(χ(G(n,1-p))\bigr) \sim\frac{μ_{r+1}(n,p)}{r^2}.$$ This settles the Surya--Warnke conjecture throughout the interior of every clique window with $r\ge2$, strengthening its concentration prediction to a Gaussian limit with asymptotically exact variance.

The classical Hadwiger-Nelson problem asks for the chromatic number of the unit distance graph of the Euclidean plane. Over the years, this problem has been considered for a variety of other normed spaces, with higher-dimensional Euclidean space $\mathbb{R}^d$ being perhaps the most natural and well-studied. Alon, Bucić, and Sauermann proved that, for a typical norm on $\mathbb{R}^d$, the chromatic number of the unit distance graph is at most $2^d$. We improve this exponential bound to a linear one by showing that the chromatic number of a typical norm on $\mathbb{R}^d$ is at most $2d$ and that this is tight. This shows a stark difference in the behavior compared to the Euclidean case, where there is an exponential lower bound. One of the key ingredients is a certain high-dimensional, matrix generalization of the Lonely runner conjecture, which also allows us to completely settle the so-called view-obstruction conjecture of Schoenberg from 1978 and a more recent covering-radius conjecture of Henze and Malikiosis.

Hadwiger's conjecture (1943) states that every graph $G$ with chromatic number at least $t$ contains a $K_t$-model: a collection of $t$ vertex-disjoint connected subgraphs $T_1,\dots,T_t$ such that for all $1\le i<j\le t$ some vertex in $T_j$ has a neighbour in $T_i$. Replacing "some" in this definition by "every" gives rise to the significantly stronger notion of a dominating $K_t$-model introduced by Illingworth and Wood (2024). They raised the question whether every graph of chromatic number at least $t$ contains a dominating $K_t$-model. This statement is a significant strengthening of Hadwiger's conjecture and has come to be known as the dominating Hadwiger conjecture. We provide our own exposition of a disproof of this conjecture found by ChatGPT 6 Astra Ultra. The construction is the complement of a pseudorandom triangle-free graph that is obtained by randomly subsampling a block geometric graph based on the Suzuki-Tits ovoid.

For any graph $H$, let $R_k(H)$ denote the minimum integer $n$ such that in every $k$-edge-coloring of $K_{n}$, there is a monochromatic copy of $H$. Given two graphs $H$ and $G$, the \emph{constrained Ramsey number} $f(H,G)$ is the minimum integer $n$ such that in every edge-coloring of $K_{n}$ with any number of colors, there is either a monochromatic copy of $H$ or a rainbow copy of $G$. Let $P_t$ be the path on $t$ vertices. Gyárfás, Lehel and Schelp proved that $f(H,P_5)=R_3(H)$ when $H$ is a path, a cycle, or a connected non-bipartite graph. Li, Besse, Magnant, Wang and Watts conjectured that $f(H,P_5)=R_3(H)$ for any graph $H$, and confirmed this for every connected graph and every bipartite graph. In this paper, we address this conjecture for several classes of disconnected graphs with chromatic number at least 3. To the best of our knowledge, our general results encompass all previously known results of this type. We also obtain several results for a bipartite variant of the problem. In addition, we propose a series of related questions from several directions for further research. Our proofs combine the structural characterization of Thomason and Wagner with Simonovits' decomposition-family method and Ramsey numbers for families of graphs.

A famous folklore result in list coloring demonstrating that the gap between the list chromatic number and chromatic number of a graph can be arbitrarily large is: $χ_{\ell}(K_{l,t}) = 1+l$ if and only if $t \geq l^l$. DP-coloring (also called correspondence coloring) is a well-studied generalization of list coloring introduced in 2015. In 2018, Mudrock studied the DP analogue of the aforementioned folklore result. He proved that for $l \in\mathbb{N}$, if $μ(l)$ is the smallest integer $t$ such that $χ_{DP}(K_{l,t})=1+l$, then $\left\lceil l^l/l!\right\rceil \leq μ(l) \leq 1+l^l(\log(l!)+1)/l!$. Recently, Kaul, Mudrock, and Sharma studied a more general version of this problem by studying the smallest $t$ for which $χ_{DP}(G \square K_{l,t}) = k + l$, where $G$ satisfies certain criticality conditions and $G \square K_{l,t}$ denotes the Cartesian product of $G$ and $K_{l,t}$. In this paper, we introduce a notion we call covering families that gives a new perspective on these DP-coloring questions. In particular, if $κ(l)$ denotes the minimum size of a covering family of $[l]^l$, we show that $μ(l)=κ(l)$. We use this equivalence to prove $μ(4)=12$ and to obtain new general lower bounds on $μ(l)$. We also prove a general upper bound on the minimum size of covering families which yields an improved general upper bound on $μ(l)$ and gives improvements on known bounds for related DP-coloring questions involving Cartesian products with complete bipartite graphs.

The vertex arboricity $\mathrm{va}(G)$ of a multigraph $G$ is the minimum number $k$ for which $V(G)$ can be partitioned into $k$ subsets, each of which induces an acyclic subgraph of $G$. By definition, if $\mathrm{va}(G)= k$, then the chromatic number, $χ(G)$, satisfies $k\leq χ(G)\leq 2k$. Fundamental results by Borodin from 1976 and Bollobás and Manvel from 1979 imply an analog of Gallai's lower bound on the number of edges in a $(2k-1)$-critical graph. We consider a slight generalization of vertex arboricity in the setting of DP-coloring. Using this framework, we derive lower bounds on the number of edges in graphs critical for vertex arboricity and for list arboricity that are better than Gallai's bound, along with similar bounds in our DP-setting.

The inertia bound, introduced by Cvetković in 1971, is a fundamental result in spectral graph theory that provides an upper bound for the independence number of a graph in terms of spectral information about a weighted adjacency matrix of the graph. Recently, this bound has been extended to the so-called inertia-type bounds for estimating the independence and chromatic numbers of graph powers ($k$-independence number and distance-$k$ chromatic number of a graph). These bounds have recently found applications in coding theory and quantum information theory. The inertia-type bounds depend on the choice of a polynomial of degree $k$ and on the eigenvalues of the graph. Currently, optimizing these bounds requires solving several MILPs, which quickly becomes computationally demanding as the graph size or $k$ grows. This computational barrier is a major obstacle to the practical use of these bounds. Moreover, we have a limited theoretical understanding of their performance, even for small $k$. In this paper, we investigate their optimization and complexity. In particular, we improve the MILP formulations, reducing their computational burden and significantly decreasing the running time. Furthermore, we show that the optimization problems associated with the bounds are solvable in polynomial arithmetic time for every fixed $k$, given exact spectral input.

The dominated coloring of a graph $G$ is a proper vertex coloring such that each color class is dominated by a vertex. The minimum number of colors required for a dominated coloring of a graph $G$ is called the dominated chromatic number of the graph $G$ and is denoted by $χ_{dom}(G)$. A graph $G$ is said to be chromatic dominated if $χ(G)=χ_{dom}(G)$. In this paper, we characterized the perfect graphs, which are chromatic dominated. Also, we studied the dominated chromatic number of some classes of unicyclic graphs.

We construct a family of finite local rings whose annihilating-ideal graphs are naturally described by orthogonality of subspaces of $\mathbb{F}_2^n$. For $n=4$ we determine the clique and chromatic numbers exactly and obtain \[ ω(\AG(R_4))=5<6=χ(\AG(R_4)). \] Thus $\AG(R_4)$ is not weakly perfect, and the Behboodi--Rakeei conjecture fails for non-reduced commutative rings.

Classical Turán theory shows that, without additional constraints, the extremal structure of $F$-free graphs is governed by the chromatic number of $F$ and is asymptotically the balanced Turán graph. We investigate how prescribing a large maximum degree changes this picture and leads to an unbalanced Turán problem. Let $F$ be a graph with $χ(F)=r+1\ge3$, and let $\lceil(r-1)n/r\rceil\leΔ\le n-1$. We study the maximum number of edges and adjacency spectral radius of an $n$-vertex $F$-free graph with maximum degree exactly $Δ$. For $F=K_{r+1}$, the unbalanced $r$-partite graph $S_{n,Δ}^{(r)}=(n-Δ)K_1\vee T(Δ,r-1)$ is the unique maximizer of both quantities. Let $a(F)$ be the minimum size of an independent set $I$ such that $χ(F-I)\le r$. If $a(F)=1$, we prove edge and spectral stability with respect to $S_{n,Δ}^{(r)}$. If $a(F)>1$, the extremal values are $t(n,r)+o(n^2)$ and $ρ(T(n,r))+o(n)$, respectively, and every extremal graph differs from $T(n,r)$ in $o(n^2)$ edges, uniformly all $\lceil(r-1)n/r\rceil\leΔ\le n-1$. We further establish a general spectral transfer principle: for finite forbidden families, a decomposition-family bound of order $O(n^{1+s})$ yields a spectral bound with error $O(n^s)$ for $0\le s<1$.

Let $R$ be a commutative ring with identity. We introduce a novel bipartite graph $\mathcal{B}(R)$, the \textit{bipartite zero-divisor--unit graph}, whose vertex set is the disjoint union of the nonzero zero-divisors $Z(R)^*$ and the unit group $U(R)$. A vertex $z \in Z(R)^*$ is adjacent to $u \in U(R)$ if and only if $z + u \in Z(R)$. This construction provides an \textit{additive} counterpart to the well-established \textit{multiplicative} zero-divisor graphs. We investigate fundamental graph-theoretic properties of $\mathcal{B}(R)$, including connectedness, diameter, girth, chromatic number, and planarity. Explicit descriptions are given for rings such as $\mathbb{Z}_n$, finite products of fields, and local rings. Our results are sharpest for \textit{finite reduced rings}, where $\mathcal{B}(R)$ yields a graphical characterization of fields and serves as a complete invariant: $\mathcal{B}(R) \cong \mathcal{B}(S)$ implies $R \cong S$ for finite reduced rings $R$ and $S$. The graph also reveals structural distinctions between reduced and non-reduced rings, underscoring its utility in the interplay between ring-theoretic and combinatorial properties.

This paper explores variations of vertex-coloring problems defined on graph visibility properties. It introduces and studies the dual, outer, and total mutual-visibility chromatic numbers, which partition the vertex set of a graph into color classes that preserve specific mutual-visibility conditions called dual, outer or total. The work provides structural conditions under which these chromatic parameters are finite or infinite, and establishes that deciding whether a graph admits a dual, outer, or total mutual-visibility coloring using a given number of colors is NP-complete, even when restricted to two colors. Exact formulas and tight bounds for these chromatic parameters are established across several fundamental graph classes. For block graphs, complete characterizations are provided for the outer and dual mutual-visibility chromatic numbers based on structural invariants such as cut vertices and specific forbidden subgraph structures. On Hamming graphs, the dual and total mutual-visibility chromatic numbers are shown to equal the smaller dimension of the factors, while the outer mutual-visibility chromatic number is proven to equal the star arboricity of a corresponding complete bipartite graph. Finally, the paper examines strong grid graphs, determining exact values for their total, outer, and dual mutual-visibility chromatic numbers. These results demonstrate how the parameter behaviors range from finite constants to infinity depending on the grid dimensions.

In recent work, Martinsson and Steiner proved that triangle-free $d$-degenerate graphs have fractional chromatic number $χ_f(G) = O\left(\frac{d}{\log d}\right)$. Here, we introduce an alternate proof of the bound rooted in the analysis of the entropy of certain random variables. Beyond simplifying the original argument, our technique naturally generalizes to broader settings. In this paper, we focus on two extensions of the result. First, we consider locally $r$-colorable graphs $G$, where $χ(G[N(v)]) \le r$ for every vertex $v$. We show that $d$-degenerate locally $r$-colorable graphs satisfy $χ_f(G) = O\left(\frac{d\log (2r)}{\log d}\right)$, strengthening a result of Alon (1996) on the independence number of such graphs. Second, we extend Martinsson and Steiner's result to $r$-uniform $d$-degenerate hypergraphs $H$ with girth at least $4$, showing that $χ_f(H) \le c_r\left(\frac{d}{\log d}\right)^{\frac{1}{r-1}}$ for a constant $c_r > 0$. This yields a strict generalization of a seminal result of Ajtai, Komlós, Pintz, Spencer, and Szemerédi (1982) on the independence number of uncrowded hypergraphs. Via random sampling as introduced by Duke, Lefmann, and Rödl (1995), we obtain an improved bound on the independence number of linear hypergraphs, establishing a recent conjecture of Verstraëte and Wilson (2026). Our arguments generalize to the setting of fractional colorings with local demands, introduced by Kelly and Postle (2024). This yields previously unknown degree-sequence lower bounds on the independence number across each setting considered. Furthermore, our approach is constructive, yielding efficient randomized algorithms for sampling independent sets in these contexts.

A graph is biplanar if it is the union of two planar graphs on the same vertex set. The largest chromatic number of a biplanar graph is known to lie between 9 and 12. The lower bound comes from Sulanke's graph, which has independence number 2, and a biplanar graph on 19 vertices with independence number 2 would have chromatic number at least 10. Gethner and Sulanke asked in 2009 whether such a graph exists. We show that it does not, and more generally that every biplanar graph with independence number at most 2 is 9-colorable. The proof embeds a hypothetical counterexample in the union of two sphere triangulations, enumerates with SAT modulo symmetries the 3271 graphs that pass a necessary filter for the complement of such a union, and shows with a SAT solver that none of them is such a complement; a matching argument reduces the general statement to this computation and one further case on 18 vertices. The computational part of the proof, including the completeness of the enumeration and every refutation, is checked in Lean 4, assuming three classical facts about planar graphs. The Lean development, the SAT instances, and the enumeration certificates are available on Zenodo.

We provide a general upper bound on multicolor ordered Ramsey numbers in terms of the interval chromatic number and the degeneracy of an ordered graph. We extend previous results by Conlon, Fox, Lee, and Sudakov (2017) by showing that for every $n$-vertex ordered graph $G^<$ with degeneracy $d\geq2$, and interval chromatic number $χ$, its $q$-color ordered Ramsey number satisfies $r_<(G^<;q) \in n^{O(d^{q-1}\lceil \logχ\rceil^{q-1})}$ for every $q \geq 2$. For fixed parameters $q,d,χ$, the resulting estimate is polynomial in $n$. For triangle-free ordered graphs $G^<$, we also provide the stronger estimate $n^{O(q^2d {\lceil \log χ\rceil}^{q-1})}$. It also follows from a recent result by Li (2026) that our upper bound is almost tight for ordered matchings.

For positive integers $n,r,t$, let $δ(n,r,t)$ denote the maximum possible minimum degree of a balanced $r$-partite graph with parts of size $n$ and chromatic number at most $t$. Lo, Treglown and Zhao established a general upper bound for this parameter and used it, together with explicit constructions, to determine the corresponding multipartite clique threshold up to an additive constant in a broad parameter range. I determine the chromatic parameter throughout the range $r=mt-a$, $m\ge2$, $t\ge3$, $2\le a\le \min\{m,t-1\}$. The answer differs from the Lo--Treglown--Zhao upper bound by at most one. I give an explicit arithmetic criterion deciding when this one-unit correction occurs. The proof reduces the problem to an integer matrix extremum. In the boundary case, equality forces the supports of all mixed rows to form a spanning star, after which the only remaining obstruction is a divisibility condition. Combining this formula with the Andrasfai--Erdos--Sos theorem sharpens the known equality range for $f(n,r,t+1)=δ(n,r,t)$. In particular, for $t=3$ it removes the remaining size restrictions at $r=10$ and $r=13$. Together with the $r=7$ result in arXiv:2609.19177, the classical $r=4$ case, and the known congruence classes, this gives a formula for the multipartite $K_4$-free problem for every admissible $r\ge4$ and every $n\ge1$.

For a graph $G$, we denote by $α(G)$ the size of a maximum independent set and by $ω(G)$ the size of a maximum clique in $G$. Our paper lies on the edge of two lines of research, related to $α$ and $ω$, respectively. One of them studies $α$-variants of graph parameters, such as $α$-treewidth or $α$-degeneracy. The second line deals with graph classes where some parameters are bounded by a function of $ω(G)$. A famous example of this type is the family of $χ$-bounded classes, where the chromatic number $χ(G)$ is bounded by a function of $ω(G)$. A Ramsey-type argument implies that if the $α$-variant of a graph parameter $ρ$ is bounded by a constant in a hereditary class $\mathcal{G}$, then $ρ$ is bounded by a function of $ω$ in $\mathcal{G}$. If the reverse implication also holds, we say that $ρ$ is awesome. Otherwise, we say that $ρ$ is awful. In the present paper, we identify a number of awesome and awful graph parameters, derive some algorithmic applications of awesomeness, and propose a number of open problems related to these notions.

We prove that every sufficiently large finite planar point set contains either four collinear points or seven points with at most one non-visible pair. More generally, we show that for every fixed graph $H$ with chromatic number at most five, or with chromatic number six and a color-critical edge, the visibility graph of every sufficiently large finite planar point set with no four collinear points contains a copy of $H$. These results extend the recent breakthrough of Bonnet (2026), guaranteeing six pairwise visible points, and come within one visibility edge of the next open case of the big-line-big-clique conjecture.

Shift graphs, introduced by Erdős and Hajnal in 1964, form one of the simplest known non-recursive constructions of triangle-free graphs with arbitrarily large chromatic number. In this note, we identify a surprising property: for each integer $k \geq 1$, the smallest $k$-chromatic shift graph contains a \emph{unique} induced $k$-vertex-critical subgraph. We give an explicit description of this subgraph and prove its uniqueness. This provides a new family of vertex-critical triangle-free graphs of arbitrarily large chromatic number.

We prove that every triangle-free graph with minimum degree at least $\frac{n}{3}$ is $4$-colorable and thereby settle a problem of Brandt and Thomassé (2005) at the threshold $\frac{n}{3}$. The number four is best possible. For a positive integer-valued function $f(n)=o(n)$, we relate the chromatic number of $f(n)$-vertex subgraphs of the Kneser graph $KG(n,f(n))$ to that of triangle-free graphs with minimum degree at least $\frac{n}{3}-f(n)$. Consequently, for every $0<δ<1$ and $\varepsilon>0$, and for all sufficiently large $n$, every $n$-vertex triangle-free graph with minimum degree at least $\frac{n}{3}-n^{1-δ}$ has chromatic number at most $10^{391}+1+\left\lceil{(1+\varepsilon)(1-δ)}/δ\right\rceil$. We also show that every sufficiently large $n$-vertex maximal triangle-free graph with minimum degree at least $\frac{n}{3}-f(n)$ and chromatic number at least $10^{391}$ contains a bipartite subgraph with parts of orders $\frac{n}{3}-O(f(n))$ and $\frac{2n}{3}-O(f(n))$; the remaining induced subgraph admits a homomorphism to $KG(\frac{n}{3}-O(f(n)),O(f(n)))$. Finally, we connect maximal $K_r$-free graphs with minimum degree at least $\frac{2r-5}{2r-3}n-f(n)$ to $K_{r-1}$-free graphs and extend these results to $K_r$-free graphs. Our proofs employ the recent strong Brandt--Thomassé theorem of Łuczak, Polcyn, and Reiher.