coloring
4536 papers tagged with this keyword
Metric embeddings of cubes into dense subsets of cubes
Fix $k \in \mathbb{N}$ and $0 < δ< 1$. We study how large $N$ must be so that every $δ$-dense subset $\mathcal{D} \subset \{0,1\}^N$ (meaning $|\mathcal{D}| \geq δ2^N$) contains the image of a metric embedding $f: \{0,1\}^k \to \mathcal{D}$. We study three variants. For a $(1+\varepsilon)$-bi-Lipschitz map $f$ with fixed $\varepsilon > 0$, we show $N = O(\varepsilon^{-2} \log(1/δ) k^3)$. For an isometric map with arbitrary rescaling (undistorted), we show $N = \log(1/δ) e^{Ω(k)}$ and conjecture $N = \log(1/δ) e^{O(k)}$. For an isometric map with bounded rescaling we show $N = \exp[\log(1/δ) e^{Θ(k)}]$.
As a geometric application, we obtain a nonpositive Alexandrov curvature counterpart to the work of Bartal-Linial-Mendel-Naor on the nonlinear Dvoretzky problem. It is known that any subset of $\{0,1\}^N$ embedding with bi-Lipschitz distortion $< α$ into a metric space of nonnegative Alexandrov curvature must satisfy $|\mathcal{D}| \lesssim 2^{N(1-Ω(α^{-2}))}$. Work of Gromov and Kondo shows that this approach does not extend to CAT(0) targets. We prove that for every $N \gtrsim α^6 \geq 1$, any $\mathcal{D} \subset \{0,1\}^N$ embedding with distortion $< α$ into a CAT(0) space must satisfy $|\mathcal{D}| \lesssim 2^{N(1-Ω(α^{-4}))}$, via a completely different approach. Similar results hold for targets of nontrivial Enflo type.
Finally, we prove the density analogue of a coloring theorem of Rodl-Sales: we give bounds for $(1+\varepsilon)$-bi-Lipschitz embeddings of the path $\{1,\ldots,k\}$ into dense subsets of $\{1,\ldots,N\}$ (improving a bound of Dumitrescu), and prove similar bounds for binary tree metrics.
Acyclic sets and colorings in digraphs under restrictions on degrees and cycle lengths
Published
• View Publication
• BIB
Given a digraph $D$, we denote by $\vecα(D)$ the maximum size of an acyclic set of $D$ (i.e. a set of vertices which induces a subdigraph with no directed cycles), and by $\vecχ(D)$ the minimum number of acyclic sets into which $V(D)$ can be partitioned. In this paper, we study $\vecα(D)$ and $\vecχ(D)$ from various perspectives, including restrictions on degrees and cycle lengths. A main result is that, if $D$ is a random $r$-regular digon-free simple digraph of order $n$, then $\vecα(D) = Θ(n \log r /r)$ with high probability. This corresponds to a result of Spencer and Subramanian on the Erdős--Rényi random digraph model. Along the way, we derive some related results and propose some conjectures. An example of this is an analogue of the theorem of Bondy which bounds the chromatic number of a graph by the circumference of any strong orientation.
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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.
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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.