coloring
4405 papers tagged with this keyword
Subgraph discrepancies in the complete graph
Given a 2-edge-coloring $f : E(K_n) \rightarrow \{\pm 1\}$, the discrepancy of a subgraph $F \subseteq K_n$ is defined as $\left| \sum_{e \in E(F)} f(e) \right|$. Erdős, Füredi, Loebl and Sós showed that if $F$ is an $n$-vertex tree with maximum degree at most $(1-\varepsilon)n$, then every 2-coloring of $K_n$ has a copy of $F$ with discrepancy $Ω(\varepsilon)n$. We extend this result by showing that the same conclusion holds for every $n$-vertex graph with maximum degree at most $(1-\varepsilon)n$ and no isolated vertices. We also show that for every $d$-regular $n$-vertex graph $F$ with $d \leq (1-\varepsilon)n$, every 2-coloring of $K_n$ has a copy of $F$ with discrepancy $Ω(\sqrt{\varepsilon d}) \cdot n$. The dependence on $d$ and $n$ is best possible.
Finally, we consider specific graphs $F$, namely $K_r$-factors and 2-factors. For each such graph $F$, we determine the optimal constant $λ$ such that every 2-coloring of $K_n$ has a copy of $F$ with discrepancy at least $(λ+ o(1))n$.
The local antimagic (total) chromatic numbers of firecracker graphs and edge-corona product graphs
Let G=(V(G),E(G)) be a connected simple graph with n vertices and m edges. A bijection f from the edge set of G to [m] is called a local antimagic labeling of G, if for any two adjacent vertices u and v in G, the sums of the weights of the edges associated with u and v ,respectively, are different. Similarly, A bijection g from the union of edge set and vertex set of G to [n+m] is called a local antimagic total labeling of G, if for any two adjacent vertices u and v in G, The sum of the weight of u and the weights of its incident edges differs from that of v. Obviously, any local antimagic (total) labeling induces a proper vertex-coloring of G when every vertex v is assigned the color w(v)(w_t(v)). The local antimagic (total) chromatic number of G, denoted by X_la(G)(X_lat(G)) , is defined as the minimum number of colors taken over all colorings induced by local antimagic (total) labelings of G. In this paper, we present the local antimagic (total) chromatic number of firecracker graph F_n,k, obtained by the concatenation of n k-stars by linking one leaf from each. Then we give the local antimagic chromatic number of the edge-corona product of two graphs G and H, where the graph is constructed by taking one copy of G and |E(G)| disjoint copies of H one-to-one assigned to each edge of G, and for every edge uv of G, joining u and v to every vertex of the copy of H associated to uv. For the graph studied here, G is a star S_k or a double star S_k1,k2, and H is an empty graph with r vertices or a complete graph K_2.
A note on multicolour Ramsey numbers and random sphere graphs
The Ramsey number $r(t;\ell)$ is the smallest $n$ such that every $\ell$-coloring of the edges of $K_n$ gives a monochromatic $K_{t}$. In recent years, there have been several improvements on asymptotic lower bounds for these numbers when $\ell\geq 3$. This started with a breakthrough result of Conlon and Ferber, followed by further improvements of Wigderson and then Sawin. Building on the previous approaches, Sawin used blowups of an unbalanced binomial random graph to show that there is some explicit constant $δ_*\approx 0.383796$ such that $r(t;\ell)\geq 2^{δ_*(\ell-2)t+t/2+o(t)}$. In this short note, we show that one can get an exponential improvement in this bound by replacing the use of a binomial random graph with a random sphere graph, a model which which has recently been applied by Ma, Shen and Xie in a breakthrough on lower bounds for (2-colour) Ramsey numbers in the (slightly) off-diagonal setting.
Lower bounds for multivariate independence polynomials and their generalisations
In statistical physics, the multivariate hard-core model describes a system of particles, each of which receives its own fugacity. In graph-theoretic language, the partition function of the model translates to the multivariate independence polynomial, i.e., the multiaffine generalisation of the independence polynomial, defined by $Z_G(λ_1,\dots,λ_n) := \sum_{I\in\mathcal{I}(G)} \prod_{v\in I}λ_v$, where $\mathcal{I}(G)$ denotes the set of all independent sets in a graph $G$ on $[n]:=\{1,2,\dots,n\}$. We prove that for every simple graph $G$ on $[n]$ and $λ_1,\dots,λ_n\geq 0$, \[
Z_G(λ_1,\dots,λ_n) \geq \prod_{i=1}^n (1+(d_i+1)λ_i)^{1/(d_i+1)}, \] where $d_1,\dots,d_n$ is the degree sequence of $G$. This generalises a result of Sah, Sawhney, Stoner, and Zhao, who proved the univariate case $λ_1=\dots=λ_n=λ$.
We further conjecture that our inequality should generalise to other antiferromagnetic models and give some evidence in support of it. In particular, for $λ_i,μ_i\geq 0$, $1\leq i\leq n$, we obtain a stronger inequality \[
\sum_{\substack{I,J\in \mathcal{I}(G) \\ I\cap J=\emptyset}} \prod_{v\in I}λ_v\prod_{u\in J}μ_u
\geq \prod_{i=1}^n \left(1+(d_i+1)(λ_i+μ_i)+d_i(d_i+1)λ_iμ_i\right)^{1/(d_i+1)}, \] which proves our conjecture for a multiaffine generalisation of the semiproper colouring partition function with two proper colours.
Our key technical steps for both theorems are obtained by using a custom mathematical research agent built on top of Gemini Deep Think, which can be seen as a benchmark demonstrating that the current state-of-the-art language models can, in part, assist with mathematical research.
Frugal coloring of graphs revisited
Given a graph $G$ and a positive integer $t$, an independent set $S\subseteq V(G)$ is $t$-frugal if every vertex has at most $t$ neighbors in $S$. A $t$-frugal coloring of $G$ is a partition of its vertex set into $t$-frugal independent sets. The maximum cardinality of a $t$-frugal independent set in $G$ is denoted by $α_t^f(G)$, while the minimum cardinality of a $t$-frugal coloring of $G$, $χ_t^f(G)$, is called the $t$-frugal chromatic number of $G$. Frugal colorings were introduced in 1998 and studied later in just a handful of papers. In this paper, we revisit this concept. While the NP-hardness of frugal coloring is known, we prove that the decision version of $α_t^f$ is NP-complete even for bipartite graphs, and present a linear-time algorithm to determine its value for trees. We prove a general sharp lower bound on $χ_{t}^{f}(G)$ expressed in terms of $α_{t}^{f}(G)$ and size of $G$. We also give a sharp upper bound on the $α_2^f$ of any graph $G$, which in the case of graphs with minimum degree $δ\geq2$ simplifies to $α_2^f(G)\le 2n/(δ+2)$. We prove that $3\leχ_2^f(G)\le 5$ holds for any graph $G$ with $Δ(G)=3$. For several classes of graphs such as block graphs, the Cartesian and strong products of multiple two-way infinite paths, we determine the exact values of $α_2^f$. We provide sharp bounds on the $α_2^f$ in all four standard graph products, which are expressed as different invariants of their factors. Finally, we obtain Nordhaus-Gaddum type inequalities for the sum of the $2$-frugal chromatic numbers of $G$ and its complement from below and from above by functions of the order of $G$. For the upper bound $χ_{2}^{f}(G)+χ_{2}^{f}(\overline{G})\leq 3n/2$, we characterize the family of extremal graphs $G$.
Boolean lattice without small rainbow subposets
A Boolean lattice $\mathcal{B}_n=(2^X, \leq)$ is the power set of an $n$-element ground set $X$ equipped with inclusion relation. For two posets $\mathcal{P}$ and $\mathcal{Q}$, we say that $\mathcal{Q}$ contains an \emph{induced copy} of $\mathcal{P}$ if there exists an injection $f : \mathcal{P} \to \mathcal{Q}$ such that $f(X) \le f(Y)$ if and only if $X \le Y$ in $\mathcal{P}$. A $k$-coloring is exact if all colors are used at least once. For posets $\mathcal{Q}$ and $\mathcal{P}$, the \emph{Boolean Gallai-Ramsey number} $\operatorname{GR}_{k}(\mathcal{Q}:\mathcal{P})$ is defined as the smallest $n$ such that any exact $k$-coloring of the sets in $\mathcal{B}_n$ contains either a rainbow induced copy of $\mathcal{Q}$ or a monochromatic induced copy of $\mathcal{P}$ and the \emph{Boolean rainbow Ramsey number} $\operatorname{RR}(\mathcal{Q}:\mathcal{P})$ is defined as the smallest $n$ such that any coloring of the sets in $\mathcal{B}_n$ contains either a rainbow induced copy of $\mathcal{Q}$ or a monochromatic induced copy of $\mathcal{P}$.
In this paper, we first study the structural properties of exact $k$-colorings of the sets in Boolean lattice without rainbow induced copy of small posets. As the application of these results, we give exact values and some bounds of Boolean Gallai-Ramsey numbers and Boolean rainbow Ramsey numbers, which improve a result of Chen, Cheng, Li, and Liu in 2020 and give an answer of a question proposed by Chang, Gerbner, Li, Methuku, Nagy, Patkós, and Vizer in 2022.
Remarks on a theorem of Erdős and Szemerédi
Given a graph $G$ and a real $\varepsilon>0$, an edge-coloring of $G$ is called \textit{$\varepsilon$-balanced} if each color appears on at least an $\varepsilon$-fraction of the edges in $G$. A classical result of Erdős and Szemerédi asserts that if a $2$-edge-coloring of a complete graph $K_n$ is not $\varepsilon$-balanced for some $0<\varepsilon\leq1/2$, then there exists a large monochromatic clique. This theorem has been used extensively in Ramsey-type arguments, as it allows one to focus on reasonably balanced colorings. However, in its original formulation the dependence between $n$ and $\varepsilon$ was left implicit, occasionally leading to inaccurate applications. In this short note, we revisit the Erdős--Szemerédi theorem and specify all parameter dependencies.
On graphs with girth at least five achieving Steffen's edge coloring bound
Vizing and Gupta showed that the chromatic index $χ'(G)$ of a graph $G$ is bounded above by $Δ(G) + μ(G)$, where $Δ(G)$ and $μ(G)$ denote the maximum degree and the maximum multiplicity of $G$, respectively. Steffen refined this bound, proving that $χ'(G) \leq Δ(G) + \left\lceil μ(G)/\left\lfloor g(G)/2 \right\rfloor \right\rceil$, where $g(G)$ is the girth of the graph $G$. A {\it ring graph} is a graph obtained from a cycle by duplicating some edges. The equality in Steffen's bound is achieved by ring graphs of the form $μC_g$, obtained from an odd cycle $C_g$ by duplicating each edge $μ$ times. We answer two questions posed by Stiebitz et al. regarding the characterization of graphs which achieve Steffen's bound. In particular, we show that if $G$ is a critical graph which achieves Steffen's bound with $g(G)\geq 5$ and $χ'(G)\geq Δ+2$, then $G$ must be a ring graph of odd girth.
On Triangles in Colored Pseudoline Arrangements
We consider the faces in pseudoline arrangements in which the pseudolines are colored with two colors. Björner, Las Vergnas, Sturmfels, White, and Ziegler conjecture the existence of a two-colored triangle in such arrangements. We consider variants of this problem. We show that in any non-trivial two-coloring of a pseudoline arrangement there exists a two-colored triangle or quadrangle. We also investigate the existence of a bichromatic triangle assuming certain structures on the coloring.
Previously, several authors investigated the chromatic number and independence number of hypergraphs whose vertices correspond to the pseudolines of an arrangement and the hyperedges correspond to the faces of the arrangement. We show that the maximum of the independence numbers of such hypergraphs is $\lceil \frac{2}{3}n-1\rceil$. We also prove that if we only consider the triangular faces then this maximum becomes $n-Θ(\log n)$.
LCLs in the Borel Hierarchy
A locally checkable labeling problem (LCL) on a group $Γ$ asks one to find a labeling of the Cayley graph of $Γ$ satisfying a fixed, finite set of "local" constraints. Typical examples include proper coloring and perfect matching problems. In descriptive combinatorics, one often considers the existence of solutions to LCLs in the setting of descriptive set theory. For example, given a free action of $Γ$ on a Polish space $X$, we might be interested in solving a given LCL on each orbit in a continuous, Borel, measurable, etc. way.
In an attempt to understand more finely the gap between Borel and continuous combinatorics, we consider the existence of Baire class $m$ solutions to LCLs. For all $n > 1$ and $m \in ω$, we produce an LCL on $\mathbb{F}_n$ which always admits Baire class $m+1$ solutions, but not necessarily Baire class $m$ solutions.
How many times can two minimum spanning trees cross?
Let $P$ be a generic set of $n$ points in the plane, and let $P=R\cup B$ be a coloring of $P$ in two colors. We are interested in the number of crossings between the minimum spanning trees (MSTs) of $R$ and $B$, denoted by $\crossAB(R,B)$. We define the \emph{bicolored MST crossing number} of $P$, denoted by $\cross(P)$, as $\cross(P) = \max_{P= R\cup B}(\crossAB(R,B))$. We prove a linear upper bound for $\cross(P)$ when $P$ is generic. If $P$ is dense or in convex position, we provide linear lower bounds. Lastly, if $P$ is chosen uniformly at random from the unit square and is colored uniformly at random, we prove that the expected value of $\crossAB(R,B)$ is linear.
Uniformly balanced $H$-factors in multicoloured complete graphs
A balanced colouring of a graph is one in which every colour appears the same number of times. Given a fixed graph $H$ on $r$ vertices and a balanced $k$-colouring of the complete graph $K_{nrk}$, Hollom (2025) asked the following question: can we always find an $H$-factor $F$ covering all vertices of the complete graph $K_{nrk}$ such that the inherited colouring of $F$ is almost balanced? This is known to be the case for palettes of only two colours, or when $H$ is only a single edge. We answer the above question in full, finding an $H$-factor which is at most $C_{r,k}$ edges away from being balanced, where $C_{r,k}$ depends only on $r$ and $k$. In fact, we work in the more general setting wherein our palette of colours is a subset of $\mathbb{S}^{d-1}$, and find an $H$-factor where the sum of the colours of all edges has bounded Euclidean norm.
On the Number of Almost Empty Monochromatic Triangles
In this paper, we consider the problem of counting almost empty monochromatic triangles in colored planar point sets, that is, triangles whose vertices are all assigned the same color and that contain only a few interior points. Specifically, we show that any $c$-coloring of a set of $n$ points in the plane in general position (that is, no three on a line) contains $Ω(n^2)$ monochromatic triangles with at most $c-1$ interior points and $Ω(n^{\frac{4}{3}})$ monochromatic triangles with at most $c-2$ interior points, for any fixed $c \geq 2$. The latter, in particular, generalizes the result of Pach and Tóth (2013) on the number of monochromatic empty triangles in 2-colored point sets, to the setting of multiple colors and monochromatic triangles with a few interior points. We also derive the limiting value of the expected number of triangles with $s$ interior points in random point sets, for any integer $s \geq 0$. As a result, we obtain the expected number of monochromatic triangles with at most $s$ interior points in random colorings of random point sets.
On asymptotically tight bounds for the open conflict-free chromatic indexes of nearly regular graphs
An edge colouring $c$ of a graph $G$ is called conflic-free if every non-isolated edge of $G$ has a uniquely coloured neighbour in its open edge neighbourhood. The least number of colours admitting such a colouring is denoted by $χ'_{\rm OCF}(G)$, or $χ'_{\rm pOCF}(G)$ if we additionally require $c$ to be proper.
Our main result implies in particular that $χ'_{\rm OCF}(G) \le \log_2 Δ+ O(\ln\lnΔ)$ for nearly regular graphs $G$ with maximum degree $Δ$, which is asymptotically optimal, as witnessed by the complete graphs. For proper colourings, we moreover show that $χ'_{\rm pOCF}(G) \le Δ+ O(\ln Δ)$ in the same regime. These results improve existing bounds stemming from related colouring models and transfer directly to random graphs' setting.
The proofs combine decomposition techniques with probabilistic arguments and structural properties of edge neighbourhoods.
Markov chains of $Z$-oriented triangulations of surfaces
We consider triangulations of closed $2$-dimensional (not necessarily orientable) surfaces. Any minimal set of zigzags that double covers the set of edges provides a $z$-orientation of the triangulation. We introduce Markov chains of $z$-oriented triangulations. Our main result is a characterization of their ergodicity. This topic is closely connected to coloring of Eulerian triangulations.
Black Cell Capacity in Catalan polyominoes
A Catalan word is a sequence $w_1w_2\cdots w_n$ of nonnegative integers such that $w_1=0$ and $w_{i}\leq w_{i-1}+1$ for $2\leq i\leq n$. Given a Catalan word, we construct a column-convex polyomino (or \emph{bargraph}) by placing, at position $i$, a column of height $w_i + 1$, with all columns aligned along their bottom edges. On these Catalan polyominoes we define the black cell capacity by coloring the cells in a chessboard pattern and we count the number of black cells in the polyomino. We study the distribution of the black cell capacity over Catalan polyominoes and derive generating functions that encode this statistic.
Short Rainbow Circuits in Regular Matroids
DeVos et al conjectured that if $M$ is a simple, regular matroid and $c$ is a colouring of the elements of $M$ with $r(M)+1$ colours, where each colour class has at least two elements, then $M$ contains a rainbow circuit of size at most $\lceil \frac {r(M)+1}2 \rceil.$ We prove this conjecture by showing that for all such regular matroids there are four rainbow circuits $C_i,\ i = 1,2,3,4$ for which $\sum_i |C_i| \le 2r(M) +4$ and for which no element of $M$ belongs to more than two of the circuits.
Degree-choosability of proper conflict-free list coloring of sparse graphs
Given a graph $G$ and a mapping $f:V(G) \to \mathbb{N}$, an $f$-list assignment of $G$ is a function that maps each $v \in V(G)$ to a set of at least $f(v)$ colors. For an $f$-list assignment $L$ of a graph $G$, a proper conflict-free $L$-coloring of $G$ is a proper coloring $φ$ of $G$ such that for every vertex $v \in V(G)$, $φ(v) \in L(v)$ and some appears precisely once in the neighborhood of $v$. We say that $G$ is proper conflict-free $f$-choosable if for every $f$-list assignment $L$ of $G$, there exists a proper conflict-free $L$-coloring of $G$. If $G$ is proper conflict-free $f$-choosable and there is a constant $k$ such that $f(v)= d_G(v)+k$ for every vertex $v$ of $G$, then we say $G$ is proper conflict-free $({\rm degree}+k)$-choosable. In this paper, we consider graphs with a bounded maximum average degree. We show that every graph with the maximum average degree less than $\frac{10}{3}$ is proper conflict-free $({\rm degree}+3)$-choosable, and that every graph with the maximum average degree less than $\frac{18}{7}$ is proper conflict-free $({\rm degree}+2)$-choosable. As a result, every planar graph with girth at least $5$ is proper conflict-free $({\rm degree}+3)$-choosable, and every planar graph with girth at least $9$ is proper conflict-free $({\rm degree}+2)$-choosable.
Coloring small locally sparse degenerate graphs and related problems
The classic upper bound on the chromatic number of $d$-degenerate graphs is $d+1$, shown to be tight by complete graphs. A natural question is whether this bound remains tight if one forbids large cliques. Classic constructions of Tutte and Zykov from the early 50s show that there exist $d$-degenerate $(d+1)$-chromatic graphs that are triangle-free, however these constructions grow rapidly with $d$. Motivated by this and addressing a problem posed by the second author at the Oberwolfach Graph Theory workshop, we prove that the minimum order $f(d)$ of a $d$-degenerate triangle-free graph of chromatic number $d+1$ satisfies $e^{Ω(d)}\le f(d)\le e^{O(d^2\log d)}.$ The lower bound follows from a novel upper bound on the chromatic number of triangle-free graphs: Every triangle-free $d$-degenerate graph $G$ on $n \le e^{O(d)}$ vertices satisfies $$χ(G)\le O\left(\frac{d}{\log\left(d/\log n\right)}\right).$$ We extend this to a more general result about degenerate graphs with sparse neighborhoods, which has applications to many graph coloring problems: For example, we prove that every counterexample to Hadwiger's conjecture with parameter $t$ must have a complete bipartite subgraph with one exponentially large side ($K_{a,b}$ where $a=(\log t)^{1/2-o(1)}$ and $b=e^{t^{1-o(1)}}$) or a small and very dense subgraph (of order $\le t$ with $t^{2-o(1)}$ edges) in some neighborhood.
For the upper bound on $f(d)$ we establish a surprising connection between $f(d)$ and the on-line-chromatic number $g(n)$ of $n$-vertex triangle-free graphs. We also give an asymptotic improvement of the previous best upper bound for $g(n)$ due to Lovász, Saks and Trotter from 1989.
Along the way we disprove a generalization of Harris' fractional coloring conjecture to graphs of bounded clique number and raise numerous problems which open up interesting directions to explore for future research.
Faster 3-colouring algorithm for graphs of diameter 3
We show that given an $n$-vertex graph $G$ of diameter 3 we can decide if $G$ is $3$-colourable in time $2^{O(n^{2/3-\varepsilon})}$ for any $\varepsilon < 1/33$. This improves on the previous best algorithm of $2^{O((n\log n)^{2/3})}$ from Dębski, Piecyk and Rzążewski [Faster 3-coloring of small-diameter graphs, ESA 2021].