coloring
4410 papers tagged with this keyword
The Fine-Grained Complexity of Graph Homomorphism Problems: Towards the Okrasa and Rzążewski Conjecture
In this paper we are interested in the fine-grained complexity of deciding whether there is a homomorphism from an input graph $G$ to a fixed graph $H$ (the $H$-Coloring problem). The starting point is that these problems can be viewed as constraint satisfaction problems (CSPs), and that (partial) polymorphisms of binary relations are of paramount importance in the study of complexity classes of such CSPs.
Thus, we first investigate the expressivity of binary symmetric relations $E_H$ and their corresponding (partial) polymorphisms pPol($E_H$). For irreflexive graphs we observe that there is no pair of graphs $H$ and $H'$ such that pPol($E_H$) $\subseteq$ pPol($E_{H'}$), unless $E_{H'}= \emptyset$ or $H =H'$. More generally we show the existence of an $n$-ary relation $R$ whose partial polymorphisms strictly subsume those of $H$ and such that CSP($R$) is NP-complete if and only if $H$ contains an odd cycle of length at most $n$. Motivated by this we also describe the sets of total polymorphisms of nontrivial cliques, odd cycles, as well as certain cores, and we give an algebraic characterization of projective cores. As a by-product, we settle the Okrasa and Rzążewski conjecture for all graphs of at most 7 vertices.
Every subcubic graph is packing $(1,1,2,2,3)$-colorable
For a sequence $S=(s_1, \ldots, s_k)$ of non-decreasing integers, a packing $S$-coloring of a graph $G$ is a partition of its vertex set $V(G)$ into $V_1, \ldots, V_k$ such that for every pair of distinct vertices $u,v \in V_i$, where $1 \le i \le k$, the distance between $u$ and $v$ is at least $s_i+1$. The packing chromatic number, $χ_p(G)$, of a graph $G$ is the smallest integer $k$ such that $G$ has a packing $(1,2, \ldots, k)$-coloring. Gastineau and Togni asked an open question ``Is it true that the $1$-subdivision ($D(G)$) of any subcubic graph $G$ has packing chromatic number at most $5$?'' and later Brešar, Klavžar, Rall, and Wash conjectured that it is true.
In this paper, we prove that every subcubic graph has a packing $(1,1,2,2,3)$-coloring and it is sharp due to the existence of subcubic graphs that are not packing $(1,1,2,2)$-colorable. As a corollary of our result, $χ_p(D(G)) \le 6$ for every subcubic graph $G$, improving a previous bound ($8$) due to Balogh, Kostochka, and Liu in 2019, and we are now just one step away from fully solving the conjecture.
Monochromatic Polynomial sumset structures on $\mathbb{N}$: an ultrafilter proof
Recently, using machinery's from Ergodic theory, Z. Lian, and R. Xiao proved if $P$ is any polynomial with no constant term, then for every finite coloring of $\mathbb{N}$, there exists two infinite subsets $B,C$ of $\mathbb{N}$ such that the set $\{P(b)+P(c):b\in B, c\in C\}$ is monochromatic. In this article we improve their result by proving that instead of taking such polynomials we can choose any function $f$ having the property that $f(\mathbb{N})\setminus \mathbb{N}$ is finite. We use ultrafilter techniques to prove our result.
Weak colourings of Kirkman triple systems
A $δ$-colouring of the point set of a block design is said to be {\em weak} if no block is monochromatic. The {\em chromatic number} $χ(S)$ of a block design $S$ is the smallest integer $δ$ such that $S$ has a weak $δ$-colouring. It has previously been shown that any Steiner triple system has chromatic number at least $3$ and that for each $v\equiv 1$ or $3\pmod{6}$ there exists a Steiner triple system on $v$ points that has chromatic number $3$. Moreover, for each integer $δ\geq 3$ there exist infinitely many Steiner triple systems with chromatic number $δ$.
We consider colourings of the subclass of Steiner triple systems which are resolvable. We show that for each $v\equiv 3\pmod{6}$ there exists a Kirkman triple system on $v$ points with chromatic number $3$. We also show that for each integer $δ\geq 3$, there exist infinitely many Kirkman triple systems with chromatic number $δ$. We close with several open problems.
Circular chromatic number of Cartesian product of signed graphs
This paper studies the circular coloring of signed graphs. A signed graph is a graph with a signature that assigns a sign to each edge, either positive or negative. This paper studies circular coloring and a circular chromatic number of Type 1 and Type Cartesian products. We shall prove the following results: The circular chromatic number of Cartesian product Type 1 $(G,σ)\Box (H,τ)$ is $χ_{c}(G \Box H,σ\Boxτ)=\max\{χ_{c}(G,σ),χ_{c}(H,τ)\}$ and the circular chromatic number of Cartesian product Type 2 $(G,σ)\Box' (H,τ)$ satisfies $χ_{c}(G \Box' H,σ\Box' τ)\leq 2\max\{χ_{c}(G),χ_{c}(H)\}$.
Monochromatic polynomial sumset structures on $\mathbb{N}$
In the paper, we search for monochromatic infinite additive structures involving polynomials over $\mathbb{N}$. It is proved that for any $r\in \mathbb{N}$, any two distinct natural numbers $a,b$, and any $2$-coloring of $\mathbb{N}$, there exist two sets $B,C\subset \mathbb{N}$ with $|B|=r$ and $|C|=\infty$ such that there exists some color containing $B+aC$ and $B+bC$.
The Fortuin-Kasteleyn polynomial as a bialgebra morphism and applications to the Tutte polynomial
We compute an explicit formula for the antipode of the double bialgebra of graphs in terms of totally acyclic partial orientations, using some general results on double bialgebras. In analogy to what was already proven in Hopf-algebraic terms for the chromatic polynomial of a graph, we show that the Fortuin-Kasteleyn polynomial (a variant of the Tutte polynomial) is a morphism of the double algebra of graphs into that of polynomials, which generalizes the chromatic polynomial. When specialized at particular values, we give combinatorial interpretations of the Tutte polynomial of a graph, via covering graphs and covering forests, and of the Fortuin-Kasteleyn polynomial, via pairs of vertex--edge colorings. Finally we show that the map associating to a graph all its orientations is a Hopf morphism from the double bialgebra of graphs into that one of oriented graphs, allowing to give interpretations of the Fortuin-Kasteleyn polynomial when computed at negative values.
Extending the Continuum of Six-Colorings
We present two novel six-colorings of the Euclidean plane that avoid monochromatic pairs of points at unit distance in five colors and monochromatic pairs at another specified distance $d$ in the sixth color. Such colorings have previously been known to exist for $0.41 < \sqrt{2} - 1 \le d \le 1 / \sqrt{5} < 0.45$. Our results significantly expand that range to $0.354 \le d \le 0.657$, the first improvement in 30 years. Notably, the constructions underlying this were derived by formalizing colorings suggested by a custom machine learning approach.
A note on the multicolor size-Ramsey numbers of connected graphs
The $r$-color size-Ramsey number of a graph $H$, denoted by $\widehat{R}_r(H)$, is the minimum number of edges in a graph $G$ having the property that every $r$-coloring of the edges of $G$ contains a monochromatic copy of $H$.
Krivelevich proved that $\widehat{R}_r(P_{m+1})=Ω(r^2m)$ where $P_{m+1}$ is the path on $m$ edges. He explains that his proof actually applies to any connected graph $H$ with $m$ edges and vertex cover number larger than $\sqrt{m}$. He also notes that some restriction on the vertex cover number is necessary since the star with $m$ edges, $K_{1,m}$, has vertex cover number 1 and satisfies $\widehat{R}_r(K_{1,m})=r(m-1)+1$. We prove that the star is actually the only exception; that is, $\widehat{R}_r(H)=Ω(r^2m)$ for every non-star connected graph $H$ with $m$ edges.
We also prove a strengthening of this result for trees. It follows from results of Beck and Dellamonica that $\widehat{R}_2(T)=Θ(β(T))$ for every tree $T$ with bipartition $\{V_1, V_2\}$ and $β(T)=|V_1|\max\{d(v):v\in V_1\}+|V_2|\max\{d(v):v\in V_2\}$. We prove that $\widehat{R}_r(T)=Ω(r^2β(T))$ for every tree $T$, again with the exception of the star. Additionally, we prove that for the family of non-star trees $T$ with $β(T)=Ω(n_1n_2)$ (which includes all non-star trees of linear maximum degree and all trees of radius 2 for example) we have $\widehat{R}_r(T)=Θ(r^2β(T))$.
Ky Fan theorem for sphere bundles
The classic Ky Fan theorem is a combinatorial equivalent of Borsuk-Ulam theorem. It is a generalization and extension of Tucker's lemma and, just like its predecessor, it pinpoints important properties of antipodal colorings of vertices of a triangulated sphere $S^n$. Here we describe generalizations of Ky Fan theorem for the case when the sphere is replaced by the total space of a triangulated sphere bundle.
Path-monochromatic bounded depth rooted trees in (random) tournaments
Published
• View Publication
• BIB
An edge-colored rooted directed tree (aka arborescence) is path-monochromatic if every path in it is monochromatic. Let $k,\ell$ be positive integers. For a tournament $T$, let $f_T(k)$ be the largest integer such that every $k$-edge coloring of $T$ has a path-monochromatic subtree with at least $f_T(k)$ vertices and let $f_T(k,\ell)$ be the restriction to subtrees of depth at most $\ell$. It was proved by Landau that $f_T(1,2)=n$ and proved by Sands et al. that $f_T(2)=n$ where $|V(T)|=n$. Here we consider $f_T(k)$ and $f_T(k,\ell)$ in more generality, determine their extremal values in most cases, and in fact in all cases assuming the Caccetta-Häggkvist Conjecture. We also study the typical value of $f_T(k)$ and $f_T(k,\ell)$, i.e., when $T$ is a random tournament.
Optimal bounds on the polynomial Schur's theorem
Liu, Pach and Sándor recently characterized all polynomials $p(z)$ such that the equation $x+y=p(z)$ is $2$-Ramsey, that is, any $2$-coloring of $\mathbb{N}$ contains infinitely many monochromatic solutions for $x+y=p(z)$. In this paper, we find asymptotically tight bounds for the following two quantitative questions.
$\bullet$ For $n\in \mathbb{N}$, what is the longest interval $[n,f(n)]$ of natural numbers which admits a $2$-coloring with no monochromatic solutions of $x+y=p(z)$?
$\bullet$ For $n\in \mathbb{N}$ and a $2$-coloring of the first $n$ integers $[n]$, what is the smallest possible number $g(n)$ of monochromatic solutions of $x+y=p(z)$?
Our theorems determine $f(n)$ up to a multiplicative constant $2+o(1)$, and determine the asymptotics for $g(n)$.
Paint cost spectrum of perfect $k$-ary trees
We determine the paint cost spectrum for perfect $k$-ary trees.
A coloring of the vertices of a graph $G$ with $d$ colors is said to be \emph{$d$-distinguishing} if only the trivial automorphism preserves the color classes. The smallest such $d$ is the distinguishing number of $G$ and is denoted $\mbox{dist}(G).$ The \emph{paint cost of $d$-distinguishing $G$}, denoted $ρ^d(G)$, is the minimum size of the complement of a color class over all $d$-distinguishing colorings. A subset $S$ of the vertices of $G$ is said to be a \emph{fixing set} for $G$ if the only automorphsim that fixes the vertices in $S$ pointwise is the trivial automorphism. The cardinality of a smallest fixing set is denoted $\mbox{fix}(G)$. In this paper, we explore the breaking of symmetry in perfect $k$-ary trees by investigating what we define as the \emph{paint cost spectrum} of a graph $G$: $(\mbox{dist}(G); ρ^{\mbox{dist}(G)}(G), ρ^{\mbox{dist}(G)+1}(G), \dots, ρ^{\mbox{fix}(G)+1}(G))$ and the \emph{paint cost ratio} of $G$, which is defined to be the fraction of paint costs in the paint cost spectrum equal to $\mbox{fix}(G)$. We determine both the paint cost spectrum and the paint cost ratio completely for perfect $k$-ary trees.
We also prove a lemma that is of interest in its own right: given an $n$-tuple, $n \geq 2$ of distinct elements of an ordered abelian group and $1 \leq k \leq n! -1$, there exists a $k \times n$ row permuted matrix with distinct column sums.
Distinguishing Polynomials of Graphs
For a graph $G$, a $k$-coloring $c:V(G)\to \{1,2,\ldots, k\}$ is called distinguishing, if the only automorphism $f$ of $G$ with the property $c(v)=c(f(v))$ for every vertex $v\in G$ (color-preserving automorphism), is the identity. In this paper, we show that the number of distinguishing $k$-colorings of $G$ is a monic polynomial in $k$, calling it the distinguishing polynomial of $G$. Furthermore, we compute the distinguishing polynomials of cycles and complete multipartite graphs. We also show that the multiplicity of zero as a root of the distinguishing polynomial of $G$ is at least the number of orbits of $G$.
Large line-free sets and their applications
In this paper, we construct explicit families of polynomials $P \in \mathbb{F}_q[x_1,\dots,x_n]$ with large root sets which have restricted intersections with affine lines. We use these sets to make substantial progress on a number of problems in extremal combinatorics.
For each prime power $q$ and integer $2 \le t \le q-1$, we construct $t$-line evasive subsets of $\mathbb{F}_q^n$ of size \[ q^{\,n\left(1-\frac{2}{t^2+t}\right)}, \] which is significantly larger than those previously known. Moreover, our method yields a partition of $\mathbb{F}_q^n$ into such sets.
We extend this partitioning result to the projective space $PG(n,q)$, obtaining the first explicit colorings for the vector space Ramsey number $R_q(2;k)$ that exhibit dependence on both $q$ and $k$. In particular, we show that \[ R_q(2;k) > \frac{(q-1)k}{2} - O_q(1), \] improving recent bounds.
Finally, we apply these constructions to extremal graph theory and improve the best-known bounds on the bipartite Turán number $ \mathrm{ex}(n,m,\{C_4,θ_{3,t}\})$. Most notably, we show that \[ \mathrm{ex}(n,n^{2/3},\{C_4,θ_{3,3}\}) = Θ(n^{1+1/9}), \] making progress on a question originally posed by Erdős.
An infinite family of Type 1 fullerene nanodiscs
A total coloring of a graph colors all its elements, vertices and edges, with no adjacency conflicts. The Total Coloring Conjecture (TCC) is a sixty year old challenge, says that every graph admits a total coloring with at most maximum degree plus two colors, and many graph parameters have been studied in connection with its validity. If a graph admits a total coloring with maximum degree plus one colors, then it is Type 1, whereas it is Type 2, in case it does not admit a total coloring with maximum degree plus one colors but it does satisfy the TCC. Cavicchioli, Murgolo and Ruini proposed in 2003 the hunting for a Type 2 snark with girth at least 5. Brinkmann, Preissmann and Sasaki in 2015 conjectured that there is no Type 2 cubic graph with girth at least 5. We investigate the total coloring of fullerene nanodiscs, a class of cubic planar graphs with girth 5 arising in Chemistry. We prove that the central layer of an arbitrary fullerene nanodisc is 4-total colorable, a necessary condition for the nanodisc to be Type 1. We extend the obtained 4-total coloring to a 4-total coloring of the whole nanodisc, when the radius satisfies r = 5 + 3k, providing an infinite family of Type 1 nanodiscs.
Counting induced subgraphs with the Kromatic symmetric function
The chromatic symmetric function $X_G$ is a sum of monomials corresponding to proper vertex colorings of a graph $G$. Crew, Pechenik, and Spirkl (2023) recently introduced a $K$-theoretic analogue $\overline{X}_G$ called the Kromatic symmetric function, where each vertex is instead assigned a nonempty set of colors such that adjacent vertices have nonoverlapping color sets. $X_G$ does not distinguish all graphs, but a longstanding open question is whether it distinguishes all trees. We conjecture that $\overline{X}_G$ does distinguish all graphs. As evidence towards this conjecture, we show that $\overline{X}_G$ determines the number of copies in $G$ of certain induced subgraphs on 4 and 5 vertices as well as the number of induced subgraphs isomorphic to each graph consisting of a star plus some number of isolated vertices.
Characterizing the fourth-moment phenomenon of monochromatic subgraph counts via influences
We investigate the distribution of monochromatic subgraph counts in random vertex $2$-colorings of large graphs. We give sufficient conditions for the asymptotic normality of these counts and demonstrate their essential necessity (particularly for monochromatic triangles). Our approach refines the fourth-moment theorem to establish new, local influence-based conditions for asymptotic normality; these findings more generally provide insight into fourth-moment phenomena for a broader class of Rademacher and Gaussian polynomials.
Rainbow considerations around the Hales-Jewett theorem
For positive integers $t$ and $n$ let $C_t^n$ be the $n$-cube over $t$ elements, that is, the set of ordered $n$-tuples over the alphabet $\{0,\dots, t-1\}$. We address the question of whether a balanced finite coloring of $C_t^n$ guarantees the presence of a rainbow geometric or combinatorial line. For every even $t\geq 4$ and every $n$, we provide a $\left(\frac{t}{2}\right)^n$--coloring of $C_t^n$ such that all color classes have the same size, and without rainbow combinatorial or geometric lines.
Degree conditions for Ramsey goodness of paths
A classical result of Chvátal implies that if $n \geq (r-1)(t-1) +1$, then any colouring of the edges of $K_n$ in red and blue contains either a monochromatic red $K_r$ or a monochromatic blue $P_t$. We study a natural generalization of his result, determining the exact minimum degree condition for a graph $G$ on $n = (r - 1)(t - 1) + 1$ vertices which guarantees that the same Ramsey property holds in $G$. In particular, using a slight generalization of a result of Haxell, we show that $δ(G) \geq n - \lceil t/2 \rceil$ suffices, and that this bound is best possible. We also use a classical result of Bollobás, Erdős, and Straus to prove a tight minimum degree condition in the case $r = 3$ for all $n \geq 2t - 1$.