coloring
4497 papers tagged with this keyword
Graph polynomials: some questions on the edge
Published
• View Publication
• BIB
We raise some questions about graph polynomials, highlighting concepts and phenomena that may merit consideration in the development of a general theory. Our questions are mainly of three types: When do graph polynomials have reduction relations (simple linear recursions based on local operations), perhaps in a wider class of combinatorial objects? How many levels of reduction relations does a graph polynomial need in order to express it in terms of trivial base cases? For a graph polynomial, how are properties such as equivalence and factorisation reflected in the structure of a graph? We illustrate our discussion with a variety of graph polynomials and other invariants. This leads us to reflect on the historical origins of graph polynomials. We also introduce some new polynomials based on partial colourings of graphs and establish some of their basic properties.
Chromatic number of randomly augmented graphs
An extension of the Erdős-Renyi random graph model $G_{n,p}$ is the model of perturbed graphs introduced by Bohman, Frieze and Martin (Bohman, Frieze, Martin 2003). This is a special case of the model of randomly augmented graphs studied in this paper. An augmented graph denoted by $pert_{H,p}$ is the union of a deterministic host graph and a random graph $G_{n,p}$. Among the first problems in perturbed graphs has been the question how many random edges are needed to ensure Hamiltonicity of the graph. This question was answered in the paper by Bohman, Frieze and Martin. The host graph is often chosen to be a dense graph. In recent years several papers on combinatorial problems in perturbed graphs were published, e.g. on the emergence of powers of Hamiltonian cycles (Dudek, Reiher, Ruciński, Schacht 2020), some positional games played on perturbed graphs (Clemens, Hamann, Mogge, Parczyk, 2020) and the behavior of multiple invariants e.g. fixed clique size (Bohman, Frieze, Krivelevich, Martin, 2004). In this paper we study the chromatic number of randomly augmented graphs. We concentrate on a host graph $H$ with chromatic number $o(n)$, augmented by a $G_{n,p}$ with $n^{-\frac{1}{3} + δ}\leq p(n) \leq 1-δ$ for some $δ\in (0,1)$. Our main result is an upper bound for the chromatic number: we show that asymptotically almost surely $χ(pert_{H,p}) \leq (1+o(1)) \cdot \frac{n \log(b)}{2 (\log(n) - \log(χ(H))}$ where $b = (1-p)^{-1}$. This result collapses to the famous theorem of Bollobás (1988), when $H$ is the empty host graph, thus our result can be regarded as a generalization of the latter. Our proof is not constructive. Further, we give a constructive coloring algorithm, when the chromatic number of the host graph is at most $\frac{n}{\log(n)^α},$ $α>\frac{1}{2}.$
On dual-ABAB-free and related hypergraphs
Geometric motivations warranted the study of hypergraphs on ordered vertices that have no pair of hyperedges that induce an alternation of some given length. Such hypergraphs are called ABA-free, ABAB-free and so on. Since then various coloring and other combinatorial results were proved about these families of hypergraphs. We prove a characterization in terms of their incidence matrices which avoids using the ordering of the vertices. Using this characterization, we prove new results about the dual hypergraphs of ABAB-free hypergraphs. In particular, we show that dual-ABAB-free hypergraphs are not always proper $2$-colorable even if we restrict ourselves to hyperedges that are larger than some parameter $m$.
When $t$-intersecting hypergraphs admit bounded $c$-strong colourings
The $c$-strong chromatic number of a hypergraph is the smallest number of colours needed to colour its vertices so that every edge sees at least $c$ colours or is rainbow. We show that every $t$-intersecting hypergraph has bounded $(t + 1)$-strong chromatic number, resolving a problem of Blais, Weinstein and Yoshida. In fact, we characterise when a $t$-intersecting hypergraph has large $c$-strong chromatic number for $c\geq t+2$. Our characterisation also applies to hypergraphs which exclude sunflowers with specified parameters.
Randomized Greedy Online Edge Coloring Succeeds for Dense and Randomly-Ordered Graphs
Published
• View Publication
• BIB
Vizing's theorem states that any graph of maximum degree $Δ$ can be properly edge colored with at most $Δ+1$ colors. In the online setting, it has been a matter of interest to find an algorithm that can properly edge color any graph on $n$ vertices with maximum degree $Δ= ω(\log n)$ using at most $(1+o(1))Δ$ colors. Here we study the naïve random greedy algorithm, which simply chooses a legal color uniformly at random for each edge upon arrival. We show that this algorithm can $(1+ε)Δ$-color the graph for arbitrary $ε$ in two contexts: first, if the edges arrive in a uniformly random order, and second, if the edges arrive in an adversarial order but the graph is sufficiently dense, i.e., $n = O(Δ)$. Prior to this work, the random greedy algorithm was only known to succeed in trees.
Our second result is applicable even when the adversary is adaptive, and therefore implies the existence of a deterministic edge coloring algorithm which $(1+ε)Δ$ edge colors a dense graph. Prior to this, the best known deterministic algorithm for this problem was the simple greedy algorithm which utilized $2Δ-1$ colors.
Colouring negative exact-distance graphs of signed graphs
The $k$-th exact-distance graph, of a graph $G$ has $V(G)$ as its vertex set, and $xy$ as an edge if and only if the distance between $x$ and $y$ is (exactly) $k$ in $G$. We consider two possible extensions of this notion for signed graphs. Finding the chromatic number of a negative exact-distance square of a signed graph is a weakening of the problem of finding the smallest target graph to which the signed graph has a sign-preserving homomorphism. We study the chromatic number of negative exact-distance graphs of signed graphs that are planar, and also the relation of these chromatic numbers with the generalised colouring numbers of the underlying graphs. Our results are related to a theorem of Alon and Marshall about homomorphisms of signed graphs.
Colouring isonemal fabrics with more than two colours and non-twilly redundancy
Perfect colouring of isonemal fabrics by thin and thick striping of warp and weft with more than two colours is examined where the cells with warps and wefts of the same colour do not appear along diagonal lines (not twilly redundancy). In species 33 to 39, all fabrics of specific orders (linear periods) can be perfectly coloured by thin striping with satin redundancy. In fewer species, all fabrics of specific orders can be perfectly coloured by thick striping in two different ways with doubled satin redundancy. The isonemal fabric 6-1-1 can be used as a redundancy configuration. All these colourings allow the coloured weaving of flat tori and -- a few of them -- cubes.
Flips in colorful triangulations
The associahedron is the graph $\mathcal{G}_N$ that has as nodes all triangulations of a convex $N$-gon, and an edge between any two triangulations that differ in a flip operation. A flip removes an edge shared by two triangles and replaces it by the other diagonal of the resulting 4-gon. In this paper, we consider a large collection of induced subgraphs of $\mathcal{G}_N$ obtained by Ramsey-type colorability properties. Specifically, coloring the points of the $N$-gon red and blue alternatingly, we consider only colorful triangulations, namely triangulations in which every triangle has points in both colors, i.e., monochromatic triangles are forbidden. The resulting induced subgraph of $\mathcal{G}_N$ on colorful triangulations is denoted by $\mathcal{F}_N$. We prove that $\mathcal{F}_N$ has a Hamilton cycle for all $N\geq 8$, resolving a problem raised by Sagan, i.e., all colorful triangulations on $N$ points can be listed so that any two cyclically consecutive triangulations differ in a flip. In fact, we prove that for an arbitrary fixed coloring pattern of the $N$ points with at least 10 changes of color, the resulting subgraph of $\mathcal{G}_N$ on colorful triangulations (for that coloring pattern) admits a Hamilton cycle. We also provide an efficient algorithm for computing a Hamilton path in $\mathcal{F}_N$ that runs in time $\mathcal{O}(1)$ on average per generated node. This algorithm is based on a new and algorithmic construction of a tree rotation Gray code for listing all $n$-vertex $k$-ary trees that runs in time $\mathcal{O}(k)$ on average per generated tree.
A Note About Majority Colorings of Countable DAGs
A majority coloring of an undirected graph is a vertex coloring in which for each vertex there are at least as many bi-chromatic edges containing that vertex as monochromatic ones. It is known that for every countable graph a majority 3-coloring always exists. The Unfriendly Partition Conjecture states that every countable graph admits a majority 2-coloring. Since the 3-coloring result extends to countable DAGs, a variant of the conjecture states that 2 colors are enough to majority color every countable DAG. We show that this is false by presenting a DAG for which 3 colors are necessary. Presented construction is strongly based on a StackExchange conversation regarding labellings of infinite graphs that is linked in the references.
A note on sequences variant of irregularity strength for hypercubes
Let $f: E \mapsto \{1,2,\dots,k\}$ be an edge coloring of the $n$ - dimensional hypercube $H_n$. By the palette at a vertex $v$ we mean the sequence $\left(f(e_1(v)), f(e_1(v)),\dots, f(e_n(v))\right)$, where $e_i(v)$ is the $i$ - dimensional edge incident to $v$. In the paper, we show that two colors are enough to distinguish all vertices of the $n$ - dimensional hypercube $H_n$ ($n \geq 2$) by their palettes. We also show that if $f$ is a proper edge coloring of the hypercube $H_n$ ($n\geq 5$), then $n$ colors suffice to distinguish all vertices by their palettes.
On Ramsey degrees, compactness and approximability
One of the consequences of the Compactness Principle in structural Ramsey theory is that the small Ramsey degrees cannot exceed the corresponding big Ramsey degrees, thereby justifying the choice of adjectives. However, it is unclear what happens in the realm of dual Ramsey degrees due to the lack of the compactness argument that applies to that setting. In this paper we present a framework within which both "direct" and dual Ramsey statements can be stated and reasoned about in a uniform fashion. We introduce the notion of approximability which yields a general compactness argument powerful enough to prove statements about both "direct" and dual Ramsey phenomena. We conclude the paper with an application of the new strategies by generalizing Voigt's $\star$-version of the Infinite Ramsey Theorem to a large class of relational structures and deriving a Ramsey statement for "loose colorings" of enumerated Fraïssé limits.
Communication Complexity of Graph Isomorphism, Coloring, and Distance Games
In quantum information, nonlocal games are particularly useful for differentiating classical, quantum, and non-signalling correlations. An example of differentiation is given by the principle of no-collapse of communication complexity, which is often interpreted as necessary for a feasible physical theory. It is satisfied by quantum correlations but violated by some non-signalling ones.
In this work, we investigate this principle in the context of three nonlocal games related to graph theory, starting from the well-known graph isomorphism and graph coloring games, and introducing a new game, the vertex distance game, with a parameter $D\in\mathbb N$, that generalizes the former two to some extent. For these three games, we prove that perfect non-signalling strategies collapse communication complexity under favorable conditions. We also define a refinement of fractional isomorphism of graphs, namely D-fractional isomorphisms, and we show that this characterizes perfect non-signalling strategies for the vertex distance game. Surprisingly, we observe that non-signalling strategies provide a finer distinction for the new game compared to classical and quantum strategies since the parameter D is visible only in the non-signalling setting.
Weak Degeneracy of Planar Graphs
Published
• View Publication
• BIB
The weak degeneracy of a graph $G$ is a numerical parameter that was recently introduced by the first two authors with the aim of understanding the power of greedy algorithms for graph coloring. Every $d$-degenerate graph is weakly $d$-degenerate, but the converse is not true in general (for example, all connected $d$-regular graphs except cycles and cliques are weakly $(d-1)$-degenerate). If $G$ is weakly $d$-degenerate, then the list-chromatic number of $G$ is at most $d+1$, and the same upper bound holds for various other parameters such as the DP-chromatic number and the paint number. Here we rectify a mistake in a paper of the first two authors and give a correct proof that planar graphs are weakly $4$-degenerate, strengthening the famous result of Thomassen that planar graphs are $5$-list-colorable.
Block Sizes in the Block Sets Conjecture
Published
• View Publication
• BIB
A set $X$ is called Euclidean Ramsey if, for any $k$ and sufficiently large $n$, every $k$-colouring of $\mathbb{R}^n$ contains a monochromatic congruent copy of $X$. This notion was introduced by Erdős, Graham, Montgomery, Rothschild, Spencer and Straus. They asked if a set is Ramsey if and only if it is spherical, meaning that it lies on the surface of a sphere. It is not too difficult to show that if a set is not spherical then it is not Euclidean Ramsey either, but the converse is very much open despite extensive research over the years.
On the other hand, the block sets conjecture is a purely combinatorial, Hales-Jewett type of statement, concerning `blocks in large products', introduced by Leader, Russell and Walters. If true, the block sets conjecture would imply that every transitive set (a set whose symmetry group acts transitively) is Euclidean Ramsey. As for the question above, the block sets conjecture remains very elusive, being known only in a few cases.
In this paper we show that the sizes of the blocks in the block sets conjecture cannot be bounded, even for templates over the alphabet of size $3$. We also show that for the first non-trivial template, namely $123$, the blocks may be taken to be of size $2$ (for any number of colours). This is best possible; all previous bounds were `tower-type' large.
Applications of Sparse Hypergraph Colorings
Published
• View Publication
• BIB
Many problems in extremal combinatorics can be reduced to determining the independence number of a specific auxiliary hypergraph. We present two such problems, one from discrete geometry and one from hypergraph Turán theory. Using results on hypergraph colorings by Cooper-Mubayi and Li-Postle, we demonstrate that for those two problems the trivial lower bound on the independence number can be improved upon:
Erdős, Graham, Ruzsa and Taylor asked to determine the largest size, denoted by $g(n)$, of a subset $P$ of the grid $[n]^2$ such that every pair of points in $P$ span a different slope. Improving on a lower bound by Zhang from 1993, we show that $$g(n)=Ω\left( \frac{n^{2/3} (\log \log n)^{1/3} }{ \log^{1/3}n} \right).$$
Let $H^r_3$ denote an $r$-graph with $r+1$ vertices and $3$ edges. Recently, Sidorenko proved the following lower bounds for the Turán density of this $r$-graph: $π(H^r_3)\geq r^{-2}$ for every $r$, and $π(H^r_3)\geq (1.7215 - o(1)) r^{-2}$. We present an improved asymptotic bound: $π(H^r_3)=Ω\left(r^{-2} \log^{1/2} r \right).$
$\mathcal{O}(VE)$ time algorithms for the Grundy (First-Fit) chromatic number of block graphs and graphs with sufficiently large girth
The Grundy (or First-Fit) chromatic number of a graph $G=(V,E)$, denoted by $Γ(G)$ (or $χ_{_{\sf FF}}(G)$), is the maximum number of colors used by a First-Fit (greedy) coloring of $G$. To determine $Γ(G)$ is NP-complete for various classes of graphs. Also there exists a constant $c>0$ such that the Grundy number is hard to approximate within the ratio $c$. We first obtain an $\mathcal{O}(VE)$ algorithm to determine the Grundy number of block graphs i.e. graphs in which every biconnected component is complete subgraph. We prove that the Grundy number of a general graph $G$ with cut-vertices is upper bounded by the Grundy number of a block graph corresponding to $G$. This provides a reasonable upper bound for the Grundy number of graphs with cut-vertices. Next, define $Δ_2(G)={\max}_{u\in G}~ {\max}_{v\in N(u):d(v)\leq d(u)} d(v)$. We obtain an $\mathcal{O}(VE)$ algorithm to determine $Γ(G)$ for graphs $G$ whose girth $g$ is at least $2Δ_2(G)+1$. This algorithm provides a polynomial time approximation algorithm within ratio $\min \{1, (g+1)/(2Δ_2(G)+2)\}$ for $Γ(G)$ of general graphs $G$ with girth $g$.
Better coloring of 3-colorable graphs
Published
• View Publication
• BIB
We consider the problem of coloring a 3-colorable graph in polynomial time using as few colors as possible. This is one of the most challenging problems in graph algorithms.
In this paper using Blum's notion of ``progress'', we develop a new combinatorial algorithm for the following: Given any 3-colorable graph with minimum degree $\ds>\sqrt n$, we can, in polynomial time, make progress towards a $k$-coloring for some $k=\sqrt{n/\ds}\cdot n^{o(1)}$.
We balance our main result with the best-known semi-definite(SDP) approach which we use for degrees below $n^{0.605073}$. As a result, we show that $\tO(n^{0.19747})$ colors suffice for coloring 3-colorable graphs. This improves on the previous best bound of $\tO(n^{0.19996})$ by Kawarabayashi and Thorup in 2017.
Monochromatic graph decompositions inspired by anti-Ramsey colorings
Published in Discrete Applied Mathematics, 363 (2025), 190-200
• View Publication
• BIB
We consider coloring problems inspired by the theory of anti-Ramsey / rainbow colorings that we generalize to a far extent.
Let $\mathcal{F}$ be a hereditary family of graphs; i.e., if $H\in \mathcal{F}$ and $H'\subset H$ then also $H'\subset \mathcal{F}$. For a graph $G$ and any integer $n \geq |G|$, let $f(n,G|\mathcal{F})$ denote the smallest number $k$ of colors such that any edge coloring of $K_n$ with at least $k$ colors forces a copy of $G$ in which each color class induces a member of $\mathcal{F}$.
The case $\mathcal{F} = \{K_2\}$ is the notorious anti-Ramsey / rainbow coloring problem introduced by Erdős, Simonovits and Sós in 1973.
Using the $\mathcal{F}$-deck of $G$, $D(G|\mathcal{F}) = \{ H : H = G - D, \, D \in \mathcal{F}\}$, we define $χ_\mathcal{F}(G) = \min \{ χ(H) : H \in D(G|\mathcal{F}) \}$.
The main theorem we prove is: Suppose $\mathcal{F}$ is a hereditary family of graphs, and let $G$ be a graph not a member of $\mathcal{F}$.
(1) If $χ_\mathcal{F}(G) \geq 3$, then $f(n, G |\mathcal{F}) = (1+o(1)) \, ex(n, K_{χ_\mathcal{F}(G)})$.
(2) Otherwise $f(n, G |\mathcal{F}) = o(n^2)$.
Among the families covered by this theorem are: matchings, acyclic graphs, planar and outerplanar graphs, $d$-degenerate graphs, graphs with chromatic number at most $k$, graphs with bounded maximum degree, and many more.
We supply many concrete examples to demonstrate the wide range of applications of the main theorem; the next result is a representative of these examples.
For $p \geq 5$ and $\mathcal{F} = \{ tK_2 : t \geq 1 \}$, we have $f(n,K_p |\mathcal{F}) = (1+o(1)) \, ex(n, K_{\lceil p/2 \rceil})$; this means a properly colored copy of $K_p$. In other words, a certain number of colors forces nearly twice as large properly edge-colored complete subgraphs as rainbow ones.
Sphere packing proper colorings of an expander graph
Published
• View Publication
• BIB
We introduce graphical error-correcting codes, a new notion of error-correcting codes on $[q]^n$, where a code is a set of proper $q$-colorings of some fixed $n$-vertex graph $G$. We then say that a set of $M$ proper $q$-colorings of $G$ form a $(G, M, d)$ code if any pair of colorings in the set have Hamming distance at least $d$. This directly generalizes typical $(n, M, d)$ codes of $q$-ary strings of length $n$ since we can take $G$ as the empty graph on $n$ vertices.
We investigate how one-sided spectral expansion relates to the largest possible set of error-correcting colorings on a graph. For fixed $(δ, λ) \in [0, 1] \times [-1, 1]$ and positive integer $d$, let $f_{δ, λ, d}(n)$ denote the maximum $M$ such that there exists some $d$-regular graph $G$ on at most $n$ vertices with normalized second eigenvalue at most $λ$ that has a $(G, M, d)$ code. We study the growth of $f$ as $n$ goes to infinity. We partially characterize the regimes of $(δ, λ)$ where $f$ grows exponentially or is bounded by a constant, respectively. We also prove several sharp phase transitions between these regimes.
$S$-packing colorings of distance graphs with distance sets of cardinality $2$
For a non-decreasing sequence $S=(s_1,s_2,\ldots)$ of positive integers, a partition of the vertex set of a graph $G$ into subsets $X_1,\ldots, X_\ell$, such that vertices in $X_i$ are pairwise at distance greater than $s_i$ for every $i\in\{1,\ldots,\ell\}$, is called an $S$-packing $\ell$-coloring of $G$. The minimum $\ell$ for which $G$ admits an $S$-packing $\ell$-coloring is called the $S$-packing chromatic number of $G$, denoted by $χ_S(G)$. In this paper, we consider $S$-packing colorings of distance graphs $G(\mathbb{Z},\{k,t\})$, where $k$ and $t$ are positive integers, which are the graphs whose vertex set is $\mathbb{Z}$, and two vertices $x,y\in \mathbb{Z}$ are adjacent whenever $|x-y|\in\{k,t\}$. We complement partial results from two earlier papers, thus determining all values of $χ_S(G(\mathbb{Z},\{k,t\}))$ when $S$ is any sequence with $s_i\le 2$ for all $i$. In particular, if $S=(1,1,2,2,\ldots)$, then the $S$-packing chromatic number is $2$ if $k+t$ is even, and $4$ otherwise, while if $S=(1,2,2,\ldots)$, then the $S$-packing chromatic number is $5$, unless $\{k,t\}=\{2,3\}$ when it is $6$; when $S=(2,2,2,\ldots)$, the corresponding formula is more complex.