coloring
4497 papers tagged with this keyword
Cover and variable degeneracy
Published in Discrete Mathematics 345 (2022) 112765
• View Publication
• BIB
Let $f$ be a nonnegative integer valued function on the vertex set of a graph. A graph is \textbf{strictly $f$-degenerate} if each nonempty subgraph $Γ$ has a vertex $v$ such that $\mathrm{deg}_Γ(v) < f(v)$. In this paper, we define a new concept, strictly $f$-degenerate transversal, which generalizes list coloring, signed coloring, DP-coloring, $L$-forested-coloring, and $(f_{1}, f_{2}, \dots, f_{s})$-partition. A \textbf{cover} of a graph $G$ is a graph $H$ with vertex set $V(H) = \bigcup_{v \in V(G)} X_{v}$, where $X_{v} = \{(v, 1), (v, 2), \dots, (v, s)\}$; the edge set $\mathscr{M} = \bigcup_{uv \in E(G)}\mathscr{M}_{uv}$, where $\mathscr{M}_{uv}$ is a matching between $X_{u}$ and $X_{v}$. A vertex set $R \subseteq V(H)$ is a \textbf{transversal} of $H$ if $|R \cap X_{v}| = 1$ for each $v \in V(G)$. A transversal $R$ is a \textbf{strictly $f$-degenerate transversal} if $H[R]$ is strictly $f$-degenerate. The main result of this paper is a degree type result, which generalizes Brooks' theorem, Gallai's theorem, degree-choosable result, signed degree-colorable result, and DP-degree-colorable result. We also give some structural results on critical graphs with respect to strictly $f$-degenerate transversal. Using these results, we can uniformly prove many new and known results. In the final section, we pose some open problems.
Variable degeneracy on toroidal graphs
Published in Graphs and Combinatorics, 39 (2024) article number 127
• View Publication
• BIB
DP-coloring was introduced by Dvořák and Postle as a generalization of list coloring and signed coloring. A new coloring, strictly $f$-degenerate transversal, is a further generalization of DP-coloring and $L$-forested-coloring. In this paper, we present some structural results on planar and toroidal graphs with forbidden configurations, and establish some sufficient conditions for the existence of strictly $f$-degenerate transversal based on these structural results. Consequently, (i) every toroidal graph without subgraphs isomorphic to the configurations in Fig.2 is DP-$4$-colorable, and has list vertex arboricity at most $2$, (ii) every toroidal graph without $4$-cycles is DP-$4$-colorable, and has list vertex arboricity at most $2$, (iii) every planar graph without subgraphs isomorphic to the configurations in Fig.3 is DP-$4$-colorable, and has list vertex arboricity at most $2$. These results improve upon previous results on DP-$4$-coloring [Discrete Math. 341~(7) (2018) 1983--1986; Bull. Malays. Math. Sci. Soc. 43~(3) (2020) 2271--2285] and (list) vertex arboricity [Discrete Math. 333 (2014) 101--105; Int. J. Math. Stat. 16~(1) (2015) 97--105; Iranian Math. Soc. 42~(5) (2016) 1293--1303].
Structural domination and coloring of some ($P_7, C_7$)-free graphs
We show that every connected induced subgraph of a graph $G$ is dominated by an induced connected split graph if and only if $G$ is $\cal{C}$-free, where $\cal{C}$ is a set of six graphs which includes $P_7$ and $C_7$, and each containing an induced $P_5$. A similar characterisation is shown for the class of graphs which are dominated by induced complete split graphs. Motivated by these results, we study structural descriptions of some classes of $\cal{C}$-free graphs. In particular, we give structural descriptions for the class of ($P_7$,$C_7$,$C_4$,gem)-free graphs and for the class of ($P_7$,$C_7$,$C_4$,diamond)-free graphs. Using these results, we show that every ($P_7$,$C_7$,$C_4$,gem)-free graph $G$ satisfies $χ(G) \leq 2ω(G)-1$, and that every ($P_7$,$C_7$,$C_4$,diamond)-free graph $H$ satisfies $χ(H) \leq ω(H)+1$. These two upper bounds are tight for any subgraph of the Petersen graph containing a $C_5$.
Graph product structure for non-minor-closed classes
Dujmović et al. [\emph{J.~ACM}~'20] recently proved that every planar graph is isomorphic to a subgraph of the strong product of a bounded treewidth graph and a path. Analogous results were obtained for graphs of bounded Euler genus or apex-minor-free graphs. These tools have been used to solve longstanding problems on queue layouts, non-repetitive colouring, $p$-centered colouring, and adjacency labelling. This paper proves analogous product structure theorems for various non-minor-closed classes. One noteable example is $k$-planar graphs (those with a drawing in the plane in which each edge is involved in at most $k$ crossings). We prove that every $k$-planar graph is isomorphic to a subgraph of the strong product of a graph of treewidth $O(k^5)$ and a path. This is the first result of this type for a non-minor-closed class of graphs. It implies, amongst other results, that $k$-planar graphs have non-repetitive chromatic number upper-bounded by a function of $k$. All these results generalise for drawings of graphs on arbitrary surfaces. In fact, we work in a more general setting based on so-called shortcut systems, which are of independent interest. This leads to analogous results for certain types of map graphs, string graphs, graph powers, and nearest neighbour graphs.
On multicolor Ramsey numbers of triple system paths of length 3
Published
• View Publication
• BIB
Let $\mathcal{H}$ be a 3-uniform hypergraph. The multicolor Ramsey number $ r_k(\mathcal{H})$ is the smallest integer $n$ such that every coloring of $ \binom{[n]}{3}$ with $k$ colors has a monochromatic copy of $\mathcal{H}$. Let $ \mathcal{L}$ be the loose 3-uniform path with 3 edges and $ \mathcal{M}$ denote the messy 3-uniform path with 3 edges; that is, let $\mathcal{L} = \{abc, cde, efg\}$ and $\mathcal{M} = \{ abc, bcd, def\}$. In this note we prove $ r_k(\mathcal{L}) < 1.54k$ and $ r_k(\mathcal{M}) < 1.6k$ for $k$ sufficiently large.
Using Chinese Characters To Generate Text-Based Passwords For Information Security
Graphical passwords (GPWs) are in many areas of the current world. Topological graphic passwords (Topsnut-gpws) are a new type of cryptography, and they differ from the existing GPWs. A Topsnut-gpw consists of two parts: one is a topological structure (graph), and one is a set of discrete elements (a graph labelling, or coloring), the topological structure connects these discrete elements together to form an interesting "story". Our idea is to transform Chinese characters into computer and electronic equipments with touch screen by speaking, writing and keyboard for forming Hanzi-graphs and Hanzi-gpws. We will use Hanzigpws to produce text-based passwords (TB-paws). We will introduce flawed graph labellings on disconnected Hanzi-graphs.
Improved bounds for centered colorings
Published in Advances in Combinatorics, 2021:8
• View Publication
• BIB
A vertex coloring $φ$ of a graph $G$ is $p$-centered if for every connected subgraph $H$ of $G$ either $φ$ uses more than $p$ colors on $H$ or there is a color that appears exactly once on $H$. Centered colorings form one of the families of parameters that allow to capture notions of sparsity of graphs: A class of graphs has bounded expansion if and only if there is a function $f$ such that for every $p\geq1$, every graph in the class admits a $p$-centered coloring using at most $f(p)$ colors.
In this paper, we give upper bounds for the maximum number of colors needed in a $p$-centered coloring of graphs from several widely studied graph classes. We show that: (1) planar graphs admit $p$-centered colorings with $\mathcal{O}(p^3\log p)$ colors where the previous bound was $\mathcal{O}(p^{19})$; (2) bounded degree graphs admit $p$-centered colorings with $\mathcal{O}(p)$ colors while it was conjectured that they may require exponential number of colors in $p$; (3) graphs avoiding a fixed graph as a topological minor admit $p$-centered colorings with a polynomial in $p$ number of colors. All these upper bounds imply polynomial algorithms for computing the colorings. Prior to this work there were no non-trivial lower bounds known. We show that: (4) there are graphs of treewidth $t$ that require $\binom{p+t}{t}$ colors in any $p$-centered coloring and this bound matches the upper bound; (5) there are planar graphs that require $Ω(p^2\log p)$ colors in any $p$-centered coloring.
Coloring count cones of planar graphs
Published
• View Publication
• BIB
For a plane near-triangulation $G$ with the outer face bounded by a cycle $C$, let $n^\star_G$ denote the function that to each $4$-coloring $ψ$ of $C$ assigns the number of ways $ψ$ extends to a $4$-coloring of $G$. The block-count reducibility argument (which has been developed in connection with attempted proofs of the Four Color Theorem) is equivalent to the statement that the function $n^\star_G$ belongs to a certain cone in the space of all functions from $4$-colorings of $C$ to real numbers. We investigate the properties of this cone for $|C|=5$, formulate a conjecture strengthening the Four Color Theorem, and present evidence supporting this conjecture.
The size-Ramsey number of powers of bounded degree trees
Published
• View Publication
• BIB
Given a positive integer $s$, the $s$-colour size-Ramsey number of a graph $H$ is the smallest integer $m$ such that there exists a graph $G$ with $m$ edges with the property that, in any colouring of $E(G)$ with $s$ colours, there is a monochromatic copy of $H$. We prove that, for any positive integers $k$ and $s$, the $s$-colour size-Ramsey number of the $k$th power of any $n$-vertex bounded degree tree is linear in $n$. As a corollary we obtain that the $s$-colour size-Ramsey number of $n$-vertex graphs with bounded treewidth and bounded degree is linear in $n$, which answers a question raised by Kamčev, Liebenau, Wood and Yepremyan [The size Ramsey number of graphs with bounded treewidth, arXiv:1906.09185 (2019)].
A spectral bound on hypergraph discrepancy
Let $\mathcal{H}$ be a $t$-regular hypergraph on $n$ vertices and $m$ edges. Let $M$ be the $m \times n$ incidence matrix of $\mathcal{H}$ and let us denote $λ=\max_{v \perp \overline{1},\|v\| = 1}\|Mv\|$. We show that the discrepancy of $\mathcal{H}$ is $O(\sqrt{t} + λ)$. As a corollary, this gives us that for every $t$, the discrepancy of a random $t$-regular hypergraph with $n$ vertices and $m \geq n$ edges is almost surely $O(\sqrt{t})$ as $n$ grows. The proof also gives a polynomial time algorithm that takes a hypergraph as input and outputs a coloring with the above guarantee.
Placement Delivery Arrays from Combinations of Strong Edge Colorings
Published
• View Publication
• BIB
It has recently been pointed out in both of the works [C. Shanguan, Y. Zhang, and G. Ge, {\em IEEE Trans. Inform. Theory}, 64(8):5755-5766 (2018)] and [Q. Yan, X. Tang, Q. Chen, and M. Cheng, {\em IEEE Commun. Lett.}, 22(2):236-239 (2018)] that placement delivery arrays (PDAs), as coined in [Q. Yan, M. Cheng, X. Tang, and Q. Chen, {\em IEEE Trans. Inform. Theory}, 63(9):5821-5833 (2017)], are equivalent to strong edge colorings of bipartite graphs. In this paper we consider various methods of combining two or more strong edge colorings of bipartite graphs to obtain new ones, and therefore new PDAs. Combining PDAs in certain ways also gives a framework for obtaining PDAs with more robust and flexible parameters. We investigate how the parameters of certain strong edge colorings change after being combined with others and, after comparing the parameters of the resulting PDAs with those of the initial ones, find that subpacketization levels thusly can often be improved.
Homogeneous Dual Ramsey Theorem
For positive integers $k < n$ such that $k$ divides $n$, let $(n)^k_{\hom}$ be the set of homogeneous $k$-partitions of $\{1, \dots, n\}$, that is, the set of partitions of $\{1, \dots, n\}$ into $k$ classes of the same cardinality. In the article "Ramsey properties of infinite measure algebras and topological dynamics of the group of measure preserving automorphisms: some results and an open problem" by Kechris, Sokic, and Todorcevic, the following question was asked:
Is it true that given positive integers $k < m$ and $N$ such that $k$ divides $m$, there exists a number $n>m$ such that $m$ divides $n$, satisfying that for every coloring $(n)^k_{\hom}=C_1\cup\dots\cup C_N$ we can choose $u\in (n)^m_{\hom}$ such that $\{t\in (n)^k_{\hom}: t\mbox{ is coarser than } u\}\subseteq C_i$ for some $i$?
In this note we give a positive answer to that question. This result turns out to be a homogeneous version of the finite Dual Ramsey Theorem of Graham-Rothschild. As explained by Kechris, Sokic, and Todorcevic in their article, our result also proves that the class $\mathcal{OMBA}_{\mathbb Q_2}$ of naturally ordered finite measure algebras with measure taking values in the dyadic rationals has the Ramsey property.
Vector Colorings of Random, Ramanujan, and Large-Girth Irregular Graphs
We prove that in sparse Erdős-Rényi graphs of average degree $d$, the vector chromatic number (the relaxation of chromatic number coming from the Lovàsz theta function) is typically $\tfrac{1}{2}\sqrt{d} + o_d(1)$. This fits with a long-standing conjecture that various refutation and hypothesis-testing problems concerning $k$-colorings of sparse Erdős-Rényi graphs become computationally intractable below the `Kesten-Stigum threshold' $d_{KS,k} = (k-1)^2$. Along the way, we use the celebrated Ihara-Bass identity and a carefully constructed non-backtracking random walk to prove two deterministic results of independent interest: a lower bound on the vector chromatic number (and thus the chromatic number) using the spectrum of the non-backtracking walk matrix, and an upper bound dependent only on the girth and universal cover. Our upper bound may be equivalently viewed as a generalization of the Alon-Boppana theorem to irregular graphs
Linear transformations between colorings in chordal graphs
Let $k$ and $d$ be such that $k \ge d+2$. Consider two $k$-colorings of a $d$-degenerate graph $G$. Can we transform one into the other by recoloring one vertex at each step while maintaining a proper coloring at any step? Cereceda et al. answered that question in the affirmative, and exhibited a recolouring sequence of exponential length.
If $k=d+2$, we know that there exists graphs for which a quadratic number of recolorings is needed. And when $k=2d+2$, there always exists a linear transformation. In this paper, we prove that, as long as $k \ge d+4$, there exists a transformation of length at most $f(Δ) \cdot n$ between any pair of $k$-colorings of chordal graphs (where $Δ$ denotes the maximum degree of the graph). The proof is constructive and provides a linear time algorithm that, given two $k$-colorings $c_1,c_2$ computes a linear transformation between $c_1$ and $c_2$.
Turán theorems for unavoidable patterns
We prove Turán-type theorems for two related Ramsey problems raised by Bollobás and by Fox and Sudakov. First, for $t \ge 3$, we show that any two-colouring of the complete graph on $n$ vertices that is $δ$-far from being monochromatic contains an \emph{unavoidable $t$-colouring} when $δ\gg n^{-1/t}$, where an unavoidable $t$-colouring is any two-colouring of a clique of order $2t$ in which one colour forms either a clique of order $t$ or two disjoint cliques of order $t$. Next, for $ t\ge 3$, we show that any tournament on $n$ vertices that is $δ$-far from being transitive contains an \emph{unavoidable $t$-tournament} when $δ\gg n^{-1/\lceil t/2 \rceil}$, where an unavoidable $t$-tournament is the blow-up of a cyclic triangle obtained by replacing each vertex of the triangle by a transitive tournament of order $t$. Conditional on a well-known conjecture about bipartite Turán numbers, both results are sharp up to implied constants and hence determine the order of magnitude of the corresponding off-diagonal Ramsey numbers.
Algorithms for weighted independent transversals and strong colouring
Published in ACM Transactions on Algorithms 18(1), Article #1 (2021)
• View Publication
• BIB
An independent transversal (IT) in a graph with a given vertex partition is an independent set consisting of one vertex in each partition class. Several sufficient conditions are known for the existence of an IT in a given graph with a given vertex partition, which have been used over the years to solve many combinatorial problems. Some of these IT existence theorems have algorithmic proofs, but there remains a gap between the best bounds given by nonconstructive results, and those obtainable by efficient algorithms.
Recently, Graf and Haxell (2018) described a new (deterministic) algorithm that asymptotically closes this gap, but there are limitations on its applicability. In this paper we develop a randomized version of this algorithm that is much more widely applicable, and demonstrate its use by giving efficient algorithms for two problems concerning the strong chromatic number of graphs.
Complexity of acyclic colorings of graphs and digraphs with degree and girth constraints
We consider acyclic r-colorings in graphs and digraphs: they color the vertices in r colors, each of which induces an acyclic graph or digraph. (This includes the dichromatic number of a digraph, and the arboricity of a graph.) For any girth and sufficiently high degree, we prove the NP-completeness of acyclic r-colorings; our method also implies the known analogue for classical colorings. The proofs use high girth graphs with high arboricity and dichromatic numbers. High girth graphs and digraphs with high chromatic and dichromatic numbers have been well studied; we re-derive the results from a general result about relational systems, which also implies the similar fact about high girth and high arboricity used in the proofs. These facts concern graphs and digraphs of high girth and low degree; we contrast them by considering acyclic colorings of tournaments (which have low girth and high degree). We prove that even though acyclic two-colorability of tournaments is known to be NP-complete, random acyclically r-colorable tournaments allow recovering an acyclic r-coloring in deterministic linear time, with high probablity.
Algebraic properties of perfect structures
Published
• View Publication
• BIB
A perfect structure is a triple $(M,P,S)$ of matrices $M, P$ and $S$ of consistent sizes such that $MP = PS$. Perfect structures comprise similar matrices, eigenvectors, perfect colorings (equitable partitions) and graph coverings. In this paper we study general algebraic properties of perfect structures and characterize all perfect structures with identity or unity matrix $M$. Next, we consider a graph product generalizing most standard products (e.g. Cartesian, tensor, normal, lexicographic graph products). For this product we propose a construction of perfect structures and prove that it can be reversed for eigenvectors. Finally, we apply obtained results to calculate the spectra of several classes of graphs and to prove some properties of perfect colorings.
Using Markov chains to determine expected propagation time for probabilistic zero forcing
Published
• View Publication
• BIB
Zero forcing is a coloring game played on a graph where each vertex is initially colored blue or white and the goal is to color all the vertices blue by repeated use of a (deterministic) color change rule starting with as few blue vertices as possible. Probabilistic zero forcing yields a discrete dynamical system governed by a Markov chain. Since in a connected graph any one vertex can eventually color the entire graph blue using probabilistic zero forcing, the expected time to do this studied. Given a Markov transition matrix for a probabilistic zero forcing process, we establish an exact formula for expected propagation time. We apply Markov chains to determine bounds on expected propagation time for various families of graphs.
Hierarchical Colorings of Cographs
Cographs are exactly hereditarily well-colored graphs, i.e., the graphs for which a greedy coloring of every induced subgraph uses only the minimally necessary number of colors $χ(G)$. In recent work on reciprocal best match graphs so-called hierarchically coloring play an important role. Here we show that greedy colorings are a special case of hierarchical coloring, which also require no more than $χ(G)$ colors.