arXiv++ Combinatorics

We study the proper hat guessing game on graphs, introduced by Adriaensen et al. in Hat guessing with proper colorings. In this game, the players are seated on the vertices of a graph $G$ and assigned hats from a set of $k$ colors such that the resulting assignment forms a proper coloring. The visibility of each vertex is limited to the hat colors of their neighborhood. Then they must simultaneously output a guess about the color of their own hat. The players win if at least one guess is correct. A parameter related to this problem is the proper hat guessing number $\operatorname{HG}_{P}(G)$ that is the maximum number of colors $m$ such that the players can guarantee a winning strategy. Motivated by the work of Shurman et al. \cite{shurman2026upper}, we establish the first upper bound that depends both on the number of vertices $n$ and the maximum degree $Δ$ in the case where $Δ\geq \frac{n}{e+1}$. This result leads us to show that the proper hat guessing number of the binomial random graph $G_{n,1/2}$ is bounded above by $cn$, where $c \approx 1.366$. Finally, we prove that graphs of maximum degree $(1-γ)n$ for some fixed $γ\in (0,1]$ cannot have $\operatorname{HG}_{P}(G) = (2-o(1))n$.

We show that, in random hypergraphs with several permitted edge sizes, non-uniformity affects existential and algorithmic bounds for 2-colorability (Property B) in fundamentally different ways. Assigning weight $2^{-k}$ to each $k$-edge, we obtain upper and lower bounds in terms of the total edge weight that asymptotically match the uniform bounds as the minimum permitted edge size grows, regardless of how edges are distributed among sizes. We also extend the best-known algorithm for 2-coloring random uniform hypergraphs to the non-uniform setting. With weight $\frac{k}{2^k}$ assigned to each $k$-edge, we construct non-uniform instances whose expected total edge weight per vertex is arbitrarily large, yet the algorithm finds a proper coloring asymptotically almost surely. In the uniform setting, the algorithm fails with high probability once this quantity exceeds a constant. Our construction uses sufficiently separated edge sizes, so that edges of different sizes become relevant at well-separated stages of the execution and their effects are essentially independent.

A strong odd $k$-coloring of a graph $G$ is a proper $k$-coloring such that every color appearing in the neighborhood of a non-isolated vertex appears an odd number of times. The minimum $k$ for which $G$ admits a strong odd $k$-coloring is the \emph{strong odd chromatic number}, denoted by $χ_{\text{so}}(G)$, of $G$. Given a graph $G$ and an integer $k$, \textsc{strong odd $k$-colorability} problem asks whether $G$ admits a strong odd $k$-coloring. It is known that STRONG ODD $k$-COLORABILITY is NP-complete in general graphs. In this paper, we prove that the problem is NP-complete on perfect elimination bipartite graphs for $k\geq3$, which is a subclass of bipartite graphs. Furthermore, we show that $χ_{\text{so}}(G)$ is inapproximable within a factor of $O(n^{\frac{1}{2}-\varepsilon})$ for every $\varepsilon>0$. On the positive side, we obtain a linear time algorithm to compute an optimal strong odd coloring for block graphs. From a parameterized perspective, we present an FPT algorithm for STRONG ODD $k$-COLORABILITY when parameterized by treewidth. Moreover, we show that the problem cannot be solved in time $(k-\varepsilon)^{\texttt{tw}}n^{O(1)}$ for every $k\geq3$ and $\varepsilon>0$ when parameterized by treewidth under SETH. Furthermore, we show that STRONG ODD $k$-COLORABILITY does not admit a polynomial kernel when parameterized by feedback vertex set. Lastly, we prove that STRONG ODD $k$-COLORABILITY is W[1]-hard when parameterized by clique-width.

We prove an $e$-positive formula for the chromatic symmetric function of proper circular arc graphs solving the $q=1$ case of Ellzey's conjecture. In doing so, we provide a new proof of the $e$-positivity of unit interval graphs, which alongside Guay-Paquet's reduction gives a new proof of the Stanley--Stembridge conjecture. We define color matrices, which count proper colorings, and tableau matrices, whose entries are nonnegative rational numbers and ratios of elementary symmetric functions. We prove the two matrices are related by a single family of change of basis matrices, which become invertible after restricting to finitely many colors, and we show the chromatic symmetric function of proper circular arc graphs comes from taking the trace of these matrices. Using Hikita's tableaux, this gives an explicit formula for the chromatic symmetric function of a proper circular arc graph as a weighted sum over tableaux whose first and last $k$ vertices lie in the same columns.

For a graph $G$, we write $\mathrm{mad}(G)$ for its maximum average degree and $\mathrm{diam} G$ for its diameter. Let $R_k(G)$ be the graph whose vertices are the proper colorings of $G$ with $k$ colors, where two colorings are adjacent when they differ at one vertex. Feghali (JCTB, 2021) proved that, for fixed integers $d,k\ge 1$ with $k\ge d+1$ and every $\varepsilon>0$, every $n$-vertex graph $G$ satisfying $\mathrm{mad}(G)\le d-\varepsilon$ has $\mathrm{diam} R_k(G)=O_{d,k,\varepsilon}(n(\log n)^{d-1})$. In this article, we prove that \[ \mathrm{diam} R_k(G)=O_{d,k,\varepsilon}\!\left( n(\log n)^{\left\lfloor (d-1)/(k-d)\right\rfloor} \right), \] which extends the result proved by Feghali directly. The proof uses a partition into independent layers and removes $k-d$ colors at each recursive stage. We also improve the bound on the number of layers and determine the best possible linear coefficient in the forest case. More precisely, for $0<\varepsilon<2$, every $n$-vertex graph $G$ with $\mathrm{mad}(G)\le2-\varepsilon$ satisfies $\mathrm{diam} R_3(G)\leρ_M n$, where $M=\lfloor2/\varepsilon\rfloor$, $ρ_M=\max_{1\le m\le M}D_m/m$, and $D_m$ is the largest diameter of $R_3(T)$ over all trees $T$ on $m$ vertices. Moreover, the coefficient $ρ_M$ is best possible.

We prove that every $(2K_2,K_4)$-free graph is recolorable. Equivalently, for every such graph $G$ and every $\ell\geq χ(G)+1$, the reconfiguration graph of proper $\ell$-colorings of $G$, in which two colorings are adjacent if they differ on exactly one vertex, is connected. This resolves the final remaining open case in the classification of recolorable $(F_1,F_2)$-free graphs when $F_1$ and $F_2$ have at most four vertices.

Let $G$ be the line graph of a finite simple graph, with $n\geq1$ vertices and maximum degree $Δ$. We prove that single-site Glauber dynamics for uniform proper $q$-colorings mixes in $O_Δ(n\log(n/\varepsilon))$ steps for every integer $q\geqΔ+5$. Our proof uses the Bochner framework of Chen and Liu (2026).

Let $G$ be a Borel digraph with maximum out-degree $d \in \mathbb{N}$. We show that $G$ admits a random Borel $(2d+1)$-coloring for which every edge is almost surely not monochromatic. This gives a simpler proof of a recent result of Pelayo-Gómez: such a graph $G$ admits a measurable proper $(2d+1)$-coloring with respect to any Borel probability measure on $V(G)$. Our proof is an adaptation of Pelayo-Gómez's proof to the randomized Borel setting.

A coloring of $\R^n$ is \emph{proper for the forbidden distance segment} $[1,\ell]$ if no two points of the same color are at a distance from $[1,\ell]$; the minimum number of colors is $χ(\R^n,[1,\ell])$, and $\ell=1$ gives the classical chromatic number $χ(\R^n)$ of the Nelson--Hadwiger problem. We prove the new upper bounds $χ(\R^4)\le43$, $χ(\R^5)\le132$, $χ(\R^7)\le1029$, $χ(\R^9)\le7203$, $χ(\R^{10})\le45619$, improving the previously known $49$, $140$, $1372$, $17253$ and $3^{10}$; in particular, this refutes the conjecture of Arman, Bondarenko, Prymak and Radchenko that $49$ and $140$ are optimal among all lattice colorings of $\R^4$ and $\R^5$. The first four bounds come from explicit rational lattices --- an Eisenstein lattice in $\R^4$, a lattice in general position in $\R^5$, and laminations of the Eisenstein colorings $E_6^*/343$ and $E_8/2401$ in $\R^7$ and $\R^9$ --- and each is reduced, by one verification protocol, to a finite list of inequalities between explicitly written rational numbers checked in exact arithmetic. The fifth bound is analytic: we prove that for every Eisenstein lattice $Λ$ the distance between same-colored cells of $(3+ω)Λ$ equals $\sqrt{7/3}\,λ_1(Λ)$, which gives the exact widths of all known colorings with $7^{n/2}$ colors, and a product rule $\sum_i1/d_i^2\le1$ for the widths of orthogonal products; together they yield $45619=2401\cdot19$, the first bound in $\R^{10}$ below $3^n$, as well as $χ(\R^{25})\le4\cdot7^{12}$ and $χ(\R^{26})\le19\cdot7^{12}$. We also show that no sublattice of $E_8$ of index below $2401$ defines a proper coloring. All code, exact certificates and data are open.

We determine the exact extension threshold for one-factorizations of complete tripartite $3$-uniform hypergraphs. Equivalently, for $n>m$, every order-$m$ layer-rainbow cube embeds in one of order $n$ if and only if $n\ge2m$. We then study injectively orthogonal pairs, in which no ordered pair of symbols is repeated. Such pairs exist in every positive order except $2$, and every order-$m$ pair with $m\ge3$ embeds in every order $n\ge3m$. At the sharp order $2m$, embedding occurs exactly when the pair has a disjoint mate. The symbol-pair graph carries three distinguished one-factorizations whose triple intersections recover the cube, yielding several sufficient conditions for sharp embedding, including a finite-group construction. Finally, layer-rainbow cubes are proper $n^2$-colorings of the square of the Hamming graph, and the three one-factorizations of an orthogonal pair recover the Hamming geometry of the cells.

A graph $G$ is $k$-choosable if it has a proper coloring for every $k$-list assignment. While every $C_3$-free planar graph is $4$-choosable, some of them are not $3$-choosable, as constructed by Voigt. Hu and Zhu conjectured that if $G$ is a $C_3$-free planar graph and $X \subseteq V(G)$ induces a bipartite subgraph, then $G$ has a proper $L$-coloring whenever $|L(x)| = 3$ for $x \in X$ and $|L(v)| = 4$ for $v \in V(G) \setminus X$. As evidence, they proved the conjecture when $X$ is an independent set. We provide further evidence by proving the conjecture when the induced subgraph $G[X]$ is an induced sparse matching. This is the first result supporting the conjecture in which the set $X$ receiving smaller lists may induce a subgraph with edges.

For a graph $G$, a proper coloring of $G$ is called proper conflict-free if for every non-isolated vertex $u$, there is at least one color appearing exactly once in $N_G(u)$. A graph $G$ is proper conflict-free $f$-choosable if for every list assignment $L$ with $|L(v)|\ge f(v)$ for each vertex $v$, $G$ admits a proper conflict-free $L$-coloring. Recently, Kashima, Škrekovski, and Xu proposed a conjecture on proper conflict-free list coloring. For a graph $G$, let $κ_G:V(G)\to \mathbb{N}$ be defined by \[ κ_G(v)= \begin{cases} 4, & \text{if } d_G(v)=2,\\[4pt] d_G(v)+1, & \text{if } d_G(v)\neq 2. \end{cases} \] They conjectured that every connected graph other than $C_5$ is proper conflict-free $κ_G$-choosable. In this paper, we confirm this conjecture in two classes of graphs with bounded average degree, thereby generalizing results of Kashima, Škrekovski, and Xu and of Wang and Zhang. We prove that every connected graph $G\neq C_5$ with either $\operatorname{mad}(G)<\frac{12}{5}$ or $Δ(G)\le3$ is proper conflict-free $κ_G$-choosable. To prove these results, we introduce a method based on systems of proper conflict-free representatives and develop a construction of auxiliary graphs that preserves the maximum average degree bound.

In a proper vertex coloring $c$ of a graph $G$, a vertex $u$ is called a b-vertex if $u$ is adjacent to a vertex in every other color class. A ${\rm b}^{\ast}$-coloring is a proper coloring in which a b-vertex is adjacent to a b-vertex in every other color class. A Grundy coloring is a proper coloring obtained by the First-Fit (greedy) coloring procedure. A $z$-coloring of $G$ is a ${\rm b}^{\ast}$-coloring that is also a Grundy coloring. The ${\rm b}^{\ast}$-chromatic number (resp., $z$-chromatic number), denoted by ${\rm b}^{\ast}(G)$ (resp., $z(G)$), is the maximum number of colors used in a ${\rm b}^{\ast}$-coloring (resp., $z$-coloring) of $G$. Every graph admits a ${\rm b}^{\ast}$-coloring and a $z$-coloring that can be found using a polynomial-time coloring heuristic. Let ${\rm m}^{\ast}(G)$ be the largest integer $k$ such that a vertex of degree at least $k$ in $G$ has $k$ neighbors of degree at least $k$. We employ list-coloring techniques to prove that if $G$ has a girth of at least $7$, then ${\rm b}^{\ast}(G) = {\rm m}^{\ast}(G)+ 1$. A similar result is obtained for graphs of girth at least $6$ when ${\rm m}^{\ast}=3$. Finally, we prove that if the girth is at least $2k+2$ and $G$ contains a specific tree as an ordinary subgraph, then $z(G)\geq k$.

A proper conflict-free (PCF) $k$-coloring of a graph $G$ is a proper $k$-coloring such that there exists a color that appears exactly once in the neighborhood of every non-isolated vertex $v\in V(G)$. The PCF chromatic number, denoted by $χ_{pcf}(G)$, is the least integer $k$ such that there exists a PCF $k$-coloring of $G$. Given a graph $G$ and a positive integer $k$, PCF $k$-COLORABILITY is to decide whether $G$ admits a PCF $k$-coloring. Ahn et al. [Discrete Appl. Math. 377 (2025) 10-17] proved that PCF $k$-COLORABILITY is NP-complete for bipartite graphs. We strengthen this result by proving that PCF $k$-COLORABILITY is NP-complete for perfect elimination bipartite graphs, which is a proper subclass of bipartite graphs. We also show that the PCF chromatic number of a graph cannot be approximated within $O(n^{1-\varepsilon})$ unless P=NP, for any $\varepsilon>0$. On the positive side, we provide linear-time algorithms for PCF $k$-COLORABILITY in block graphs, proper interval graphs, chain graphs, and pseudo-split graphs. We show that $χ_{pcf}(G)\leq ω(G)+1$ for block graphs, proper interval graphs, and pseudo-split graphs (except $C_5$), and we characterize all graphs for which the equality holds.

Gyárfás and Sárközy [Studia Sci. Math. Hungar., 2023] defined a B-coloring of a graph to be a proper coloring of the edge set in which any $C_4$ is totally multicolored. Let $q_B(G)$ denote the minimum number of colors sufficient for a B-coloring of a graph $G$. In this paper, we prove that any planar graph $G$ with $Δ=Δ(G)$ and $Δ_2=Δ_2(G)$ has $q_B(G)\leqΔ+\max\{Δ_2,38\}$, refining a bound by Kong, Wang, and Zheng [J. Graph Theory, 2026].

A proper coloring of a graph is called a strong odd coloring if, for every vertex \(v\) and every color appearing in the open neighborhood of \(v\), that color appears an odd number of times in \(N(v)\). The corresponding minimum number of colors is the strong odd chromatic number, denoted by \(χ_{\mathrm{so}}(G)\). Caro et al.~\cite{CaroPetrusevskiSkrekovskiTuzaStrongOdd} proved that every planar graph has strong odd chromatic number at most \(388\). Manattu et al.~\cite{ManattuVinayLakshmanan2026} later constructed planar graphs with strong odd chromatic number \(17\) and asked whether larger values are possible and whether the upper bound \(388\) can be improved. We address these questions as follows. First, we improve the general upper bound by proving that every planar graph \(G\) satisfies \(χ_{\mathrm{so}}(G)\le 368\). This follows by improving the auxiliary proper facially odd coloring bound for loopless \(2\)-connected plane multigraphs from \(97\) colors to \(92\) colors and combining this with the reduction of Caro et al. and the Four Color Theorem. Second, we give a different explicit planar construction with \(χ_{\mathrm{so}}(G)=20\), together with a self-contained proof of the exact value. We emphasize that Goetze et al.~\cite{GoetzeKluteKnauerParadaPenaUeckerdt2025} had already posted an arXiv preprint in May 2025 containing a planar example with strong odd chromatic number \(20\). Thus our construction is not a priority claim for the value \(20\), but rather an independent and fully verified construction whose value exceeds \(17\), the value that motivated Problem~1 of Manattu et al.

A proper conflict-free coloring is a proper vertex coloring in which every nonisolated vertex has a color occurring uniquely in its open neighborhood. We prove that every graph with neither a $K_5$-minor nor a $Q_6$-minor admits such a coloring with at most seven colors, where $Q_6=K_3\vee\overline{K_3}$. In particular, this improves the previous general upper bound of eight for planar graphs. The proof combines a previously developed iterated distance-three selector construction with a general anchor-contraction lifting principle. The first supplies independently colored witnesses in closed neighborhoods, while the second combines those witnesses with a proper coloring of a suitable minor. We also develop the parity analogue of the first mechanism and show that, whenever the $K_{k+1}$ case of Hadwiger's conjecture holds, every $K_{k+1}$-minor-free graph can be proper vertex colored with $2k-1$ colors such that every nonisolated vertex has a color occurring an odd number of times in its open neighborhood.

For graphs $F$ and $H$, the Ramsey number $R(F,H)$ is the minimum integer $N$ such that every $N$-vertex graph contains $F$ or its complement contains $H$. If $F$ is connected and $|F|\geσ(H)$, a construction of Burr gives $R(F,H)\ge(χ(H)-1)(|F|-1)+σ(H)$, where $σ(H)$ denotes the minimum order of a color class in a proper $χ(H)$-coloring of $H$. Burr proved that this bound is attained for $F=C_n$ when $n$ is sufficiently large. Allen, Brightwell and Skokan conjectured that equality already holds whenever $n\geq |H| χ(H)$, while Haslegrave, Hyde, Kim and Liu subsequently proved it whenever $n\ge C|H|\log^4χ(H)$. Pokrovskiy and Sudakov conjectured that the optimal linear condition $n\geq C|H|$ suffices; this conjecture was also highlighted by Montgomery in his 2026 ICM survey (see Conjecture 9.2). In this paper, we resolve this conjecture by proving that there is an absolute constant $C>0$ such that $R(C_n,H)=(χ(H)-1)(n-1)+σ(H)$ for every nonempty graph $H$ and every $n\ge C|H|$. This gives the first bound linear in $|H|$, and is best possible up to a constant factor. Our proof builds on the framework of Haslegrave, Hyde, Kim and Liu, and combines some new ideas in expansion and switching cycle lengths.

The square $G^2$ of a graph joins two vertices at distance at most two; a proper coloring of $G^2$ is a 2-distance coloring of $G$. For a cactus $G$ (every edge on at most one cycle) we determine both the 2-distance chromatic number $χ(G^2)$ and the choice number $\mathrm{ch}(G^2)$ exactly: they are always equal, and the common value is $Δ+1$ if $Δ\ge4$, is 4 if $Δ=3$ and $G$ has no block equal to $C_5$, is 5 if $Δ=3$ and $G$ has a $C_5$ block, and is the classical value if $Δ\le2$. For $Δ\ge6$ the value $Δ+1$ is already known, since cacti are outerplanar and hence $K_{2,3}$-minor-free (Hetherington-Woodall; Agnarsson-Halldorsson). Our contribution is the small-degree regime. For subcubic cacti we obtain a complete classification in both the ordinary and list settings, with the 5-cycle as the unique obstruction; the list statement has no prior analogue and is a genuine positive instance of the List Square Coloring Conjecture, which is false in general. A single elimination order then handles all $Δ\ge4$ uniformly and, in particular, settles the two cases $Δ\in\{4,5\}$ that the superclass bounds leave at $Δ+2$. The number 5 turns out to be one obstruction wearing three disguises: $C_5^2=K_5$, the Frobenius number of $\{3,4\}$, and a degenerate $K_4$ list-coloring instance.

The square of a graph $G$ is the graph obtained from $G$ after adding an edge between any two vertices of distance $2$. A $k$-irregular graph is a graph with maximum degree $k$ such that vertices of degree $k$ are not adjacent. A \textit{list assignment} of a graph is a function $L$ that assigns to each vertex a list of permissible colors. The graph is said to be \textit{$L$-colorable} if there exists a proper coloring $f$ such that $f(v) \in L(v)$ for every vertex $v$. A graph $G$ is called \textit{$k$-choosable} if it is $L$-colorable for every list assignment where each list has exactly $k$ colors. The \textit{list chromatic number} of $G$, denoted by $χ_l(G)$, is the smallest integer $k$ for which $G$ is $k$-choosable. Cranston and Kim \cite{ck} showed that $χ_l(G^2) \leq 8$ for all subcubic graphs except the Petersen Graph. Moreover, Cranston and Kim \cite{ck} conjectured that for graphs with maximum degree $k$ and maximum clique size $w (G^2)\leq k^2-1$, we have $χ_l(G^2) \leq k^2-1$. We prove that for a 4-irregular graph $G$, we have $χ_l(G^2) \leq 11$. Moreover, we provide an example to show that this bound is sharp.