coloring
4410 papers tagged with this keyword
Off-diagonal book Ramsey numbers
Published
• View Publication
• BIB
The book graph $B_n^{(k)}$ consists of $n$ copies of $K_{k+1}$ joined along a common $K_k$. In the prequel to this paper, we studied the diagonal Ramsey number $r(B_n^{(k)}, B_n^{(k)})$. Here we consider the natural off-diagonal variant $r(B_{cn}^{(k)}, B_n^{(k)})$ for fixed $c \in (0,1]$. In this more general setting, we show that an interesting dichotomy emerges: for very small $c$, a simple $k$-partite construction dictates the Ramsey function and all nearly-extremal colorings are close to being $k$-partite, while, for $c$ bounded away from $0$, random colorings of an appropriate density are asymptotically optimal and all nearly-extremal colorings are quasirandom. Our investigations also open up a range of questions about what happens for intermediate values of $c$.
Extremal Sidon sets are Fourier uniform, with applications to partition regularity
Published
• View Publication
• BIB
Generalising results of Erdős-Freud and Lindström, we prove that the largest Sidon subset of a bounded interval of integers is equidistributed in Bohr neighbourhoods. We establish this by showing that extremal Sidon sets are Fourier-pseudorandom, in that they have no large non-trivial Fourier coefficients. As a further application we deduce that, for any partition regular equation in five or more variables, every finite colouring of an extremal Sidon set has a monochromatic solution.
On the existence of graphs which can colour every regular graph
Published in Discrete Appl. Math. 337, 246--256 (2023). Share Link: https://authors.elsevier.com/c/1h8WP,3nuHsmJ6
• View Publication
• BIB
Let $H$ and $G$ be graphs. An $H$-colouring of $G$ is a proper edge-colouring $f:E(G)\rightarrow E(H)$ such that for any vertex $u\in V(G)$ there exists a vertex $v\in V(H)$ with $f\left (\partial_Gu\right )=\partial_Hv$, where $\partial_Gu$ and $\partial_Hv$ respectively denote the sets of edges in $G$ and $H$ incident to the vertices $u$ and $v$. If $G$ admits an $H$-colouring we say that $H$ colours $G$. The question whether there exists a graph $H$ that colours every bridgeless cubic graph is addressed directly by the Petersen Colouring Conjecture, which states that the Petersen graph colours every bridgeless cubic graph. In 2012, Mkrtchyan showed that if this conjecture is true, the Petersen graph is the unique connected bridgeless cubic graph $H$ which can colour all bridgeless cubic graphs. In this paper we extend this and show that if we were to remove all degree conditions on $H$, every bridgeless cubic graph $G$ can be coloured substantially only by a unique other graph: the subcubic multigraph $S_{4}$ on four vertices. A few similar results are provided also under weaker assumptions on the graph $G$. In the second part of the paper, we also consider $H$-colourings of regular graphs having degree strictly greater than $3$ and show that: (i) for any $r>3$, there does not exist a connected graph $H$ (possibly containing parallel edges) that colours every $r$-regular multigraph, and (ii) for every $r>1$, there does not exist a connected graph $H$ (possibly containing parallel edges) that colours every $2r$-regular simple graph.
Deletion-contraction for a unified Laplacian and applications
Published
• View Publication
• BIB
We define a graph Laplacian with vertex weights in addition to the more classical edge weights, which unifies the combinatorial Laplacian and the normalised Laplacian. Moreover, we give a combinatorial interpretation for the coefficients of the weighted Laplacian characteristic polynomial in terms of weighted spanning forests and use this to prove a deletion-contraction relation. We prove various interlacing theorems relating to deletion and contraction, as well as to rectangular tilings, drawing on the work of Brooks, Smith, Stone and Tutte on square tilings. Additionally, we show that the weighted Laplacian also satisfies a vertex analogue of deletion-contraction. We give applications of weighted Laplacian eigenvalues to sparse cuts, independent sets and graph colouring, and establish new cases of a conjecture of Stanley on distinguishing nonisomorphic trees.
Connected greedy colourings of perfect graphs and other classes: the good, the bad and the ugly
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:2, Graph Theory (April 2, 2024) dmtcs:8715
• View Publication
• BIB
The Grundy number of a graph is the maximum number of colours used by the "First-Fit" greedy colouring algorithm over all vertex orderings. Given a vertex ordering $σ= v_1,\dots,v_n$, the "First-Fit" greedy colouring algorithm colours the vertices in the order of $σ$ by assigning to each vertex the smallest colour unused in its neighbourhood.
By restricting this procedure to vertex orderings that are connected, we obtain {\em connected greedy colourings}. For some graphs, all connected greedy colourings use exactly $χ(G)$ colours; they are called {\em good graphs}. On the opposite, some graphs do not admit any connected greedy colouring using only $χ(G)$ colours; they are called {\em ugly graphs}.
We show that no perfect graph is ugly. We also give simple proofs of this fact for subclasses of perfect graphs (block graphs, comparability graphs), and show that no $K_4$-minor free graph is ugly.
Moreover, our proofs are constructive, and imply the existence of polynomial-time algorithms to compute good connected orderings for these graph classes.
Chords of 2-factors in planar cubic bridgeless graphs
Published in Graphs and Combinatorics 38, 177 (2022)
• View Publication
• BIB
We show that every edge in a 2-edge-connected planar cubic graph is either contained in a 2-edge-cut or is a chord of some cycle that is contained in a 2-factor of the graph. As a consequence, we show that every edge in a cyclically 4-edge-connected planar cubic graph, except $K_2^3$ and $K_4$, is contained in a perfect matching whose removal disconnects the graph. We obtain a complete characterization of 2-edge-connected planar cubic graphs that have an edge such that every 2-factor containing the edge is a Hamiltonian cycle, and also of those that have an edge such that the complement of every perfect matching containing the edge is a Hamiltonian cycle. Another immediate consequence of the main result is that for any two edges contained in a facial cycle of a 2-edge-connected planar cubic graph, there exists a 2-factor in the graph such that both edges are contained in the same cycle of the 2-factor. We conjecture that this property holds for any two edges in a 2-edge-connected planar cubic graph, and prove it for planar cubic bipartite graphs. The main result is proved in the dual form by showing that every plane triangulation admits a vertex 3-coloring such that no face is monochromatic and there is exactly one specified edge between a specified pair of color classes.
Simplicial complexes from finite projective planes and colored configurations
Published
• View Publication
• BIB
In the 7-vertex triangulation of the torus, the 14 triangles can be partitioned as $T_{1} \sqcup T_{2}$, such that each $T_{i}$ represents the lines of a copy of the Fano plane $PG(2, \mathbb{F}_{2})$. We generalize this observation by constructing, for each prime power $q$, a simplicial complex $X_{q}$ with $q^{2} + q + 1$ vertices and $2(q^{2} + q + 1)$ facets consisting of two copies of $PG(2, \mathbb{F}_{q})$.
Our construction works for any colored $k$-configuration, defined as a $k$-configuration whose associated bipartite graph $G$ is connected and has a $k$-edge coloring $χ\colon E(G) \to [k]$, such that for all $v \in V(G)$, $a, b, c \in [k]$, following edges of colors $a, b, c, a, b, c$ from $v$ brings us back to $v$. We give one-to-one correspondences between (1) Sidon sets of order 2 and size $k + 1$ in groups with order $n$, (2) linear codes with radius 1 and index $n$ in the lattice $A_{k}$, and (3) colored $(k + 1)$-configurations with $n$ points and $n$ lines. (The correspondence between (1) and (2) is known.) As a result, we suggest possible topological obstructions to the existence of Sidon sets, and in particular, planar difference sets.
New Bounds on Diffsequences
Published
• View Publication
• BIB
For a set of positive integers $D$, a $k$-term $D$-diffsequence is a sequence of positive integers $a_1<a_2<\cdots<a_k$ such that $a_i-a_{i-1}\in D$ for $i=2,3,\cdots,k$. For $k\in\mathbb{Z}^+$ and $D\subset \mathbb{Z}^+$, we define $Δ(D,k)$, if it exists, to be the smallest integer $n$ such that every $2$-coloring of $\{1,2,\cdots,n\}$ contains a monochromatic $D$-diffsequence of length $k$. We improve the lower bound on $Δ(D,k)$ where $D=\{2^i\mid i\in\mathbb{Z}_{\geq{0}}\}$, proving a conjecture of Chokshi, Clifton, Landman, and Sawin. We also determine all sets of the form $D=\{d_1,d_2,\dots\}$ with $d_i\mid d_{i+1}$ for which $Δ(D,k)$ exists.
Minimum degrees of finite rectangular bands, null semigroups, and variants of full transformation semigroups
Published
• View Publication
• BIB
For a positive integer $n$, the full transformation semigroup $T_n$ consists of all self maps of the set $\{1,\ldots,n\}$ under composition. Any finite semigroup $S$ embeds in some $T_n$, and the least such $n$ is called the (minimum transformation) degree of $S$ and denoted $μ(S)$. We find degrees for various classes of finite semigroups, including rectangular bands, rectangular groups and null semigroups. The formulae we give involve natural parameters associated to integer compositions. Our results on rectangular bands answer a question of Easdown from 1992, and our approach utilises some results of independent interest concerning partitions/colourings of hypergraphs.
As an application, we prove some results on the degree of a variant $T_n^a$. (The variant $S^a=(S,\star)$ of a semigroup $S$, with respect to a fixed element $a\in S$, has underlying set $S$ and operation $x\star y=xay$.) It has been previously shown that $n\leq μ(T_n^a)\leq 2n-r$ if the sandwich element $a$ has rank $r$, and the upper bound of $2n-r$ is known to be sharp if $r\geq n-1$. Here we show that $μ(T_n^a)=2n-r$ for $r\geq n-6$. In stark contrast to this, when $r=1$, and the above inequality says $n\leqμ(T_n^a)\leq 2n-1$, we show that $μ(T_n^a)/n\to1$ and $μ(T_n^a)-n\to\infty$ as $n\to\infty$.
Among other results, we also classify the $3$-nilpotent subsemigroups of $T_n$, and calculate the maximum size of such a subsemigroup.
A note on multicolor Ramsey number of small odd cycles versus a large clique
Published
• View Publication
• BIB
Let $R_k(H;K_m)$ be the smallest number $N$ such that every coloring of the edges of $K_{N}$ with $k+1$ colors has either a monochromatic $H$ in color $i$ for some $1\leqslant i\leqslant k$, or a monochromatic $K_{m}$ in color $k+1$. In this short note, we study the lower bound for $R_k(H;K_m)$ when $H$ is $C_5$ or $C_7$, respectively. We show that
\begin{equation*}
R_{k}(C_5;K_m)=Ω(m^{\frac{3k}{8}+1}/(\log{m})^{\frac{3k}{8}+1}),
\end{equation*} and
\begin{equation*}
R_{k}(C_7;K_m)=Ω(m^{\frac{2k}{9}+1}/(\log{m})^{\frac{2k}{9}+1}),
\end{equation*}
for fixed positive integer $k$ and $m\rightarrow\infty$. These slightly improve the previously known lower bound $R_{k}(C_{2\ell+1};K_m)=Ω(m^{\frac{k}{2\ell-1}+1}/(\log m)^{k+\frac{2k}{2\ell-1}})$ obtained by Alon and Rödl. The proof is based on random block constructions and random blowups argument.
On improving a Schur-type theorem in shifted primes
Published
• View Publication
• BIB
We show that if $N \geq \exp(\exp(\exp (k^{O(1)})))$, then any $k$-colouring of the primes that are less than $N$ contains a monochromatic solution to $p_1 - p_2 = p_3 -1$.
Matrix Discrepancy from Quantum Communication
Published
• View Publication
• BIB
We develop a novel connection between discrepancy minimization and (quantum) communication complexity. As an application, we resolve a substantial special case of the Matrix Spencer conjecture. In particular, we show that for every collection of symmetric $n \times n$ matrices $A_1,\ldots,A_n$ with $\|A_i\| \leq 1$ and $\|A_i\|_F \leq n^{1/4}$ there exist signs $x \in \{ \pm 1\}^n$ such that the maximum eigenvalue of $\sum_{i \leq n} x_i A_i$ is at most $O(\sqrt n)$. We give a polynomial-time algorithm based on partial coloring and semidefinite programming to find such $x$.
Our techniques open a new avenue to use tools from communication complexity and information theory to study discrepancy. The proof of our main result combines a simple compression scheme for transcripts of repeated (quantum) communication protocols with quantum state purification, the Holevo bound from quantum information, and tools from sketching and dimensionality reduction. Our approach also offers a promising avenue to resolve the Matrix Spencer conjecture completely -- we show it is implied by a natural conjecture in quantum communication complexity.
Improved lower bound for the list chromatic number of graphs with no $K_t$ minor
Published
• View Publication
• BIB
Hadwiger's conjecture asserts that every graph without a $K_t$-minor is $(t-1)$-colorable. It is known that the exact version of Hadwiger's conjecture does not extend to list coloring, but it has been conjectured by Kawarabayashi and Mohar (2007) that there exists a constant $c$ such that every graph with no $K_t$-minor has list chromatic number at most $ct$. More specifically, they also conjectured that this holds for $c=\frac{3}{2}$.
Refuting the latter conjecture, we show that the maximum list chromatic number of graphs with no $K_t$-minor is at least $(2-o(1))t$, and hence $c \ge 2$ in the above conjecture is necessary. This improves the previous best lower bound by Barát, Joret and Wood (2011), who proved that $c \ge \frac{4}{3}$. Our lower-bound examples are obtained via the probabilistic method.
On the Ramsey Numbers of Odd-Linked Double Stars
Published
• View Publication
• BIB
The linked double star $S_c(n,m)$, where $n \geq m \geq 0$, is the graph consisting of the union of two stars $K_{1,n}$ and $K_{1,m}$ with a path on $c$ vertices joining the centers. Its ramsey number $r(S_c(n,m))$ is the smallest integer $r$ such that every $2$-coloring of the edges of a $K_r$ admits a monochromatic $S_c(n,m)$. In this paper, we study the ramsey numbers of linked double stars when $c$ is odd. In particular, we establish bounds on the value of $r(S_c(n,m))$ and determine the exact value of $r(S_c(n,m))$ if $n \geq c$, or if $n \leq \lfloor \frac{c}{2} \rfloor - 2$ and $m = 2$.
A Note on Coloring $(4K_1, C_4, C_6)$-free graphs with a $C_7$
Even-hole-free graphs are a graph class of much interest. Foley et al. [Graphs Comb. 36(1): 125-138 (2020)] have recently studied $(4K_1, C_4, C_6)$-free graphs, which form a subclass of even-hole-free graphs. Specifically, Foley et al. have shown an algorithm for coloring these graphs via bounded clique-width if they contain a $C_7$. In this note, we give a simpler and much faster algorithm via a more restrictive graph parameter, neighborhood diversity.
A graph coloring approach to family-based haplotype reconstruction
Edge Constrained Vertex Coloring (ECVC) problems are defined on a finite multigraph, their solutions are characterized, and a linear time algorithm is given for solving $N$ ECVCs on the same underlying multigraph. Using ECVC problems we develop a novel family-based haplotype reconstruction method which has linear-time complexity in both number of markers and family size and has many other desirable properties. To do so, we define a multigraph given a genomic interval on which a family is recombination-free.
Anti-Ramsey number of disjoint rainbow bases in all matroids
Consider a matroid $M=(E,\mathcal{I})$ with its elements of the ground set $E$ colored. A rainbow basis is a maximum independent set in which each element receives a different color. The rank of a subset $S$ of $E$, denoted by $r_M(S)$, is the maximum size of an independent set in $S$. A flat $F$ is a maximal set in $M$ with a fixed rank. The anti-Ramsey number of $t$ pairwise disjoint rainbow bases in $M$, denoted by $ar(M,t)$, is defined as the maximum number of colors $m$ such that there exists an $m$ coloring of the ground set $E$ of $M$ which contains no $t$ pairwise disjoint rainbow bases. We determine $ar(M,t)$ for all matroids of rank at least 2: $ar(M,t)=|E|$ if there exists a flat $F_0$ with $|E|-|F_0|<t(r_M(E)-r_M(F_0))$; and $ar(M,t)=\max_{F\colon r_M(F)\leq r_M(E)-2} \{|F|+t(r_M(E)-r_M(F)-1)\}$ otherwise. This generalizes Lu-Meier-Wang's previous result on the anti-Ramsey number of edge-disjoint rainbow spanning trees in any multigraph $G$.
Differential graded algebras for trivalent plane graphs and their representations
Published
• View Publication
• BIB
To any trivalent plane graph embedded in the sphere, Casals and Murphy associate a differential graded algebra (dg-algebra), in which the underlying graded algebra is free associative over a commutative ring. Our first result is the construction of a generalization of the Casals--Murphy dg-algebra to non-commutative coefficients, for which we prove various functoriality properties not previously verified in the commutative setting. Our second result is to prove that rank $r$ representations of this dg-algebra, over a field $\mathbb{F}$, correspond to colorings of the faces of the graph by elements of the Grassmannian $\operatorname{Gr}(r,2r;\mathbb{F})$ so that bordering faces are transverse, up to the natural action of $\operatorname{PGL}_{2r}(\mathbb{F})$. Underlying the combinatorics, the dg-algebra is a computation of the fully non-commutative Legendrian contact dg-algebra for Legendrian satellites of Legendrian 2-weaves, though we do not prove as such in this paper. The graph coloring problem verifies that for Legendrian 2-weaves, rank $r$ representations of the Legendrian contact dg-algebra correspond to constructible sheaves of microlocal rank $r$. This is the first explicit such computation of the bijection between the moduli spaces of representations and sheaves for an infinite family of Legendrian surfaces.
A characterization of 4-$χ_S$-vertex-critical graphs for packing sequences with $s_1 =1$ and $s_2\ge 3$
If $S=(s_1,s_2,\ldots)$ is a non-decreasing sequence of positive integers, then the $S$-packing $k$-coloring of a graph $G$ is a mapping $c: V(G)\rightarrow[k]$ such that if $c(u)=c(v)=i$ for $u\neq v\in V(G)$, then $d_G(u,v)>s_i$. The $S$-packing chromatic number of $G$ is the smallest integer $k$ such that $G$ admits an $S$-packing $k$-coloring. A graph $G$ is $χ_S$-vertex-critical if $χ_S(G-u) < χ_S(G)$ for each $u\in V(G)$. If $G$ is $χ_S$-vertex-critical and $χ_S(G) = k$, then $G$ is $k$-$χ_S$-vertex-critical. In this paper, $4$-$χ_S$-vertex-critical graphs are characterized for sequences $S = (1,s_2, s_3, \ldots)$ with $s_2 \ge 3$. There are $28$ sporadic examples and two infinite families of such graphs.
Conservation Strength of The Infinite Pigeonhole Principle for Trees
Published
• View Publication
• BIB
Let $\mathsf{TT}^1$ be the combinatorial principle stating that every finite coloring of the infinite full binary tree has a homogeneous isomorphic subtree. Let $\mathsf{RT}^2_2$ and $\mathsf{WKL}_0$ denote respectively the principles of Ramsey's theorem for pairs and weak König's lemma. It is proved that $\mathsf{TT}^1+\mathsf{RT}^2_2+\mathsf{WKL}_0$ is $Π^0_3$-conservative over the base system $\mathsf{RCA}_0$. Thus over $\mathsf{RCA}_0$, $\mathsf{TT}^1$ and Ramsey's theorem for pairs prove the same $Π^0_3$-sentences.