coloring
4405 papers tagged with this keyword
Sufficiency of Hall's Condition for Graphic List Coloring
For finite simple graphs $G,H$ on a common vertex set $V$, we say that $H$ is $G$-colorable if $H$ admits a proper list coloring with list assignment $L(v)=N_G(v)$ for all $v\in V$. This notion of coloring a graph using the neighborhood of another graph on the same vertex set, which we call \emph{graphic list coloring}, has connections to several classical topics, including systems of distinct representatives and graph factorizations. In this paper, we investigate when a necessary Hall-type condition, introduced by Hilton and Johnson in 1990, is also sufficient for $H$ to be $G$-colorable. We characterize all graphs $H$ that are $G$-colorable whenever the pair $(H,G)$ satisfies Hall's condition, answering a question raised by Johnson. We then consider the dual problem of characterizing graphs $G$ such that, whenever $(H,G)$ satisfies Hall's condition, $H$ is $G$-colorable. In this vein, we obtain complete results for several families of graphs, such as forests, complete multipartite graphs, and grid graphs.
Graph Coloring with Color Preferences
We study graph coloring with color preferences, in which each vertex ranks the available colors. In addition to assigning different colors to adjacent vertices, we require the coloring to be stable: no group of vertices can cyclically exchange their assigned colors so that each strictly prefers its new color to its original one. We define the stable chromatic number $χ_\mathrm{stable}(G)$ of a graph $G$ as the minimum integer $k$ such that every preference profile admits a stable $k$-coloring of $G$. We establish several upper and lower bounds. In particular, for any acyclic orientation of the edges of $G$, the largest number of vertices reachable from a vertex by directed paths, including the vertex itself, is an upper bound on $χ_\mathrm{stable}(G)$. This shows that $χ_\mathrm{stable}(G)$ is well-defined. We also show that $O(t \log (1+n/t))$ colors suffice for an $n$-vertex graph $G$ of treewidth $t$, and complement this with a lower bound in terms of the Grundy number. Turning to the problem of finding a minimum stable coloring for a given profile, we show that stable $2$-colorability is polynomial-time solvable, whereas stable $k$-colorability is NP-complete for every fixed $k\ge 3$. Using the treewidth bound, we give a fixed-parameter tractable algorithm parameterized by treewidth.
A 21-Coloring of the Plane Without Monochromatic Unit-Area Rectangles
Erdős and Graham asked whether every finite coloring of the plane must contain a monochromatic rectangle of any prescribed area. Kovač gave a negative answer by constructing a $25$-coloring with no monochromatic rectangle of area $1$. We reduce the number of colors to $21$ by replacing the square cells in his construction with regular hexagons.
Forcing monochromatic subdivisions
We prove that for every integers $d \ge 1$ and $s\ge2$ there exists an integer $D$, that depends only on $d$ and $s$, such that for every graph $P$ with maximum degree at most $ d$, there is a graph $H$ with maximum degree at most $D$ in which every $s$-coloring of $V(H)$ yields a monochromatic subdivision of $P$.
List coloring $C_3$-free planar graphs with a sparse matching of restricted lists
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.
Maximal anti-Ramsey problems for posets
We study the forbidden poset analog of the maximal anti-Ramsey problem introduced for graphs by Burr, Erd\H os, Graham, and Sós. For integers $m\le 2^n$ and poset $P=(P,\preceq)$, we introduce $\mathrm{ar_m}(n,m,P)$ (and $\mathrm{ar^*_m}(n,m,P)$) to denote the minimum integer $k$ such that there exists a family $\mathcal{F}\subseteq 2^{[n]}$ with $|\mathcal{F}|=m$ and a coloring $\mathcal{F}\rightarrow [k]$ with all weak (strong) copies of $P$ being rainbow. As long as there exist $P$-free families of size $m$, these parameters equal 1. It is known that the largest size $La(n,P)$ ($La^*(n,P)$) of weak (strong) $P$-free families has order of magnitude $Θ(\binom{n}{\lfloor n/2\rfloor})$ unless $P$ is the antichain $A_k$ on $k$ elements. In this paper we study $\mathrm{ar_m}(n,m,P)$ and $\mathrm{ar^*_m}(n,m,P)$ in two regimes of $m$. We determine the asymptotics of these parameters for all posets $P$ when $m=2^n$. We also consider the case $m=Θ(\binom{n}{\lfloor n/2\rfloor})$. It is shown that for any connected poset $P$ and integer $k$, there exist integers $m_{P,k}$ and $m^*_{P,k}$ such that to color the middle $k$ layers of the Boolean lattice with all weak or strong copies of $P$ being rainbow, one needs $Θ(n^{m_{P,k}})$ or $Θ(n^{m^*_{P,k}})$ colors. For tree posets $T$, one has $m_{T,k}=m^*_{T,k}$. We conjecture that for any tree poset $T$, and positive real $\varepsilon$, $\mathrm{ar_m}(n,m,T),\mathrm{ar^*_m}(n,m,T)=Ω(n^{m_{T,k}})$ holds provided $m\ge (k-1+\varepsilon)\binom{n}{\lfloor n/2\rfloor}$. We prove our conjecture on $\mathrm{ar_m}(n,m,T)$ for an infinite class of tree posets.
Extensions of Hindman's theorem via finite colorings of topological groups
We study the partition regular properties of topological groups, proving several extensions of Hindman theorem where monochromatic sets of finite sums are required to satisfy additional topological constraints. In particular, our results imply that for every nowhere dense set $C \subseteq \mathbb{R}^n$, there exists an open set $P \supseteq C$ such that for any finite coloring of $\mathbb{Q}^n \setminus P$, there is a family $\mathcal{A}$ of sequences in $\mathbb{Q}^n \setminus P$ which satisfies the following properties: (i) for each $A\in\mathcal A$, the set $\operatorname{FS}(A)$ of finite sums of $A$ is a closed discrete subset of $\mathbb R^n$; (ii) the set $\bigcup_{A\in\mathcal A}\operatorname{FS}(A)$ is monochromatic; and (iii) the set $\bigcup_{A\in\mathcal A}\operatorname{FS}(A)$ is dense in an open unbounded subset of $\mathbb R^n$.
Colorful Exponential Random Graph Models
In this paper, we initiate the study of colored exponential random graph models (ERGMs), a class of exponential-family models for networks with multiple types of edge relations. Using the framework of probability graphons, we first derive a variational representation for the limiting free energy, whose maximizers determine the asymptotic structure of typical samples from the model. Then we identify several general families of colored ERGMs exhibiting replica symmetry, where the variational problem has constant maximizers and the model asymptotically concentrates on product colorings with independent edges. For general colored ERGMs, we derive Euler-Lagrange fixed-point equations for the variational maximizers, which in turn yield a general high-temperature uniqueness criterion. In the complementary zero-temperature regime, we establish a two-level selection principle: the leading energy term determines the ground states, while the lower-order energy terms, combined with entropy, act as a tie-breaker to determine the asymptotic zero-temperature structure of the model. We illustrate this principle through the induced wedge and rainbow triangle ERGMs. Both models have natural interpretations in multitype networks, and their zero-temperature limits exhibit interesting structures that connect to well-known results in extremal combinatorics. We further establish finite-temperature symmetry breaking for both these models and complement the rigorous results with numerical experiments.
FirstFit online coloring in the random order model
The average performance of FirstFit online coloring on trees in the random order model is completely determined in recent works of Frei et al. and Bosek et al., showing $Θ(\log n /\log\log n)$ number of colors, improving the $Θ(\log n)$ colors in the adversarial model. We provide a few further results on slightly more general graph classes. Firstly, we extend their method to obtain a simple path-counting principle for sparse graph classes, which immediately yields for example that cactus graphs and uniform hypertrees exhibit a similar improvement. We then show that FirstFit uses only $O(1)$ colors on crown graphs, a standard example where adversarial arrival forces $Θ(n)$ colors. We further show that density alone (even linear minimum degree) is insufficient to guarantee $O(1)$ colors even on bipartite graphs. Finally, we identify graph classes, including unit interval graphs and some graphs of high chromatic number, for which random arrival provides only limited improvement. We end with some open problems.
Polyomino Density
A de Bruijn polyomino has colored cells and includes exactly one instance of each possible coloring of another polyomino with those colors. This generalizes the notion of a de Bruijn sequence. We are interested in the de Bruijn polyominoes of minimum size. As a step toward finding these, we introduce the problem of finding the smallest polyominoes containing at least $N$ translated copies of the polyomino $p$, allowing overlaps. We say these are $(p,N)$-dense and have size $a_{p,N}$. For certain pairs of polyominoes $p$ and $q$ of equal size, we show there are polyomino transformations relating $a_{p,N}$ and $a_{q,N}$. Using these transformations, we identify classes of polyominoes which share the sequence $(a_{p,N})_{N=1}^\infty$. We give closed forms for $(a_{p,N})_{N=1}^\infty$ for most polyominoes with up to five cells. Leveraging these results we introduce novel de Bruijn polyominoes, as well as other colored polyforms with de Bruijn-like properties.
Proper Conflict-Free Choosability for Graphs with Bounded Average Degree
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.
Discrepancy of geometric incidences
We study the combinatorial (red-blue) discrepancy of finite point sets with respect to hyperplanes and, more generally, bounded-complexity affine algebraic sets. We prove that every $n$-point set in a real Euclidean space admits a red-blue coloring for which every affine algebraic set of dimension at most $D$ and degree at most $k$ has discrepancy at most $n^{\frac12-\frac{1}{2(D+1)}-\varepsilon}$ for some $\varepsilon=\varepsilon(D,k)>0$. This gives a polynomial improvement over the straightforward VC-dimension bound $\tilde O(n^{\frac12-\frac{1}{2(D+1)}})$. In the opposite direction, we construct $n$-point sets in $\mathbb R^d$ whose discrepancy with respect to hyperplanes is $\tildeΩ(n^{\frac12-\frac{1}{d+1}}),$ extending the point-line discrepancy lower bound of Chazelle and Lvov.
We present further applications of our methods in communication complexity, concerning separation between randomized communication cost and deterministic communication cost with access to equality oracle.
Ramsey-type results for threshold graphs and beyond
A {\it threshold graph} is a graph that can be constructed from the one-vertex graph by repeatedly adding either a dominating vertex or an isolated vertex. Motivated by an induced Ramsey-type problem for this class, we define $r'_2(s)$ to be the minimum integer $n$ such that every $n$-vertex graph contains an induced threshold graph on $s$ vertices. We establish exponential upper and lower bounds for $r'_2(s)$ and determine its exact values for $s\in\{3,4,5,6\}$. To study this problem from an edge-coloring perspective, we use the notion of an orderable coloring, introduced by Richer [{\it J. Combin. Theory Ser. B}, 80(1) (2000), 172--177]. An edge-colored graph is {\it orderable} if its vertices can be ordered so that, for each vertex, all edges from it to later vertices have the same color. Equivalently, $r'_2(s)$ is the minimum $n$ such that every $2$-edge-coloring of $K_n$ contains an orderable $K_s$. We also determine the exact value of the unordered canonical Ramsey number $CR(s, 3)$ for all $s \ge 3$, where $CR(s,3)$ denotes the minimum integer $n$ such that every edge-coloring of $K_n$ contains either an orderable $K_s$ or a rainbow $K_3$. More generally, for graphs $G$ and $H$, we study $r'_2(G)$, the corresponding $2$-color Ramsey number for an orderable $G$, and $CR(G,H)$, where the alternative is a rainbow $H$. For complete bipartite graphs, we prove that for every fixed $s$, $r'_2(K_{s,t}) = CR(K_{s,t}, K_3)= \left(\frac{2^s}{s+1}+o(1)\right)t$ as $t\to\infty$. For $s\in \{2,3\}$, we further determine the exact values of these parameters for infinitely many $t$, using constructions arising from strongly regular graphs, Hadamard matrices and conference matrices.
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.