coloring
4497 papers tagged with this keyword
Nullstellensatz degree under Hajós joins and vertex identifications
We study the minimum coefficient degree $N_{k,\F}(G)$ of a Nullstellensatz certificate for Bayer's $k$-coloring equations, where the characteristic of $\F$ does not divide $k$. If $J$ is a \HJ\ join of non-$k$-colorable graphs $G,H$ and $m=\max\{N_{k,\F}(G),N_{k,\F}(H)\}$, then $N_{k,\F}(J)\leq m+k$. When deletion of the selected edge makes each input $k$-colorable, we also have $N_{k,\F}(J)\geq m$; the degree congruence then gives $N_{k,\F}(J)\in\{m,m+k\}$. This partially answers a question of Li, Lowenstein, and Omar. For three-coloring over $\F_2$, we construct an infinite $4$-critical family of exact degree seven, attaining the bound at input degree four. In contrast, every graph constructed from $K_4$ solely by \HJ\ joins has degree $O(\log n)$ and a certificate with polynomially many terms: joins preserve treewidth at most three, and balanced separators yield low-degree certificates. Additional vertex identifications are excluded from this obstruction. We classify all single identifications of the $25$-vertex base graph; exactly $36$ preserve degree seven, producing $24$-vertex $4$-critical graphs of treewidth four. A compressed self-join at adjacent true twins prevents degree loss and gives a repeatable rule adding four vertices per round. The rule does not establish degree amplification or preservation of criticality. Exact witnesses and standalone verification programs accompany the finite results.
On Edge Coloring of Multigraphs
Let $Δ(G)$ and $χ'(G)$ be the maximum degree and chromatic index of a graph $G$, respectively.
Gupta\,(1967), Goldberg\,(1973), Andersen\,(1977), and Seymour\,(1979) made the following conjecture: Every multigraph $G$ satisfies $χ'(G) \le \max\{ Δ(G) + 1, Γ(G) \}$, where $Γ(G) = \max_{H \subseteq G, |V(H)|\geq 2} \left\lceil \frac{ |E(H)| }{ \lfloor \tfrac{1}{2} |V(H)| \rfloor} \right\rceil$ is the density of $G$. In this paper, we present a polynomial-time algorithm for coloring any multigraph with $\max\{ Δ(G) + 1, Γ(G) \}$ colors, confirming the conjecture algorithmically. Since $χ'(G)\geq \max\{ Δ(G), Γ(G) \}$, this algorithm gives a proper edge coloring that uses at most one more color than the optimum. As determining the chromatic index of an arbitrary graph is $NP$-hard, the $\max\{ Δ(G) + 1, Γ(G) \}$ bound is best possible for efficient proper edge coloring algorithms on general multigraphs, unless $P=NP$. Chen, Hao, Yu, and Zang have also presented an algorithm using similar high-level ideas; the present approach establishes a complete proof.
The proofs of Theorems 3.2 and 3.3 were also verified by an AI-assisted audit using OpenAI's GPT-6 Pro model in ChatGPT; all resulting comments and revisions were independently evaluated by
A Bound Below 2.8 for Tuza's Conjecture
Let $ν(G)$ be the maximum number of edge-disjoint triangles in a graph $G$ and $τ(G)$ the minimum number of edges meeting every triangle. Tuza conjectured that $τ(G)\le 2ν(G)$. We prove that $τ(G)\le (165/59)ν(G)$. The constant $165/59\approx 2.797$ improves the bound $66/23\approx 2.870$ that Haxell proved in 1999. The key observation is that, for a suitable red-blue coloring, the families left over in Haxell's construction contain every triangle with exactly one red edge. Such a family $\mathcal{F}$ admits an exchange that forces certain red edges to lie in a single triangle once the blue edges of a maximum packing are deleted, which gives $τ(\mathcal{F})\le (8/3)ν(\mathcal{F})$.
B-coloring of $K_{2,t}$-free planar graphs
A B-coloring of a graph $G$ is a proper edge-coloring in which every $4$-cycle receives four distinct colors; let $q_B(G)$ be the minimum number of colors in such a coloring. Every graph of maximum degree $Δ$ is $K_{2,Δ+1}$-free; hence the known $2Δ$ bound for planar graphs with $Δ\ge38$ (Kong et al., 2026) motivates our study of $K_{2,t}$-free planar graphs, where $t\ge2$ is an integer. We prove $q_B(G)=Δ(G)$ when $t=2$ and $Δ(G)\ge7$, or when $t\ge3$ and $Δ(G)\ge14(t-1)$. For $t\ge35$, the bound $q_B(G)\leΔ(G)+t-1$ holds regardless of $Δ(G)$; for every $t\ge2$, it also holds when $Δ(G)>428$. Finally, for every integer $k\ge1$, every $k$-degenerate $K_{2,t}$-free graph satisfies $q_B(G)\leΔ(G)+(k-1)\min\{t-1,Δ(G)\}$, with equality for $K_{k,t-1}$ when $k\ge2$ and $t-1\ge k$.
Fractional DP-colorings of $d$-degenerate locally sparse graphs
Bernshteyn, Kostochka, and Zhu (2020) introduced the notion of fractional DP-coloring, which generalizes both fractional coloring and fractional list coloring. Among several foundational results, they proved that every $d$-degenerate bipartite graph $G$ satisfies $χ_f^{\mathrm{DP}} \le (1 + o(1))\frac{d}{\log d}$, and that this bound is optimal---a stark contrast to ordinary fractional coloring. In this paper, we extend this upper bound to all $d$-degenerate triangle-free graphs, proving that $χ_f^{\mathrm{DP}} \le (4 + o(1))\frac{d}{\log d}$. This generalizes a recent result of Martinsson and Steiner (2025) for ordinary fractional coloring.
We derive this result as a corollary of a more general upper bound concerning locally sparse graph orderings. Specifically, a $d$-degenerate graph $G$ is left $k$-locally-sparse if it admits a degeneracy ordering in which, for every vertex $v$, the subgraph induced by its back-neighbors contains at most $k$ edges. We show that if a $d$-degenerate graph $G$ is left $\frac{d^2}{f}$-locally-sparse, then \[ χ_f^{\mathrm{DP}}(G) \le (8 + o(1))\frac{d}{\log f}. \] This immediately yields an identical upper bound on the ordinary fractional chromatic number $χ_f(G)$, improving upon the leading constants of previously known bounds.
Additionally, we establish the asymptotic sharpness of this result up to the leading constant. For any $1 \ll f \le d^2$, we construct $d$-degenerate graphs that are left $\frac{d^2}{f}$-locally-sparse and satisfy $χ_f(G) \ge (1 - o(1))\frac{d}{\log f}$.
Finally, as applications of our main theorem, we obtain improved upper bounds on the fractional DP-chromatic number of $d$-degenerate $K_{1,t,t}$-free graphs, as well as $K_{t,t,t}$-free graphs with maximum degree $Δ$. Notably, these bounds improve upon existing results even in the setting of ordinary fractional coloring.
Perfect Combinatorial Structures in Coding Theory and Cryptography
This book develops algebraic and combinatorial methods for studying discrete structures. It brings together graph theory, Boolean functions, Fourier analysis on finite groups, coding theory, perfect colorings and perfect codes, association schemes, Latin squares, and related topics. A central theme is the interaction between different representations of the same object: combinatorial, algebraic, spectral, and coding-theoretic. The main mathematical object studied in this book is a perfect coloring of a graph, or, equivalently, an equitable partition of a graph.
The book is intended for advanced undergraduate and graduate students in mathematics and computer science, as well as for researchers in discrete mathematics, combinatorics, coding theory, and related fields.
Coloring graphs with no long induced path
Let $P_t$ denote the induced path on $t$ vertices. Let $ω(G)$ denote the maximum number of vertices in a clique of a graph $G$. Gyárfás (1987) proved that every $P_t$-free graph $G$ satisfies $χ(G)\le(t-1)^{ω(G)-1}$, and Gravier, Hoàng, and Maffray (2003) improved this to $χ(G)\le (t-2)^{ω(G)-1}$ for $t\ge4$. We lower the base of the exponential by one: for every $t\ge5$, every $P_t$-free graph $G$ satisfies \[ χ(G)\le 3\,(t-3)^{ω(G)+4}. \] The proof combines two refinements of the Gyárfás path argument and was developed with the assistance of Claude Fable 5.1 of Anthropic and GPT Pro of OpenAI.
On the Number of Almost Empty Monochromatic Triangles
In this paper, we consider the problem of counting almost empty monochromatic triangles in colored planar point sets, that is, triangles whose vertices are all assigned the same color and that contain only a few interior points. Specifically, we show that any $c$-coloring of a set of $n$ points in the plane in general position (that is, no three on a line) contains $Ω(n^2)$ monochromatic triangles with at most $c-1$ interior points and $Ω(n^{\frac{4}{3}})$ monochromatic triangles with at most $c-2$ interior points, for any fixed $c \geq 2$. The latter, in particular, generalizes the result of Pach and Tóth (2013) on the number of monochromatic empty triangles in 2-colored point sets, to the setting of multiple colors and monochromatic triangles with a few interior points. We also derive the limiting value of the expected number of triangles with $s$ interior points in random point sets, for any integer $s \geq 0$. As a result, we obtain the expected number of monochromatic triangles with at most $s$ interior points in random colorings of random point sets.
Rainbow connecting $2$-colorings of super-Dirac graphs
Let $G$ be a graph with minimum degree $δ(G)\ge|V(G)|/2$. Can we color the edges of $G$ with red and blue so that every pair of non-adjacent vertices is connected by a path consisting of exactly one red edge and one blue edge? We provide an affirmative answer to this question for a class of graphs that are ``close'' to a complete balanced bipartite graph or the disjoint union of two cliques of the same order. Surprisingly, our methods extend to a much broader class of graphs with minimum degree slightly above $|V(G)|/2$. Furthermore, we answer an asymptotic version of this question in full, proving that every graph $G$ satisfying $δ(G)\ge(|V(G)|-1)/2$ has a $2$-edge-coloring such that almost all pairs of vertices are connected by a rainbow path. In addition, we propose a number of related open problems.
Distinguishing adjacent vertices by ordering edges
The 1-2-3 Conjecture states that for every graph without isolated edges, there exists an edge-weighting from $\{1,2,3\}$ such that adjacent vertices receive distinct sums of weights on their incident edges. In the sequence variant, adjacent vertices are to be distinguished by the sequences of weights on their incident edges. In this paper, we investigate whether, for every graph without isolated edges and for a fixed proper edge colouring (where colours are interpreted as weights), there exists a global total order of the edges such that the resulting sequences of incident weights distinguish adjacent vertices. For connected graphs, we prove that such an order exists whenever there exist two adjacent vertices that have distinct sets of incident weights. This yields a positive answer for every proper edge colouring of a connected non-regular graph or a connected graph of class two. Moreover, a probabilistic argument gives the same conclusion for connected regular graphs of degree at least six.
Unfriendly partitions of locally finite Borel graphs
We answer in the negative the question of Thomas, recorded by Conley, Conley--Marks--Unger, and Conley--Tamuz, of whether every locally finite Borel graph admits a Borel unfriendly partition. Our counterexample has unbounded degree and is closed on a zero-dimensional Polish space; its connectedness relation is hyperfinite, and its components are bipartite and one-ended. Every unfriendly colouring is proper. Together with a parity obstruction, this rigidity rules out Baire measurable colourings that are unfriendly on a comeager set, and measurable colourings that are unfriendly almost everywhere for a quasi-invariant probability of finite average degree. In the positive direction, a Borel graph of maximum degree at most four admits a Borel unfriendly colouring whenever each component contains a cycle or a vertex of degree at most two. This reduces the Borel problem in maximum degree three to cubic forests and, with a theorem of Conley--Marks--Unger, gives Baire measurable unfriendly colourings for all Borel graphs of maximum degree at most four.
When chromatic polynomials coincide with list-color functions: a threshold linear in the maximum degree
Let $G$ be a simple graph with maximum degree $Δ\ge 3$, and let $P(G,k)$ denote its chromatic polynomial. For each positive integer $k$, the list-color function $P_{\ell}(G,k)$ is the minimum number of $L$-colorings of $G$ over all $k$-assignments $L$. In this paper, we prove that $P_{\ell}(G,k)=P(G,k)$ for every integer $k\ge 23.41Δ$. This gives a threshold for equality that is linear in the maximum degree and independent of the number of vertices or edges. It improves the known sufficient condition $k\ge |E(G)|-1$ for graphs with sufficiently many edges relative to their maximum degree.
Arc-distinguishing of orientations of graphs
The distinguishing index $D'(G)$ of a graph $G$ is the minimum number of colours in an edge colouring preserved only by the identity automorphism. We study how orienting the edges affects this parameter, relating the minimum and maximum distinguishing indices over all orientations of $G$ to $D'(G)$. We establish bounds and exact relations for bipartite graphs and trees, and study rigid orientations of traceable and claw-free graphs. Our results answer a question of Meslem and Sopena on unbalanced complete bipartite graphs.
On $S$-packing total colorings
In this paper, we generalize the concept of packing total coloring by introducing a new concept called the $S$-packing total coloring. For a graph $G$ and a non-decreasing sequence $S=(a_1,a_2,\ldots)$ of positive integers, an $S$-packing total coloring of $G$ is a mapping $c: V(G)\cup E(G)\rightarrow \{1,2,\ldots\}$ such that for any two distinct elements $A,B\in V(G)\cup E(G)$ with $c(A)=c(B)=i$, the distance between $A$ and $B$ is at least $a_i+1$. The smallest integer $k$ such that $G$ admits an $S$-packing total coloring using $k$ colors is called the $S$-packing total chromatic number of $G$, denoted by $χ_S^{''}(G)$. For any sequence $S$, we establish general lower and upper bounds for $χ_S^{''}(G)$, and characterize all graphs $G$ with $χ_S^{''}(G)\in\{1,2,3\}$. Furthermore, we investigate $S$-packing total chromatic numbers of complete bipartite graphs, as well as infinite and finite paths and cycles.
Sharp Embeddings of Layer-Rainbow Cubes and Orthogonal Pairs
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.
Structure, Coloring, and Perfect Divisibility of $(P_2\cup P_4, C_3)$-Free Graphs
Goedgebeur and Schaudt [J. Graph Theory 87 (2018), 188-207] conjectured that every $4$-vertex-critical $(P_7,C_3)$-free graph belongs to a family of seven explicitly defined graphs. In this paper, we establish a structural theorem for connected $(P_2\cup P_4,C_3)$-free graphs. As a consequence, we prove that the Mycielski-Grötzsch graph is the unique $4$-vertex-critical graph in this class, thereby confirming the conjecture of Goedgebeur and Schaudt for $(P_2\cup P_4,C_3)$-free graphs. Our structural theorem also yields a characterization of the chromatic number of these graphs and an $O(n^4)$-time algorithm for deciding whether an $n$-vertex $(P_2\cup P_4,C_3)$-free graph is $3$-colorable.
We further study perfect divisibility in the larger class of $(P_2\cup P_4,\text{bull})$-free graphs. We prove that a $(P_2\cup P_4,\text{bull})$-free graph is perfectly divisible if and only if it is Mycielski-Grötzsch graph-free. This result generalizes the main theorem of Deng and Chang [Graphs Combin. 41 (2025), 63].
Sequence b-colorings in graphs
We introduce and begin the study of sequence b-colorings, a natural generalization of the classical notion of b-colorings introduced by Irving and Manlove in 1999. In a sequence b-coloring, each color class is required to contain a prescribed minimum number of color-dominating vertices (CDVs). We establish several fundamental properties of the associated parameters, prove that every sequence is realizable, and show that the problem of deciding whether a particular graph realizes a particular sequence is NP-complete. We also characterize the sequences realized by cycles, obtain results on regular graphs with prescribed girth, and investigate colorings requiring one additional CDV, including a characterization of connected graphs with chromatic number $3$ for which no such coloring exists.
Coloring Small $K_t$-Minor-Free Graphs
Delcourt and Postle proved that every $K_t$-minor-free graph is $O(t\log\log t)$-colorable and reduced the Linear Hadwiger Conjecture to coloring $K_t$-minor-free graphs on $O(t\log^4 t)$ vertices. In this paper, we use the star contraction technique to improve their bound for small graphs and use their reduction to extend this improvement to all $K_t$-minor-free graphs. Thus we improve their $O(t\log\log t)$ bound to $O(t\sqrt{\log\log t})$.
A $(\log n)^{1/4}$ Bound for the Komlós Problem
Let $A\in\mathbb{R}^{m\times n}$ have columns of Euclidean norm at most one. We prove that $\operatorname{disc}(A)\le2395\left(1+\log_+\frac n9\right)^{1/4}+2\sqrt2$. Here $\log_+t=\max\{0,\log t\}$. Building on Bansal and Jiang's affine spectral independence framework, we remove the $(\log\log n)^{7/4}$ factor from their bound. The fourth root comes from balancing the logarithmic decrease in the alive dimension against the fourth power of the row thresholds. Historical exponential sums control the covariance budget across size classes with summable thresholds. An exact threshold-sum certificate gives the coefficient $2395$, and rounding at most eight remaining fractional coordinates costs $2\sqrt2$. The finite construction also gives partial colourings from any prescribed starting point and at any prescribed depth, preserving existing signs. We formalize the partial- and full-colouring theorems in Lean, including the finite trajectory, exact threshold sum and final rounding, with Bansal--Jiang Theorem A.4 as the sole external research theorem assumption.
Density regions, integer certificates and packing colorings of distance graphs
We study simultaneous color densities in packing colorings of integer distance graphs. For $D(1,6)$, we determine several exact density regions and prove that colors $1$ through $7$ have maximum combined density $211/252$. When this maximum is approached, the seven individual color frequencies are forced to converge to a specified vector. On an optimal low-color layer, some density vectors have nonperiodic realizations but no periodic realization; we determine how much accumulated density loss is necessary for switching between the relevant configurations. For sufficiently large additional color indices, a fixed finite graph describes the joint density region. In particular, we determine a seven-vertex region for every $i\equiv8\pmod{14}$ with $i\ge36$ and prove that $36$ is the first stable index in this residue class. The proofs combine finite-state integer certificates with explicit constructions and limit arguments. Applications give $17\leχ_ρ(D(1,6))\le20$, $18\leχ_ρ(D(1,8))\le22$, and $χ_ρ(D(1,9))\le17$.