coloring
4497 papers tagged with this keyword
Comparing list-color functions of uniform hypergraphs with their chromatic polynomials
Published
• View Publication
• BIB
In [J. Combin. Theory Ser. B 161 (2023), 109--119], the authors showed that the list-color function $P_l(G,k)$ of any simple graph $G$ of size $m$ coincides with its chromatic polynomial $P(G,k)$ for all integers $k\ge m-1$. In this article, we extend this conclusion to any uniform hypergraph. Furthermore, we show that for any $r$-uniform hypergraph ${\cal H}=(V,E)$, where $r\ge 2$, $P({\cal H}, L)-P({\cal H},k)\ge (k-|E|+1)k^{|V|-r-1}\sum\limits_{e\in E}\left (k-\left|\bigcap\limits_{v\in e}L(v)\right|\right )$ holds for all integers $k$ with $k\ge |E|-1\ge 4$ and all $k$-assignments $L$ of ${\cal H}$, where $P({\cal H}, L)$ is the number of $L$-colorings of ${\cal H}$.
Extremal Results on Conflict-free Coloring
Published
• View Publication
• BIB
A conflict-free open neighborhood coloring of a graph is an assignment of colors to the vertices such that for every vertex there is a color that appears exactly once in its open neighborhood. For a graph $G$, the smallest number of colors required for such a coloring is called the conflict-free open neighborhood (CFON) chromatic number and is denoted by $χ_{ON}(G)$. By considering closed neighborhood instead of open neighborhood, we obtain the analogous notions of conflict-free closed neighborhood (CFCN) coloring, and CFCN chromatic number (denoted by $χ_{CN}(G)$). The notion of conflict-free coloring was introduced in 2002, and has since received considerable attention.
In this paper, we study some extremal questions related to CFON and CFCN coloring.
Two-round Ramsey games on random graphs
Published
• View Publication
• BIB
Motivated by the investigation of sharpness of thresholds for Ramsey properties in random graphs, Friedgut, Kohayakawa, Rödl, Ruciński and Tetali introduced two variants of a single-player game whose goal is to colour the edges of a~random graph, in an online fashion, so as not to create a monochromatic triangle. In the two-round variant of the game, the player is first asked to find a triangle-free colouring of the edges of a random graph $G_1$ and then extend this colouring to a triangle-free colouring of the union of $G_1$ and another (independent) random graph $G_2$, which is disclosed to the player only after they have coloured $G_1$. Friedgut et al.\ analysed this variant of the online Ramsey game in two instances: when $G_1$ has $Θ(n^{4/3})$ edges and when the number of edges of $G_1$ is just below the threshold above which a random graph typically no longer admits a triangle-free colouring, which is located at $Θ(n^{3/2})$.
The two-round Ramsey game has been recently revisited by Conlon, Das, Lee and Mészáros, who generalised the result of Friedgut at al.\ from triangles to all strictly $2$-balanced graphs. We extend the work of Friedgut et al.\ in an orthogonal direction and analyse the triangle case of the two-round Ramsey game at all intermediate densities. More precisely, for every $n^{-4/3} \ll p \ll n^{-1/2}$, with the exception of $p = Θ(n^{-3/5})$, we determine the threshold density $q$ at which it becomes impossible to extend any triangle-free colouring of a typical $G_1 \sim G_{n,p}$ to a triangle-free colouring of the union of $G_1$ and $G_2 \sim G_{n,q}$. An interesting aspect of our result is that this threshold density $q$ `jumps' by a polynomial quantity as $p$ crosses a `critical' window around $n^{-3/5}$.
On Connectivity in Random Graph Models with Limited Dependencies
Published
• View Publication
• BIB
For any positive edge density $p$, a random graph in the Erdős-Renyi $G_{n,p}$ model is connected with non-zero probability, since all edges are mutually independent. We consider random graph models in which edges that do not share endpoints are independent while incident edges may be dependent and ask: what is the minimum probability $ρ(n)$, such that for any distribution $\mathcal{G}$ (in this model) on graphs with $n$ vertices in which each potential edge has a marginal probability of being present at least $ρ(n)$, a graph drawn from $\mathcal{G}$ is connected with non-zero probability?
As it turns out, the condition ``edges that do not share endpoints are independent'' needs to be clarified and the answer to the question above is sensitive to the specification. In fact, we formalize this intuitive description into a strict hierarchy of five independence conditions, which we show to have at least three different behaviors for the threshold $ρ(n)$. For each condition, we provide upper and lower bounds for $ρ(n)$. In the strongest condition, the coloring model (which includes, e.g., random geometric graphs), we show that $ρ(n)\rightarrow 2-φ\approx 0.38$ for $n\rightarrow\infty$, proving a conjecture by Badakhshian, Falgas-Ravry, and Sharifzadeh. This separates the coloring models from the weaker independence conditions we consider, as there we prove that $ρ(n)>0.5-o(n)$. In stark contrast to the coloring model, for our weakest independence condition -- pairwise independence of non-adjacent edges -- we show that $ρ(n)$ lies within $O(1/n^2)$ of the threshold $1-2/n$ for completely arbitrary distributions.
The robust chromatic number of graphs
A 1-removed subgraph $G_f$ of a graph $G=(V,E)$ is obtained by
$(i)$ selecting at most one edge $f(v)$ for each vertex $v\in V$, such that $v\in f(v)\in E$ (the mapping $f:V\to E \cup \{\varnothing\}$ is allowed to be non-injective), and
$(ii)$ deleting all the selected edges $f(v)$ from the edge set $E$ of $G$.
Proper vertex colorings of 1-removed subgraphs proved to be a useful tool for earlier research on some Turán-type problems.
In this paper, we introduce a systematic investigation of the graph invariant 1-robust chromatic number, denoted as $ω_1(G)$. This invariant is defined as the minimum chromatic number $χ(G_f)$ among all 1-removed subgraphs $G_f$ of $G$. We also examine other standard graph invariants in a similar manner.
Upper Bounds on the Acyclic Chromatic Index of Degenerate Graphs
Published in Discrete Mathematics, 347(4), (2024), 113898
• View Publication
• BIB
An acyclic edge coloring of a graph is a proper edge coloring without any bichromatic cycles. The acyclic chromatic index of a graph $G$ denoted by $a'(G)$, is the minimum $k$ such that $G$ has an acyclic edge coloring with $k$ colors. Fiamčík conjectured that $a'(G) \le Δ+2$ for any graph $G$ with maximum degree $Δ$. A graph $G$ is said to be $k$-degenerate if every subgraph of $G$ has a vertex of degree at most $k$. Basavaraju and Chandran proved that the conjecture is true for $2$-degenerate graphs. We prove that for a $3$-degenerate graph $G$, $a'(G) \le Δ+5$, thereby bringing the upper bound closer to the conjectured bound. We also consider $k$-degenerate graphs with $k \ge 4$ and give an upper bound for the acyclic chromatic index of the same.
Sequentially constrained Hamilton cycles in random graphs
Published
• View Publication
• BIB
We discuss the existence of Hamilton cycles in the random graph $G_{n,p}$ where there are restrictions caused by (i) coloring sequences, (ii) a subset of vertices must occur in a specific order and (iii) there is a bound on the number of inversions in the associated permutation.
Complexity Framework for Forbidden Subgraphs III: When Problems are Tractable on Subcubic Graphs
For any finite set $\mathcal{H} = \{H_1,\ldots,H_p\}$ of graphs, a graph is $\mathcal{H}$-subgraph-free if it does not contain any of $H_1,\ldots,H_p$ as a subgraph. In recent work, meta-classifications have been studied: these show that if graph problems satisfy certain prescribed conditions, their complexity is determined on classes of $\mathcal{H}$-subgraph-free graphs. We continue this work and focus on problems that have polynomial-time solutions on classes that have bounded treewidth or maximum degree at most~$3$ and examine their complexity on $H$-subgraph-free graph classes where $H$ is a connected graph. With this approach, we obtain comprehensive classifications for (Independent) Feedback Vertex Set, Connected Vertex Cover, Colouring and Matching Cut. This resolves a number of open problems.
We highlight that, to establish that Independent Feedback Vertex Set belongs to this collection of problems, we first show that it can be solved in polynomial time on graphs of maximum degree $3$. We demonstrate that, with the exception of the complete graph on four vertices, each graph in this class has a minimum size feedback vertex set that is also an independent set.
Full Characterization of Color Degree Sequences in Complete Graphs Without Tricolored Triangles
For an edge-colored complete graph, we define the color degree of a node as the number of colors appearing on edges incident to it. In this paper, we consider colorings that don't contain tricolored triangles (also called rainbow triangles); these colorings are also called Gallai colorings.
We give a complete characterization of all possible color degree sequences $d_1 \le d_2 \le \dots \le d_n$ that can arise on a Gallai coloring of $K_n$: it is necessary and sufficient that \[ \sum_{i = k}^n \frac{1}{2^{d_i - d_{k-1}}} \ge 1 \] holds for all $1 \le k \le n$, where $d_0=0$ for convenience. As a corollary, this gives another proof of a 2018 result of Fujita, Li, and Zhang who showed that the minimum color degree in such a coloring is at most $\log_2n$.
Limits of degeneracy for colouring graphs with forbidden minors
Published in Transactions of the American Mathematical Society, 378(9):6425-6451, September 2025
• View Publication
• BIB
Motivated by Hadwiger's conjecture, Seymour asked which graphs $H$ have the property that every non-null graph $G$ with no $H$ minor has a vertex of degree at most $|V(H)|-2$. We show that for every monotone graph family $\mathcal{F}$ with strongly sublinear separators, all sufficiently large bipartite graphs $H \in \mathcal{F}$ with bounded maximum degree have this property. None of the conditions that $H$ belongs to $\mathcal{F}$, that $H$ is bipartite and that $H$ has bounded maximum degree can be omitted.
On the determinicity of paths on substitution complexes
Published
• View Publication
• BIB
The paper is devoted to the study of combinatorial determinacy properties of a family of substitution complexes consisting of quadrilaterals glued side-to-side with each other. These properties are useful in constructing algebraic structures with a finite number of defining relations. In particular, this method was used when constructing a finitely presented infinite nisemigroup satisfying the identity x^9 =0. This construction responds to the problem of L. N. Shevrin and M. V. Sapir. In this paper, we investigate the possibility of coloring the entire sequence of complexes into a finite number of colors, in which the property of weak determinism is fulfilled: if the colors of the three vertices of a certain quadrilateral are known, then the color of the fourth side is uniquely determined, except in some cases of a special arrangement of the quadrilateral.
On locally rainbow colourings
Published
• View Publication
• BIB
Given a graph $H$, let $g(n,H)$ denote the smallest $k$ for which the following holds. We can assign a $k$-colouring $f_v$ of the edge set of $K_n$ to each vertex $v$ in $K_n$ with the property that for any copy $T$ of $H$ in $K_n$, there is some $u\in V(T)$ such that every edge in $T$ has a different colour in $f_u$.
The study of this function was initiated by Alon and Ben-Eliezer. They characterized the family of graphs $H$ for which $g(n,H)$ is bounded and asked whether it is true that for every other graph $g(n,H)$ is polynomial. We show that this is not the case and characterize the family of connected graphs $H$ for which $g(n,H)$ grows polynomially. Answering another question of theirs, we also prove that for every $\varepsilon>0$, there is some $r=r(\varepsilon)$ such that $g(n,K_r)\geq n^{1-\varepsilon}$ for all sufficiently large $n$.
Finally, we show that the above problem is connected to the Erdős-Gyárfás function in Ramsey Theory, and prove a family of special cases of a conjecture of Conlon, Fox, Lee and Sudakov by showing that for each fixed $r$ the complete $r$-uniform hypergraph $K_n^{(r)}$ can be edge-coloured using a subpolynomial number of colours in such a way that at least $r$ colours appear among any $r+1$ vertices.
On uniquely packable trees
Published
• View Publication
• BIB
An $i$-packing in a graph $G$ is a set of vertices that are pairwise distance more than $i$ apart. A \emph{packing colouring} of $G$ is a partition $X=\{X_{1},X_{2},\ldots,X_{k}\}$ of $V(G)$ such that each colour class $X_{i}$ is an $i$-packing. The minimum order $k$ of a packing colouring is called the packing chromatic number of $G$, denoted by $χ_ρ(G)$. In this paper we investigate the existence of trees $T$ for which there is only one packing colouring using $χ_ρ(T)$ colours. For the case $χ_ρ(T)=3$, we completely characterise all such trees. As a by-product we obtain sets of uniquely $3$-$χ_ρ$-packable trees with monotone $χ_ρ$-coloring and non-monotone $χ_ρ$-coloring respectively.
Sparse graphs without long induced paths
Published
• View Publication
• BIB
Graphs of bounded degeneracy are known to contain induced paths of order $Ω(\log \log n)$ when they contain a path of order $n$, as proved by Nešetřil and Ossona de Mendez (2012). In 2016 Esperet, Lemoine, and Maffray conjectured that this bound could be improved to $Ω((\log n)^c)$ for some constant $c>0$ depending on the degeneracy. We disprove this conjecture by constructing, for arbitrarily large values of $n$, a graph that is 2-degenerate, has a path of order $n$, and where all induced paths have order $O((\log \log n)^2)$. We also show that the graphs we construct have linearly bounded coloring numbers.
Oriented Colouring Graphs of Bounded Degree and Degeneracy
Published
• View Publication
• BIB
This paper considers upper bounds on the oriented chromatic number $χ_o(G)$, of an oriented graph $G$ in terms of its $2$-dipath chromatic number $χ_2(G)$, degeneracy $d(G)$, and maximum degree $Δ(G)$. In particular, we show that for all graphs $G$ with $χ_2(G) \leq k$ where $k \geq 2$ and $d(G) \leq t$ where $t \geq \log_2(k)$, $χ_o(G) = 33/10(k t^2 2^t)$. This improves an upper bound of MacGillivray, Raspaud, and Swartz of the form $χ_o(G) \leq 2^{χ_2(G)} -1$ to a polynomial upper bound for many classes of graphs, in particular, those with bounded degeneracy. Additionally, we asymptotically improve bounds for the oriented chromatic number in terms of maximum degree and degeneracy. For instance, we show that $χ_o(G) \leq (2\ln2 +o(1))Δ^2 2^Δ$ for all graphs, and $χ_o(G) \leq (2+o(1))Δd 2^d$ for graphs where degeneracy grows sublinearly in maximum degree. Here the asypmtotics are in $Δ$. The former improves the asymptotics of a results by Kostochka, Sopena, and Zhu \cite{kostochka1997acyclic}, while the latter improves the asymptotics of a result by Aravind and Subramanian \cite{aravind2009forbidden}. Both improvements are by a constant factor.
A property on monochromatic copies of graphs containing a triangle
Published
• View Publication
• BIB
A graph $H$ is called common and respectively, strongly common if the number of monochromatic copies of $H$ in a 2-edge-coloring $φ$ of a large clique is asymptotically minimised by the random coloring with an equal proportion of each color and respectively, by the random coloring with the same proportion of each color as in $φ$. A well-known theorem of Jagger, {\v S}t'ov{\' i}{\v c}ek and Thomason states that every graph containing a $K_4$ is not common. Here we prove an analogous result that every graph containing a $K_3$ and with at least four edges is not strongly common.
Digraph Colouring and Arc-Connectivity
The dichromatic number $\vecχ(D)$ of a digraph $D$ is the minimum size of a partition of its vertices into acyclic induced subgraphs. We denote by $λ(D)$ the maximum local edge connectivity of a digraph $D$. Neumann-Lara proved that for every digraph $D$, $\vecχ(D) \leq λ(D) + 1$. In this paper, we characterize the digraphs $D$ for which $\vecχ(D) = λ(D) + 1$. This generalizes an analogue result for undirected graph proved by Stiebitz and Toft as well as the directed version of Brooks' Theorem proved by Mohar. Along the way, we introduce a generalization of Hajós join that gives a new way to construct families of dicritical digraphs that is of independent interest.
Coloring hypergraphs that are the union of nearly disjoint cliques
We consider the maximum chromatic number of hypergraphs consisting of cliques that have pairwise small intersections. Designs of the appropriate parameters produce optimal constructions, but these are known to exist only when the number of cliques is exponential in the clique size. We construct near designs where the number of cliques is polynomial in the clique size, and show that they have large chromatic number.
The case when the cliques have pairwise intersections of size at most one seems particularly challenging. Here we give lower bounds by analyzing a random greedy hypergraph process. We also consider the related question of determining the maximum number of caps in a finite projective/affine plane and obtain nontrivial upper and lower bounds.
On the choosability of $H$-minor-free graphs
Published
• View Publication
• BIB
Given a graph $H$, let us denote by $f_χ(H)$ and $f_\ell(H)$, respectively, the maximum chromatic number and the maximum list chromatic number of $H$-minor-free graphs. Hadwiger's famous coloring conjecture from 1943 states that $f_χ(K_t)=t-1$ for every $t \ge 2$. In contrast, for list coloring it is known that $2t-o(t) \le f_\ell(K_t) \le O(t (\log \log t)^6)$ and thus, $f_\ell(K_t)$ is bounded away from the conjectured value $t-1$ for $f_χ(K_t)$ by at least a constant factor. The so-called $H$-Hadwiger's conjecture, proposed by Seymour, asks to prove that $f_χ(H)=\textsf{v}(H)-1$ for a given graph $H$ (which would be implied by Hadwiger's conjecture). In this paper, we prove several new lower bounds on $f_\ell(H)$, thus exploring the limits of a list coloring extension of $H$-Hadwiger's conjecture. Our main results are:
For every $\varepsilon>0$ and all sufficiently large graphs $H$ we have $f_\ell(H)\ge (1-\varepsilon)(\textsf{v}(H)+κ(H))$, where $κ(H)$ denotes the vertex-connectivity of $H$.
For every $\varepsilon>0$ there exists $C=C(\varepsilon)>0$ such that asymptotically almost every $n$-vertex graph $H$ with $\left\lceil C n\log n\right\rceil$ edges satisfies $f_\ell(H)\ge (2-\varepsilon)n$.
The first result generalizes recent results on complete and complete bipartite graphs and shows that the list chromatic number of $H$-minor-free graphs is separated from the natural lower bound $(\textsf{v}(H)-1)$ by a constant factor for all large graphs $H$ of linear connectivity. The second result tells us that even when $H$ is a very sparse graph (with an average degree just logarithmic in its order), $f_\ell(H)$ can still be separated from $(\textsf{v}(H)-1)$ by a constant factor arbitrarily close to $2$. Conceptually these results indicate that the graphs $H$ for which $f_\ell(H)$ is close to $(\textsf{v}(H)-1)$ are typically rather sparse.
The number of colorings of the middle layers of the Hamming cube
Published
• View Publication
• BIB
For an odd integer $n = 2d-1$, let $\mathcal B_d$ be the subgraph of the hypercube $Q_n$ induced by the two largest layers. In this paper, we describe the typical structure of proper $q$-colorings of $V(\mathcal B_d)$ and give asymptotics on the number of them. The proofs use various tools including information theory (entropy), Sapozhenko's graph container method and a recently developed method of M. Jenssen and W. Perkins that combines Sapozhenko's graph container lemma with the cluster expansion for polymer models from statistical physics.