coloring
4497 papers tagged with this keyword
Improved Lower Bounds for the Hales-Jewett Numbers via Symmetric Colorings
The Hales-Jewett number $\mathrm{HJ}(t,r)$ is the least dimension $n$ in which every $r$-coloring of the cube $[t]^{n}$ contains a monochromatic combinatorial line. We prove $\mathrm{HJ}(3,3)\geq 22$ and $\mathrm{HJ}(4,2)\geq 14$, improving the previous records $\mathrm{HJ}(3,3)\geq 14$ (Farnsworth) and $\mathrm{HJ}(4,2)\geq 12$ (the van der Waerden bound). Both bounds are obtained from coordinate-symmetric colorings, which compress the cube onto the discrete simplex of letter-count vectors; a symmetric coloring is line-free if and only if no corner tuple on the simplex is monochromatic, an exact equivalence that turns line-freeness into a constraint-satisfaction problem of size polynomial in $n$. Each bound is certified by an explicit table of fewer than 600 cells together with a finite, mechanical check of the corner tuples; the SAT solver only finds the witness, while correctness rests on the published table, the reduction lemma, and a dependency-free verification that is in principle hand-auditable.
Setwise Distinguishable Permutations
A family of permutations of $[n]$ is called setwise distinguishable if for every permutation in the family there exists a subset of $[n]$ whose image under this permutation differs from its image under any other permutation in the family. We prove that there exists a setwise distinguishable family of $2^{(2-o(1)) \cdot n}$ permutations of $[n]$. The result is optimal up to the $o(1)$ term in the exponent and is achieved through an explicit construction. As an application, we obtain nearly tight conditional lower bounds on the kernelization complexity of graph coloring problems parameterized by the vertex-deletion distance to split graphs. This improves a result of Jansen and Kratsch (Inf. Comput., 2013).
Conformability is NP-complete, even on connected regular graphs
A graph $G$ is conformable if it admits a proper $(Δ(G)+1)$-coloring in which, among the $Δ(G)+1$ color classes including the empty ones, at most $\sum_{v\in V(G)}(Δ(G)-d_G(v))$ have parity different from that of $|V(G)|$. The complexity of deciding conformability was left open in recent work, and positive results for several graph classes had suggested that the problem might be polynomial-time solvable. We settle the general problem by proving that Conformability is NP-complete. Hardness holds even for connected regular graphs $G$ of odd order with independence number $α(G)=3$ and maximum degree $Δ(G)\ge |V(G)|/2$. In particular, NP-completeness persists when every color class is forced to have the parity of the order. The reduction starts from perfect triangle packing in graphs of clique number three, regularizes the source graph while preserving the relevant triangle packings, and then takes the complement. In the complement, conformable color classes correspond to odd cliques of the regularized graph; $K_4$-freeness restricts these cliques to singletons or triangles, and the number of available colors forces exactly the required number of disjoint triangles.
An exact robust Ramsey theorem for matchings
Keevash and Michaeli recently proved that, under the robustness assumption that \(G\) is an \(s\)-connector (i.e. \(\overline G\) is \(K_{s,s}\)-free), \(G\) has essentially the same multicolour Ramsey matching properties as complete graphs, with an additive error \(O(qs)\), where \(q\) is the number of colours. They asked whether the dependence on \(q\) can be removed. We answer this question in a stronger exact form. For \({\bf t}=(t_1,\ldots,t_q)\in\mathbb N_+^q\), let \(R_s({\bf t})\) be the smallest integer \(N\) such that every \(N\)-vertex \(s\)-connector \(G\) satisfies \(
G\to (t_1K_2,\ldots,t_qK_2). \) We determine the exact value \[
R_s({\bf t})=\sum_{j\in[q]}(t_j-1)+
\max\left\{2s,\ s+\max_{j\in[q]}t_j\right\}. \] While Keevash and Michaeli's proof uses a compression algorithm based on the Gallai--Edmonds decomposition to reduce the colouring to a structured form, our proof is a direct minimal-counterexample argument together with a new counting method for monochromatic matchings which can be applied to \(s\)-connectors.
Tight minimum degree conditions for apex-outerplanar minors and subdivisions in graphs and digraphs
Published in J. Graph Theory 113 (2026), 470-489
• View Publication
• BIB
Motivated by Hadwiger's conjecture and related problems for list-coloring, we study graphs $H$ for which every graph with minimum degree at least $|V(H)|-1$ contains $H$ as a minor. We prove that a large class of apex-outerplanar graphs satisfies this property. Our result gives the first examples of such graphs whose vertex cover numbers are significantly larger than half of the number of its vertices, which breaks a barrier for attacking related coloring problems via extremal functions, and recovers all known such graphs that have arbitrarily large maximum degree. Our proof can be adapted to directed graphs to show that if $\vec H$ is the digraph obtained from a directed cycle or an in-arborescence by adding an apex source, then every digraph with minimum out-degree $|V(\vec H)|-1$ contains $\vec H$ as a subdivision or a butterfly minor respectively. These results provide the optimal upper bound for the chromatic number and dichromatic number of graphs and digraphs that do not contain the aforementioned graphs or digraphs as a minor, butterfly minor and a subdivision, respectively. Special cases of our results solve an open problem of Aboulker, Cohen, Havet, Lochet, Moura and Thomassé and strengthen results of Gishboliner, Steiner and Szabó.
An alternative way of defining finite graphs
Published in Prikl. Diskr. Mat., 2015, no. 3(29), 83-94
• View Publication
• BIB
In this paper we introduce "graph linear notation" -- a complete graph invariant -- which is positioned as an alternative definition for the finite graphs. This invariant is constructed using an algorithm similar to the algorithm of finding canonical forms of graphs. Storing graph linear notation instead of a regular graph allows us to greatly simplify two major problems: the construction of illustrations for graphs with regards to possible graph symmetries, and the comparison of two graphs for isomorphism. We also demonstrate the transferability to the graph linear notations such classical graph theory concepts as colourings and graph paths.
Exact 6-cut rigidity and small-order superconnectivity for the 6-regular case of Dirac's k=4 problem
Dirac asked in 1970 whether for every k >= 4 there is a k-vertex-critical graph without critical edges; Jensen settled all k >= 5, and only k=4 remains open. Following Skottova and Steiner, call a graph G a (4,1)-graph if chi(G)=4, chi(G-v)=3 for every vertex v, and chi(G-e)=4 for every edge e; they proved delta(G) >= 6 and lambda(G) >= 6 for every (4,1)-graph and asked whether a 6-regular (4,1)-graph exists. We prove three results about this 6-regular case. Theorem A (computational): there is no 6-regular 4-vertex-critical graph on n <= 15 vertices, except for a unique graph (up to isomorphism) on n=13, whose 13 critical edges form a Hamilton cycle; hence any 6-regular (4,1)-graph has at least 16 vertices. Theorem B: in a 6-regular (4,1)-graph every 6-edge-cut is either the edge star of a vertex or has both shores of size at least 15; consequently every 6-regular (4,1)-graph on at most 29 vertices is super-6-edge-connected. Theorem C (all sizes): no shore of a nontrivial 6-edge-cut in a 6-regular (4,1)-graph induces a bipartite graph; more generally, a shore whose deficiency is concentrated on two vertices forces them to receive equal colours in every proper 3-colouring. The proof of Theorem B rests on an exact classification of the 3x3 cut matrices of 6-edge-cuts in (4,1)-graphs (exactly 21 matrices, five types up to row/column permutations) together with a boundary-shortfall lemma; the unique near-miss is K_{3,3,3} minus a rainbow 3-matching. Several supporting lemmas are machine-checked in Lean 4/Mathlib.
Improved bounds for lines and $1$-separated sets in Euclidean Ramsey theory
Let $K$ be a $1$-separated set of diameter at most $R-1$, and let $\ell_m$ denote a collection of $m$ points on a line, with consecutive points of distance $1$ apart. Conlon and Fox (2019) demonstrated a coloring of $n$-dimensional Euclidean space avoiding red congruent copies of $\ell_2$ and blue congruent copies of $K$ for $|K| > 10000^n\log R$. We show here a stronger bound, that in fact $|K| > (11 + o(1))^n\ln R$ suffices for arbitrary $1$-separated $K$, while the improvement $|K| > (5 + o(1))^n\ln R$ holds in many cases, including when $K = \ell_m$, or more generally when $K$ is contained in a low-dimensional affine subspace. We also make a special study of the case when $n=2$, demonstrating a two-coloring of two-dimensional Euclidean space avoiding red copies of $\ell_2$ and blue copies of $\ell_{6330}$. This latter result addresses a question of Erdős and Graham.
A program to find families of graphs in Free$\{C_4,4K_1\}$ with bounded clique width
In this paper we study the class of graphs without cycles of size 4 and independent sets of size 4 as induced subgraphs: $\mathop{Free}\{C_4, 4K_1\}$. This is one of the three minimal minimal open cases for the complexity of the colouring problem when restricted to classes defined by excluding induced subgraphs of order 4. We investigate the clique width of some subclasses of $\mathop{Free}\{C_4, 4K_1\}$.
We introduce a new framework: the $(k,l,m)$-decomposition and prove that if all the graphs of a class $\cal G$ are $(k,l,m)$-decomposable, then graphs in $\cal G$ have bounded clique width. We give a few examples of such class, found with the help of a program we designed.
We also show, for any graph $G \in \mathop{Free}\{C_4, 4K_1\}$ that is 3 cliques coverable, an infinite family in $\mathop{Free}\{C_4, 4K_1\}$ of supergraphs of $G$ which have unbounded clique width.
Canonical Ramsey theorem for graphs with clean intersections
Extending earlier results of Nešetřil and Rödl [Selective graphs and hypergraphs, Ann. Discrete Math. 3 (1978), 181--189], we show that for every ordered graph $F$ there exist an ordered graph $H$ and a system $\mathscr{H}_F$ of induced copies of $F$ such that every colouring of the edges of $H$ yields a canonically coloured copy of $F$ from $\mathscr{H}_F$ and any two copies from $\mathscr{H}_F$ intersect either in a vertex or an edge or not at all.
As a consequence, this allows us to construct, for any given ordered graph $F$, canonical Ramsey graphs $H$ enjoying additional structural properties. In particular, $H$ can have the same clique number as $F$ and, provided $F$ is not bipartite, the same odd girth. Moreover, if $F$ is connected, then the copies of $F$ from $\mathscr{H}_F$ are not only induced, but their pairs of vertices also have the same distances in $H$ as in $F$.
Strong marker sets for arbitrary generating sets
We prove the existence of clopen strong marker sets in $F(2^{\mathbb{Z}^n})$ for arbitrary finite generating sets. Specifically, for any positive integers $n, d_0\geq 1$ and any finite generating set $S\subseteq \mathbb{Z}^n$, we construct a clopen set $M\subseteq F(2^{\mathbb{Z}^n})$ and a positive integer $Δ$ such that (1) for any distinct $x,y\in M$ in the same orbit, $ρ(x,y)\geq d_0$; (2) for any $v\in S$ and any $x\in F(2^{\mathbb{Z}^n})$, there are non-negative integers $a,b\leq Δ$ such that $av\cdot x\in M$ and $-bv\cdot x\in M$. Here $ρ$ denotes the Euclidean metric. The same result then holds for the standard supremum-norm metric $ρ_\infty$ (with an adjusted constant), by the equivalence of norms on $\mathbb{Z}^n$. The proof introduces polyhedral packages in $\mathbb{R}^n$ as a generalization of the rectangular packages used in earlier work, enabling the construction to handle generating vectors with arbitrary coordinate patterns. As an application, we obtain a continuous proper edge $(2|S|+1)$-coloring of the Schreier graph on $F(2^{\mathbb{Z}^n})$ with generating set $S$, recovering a result of Gao--Wang--Wang.
Intersection Arrays of Completely Regular Codes of Covering Radius One in Generalized Petersen Graphs
We determine all possible intersection arrays of completely regular codes of covering radius one in the generalized Petersen graphs \(GP(n,k)\), where \(n\geq 3\) and \(1\leq k<n/2\). In the equivalent language of perfect colorings, this amounts to enumerating all quotient matrices of perfect \(2\)-colorings, up to interchanging the two colors. Since \(GP(n,k)\) is cubic, there are only six possible nontrivial quotient matrices. For each of them, we give necessary and sufficient arithmetic conditions on \(n\) and \(k\) for its existence. The feasible cases are realized by explicit periodic colorings. The nonexistence part is obtained by reducing the local coloring conditions to cyclic systems of linear equations and applying a Fourier argument on roots of unity. Together with the previously known cases \(GP(n,2)\) and \(GP(n,3)\), the results give a complete arithmetic classification of quotient matrices, and hence of covering-radius-one completely regular code parameters, in the generalized Petersen family.
A random approach to the multibonacci sequence
This paper presents a random approach to the multibonacci sequence. We generalise the model introduced by Benjamin, Levin, Mahlburg, and Quinn, which is based on a random tiling method using dominoes and squares that leads to the Fibonacci sequence, and which was extended to the tribonacci case in a previous work by the authors. Our approach employs tiling with linear $k$-ominoes, $k=1,\ldots,s$, combined with specific colouring, to generate a weighted multibonacci sequence. For a natural random variable~$X$ defined by this model, we establish the distribution of $X$ in terms of multibonacci numbers and compute $\mathbb{E}[X] = 2^{s+1}-3$.
Trace spectra of simplices in large sets
Given an ordered tuple $\mathbf v=(v_0,\ldots,v_d)$ of vectors in $\mathbb{R}^d$, let $A_{\mathbf v}=[\,v_1-v_0\ \cdots\ v_d-v_0\,]$ be its edge matrix. We prove that, in every finite colouring of $\mathbb{R}^d$, one colour class realizes every prescribed value of the higher characteristic coefficients \[
(c_2(A_{\mathbf v}),\ldots,c_d(A_{\mathbf v})). \] This extends Graham's theorem on volumes, which corresponds to the last coefficient $c_d(A_{\mathbf v})=\det(A_{\mathbf v})$. We also prove a discrete analogue: if $E\subseteq\mathbb{Z}^d$ has positive upper Banach density, then, for some $q\geq 1$, the set of coefficient tuples realized by ordered tuples in $E$ contains \[
q^2\mathbb{Z}\times q^3\mathbb{Z}\times\cdots\times q^d\mathbb{Z}. \] Finally, we show that the ordinary trace $c_1(A_{\mathbf v})$ cannot be added to these conclusions. The proof combines a quantitative directional expansion result for ergodic actions of free abelian groups with a trace calculation for a family of model edge matrices.
Vertex-critical co-gem-free graphs
A graph $G$ is $k$-$colorable$ if $V(G)$ can be partitioned into at most $k$ stable sets. A graph $G$ is $k$-$chromatic$ if $k$ is the smallest integer for which $G$ is $k$-colorable. In general, for a fixed $k\ge 3$, determining whether an arbitrary graph $G$ is $k$-colorable is NP-complete. Consequently, $k$-coloring algorithms for restricted graph classes, such as $\mathcal{H}$-free graphs, have been widely studied over the past few decades. A graph $G$ is $k$-$vertex$-$critical$ if $G$ is $k$-chromatic and every proper induced subgraph of $G$ is ($k$-1)-colorable. Given a graph $G$, most of the certifying $k$-coloring algorithms in the literature either output a $k$-coloring of $G$ or a ($k$+1)-vertex-critical induced subgraph of $G$, thus, proving that $G$ is not $k$-colorable. As a result, $k$-vertex-critical graphs have gathered considerable attention in the recent years. Beaton and Cameron [Vertex-critical graphs in co-gem-free graphs, Theoretical Computer Science 1042 (2025) 115234] asked for which graphs $H$ of order five are there finitely many $k$-vertex-critical (co-gem, $H$)-free graphs for all $k$?
In this paper we explore the structure of (co-gem, house)-free graphs and (co-gem, dart)-free graphs, and prove that, for each $k\ge 1$, there are finitely many $k$-vertex-critical (co-gem, $H$)-free graphs, when $H$ is in $\{$house, dart$\}$.
A note on geometric colorings of the Moser lattice
In arXiv:2311.10069, Matolcsi et al. show that the fractional chromatic number of the plane is at least 4. Their proof uses a 27-vertex unit-distance graph in the Moser lattice, with geometric fractional chromatic number exactly 4. We show that this bound is tight for graphs in the Moser lattice by exhibiting geometric 4-colorings of the entire lattice. The same colorings also extend to the entire Moser ring.
Proper edge coloring with rainbow diamonds
Motivated by the B-coloring defined by Gyárfás and Sárközy, we introduce a new edge coloring called \emph{D-coloring}. For a graph $G$, a D-coloring of $G$ is a proper edge coloring such that every diamond subgraph is rainbow. The \emph{D-chromatic index} of $G$, denoted by $χ'_D(G)$, is the minimum number of colors needed for a D-coloring of $G$. Denote by $Δ$ the maximum degree of $G$. We prove that $χ'_D(G)\le \frac{9}{16}Δ^2+\frac{1}{2}Δ$, conjecture that $χ'_D(G)\le \frac{1}{2}Δ^2+\frac{1}{2}Δ$, and verify this conjecture for $Δ\le 5$.
An Explicit $O(r\log r)$ Threshold for Attaining the Semple--Steel Bound with $r$-State Characters
Let $d_r(n)$ be the maximum, over all binary phylogenetic trees with $n$ leaves, of the minimum number of $r$-state characters required to define the tree. Semple and Steel proved that $d_r(n)\geq\lceil(n-3)/(r-1)\rceil$, and Bordewich and Semple proved that equality holds for each fixed $r$ and all sufficiently large $n$. We study the corresponding threshold $n_r$, the least $N$ for which equality holds for every $n\geq N$. The Bordewich--Semple construction yields an explicit polynomial upper bound of order $O(r^5)$ for this threshold. We prove the near-linear estimate \[
3r+1\leq n_r\leq \ceil{64(r-1)\log_2(r+1)}+3\qquad(r\geq4). \] The proof constructs, for every binary phylogenetic tree with $m=n-3$ internal edges, a linked quartet certificate whose conflict graph has maximum degree at most $16\lceil\log_2(m+2)\rceil+4$. Equitable coloring then packs the certificate into exactly $\lceil m/(r-1)\rceil$ $r$-state characters once $m\geq\lceil64(r-1)\log_2(r+1)\rceil$. We also include the lower bound $n_r\geq3r+1$, obtained from the snowflake obstruction, and state the natural conjecture that this lower bound is the exact threshold for all $r\geq4$. The conjectural endpoint is consistent with the known small-state thresholds: $n_4=13$ and $n_5=16$, while the cases $r=2,3$ are also explicitly classified.
Improved bounds on the b-chromatic number using the independence and chromatic numbers
A b-coloring of a graph $G$ is a proper vertex coloring where each color class contains at least one vertex (a b-vertex) adjacent to a vertex in every other color class. The maximum number of colors in such a coloring is the b-chromatic number, ${\rm b}(G)$. A ${\rm b}^{\ast}$-coloring is a variation in which a b-vertex is adjacent to a b-vertex in every other color class. We employ the ${\rm b}^{\ast}$-coloring to prove that any $n$-vertex graph $G$ with independence number at most $t$ satisfies ${\rm b}(G) \leq ((t-1)n+tχ(G))/(2t-1)$. This bound extends the bounds of Kouider and Zaker (2006) and Alkhateeb and Kohl (2011). We show that this bound is sharp for all $t\geq 2$ and $χ(G)\geq 3$. Furthermore, we provide a refined bound based on the maximum number of vertex-disjoint independent sets of size $t$. Finally, we present an upper bound on the ${\rm b}^{\ast}$-chromatic number of $K_{1,s}$-free graphs.
Strong colorings based on oscillations
We show that for any uncountable cardinal $κ$, there is a coloring $c: [κ]^2\to ω$ such that $c''A \otimes B = ω$ for any $A, B\subseteq κ$ of order type $ω_1$ that are stationary in their common supremum. In particular, the stationary version of Erdős-Rado theorem and the higher dimensional Friedman's property are both inconsistent. We demonstrate that the theorem is optimal in various ways.