coloring
4497 papers tagged with this keyword
Turán Colourings in Off-Diagonal Ramsey Multiplicity
Published
• View Publication
• BIB
The \emph{Ramsey multiplicity constant} of a graph $H$ is the limit as $n$ tends to infinity of the minimum density of monochromatic labeled copies of $H$ in a $2$-edge colouring of $K_n$. Fox and Wigderson recently identified a large family of graphs whose Ramsey multiplicity constants are attained by sequences of ``Turán colourings''; i.e. colourings in which one of the colour classes forms the edge set of a balanced complete multipartite graph. Each graph in their family comes from taking a connected non-3-colourable graph with a critical edge and adding many pendant edges. We extend their result to an off-diagonal variant of the Ramsey multiplicity constant which involves minimizing a weighted sum of red copies of one graph and blue copies of another.
Coloured corner processes from asymptotics of LLT polynomials
Published
• View Publication
• BIB
We consider probability measures arising from the Cauchy summation identity for the LLT (Lascoux--Leclerc--Thibon) symmetric polynomials of rank $n \geq 1$. We study the asymptotic behaviour of these measures as one of the two sets of polynomials in the Cauchy identity stays fixed, while the other one grows to infinity. At $n=1$, this corresponds to an analogous limit of the Schur process, which is known to be given by the Gaussian Unitary Ensemble (GUE) corners process.
Our main result states that, for $n>1$, our measures asymptotically split into two parts: a continuous one and a discrete one. The continuous part is a product of $n$ GUE corners processes; the discrete part is an explicit finite distribution on interlacing $n$-colourings of $n$ interlacing triangles, which has weights that are rational functions in the LLT parameter $q$. The latter distribution has a number of interesting (partly conjectural) combinatorial properties, such as $q$-nonnegativity and enumerative phenomena underlying its support.
Our main tools are two different representations of the LLT polynomials, one as partition functions of a fermionic lattice model of rank $n$, and the other as finite-dimensional contour integrals, which were recently obtained in arXiv:2012.02376, arXiv:2101.01605.
Distinguishing colorings, proper colorings, and covering properties without the Axiom of Choice
Published in Ars Math. Contemp. 24(4): 4 (2024)
• View Publication
• BIB
We work with simple graphs in ZF (Zermelo--Fraenkel set theory without the Axiom of Choice (AC)) and assume that the sets of colors can be either well-orderable or non-well-orderable to prove that the following statements are equivalent to Kőnig Lemma: (a) Any infinite locally finite connected graph G such that the minimum degree of G is greater than k, has a chromatic number for any fixed integer k greater than or equal to 2. (b) Any infinite locally finite connected graph has a chromatic index. (c) Any infinite locally finite connected graph has a distinguishing number. (d) Any infinite locally finite connected graph has a distinguishing index.
Our results strengthen some results of Stawiski from a recent paper on the role of the Axiom of Choice in proper and distinguishing colorings since he assumed that the sets of colors can be well-ordered.
We also formulate new conditions for the existence of irreducible proper coloring, minimal edge cover, maximal matching, and minimal dominating set in connected bipartite graphs and locally finite connected graphs, which are either equivalent to AC or Kőnig Lemma. Moreover, we show that if the Axiom of Choice for families of 2 element sets holds, then the Shelah--Soifer graph has a minimal dominating set.
The externally definable Ramsey property and fixed points on type spaces
Published in Arch. Math. Logic, 64 (2025), no. 3, 605-635
• View Publication
• BIB
We discuss the externally definable Ramsey property, a weakening of the Ramsey property for ultrahomogeneous structures, where the only colourings considered are those that are externally definable: that is, definable with parameters in an elementary extension. We show a number of basic results analogous to the classical Ramsey theory, and show that, for an ultrahomogeneous structure M with countable age, the externally definable Ramsey property is equivalent to the dynamical statement that, for each natural number n, every subflow of the space of n-types with parameters in M has a fixed point. We discuss a range of examples, including results regarding the lexicographic product of structures.
Distribution of colours in rainbow H-free colourings
An edge colouring of $K_n$ with $k$ colours is a Gallai $k$-colouring if it does not contain any rainbow triangle. Gyárfás, Pálvölgyi, Patkós and Wales proved that there exists a number $g(k)$ such that $n\geq g(k)$ if and only if for any colour distribution sequence $(e_1,\cdots,e_k)$ with $\sum_{i=1}^ke_i=\binom{n}{2}$, there exist a Gallai $k$-colouring of $K_n$ with $e_i$ edges having colour $i$. They also showed that $Ω(k)=g(k)=O(k^2)$ and posed the problem of determining the exact order of magnitude of $g(k)$. Feffer, Fu and Yan improved both bounds significantly by proving $Ω(k^{1.5}/\log k)=g(k)=O(k^{1.5})$. We resolve this problem by showing $g(k)=Θ(k^{1.5}/(\log k)^{0.5})$.
Moreover, we generalise these definitions by considering rainbow $H$-free colourings of $K_n$ for any general graph $H$, and the natural corresponding quantity $g(H,k)$. We prove that $g(H,k)$ is finite for every $k$ if and only if $H$ is not a forest, and determine the order of $g(H,k)$ when $H$ contains a subgraph with minimum degree at least 3.
Cop-width, flip-width and strong colouring numbers
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:2, Graph Theory (May 7, 2025) dmtcs:14976
• View Publication
• BIB
Cop-width and flip-width are new families of graph parameters introduced by Toruńczyk (2023) that generalise treewidth, degeneracy, generalised colouring numbers, clique-width and twin-width. In this paper, we bound the cop-width and flip-width of a graph by its strong colouring numbers. In particular, we show that for every $r\in \mathbb{N}$, every graph $G$ has $\text{copwidth}_r(G)\leq \text{scol}_{4r}(G)$. This implies that every class of graphs with linear strong colouring numbers has linear cop-width and linear flip-width. We use this result to deduce improved bounds for cop-width and flip-width for various sparse graph classes.
Packings in bipartite prisms and hypercubes
The $2$-packing number $ρ_2(G)$ of a graph $G$ is the cardinality of a largest $2$-packing of $G$ and the open packing number $ρ^{\rm o}(G)$ is the cardinality of a largest open packing of $G$, where an open packing (resp. $2$-packing) is a set of vertices in $G$ no two (closed) neighborhoods of which intersect. It is proved that if $G$ is bipartite, then $ρ^{\rm o}(G\Box K_2) = 2ρ_2(G)$. For hypercubes, the lower bounds $ρ_2(Q_n) \ge 2^{n - \lfloor \log n\rfloor -1}$ and $ρ^{\rm o}(Q_n) \ge 2^{n - \lfloor \log (n-1)\rfloor -1}$ are established. These findings are applied to injective colorings of hypercubes. In particular, it is demonstrated that $Q_9$ is the smallest hypercube which is not perfect injectively colorable. It is also proved that $γ_t(Q_{2^k}\times H) = 2^{2^k-k}γ_t(H)$, where $H$ is an arbitrary graph with no isolated vertices.
Star Colouring of Bounded Degree Graphs and Regular Graphs
Published in Discrete Mathematics, 345 (6), 112850 (2022)
• View Publication
• BIB
A $k$-star colouring of a graph $G$ is a function $f:V(G)\to\{0,1,\dots,k-1\}$ such that $f(u)\neq f(v)$ for every edge $uv$ of $G$, and every bicoloured connected subgraph of $G$ is a star. The star chromatic number of $G$, $χ_s(G)$, is the least integer $k$ such that $G$ is $k$-star colourable. We prove that $χ_s(G)\geq \lceil (d+4)/2\rceil$ for every $d$-regular graph $G$ with $d\geq 3$. We reveal the structure and properties of even-degree regular graphs $G$ that attain this lower bound. The structure of such graphs $G$ is linked with a certain type of Eulerian orientations of $G$. Moreover, this structure can be expressed in the LC-VSP framework of Telle and Proskurowski (SIDMA, 1997), and hence can be tested by an FPT algorithm with the parameter either treewidth, cliquewidth, or rankwidth. We prove that for $p\geq 2$, a $2p$-regular graph $G$ is $(p+2)$-star colourable only if $n:=|V(G)|$ is divisible by $(p+1)(p+2)$. For each $p\geq 2$ and $n$ divisible by $(p+1)(p+2)$, we construct a $2p$-regular Hamiltonian graph on $n$ vertices which is $(p+2)$-star colourable.
The problem $k$-STAR COLOURABILITY takes a graph $G$ as input and asks whether $G$ is $k$-star colourable. We prove that 3-STAR COLOURABILITY is NP-complete for planar bipartite graphs of maximum degree three and arbitrarily large girth. Besides, it is coNP-hard to test whether a bipartite graph of maximum degree eight has a unique 3-star colouring up to colour swaps. For $k\geq 3$, $k$-STAR COLOURABILITY of bipartite graphs of maximum degree $k$ is NP-complete, and does not even admit a $2^{o(n)}$-time algorithm unless ETH fails.
Note on polychromatic coloring of hereditary hypergraph families
We exhibit a 5-uniform hypergraph that has no polychromatic 3-coloring, but all its restricted subhypergraphs with edges of size at least 3 are 2-colorable. This disproves a bold conjecture of Keszegh and the author, and can be considered as the first step to understand polychromatic colorings of hereditary hypergraph families better since the seminal work of Berge. We also show that our method cannot give hypergraphs of arbitrary high uniformity, and mention some connections to panchromatic colorings.
On off-diagonal Ramsey numbers for vector spaces over $\mathbb{F}_{2}$
Published
• View Publication
• BIB
For every positive integer $d$, we show that there must exist an absolute constant $c > 0$ such that the following holds: for any integer $n \geq cd^{7}$ and any red-blue coloring of the one-dimensional subspaces of $\mathbb{F}_{2}^{n}$, there must exist either a $d$-dimensional subspace for which all of its one-dimensional subspaces get colored red or a $2$-dimensional subspace for which all of its one-dimensional subspaces get colored blue. This answers recent questions of Nelson and Nomoto, and confirms that for any even plane binary matroid $N$, the class of $N$-free, claw-free binary matroids is polynomially $χ$-bounded.
Our argument will proceed via a reduction to a well-studied additive combinatorics problem, originally posed by Green: given a set $A \subset \mathbb{F}_{2}^{n}$ with density $α\in [0,1]$, what is the largest subspace that we can find in $A+A$? Our main contribution to the story is a new result for this problem in the regime where $1/α$ is large with respect to $n$, which utilizes ideas from the recent breakthrough paper of Kelley and Meka on sets of integers without three-term arithmetic progressions.
Thick Forests
Published
• View Publication
• BIB
We consider classes of graphs, which we call thick graphs, that have the vertices of a corresponding thin graph replaced by cliques and the edges replaced by cobipartite graphs In particular, we consider the case of thick forests, which we show to be the largest class of perfect thick graphs.
Recognising membership of a class of thick graphs is NP-complete unless the class of thin graphs is triangle-free, so we focus on this case. Even then membership can be NP-complete. However, we show that the class of thick forests can be recognised in polynomial time. We consider two well-studied combinatorial problems on thick graphs, independent sets and proper colourings. Since determining the independence or chromatic number of a perfect graph is known to be tractable, we examine the complexity of counting all independent sets and colourings in thick forests.
Finally, we consider two parametric extensions to larger classes of thick graphs: where the parameter is the size of the thin graph, and where the parameter is its treewidth.
On graphs with maximum difference between game chromatic number and chromatic number
Published
• View Publication
• BIB
In the vertex colouring game on a graph $G$, Maker and Breaker alternately colour vertices of $G$ from a palette of $k$ colours, with no two adjacent vertices allowed the same colour. Maker seeks to colour the whole graph while Breaker seeks to make some vertex impossible to colour. The game chromatic number of $G$, $χ_g(G)$, is the minimal number $k$ of colours for which Maker has a winning strategy for the vertex colouring game. Matsumoto proved in 2019 that $χ_g(G)-χ(G)\leq\lfloor n/2\rfloor - 1$, and conjectured that the only equality cases are some graphs of small order and the Turán graph $T(2r,r)$ (i.e. $K_{2r}$ minus a perfect matching). We resolve this conjecture in the affirmative by considering a modification of the vertex colouring game wherein Breaker may remove a vertex instead of colouring it. Matsumoto further asked whether a similar result could be proved for the vertex marking game, and we provide an example to show that no such nontrivial result can exist.
Equitable list coloring of planar graphs with given maximum degree
Published
• View Publication
• BIB
If $L$ is a list assignment of $r$ colors to each vertex of an $n$-vertex graph $G$, then an equitable $L$-coloring of $G$ is a proper coloring of vertices of $G$ from their lists such that no color is used more than $\lceil n/r\rceil$ times. A graph is equitably $r$-choosable if it has an equitable $L$-coloring for every $r$-list assignment $L$. In 2003, Kostochka, Pelsmajer and West (KPW) conjectured that an analog of the famous Hajnal-Szemerédi Theorem on equitable coloring holds for equitable list coloring, namely, that for each positive integer $r$ every graph $G$ with maximum degree at most $r-1$ is equitably $r$-choosable.
The main result of this paper is that for each $r\geq 9$ and each planar graph $G$, a stronger statement holds: if the maximum degree of $G$ is at most $r$, then $G$ is equitably $r$-choosable. In fact, we prove the result for a broader class of graphs -- the class ${\mathcal{B}}$ of the graphs in which each bipartite subgraph $B$ with $|V(B)|\ge3$ has at most $2|V(B)|-4$ edges. Together with some known results, this implies that the KPW Conjecture holds for all graphs in ${\mathcal{B}}$, in particular, for all planar graphs.
Towards the Overfull Conjecture
Published
• View Publication
• BIB
Let $G$ be a simple graph with maximum degree denoted as $Δ(G)$. An overfull subgraph $H$ of $G$ is a subgraph satisfying the condition $|E(H)| > Δ(G)\lfloor \frac{1}{2}|V(H)| \rfloor$. In 1986, Chetwynd and Hilton proposed the Overfull Conjecture, stating that a graph $G$ with maximum degree $Δ(G)> \frac{1}{3}|V(G)|$ has chromatic index equal to $Δ(G)$ if and only if it does not contain any overfull subgraph. The Overfull Conjecture has many implications. For example, it implies a polynomial-time algorithm for determining the chromatic index of graphs $G$ with $Δ(G) > \frac{1}{3}|V(G)|$, and implies several longstanding conjectures in the area of graph edge colorings. In this paper, we make the first breakthrough towards the conjecture when not imposing a minimum degree condition on the graph: for any $0<\varepsilon \le \frac{1}{14}$, there exists a positive integer $n_0$ such that if $G$ is a graph on $n\ge n_0$ vertices with $Δ(G) \ge (1-\varepsilon)n$, then the Overfull Conjecture holds for $G$. The previous best result in this direction, due to Chetwynd and Hilton from 1989, asserts the conjecture for graphs $G$ with $Δ(G) \ge |V(G)|-3$. Our result also implies the Average Degree Conjecture of Vizing from 1968 for the same class of graphs $G$.
Limited packings: related vertex partitions and duality issues
Published in Applied Mathematics and Computation, 2024
• View Publication
• BIB
A $k$-limited packing partition ($k$LP partition) of a graph $G$ is a partition of $V(G)$ into $k$-limited packing sets. We consider the $k$LP partitions with minimum cardinality (with emphasis on $k=2$). The minimum cardinality is called $k$LP partition number of $G$ and denoted by $χ_{\times k}(G)$. This problem is the dual problem of $k$-tuple domatic partitioning as well as a generalization of the well-studied $2$-distance coloring problem in graphs.
We give the exact value of $χ_{\times2}$ for trees and bound it for general graphs. A section of this paper is devoted to the dual of this problem, where we give a solution to an open problem posed in $1998$. We also revisit the total limited packing number in this paper and prove that the problem of computing this parameter is NP-hard even for some special families of graphs. We give some inequalities concerning this parameter and discuss the difference between $2$TLP number and $2$LP number with emphasis on trees.
Chromatic number of spacetime
Published
• View Publication
• BIB
We observe that an old theorem of Graham implies that for any positive integer $s$, there exists some positive integer $T(s)$ such that every $s$-colouring of $\mathbb{Z}^2$ contains a monochromatic pair of points $(x,y),(x',y')$ with $(x-x')^2 - (y-y')^2 = (T(s))^2$. By scaling, this implies that every finite colouring of $\mathbb{Q}^2$ contains a monochromatic pair of points $(x,y),(x',y')$ with $(x-x')^2 - (y-y')^2 = 1$, which answers in a strong sense a problem of Kosheleva and Kreinovich on a pseudo-Euclidean analogue of the Hadwiger-Nelson problem.
The proof of Graham's theorem relies on repeated applications of van der Waerden's theorem, and so the resulting function $T(s)$ grows extremely quickly. We give an alternative proof in the weaker setting of having a second spacial dimension that results in a significantly improved bound. To be more precise, we prove that for every positive integer $s$ with $r\equiv 2 \pmod{4}$, every $s$-colouring of $\mathbb{Z}^3$ contains a monochromatic pair of points $(x,y,z),(x',y',z')$ such that $(x-x')^2 + (y-y')^2 - (z-z')^2 = (5^{(s-2)/4}(8\cdot 5^{(s-2)/2})!)^2$. In fact, we prove a stronger density version. The density version in $\mathbb{Z}^2$ remains open.
On Integer Sets Excluding Permutation Pattern Waves
We study Ramsey-type problems on sets avoiding sequences whose consecutive differences have a fixed relative order. For a given permutation $π\in S_k$, a $π$-wave is a sequence $x_1 < \cdots < x_{k+1}$ such that $x_{i+1} - x_i > x_{j+1} - x_j$ if and only if $π(i) > π(j)$. A subset of $[n] = \{1,\ldots,n\}$ is $π$-wave-free if it does not contain any $π$-wave. Our first main result shows that the size of the largest $π$-wave-free subset of $[n]$ is $O\left((\log n)^{k-1}\right)$. We then classify all permutations for which this bound is tight. In the cases where it is not tight, we prove stronger polylogarithmic upper bounds. We then apply these bounds to a closely related coloring problem studied by Landman and Robertson.
Clustered Colouring of Odd-$H$-Minor-Free Graphs
Published
• View Publication
• BIB
The clustered chromatic number of a graph class $\mathcal{G}$ is the minimum integer $c$ such that every graph $G\in\mathcal{G}$ has a $c$-colouring where each monochromatic component in $G$ has bounded size. We study the clustered chromatic number of graph classes $\mathcal{G}_H^{\text{odd}}$ defined by excluding a graph $H$ as an odd-minor. How does the structure of $H$ relate to the clustered chromatic number of $\mathcal{G}_H^{\text{odd}}$? We adapt a proof method of Norin, Scott, Seymour and Wood (2019) to show that the clustered chromatic number of $\mathcal{G}_H^{\text{odd}}$ is tied to the tree-depth of $H$.
2-Coupon Coloring of Cubic Graphs Containing 3-Cycle or 4-Cycle
Published
• View Publication
• BIB
Let $G$ be a graph. A total dominating set in a graph $G$ is a set $S$ of vertices of $G$ such that every vertex in $G$ is adjacent to a vertex in $S$. Recently, the following question was proposed: "Is it true that every connected cubic graph containing a $3$-cycle has two vertex disjoint total dominating sets?" In this paper, we give a negative answer to this question. Moreover, we prove that if we replace $3$-cycle with $4$-cycle the answer is affirmative. This implies every connected cubic graph containing a diamond (the complete graph of order $4$ minus one edge) as a subgraph can be partitioned into two total dominating sets, a result that was proved in 2017.
The power of many colours
Published in Forum of Mathematics, Sigma 12 (2024) e118
• View Publication
• BIB
A classical problem, due to Gerencsér and Gyárfás from 1967, asks how large a monochromatic connected component can we guarantee in any $r$-edge colouring of $K_n$? We consider how big a connected component can we guarantee in any $r$-edge colouring of $K_n$ if we allow ourselves to use up to $s$ colours. This is actually an instance of a more general question of Bollobás from about 20 years ago which asks for a $k$-connected subgraph in the same setting. We complete the picture in terms of the approximate behaviour of the answer by determining it up to a logarithmic term, provided $n$ is large enough. We obtain more precise results for certain regimes which solve a problem of Liu, Morris and Prince from 2007, as well as disprove a conjecture they pose in a strong form.
We also consider a generalisation in a similar direction of a question first considered by Erdős and Rényi in 1956, who considered given $n$ and $m$, what is the smallest number of $m$-cliques which can cover all edges of $K_n$? This problem is essentially equivalent to the question of what is the minimum number of vertices that are certain to be incident to at least one edge of some colour in any $r$-edge colouring of $K_n$. We consider what happens if we allow ourselves to use up to $s$ colours. We obtain a more complete understanding of the answer to this question for large $n$, in particular determining it up to a constant factor for all $1\le s \le r$, as well as obtaining much more precise results for various ranges including the correct asymptotics for essentially the whole range.