coloring
4497 papers tagged with this keyword
The rainbow Erdős-Rothschild problem for the Fano plane
Published
• View Publication
• BIB
The Fano plane is the unique linear 3-uniform hypergraph on seven vertices and seven hyperedges. It was recently proved that, for all $n \geq 8$, the balanced complete bipartite 3-uniform hypergraph on $n$ vertices, denoted by $B_n$, is the 3-uniform hypergraph on $n$ vertices with the largest number of hyperedges that does not contain a copy of the Fano plane. For sufficiently large $r$ and $n$, we show that $B_n$ admits the largest number of $r$-edge colorings with no rainbow copy of the Fano plane.
Integer colorings with forbidden rainbow sums
Published
• View Publication
• BIB
For a set of positive integers $A \subseteq [n]$, an $r$-coloring of $A$ is rainbow sum-free if it contains no rainbow Schur triple. In this paper we initiate the study of the rainbow Erdős-Rothchild problem in the context of sum-free sets, which asks for the subsets of $[n]$ with the maximum number of rainbow sum-free $r$-colorings. We show that for $r=3$, the interval $[n]$ is optimal, while for $r\geq8$, the set $[\lfloor n/2 \rfloor, n]$ is optimal. We also prove a stability theorem for $r\geq4$. The proofs rely on the hypergraph container method, and some ad-hoc stability analysis.
Reflections on the Erd\H {o}s Discrepancy Problem
We consider some coloring issues related to the famous Erd\H {o}s Discrepancy Problem. A set of the form $A_{s,k}=\{s,2s,\dots,ks\}$, with $s,k\in \mathbb{N}$, is called a \emph{homogeneous arithmetic progression}. We prove that for every fixed $k$ there exists a $2$-coloring of $\mathbb N$ such that every set $A_{s,k}$ is \emph{perfectly balanced} (the numbers of red and blue elements in the set $A_{s,k}$ differ by at most one). This prompts reflection on various restricted versions of Erd\H {o}s' problem, obtained by imposing diverse confinements on parameters $s,k$. In a slightly different direction, we discuss a \emph{majority} variant of the problem, in which each set $A_{s,k}$ should have an excess of elements colored differently than the first element in the set. This problem leads, unexpectedly, to some deep questions concerning completely multiplicative functions with values in $\{+1,-1\}$. In particular, whether there is such a function with partial sums bounded from above.
Proportional Choosability of Complete Bipartite Graphs
Published
• View Publication
• BIB
Proportional choosability is a list analogue of equitable coloring that was introduced in 2019. The smallest $k$ for which a graph $G$ is proportionally $k$-choosable is the proportional choice number of $G$, and it is denoted $χ_{pc}(G)$. In the first ever paper on proportional choosability, it was shown that when $2 \leq n \leq m$, $ \max\{ n + 1, 1 + \lceil m / 2 \rceil\} \leq χ_{pc}(K_{n,m}) \leq n + m - 1$. In this note we improve on this result by showing that $ \max\{ n + 1, \lceil n / 2 \rceil + \lceil m / 2 \rceil\} \leq χ_{pc}(K_{n,m}) \leq n + m -1- \lfloor m/3 \rfloor$. In the process, we prove some new lower bounds on the proportional choice number of complete multipartite graphs. We also present several interesting open questions.
On the balanced upper chromatic number of finite projective planes
In this paper, we study vertex colorings of hypergraphs in which all color class sizes differ by at most one (balanced colorings) and each hyperedge contains at least two vertices of the same color (rainbow-free colorings). For any hypergraph $H$, the maximum number $k$ for which there is a balanced rainbow-free $k$-coloring of $H$ is called the balanced upper chromatic number of the hypergraph. We confirm the conjecture of Araujo-Pardo, Kiss and Montejano by determining the balanced upper chromatic number of the desarguesian projective plane $\mathrm{PG}(2,q)$ for all $q$. In addition, we determine asymptotically the balanced upper chromatic number of several families of non-desarguesian projective planes and also provide a general lower bound for arbitrary projective planes using probabilistic methods which determines the parameter up to a multiplicative constant.
Minimum embedding of any Steiner triple system into a 3-sun system via matchings
Published
• View Publication
• BIB
Let $G$ be a simple finite graph and $G'$ be a subgraph of $G$. A $G'$-design $(X,\cal B)$ of order $n$ is said to be embedded into a $G$-design $(X\cup U,\cal C)$ of order $n+u$, if there is an injective function $f:\cal B\rightarrow \cal C$ such that $B$ is a subgraph of $f(B)$ for every $B\in\cal B$. The function $f$ is called an embedding of $(X,\cal B)$ into $(X\cup U,\cal C)$. If $u$ attains the minimum possible value, then $f$ is a minimum embedding. Here, by means of König's Line Coloring Theorem and edge coloring properties a complete solution is given to the problem of determining a minimum embedding of any $K_3$-design (well-known as Steiner Triple System or, shortly, STS) into a 3-sun system or, shortly, a 3SS (i.e., a $G$-design where $G$ is a graph on six vertices consisting of a triangle with three pendant edges which form a 1-factor).
$S$-packing colorings of distance graphs $G(\mathbb{Z},\{2,t\})$
Given a graph $G$ and a non-decreasing sequence $S=(a_1,a_2,\ldots)$ of positive integers, the mapping $f:V(G) \rightarrow \{1,\ldots,k\}$ is an $S$-packing $k$-coloring of $G$ if for any distinct vertices $u,v\in V(G)$ with $f(u)=f(v)=i$ the distance between $u$ and $v$ in $G$ is greater than $a_i$. The smallest $k$ such that $G$ has an $S$-packing $k$-coloring is the $S$-packing chromatic number, $χ_S(G)$, of $G$. In this paper, we consider the distance graphs $G(\mathbb{Z},\{2,t\})$, where $t>1$ is an odd integer, which has $\mathbb{Z}$ as its vertex set, and $i,j\in\mathbb{Z}$ are adjacent if $|i-j|\in\{2,t\}$. We determine the $S$-packing chromatic numbers of the graphs $G(\mathbb{Z},\{2,t\})$, where $S$ is any sequence with $a_i\in\{1,2\}$ for all $i$. In addition, we give lower and upper bounds for the $d$-distance chromatic numbers of the distance graphs $G(\mathbb{Z},\{2,t\})$, which in the cases $d\ge t-3$ give the exact values. Implications for the corresponding $S$-packing chromatic numbers of the circulant graphs are also discussed.
New Approximation Algorithms for Maximum Asymmetric Traveling Salesman and Shortest Superstring
In the maximum asymmetric traveling salesman problem (Max ATSP) we are given a complete directed graph with nonnegative weights on the edges and we wish to compute a traveling salesman tour of maximum weight. In this paper we give a fast combinatorial $\frac{7}{10}$-approximation algorithm for Max ATSP. It is based on techniques of {\em eliminating} and {\em diluting} problematic subgraphs with the aid of {\it half-edges} and a method of edge coloring. (A {\it half-edge} of edge $(u,v)$ is informally speaking "either a head or a tail of $(u,v)$".) A novel technique of {\em diluting} a problematic subgraph $S$ consists in a seeming reduction of its weight, which allows its better handling.
The current best approximation algorithms for Max ATSP, achieving the approximation guarantee of $\frac 23$, are due to Kaplan, Lewenstein, Shafrir, Sviridenko (2003) and Elbassioni, Paluch, van Zuylen (2012). Using a result by Mucha, which states that an $α$-approximation algorithm for Max ATSP implies a $(2+\frac{11(1-α)}{9-2α})$-approximation algorithm for the shortest superstring problem (SSP), we obtain also a $(2 \frac{33}{76} \approx 2,434)$-approximation algorithm for SSP, beating the previously best known (having an approximation factor equal to $2 \frac{11}{23} \approx 2,4782$.)
Improved bounds for some facially constrained colorings
Published in Discuss. Math. Graph Theory 2020
• View Publication
• BIB
A facial-parity edge-coloring of a $2$-edge-connected plane graph is a facially-proper edge-coloring in which every face is incident with zero or an odd number of edges of each color. A facial-parity vertex-coloring of a $2$-connected plane graph is a facially-proper vertex-coloring in which every face is incident with zero or an odd number of vertices of each color. Czap and Jendroľ (in Facially-constrained colorings of plane graphs: A survey, Discrete Math. 340 (2017), 2691--2703), conjectured that $10$ colors suffice in both colorings. We present an infinite family of counterexamples to both conjectures.
A facial $(P_{k}, P_{\ell})$-WORM coloring of a plane graph $G$ is a coloring of the vertices such that $G$ contains no rainbow facial $k$-path and no monochromatic facial $\ell$-path. Czap, Jendroľ and Valiska (in WORM colorings of planar graphs, Discuss. Math. Graph Theory 37 (2017), 353--368), proved that for any integer $n\ge 12$ there exists a connected plane graph on $n$ vertices, with maximum degree at least $6$, having no facial $(P_{3},P_{3})$-WORM coloring. They also asked if there exists a graph with maximum degree $4$ having the same property. We prove that for any integer $n\ge 18$, there exists a connected plane graph, with maximum degree $4$, with no facial $(P_{3},P_{3})$-WORM coloring.
The Iteration Number of Colour Refinement
The Colour Refinement procedure and its generalisation to higher dimensions, the Weisfeiler-Leman algorithm, are central subroutines in approaches to the graph isomorphism problem. In an iterative fashion, Colour Refinement computes a colouring of the vertices of its input graph.
A trivial upper bound on the iteration number of Colour Refinement on graphs of order n is n-1. We show that this bound is tight. More precisely, we prove via explicit constructions that there are infinitely many graphs G on which Colour Refinement takes |G|-1 iterations to stabilise. Modifying the infinite families that we present, we show that for every natural number n >= 10, there are graphs on n vertices on which Colour Refinement requires at least n-2 iterations to reach stabilisation.
The Erdős-Hajnal conjecture for three colors and multiple forbidden patterns
Published
• View Publication
• BIB
Erdős and Szekeres's quantitative version of Ramsey's theorem asserts that any complete graph on n vertices that is edge-colored with two colors has a monochromatic clique on at least 1/2log(n) vertices. The famous Erdős-Hajnal conjecture asserts that forbidding fixed color patterns ensures larger monochromatic cliques. Specifically, it claims that for any fixed integer k and any clique K on k vertices edge-colored with two colors, there is a positive constant a such that in any complete n-vertex graph edge-colored with two colors that does not contain a copy of K, there is a monochromatic clique on at least n^a vertices.
We consider edge-colorings with three colors. For a family H of triangles, each colored with colors from {r, b, y}, Forb(n,H) denotes a family of edge-colorings of the complete n-vertex graph using colors from {r, b, y} and containing none of the colorings from H. Let h_2(n, H) be the maximum q such that any coloring from Forb(n, H) has a clique on at least q vertices using at most two colors. We provide bounds on h_2(n, H) for all families H consisting of at most three triangles. For most of them, our bounds are asymptotically tight. This extends a result of Fox, Grinshpun, and Pach, who determined h_2(n, H) for H consisting of a rainbow triangle, and confirms the multicolor Erdős-Hajnal conjecture for these sets of patterns.
A Frameless 2-Coloring of the Plane Lattice
Published
• View Publication
• BIB
A picture frame in two dimensions is a rectangular array of symbols, with at least two rows and columns, where the first and last rows are identical, and the first and last columns are identical. If a coloring of the plane lattice has no picture frames, we call it frameless. In this note we show how to create a simple 2-coloring of the plane lattice that is frameless.
Coarse distinguishability of graphs with symmetric growth
Let $X$ be a connected, locally finite graph with symmetric growth. We prove that there is a vertex coloring $φ\colon X\to\{0,1\}$ and some $R\in\mathbb{N}$ such that every automorphism $f$ preserving $φ$ is $R$-close to the identity map; this can be seen as a coarse geometric version of symmetry breaking. We also prove that the infinite motion conjecture is true for graphs where at least one vertex stabilizer $S_x$ satisfies the following condition: for every non-identity automorphism $f\in S_x$, there is a sequence $x_n$ such that $\lim d(x_n,f(x_n))=\infty$.
Propagation time for weighted zero forcing
Zero forcing is a graph coloring process that was defined as a tool for bounding the minimum rank and maximum nullity of a graph. It has also been used for studying control of quantum systems and monitoring electrical power networks. One of the problems from the 2017 AIM workshop "Zero forcing and its applications" was to explore edge-weighted probabilistic zero forcing, where edges have weights that determine the probability of a successful force if forcing is possible under the standard zero forcing coloring rule.
In this paper, we investigate the expected time to complete the weighted zero forcing coloring process, known as the expected propagation time, as well as the time for the process to be completed with probability at least $α$, known as the $α$-confidence propagation time. We demonstrate how to find the expected and confidence propagation times of any edge-weighted graph using Markov matrices. We also determine the expected and confidence propagation times for various families of edge-weighted graphs including complete graphs, stars, paths, and cycles.
Acyclic edge coloring conjecture is true on planar graphs without intersecting triangles
Published
• View Publication
• BIB
An acyclic edge coloring of a graph $G$ is a proper edge coloring such that no bichromatic cycles are produced. The acyclic edge coloring conjecture by Fiam{č}ik (1978) and Alon, Sudakov and Zaks (2001) states that every simple graph with maximum degree $Δ$ is acyclically edge $(Δ+ 2)$-colorable. Despite many milestones, the conjecture remains open even for planar graphs. In this paper, we confirm affirmatively the conjecture on planar graphs without intersecting triangles. We do so by first showing, by discharging methods, that every planar graph without intersecting triangles must have at least one of the six specified groups of local structures, and then proving the conjecture by recoloring certain edges in each such local structure and by induction on the number of edges in the graph.
Structural Parameterizations of Clique Coloring
Published
• View Publication
• BIB
A clique coloring of a graph is an assignment of colors to its vertices such that no maximal clique is monochromatic. We initiate the study of structural parameterizations of the Clique Coloring problem which asks whether a given graph has a clique coloring with $q$ colors. For fixed $q \ge 2$, we give an $\mathcal{O}^{\star}(q^{tw})$-time algorithm when the input graph is given together with one of its tree decompositions of width $tw$. We complement this result with a matching lower bound under the Strong Exponential Time Hypothesis. We furthermore show that (when the number of colors is unbounded) Clique Coloring is XP parameterized by clique-width.
Packing $(1,1,2,4)$-coloring of subcubic outerplanar graphs
Published
• View Publication
• BIB
For $1\leq s_1 \le s_2 \le \ldots \le s_k$ and a graph $G$, a packing $(s_1, s_2, \ldots, s_k)$-coloring of $G$ is a partition of $V(G)$ into sets $V_1, V_2, \ldots, V_k$ such that, for each $1\leq i \leq k$, the distance between any two distinct $x,y\in V_i$ is at least $s_i + 1$. The packing chromatic number, $χ_p(G)$, of a graph $G$ is the smallest $k$ such that $G$ has a packing $(1,2, \ldots, k)$-coloring. It is known that there are trees of maximum degree 4 and subcubic graphs $G$ with arbitrarily large $χ_p(G)$. Recently, there was a series of papers on packing $(s_1, s_2, \ldots, s_k)$-colorings of subcubic graphs in various classes. We show that every $2$-connected subcubic outerplanar graph has a packing $(1,1,2)$-coloring and every subcubic outerplanar graph is packing $(1,1,2,4)$-colorable. Our results are sharp in the sense that there are $2$-connected subcubic outerplanar graphs that are not packing $(1,1,3)$-colorable and there are subcubic outerplanar graphs that are not packing $(1,1,2,5)$-colorable. We also show subcubic outerplanar graphs that are not packing $(1,2,2,4)$-colorable and not packing $(1,1,3,4)$-colorable.
Graphic Lattices and Matrix Lattices Of Topological Coding
Lattice-based Cryptography is considered to have the characteristics of classical computers and quantum attack resistance. We will design various graphic lattices and matrix lattices based on knowledge of graph theory and topological coding, since many problems of graph theory can be expressed or illustrated by (colored) star-graphic lattices. A new pair of the leaf-splitting operation and the leaf-coinciding operation will be introduced, and we combine graph colorings and graph labellings to design particular proper total colorings as tools to build up various graphic lattices, graph homomorphism lattice, graphic group lattices and Topcode-matrix lattices. Graphic group lattices and (directed) Topcode-matrix lattices enable us to build up connections between traditional lattices and graphic lattices. We present mathematical problems encountered in researching graphic lattices, some problems are: Tree topological authentication, Decompose graphs into Hanzi-graphs, Number String Decomposition Problem, $(p,s)$-gracefully total numbers.
Proof of Halin's normal spanning tree conjecture
Published
• View Publication
• BIB
Halin conjectured 20 years ago that a graph has a normal spanning tree if and only if every minor of it has countable colouring number. We prove Halin's conjecture. This implies a forbidden minor characterisation for the property of having a normal spanning tree.
Cliques with many colors in triple systems
Published
• View Publication
• BIB
Erdős and Hajnal constructed a 4-coloring of the triples of an $N$-element set such that every $n$-element subset contains 2 triples with distinct colors, and $N$ is double exponential in $n$. Conlon, Fox and Rödl asked whether there is some integer $q\ge 3$ and a $q$-coloring of the triples of an $N$-element set such that every $n$-element subset has 3 triples with distinct colors, and $N$ is double exponential in $n$. We make the first nontrivial progress on this problem by providing a $q$-coloring with this property for all $q\geq 9$, where $N$ is exponential in $n^{2+cq}$ and $c>0$ is an absolute constant.