coloring
4410 papers tagged with this keyword
On the determinicity of paths on substitution complexes
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
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
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
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
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
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
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
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.
Parametrizing positroid cells using bicolored tilings
Bicolored tilings are given by a collection of smooth curves in a disk with a coloring map on the tiles these curves form. Postnikov diagrams can be viewed as the image of certain bicolored tilings under the Scott map. We introduce a reduction technique on bicolored tilings, and show that a tiling maps to a Postnikov diagram if and only if it is reduced. We then use bicolored tilings to parametrise positroid cells in the Grassmannian, and use the reduction, along with another transform, to generate tilings associated to lower-dimensional positroids cells. We also show that the parametrisation of such a cell can be derived from the parametrisation of the higher-dimensional cell.
A canonical Ramsey theorem with list constraints in random (hyper-)graphs
The celebrated canonical Ramsey theorem of Erdős and Rado implies that for a given $k$-uniform hypergraph (or $k$-graph) $H$, if $n$ is sufficiently large then any colouring of the edges of the complete $k$-graph $K^{(k)}_n$ gives rise to copies of $H$ that exhibit certain colour patterns. We are interested in sparse random versions of this result and the threshold at which the random $k$-graph ${\mathbf{G}}^{(k)}(n,p)$ inherits the canonical Ramsey properties of $K^{(k)}_n$. Our main result here pins down this threshold when we focus on colourings that are constrained by some prefixed lists. This result is applied in an accompanying work of the authors on the threshold for the canonical Ramsey property (with no list constraints) in the case that $H$ is a (2-uniform) even cycle.
Strong spatial mixing for colorings on trees and its algorithmic applications
Strong spatial mixing (SSM) is an important quantitative notion of correlation decay for Gibbs distributions arising in statistical physics, probability theory, and theoretical computer science. A longstanding conjecture is that the uniform distribution on proper $q$-colorings on a $Δ$-regular tree exhibits SSM whenever $q \ge Δ+1$. Moreover, it is widely believed that as long as SSM holds on bounded-degree trees with $q$ colors, one would obtain an efficient sampler for $q$-colorings on all bounded-degree graphs via simple Markov chain algorithms. It is surprising that such a basic question is still open, even on trees, but then again it also highlights how much we still have to learn about random colorings. In this paper, we show the following:
(1) For any $Δ\ge 3$, SSM holds for random $q$-colorings on trees of maximum degree $Δ$ whenever $q \ge Δ+ 3$. Thus we almost fully resolve the aforementioned conjecture. Our result substantially improves upon the previously best bound which requires $q \ge 1.59Δ+γ^*$ for an absolute constant $γ^* > 0$.
(2) For any $Δ\ge 3$ and girth $g = Ω_Δ(1)$, we establish optimal mixing of the Glauber dynamics for $q$-colorings on graphs of maximum degree $Δ$ and girth $g$ whenever $q \ge Δ+3$. Our approach is based on a new general reduction from spectral independence on large-girth graphs to SSM on trees that is of independent interest.
Using the same techniques, we also prove near-optimal bounds on weak spatial mixing (WSM), a closely-related notion to SSM, for the antiferromagnetic Potts model on trees.
Counting the minimum number of arcs in an oriented graph having weak diameter 2
An oriented graph has weak diameter at most $d$ if every non-adjacent pair of vertices are connected by a directed $d$-path. The function $f_d(n)$ denotes the minimum number of arcs in an oriented graph on $n$ vertices having weak diameter $d$. Finding the exact value of $f_d(n)$ is a challenging problem even for $d = 2$. This function was introduced by Katona and Szemeredi (1967), and after that several attempts were made to find its exact value by Znam (1970), Dawes and Meijer (1987), Furedi, Horak, Pareek and Zhu (1998), and Kostochka, Luczak, Simonyi and Sopena (1999) through improving its best known bounds. In that process, it was proved that this function is asymptotically equal to $n\log_2 n$ and hence, is an asymptotically increasing function. However, the exact value and behaviour of this function was not known.
In this article, we observe that the oriented graphs with weak diameter at most $2$ are precisely the absolute oriented cliques, that is, analogues of cliques for oriented graphs in the context of oriented coloring. Through studying arc-minimal absolute oriented cliques we prove that $f_2(n)$ is a strictly increasing function. Furthermore, we improve the best known upper bound of $f_2(n)$ and conjecture that our upper bound is tight. This improvement of the upper bound improves known bounds involving the oriented achromatic number.
Slow Coloring of 3k-Connected Graphs
The slow coloring game was introduced by Mahoney, Puleo, and West and it is played by two players, Lister and Painter, on a graph \(G\). In round \(i\), Lister marks a nonempty subset \(M\) of \(V(G)\). By doing this he scores \(|M|\) points. Painter responds by deleting a maximal independent subset of \(M\). This process continues until all vertices are deleted. Lister aims to maximize the score, while Painter aims to minimize it. The best score that both players can guarantee is called the \textit{slow coloring number} or \textit{sum-color cost} of \(G\), denoted \(\spo{(G)}\).
Puleo and West found that for an \(n\)-vertex tree \(T\), the slow coloring number is at most \(\lfloor \frac{3n}{2} \rfloor\), and that the maximum can be reached when \(T\) contains a spanning forest with vertices of degree 1 or 3. This implies that every n-vertex graph \(G\) having a perfect matching satisfies \(\spo(G) \geq \lfloor{\frac{3n}{2}}\rfloor\). In this paper, we prove that for \(3k\)-connected graphs with \(|V(G)| \geq 4k\) and with a perfect matching the lower bound is higher: \(\spo(G) \geq \frac{3n}{2} + k\).
The Rado Multiplicity Problem in Vector Spaces over Finite Fields
We study an analogue of the Ramsey multiplicity problem for additive structures, in particular establishing the minimum number of monochromatic 3-APs in 3-colorings of $\mathbb{F}_3^n$ as well as obtaining the first non-trivial lower bound for the minimum number of monochromatic 4-APs in 2-colorings of $\mathbb{F}_5^n$. The former parallels results by Cumings et al (2013) in extremal graph theory and the latter improves upon results of Saad and Wolf (2017) The lower bounds are notably obtained by extending the flag algebra calculus of Razborov (2007) to additive structures in vector spaces over finite fields.
Near Optimal Colourability on Hereditary Graph Families
In this paper, we initiate a systematic study on a new notion called near optimal colourability which is closely related to perfect graphs and the Lov{á}sz theta function. A graph family $\mathcal{G}$ is {\em near optimal colourable} if there is a constant number $c$ such that every graph $G\in\mathcal{G}$ satisfies $χ(G)\leq\max\{c, ω(G)\}$, where $χ(G)$ and $ω(G)$ are the chromatic number and clique number of $G$, respectively. The near optimal colourable graph families together with the Lov{á}sz theta function are useful for the study of the chromatic number problems for hereditary graph families. We investigate the near optimal colourability for ($H_1,H_2$)-free graphs. Our main result is an almost complete characterization for the near optimal colourability for ($H_1,H_2$)-free graphs with two exceptional cases, one of which is the celebrated Gy{á}rf{á}s conjecture. As an application of our results, we show that the chromatic number problem for ($2K_2,P_4\vee K_n$)-free graphs is polynomial time solvable, which solves an open problem in [K.~K.~Dabrowski and D.~Paulusma. On colouring ($2P_2$, $H$)-free and ($P_5$, $H$)-free graphs. Information Processing Letters, 134:35-41, 2018].
Mixed volumes of networks with binomial steady-states
The steady-state degree of a chemical reaction network is the number of complex steady-states for generic rate constants and initial conditions. One way to bound the steady-state degree is through the mixed volume of the steady-state system or an equivalent system. In this work, we show that for partionable binomial networks, whose resulting steady-state systems are given by a set of binomials and a set of linear (not necessarily binomial) conservation equations, computing the mixed volume is equivalent to finding the volume of a single mixed cell that is the translate of a parallelotope. We then turn our attention to identifying cycles with binomial steady-state ideals. To this end, we give a coloring condition on directed cycles that guarantees the network has a binomial steady-state ideal. We highlight both of these theorems using a class of networks referred to as species-overlapping networks and give a formula for the mixed volume of these networks.
On Hypergraph Supports
Let $\mathcal{H}=(X,\mathcal{E})$ be a hypergraph. A support is a graph $Q$ on $X$ such that for each $E\in\mathcal{E}$, the subgraph of $Q$ induced on the elements in $E$ is connected. In this paper, we consider hypergraphs defined on a host graph. Given a graph $G=(V,E)$, with $c:V\to\{\mathbf{r},\mathbf{b}\}$, and a collection of connected subgraphs $\mathcal{H}$ of $G$, a primal support is a graph $Q$ on $\mathbf{b}(V)$ such that for each $H\in \mathcal{H}$, the induced subgraph $Q[\mathbf{b}(H)]$ on vertices $\mathbf{b}(H)=H\cap c^{-1}(\mathbf{b})$ is connected. A \emph{dual support} is a graph $Q^*$ on $\mathcal{H}$ s.t. for each $v\in X$, the induced subgraph $Q^*[\mathcal{H}_v]$ is connected, where $\mathcal{H}_v=\{H\in\mathcal{H}: v\in H\}$. We present sufficient conditions on the host graph and hyperedges so that the resulting support comes from a restricted family.
We primarily study two classes of graphs: $(1)$ If the host graph has genus $g$ and the hypergraphs satisfy a topological condition of being \emph{cross-free}, then there is a primal and a dual support of genus at most $g$. $(2)$ If the host graph has treewidth $t$ and the hyperedges satisfy a combinatorial condition of being \emph{non-piercing}, then there exist primal and dual supports of treewidth $O(2^t)$. We show that this exponential blow-up is sometimes necessary. As an intermediate case, we also study the case when the host graph is outerplanar. Finally, we show applications of our results to packing and covering, and coloring problems on geometric hypergraphs.
Ramsey numbers of cliques versus monotone paths
One formulation of the Erdos-Szekeres monotone subsequence theorem states that for any red/blue coloring of the edge set of the complete graph on $\{1, 2, \ldots, N\}$, there exists a monochromatic red $s$-clique or a monochromatic blue increasing path $P_n$ with $n$ vertices, provided $N >(s-1)(n-1)$. %We had previously shown that a suitable generalization of this problem to quadruple systems is essentially equivalent to classical diagonal hypergraph Ramsey numbers. Here, we prove a similar statement as above in the off-diagonal case for triple systems, with the quasipolynomial bound $N>2^{c(\log n)^{s-1}}$. For the $t$th power $P_n^t$ of the ordered increasing graph path with $n$ vertices, we prove a near linear bound $c\, n(\log n)^{s-2}$ which improves the previous bound that applied to a more general class of graphs than $P_n^t$ due to Conlon-Fox-Lee-Sudakov.