coloring
4410 papers tagged with this keyword
Recurrence for pretentious systems along generalized Pythagorean triples
We establish multiple recurrence results for pretentious measure-preserving multiplicative actions along generalized Pythagorean triples, that is, solutions to the equation $ax^2 + b y^2 = c z^2$. This confirms the ergodic-theoretic form of the generalized Pythagorean partition regularity conjecture in this critical case of structured measure-preserving actions. As a consequence of our main theorem, any finite coloring of $\mathbb{N}$ generated by the level sets of finitely many pretentious completely multiplicative functions, must contain a monochromatic generalized Pythagorean triple.
On packing total coloring
In this paper, we introduce a new concept in graph coloring, namely the \textit{packing total coloring}, which extends the idea of packing coloring to both the vertices and the edges of a given graph. More precisely, for a graph $G$, a packing total coloring is a mapping $c: V(G) \cup E(G) \rightarrow \{1, 2, \ldots\}$ with the property that for any integer $i$, any two distinct elements $A, B \in V(G) \cup E(G)$ with $c(A) = c(B) = i$ must be at distance at least $i+1$ from each other. The smallest integer $k$ such that $G$ admits a packing total coloring using $k$ colors is called the \textit{packing total chromatic number}, denoted by $χ_ρ^{''}(G)$.
In addition to introducing this new concept, we provide lower and upper bounds for the packing total chromatic numbers of graphs. Furthermore, we consider packing total chromatic numbers of graphs from the perspective of their maximum degrees and characterize all graphs $G$ with $χ_ρ^{''}(G) \in \{1, 2, 3, 4\}$.
Critical edge sets in vertex-critical graphs
Criticality is a fundamental notion in graph theory that has been studied continually since its introduction in the early 50s by Dirac. A graph is called $k$-vertex-critical ($k$-edge-critical) if it is $k$-chromatic but removing any vertex (edge) lowers the chromatic number to $k-1$. A set of edges in a graph is called critical if its removal reduces the chromatic number of the graph.
In 1970, Dirac conjectured a rather strong distinction between the notions of vertex- and edge-criticality, namely that for every $k\ge 4$ there exists a $k$-vertex-critical graph that does not have any critical edges. This conjecture was proved for $k\ge 5$ by Jensen in 2002 and remains open only for $k=4$. A much stronger version of Dirac's conjecture was proposed by Erdős in 1985: Let $k\ge 4$ be fixed, and let $f_k(n)$ denote the largest integer such that there exists a $k$-vertex-critical graph of order $n$ in which no set of at most $f_k(n)$ edges is critical. Is it true that $f_k(n)\rightarrow \infty$ for $n\rightarrow \infty$?
Strengthening previous partial results, we solve this problem affirmatively for all $k>4$, proving that $$f_k(n)=Ω(n^{1/3}).$$ This leaves only the case $k=4$ open. We also show that a stronger lower bound of order $\sqrt{n}$ holds along an infinite sequence of numbers $n$. Finally, we provide a first non-trivial upper bound on the functions $f_k$ by proving that $$f_k(n)=O\left(\frac{n}{(\log n)^{Ω(1)}}\right)$$ for every $k\ge 4$. Our proof of the lower bound on $f_k(n)$ involves an intricate analysis of the structure of proper colorings of a modification of an earlier construction due to Jensen, combined with a gluing operation that creates new vertex-critical graphs without small critical edge sets from given such graphs. The upper bound is obtained using a variant of Szemerédi's regularity lemma due to Conlon and Fox.
Coloring Graphs With No Totally Odd Clique Immersion
We prove that graphs that do not contain a totally odd immersion of $K_t$ are $\mathcal{O}(t)$-colorable. In particular, we show that any graph with no totally odd immersion of $K_t$ is the union of a bipartite graph and a graph which forbids an immersion of $K_{\mathcal{O}(t)}$. Our results are algorithmic, and we give a fixed-parameter tractable algorithm (in $t$) to find such a decomposition.
IP Models for Minimum Zero Forcing Sets, Forts, and Related Graph Parameters
Zero forcing is a binary coloring game on a graph where a set of filled vertices can force non-filled vertices to become filled following a color change rule. In 2008, the zero forcing number of a graph was shown to be an upper bound on its maximum nullity. In addition, the combinatorial optimization problem for the zero forcing number was shown to be NP-hard. Since then, the study of zero forcing and its related parameters has received considerable attention. In 2018, the forts of a graph were defined as non-empty subsets of vertices where no vertex outside the set has exactly one neighbor in the set. Forts have been used to model zero forcing as an integer program and provide lower bounds on the zero forcing number. To date, three integer programming models have been developed for the zero forcing number of a graph: the Infection Model, Time Step Model, and Fort Cover Model. In this article, we present variations of these models for computing the zero forcing number and related graph parameters, such as the minimum and maximum propagation times, throttling number, and fractional zero forcing number. In addition, we present several new models for computing the realized propagation time interval, all minimal forts of a graph, and the fort number of a graph. We conclude with several numerical experiments that demonstrate the effectiveness of our models when applied to small and medium order graphs. Moreover, we provide experimental evidence for several open conjectures regarding the propagation time interval, the number of minimal forts, the fort number, and the fractional zero forcing number of a graph.
Induced Minors, Asymptotic Dimension, and Baker's Technique
Asymptotic dimension is a large-scale invariant of metric spaces that was introduced by Gromov (1993). We prove that every hereditary class of bounded-degree graphs that excludes some graph as a fat minor has asymptotic dimension at most $2$, which is optimal. This makes substantial progress on a question of Bonamy, Bousquet, Esperet, Groenland, Liu, Pirot, and Scott (J. Eur. Math. Soc. 2023).
The key to our proof is a notion inspired by Baker's technique (J. ACM 1994). We say that a graph class $\mathcal{G}$ has bounded Baker-treewidth if there exists a function $f \colon \mathbb{N} \to \mathbb{N}$ such that, for every graph $G\in \mathcal{G}$, there is a layering of $G$ such that the subgraph induced by the union of any $\ell$ consecutive layers has treewidth at most $f(\ell)$. We show that every class of bounded-degree graphs that excludes some graph as an induced minor has bounded Baker-treewidth. We discuss further applications of this result to clustered colouring and the design of linear-time approximate schemes.
Chain characteristic polynomials of matroids
In this note we introduce a family of polynomials on a matroid derived from chain Tutte polynomials which generalize the classic and ubiquitous characteristic polynomial. We show that the coefficients of these polynomials alternate and present a recursion for any matroid. The classic characteristic polynomials were motivated by the chromatic polynomial on graphs. We define a generalized proper vertex coloring on a graph, which we call coupled multicoloring. We also define a generalized nowhere zero flow, which we call coupled multicommodity flow. Then we show that these chain characteristic polynomials enumerate the number of coupled multicolorings and coupled multicommodity flows on a graph. We conclude by listing multiple problems on enumerative properties of chain characteristic polynomials.
Backbone colouring of chordal graphs
A proper $k$-colouring of a graph $G=(V,E)$ is a function $c: V(G)\to \{1,\ldots,k\}$ such that $c(u)\neq c(v)$ for every edge $uv\in E(G)$. The chromatic number $χ(G)$ is the minimum $k$ such that there exists a proper $k$-colouring of $G$. Given a spanning subgraph $H$ of $G$, a $q$-backbone $k$-colouring of $(G,H)$ is a proper $k$-colouring $c$ of $G$ such that $\lvert c(u)-c(v)\rvert \ge q$ for every edge $uv\in E(H)$. The $q$-backbone chromatic number ${\rm BBC}_q(G,H)$ is the smallest $k$ for which there exists a $q$-backbone $k$-colouring of $(G,H)$. In their seminal paper, Broersma et al.~\cite{BFGW07} ask whether, for any chordal graph $G$ and any spanning forest $H$ of $G$, we have that ${\rm BBC}_2(G,H)\leq χ(G)+O(1)$.
In this work, we first show that this is true as long as $H$ is bipartite and $G$ is an interval graph in which each vertex belongs to at most two maximal cliques. We then show that this does not extend to bipartite graphs as backbone by exhibiting a family of chordal graphs $G$ with spanning bipartite subgraphs $H$ satisfying ${\rm BBC}_2(G,H)\geq \frac{5χ(G)}{3}$. Then, we show that if $G$ is chordal and $H$ has bounded maximum average degree (in particular, if $H$ is a forest), then ${\rm BBC}_2(G,H)\leq χ(G)+O(\sqrt{χ(G)})$. We finally show that ${\rm BBC}_2(G,H)\leq \frac{3}{2}χ(G)+O(1)$ holds whenever $G$ is chordal and $H$ is $C_4$-free.
Chromatic discrepancy of locally $s$-colourable graphs
The chromatic discrepancy of a graph $G$, denoted $φ(G)$, is the least over all proper colourings $σ$ of $G$ of the greatest difference between the number of colours $|σ(V(H))|$ spanned by an induced subgraph $H$ of $G$ and its chromatic number $χ(H)$. We prove that the chromatic discrepancy of a triangle-free graph $G$ is at least $χ(G)-2$. This is best possible and positively answers a question raised by Aravind, Kalyanasundaram, Sandeep, and Sivadasan.
More generally, we say that a graph $G$ is locally $s$-colourable if the closed neighbourhood of any vertex $v\in V(G)$ is properly $s$-colourable; in particular, a triangle-free graph is locally $2$-colourable. We conjecture that every locally $s$-colourable graph $G$ satisfies $φ(G) \geq χ(G)-s$, and show that this would be almost best possible. We prove the conjecture when $χ(G) \le 11s/6$, and as a partial result towards the general case, we prove that every locally $s$-colourable graph $G$ satisfies $φ(G) \geq χ(G) - s\ln χ(G)$.
If the conjecture holds, it implies in particular, for every integer $\ell\geq 2$, that any graph $G$ without any copy of $C_{\ell+1}$, the cycle of length $\ell+1$, satisfies $φ(G) \geq χ(G) - \ell$. When $\ell \ge 3$ and $G\neq K_\ell$, we conjecture that we actually have $φ(G)\ge χ(G) - \ell + 1$, and prove it in the special case $\ell = 3$ or $χ(G) \le 5\ell/3$. In general, we further obtain that every $C_{\ell+1}$-free graph $G$ satisfies $φ(G) \geq χ(G) - O_{\ell}(\ln \ln χ(G))$. We do so by determining an almost tight bound on the chromatic number of balls of radius at most $\ell/2$ in $G$, which could be of independent interest.
Adjacent vertex distinguishing total coloring of 3-degenerate graphs
A total coloring of a simple undirected graph $G$ is an assignment of colors to its vertices and edges such that the colors given to the vertices form a proper vertex coloring, the colors given to the edges form a proper edge coloring, and the color of every edge is different from that of its two endpoints. That is, $φ:V(G)\cup E(G)\rightarrow\mathbb{N}$ is a total coloring of $G$ if $φ(u)\neqφ(v)$ and $φ(uv)\neqφ(u)$ for all $uv\in E(G)$, and $φ(uv)\neqφ(uw)$ for any $u \in V(G)$ and distinct $v,w \in N(u)$ (here, $N(u)$ denotes the set of neighbours of $u$). A total coloring $φ$ of a graph $G$ is said to be ``Adjacent Vertex Distinguishing'' (or AVD for short) if for all $uv\in E(G)$, we have that $φ(\{u\}\cup\{uw:w\in N(u)\})\neqφ(\{v\}\cup\{vw\colon w\in N(v)\})$. The AVD Total Coloring Conjecture of Zhang, Chen, Li, Yao, Lu, and Wang (Science in China Series A: Mathematics, 48(3):289--299, 2005) states that every graph $G$ has an AVD total coloring using at most $Δ(G)+3$ colors, where $Δ(G)$ denotes the maximum degree of $G$. For some $s\in\mathbb{N}$, a graph $G$ is said to be $s$-degenerate if every subgraph of $G$ has minimum degree at most $s$. Miao, Shi, Hu, and Luo (Discrete Mathematics, 339(10):2446--2449, 2016) showed that the AVD Total Coloring Conjecture is true for 2-degenerate graphs. We verify the conjecture for 3-degenerate graphs.
Decoupling via Affine Spectral-Independence: Beck-Fiala and Komlós Bounds Beyond Banaszczyk
The Beck-Fiala Conjecture [Discrete Appl. Math, 1981] asserts that any set system of $n$ elements with degree $k$ has combinatorial discrepancy $O(\sqrt{k})$. A substantial generalization is the Komlós Conjecture, which states that any $m \times n$ matrix with unit length columns has discrepancy $O(1)$.
In this work, we resolve the Beck-Fiala Conjecture for $k \geq \log^2 n$. We also give an $\widetilde{O}(\sqrt{k} + \sqrt{\log n})$ bound for $k \leq \log^2 n$, where $\widetilde{O}(\cdot)$ hides $\mathsf{poly}(\log \log n)$ factors. These bounds improve upon the $O(\sqrt{k \log n})$ bound due to Banaszczyk [Random Struct. Algor., 1998].
For the Komlos problem, we give an $\widetilde{O}(\log^{1/4} n)$ bound, improving upon the previous $O(\sqrt{\log n})$ bound [Random Struct. Algor., 1998]. All of our results also admit efficient polynomial-time algorithms.
To obtain these results, we exploit a new technique of ``decoupling via affine spectral-independence'' in designing rounding algorithms. In particular, our algorithms obtain the desired colorings via a discrete Brownian motion, guided by a semidefinite program (SDP). Besides standard constraints used in prior works, we add some extra affine spectral-independence constraints, which effectively decouple the evolution of discrepancies across different rows, and allow us to better control how many rows accumulate large discrepancies at any point during the process. This new technique is quite general and may be of independent interest.
All rectangles exhibit canonical Ramsey property
In a seminal work, Cheng and Xu proved that for any positive integer \(r\), there exists an integer \(n_0\), independent of \(r\), such that every \(r\)-coloring of the \(n\)-dimensional Euclidean space \(\mathbb{E}^n\) with \(n \ge n_0\) contains either a monochromatic or a rainbow congruent copy of a square. This phenomenon of dimension-independence was later formalized as the canonical Ramsey property by Geheér, Sagdeev, and Tóth, who extended the result to all hypercubes, and to rectangles whose side lengths \(a\), \(b\) satisfy \((\frac{a}{b})^2\) is rational. They further posed the natural problem of whether every rectangle admits the canonical Ramsey property, regardless of the aspect ratio.
In this paper, we show that all rectangles exhibit the canonical Ramsey property, thereby completely resolving this open problem of Geheér, Sagdeev, and Tóth. Our proof introduces a new structural reduction that identifies product configurations with bounded color complexity, enabling the application of simplex Ramsey theorems and product Ramsey amplification to control arbitrary aspect ratios.
On the DP-chromatic Number of Cartesian Products of Critical Graphs
DP-coloring (also called correspondence coloring) is a well-studied generalization of list coloring introduced by Dvořák and Postle in 2015. The following sharp bound on the DP-chromatic number of the Cartesian product of graphs $G$ and $H$ is known: $χ_{DP}(G \square H) \leq \text{min}\{χ_{DP}(G) + \text{col}(H), χ_{DP}(H) + \text{col}(G) \} - 1$ where $χ_{DP}(G)$ is the DP-chromatic number of $G$ and $\text{col}(H)$ is the coloring number of $H$. We seek to understand when $χ_{DP}(G \square K_{l,t})$ is far from its chromatic number: $χ(G \square K_{l,t}) = \max \{χ(G), 2 \}$ in the case that $G$ is a $k$-critical graph with $χ_{DP}(G)=k$. In particular, we have $χ_{DP}(G \square K_{l,t}) \leq k + l$, and for fixed $l$ we wish to find the smallest $t$ for which this upper bound is achieved. This can be viewed as an extension of the classic result that the list chromatic number of $K_{l,t}$ is $l+1$ if and only if $t \geq l^l$. Our results illustrate that the DP color function of $G$, the DP analogue of the chromatic polynomial, provides a concept and tool that is useful for making progress on this problem.
Schur-like numbers and a lemma of Shearer
Suppose that each number $1,2,...,N$ has one of n colours assigned. We show that if there are no monochromatic solutions to the equation $x_1+x_2+x_3=y_1+y_2$, then $N=O((n!)^{1/2})$, improving upon a result of Cwalina and Schoen. Further, a stronger bound of $N=O(((n-k)!)^{1/2})$, where $k\gg\frac{\log n}{\log\log n}$ is shown for colourings avoiding solutions to the equation $x_1+x_2+...+x_{12}=y_1+y_2+...+y_9$. Finally, some remarks on other equations are presented.
Self-Dual Ramsey Degrees for Trees
We consider a Ramsey statement for pairs of maps between trees, where one is an embedding as defined by Deuber and the other is a rigid surjection as defined by Solecki. We show that there is no Ramsey Theorem for pairs of maps where the coloring depends on both coordinates. On the other hand, we give a characterization of the Ramsey degrees for such pairs. Furthermore, we show that our theorem on Ramsey Degrees for pairs of maps between trees implies the Ramsey Theorem for pairs of maps between linear orders as proved by Solecki.
Strong Sparsification for 1-in-3-SAT via Polynomial Freiman-Ruzsa
We introduce a new notion of sparsification, called \emph{strong sparsification}, in which constraints are not removed but variables can be merged. As our main result, we present a strong sparsification algorithm for 1-in-3-SAT. The correctness of the algorithm relies on establishing a sub-quadratic bound on the size of certain sets of vectors in $\mathbb{F}_2^d$. This result, obtained using the recent \emph{Polynomial Freiman-Ruzsa Theorem} (Gowers, Green, Manners and Tao, Ann. Math. 2025), could be of independent interest. As an application, we improve the state-of-the-art algorithm for approximating linearly-ordered colourings of 3-uniform hypergraphs (Håstad, Martinsson, Nakajima and{Ž}ivn{ý}, APPROX 2024).
On distinguishing coloring and some variants of proper coloring of graphs derived from subdivision operations
Let G be a simple, finite, connected, and undirected graph, and T be a finite tree. The middle graph M(G) of G is obtained from the subdivision graph S(G) after joining pairs of subdivided vertices that lie on adjacent edges of G and the central graph C(G) of G is obtained from S(G) after joining all non-adjacent vertices of G.
We show that if the order of G is at least 4, then Aut(G), Aut(C(G)), and Aut(M(G)) are isomorphic (as abstract groups) and apply these results to obtain new sharp upper bounds of the distinguishing number and the distinguishing index of C(G) and M(G) inspired by an algorithm due to Kalinowski, Pilsniak, and Wozniak from 2016.
Furthermore, we study the total distinguishing chromatic number of C(G) and S(G), use Latin squares to verify the AVD-total coloring conjecture for central graphs of regular graphs and some other classes of graphs (which is a partial progress towards answering an open question of Panda, Verma, and Keerti from 2020), and obtain new bounds of the total dominator chromatic number of C(G) and C(T).
Graphs With the Same Edge Count in Each Neighborhood
In a recent paper, Caro, Lauri, Mifsud, Yuster, and Zarb ask which parameters $r$ and $c$ admit the existence of an $r$-regular graph such that the neighborhood of each vertex induces exactly $c$ edges. They show that every $r$ with $c$ satisfying $0\leq c\leq {r\choose 2}-5r^{3/2}$ is achievable, but no $r$ with $c$ satisfying ${r\choose 2}-\lfloor\frac{r}{3}\rfloor\leq c\leq {r\choose 2}-1$ is. We strengthen the bound in their nonexistence result from ${r\choose 2}-\lfloor\frac{r}{3}\rfloor$ to ${r\choose 2}-\lfloor\frac{r-2}{2}\rfloor$. Additionally, when the graph is the Cayley graph of an abelian group, we obtain a much more fine-grained characterization of the achievable values of $c$ between $\binom{r}{2} - 5r^{3/2}$ and $\binom{r}{2} - \lfloor\frac{r-2}{2}\rfloor$, which we conjecture to be the correct answer for general graphs as well. That result relies on a lemma about approximate subgroups in the "99% regime," quantifying the extent to which nearly-additively-closed subsets of an abelian group must be close to actual subgroups. Finally, we consider a generalization to graphs with multiple types of edges and partially resolve several open questions of Caro et al. about $\textit{flip}$ colorings of graphs.
Some short notes on oriented line graphs and related matrices
Oriented line graph, introduced by Kotani and Sunada (2000), is closely related to Hashimato's non-backtracking matrix (1989). It is known that for regular graphs $G$, the eigenvalues of the adjacency matrix of the oriented line graph $\vec{L}(G)$ of $G$ are the reciprocals of the poles of the Ihara zeta function of $G$. We determine the characteristic polynomial of the $z$-Hermitian adjacency matrix of $\vec{L}(G)$ for each $z\in \mathbb{C}$ and $d$-regular graph $G$ with $d\geq 3$. Special cases of this matrix include the Hermitian adjacency matrix of $\vec{L}(G)$ and the adjacency matrix of the underlying undirected graph of $\vec{L}(G)$. We also exhibit an application to star coloring of graphs.
The Total Coloring Conjecture holds for planar graphs without three special subgraphs
The Total Coloring Conjecture (TCC) for planar graphs with a maximum degree of six remains open. Previous studies suggest that TCC is valid for such graphs if they do not contain any subgraph isomorphic to a 4-fan. In this paper, we present an improved conclusion by establishing that TCC holds for planar graphs that are free of three particular substructures, namely the mushroom, the tent, and the cone. This advancement enhances previous findings by demonstrating that TCC is applicable to planar graphs with a maximum degree of six, which can accommodate sparse 4-fans, 5-fans, 5-wheels, and 6-wheels.