coloring
4536 papers tagged with this keyword
Backbone coloring for graphs with degree 4
The $λ$-backbone coloring of the graph $G$ with backbone $H$ is a graph-coloring problem in which we are given a graph $G$ and a subgraph $H$, and we want to assign colors to vertices in such a way that the endpoints of every edge from $G$ have different colors, and the endpoints of every edge from $H$ are assigned colors which differ by at least $λ$. In this paper we pursue research on backbone coloring of bounded-degree graphs with well-known classes of backbones. Our result is an almost complete classification of the complexity of deciding whether $BBC_λ(G, H) \le k$ for graphs with maximum degree at most $4$ and matching, galaxy, Hamiltonian path, and spanning tree backbones. We also determine the effect of allowing isolated vertices in matching and galaxy backbones.
$(2k+1)$-Neighborhood Balanced Coloring
Let $G=(V,E)$ be a simple graph and $(2k+1)$ be a prime integer. Let each vertex of $G$ be colored using one of the $(2k+1)$ colors, say $R_1,R_2,...,R_{2k+1}$. If every vertex has an equal number of neighbors of each color, then the coloring is a $(2k+1)$-neighborhood balanced coloring. We establish a number of results for common families of graphs and present some families of graphs that have this property.
Local Distance Antimagic Labeling of Neighborhood Balanced Colored Graphs
Let $G=(V,E)$ be a graph without isolated vertices. A bijection $f\colon V\to \{1,2,\dots,|V|\}$ is called a local distance antimagic labeling if $w(u)\not=w(v)$ for every edge $uv\in E$, where the weight $w(u)$ of a vertex $u$ is defined as the sum of labels assigned to all vertices adjacent to $u$. The local distance antimagic chromatic number of $G$, denoted by $χ_{ld}(G)$, is defined as the minimum number of colors taken over all colorings of $G$ induced by local distance antimagic labelings.
In this paper, we investigate local distance antimagic labelings of the direct product and the union of certain classes of graphs, namely, neighborhood balanced $k$-colored graphs and nearly neighborhood balanced $k$-colored graphs.
Four colours are needed for closed-neighbourhood conflict-free colouring of all planar graphs
A colouring of the vertices of a graph is conflict-free with respect to closed neighbourhoods if every closed neighbourhood contains a colour that appears on exactly one of its vertices. The colouring need not be proper. Every planar graph has such a colouring with four colours. Fabrici, Lužar, Rindošová and Soták conjectured that three colours always suffice. We disprove this conjecture. We give a simple gadget construction that turns every planar graph of chromatic number four into a planar graph with no such colouring with three colours. This also shows that it is NP-complete to decide whether three colours suffice for a planar graph. We also give a planar graph on $25$ vertices that needs four colours. Further, we give critical planar graphs on $25$ vertices with $52$ and with $51$ edges, an infinite family of plane triangulations that need four colours, and an infinite family of critical examples.
Connectivity Bounds for GHZ Graphs
Greenberger-Horne-Zeilinger (GHZ) states are multipartite entangled quantum states that play a central role in quantum information theory, with applications in quantum communication, cryptography, and distributed quantum computing. A major experimental goal is to create high-dimensional GHZ states using multiple entangled parties. Krenn, Gu and Zeilinger discovered a surprising bridge between these quantum-optical experiments and graph theory: certain photonic experiments can be represented by edge-coloured, edge-weighted graphs, and the dimension of the produced GHZ state equals the number of feasible monochromatic inherited vertex colourings. This led Krenn and Gu to conjecture that every GHZ graph with more than four vertices has dimension at most $2$. A counterexample would give a new high-dimensional multipartite GHZ construction, while a proof would clarify fundamental resource limitations in quantum optics. It is known that the conjecture holds for graphs of vertex connectivity at most $2$ [MFCS 2024], and that simple GHZ graphs with $n>4$ vertices have dimension less than $n/\sqrt{2}$ [Quantum 2024]. However, no general upper bound depending only on vertex connectivity was known. We prove that every simple connected GHZ graph $G$ with at least four vertices has dimension at most $2^{κ(G)-1}+\binom{κ(G)}{2}$, where $κ(G)$ is the vertex connectivity of $G$. We also prove new bounds in terms of edge connectivity and maximum degree.
Wild number for spanning trees in complete and complete bipartite graphs
Given an edge-colored graph, the wild number measures how close the graph is to having a spanning tree in every color. We investigate this parameter for complete graphs and complete bipartite graphs, with particular emphasis on minimum proper colorings and equitable $2$-colorings. For complete graphs, we determine the full range of wild numbers attainable by equitable $2$-colorings and show that, although every value in this range occurs, the expected wild number of a uniformly random equitable $2$-coloring tends to $0$ as the order of the graph grows. For minimum proper colorings of $K_n$, we establish a general lower bound, determine the exact wild number for $3 \le n \le 12$, and conjecture that the lower bound is sharp for all $n$. We also develop structural conditions on ideal wild sets and use them to obtain upper bounds and analyze the performance of a natural greedy algorithm. For complete bipartite graphs, we prove a sharp upper bound for equitable $2$-colorings and determine the wild number exactly for minimum proper colorings. Finally, we apply these results to Cartesian products of complete graphs and complete bipartite graphs, obtaining lower bounds for the wild number under minimum proper and product colorings.
Unavoidable flats in GF(q)-representable matroids
We show that, for any finite field $\mathbb{F}$ and positive integer $k$, a simple $\mathbb{F}$-representable matroid $M$ with sufficiently high rank contains a rank-$k$ flat which is either independent in $M$, or is a projective or affine geometry over a subfield of $\mathbb{F}$. This generalizes a result for matroids representable over prime fields due to the first two authors. As a corollary, we obtain a Ramsey theorem for matroids representable over a finite field $\mathbb{F}$. For an integer $k$, in any $2$-colouring of the points of an $\mathbb{F}$-representable matroid of sufficiently high rank, there is a monochromatic rank-$k$ flat.
Cayley graphs of abelian groups, circular colorings and discrete fundamental groups
For each integer $k \ge 2$, we prove that an abelian group $Γ$ satisfies $\exp(Γ) \in \{1,\dots,k\} \cup \{2,4,\dots,2k\}$ if and only if it admits no non-bipartite Cayley graph whose circular chromatic number is strictly less than $2 + \frac{2}{k-1}$. This refines the algebraic characterization by Krebs and Sankar of abelian groups that admit $3$-chromatic Cayley graphs.
Rich-neighbor 5-edge-colorings of subcubic graphs whose 3-vertices induce a matching
Let $φ$ be a proper edge-coloring of a graph $G$. An edge is called rich if all edges adjacent to it receive pairwise distinct colors. The coloring $φ$ is a rich-neighbor edge-coloring if every non-isolated edge is adjacent to a rich edge. Petruševski and Škrekovski introduced this notion as a relaxation of strong edge-coloring and conjectured that every connected subcubic graph other than $K_4$ admits a rich-neighbor $5$-edge-coloring.
We establish the conjectured bound for every subcubic graph $G$ satisfying $Δ(G[V_3])\leq 1,$ where $V_3$ is the set of vertices of degree $3$ in $G$. Equivalently, the $3$-vertices of $G$ induce a matching together with isolated vertices. This extends the result of Chen, Tan and Zhou for subcubic graphs with no adjacent $3$-vertices.
Strong coloring numbers of grids
For positive integers $n$ and $d$, the $d$-dimensional grid of side length $n$ is the graph $G(n,d)$ with vertex set $[n]^d$, in which two vertices are adjacent if they differ by $1$ in exactly one coordinate and agree in all the other coordinates. We determine, for every fixed $d$, the asymptotic growth in $r$ of the $r$th strong coloring numbers of these grids. More precisely for $n$ large enough, ${\rm scol}_r(G(n,d)) = Ω_d\bigl(r^{d-1}\bigr)$ as $r\to\infty$. This matches an upper bound given by a volume packing argument, which holds more generally for touching graphs of unit balls in $\mathbb R^d$. For the lower bound, we construct in $G(n,d)$ a bramble of order $Ω_d(n^{d-1})$ with each element of radius at most $dn$. This construction was found by OpenAI's GPT-5.6 Sol.
Linear bounds for rich-neighbor edge-colorings
An edge in a proper edge-coloring is rich if all edges adjacent to it receive pairwise distinct colors. A rich-neighbor edge-coloring is a proper edge-coloring in which every non-isolated edge is adjacent to a rich edge. The rich-neighbor chromatic index $\rn(G)$ is the minimum number of colors in such a coloring. We prove that every loopless multigraph $G$ satisfies $\rn(G)\le3χ'(G)$, where $χ'(G)$ is the chromatic index. Exact values are also determined for complete bipartite graphs and complete graphs. For all positive integers $m,n$, $\rn(K_{m,n})=m+n-1$, except that $\rn(K_{2,2})=4$. For $n\ge3$, $\rn(K_n)=2n-3$, except that $\rn(K_4)=6$ and $\rn(K_6)=10$. Moreover, for $n\ge7$, the rich edges in every optimal rich-neighbor edge-coloring of $K_n$ form a star forest.
The Orbital Bivariate Chromatic Polynomial
We introduce the \emph{orbital bivariate chromatic polynomial}, which counts generalized vertex colorings of a graph up to the action of a group of symmetries. More precisely, adjacent vertices must either receive distinct colors from a set of $λ$ colors or may receive the same color from a distinguished subset of $λ-μ$ colors. This new graph polynomial simultaneously generalizes the orbital chromatic polynomial due to Cameron and Kayibi (2007) and bivariate chromatic polynomial due to Dohmen, Pönitz, and Tittmann (2003). We establish fundamental structural properties and derive explicit formulas for several graph families, including complete graphs, complete bipartite graphs, paths, cycles, and wheels. In particular, several of these results are new even in the special case of the orbital chromatic polynomial. For cycles, our results generalize Moreau's necklace polynomial and lead to a new generalization and proof of Fermat's Little Theorem.
Burling graphs in graphs with large chromatic number
Published
• View Publication
• BIB
A graph class is $χ$-bounded if the only way to force large chromatic number in graphs from the class is by forming a large clique. In the 1970s, Erdős conjectured that intersection graphs of straight-line segments in the plane are $χ$-bounded, but this was disproved by Pawlik et al. (2014), who showed another way to force large chromatic number in this class -- by triangle-free graphs $B_k$ with $χ(B_k)=k$ constructed by Burling (1965). This also disproved the celebrated conjecture of Scott (1997) that classes of graphs excluding induced subdivisions of a fixed graph are $χ$-bounded.
We prove that in broad classes of graphs excluding induced subdivisions of a fixed graph, including the increasingly more general classes of segment intersection graphs, string graphs, region intersection graphs, and hereditary classes of graphs with finite asymptotic dimension, large chromatic number can be forced only by large cliques or large graphs $B_k$.
One corollary is that the hereditary closure of $\{B_k\colon k\geq 1\}$ forms a minimal hereditary graph class with unbounded chromatic number -- the second known graph class with this property after the class of complete graphs. Another corollary is that the decision variant of approximate coloring in the aforementioned graph classes can be solved in polynomial time by exhaustively searching for a sufficiently large clique or copy of $B_k$. We also discuss how our results along with some results of Chudnovsky, Scott, and Seymour on the existence of colorings can be turned into polynomial-time algorithms for the search variant of approximate coloring in string graphs (with intersection model in the input) and other aforementioned graph classes. Such an algorithm has not yet been known for any graph class that is not $χ$-bounded.
Decay-Ramsey Sequences
Given a sequence $\mathbf{a}=(a_i)_{i\geq 1}$ of positive real numbers, we say that a colouring $c:E(K_n)\to \mathbb{N}$ is $\mathbf{a}$-bounded if the proportion of edges coloured $i$ is at most $a_i$, for all $i$. We write
\[
\mathbf{a}\, \to\, K_k
\]
if, for all sufficiently large $n$, all $\mathbf{a}$-bounded colourings $c:E(K_n)\to \mathbb{N}$ contain a monochromatic $K_k$. We say that the sequence $\mathbf{a}$ is \emph{Decay-Ramsey} if $\mathbf{a}\to K_k$ for all $k\ge 2$. In this short paper we introduce the question of determining which sequences are Decay-Ramsey and present some initial results.
The $k$-color poset Ramsey number of the diamond is $2k$
The $k$-color Ramsey number of a poset $P$ is the smallest dimension $d$ such that any $k$-coloring of the $d$-dimensional Boolean lattice contains a monochromatic induced copy of $P$. For $ j\ge 2$ the $j$-diamond is the poset that consists of a maximum element, a minimum element and an antichain of size $j$. We prove that the $k$-color Ramsey number of the $j$-diamond is at most $jk$. Colorings of the Boolean lattice that assign sets of the same size the same color provide matching lower bounds for $j \in \{2,3,4\}$.
Elementary Proofs of Commonality of the House Graph and $K_4$ with One Edge Subdivided
A graph $H$ is called common if the number of monochromatic copies of $H$ in a $2$-edge-coloring of a large complete graph is asymptotically minimized by the random coloring with an equal proportion of each color. The house graph and $K_4$ with one edge subdivided once are known to be common by the flag algebra method. Grzesik, Lee, Lidický, and Volec asked for ``human-friendly'' proofs of the commonality of these two graphs. In this short note, we give flag-algebra-free proofs that both graphs are common.
Pythagorean triples in level sets of completely multiplicative functions
We show that given completely multiplicative functions $f_1,\dots,f_d$ taking values in the unit circle, there exist Pythagorean triples (i.e., integer solutions to $x^2+y^2=z^2$) with $f_i(x),f_i(y),f_i(z)$ all arbitrarily close to $1$ for all $i$. This is a new special case of the conjecture that any finite colouring of $\mathbb{N}$ has a monochromatic Pythagorean triple. Our proof combines vanishing averages for aperiodic functions with concentration estimates for pretentious functions. A similar proof is applied to obtain the analogous statement for more general equations of the form $ax^2+by^2=cz^2$ whenever $a,b,c$ are perfect squares satisfying the Rado's condition.
Multidimensional convolution matrices and perfect colorings of subspace hypergraphs applied for bent functions and related designs
The main aim of the present paper is to introduce new methods for the study of combinatorial designs related to bent functions. They are based on interpretations of convolution on finite abelian groups as multiplication by a multidimensional matrix and designs as perfect colorings of subspace hypergraphs of $\mathbb{F}_2^n$. We establish a correspondence between eigenfunctions of convolution matrices and perfect colorings of subspace hypergraphs, show that perfect colorings of subspace hypergraphs admit a characterization in terms of convolution and that two-valued eigenfunctions of subspace hypergraphs correspond to perfect colorings. As applications, we represent partial difference sets, bent and plateaued Boolean functions, spreads, and strong bent partitions of $\mathbb{F}_2^n$ as eigenfunctions of convolution matrices and as perfect colorings of subspace hypergraphs. We also find some eigenvalues of convolution matrices over $\mathbb{F}_2^n$ and $\mathbb{F}_3^n$.
$2$-large sets are sets of Bohr recurrence
Let $α_1,\ldots,α_d$ be real numbers, fix $δ>0$, and let $S$ be the set of positive integers $s$ such that $\|α_i s\|_{\R/\Z}>δ$ for some $1\le i\le d$. We prove that $S$ is not \enquote{$2$-large}, i.e. there is a $2$-coloring of $\N$ that avoids arbitrarily long monochromatic arithmetic progressions with common differences in $S$. The case $d=1$ was previously known; here we prove the result in every finite dimension.
Flips and Merge-Width in Sparse Graphs
A flip of a graph is obtained by complementing the edge relation within a set of vertices. Flips are typically used to separate vertices in a graph, by increasing the distances between them. We show that in $K_{t,t}$-free graphs, every short sequence of flips can be simulated by a short sequence of vertex deletions that achieves a similar degree of separation: distances in the resulting graph are, up to a factor of three, at least as large as those obtained after the flips.
This result provides a simple and uniform explanation of an emerging pattern in structural graph theory and finite model theory: the $K_{t,t}$-free fragment of a tameness notion for dense graphs often coincides with a tameness notion for sparse graphs. As immediate applications, we recover the following known equivalences. In the $K_{t,t}$-free setting, the dense notions (1) bounded shrub-depth, (2) bounded clique-width, (3) bounded flip-width, (4) monadic dependence, respectively, coincide with the sparse notions (1) bounded tree-depth, (2) bounded tree-width, (3) bounded expansion, and (4) no-where dense-ness.
Furthermore, we reprove the result by Dreier and Toruńczyk (STOC 2025) stating that $K_{t,t}$-free classes of bounded merge-width have bounded expansion. Our proof provides explicit bounds and is direct, as it shows how to construct strong coloring orders (witnesses of bounded expansion) from merge sequences (witnesses of bounded merge-width).
Along the way, we identify a new family of graph parameters, dubbed separation-width, that is sandwiched between the strong and weak coloring numbers, and is closely related to the merge-width parameters. We provide evidence that this family of graph parameters, apparently overlooked in the literature, may play a fundamental role in the study of sparse graphs.