coloring
4405 papers tagged with this keyword
Subcubic $K_4$-minor-free graphs without crumby colorings
Motivated by Wegner's conjecture on squares of planar graphs, Thomassen conjectured that every 3-connected cubic graph on at least eight vertices admits a red-blue vertex coloring in which the blue subgraph has maximum degree at most 1, while the red subgraph has minimum degree at least 1 and contains no $P_4$. Such colorings are now called crumby colorings. Although this conjecture was disproved in general by Bellitto, Klimošová, Merker, Witkowski and Yuditsky, positive results of Barát, Blázsik and Damásdi led them, in the same subcubic setting, to conjecture that every $K_4$-minor-free graph admits a crumby coloring. We disprove this conjecture with a connected subcubic partial 2-tree on 18 vertices. We also disprove its natural 2-connected version with a 2-connected subcubic partial 2-tree on 40 vertices with no crumby coloring. Consequently, the obstruction to crumby colorability already occurs within treewidth two, even under 2-connectivity.
W-state graphs: Structure and Algorithms
We study the class of edge-coloured graphs arising from the graph-theoretic representation of quantum photonic experiments that generate multipartite W-states. Abstracting away physical amplitudes and phases, we introduce W-state graphs: matching-covered graphs equipped with a half-edge 2-colouring such that every perfect matching contains exactly one bichromatic edge and every vertex is incident with a red half-edge. Our main contribution is a complete structural characterization of W-state graphs. We show that a graph is a W-state graph if and only if each of its 3-connected components is a W-cone, a simple and rigid building block defined by a universal vertex and a factor-critical base. This characterization implies that no W-state graph is simple and yields a recognition algorithm running as fast as verifying whether a graph is matching-covered. We also show that the natural generalization to Dicke states encounters a complexity barrier: verifying one of the two Dicke state conditions is itself coNP-complete, resolving an open problem of Vardi and Zhang [IJCAI 2023]. Our results place W-state graphs firmly within classical matching theory and precisely delineate the combinatorial structures capable of realizing idealized W-states in the experiment-graph framework.
Coloring graphs with independence number two and no odd clique immersions
We study the chromatic number of graphs that exclude a clique as a strong odd immersion and have independence number two. Given a graph $G$ and $t\in\mathbb{Z}^+$, we prove that if $α(G)\leq 2$ and $G$ has no strong odd $K_t$-immersion, then $χ(G)\leq \lceil \frac{3(t-1)}{2}\rceil$.
A universal dichotomy for concentration in randomly colored graphs
Let $ζ$ be Euclidean norm of the degree sequence of a graph normalized by the graph size. We prove that when the vertices of a graph are randomly colored with $s$ colors such that the fraction of vertices in each color class is bounded away from zero, only two asymptotic regimes emerge. If $ζ=o(1)$, then the sizes of the subgraphs induced by the color classes concentrate around their expected values. If $ζ=Θ(1)$, then concentration depends on the color balance: for colorings with persisting imbalance, the total number $M$ of monochromatic edges stays bounded away from its mean with positive probability; otherwise, for vanishing imbalance, $M$ still concentrates. The same dichotomy holds for a broad class of randomly colored random graphs.
Ramsey numbers and Gallai--Ramsey numbers of disjoint unions of cherries
For graphs $G_1,\ldots,G_k$, the Ramsey number $R(G_1,\ldots,G_k)$ is the smallest positive integer $N$ such that every $k$-edge-coloring of $K_N$ contains a monochromatic copy of $G_i$ in color $i$ for some $i\in[k]$. The Gallai--Ramsey number $GR(G_1,\ldots,G_k)$ is defined analogously, with the colorings restricted to Gallai colorings (i.e., edge-colorings with no rainbow triangle).
A copy of $P_3$ is called a cherry. Let $n_iP_3$ denote the disjoint union of $n_i$ cherries. Wu, Magnant, Nowbandegani, and Xia (Discrete Appl. Math., 2019) proposed two conjectures: \[ R(n_1P_3,\ldots,n_kP_3)=N\ \text{and}\ GR(n_1P_3,\ldots,n_kP_3)=N\,, \] where $N=2\max\{n_1,\ldots,n_k\}+\sum_{i=1}^kn_i-k+1$. We disprove the Ramsey conjecture and provide some sufficient conditions for determining the exact value of $R(n_1P_3,\ldots,n_kP_3)$. In contrast, we confirm the Gallai--Ramsey conjecture.
The Normal Domination Partizan Game in Stars
The Domination game is an impartial game on graphs, introduced in 2010, and proved PSPACE-complete in the normal variant in 2026. In this game, Alice and Bob alternately select playable vertices, where a vertex is playable if it dominates at least one vertex not dominated by the vertices selected before in the game. The game ends when the selected vertices form a dominating set. In the normal variant, the player unable to move loses. In contrast to the impartial game, the partizan game has the vertices already colored with $A$, $B$, or $C$, in such a way that Alice (resp. Bob) can only select vertices colored with $A$ (resp. $B$) or $C$. The partizan game was proved PSPACE-hard in 2026. In this paper, we determine the winner of the Normal Partizan Domination game in graphs whose components are complete split graphs, including star forests, for any initial coloring of its vertices. We also obtain partial results for complete bipartite graphs.
An exact small-$n$ computation of the minimum 2-coloring discrepancy of $K_n^{(3)}$
For an integer $r \ge 2$ and an order $n \equiv 1, 3 \pmod{6}$, write $δ_r(n)$ for the minimum, over all $r$-colourings $χ: \binom{[n]}{3} \to [r]$, of $\max_{\mathcal{S}} \mathrm{disc}(\mathcal{S}, χ)$, where the maximum is over labelled Steiner triple systems $\mathcal{S}$ of order $n$ and $\mathrm{disc}(\mathcal{S}, χ) = \max_c |\#\{T \in \mathcal{S} : χ(T) = c\} - |\mathcal{S}|/r|$. Following Gishboliner, Glock, and Sgueglia \cite{GishbolinerGlockSgueglia2025}, the bulk of the recent work on this quantity has been on lower bounds for $r \ge 3$ (proving $δ_r(n) = Ω(n^2)$) and on structural characterisation of the low-discrepancy 2-colourings. We give three small computational contributions in the small-$n$ regime $n \in \{7, 9, 13, 15, 19, 21\}$: An exact value of $δ_2(n)$ for each such $n$, matching the formula $δ_2(n) = \min_{x \in [0, n] \cap \mathbb{Z}} |x(n-x)/2 - n(n-1)/12|$ obtained by optimising the GGS Example 1.1 family. Rigorous for $n \in \{7, 9\}$ via exhaustive search over labelled STSs ($30$ resp. $840$ systems) and over all $2$-colourings; computational for $n \in \{13, 15, 19, 21\}$ by simulated-annealing search; A wide near-optimal basin: at $n = 9$, every two-colour-flip neighbour of the optimal Example~1.1 colouring that maintains discrepancy $1.0$ exists; about $34\%$ of two-flip perturbations preserve optimality; Random-colouring statistics for $r \in \{2, 3, 4\}$: $\langle\max_{\mathcal{S}}\mathrm{disc}\rangle$ grows linearly in $n$, in agreement with a heuristic Gaussian estimate $n / \sqrt{6r} \cdot \sqrt{2 \log K}$ over $K$ sampled labellings; the typical-case discrepancy is far below the GGS worst-case $Ω(n^2)$. We additionally state a conjectural exact formula for $δ_2(n)$ that holds for every $n \equiv 1, 3 \pmod{6}$.
Hypergraph independence bounds: from maximum degree to average degree
We prove a transfer theorem for hereditary classes of $(r+1)$-uniform hypergraphs. Let $\mathcal G$ be such a class, and for $H\in\mathcal G$ write $Δ(H)$ and $d(H)$ for the maximum degree and average degree of $H$, respectively. We show that, for every nearly logarithmic function $f$ in the sense defined below, a maximum-degree lower bound for the independence number of the form \[ α(H)\ge (1-o(1))\frac{f(Δ(H))}{Δ(H)^{1/r}}|V(H)| \qquad\text{as }Δ(H)\to\infty \] for all $H\in\mathcal G$ implies the corresponding average-degree lower bound \[ α(H)\ge (1-o(1))\frac{f(d(H))}{d(H)^{1/r}}|V(H)| \qquad\text{as }d(H)\to\infty . \] We combine this transfer theorem with known coloring and fractional-coloring bounds to obtain consequences for graphs excluding a fixed cycle, graphs with bounded clique number, locally $q$-colorable graphs, and locally sparse uniform hypergraphs.
Polynomial and spectra factorization of graphs obtained by iteration the operad of generalized graph composition
The generalized composition graph is used by Cardoso and some researchers for factorization of the adjacency spectrum and Laplacian of a simple graph. Because the generalized composition graph is an example of a set-theoretic linear operad, this operation can be iterated at more than one level, where the complex language of partition refinement in the iteration is represented in terms of Schr"oder trees. This allows us to generalize the factorization of the adjacency spectrum and Laplacian of a simple graph presented by Cardoso in terms of Schr"oder trees and colorings over the edges of a graph. Cardoso's technique has been generalized by other authors for the universal adjacency matrix of a graph. This work also presents generalized factorizations in terms of Schr"oder trees and colorings on the edges of a graph for the universal adjacency spectrum, the characteristic polynomial of the universal adjacency matrix, and the generalized characteristic polynomial of a graph.
Conflict-free chromatic index of bipartite graphs
An edge coloring of a graph $G$ is called conflict-free if, for every edge, its closed neighborhood contains a color that appears exactly once. The least number of colors required for such a coloring is the conflict-free chromatic index of $G$, denoted by $χ'_{CF}(G)$. Kamyczura, Meszka, and Przybyło conjectured that $χ'_{CF}(G)\le 3$ for any bipartite graph $G$ without isolated vertices. In this paper, we confirm this conjecture.
Note on polychromatic coloring of hereditary hypergraph families II
We extend a recent construction concerning polychromatic colorings of hereditary hypergraph families. For every integer $h\ge 4$ we construct a $(2h-1)$-uniform hypergraph which has no polychromatic $3$-coloring, but all of whose $h$-heavy restricted subhypergraphs are $2$-colorable. Together with the previously known case $h=3$, this gives examples with uniformity $2h-1$ for every $h\ge 3$. The construction is based on complements of suitable $h$-uniform hypergraphs on $3h-1$ vertices. For $h\ge 9$ we prove existence by a simple probabilistic argument; the remaining cases $4\le h\le 8$ are certified by a short exhaustive computer check, whose fully reproducible description and source code are included in the appendix.
Asymptotically Tight Bound for the Conflict-Free Chromatic Index
The conflict-free chromatic index of a graph $G$ is the minimum number of colours in an edge colouring of $G$ such that the neighbourhood of every edge contains a colour appearing exactly once. Its vertex analogue is the conflict-free chromatic number. These two parameters naturally coincide when the second is applied to the line graph of $G$. It is known that two variants of the latter parameter exhibit substantially different behaviour.
For closed vertex neighbourhoods, where each vertex belongs to its own neighbourhood, it is known that $O(\ln^2 Δ)$ colours suffice, where $Δ$ denotes the maximum degree of $G$, and this bound is tight in order. In contrast, for open neighbourhoods, the corresponding parameter can be as large as $Δ+1$, but is bounded above by $O(\ln^{2+\varepsilon} Δ)$ for claw-free graphs. Since line graphs are claw-free, this yields the best known general upper bound for the edge analogue in the setting of open neighbourhoods.
For closed edge neighbourhoods, a stronger general upper bound of $3\log_2 Δ+ 4$ is known. In this paper, we show that for both variants, the conflict-free chromatic index is bounded above by $(1+o(1))\log_2 Δ$. Since complete graphs require at least $(1 - o(1)) \log_2 Δ$ colours in the closed as well as the open setting, our result is asymptotically tight in order and in the leading constant. Moreover, we strengthen this conclusion by showing that $(1 - o(1)) \log_2 Δ$ colours are also typically necessary, as we prove this asymptotically almost surely for random graphs in both dense and relatively sparse regimes.
Our proofs combine the probabilistic method with deterministic graph decomposition techniques, as well as new results relating the parameters under consideration with the chromatic number of a graph.
Construction Methods for Space-Filling Heterogeneous Topological Interlocking Assemblies
Deforming fundamental domains of wallpaper groups provides a systematic way to generate non-convex blocks which admit topological interlocking assemblies (TIAs). We use this approach to construct TIAs that fully occupy the space between two parallel planes and incorporate multiple block types. In addition to wallpaper groups, semiregular tessellations are employed in the construction of such TIAs. These construction methods open up an extensive design space for TIAs, expanding the possibilities of feasible interlocking systems and creating new opportunities for architectural and material design. Several resulting block families can be interpreted as geometric realizations of generalized Truchet tiles or decorated lozenge tilings and, with suitable colouring rules, we establish a one-to-one correspondence between these tilings and specific TIAs. This framework enables a systematic investigation of symmetric and asymmetric assemblies derived from diverse block types.
Planar 1-ended graphs can be periodically coloured
We conclude an investigation of Abrishami, Esperet, Giocanti, Hamman, Knappe and Möller studying the existence of periodic colourings of locally finite graphs. A colouring of a graph $Γ$ is periodic if the resulting coloured graph has a finite number of orbits under its colour-preserving automorphisms, as such it is natural to consider those quasi-transitive graphs with finite quotient. In the case that the graph is planar and has 1-end we prove that it always permits a periodic proper vertex colouring. This is shown by constructing isometry respecting embedded maps into the Euclidean and hyperbolic planes and leveraging known properties of Euclidean and hyperbolic isometry groups. Moreover, in the case that a graph is Euclidean we show that this can always be done in 5 colours.
On the largest chromatic number of $F$-free hypergraphs
Given a hypergraph $F$, what is the largest chromatic number that an $F$-free hypergraph can have? In the case of graphs, this question is easy to answer: the chromatic number is unbounded if $F$ contains a cycle, and the largest chromatic number of $F$-free graphs is $k-1$ if $F$ is a forest on $k$ vertices. The situation is more complicated for hypergraphs.
The strong coloring of a hypergraph is a coloring of the vertices such that every hyperedge is rainbow. The weak coloring of a hypergraph is a coloring of the vertices such that no hyperedge is monochromatic. The strong/weak chromatic number of a hypergraph is the minimum number of colors in a strong/weak coloring of the hypergraph. Our question has been completely answered for the weak chromatic number, similarly to the graph case.
We characterize the hypergraphs $F$ such that $F$-free hypergraphs have bounded strong chromatic number. The only remaining case is when $F$ is the 3-uniform expansion $S_k^+$ of a star with $k$ edges. Concerning the strong chromatic number of $S_k^+$-free hypergraphs, we give bounds that are asymptitically sharp as $k\rightarrow\infty$.
We also consider the same problem when the Berge copies of a graph $F$ are forbidden. We characterize when the strong/weak chromatic numbers are bounded in this case, and obtain sharp results or bounds for specific trees. In particular, when $F$ is a path, we give a tight bound when $r=3$ and an asymptotically sharp bound when $r=4$.
Spectral Perspectives on FAT Graph Colorings
We investigate Fair and Tolerant (FAT) graph colorings, a coloring framework in which each vertex is allowed to share its color with a prescribed fraction of its neighbors, while the remaining neighbors are required to be distributed evenly among the other coloring classes. In particular, we determine the FAT chromatic number for all complete multipartite graphs, and we analyze the behavior of FAT colorings under several graph operations. Although spectral methods form the primary focus, several combinatorial arguments are included to complement the results.
Anti-Ramsey numbers for cancellative configurations in p-graphs
We study edge-colorings of the complete $p$-graph on $n$ vertices that contain no three edges $A,B,C$ of distinct colors such that the symmetric difference of $A$ and $B$ is contained in $C$.
For $p\ge3$ and $n\ge p+1$, we show that every such coloring contains at most $1+\floor{n/p}$ colors and characterize the extremal colorings, generalizing a theorem of Erdős, Simonovits and Sós. %\cite{erdos1975}.
When $p=3$, the condition $A\triangle B\subseteq C$ implies $|A\triangle B|=2$, and the three edges necessarily form a copy of $F_4\coloneqq\{abc,abd,bcd\}$ or $F_5\coloneqq\{abc,abd,cde\}$.
For $n\ge5$, we show that every rainbow $F_5$-free edge-coloring is rainbow cancellative.
For rainbow $F_4$-free colorings, we construct colorings with $m(n)+1$ colors for all $n\ge4$, where $m(n)$ is the size of a maximum partial Steiner triple system of order $n$ and satisfies $m(n)=n^2/6+O(n)$, improving the linear lower bound by Budden and Stiles. %\cite{budden}.
Moreover, for $n=2^s-1$, we obtain $\ar(n,F_4)\ge m(n)+n^2/42+o(n^2)=4n^2/21+o(n^2)$ via a construction based on independent sets in the Grassmann graph.
We also prove that $\ar(n,F_4)\le (5n^2-8n)/21$ for $n\ge4$, improving the quadratic coefficient in the upper bound of Budden and Stiles from $1/4$ to $5/21$.
Monochromatic Sums and Quotients Near Zero
Recently S. Goswami proved that whenever the set $\mathbb N$ of natural numbers is finitely colored, the set $\{a, b, ab, b(a+1)\}$ is monochromatic which also established a variant of the long-standing Hindman's conjecture, which asks for a monochromatic set of the form $\{a, b, ab, a+b\}$. Actually he disproved a conjecture proposed by J. Sahasrabudhe that $\{a, b, a(b + 1)\}$ is not partition regular. In this paper we prove that $\{a, b, ab, b(a+1)\}$ is monochromatic near zero which means for every finite coloring of a dense subsemigroups of $((0, \infty), +)$, the set $\{a, b, ab, b(a+1)\}$ is monochromatic near zero or in other words, we will get $a, b$ in a dense subsemigroups of $((0, \infty), +)$ as small as we want such that the set $\{a, b, ab, b(a+1)\}$ is monochromatic for every finite coloring of that dense subsemigroups of $((0, \infty), +)$, also we show that the pattern $x, y, x+y, \frac{y}{x}$ is partition regular near zero.
A resolution of Erdős Problem #190 via Erdős-Lovász, BCT, and Baker-Harman-Pintz
Let H(k) be the smallest N such that every finite coloring of [N] contains a monochromatic or rainbow k-term arithmetic progression. Erdős and Graham asked whether $H(k)^{1/k}/k \to \infty$ (Problem #190 of the Erdős Problems database). We prove that there is an absolute constant $k_0 \ge 2$ such that for all $k \ge k_0$, \[ H(k)^{1/k}/k \ge (1/e - \varepsilon(k)) \cdot k/\log k, \qquad \varepsilon(k) = O(k^{-0.475} \log k) \to 0 \text{ as } k \to \infty; \] in particular $H(k)^{1/k}/k = Ω(k/\log k)$ and $\lim_{k\to\infty} H(k)^{1/k}/k = \infty$, resolving the positive direction of the Erdős-Graham question. The argument combines three standard ingredients -- the symmetric Lovász Local Lemma applied to the k-AP hypergraph on $[N]$, the restricted form of the Blankenship-Cummings-Taranchuk recurrence, and the Baker-Harman-Pintz prime-gap theorem -- together with the pigeonhole reduction $H(k) \ge W(k-1,k)$, and uses BHP as the only analytic black box. Previous applications of Erdős-Lovász had fixed $r$; the improvement here is that the $r^{k-1}$ base dominates once one allows the color count $r_0 = \lfloor k / \log k \rfloor$ to grow with $k$. No matching upper bound on $H(k)^{1/k}/k$ is known.
Majority C-coloring of graphs
Inspired by the majority colorings and C-colorings, we introduce and study the majority C-coloring of graphs. In such a vertex coloring, every vertex shares its color with at least half of its neighbors. The maximum number of colors that can be used in a majority C-coloring of a graph $G$ is called the majority C-chromatic number and denoted by $\mc(G)$.
An upper bound on $\mc(G)$ is proved in terms of the order, minimum, and maximum degree. Its sharpness is demonstrated by several results over different graph classes. In particular, $\mc(P_n^k)= \mc(C_n^k)= \lfloor n/(k+1)\rfloor$ is true for the $k$-th power of a path and a cycle if $n \ge k+1$. Further, $\mc(G) = (n-d)/3$ holds if $G$ is a $(\mbox{claw}, K_4)$-free cubic graph and contains $d$ diamonds. %claw-free cubic graph on $n \ge 6$ vertices and contains $d$ diamonds. It is further shown that the majority C-chromatic number is not monotone under edge deletion. In fact, both the lower and upper bounds are sharp in the inequality chain $\mc(G)-2 \leq \mc(G-e) \leq \mc(G) +1$. The minimum and maximum number of edges in an $n$-vertex graph $G$ with $\mc(G)=k$ are determined for every $n$ and $k$. It is also pointed out that the classical chromatic number $χ(G)$ and $\mc(G)$ are incomparable, and the difference $\mc(G)-χ(G)$ can take any positive or negative integer. On the other hand, $\mc(G)+χ(G) \leq n+1$ holds for every graph $G$ of order $n$. The decision problem of whether $\mc(G) \ge k$ holds is NP-complete for every fixed $k\ge 2$. In contrast, some sufficient conditions for $\mc(G) \ge 2$ are proved, and a linear-time algorithm is presented that determines $\mc(T)$ if $T$ is a tree.