coloring
4536 papers tagged with this keyword
B-coloring of grid graphs
A B-coloring of a graph $G$ is a proper edge-coloring in which every $4$-cycle is rainbow. Let $q_B(G)$ be the minimum number of colors in such a coloring. Gyárfás and Sárközy (2023) determine $q_B(G)$ when $G=P_m\square P_n$ is a rectangular grid. In this paper, we completely determine $q_B(G)$ for cylindrical and torus grid graphs $G$. For a torus grid $G=C_m\square C_n$, where $m,n\ge3$ are integers, we prove that $q_B(G)=4=Δ(G)$ if both $m$ and $n$ are even and $G\not\cong C_4\square C_{4k+2}$ for any integer $k\ge1$, and that $q_B(G)=5=Δ(G)+1$ if at least one of $m,n$ is odd or $G\cong C_4\square C_{4k+2}$ for some integer $k\ge1$. For a cylindrical grid $G=C_s\square P_m$, $q_B(G)$ also depends on the parity of $s$ and the length of $P_m$. For integers $m\ge2$ and $n\ge2$, we have $q_B(C_{2n}\square P_m)=4$. For integers $m\ge2$ and $n\ge1$, we have $q_B(C_{2n+1}\square P_m)=4$ if $2\le m\le n$, whereas $q_B(C_{2n+1}\square P_m)=5$ if $m\ge n+1$. In higher dimensions, we discuss the B-coloring of discrete torus and $\ell$-cylindrical grid, obtaining some exact results and certain bounds.
A new lower bound for two-color van der Waerden numbers
The van der Waerden number $w(k)$ is the smallest positive integer $N$ such that every two-coloring of $\{1,2,\ldots,N\}$ contains a monochromatic $k$-term arithmetic progression. We prove that $w(k) \geq (1-o(1))k2^{k-1}$ holds for all positive integers $k$. This verifies a conjecture of Erdős. In 1968, Berlekamp proved the same result when $k-1$ is prime. The coloring for general $k$ can be viewed as a product of Berlekamp's colorings for various primes. It was found by ChatGPT 5.6 Sol Pro.
Signed list edge coloring in graphs of bounded treewidth
Vizing conjectured that the list edge chromatic number of any graph with maximum degree $Δ$ is at most $Δ+ 1$. This conjecture has been confirmed for several important classes of graphs, in particular, Lang proved that it holds for all graphs of treewidth $3$. In this paper, we introduce the list edge coloring of signed graphs, a framework that generalizes both classical list edge coloring and the signed edge coloring introduced by Behr. We extend Lang's result by proving the signed analogue of Vizing's conjecture for all signed graphs of treewidth $3$, as well as for signed graphs of treewidth $4$ with maximum degree $Δ\ge 10$.
Sets of nice recurrence are partition regular
A set of positive integers $R$ is called a set of nice recurrence if for any measure preserving system $(X,μ,T)$, for all measurable $A\subseteq X$, and each $\varepsilon>0$, there exists $n\in R$ such that $μ(A\cap T^{-n}A)\geqslant μ(A)^2 - \varepsilon$. Answering a long-standing question of Bergelson, we show that sets of nice recurrence have the following Ramsey property: any finite colouring of a set of nice recurrence admits a monochromatic set of nice recurrence.
On Generalized Total Colourings of Planar Graphs
In this paper we study generalised total colourings of graphs where the colour classes formed by vertices and edges, respectively, induce forests, while incident edges/vertices receive distinct colours. In [M. Borowiecki and I. Broere, Hamiltonicity and Generalised Total Colourings of Planar Graphs, Discussiones Mathematicae Graph Theory 36 (2016) 243--257] it was conjectured that for planar graphs, four colours suffice for this type of colouring. We confirm this conjecture for two infinite families of planar graphs.
Superlinear separation between linear and centered colorings
A vertex-coloring of a graph is centered if every connected subgraph has a vertex with a unique color. A vertex-coloring of a graph is linear if every path in the graph has a vertex with a unique color. Let $χ_{\mathrm{cen}}(G)$ and $χ_{\mathrm{lin}}(G)$ be the minimum number of colors in a centered (resp. linear) coloring of $G$. We present a family of graphs witnessing that if $f$ is a nondecreasing function such that $χ_{\mathrm{cen}}(G) \leq f(χ_{\mathrm{lin}}(G))$ for every graph $G$, then $f(k) = Ω(k^2 / \log k)$. The construction was found by OpenAI's GPT-5.6 Sol Pro.
Hitting Maximum Independent Sets in Dense and Highly Connected Graphs
For a graph $G$, let $h(G)$ be the minimum cardinality of a vertex set meeting every maximum independent set of $G$. We establish two complementary reduction principles for the Bollobás--Erdős--Tuza conjecture: the conjecture for arbitrary graphs is equivalent to its restriction to regular graphs of any fixed positive linear degree, and, within every hereditary graph class, a uniform sublinear bound is equivalent to a sublinear bound on graphs of every fixed positive linear vertex connectivity. We prove the sharp general estimate \[
h(G)\le \left\lfloor\frac{|V(G)|}{2α(G)+δ(G)-|V(G)|}\right\rfloor \] whenever the denominator is positive, with equality for balanced complete multipartite graphs. Consequently, every $3$-colorable graph of order $n$ with $κ(G)\geρn$ and $ρ>1/3$ has a hitting set of size at most $\lfloor(ρ-1/3)^{-1}\rfloor$; direct use of a $3$-coloring improves this to $6$ when $κ(G)>4n/9$ and to the sharp bound $3$ when $κ(G)>n/2$. For dense regular graphs with independence ratio greater than $1/4$, we obtain a logarithmic bound, while constructions with linear degree and linear independence number show that $h(G)=Ω(\sqrt n)$ can still occur. We also prove a logarithmic bound for near-regular $3$-colorable graphs and exhibit a critical family at connectivity $n/3$ that explains the limitations of the degree-surplus and degree-ratio methods.
The regular pentagon is canonically Ramsey
A set of points $C\subset \mathbb{R}^n$ is canonically Ramsey if there is some larger set of points $S\subset \mathbb{R}^{n'}$ such that any colouring of $S$ contains either a monochromatic copy of $C$ or a rainbow copy of $C$. Mao, Ozeki, and Wang introduced this notion, showing that the 30-60-90 triangle is canonically Ramsey. Since then, many other configurations have been shown to be canonically Ramsey. The author showed that cuboids are canonically Ramsey. Ge, Shu, Xu, and Yu later showed that all simplices are canonically Ramsey, after which the author showed that all products of simplices are canonically Ramsey, a class which, together with its closure under taking subsets, includes all previously known canonically Ramsey sets. We prove that regular polygons with a prime number of sides are canonically Ramsey---the first known sets outside this class.
Cohomology for solutions of polygon equations
Polygon equations form a family of equations generalizing the pentagon equation. In this paper, we construct semi-simplicial sets of permitted colorings associated with set-theoretic solutions of polygon equations and use them to define the corresponding (co)homology groups. We investigate several properties of these groups and establish an equivalence of categories between set-theoretic solutions of polygon equations and higher Segal semi-simplicial sets satisfying certain conditions. As a special case, our result recovers the correspondence between bijective set-theoretic solutions of the pentagon equation and $2$-Segal semi-simplicial sets proved by Dyckerhoff--Kapranov.
A novel approach to determining chromatic number induced by labelings
Given a simple graph $G=(V,E)$ of order $p$ and size $q$, a bijection $f : V\cup E \to \{1, 2, \ldots, p+q\}$ is a local total neighborhood antimagic labeling of $G$ if the induced vertex coloring has the property $f^+_{tn}(u) \ne f^+_{tn}(v)$ for every two adjacent vertices $u$ and $v$ where $f^+_{tn}(u) = \sum (f(ux) + f(x))$ over every neighbor $x$ of $u$. The local total neighborhood antimagic chromatic number of $G$, denoted $χ_{ltna}(G)$ is the minimum number of distinct induced colors over all local total neighborhood antimagic labeling of $G$. In this paper, we determine the local total neighborhood antimagic chromatic number of the join of graphs with distinct parity orders.
Antiferromagnetic models are clique-minimizing
An edge-weighted graph $H$, possibly with loops, is antiferromagnetic if its adjacency matrix is entrywise nonnegative and has at most one positive eigenvalue, counted with multiplicity. We show that, for any graph $G$ with $d_v:=\operatorname{deg}_G(v)$, $$\operatorname{hom}(G,H) \ge \prod_{v\in V(G)} \operatorname{hom}(K_{d_v+1},H)^{\frac{1}{d_v+1}},$$ whenever $H$ is antiferromagnetic. In fact, we prove a vertex-inhomogeneous strengthening of this inequality, allowing a different fugacity vector at each vertex of $G$. This gives a common generalization of the lower-bound inequalities of Sah, Sawhney, Stoner, and Zhao for independent sets, of Csikvári for $q$-colorings, and of the authors for semiproper colorings with at most two proper colors. Furthermore, it confirms recent conjectures of the authors and of Davies and LeBlanc. A key ingredient, of independent interest, is a strengthening of the delete-one form of Shearer's inequality for Lorentzian measures, which provides a new approach to graph homomorphism inequalities.
Codegree Thresholds for $λ$-Choosability of Graphs
Let $λ=\{k_1,\ldots,k_q\}$ be a partition, and let $|λ|=k_1+\cdots+k_q$. A $|λ|$-list assignment $L$ of a graph $G$ is a $λ$-assignment if its color set can be partitioned into $q$ disjoint sets $X_1,\ldots,X_q$ such that $|L(v)\cap X_i|=k_i$ for every vertex $v$ and every $i\in[q]$. This notion, introduced by Zhu [J. Combin. Theory Ser. B, 2020], puts ordinary coloring and list coloring in the same framework. A theorem of Alon [Random Structures Algorithms, 2000] states that every graph with minimum degree $d$ has choice number at least $(1/2-o(1))\log_2d$. Saxton and Thomason [Invent. Math., 2015] later used the hypergraph container method to replace $1/2$ by the sharp constant $1$. It is natural to ask whether a similar phenomenon holds for every fixed partition $λ$. Minimum degree alone is not sufficient: balanced complete bipartite graphs have arbitrarily large minimum degree but are always $\{1,1\}$-choosable. We show that the appropriate replacement is the minimum $q$-codegree, defined for $|V(G)|\geq q$ by $δ_q(G)=\min\{|N_G(S)|:S\subseteq V(G),\,|S|=q\}$.
More precisely, for every partition $λ$ there exists an integer $d$ such that every graph $G$ with $δ_q(G)\geq d$ is not $λ$-choosable. Let $f(λ)$ be the least such $d$. For every fixed $q$, we prove $f(λ)\leq2^{(2q+o(1))|λ|}$ as $|λ|\to\infty$, while $f(λ)\geq(q+1)^{-1}(1+1/q)^{|λ|}$ for every $λ$. For the partition $\{k,\ldots,k\}$ with $q$ equal parts, we determine the threshold asymptotically: $f(\{k,\ldots,k\})=ρ_q^{-(1+o(1))k}$ as $k\to\infty$, where $ρ_q$ is the unique $x\in(0,1)$ satisfying $x=(1-x)^q$. When $q=1$, our result implies $\operatorname{ch}(G)\geq(1-o(1))\log_2δ(G)$.
A Proof of the Chen--Raspaud Conjecture
For every integer $k\ge2$, Chen and Raspaud conjectured that each graph $G$ with odd girth $\og(G)\ge2k+1$ and maximum average degree $\mad(G)<2+1/k$ has a $(2k+1:k)$-coloring. In this paper, we prove the conjecture.
The Kelly--Trotter product conjecture for posets of dimension three
Kelly and Trotter conjectured that dim(P x Q) >= dim P + dim Q - 2 for all finite posets P and Q. We prove the conjecture when dim P = dim Q = 3. This also disproves Trotter's conjecture that, for every 1 <= m <= n, there exist finite posets P and Q with dim P = m, dim Q = n, and dim(P x Q) = n. We further prove that dim(C_k x P) = 4 for every finite poset P with dim P = 3 and every crown C_k with k >= 3. The proof uses the classification of 3-irreducible posets and graphs of critical pairs. For the six infinite noncrown families, we construct explicit non-3-colorable subgraphs. The ten fixed posets are handled by an exhaustive 3-coloring search.
Sparse chromatic graphs and the complete-graph triangle bound
We prove that there is an absolute constant $c>0$ such that every graph of chromatic number at least $r$ and at most $cr^3\log^2 r$ edges contains at least $\binom r3$ triangles. The proof has three ingredients. First, a sparse-core argument based on a triangle-sensitive coloring estimate of Harris extracts, from any counterexample, an induced subgraph of order $O(r)$ and chromatic number at least $(1-η)r$. Second, we prove an order-uniform stability theorem: for every $β>0$ there is $γ>0$, independent of the constant in the linear order bound, such that every sufficiently large $s$-critical graph $J$ of order $O(s)$ with $ω(J)\le (1-β)s$ has at least $\binom s3+γs^3$ triangles. The proof combines the excess method and the modified-independent-set argument of Fox, Tidor, and Zhang. Third, we prove the exact bound when the graph contains a clique of order at least $(1-δ)r$. This uses a new dense common-palette list analogue of Harris's edge--triangle estimate: if every list occupies a fixed positive proportion of a common palette, then the edge-triangle coloring bound survives up to a constant factor.
Weakened Gallai-Ramsey Numbers for Books
For $1\le s<t$ and any graph $G$, the weakened Gallai-Ramsey number $gr^t_s(G)$ is defined to be the least $p\in \mathbb{N}$ such that every Gallai $t$-coloring of the edges of $K_p$ (i.e., a $t$-coloring that lacks rainbow triangles) contains a subgraph isomorphic to $G$ whose edges use at most $s$ of the colors. In the case of a book graph $B_n:=K_2+nK_1$, Jakhar and Moun determined the values $gr^3_2(B_3)=6$ and $gr^3_2(B_4)=7$. In this paper, we extend their results to $t>3$ colors, and we determine the values of $gr^3_2(B_n)$ for $5\le n\le 15$. General lower bounds for $gr^t_2(B_n)$ are also given.
Full homomorphisms to graph classes
Given a family of graphs $\mathcal{F}$, we define a graph $G$ to be fully $\mathcal{F}$-colourable if $G$ admits a full homomorphism to some $F$ in $\mathcal{F}$. We approach the problem of determining when a graph is fully $\mathcal{F}$-colourable in terms of minimal forbidden induced subgraphs. We provide general results which allow to obtain the exact families of forbidden induced subgraphs for full $\mathcal{F}$-colouring when $\mathcal{F}$ is among some well-known families, such as threshold, trivially perfect, split, chordal, interval and strongly chordal graphs, as well as forests.
Traditionally, these questions have been studied for a single graph $H$, not a family. Motivated by our results on the family of forests, we contribute to this research by focusing on the case of a single centipede.
The balanced upper chromatic number of linear hypergraphs and the $n$-cube over $t$ elements
A coloring of the vertices of a hypergraph is called \emph{balanced} if the sizes of the color classes differ by at most one. We say that a hyperedge is \emph{rainbow} if its elements have pairwise distinct colors. In this paper, we provide a general upper bound on the \emph{balanced upper chromatic number} of arbitrary linear hypergraphs, that is, the largest integer $k$ such that there exists a balanced $k$-coloring of the vertices of the hypergraph without rainbow hyperedges. We focus on the cube $C_t^n$, defined as the linear hypergraph whose vertices are the lattice points in $[0,t-1]^n$, and whose hyperedges are the sets of $t$ collinear points. We determine the exact balanced upper chromatic number of $C_t^n$ for $t\geq 4n-2$. For smaller values of $t$, we present bounds and determine this parameter (with few exceptions) in dimensions $2$ and $3$.
On ${\rm b}^{\ast}$-Coloring and $z$-Coloring of graphs with high girth
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$.
Coloring sparse random Cayley graphs
It is shown that there exists $c > 0$ so that the Cayley graph over any finite abelian group $Z$ generated by $c \log |Z|$ random elements is properly 3-colorable with high probability (as $|Z| \to \infty$). This is asymptotically tight and improves the best-known bound due to Alon of $\frac{1}{4}\log \log |Z|$ elements. It also settles the abelian case of Alon's suggestion that a bound of $c \log |G|$ may hold for any finite solvable group $G$.