coloring
4410 papers tagged with this keyword
On z-coloring and ${\rm b}^{\ast}$-coloring of graphs as improved variants of the b-coloring
Let $G$ be a simple graph and $c$ a proper vertex coloring of $G$. A vertex $u$ is called b-vertex in $(G,c)$ if all colors except $c(u)$ appear in the neighborhood of $u$. By a ${\rm b}^{\ast}$-coloring of $G$ using colors $\{1, \ldots, k\}$ we define a proper vertex coloring $c$ such that there is a b-vertex $u$ (called nice vertex) such that for each $j\in \{1, \ldots, k\}$ with $j\not=c(u)$, $u$ is adjacent to a b-vertex of color $j$. The ${\rm b}^{\ast}$-chromatic number of $G$ (denoted by ${\rm b}^{\ast}(G)$) is the largest integer $k$ such that $G$ has a ${\rm b}^{\ast}$-coloring using $k$ colors. Every graph $G$ admits a ${\rm b}^{\ast}$-coloring which is an improvement over the famous b-coloring. A z-coloring of $G$ is a coloring $c$ using colors $\{1, 2, \ldots, k\}$ containing a nice vertex of color $k$ such that for each two colors $i<j$, each vertex of color $j$ has a neighbor of color $i$ in the graph (i.e. $c$ is obtained from a greedy coloring of $G$). We prove that ${\rm b}^{\ast}(G)$ cannot be approximated within any constant factor unless $P=NP$. We obtain results for ${\rm b}^{\ast}$-coloring and z-coloring of block graphs, cacti, $P_4$-sparse graphs and graphs with girth greater than $4$. We prove that z-coloring and ${\rm b}^{\ast}$-coloring have a locality property. A linear 0-1 programming model is also presented for z-coloring of graphs. The positive results suggest that researches can be focused on ${\rm b}^{\ast}$-coloring (or z-coloring) instead of b-coloring of graphs.
Quantum Rainbow Codes: Achieving Linear Rate, Growing Distance and Transversal Non-Clifford Gates with Generalised Colour Codes
We introduce rainbow codes, a novel class of quantum error correcting codes generalising colour codes and pin codes. Rainbow codes can be defined on any $D$-dimensional simplicial complex that admits a valid $(D + 1)$-colouring of its $0$-simplices. We study in detail the case where these simplicial complexes are derived from chain complexes obtained via the hypergraph product and, by reinterpreting these codes as collections of colour codes joined at domain walls, show that we can obtain code families with growing distance and number of encoded qubits as well as logical non-Clifford gates implemented by transversal application of $T$ and $T^†$. By combining these techniques with the quasi-hyperbolic colour codes of Zhu et al. (arXiv:2310.16982) we obtain a family of codes with transversal non-Clifford gates and parameters $[\![n, Θ(n), Θ(log(n))]\!]$. This is the first example of a family of LDPC codes with linear rate, growing distance and transversal non-Clifford gates, which are necessary conditions for the magic-state distillation parameter $γ=\textrm{log}_d (n/k)$ to be made arbitrarily small. In contrast to several other constructions that satisfy these requirements, our codes are natively defined on qubits, are LDPC, and have non-Clifford gates implementable by single-qubit (rather than entangling) physical operations, but are not asymptotically good.
Partition subcubic planar graphs into independent sets
A packing $(1^{\ell}, 2^k)$-coloring of a graph $G$ is a partition of $V(G)$ into $\ell$ independent sets and $k$ $2$-packings (whose pairwise vertex distance is at least $3$). The square coloring of planar graphs was first studied by Wegner in 1977. Thomassen and independently Hartke et al. proved one can always square color a cubic planar graph with $7$ colors, i.e., every subcubic planar graph is packing $(2^7)$-colorable. We focus on packing $(1^{\ell}, 2^k)$-colorings, which lie between proper coloring and square coloring. Gastineau and Togni proved every subcubic graph is packing $(1,2^6)$-colorable and asked whether every subcubic graph except the Petersen graph is packing $(1,2^5)$-colorable.
In this paper, we prove an analogue result of Thomassen and Hartke et al. on packing coloring that every subcubic planar graph is packing $(1,2^5)$-colorable. This also answers the question of Gastineau and Togni affirmatively for subcubic planar graphs. Moreover, we prove that there exists an infinite family of subcubic planar graphs that are not packing $(1,2^4)$-colorable, which shows that our result is the best possible. Besides, our result is also sharp in the sense that the disjoint union of Petersen graphs is subcubic and non-planar, but not packing $(1,2^5)$-colorable.
Exponential bounds for monochromatic sums equal to products
We show that any $r$-coloring of $\{1,...,r^{r^{r^{3r}}}\}$ contains monochromatic sets $\{a,b,a+b,x,y,xy\}$ with $a+b=xy.$
Monochromatic Sums and Products with Additive or Multiplicative Shifts in Natural Numbers
In this paper we prove that for any finite coloring of N there are lambda,rho in N such that infinitely many pairs (x,y),(u,v) in N^2 satisfy the sets {lambda x, lambda y, x y, lambda(x+y)} and {u+rho, v+rho, u v+rho, u+v} being monochromatic. Using related arguments we also give two different proofs of a special case of the Milliken--Taylor theorem.
On conflict-free colorings of cyclic polytopes and the girth conjecture for graphs
We study the conflict-free chromatic number of hypergraphs derived from the family of facets of $d$-dimensional cyclic polytopes with $n$ vertices. While in odd dimensions $d$ the problem is easy, for even dimensions the problem becomes very difficult and exhibits interesting connections to extremal graph theory. We provide sharp asymptotic bounds for the conflict-free chromatic number in several small even dimensions and non-trivial upper and lower bounds for general even dimensions. The main purpose of this paper is revealing a surprising relation between conflict-free colorings and the celebrated Erdős girth conjecture, opening new avenues for future research.
Measurable Regular Subgraphs
We show that every $d$-regular bipartite Borel graph admits a Baire measurable $k$-regular spanning subgraph if and only if $d$ is odd or $k$ is even. This gives the first example of a locally checkable coloring problem which is known to have a Baire measurable solution on Borel graphs but not a computable solution on highly computable graphs. We also prove the analogous result in the measure setting for hyperfinite graphs.
Proper edge colorings of planar graphs with rainbow $C_4$-s
Published in J. Graph Theory 107 (2024), no. 4, 833--846
• View Publication
• BIB
We call a proper edge coloring of a graph $G$ a B-coloring if every 4-cycle of $G$ is colored with four different colors. Let $q_B(G)$ denote the smallest number of colors needed for a B-coloring of $G$. Motivated by earlier papers on B-colorings, here we consider $q_B(G)$ for planar and outerplanar graphs in terms of the maximum degree $Δ= Δ(G)$. We prove that $q_B(G)\le 2Δ+8$ for planar graphs, $q_B(G)\le 2Δ$ for bipartite planar graphs and $q_B(G)\le Δ+1$ for outerplanar graphs with $Δ\ge 4$. We conjecture that, for $Δ$ sufficiently large, $q_B(G)\le 2Δ(G)$ for planar $G$ and $q_B(G)\le Δ(G)$ for outerplanar $G$.
B-colorings of planar and outerplanar graphs
A coloring of the edges of a graph $G$ in which every $K_{1,2}$ is totally multicolored is known as a proper coloring and a coloring of the edges of $G$ in which every $K_{1,2}$ and every $K_{2,2}$ is totally multicolored is called a B-coloring.
In this paper, we establish that a planar graph with maximum degree $Δ$ can be B-colored with $\max\{2Δ,32\}$ colors. This is best-possible for large $Δ$ because $K_{2,Δ}$ requires $2Δ$ colors. In addition, there is an example with $Δ=4$ that requires $12$ colors.
We also establish that an outerplanar graph with maximum degree $Δ$ can be B-colored with $\max\{Δ,6\}$ colors. This is almost best-possible because $Δ$ colors are necessary and there is an example with $Δ=4$ that requires $5$ colors.
Interlacing triangles, Schubert puzzles, and graph colorings
Published in Communications in Mathematical Physics, Volume 406, article number 118, (2025)
• View Publication
• BIB
We show that interlacing triangular arrays, introduced by Aggarwal-Borodin-Wheeler to study certain probability measures, can be used to compute structure constants for multiplying Schubert classes in the $K$-theory of Grassmannians, in the cohomology of their cotangent bundles, and in the cohomology of partial flag varieties. Our results are achieved by establishing a splitting lemma, allowing for interlacing triangular arrays of high rank to be decomposed into arrays of lower rank, and by constructing a bijection between interlacing triangular arrays of rank 3 with certain proper vertex colorings of the triangular grid graph that factors through generalizations of Knutson-Tao puzzles. Along the way, we prove one enumerative conjecture of Aggarwal-Borodin-Wheeler and disprove another.
Palette Sparsification for Graphs with Sparse Neighborhoods
A seminal palette sparsification result of Assadi, Chen, and Khanna states that in every $n$-vertex graph of maximum degree $Δ$, sampling $Θ(\log n)$ colors per vertex from $\{1, \ldots, Δ+1\}$ almost certainly allows for a proper coloring from the sampled colors. Alon and Assadi extended this work proving a similar result for $O\left(Δ/\log Δ\right)$-coloring triangle-free graphs. Apart from being interesting results from a combinatorial standpoint, their results have various applications to the design of graph coloring algorithms in different models of computation. In this work, we focus on locally sparse graphs, i.e., graphs with sparse neighborhoods. We say a graph $G = (V, E)$ is $k$-locally-sparse if for each vertex $v \in V$, the subgraph $G[N(v)]$ contains at most $k$ edges. A celebrated result of Alon, Krivelevich, and Sudakov shows that such graphs are $O(Δ/\log (Δ/\sqrt{k}))$-colorable. For any $α\in (0, 1)$ and $k \ll Δ^{2α}$, let $G$ be a $k$-locally-sparse graph. For $q = Θ\left(Δ/\log \left(Δ^α/\sqrt{k}\right)\right)$, we show that sampling $O\left(Δ^α+ \sqrt{\log n}\right)$ colors per vertex is sufficient to obtain a proper $q$-coloring of $G$ from the sampled colors. Setting $k = 1$ recovers the aforementioned result of Alon and Assadi for triangle-free graphs. A key element in our proof is a proposition regarding correspondence coloring in the so-called color-degree setting, which improves upon recent work of Anderson, Kuchukova, and the author and is of independent interest.
Graphs of maximum average degree less than $\frac {11}{3}$ are flexibly $4$-choosable
We consider the flexible list coloring problem, in which we have a graph $G$, a color list assignment $L:V(G) \rightarrow 2^{\mathbb N}$, and a set $U \subseteq V(G)$ of vertices such that each $u \in U$ has a preferred color $p(u) \in L(u)$. Given a constant $\varepsilon > 0$, the problem asks for an $L$-coloring of $G$ in which at least $\varepsilon |U|$ vertices in $U$ receive their preferred color. We use a method of reducible subgraphs to approach this problem. We develop a vertex-partitioning tool that, when used with a new reducible subgraph framework, allows us to define large reducible subgraphs. Using this new tool, we show that if $G$ has maximum average degree less than $\frac{11}{3}$, a list $L(v)$ of size $4$ at each $v \in V(G)$, and a set $U \subseteq V(G)$ of vertices with preferred colors, then there exists an $L$-coloring of $G$ for which at least $2^{-145} |U|$ vertices of $U$ receive their preferred color.
Constructing reflection-symmetric flexible realisations of graphs
Published
• View Publication
• BIB
We study reflection-symmetric realisations of symmetric graphs in the plane that allow a continuous symmetry and edge-length preserving deformation. To do so, we identify a necessary combinatorial condition on graphs with reflection-symmetric flexible realisations. This condition is based on a specific type of edge colouring, where edges are assigned one of three colours in a symmetric way. From some of these colourings we also construct concrete reflection-symmetric realisations with their corresponding symmetry preserving motion. We study also a specific class of reflection-symmetric realisations consisting of triangles and parallelograms.
Spectral Sparsification by Deterministic Discrepancy Walk
Spectral sparsification and discrepancy minimization are two well-studied areas that are closely related. Building on recent connections between these two areas, we generalize the "deterministic discrepancy walk" framework by Pesenti and Vladu [SODA~23] for vector discrepancy to matrix discrepancy, and use it to give a simpler proof of the matrix partial coloring theorem of Reis and Rothvoss [SODA~20]. Moreover, we show that this matrix discrepancy framework provides a unified approach for various spectral sparsification problems, from stronger notions including unit-circle approximation and singular-value approximation to weaker notions including graphical spectral sketching and effective resistance sparsification. In all of these applications, our framework produces improved results with a simpler and deterministic analysis.
Homotopy types of Hom complexes of graph homomorphisms whose codomains are cycles
Published in J Appl. and Comput. Topology 9, 21 (2025)
• View Publication
• BIB
For simple graphs $G$ and $H$, the Hom complex $\mathrm{Hom}(G,H)$ is a polyhedral complex whose vertices are the graph homomorphisms $G\to H$ and whose edges connect the pairs of homomorphisms which differ in a single vertex of $G$. Hom complexes play an important role in an algebro-topological approach to the graph coloring problem. It is known that $\mathrm{Hom}(G,H)$ is homotopy equivalent to a disjoint union of points and circles when both $G$ and $H$ are cycles. We generalize this known result by showing that the same holds whenever $G$ is connected and $H$ is a cycle. To this end, we explicitly construct the universal cover of each connected component of $\mathrm{Hom}(G,H)$ and prove that it is contractible. Additionally, we provide a simple criterion to determine whether the connected component containing a given homomorphism is homotopy equivalent to a point or circle.
Monochromatic graph decompositions inspired by anti-Ramsey theory and the odd-coloring problem
Published in Mathematics 2024, 12(23), 3665
• View Publication
• BIB
We consider extremal edge-coloring problems inspired by the theory of anti-Ramsey / rainbow coloring, and further by odd-colorings and conflict-free colorings.
Let $G$ be a graph, and $F$ any given family of graphs. For every integer $n \geq |G|$, let $f(n,G|F)$ denote the smallest integer $k$ such that any edge coloring of the complete graph $K_n$ with at least $k$ colors forces a copy of $G$ in which each color class induces a member of $F$. Observe that in anti-Ramsey problems each color class is a single edge; i.e., $F=\{K_2\}$.
In our previous paper [arXiv:2405.19812], attention was given mostly to the case where $F$ is hereditary under subgraph inclusion. In the present work we consider coloring problems inspired by odd-coloring and conflict-free coloring. As we shall see, dealing with these problems requires distinct additional tools to those used in our first paper on the subject.
Among the many results introduced in this paper, we mention:
(1) For every graph $G$, there exists a constant $c=c(G)$ such that in any edge coloring of $K_n$ with at least $cn$ colors there is a copy of $G$ in which every vertex $v$ is incident with an edge whose color appears only once among all edges incident with $v$.
(2) In sharp contrast to the above result we prove that if $F$ is the class of all odd graphs (having vertices with odd degrees only) then $f(n,K_k|F)=(1+o(1))$ex$(n,K_{\lceil k/2 \rceil})$, which is quadratic for $k \geq 5$.
(3) We exactly determine $f(n,G|F)$ for small graphs when $F$ belongs to several families representing various odd/even coloring constraints.
Clique covers of complete graphs and piercing multitrack intervals
Assume that $R_1,R_2,\dots,R_t$ are disjoint parallel lines in the plane. A $t$-interval (or $t$-track interval) is a set that can be written as the union of $t$ closed intervals, each on a different line. It is known that pairwise intersecting $2$-intervals can be pierced by two points, one from each line. However, it is not true that every set of pairwise intersecting $3$-intervals can be pierced by three points, one from each line. For $k\ge 3$, Kaiser and Rabinovich asked whether $k$-wise intersecting $t$-intervals can be pierced by $t$ points, one from each line. Our main result provides an asymptotic answer: in any set $S_1,\dots,S_n$ of $k$-wise intersecting $t$-intervals, at least $\frac{k-1}{k+1}n$ can be pierced by $t$ points, one from each line. We prove this in a more general form, replacing intervals by subtrees of a tree. This leads to questions and results on covering vertices of edge-colored complete graphs by vertices of monochromatic cliques having distinct colors, where the colorings are chordal, or more generally induced $C_4$-free graphs. For instance, we show that if the edges of a complete graph $K_n$ are colored with red or blue so that both color classes are induced $C_4$-free, then at least ${4n\over 5}$ vertices can be covered by a red and a blue clique, and this is best possible. We conclude by pointing to new Ramsey-type problems emerging from these restricted colorings.
The interval coloring impropriety of planar graphs
For a graph $G$, we call an edge coloring of $G$ an \textit{improper} \textit{interval edge coloring} if for every $v\in V(G)$ the colors, which are integers, of the edges incident with $v$ form an integral interval. The \textit{interval coloring impropriety} of $G$, denoted by $μ_{int}(G)$, is the smallest value $k$ such that $G$ has an improper interval edge coloring where at most $k$ edges of $G$ with a common endpoint have the same color.
The purpose of this note is to communicate solutions to two previous questions on interval coloring impropriety, mainly regarding planar graphs. First, we prove $μ_{int}(G) \leq 2$ for every outerplanar graph $G$. This confirms the conjecture by Casselgren and Petrosyan in the affirmative. Secondly, we prove that for each $k\geq 2$, the interval coloring impropriety of $k$-trees is unbounded. This refutes the conjecture by Carr, Cho, Crawford, Iršič, Pai and Robinson.
On strongly and robustly critical graphs
In extremal combinatorics, it is common to focus on structures that are minimal with respect to a certain property. In particular, critical and list-critical graphs occupy a prominent place in graph coloring theory. Stiebitz, Tuza, and Voigt introduced strongly critical graphs, i.e., graphs that are $k$-critical yet $L$-colorable with respect to every non-constant assignment $L$ of lists of size $k-1$. Here we strengthen this notion and extend it to the framework of DP-coloring (or correspondence coloring) by defining robustly $k$-critical graphs as those that are not $(k-1)$-DP-colorable, but only due to the fact that $χ(G) = k$. We then seek general methods for constructing robustly critical graphs. Our main result is that if $G$ is a critical graph (with respect to ordinary coloring), then the join of $G$ with a sufficiently large clique is robustly critical; this is new even for strong criticality.
Deterministic approximate counting of colorings with fewer than $2Δ$ colors via absence of zeros
Published in TheoretiCS, Volume 5 (2026), Article 1, 1-41
• View Publication
• BIB
Let $Δ,q\geq 3$ be integers. We prove that there exists $η\geq 0.002$ such that if $q\geq (2-η)Δ$, then there exists an open set $\mathcal{U}\subset \mathbb{C}$ that contains the interval $[0,1]$ such that for each $w\in \mathcal{U}$ and any graph $G=(V,E)$ of maximum degree at most $Δ$, the partition function of the anti-ferromagnetic $q$-state Potts model evaluated at $w$ does not vanish. This provides a (modest) improvement on a result of Liu, Sinclair, and Srivastava, and breaks the $q=2Δ$-barrier for this problem.
As a direct consequence we obtain via Barvinok's interpolation method a deterministic polynomial time algorithm to approximate the number of proper $q$-colorings of graphs of maximum degree at most $Δ$, provided $q\geq (2-η)Δ$.