coloring
4536 papers tagged with this keyword
Weighted odd-cycle transversals and fractional colorings of planar graphs
We bound fractional chromatic numbers by establishing a connection with low-weight odd-cycle transversals. Let $\ell\geq 3$ be an integer and let $G$ be a graph of odd girth at least $\ell$ whose odd-cycle covering polyhedron is integral. For every nonnegative weight vector $w=(w_v)_{v\in V(G)}\in \mathbb{R}_{\geq 0}^{V(G)}$, we obtain a set $Z\subseteq V(G)$ such that $G-Z$ is bipartite and $w(Z)\leq\frac{mad(G)}{2\ell}w(V(G))$. Here, $w(S)=\sum_{v\in S}w_v$ for any $S\subseteq V(G)$, and $mad(G)$ denotes the maximum average degree of $G$. Consequently, if $mad(G)<2\ell$, then $G$ has fractional chromatic number at most $\frac{4\ell}{2\ell-mad(G)}$.
As applications, we prove that, for every positive integer $k$, every $n$-vertex planar graph of girth at least $2k+3$ has fractional chromatic number at most $\frac{2k+1}{k}(1-\frac{1}{kn+1})$, establishing the girth version of Naserasr's fractional coloring conjecture with a strict inequality. For $k=1$, we furthermore prove that the upper bound $\frac{3n}{n+1}$ holds for every $n$-vertex triangle-free planar graph and this is attained for infinitely many values of $n$.
The achromatic number of Paley graphs, Peisert graphs, and related Cayley graphs
The achromatic number of a graph $G$, denoted $χ_a (G)$, is the maximum number of colors in a proper vertex coloring of $G$. Generalizing a result of Maistrelli and Penman, we prove that for sufficiently large $q$, the achromatic number of the $k$-th power Paley graph is at least $\frac{q-1}{k} + 1$. This lower bound gives the correct order of magnitude in $q$, but determining the correct dependence on $k$ remains open for all $k \geq 3$. The achromatic number of Peisert graphs is shown to be $\frac{q+1}{2}$. These bounds are consequences of a general theorem involving Cayley graphs whose generating set is a union of cyclotomic classes. Using character sums and Weil's bound, we prove an upper bound that improves the standard trivial bound $\binom{ χ_a (G) }{2} \leq e(G)$. Finally, we consider random Cayley-sum graphs on an abelian group $Γ$ of order $n$, where elements are included in the generating set independently with probability $\frac{1}{2}$. We prove that the achromatic and pseudochromatic number of such a graph are both at most $\frac{(\sqrt{3}+o(1))n}{\sqrt{\log_2 n}}$ with high probability.
Proper circular arc graphs are $e$-positive
We prove an $e$-positive formula for the chromatic symmetric function of proper circular arc graphs solving the $q=1$ case of a conjecture of Ellzey and of Alexandersson and Panova. 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.
Temporal Exploration and Rendezvous via Weisfeiler-Leman Colorings
Temporal graphs are graphs whose edge relation changes in discrete time steps. The Temporal Exploration Problem (TEXP) asks for a temporal walk that visits all vertices. We show that every connected temporal graph with $n$ vertices can be explored in $O(qn\log^3(n))$ time steps, where $q$ is the number of vertex color classes induced by the 2-dimensional Weisfeiler-Leman (2-WL) coloring. For small $q$, our bound substantially improves on the known worst-case bound of $Θ(n^2)$ in general connected temporal graphs. A corresponding walk can be constructed in deterministic polynomial time. The upper bound is complemented by lower bounds of $Ω(n\log(n))$ when $q$ is constant and $Ω(qn)$ when $1 \leq q \leq n$.
We also apply our techniques to the Temporal Rendezvous Problem (TRP), in which two agents that do not communicate have to meet on a vertex of the temporal graph. Our exploration algorithm yields that, with only polynomial-time computational power, the agents can meet in $O(n\log^3(n))$ time steps, leaving a gap of only $\log^2(n)$ to the known lower bound.
Dogeas, Erlebach, Kammer, Meintrup, and Moses Jr. [ICALP'24] have shown an $O(rn^{1+ε})$ bound for TEXP, for every fixed $ε> 0$, where $r$ is the number of orbits, and an $O(n^{1+ε})$ bound for TRP. Both results require superpolynomial computation time. Our contribution improves upon these results in several ways. First, the dependence on $n$ in the upper bounds on the number of time steps is decreased from $n^{1+ε}$ to $n\log^3(n)$ for both TEXP and TRP. Second, for TEXP, we bound the number of time steps linearly by the parameter q, which is efficiently computable and upper bounded by $r$. Third, we provide novel deterministic polynomial-time algorithms for both TEXP and TRP.
Spanning bipartite quadrangulations in even triangulations of real projective spaces
We study spanning quadrangulations of even triangulations of real projective spaces, using the higher-dimensional notion of quadrangulation introduced by Kaiser and Stehl\'ık. We prove that every even triangulation of $\RP^d$, where $d\ge 2$, admits a spanning bipartite quadrangulation. Moreover, such a triangulation admits a spanning non-bipartite quadrangulation if and only if it is not balanced; if it is balanced, every spanning quadrangulation is bipartite. Our proofs use coloring monodromy: its orbits yield bipartite quadrangulations, while a covering-space construction gives non-bipartite ones. %In dimension three, a bipartite quadrangulation can always be chosen to induce $K_{2,2}$ on each tetrahedron. More generally, we establish a sufficient condition for the existence of spanning bipartite quadrangulations on closed manifolds in terms of the monodromy action, and derive a consequence involving the fundamental group.
Connected Coloring Games on Corona Products of Graphs
We study the connected coloring game on corona products of graphs. For connected graphs $G$ and $H$, we prove the sharp upper bound $χ_{cg}(G\circ H)\leq\max\{Δ(G),Δ(H)+1\}+1$ and establish a further bound using the Bob-start ordinary coloring game on the second factor. We show that the difference between the Alice-start and Bob-start connected game chromatic numbers can be arbitrarily large in either direction. We further prove that a connected subgraph may have arbitrarily larger connected game chromatic number than its ambient connected graph, and that $χ_{cg}(G\circ H)$ cannot be bounded in terms of $χ_{cg}(G)$ and $χ_{cg}(H)$ alone, even when both factors have connected game chromatic number $2$. We also obtain corona products for which the difference $χ_g-χ_{cg}$ is arbitrarily large and construct infinitely many connected graphs with $χ_g<χ_{cg}$. Finally, for corona products of trees, we prove the universal upper bound $5$, characterize those attaining the value $3$, give structural sufficient conditions for the value $4$, and exhibit a broad family attaining the value $5$.
An entropy proof of the commonality of apices of trees
A graph $H$ is called common if the number of monochromatic copies of $H$ in a $2$-edge-colouring of a large complete graph is asymptotically minimized by the random colouring with an equal proportion of each colour. Grzesik, Lee, Lidický and Volec conjectured that every $k$-apex of any connected Sidorenko graph is common. Recently, Kr{á}l', Krnc and Lamaison proved that the $k$-apex of any tree is common for $k\leq 5$. In this paper, we extend their result by showing that for every positive integer $k$, the $k$-apex of any tree or any forest with average degree at least one is common. Our proof involves an application of the entropy method.
Third and Fourth Moment Phenomena for Monochromatic Edges and Applications to Graph-Based Two-Sample Tests
Given a graph sequence $\{G_n\}_{n\in\mathbb{N}}$, denote by $T_n$ the number of monochromatic edges when the vertices of $G_n$ are independently colored red or blue with probabilities $p$ and $1-p$, respectively. We characterize the asymptotic normality of $T_n$, after centering and scaling to unit variance, in terms of subgraph (motif) counts and standardized moments. One of the highlights of our results is a {\it third moment phenomenon}: for every fixed $p\in(0,1)\backslash\{\frac12\}$, asymptotic normality holds if and only if the standardized third moment converges to zero. The more familiar {\it fourth moment condition}, which requires the standardized fourth moment to converge to $3$, gives an equivalent characterization except at the two exceptional probabilities $p=\frac{1\pm1/\sqrt3}{2}$. At these values, the standardized fourth moment converges to $3$ for every graph sequence with a diverging number of edges, even when Gaussian convergence fails. In contrast, in the balanced case $p=\frac12$, the fourth moment condition characterizes asymptotic normality, while the third moment condition is insufficient. These results identify three distinct regimes for moment characterizations of Gaussian convergence, determined by the coloring probability. We further show that the third moment condition remains sufficient in the sparse regime, where $p=p_n \to 0$. As an application, we derive the limiting null distribution of two-sample statistics based on undirected $K$-nearest-neighbor graphs in the Poissonized setting, identifying sharp growth conditions on $K$ for asymptotic normality.
Affine $G$-multibiquandle modules for colored links I: representability of coloring functors and color-profile polynomials
Let $R$ be a commutative ring with identity, let $G$ be an abelian group, and fix $u\in R[G]^\times$. For each component-labeled oriented link diagram $(D,σ)$, we construct a finitely presented $R[G]$-module $M_u(D,σ;R[G])$ with a universal affine coloring $U_{D,σ}$. Every affine coloring with values in an $R[G]$-module factors uniquely through $U_{D,σ}$ by a module homomorphism. Thus the module represents the affine coloring functor. Each specified colored Reidemeister move induces a unique module isomorphism compatible with coloring transport, and the module isomorphism class is a colored-link invariant. The representing modules and universal colorings commute with arbitrary scalar extension, without a flatness assumption. For classical links, simultaneous rescaling of the component labels removes the common deformation unit.
For any multibiquandle, associated-biquandle colorings decompose into fibers indexed by component labelings. For finite targets and palettes, we define a color-profile polynomial recording the joint distribution of fiber sizes and numbers of palette labels used, and prove its invariance under oriented link isotopy. In the affine case, the representing modules determine these fibers, and their specialized dimensions determine the coloring counts over finite fields. The color-profile polynomial is not determined, in general, by the full unweighted distribution of coloring-fiber sizes. It therefore retains information beyond the associated-biquandle coloring count.
Resilience of rainbow Hamilton cycles in pseudorandom graphs
We prove that every spanning subgraph $H$ of an $n$-vertex $(p,β)$-bijumbled graph, satisfying $δ(H)\geq(1/2+\varepsilon)pn$, where $\varepsilon > 0$ is arbitrarily small yet fixed, admits a rainbow Hamilton cycle under any globally $μpn$-bounded colouring, provided that $β\leq cpn$ and $pn\geq M$, where $μ$, $c$, and $M$ are positive constants depending solely on $\varepsilon$; in particular, $pn$ may be taken to be a sufficiently large constant. This answers a question of Coulson, Keevash, Perarnau and Yepremyan for random graphs and extends it to deterministic pseudorandom hosts.
In fact, we prove that $H$ admits at least $(apn)^n$ rainbow Hamilton cycles, where $a > 0$ is a constant depending solely on $\varepsilon$. If $pn\geq D\log n$, then, upon fixing a coloured $H$, retaining each edge independently with probability $D\log n/(pn)$ preserves rainbow Hamiltonicity asymptotically almost surely. The logarithmic degree requirement is needed only for this percolation conclusion.
All three conclusions also hold with rainbowness replaced by avoidance of prescribed pairs of edges, provided that each edge has at most $μpn$ conflicting partners. Our proofs use spread measures and the lopsided local lemma.
Avoiding abelian squares with three colours in the continuous setting
An $n$-colouring of the real line is a Lebesgue measurable function $f \colon \mathbb{R} \to A$, where $A$ is a set of $n$ colours. An abelian square for $f$ is a finite interval $U\subseteq \mathbb{R}$ where every colour shows up in the left and in the right half of $U$ with exactly the same Lebesgue measure. It is known that every $2$-colouring contains an abelian square. On the other hand, Alon, Grytczuk, Laso{ń}, and Michałek (2009) proved that there exist $4$-colourings that avoid abelian squares, while the question for $3$-colourings remained open. We construct a $3$-colouring that avoids abelian squares, disproving a conjecture of Laso{ń} (2015). However, in contrast to the case of 4-colourings, the set of 3-colourings that avoid abelian squares is meagre. We show this using an argument based on the KKM lemma.
Frozen colorings and recolorability of blowups
The $k$-reconfiguration graph $R_k(G)$ of the proper $k$-colorings of a graph $G$ is the graph whose vertices are the $k$-colorings of $G$, with an edge between two colorings if they differ on exactly one vertex. A graph $G$ is recolorable if $R_k(G)$ is connected for all $k \ge χ(G) + 1$.
In this paper, we study recolorability under blowups through frozen colorings, here blowup means replacing vertices with non-empty cliques. We characterize frozen colorings of a blowup of $G$ in terms of maximal independent sets of the base graph, and develop a lifting principle that transfers suitable frozen obstructions from an induced subgraph to a blowup of the ambient graph. This framework yields several consequences. In particular, we answer negatively a question of Belavadi, Cameron and Sintiari on recoloring via modular decomposition, and disprove their conjecture on blowups of prime graphs.
We further determine exactly which cycles have all blowups recolorable: this holds for $C_n$ if and only if $n\in\{3,4,5,7\}$. The frozen obstructions arising from the negative cases, together with the lifting principle, imply that if every blowup of a graph $G$ is recolorable, then every induced hole of $G$ has length $4$, $5$, or $7$. Finally, using linear programming duality, we show that every such graph $G$ is fractionally co-strongly perfect.
A Solution to the Kohayakawa-Prömel-Rödl Conjecture
The induced Ramsey number $r_{\mathrm{ind}}(G,H)$ is defined as the minimum order of a graph $F$ such that any 2-coloring of its edges with red and blue leads to either a red induced copy of $G$ or a blue induced copy of $H$. In 1998, Kohayakawa, Prömel, and Rödl conjectured that for any fixed graph $G$, there exists a constant $f=f(G)$ such that the induced Ramsey number $r_{\mathrm{ind}}(G, H)$ is bounded by $|V(H)|^f$ for every graph $H$. In this paper, we completely solve the Kohayakawa--Prömel--Rödl conjecture, which states that for any graphs $G$ and $H$ with $|V(G)|=k\ge2$ and $|V(H)|=t\ge2$, $r_{\mathrm{ind}}(G,H)\le t^{60k^2+3}$. This verifies the conjecture with $f(G)=60|V(G)|^2+3$.
Efficient total facial coloring of combinatorial maps
Let $1<k\in\mathbb{Z}$. A total coloring of a connected simple regular graph $G$ via color set $]k]_0=\{0,1,\ldots, k\}$ is efficient if each color yields an efficient dominating set, where efficient domination applies to each color class in $V(G)$. An efficient total coloring of $G$ via $[k]_0$ extends to an efficient total facial coloring $c$ of a map $M(G)$ of $G$ if it assigns a vertex-and-edge $k$-color set to the boundary cycle of each face, with the consequently missing color assigned to the face itself, so that the two adjacent faces along each edge are assigned different colors. Focus is set upon planar and toroidal maps. Modifications of $c$ are also treated by removing a perfect dominating set or a 1-factor from $G$.
An elementary proof of a tight $Δ+1$ bound for the additive chromatic number
An additive coloring assigns positive integer labels to the vertices of a graph so that adjacent vertices have different sums of their neighbors' labels. The additive chromatic number $η(G)$ is the least $k$ for which labels from $[k]$ suffice. We give an elementary orientation argument proving that every finite simple graph $G$ satisfies $η(G) \leq Δ(G) + 1$. This argument yields a $(Δ(G) + 1)$-additive-coloring in polynomial time and improves upon the current best bound of $η(G) \leq Δ(G)^{2} - Δ(G) + 1$, valid for $Δ(G) \geq 2$, from Akbari, Ghanbari, Manaviyat, and Zare.
Counterexamples to a conjecture and improved bounds for bipanchromatic colorings
We study the bipanchromatic number $χ_B$, introduced by Lalou et al. (Discrete Appl. Math. 391 (2026), 511-522) as the maximum number of colors in a panchromatic hypergraph coloring where every color appears at least twice. They show that merging uniquely occurring colors in a maximum panchromatic coloring gives the lower bound $β=χ_P-\lceilα/2\rceil \leq χ_B$, where $χ_P$ is the panchromatic number and $α$ is the minimum number of such colors among maximum panchromatic colorings. They conjectured that $χ_B=β$ and subsequently disproved it (arXiv:2610.08042). We identify the smallest counterexample, with six vertices and three hyperedges, both minimum possible. We show that the ratio bound $χ_B/β<2$ is asymptotically sharp and prove minimality results for the order and hyperedge count. For $3\leα<χ_P$ we show that every integer from $β$ to $χ_P-1$ occurs as $χ_B$ while $χ_P$ and $α$ are held fixed. Furthermore, we discover that the values $|V|,χ_P,α$ directly decide whether the conjectured equality holds except when $α=4$, where a matching reduction resolves the ambiguity. We derive the optimal universal lower bound $L$ depending only on $|V|,χ_P,α$ in the nontrivial regime $0<2α<|V|$. Finally, we prove $χ_B/L\le5/4$ and $χ_B/L\le6/5+1/(5L)$, with $5/4$ sharp and $6/5$ asymptotically sharp as $L\to\infty$.
Piercing spanned lines and hyperplanes
Motzkin, Grünbaum, and Erdős and Purdy asked how many noncollinear blue points can coexist with $t$ red points in the real plane if every blue-spanned line contains a red point. We prove that there are at most $2.35t-3$ blue points, even over the complex numbers. For the complex higher-dimensional problem of Campbell, Kroeker, and Lund, we prove $b_k(t)\le1.40k^2t$. Colorings of cyclic Dowling geometries give a matching lower bound in order of magnitude for all $k\ge2$ and $t\ge3$. The planar proof uses frame normalization and a second-moment estimate; the higher-dimensional proof combines the degree bound of Kroeker and Lund with principal truncation.
Erdős-Gyárfás Balanced Five-Colorings
A coloring of the edges of a complete graph with $r$ colors is balanced if the edges among any $r+1$ vertices use all $r$ colors. Erdős and Gyárfás (1999) conjectured that for all $r\ge3$ the complete graph $K_{r^2+1}$ has no balanced $r$-coloring. They proved the conjecture for $r=3$ and $r=4$. We prove the conjecture for $r=5$, the first new case settled in over two decades. There is no balanced $5$-coloring of $K_{26}$, and since $K_{25}$ has one, $K_{25}$ is the largest complete graph admitting a balanced $5$-coloring. We design a reduce--dispatch--enumerate workflow, where every machine step produces an artifact that can be independently checked. First, we use a machine-checked (Lean 4) proof to reduce the conjecture to a single extremal statement about the color class with the fewest edges: no graph on $26$ vertices has between $55$ and $65$ edges while every $6$ of its vertices span between $1$ and $11$ edges. We then search on the sparse class instead of its dense complement, which makes enumeration up to isomorphism feasible. With classical stability theorems for $K_6$-free graphs, we dispatch the five near-extremal edge counts analytically. For the exhaustive enumeration on the remaining six edge counts, we design efficient encodings with SAT modulo symmetries and parallel cube-and-conquer. We also certify all eleven edge counts: each of the $12{,}296$ subproblems carries a clausal refutation checked by the independent verifier drat-trim, and all $273{,}503{,}938$ symmetry-breaking clauses are also validated against the vertex permutations that justify them.
Biquandle-Based Invariants of Virtual Knotoids and Connected Sum
In this paper, we study the behavior of biquandle-based invariants of virtual knotoids under their connected sum. We first show that the fundamental biquandle of the connected sum of two virtual knotoids is the pushout of a span in the category of biquandles. By applying the Hom functor to this pushout description, we obtain the correspondence between biquandle colorings of $K_1 \# K_2$ and compatible pairs of colorings of summands. This provides a categorical explanation of a known matrix product formula for biquandle counting matrices under connected sum. We then study the behavior of biquandle virtual bracket invariants under connected sum. We introduce normalized multiset invariants derived from biquandle virtual brackets and show that they are strictly stronger than their unnormalized versions in certain cases by an explicit example. Furthermore, we show that for each coloring of the connected sum $K_1 \# K_2$ corresponding to a compatible pair of colorings of the summands $K_1$ and $K_2$, the normalized biquandle virtual bracket value factors as the product of the normalized values of the summands. Building on this, we obtain connected-sum formulas for the normalized multiset invariants defined by utilizing biquandle virtual brackets. When the coefficient ring is a number ring, the normalized bracket multisets can be encoded by polynomials and matrices with polynomial entries. We introduce an induced matrix product $\odot$ and show that the normalized biquandle virtual bracket matrices satisfy \begin{equation} \widetilde{M}_X^β(K_1 \# K_2) = \widetilde{M}_X^β(K_1) \odot \widetilde{M}_X^β(K_2). \end{equation}
Random independent sets in uncrowded hypergraphs
Given any fixed integer $k \ge 2$ and sufficiently large $d$, we show that the largest possible fractional chromatic number of a $k$-uniform $d$-degenerate uncrowded hypergraph $H$ (i.e., with girth at least $5$) satisfies \[ χ_f(H) = (1 + o_d(1)) \left((k-1)\,\frac{d}{\log d}\right)^{\frac{1}{k-1}}. \] In fact, we prove that this holds for $k$-uniform $d$-degenerate hypergraphs of girth at least $g$, for any given $g \ge 5$. As a corollary, we obtain improved bounds on the fractional chromatic number of $d$-degenerate linear hypergraphs. This work builds upon a recent result by Allen, Dhawan, and Noel, extending it from graphs to hypergraphs. In addition to overcoming the new difficulties that arise in the hypergraph setting, our approach yields a simpler proof even in the original graph case.
Our proof of the upper bound uses a simpler iterative procedure for sampling independent sets. We also establish bounds for fractional colorings with local demands, a framework introduced by Kelly and Postle, verifying a recent conjecture of Yu and Zhang. As a consequence, we obtain a degree-sequence bound on the independence number of uncrowded hypergraphs with a leading constant matching the shattering threshold.
For the matching lower bound, we use a hypergraph variant of the uniform attachment model and harmonic vertex weights to bound the fractional chromatic number via linear programming duality, then remove all short cycles by deleting vertices of negligible total weight. We also replace the Catalan-number argument used in the graph case with a matrix-norm estimate, simplifying the analysis.