coloring
4536 papers tagged with this keyword
Monochromatic non-commuting products
We show that a finite coloring of an amenable group contains `many' monochromatic sets of the form $\{x,y,xy,yx\},$ and natural extensions with more variables. This gives the first combinatorial proof and extensions of Bergelson and McCutcheon's non-commutative Schur theorem. Our main new tool is the introduction of what we call `quasirandom colorings,' a condition that is automatically satisfied by colorings of quasirandom groups, and a reduction to this case.
Almost-full transversals in equi-$n$-squares
In 1975, Stein made a wide generalisation of the Ryser-Brualdi-Stein conjecture on transversals in Latin squares, conjecturing that every equi-$n$-square (an $n\times n$ array filled with $n$ symbols where each symbol appears exactly $n$ times) has a transversal of size $n-1$. That is, it should have a collection of $n-1$ entries that share no row, column, or symbol. In 2017, Aharoni, Berger, Kotlar, and Ziv showed that equi-$n$-squares always have a transversal with size at least $2n/3$. In 2019, Pokrovskiy and Sudakov disproved Stein's conjecture by constructing equi-$n$-squares without a transversal of size $n-\frac{\log n}{42}$, but asked whether Stein's conjecture is approximately true. I.e., does an equi-$n$-square always have a transversal with size $(1-o(1))n$?
We answer this question in the positive. More specifically, we improve both known bounds, showing that there exist equi-$n$-squares with no transversal of size $n-Ω(\sqrt{n})$ and that every equi-$n$-square contains $n-n^{1-Ω(1)}$ disjoint transversals of size $n-n^{1-Ω(1)}$. Furthermore, we give results for the corresponding problem in globally-bounded colourings of complete graphs, as part of the wider framework of coloured complete directed graphs.
Ramsey problems for graphs in Euclidean spaces and Cartesian powers
Given a graph $H$, let $χ_H(\mathbb{R}^n)$ be the smallest positive integer $r$ such that there exists an $r$-coloring of $\mathbb{R}^n$ with no monochromatic unit-copy of $H$, that is a set of $|V(H)|$ vertices of the same color such that any two vertices corresponding to an edge of $H$ are at distance one.
This Ramsey-type function extends the famous Hadwiger--Nelson problem on the chromatic number $χ(\mathbb{R}^n)=χ_{K_2}(\mathbb{R}^n)$ of the space from a complete graph $K_2$ on two vertices to an arbitrary graph $H$. It also extends the classical Euclidean Ramsey problem for congruent monochromatic subsets to the family of those defined by a specific subset of unit distances.
Among others, we show that $χ_H(\mathbb{R}^n)=χ(\mathbb{R}^n)$ for any even cycle $H$ of length $8$ or at least $12$ as well as for any forest and that $χ_H(\mathbb{R}^n)=\lceilχ(\mathbb{R}^n)/2\rceil$ for any sufficiently long odd cycle. Our main tools and results, which are of independent interest, establish that Cartesian powers enjoy Ramsey-type properties for graphs with favorable Turán-type characteristics, such as zero hypercube Turán density.
In addition, we prove induced variants of these results, find bounds on $χ_H(\mathbb{R}^n)$ for growing dimensions $n$, and prove a canonical-type result. We conclude with many open problems. One of these is to determine $χ_{C_4}(\mathbb{R}^2)$, for a cycle $C_4$ on four vertices.
The rich-neighbor chromatic index is linear in the maximum degree
An edge of a multigraph is rich with respect to a proper edge-coloring if all the edges adjacent to it receive mutually distinct colors, and a proper edge-coloring is a rich-neighbor coloring if every non-isolated edge has a rich edge adjacent to it. The least number of colors in such a coloring is the rich-neighbor chromatic index chi'_rn(G). So far it was studied for subcubic graphs only, and multigraphs of larger maximum degree are considered here for the first time. The only upper bound valid in general was the quadratic one inherited from the strong chromatic index, while a single rich edge already requires 2D-1 colors in a D-regular graph, where D denotes the maximum degree. We give an upper linear bound chi'_rn(G) <= 6D-8 which holds for every loopless multigraph G with D >= 3, and we show that a coloring realizing this bound can be found in polynomial time. Consequently chi'_rn(G) = Theta(D). For D-regular graphs with D >= 3 the lower bound is 2D-1, and the upper bound is 5D-8. The bound 5D-8 holds more generally for every multigraph with D >= 3 which has a dominating P_{>=3}-system, and we characterize these multigraphs: such a system exists if and only if k_2(G-T) <= 2|T| holds for every set T of vertices, where k_2 counts the components on two vertices. In particular the bound holds for every graph with 3 <= D <= 4d-4, where d denotes the minimum degree. The paper is concluded with a conjecture on the tight upper bound on chi'_rn(G).
Elementary graphs are chromatic-choosable
A graph is \emph{elementary} if its edges can be coloured with two colours so that the two edges of every induced path on three vertices receive different colours. Elementary graphs are one of the two basic classes in the Chvátal--Sbihi decomposition of claw-free perfect graphs; they include all line graphs of bipartite multigraphs and all complements of bipartite graphs. We prove that every elementary graph $G$ satisfies $\ch(G)=χ(G)=ω(G)$, confirming for this class the conjecture of Gravier and Maffray that claw-free graphs are chromatic-choosable. The proof combines the Maffray--Reed description of elementary graphs as augmentations of line graphs of bipartite multigraphs, Galvin's theorem, an extremal (edge-maximal) choice of counterexample, and a Hall-type lemma describing how list colourings of a complete graph minus a matching can fail.
The Hajnal-Szemerédi theorem in digraphs revisited
The Hajnal--Szemerédi theorem states that every graph with $Δ(G)\le k-1$ admits an equitable $k$-coloring. Using a reduction implicit in Aboulker, Oijid, Petit, Rocton, and Simon (which itself builds on the literature surrounding feedback arc sets), we prove that this theorem is equivalent to each of four digraph analogues guaranteeing equitable acyclic $k$-colorings under various degree conditions. A minor modification of the proof method in makes the construction algorithmic, so the equitable acyclic coloring guaranteed by these statements can be found in polynomial time. The same reduction shows that the Ore-type Hajnal--Szemerédi theorem is equivalent to its four digraph analogues.
These equivalences settle the conjecture of Treglown that every $n$-vertex digraph with $r\mid n$ and $δ^{\max}(D)\ge(1-\frac{1}{r})n$ contains a $T_r$-factor, answer a question of Molla and Treglown by determining the exact Ore-type threshold for $T_r$-factors, and recover the directed Hajnal--Szemerédi theorems of Czygrinow, DeBiasio, Kierstead, and Molla as immediate corollaries of this reduction.
We also discuss related problems for oriented graphs which do not follow immediately from the reduction mentioned above.
Face $S_3$-colorings and Petrie monochromatic circuits for efficient total arc colorings of cubic maps of girth 4
Let $G=(V(G),E(G))$ be a finite connected simple cubic graph. A total coloring $μ:V(G)\cup E(G)\rightarrow\{0,1,2,3\} $ is efficient if each color yields an efficient dominating set, where the efficient dominating condition applies to the restriction of each color class to $V(G)$. If the girth of $G$ is 4 and $μ$ uses 4 colors both on vertices and edges of each 4-cycle, then $μ$ is an ETGC. Maps $M(G)$ of such $G$ are considered on the orientable surfaces. We show that a necessary condition for ETGCs to exist on $M(G)$ is that they have only face lengths divisible by 4. When such ETGCs exist, for which 7 constructive tools are provided, the faces of the maps $M(G)$ possessing them are shown to be colorable by the group $S_3$ of 3-permutations whenever the ETGCs are periodic. For the vertex coloring of each ETGC, there are two orthogonal edge colorings: directed and reversed. There are two injections into the set of face $S_3$-colorings: one from the set of periodic directed ETGCs, the other from that of periodic reversed ETGCs. We take each edge of $G$ as a pair of opposite arcs. Let $A^\leftrightarrow$ be the set of such arcs and let $G^\leftrightarrow$ be the digraph with vertex set $V(G)$ and arc set $A^\leftrightarrow$. A ditotal coloring $μ^\leftrightarrow$ of $G^\leftrightarrow$ is given by having bijections via $μ^\leftrightarrow$ from the sets formed by: {\bf(a)} each vertex and the arcs arriving to it; {\bf(b)} each vertex and the arcs departing from it; {\bf(c)} each vertex and its neighbors; {\bf(d)} each pair of oppositely oriented arcs of an edge and its end-vertices. Then, each ETGC of an $M(G)$ has a ditotal coloring. The Petrie dual of the resulting map $M(G^\leftrightarrow)$ is formed by monochromatic directed cycles.
Ordinary and measurable colorings of Euclidean three-space
A proper coloring of Euclidean space is a coloring that assigns different colors to points at distance one. Using the planar character-law rigidity theorem of OpenAI, we prove that every finite proper coloring of $\R^3$ can be replaced by a proper Lebesgue-measurable coloring with the same number of colors. As a corollary we obtain that the ordinary and measurable chromatic numbers of $\R^3$ are equal, and both lie between $7$ and $15$.
FirstFit coloring process of random bipartite graphs and an online coloring lower bound in the random order model
FirstFit colors each arriving vertex with the smallest positive integer absent from its previously colored neighborhood. We prove that this rule can require $n^{Ω(1)}$ many colors on certain bipartite graph of $n$ vertices even when the vertices arrive in a uniformly random order. This refutes the conjecture of Bosek, Gutowski, Lasoń, and Przybyło [BGLP24] that FirstFit uses a polylogarithmic expected number of colors on every bipartite graph in the random order model. We obtain the lower bound by analyzing the FirstFit coloring process on random bipartite graphs, where vertices arrive to either side with equal probability, and with an independent edge density $n^{-x}$ for some $0 < x < 1$. Our result can also be viewed as a qualitative strengthening of Kučera [Kuč91], who showed that, for every $ε> 0$, there are graphs with chromatic number at most $n^ε$ on which FirstFit uses $Ω(n/\log n)$ colors in expectation under a uniformly random order. Our result shows that such poor behavior of FirstFit already occurs for $χ(G) = 2$.
Partition regularity of infinite parallelepiped sets
A proper infinite parallelepiped (IP) set in a semigroup is an infinite set consisting of a sequence $\myseq{a}$ and its finite sums, or a superset of such a set.
Hindman's theorem asserts that the proper IP sets of natural numbers are partition regular: for each finite coloring of a proper IP set of natural numbers there is a monochromatic proper IP subset.
Furstenberg generalized this question to arbitrary semigroups, in which the analogous result does not hold in general. We provide a complete classification of the semigroups for which the proper IP sets are partition regular, and show that this property is equivalent to other fundamental notions of additive Ramsey theory.
Recurrence for pretentious systems along generalized Pythagorean triples
We establish multiple recurrence results for pretentious measure-preserving multiplicative actions along generalized Pythagorean triples, that is, solutions to the equation $ax^2 + b y^2 = c z^2$. This confirms the ergodic-theoretic form of the generalized Pythagorean partition regularity conjecture in this critical case of structured measure-preserving actions. As a consequence of our main theorem, any finite coloring of $\mathbb{N}$ generated by the level sets of finitely many pretentious completely multiplicative functions, must contain a monochromatic generalized Pythagorean triple.
Cones of Theta Graphs are Enumeratively Chromatic-Choosable
Chromatic choosability is a fundamental notion in list coloring. A graph $G$ is chromatic-choosable if its chromatic number $χ(G)$ equals its list chromatic number $χ_{\ell}(G)$. In 1990, Kostochka and Sidorenko introduced the list color function of a graph $G$, denoted by $P_{\ell}(G,m)$, which is the list-coloring analogue of its chromatic polynomial $P(G,m)$. A graph $G$ is enumeratively chromatic-choosable if $P_{\ell}(G,m)=P(G,m)$ for every $m \in \mathbb{N}$. In 2002, Ohba proved that for every graph $G$, there exists an $N \in \mathbb{N}$ such that $K_p \vee G$ is chromatic-choosable whenever $p \geq N$. Allred and Mudrock recently conjectured that an analogous statement holds for enumerative chromatic choosability. In this paper, we prove that $K_1 \vee G$ is enumeratively chromatic-choosable whenever $G$ is a theta graph. Our proof combines classical inequalities, the polynomial method, and ideas from DP (or correspondence) coloring.
Sub-quorum colorings of graphs
A sub-quorum coloring is a partial vertex coloring in which every colored vertex sees at least half of its colored closed neighborhood in its own color. We study the maximum number of colors $\psq(G)$ from structural, algorithmic and extremal viewpoints. Every $2$-independent set yields a sub-quorum coloring, so $\psq(G)\geβ_2(G)$. We prove the degree bound $\psq(G)\le Δ(G)|V(G)|/(Δ(G)+δ(G)-1)$ for $δ(G)\ge2$, and obtain an exact matching characterization for graphs of maximum degree at most three. Consequently every cubic graph of order $n$ satisfies $n/2\le\psq(G)\le3n/5$, with a stability identity at the upper endpoint. For trees we give an edge representation and a linear-time dynamic program that computes both $\psq(T)$ and an optimal coloring; we also show on the double star $S_{2,2}$ that $\psq$ can exceed the dissociation number even on trees. We prove NP-completeness even for bipartite graphs and determine exact values for several classical families. For rectangular grids, we formulate the conjecture $\psq(G_{m,n})=β_2(G_{m,n})=F(m,n)$, recover the dissociation-number formula from known $3$-path vertex-cover results, prove the ladder case directly, and verify the conjecture for every fixed width $2\le m\le11$; widths $3$ through $11$ use exact transfer certificates. For hypercubes we prove $\psq(Q_n)=β_2(Q_n)=2^{n-1}$ for every $n\ge2$. Finally, a Nordhaus--Gaddum argument gives $\psq(G)+\psq(\overline G)>\log_2 |V(G)|$ and leads to a complementary upper-bound problem.
The Origami flip graph of the $2\times n$ Miura-ori
Published in Journal of Graph Algorithms and Applications, Vol. 30, No. 1 (2026), 421-444
• View Publication
• BIB
Given an origami crease pattern $C=(V,E)$, a straight-line planar graph embedded in a region of $\mathbb{R}^2$, we assign each crease to be either a mountain crease (which bends convexly) or a valley crease (which bends concavely), creating a mountain-valley (MV) assignment $μ:E\to\{-1,1\}$. An MV assignment $μ$ is locally valid if the faces around each vertex in $C$ can be folded flat under $μ$. In this paper, we investigate locally valid MV assignments of the Miura-ori, $M_{m,n}$, an $m\times n$ parallelogram tessellation used in numerous engineering applications. The origami flip graph $OFG(C)$ of $C$ is a graph whose vertices are locally valid MV assignments of $C$, and two vertices are adjacent if they differ by a face flip, an operation that swaps the MV-parity of every crease bordering a given face of $C$. We enumerate the number of vertices and edges in $OFG(M_{2,n})$ and prove several facts about the degrees of vertices in $OFG(M_{2,n})$. By finding recurrence relations, we show that the number of vertices of degree $d$ and $2n-a$ (for $0\leq a$) are both described by polynomials of particular degrees. We then prove that the diameter of $OFG(M_{2,n})$ is $\lceil \frac{n^2}{2}\rceil$ and find lower bounds on the diameter of $OFG(M_{m,n})$ using techniques from $3$-coloring reconfiguration graphs.
Greedy Coloring and Simple Exponential Strengthenings of Brooks-Type Theorems
Brooks' Theorem is a foundational result in graph coloring: if a graph is connected, not a clique, and has maximum degree $Δ\geq 3$, then it admits a proper $Δ$-coloring. In this paper, we give a new proof of a much stronger result: every such graph admits exponentially many proper $Δ$-colorings. Exponential lower bounds have been obtained previously by applying the Combinatorial Nullstellensatz. In contrast, our proof is via a surprisingly simple and constructive analysis of a textbook greedy coloring algorithm. The entire argument is accessible to non-specialists.
We extend our techniques to provide quantitative lower bounds on the number of colorings in several more general settings, namely $Δ$-length list coloring, degree-length list coloring (degree-choosability), and degenerate partitioning. In the latter setting, one is asked to partition the vertices such that each partite set induces a subgraph of bounded degeneracy. In contrast to the other coloring variants considered, no clean Brooks-type characterization is possible, since it is known that for some combinations of parameters determining the existence of even one valid partition is NP-hard. We give a new reduction which significantly extends the parameter regime for which determining the existence of a valid partition is NP-hard.
Finally, we give a new proof of the classic degree-choosability theorem, generalizing the techniques behind a recent proof of Brooks' Theorem.
Restricting Odd Antiholes in Critical Graphs via List Coloring
By the Strong Perfect Graph Theorem, every graph whose chromatic number exceeds its clique number contains an odd hole or an odd antihole. We investigate the structure of odd antiholes in critical graphs with fixed maximum degree. We prove that if $G$ is a $k$-critical graph with maximum degree $Δ$ then every odd antihole in $G$ has length at most $2(Δ-k)+7$, and conjecture that, in the odd-hole-free setting, equality forces the graph itself to be the corresponding odd antihole. We verify this extremal characterization when $Δ\geq 2k-5$, extending recent results for $Δ=k$, and construct $k$-critical odd-hole-free graphs showing that the next possible odd antihole length $2(Δ-k)+5$ below the extremal bound can occur. Our proofs use a list-coloring theorem for graphs on $2\ell-1$ vertices whose complements are hypomatchable. This motivates the conjecture that every odd antihole $\overline{C_{2\ell-1}}$ is strongly $\ell$-chromatic-choosable; we show that this conjecture would imply the full extremal characterization. We also obtain degree and attachment restrictions for odd antiholes in critical graphs.
Clique and chromatic numbers of graph powers: spectral bounds and anticodes
Using spectral and polynomial methods, we show several sharp spectral bounds for the clique and chromatic numbers of graph powers that only use spectral information from the original graph. In particular, we strengthen earlier spectral-radius estimates to obtain an asymptotically sharp colouring bound for general graph powers, and prove a sharp bound for powers of line graphs with a complete characterisation of equality. We also develop polynomial methods yielding upper and lower bounds for clique numbers of graph powers. Regarding the connection between the clique and coloring parameters of graph powers, we propose a spectral analogue of Wegner's conjecture, determine the extremal values for graph squares, and establish the conjecture for all powers when the spectral-radius bound is sufficiently small. Finally, we connect our spectral polynomial method with coding theory: we prove that for distance-regular graphs, optimisation over the adjacency algebra recovers Delsarte's linear programming bound for anticodes.
Exact and extremal values of chromatic villainy
Chromatic villainy measures the largest number of vertices that must change color to repair a rearrangement of an optimal coloring while preserving every color multiplicity. Weak villainy allows different multiplicities in the repair. On the odd cycle $C_{2r+1}$, we determine the largest repair distance from arbitrary color assignments with a prescribed color-count vector (profile) $\mathbf m$ to proper colorings with any realizable target profile $\mathbf p$: it equals $2r+1-\sum_X\min\{p_X,\lceil m_X/2\rceil\}$. In particular, every feasible profile $(a,b,c)$ has ordinary and weak repair radius $\lfloor a/2\rfloor+\lfloor b/2\rfloor+\lfloor c/2\rfloor$, and $B(C_{2r+1})=r$ for $r\ge2$, answering a question of Clark et al. For arbitrary complete multipartite graphs, we give an arithmetic formula for ordinary villainy with at most $k^2$ candidates and an exact finite formula for weak villainy, where $k$ is the number of parts. Both values are fixed-parameter tractable in $k$ for binary-encoded part sizes. We also determine the maximum of each parameter among all $n$-vertex $k$-chromatic graphs. For $k\ge3$, the ordinary maximum is $\min\{n,4(n-k)\}$, except when $n=4(n-k)-1$ or $(n,k)\in\{(5,3),(7,3)\}$, when it is $n-1$. For $k\ge2$, the weak maximum is $n-\max\{\lceil n/k\rceil,2k-n\}-\varepsilon$, where $\varepsilon\in\{0,1\}$ is determined explicitly by $n$ and $k$. Both extrema are attained by complete multipartite graphs, and a weak extremizer needs at most three distinct part sizes.
Disjoint unions and fixed-parameter algorithms for chromatic villainy
Chromatic villainy is the maximum, over rearrangements of optimal graph colorings, of the minimum Hamming distance to a proper coloring with the same color multiplicities. Weak villainy allows the repair to change these multiplicities. We give exact composition laws for disjoint unions and determine the eventual growth under repetition. Write $mG$ for the disjoint union of $m$ copies of $G$. For every graph $G$, with $k=χ(G)$, weak villainy satisfies $B_{\mathrm w}(mG)=mF_k(G)$ whenever $k\mid m$, where $F_k(G)$ is the maximum distance to a proper $k$-coloring over all assignments of $k$ color labels to vertices. Its bounded defect from $mF_k(G)$ is eventually periodic; we give an explicit stabilization bound and identify the least period, which divides $k$. For ordinary villainy, we obtain a computable rational slope $Λ(G)\ge F_k(G)$ such that $B(mG)=mΛ(G)+O_G(1)$, where the error is bounded independently of $m$ and eventually periodic, with a computable period and threshold. Consequently the difference between the two values is bounded exactly when $Λ(G)=F_k(G)$, and otherwise grows linearly. The slope is determined by a finite optimization using at most $k$ source assignments. We also answer the unrestricted superadditivity questions negatively: for every $C>0$, a connected graph can lose more than $C$ in weak villainy after union with a triangle, and some connected $3$-chromatic graph $G$ satisfies $B(G\sqcup G)<2B(G)-C$. Finally, both exact values on an $n$-vertex graph can be computed in time $f(B_{\mathrm w}(G))(n+1)^{O(1)}$, without either value being supplied. Threshold recognition is fixed-parameter tractable as well.
Dynamic Coloring and Graph Squares of Regular Graphs
An $r$-dynamic coloring of a graph $G$ is a proper vertex coloring in which every vertex $v$ sees at least $\min\{r,d(v)\}$ distinct colors in its neighborhood. The minimum number of colors in such a coloring is the $r$-dynamic chromatic number $χ_r^d(G)$. We study dynamic colorings of regular graphs. A straighforward observation shows that $χ_r^d(G)=χ(G^2)$, for any $r$-regular graph $G$. We prove that $χ_3^d(G)=χ(G^2)\le6$ for every claw-free cubic graph $G$, and the bound is sharp. For Hamiltonian claw-free cubic graphs, we improve the bound to $5$ apart from four explicit exceptions. We also determine exactly the $r$-dynamic chromatic number of the $4$-regular circulant graph $C_p(1,3)$ for each $r\in\{2,3,4\}$. In particular, the case $r=4$ determines $χ(C^2_p(1,3))$.