coloring
4405 papers tagged with this keyword
Cuboids are canonically Ramsey
We say a set of points $C\subset \mathbb{R}^n$ is canonically Ramsey if there is some set of points $S\subset \mathbb{R}^{n'}$ such that any colouring of $S$, with any number of colours, admits either a monochromatic or rainbow copy of $C$ -- that is to say, some set of points congruent to $C$ either all receive the same colour, or all receive different colours. Mao, Ozeki, and Wang introduced this notion, proving that 30-60-90 triangles are canonically Ramsey, since when various other canonically Ramsey configurations have been identified (by Gehér, Sagdeev, and Tóth, and others). Fang, Ge, Shu, Xu, Xu, and Yang showed that all triangles and rectangles are canonically Ramsey, and asked whether all cuboids are canonically Ramsey. Here cuboids are sets of the form $\{0,b_1\}\times\dots\times\{0,b_s\}$, and in particular may have dimension greater than three. We resolve this question, proving that all cuboids are canonically Ramsey.
Variants of Merge-Width and Applications
Merge-width is a recently introduced family of graph parameters that unifies treewidth, clique-width, twin-width, and generalised colouring numbers. We prove the equivalence of several alternative definitions of merge-width, thus demonstrating the robustness of the notion. Our characterisation via definable merge-width uses vertex orderings inspired by generalised colouring numbers from sparsity theory, and enables us to obtain the first non-trivial approximation algorithm for merge-width, running in time $n^{O(1)} \cdot 2^n$. We also obtain a new characterisation of bounded clique-width in terms of vertex orderings, and establish that graphs of bounded merge-width admit sparse quotients with bounded strong colouring numbers, are quasi-isometric to graphs of bounded expansion, and admit neighbourhood covers with constant overlap. We also discuss several other variants of merge-width and connections to adjacency labelling schemes.
Off-diagonal Rado number for $x+y+c=z$ and $x+qy=z$
Ramsey-type problems for linear equations began with Schur's theorem and were systematically generalized by Richard Rado. In the off-diagonal framework for two colors, one considers two different linear equations $(\mathcal{E}_1,\mathcal{E}_2)$ and determines the minimum integer $N$ for which any red-blue coloring of $\{1,2,...,N\}$ forces either a red solution of the equation $\mathcal{E}_1$ or a blue solution of the equation $\mathcal{E}_2$. In this work, we study off-diagonal Rado numbers for non-homogeneous linear equations of the forms $x+y+c=z$ and $x+qy=z$. We determine the exact two-color off-diagonal Rado number $R_2(c,q)$ associated with this system of equations.
The Multicolor Size-Ramsey Number of Bipartite Long Subdivisions
For a positive integer $r$, the $r$-color size-Ramsey
number~$\widehat{R}_r(H)$ of a graph $H$ is the minimum number of
edges in a graph $G$ such that every $r$-edge coloring of $G$
contains a monochromatic copy of $H$. For a graph~$H$ and a
function $σ:E(H)\to \mathbb{N}$, the \emph{subdivision}
$H^σ$ is obtained by replacing every $e \in E(H)$ with a path
of length $σ(e)$. In~\cite{javadi25:_induced_long} it is shown
that for all integers $r,\, D\geq 2 $, there exists a constant
$c=c(r, D)$ such that for every graph $ H $ with maximum degree $D$
if $H^σ$ is a subdivision of~$H$ in which
$σ(e) > c \log n $ for every $e \in E(H)$, where
$n=|V(H^σ)|$, then
$ \widehat{R}_r(H^σ) = O\big(2^{34r}
r^6 \log^5(r) D^5\log D\big)n. $ We improve upon this result in the case that~$H^σ$
is a bipartite graph and the number of colors~$r$ is large using a
significantly different argument, obtaining the bound
$ \widehat{R}_r(H^σ) \leq r^{400D \log D} \, n $.
The half-monochromatic colorings of plane graphs with even polygonal faces
On the maximum number of colors for proper anti-rainbow colorings on a planar quadrangulation, an upper bound was given by Enami-Ozeki-Yamaguchi in terms of the independence number. In this paper, as an extension, we introduce the half-monochromatic coloring on a plane graph with even polygonal faces, and give an upper bound on the maximum number of colors for such colorings in terms of the independence number.
Input/output coloring and Gröbner basis for dioperads
By selecting a specific input or output of a dioperadic tree, we transform it into a rooted tree and induce a corresponding colored operadic structure. This fundamental pictorial construction demonstrates how the machinery of Gröbner bases and the theory of Hilbert series (well-established for (colored) operads) can be adapted to the dioperadic setting.
We illustrate this framework by providing several examples and applications: (1) we compute the dimensions of the spaces of operations for the dioperad of Lie bialgebras; (2) we describe a Gröbner basis and a minimal resolution for the dioperad of triangular Lie bialgebras; (3) we provide computations for the dioperad of ``algebraic string operations''; (4) we present a graphical construction that establishes the existence of quadratic Gröbner bases and the Koszul property for a broad class of dioperads originating from cyclic operads.
Hypersphere-Based Restricting Conditions for Colorings of the Euclidean Space
We investigate colorings of the Euclidean space \(\mathbb{R}^n\) in which the color of a point \(p\) is determined by monochromatic configurations of points lying on hyperspheres centered at \(p\). We consider two types of conditions: those based on the cardinality of the forcing sets and admissible radii, and those based on certain geometric properties of simplices, such as shape, edge lengths, or volumes, for colorings using countably (finite or infinite) many colors. Our main objective is to determine whether a given condition forces the coloring to be monochromatic or not. Examples constructed using existing results show that, for conditions based on shapes, additional regularity assumptions on color classes are necessary. Accordingly, we study colorings that are somewhere comeager.
Coloring Questions on Axis-Parallel Rectangles and Arithmetic Progressions
We present an explicit family of hypergraphs with arbitrarily large uniformity and chromatic number that admit realizations in both geometric and number-theoretic settings. As an application, we give a new proof of a theorem of Chen, Pach, Szegedy, and Tardos. They showed that for any constants $c,k\ge1$, there exists a finite point set $P$ in the plane with the following property: for every coloring of $P$ with $c$ colors, there is an axis-parallel rectangle containing at least $k$ points, all of the same color. Their original proof is probabilistic; we present an explicit construction. Moreover, in the case $k=2$, we show that one can even realize a graph that has arbitrarily large girth and chromatic number simultaneously. We also answer a question of Pálvölgyi on coloring sets of integers with respect to certain finite arithmetic progressions. Finally, we give an application to coloring partially ordered sets.
Chromatic Index of Signed Generalized Book Graphs and Signed Complete Graphs
A signed graph $(G,σ)$ consists of a graph $G$ and the signature $σ: E(G) \rightarrow \{+1,-1\}$. An incidence of $G$ is a pair $(v,e)$, where $v$ is one of the end vertices of an edge $e \in E(G)$. A proper $q$-edge coloring $γ$ of signed graph $(G,σ)$ is an assignment of colors to incidences satisfying that $γ(v,e) = - σ(e) γ(w,e)$ for every edge $e=vw$ and for any two incidences $(v,e)$ and $(v,f)$, involving the same vertex, $γ(v,e) \neq γ(v,f)$. The chromatic index of a signed graph $(G,σ)$, denoted by $χ'(G,σ)$, is the minimum number $q$ for which $(G,σ)$ has a proper $q$-edge coloring. In this paper, we determine the chromatic index of signed generalized book graphs. We also determine the chromatic index of signed complete graphs of order up to six.
A Jump in the Codegree Turán Densities of Long Tight Cycles
We study the codegree Turán density of $\mathcal{C}_\ell^r$, the $r$-uniform hypergraph tight cycle of length $\ell$. A result of Han, Lo, and Sanhueza-Matamala states that if $\ell$ is sufficiently large and $r/\gcd(r,\ell)$ is even, then the codegree Turán density of $\mathcal{C}_\ell^r$ is $1/2$. We prove that whenever the latter assumption is not satisfied, there is a significant drop in the codegree Turán density. That is, if $\ell$ is sufficiently large and $r/\gcd(r,\ell)$ is odd, then the codegree Turán density of $\mathcal{C}_\ell^r$ can be at most $1/3$. Moreover, this bound is tight for infinitely many uniformities $r$ and all sufficiently large $\ell$ in the corresponding residue classes modulo $r$. Our proof makes use of a group-theoretic connection between Turán-type theorems for tight cycles and ``oriented colorings'' of the edge set of a hypergraph.
Canonical labelling of random regular graphs
We prove that whenever $d=d(n)\to\infty$ and $n-d\to\infty$ as $n\to\infty$, then with high probability for any non-trivial initial colouring, the colour refinement algorithm distinguishes all vertices of the random regular graph $\mathcal{G}_{n,d}$. This, in particular, implies that with high probability $\mathcal{G}_{n,d}$ admits a canonical labelling computable in time $O(\min\{n^ω,nd^2+nd\log n\})$, where $ω<2.372$ is the matrix multiplication exponent.
A New Lower Bound for the Diagonal Poset Ramsey Numbers
Given two finite posets $\mathcal P$ and $\mathcal Q$, their Ramsey number, denoted by $R(\mathcal P,\mathcal Q)$, is defined to be the smallest integer $N$ such that any blue/red colouring of the vertices of the hypercube $Q_N$ has either a blue induced copy of $\mathcal P$, or a red induced copy of $\mathcal Q$.
Axenovich and Walzer showed that, for fixed $\mathcal P$, $R(\mathcal P, Q_n)$ grows linearly with $n$. However, for the diagonal question, we do not even come close to knowing the order of growth of $R(Q_n,Q_n)$. The current upper bound is $R(Q_n,Q_n)\leq n^2-(1-o(1))n\log n$, due to Axenovich and Winter.
What about lower bounds? It is trivial to see that $2n\leq R(Q_n,Q_n)$, but surprisingly, even an incremental improvement required significant work. Recently, an elegant probabilistic argument of Winter gave that, for large enough $n$, $R(Q_n,Q_n)\geq 2.02n$.
In this paper we show that $R(Q_n,Q_n)\geq 2.7n+k$, where $k$ is a constant. Our current techniques might in principle show that in fact, for every $ε>0$, for large enough $n$, $R(Q_n,Q_n)\geq (3-ε)n$. Our methods exploit careful modifications of layered-colourings, for a large number of layers. These modifications are stronger than previous arguments as they are more constructive, rather than purely probabilistic.
Disjoint Correspondence Colorings for $K_5$-Minor-free Graphs
Thomassen famously proved that every planar graph is 5-choosable. We explore variants of this result, focusing on finding disjoint correspondence colorings, in the more general class of $K_5$-minor-free graphs. Correspondence colorings generalize list colorings as follows. Given a graph $G$ and a positive integer $t$, a correspondence $t$-cover $\textbf{M}$ assigns to each $v\in V(G)$ a set of allowable colors $\{1_v,\ldots,t_v\}$ and to each edge $vw\in E(G)$ a matching between $\{1_v,\ldots,t_v\}$ and $\{1_w,\ldots,t_w\}$. An $\textbf{M}$-coloring $\varphi$ picks for each vertex $v$ a color $\varphi(v)$ (from the set $\{1_v,\ldots,t_v\}$) such that for each edge $vw\in E(G)$ the colors $\varphi(v),\varphi(w)$ are not matched to each other. Two $\textbf{M}$-colorings $\varphi_1,\varphi_2$ of $G$ are called disjoint if $\varphi_1(v)\ne\varphi_2(v)$ for all $v\in V(G)$. For every $K_5$-minor-free graph $G$ and every correspondence 6-cover $\textbf{M}$ of $G$, we construct 3 pairwise disjoint $\textbf{M}$-colorings $\varphi_1,\varphi_2,\varphi_3$. In contrast, we provide examples of $K_5$-minor-free graphs and correspondence 5-covers $\textbf{M}$ that do not admit 3 disjoint $\textbf{M}$-colorings.
Multidimensional convolution matrices and perfect colorings of subspace hypergraphs applied for bent functions and related designs
The main aim of the present paper is to introduce new methods for the study of combinatorial designs related to bent functions. They are based on interpretations of convolution on finite abelian groups as multiplication by a multidimensional matrix and designs as perfect colorings of subspace hypergraphs of $\mathbb{F}_2^n$.
We establish a correspondence between eigenfunctions of convolution matrices and perfect colorings of subspace hypergraphs, show that perfect colorings of subspace hypergraphs admit a characterization in terms of convolution and that two-valued eigenfunctions of subspace hypergraphs correspond to perfect colorings. As applications, we represent partial difference sets, bent and plateaued Boolean functions, spreads, and strong bent partitions of $\mathbb{F}_2^n$ as eigenfunctions of convolution matrices and as perfect colorings of subspace hypergraphs. We also find some eigenvalues of convolution matrices over $\mathbb{F}_2^n$ and $\mathbb{F}_3^n$.
Flips and Merge-Width in Sparse Graphs
A flip of a graph is obtained by complementing the edge relation within a set of vertices. Flips are typically used to separate vertices in a graph, by increasing the distances between them. We show that in $K_{t,t}$-free graphs, every short sequence of flips can be simulated by a short sequence of vertex deletions that achieves a similar degree of separation: distances in the resulting graph are, up to a factor of three, at least as large as those obtained after the flips.
This result provides a simple and uniform explanation of an emerging pattern in structural graph theory and finite model theory: the $K_{t,t}$-free fragment of a tameness notion for dense graphs often coincides with a tameness notion for sparse graphs. As immediate applications, we recover the following known equivalences. In the $K_{t,t}$-free setting, the dense notions (1) bounded shrub-depth, (2) bounded clique-width, (3) bounded flip-width, (4) monadic dependence, respectively, coincide with the sparse notions (1) bounded tree-depth, (2) bounded tree-width, (3) bounded expansion, and (4) no-where dense-ness.
Furthermore, we reprove the result by Dreier and Toruńczyk (STOC 2025) stating that $K_{t,t}$-free classes of bounded merge-width have bounded expansion. Our proof provides explicit bounds and is direct, as it shows how to construct strong coloring orders (witnesses of bounded expansion) from merge sequences (witnesses of bounded merge-width).
Along the way, we identify a new family of graph parameters, dubbed separation-width, that is sandwiched between the strong and weak coloring numbers, and is closely related to the merge-width parameters. We provide evidence that this family of graph parameters, apparently overlooked in the literature, may play a fundamental role in the study of sparse graphs.
Between proper and square coloring of planar graphs, hardness and extremal graphs
$(1^a, 2^b)$-coloring is the problem of partitioning the vertex set of a graph into $a$ independent sets and $b$ 2-independent sets. This problem was recently introduced by Choi and Liu. We study the computational complexity and extremal properties of $(1^a, 2^b)$-coloring. We prove that this problem is NP-Complete even when restricted to certain classes of planar graphs, and we also investigate the extremal values of $b$ when $a$ is fixed and in some $(a + 1)$-colorable classes of graphs. In particular, we prove that $k$-degenerate graphs are $(1^k, 2^{O(\sqrt{n})})$-colorable, that triangle-free planar graphs are $(1^2, 2^{O(\sqrt{n})})$-colorable and that planar graphs are $(1^3, 2^{O(\sqrt{n})})$-colorable. All upper bounds obtained are tight up to a constant factor.
List and total colorings of multiset permutation graphs
Let $k$ and $\ell$ be positive integers. The multiset star transposition graph ST$_k^\ell$ has as vertices the $k\ell$-strings $v_0\cdots v_{k\ell-1}$ on $k$ symbols, each symbol repeated $\ell$ times, and edges given by the transpositions $(v_0\;v_i)$ with $v_i\ne v_0$ ($0<i<k\ell$). It is shown for $k>1$ and $\ell>2$ that ST$_k^\ell$ is $(\ell-1)$-choosable and that, as a result, admits total colorings. In order to prove such assertions, the notion of efficient domination set (or E-set) of a graph is generalized for $\ell>1$ to that of an efficient dominating$\,^\ell$-set and applied to the graphs ST$_k^\ell$\,, showing they admit vertex partitions that generalize the Dejter-Serra partitions of ST$_k^1$ into E-sets, but not efficiently in the sense that the distance of each E$^\ell$-set be 3. Efficiently in such sense however, $ST^2_k$ and the related 2-set pancake permutation graph PC$^2_k$, among other intermediate permutation graphs, are shown to admit total colorings with $2k-1$ colors that determine partitions into $2k-1$ E-sets, each with distance 3.
Furthermore, associated E-chains are examined.
Partition theorems for Ketonen-Solovay largeness
We develop the framework of $α$-largeness introduced by Ketonen and Solovay, by proving a partition theorem for $α$-large sets with $α< ε_0$ which generalizes theorems from Ketonen and Solovay and from Bigorajska and Kotlarski. We also prove that for every $ω^{nk+3}$-large set $X$ with $\min X \geq 18$, every coloring $f : [X]^2 \to k$ admits an $ω^n$-large $f$-homogeneous subset. This bound is tight, up to an additive constant.
The Multicolor Induced Size-Ramsey Number of Long Subdivisions
For a positive integer $k$ and a graph $H$, the $k$-color induced size-Ramsey number \linebreak $\widehat{R}_{\mathrm{ind}}(H, k)$ is the minimum integer $m$ for which there exists a graph $G$ with $m$ edges such that for every $k$-edge coloring of $G$, the graph $G$ contains a monochromatic copy of $H$ as an induced subgraph. For a graph $H$ with the edge set $E(H)$ and a function $σ:E(H)\to \mathbb{N}$, the subdivision $H^σ$ is obtained by replacing each $e \in E(H)$ with a path of length $σ(e)$. We prove that for all integers $k,\, D\geq 2 $, there exists a constant $c=c(k, D)$ such that the following holds. Let $ H $ be any graph with maximum degree~$D$ and let~$H^σ$ be a subdivision of $H$ with $σ(e) > c \log_D n $ for every $e \in E(H)$, where~$n$ is the order of~$H^σ$. Then, $\hat{R}_{\mathrm{ind}}(H^σ,k)=e^{O(k\log k)} D^{9}\log (D)\, n$. If each $σ(e)$ is even and larger than $c \log_D n$, this bound improves to $\hat{R}_{\mathrm{ind}}(H^σ,k)=O(k^{342} \log^{9} (k) D^{9} \log D )n$. We also find improved bounds for the non-induced size-Ramsey number of long subdivisions.
On a conjecture about the strong odd chromatic number of planar graphs
A proper coloring of a graph $G$ is said to be a strong odd coloring of $G$, if for every vertex $v$ and every color $c$, either $c$ appears on an odd number of vertices in the neighborhood of $v$ or $c$ is absent in the neighborhood of $v$. The strong odd chromatic number of $G$ is defined as the smallest integer $k$ for which $G$ admits a strong odd coloring using $k$ colors. In this paper, we evaluate the strong odd chromatic number of join of cycles and empty graphs and one point union of graphs. Using these results, we construct infinite family of planar graphs that serves as counter examples to a recent conjecture regarding the upper bound of the strong odd chromatic number of planar graphs.