arXiv++ Combinatorics

Given a graph $G$ and an integer $k\geq 2$, let $χ'_k(G)$ denote the minimum number of colours required to colour the edges of $G$ such that, in each colour class, the subgraph induced by the edges of that colour has all non-zero degrees congruent to $1$ modulo $k$. In 1992, Pyber proved that $χ'_2(G) \leq 4$ for every graph $G$, and posed the question of whether $χ'_k(G)$ can be bounded solely in terms of $k$ for every $k\geq 3$. This question was answered in 1997 by Scott, who showed that $χ'_k(G)\leq5k^2\log k$, and further asked whether $χ'_k(G) = O(k)$. Recently, Botler, Colucci, and Kohayakawa (2023) answered Scott's question affirmatively proving that $χ'_k(G) \leq 198k - 101$, and conjectured that the multiplicative constant could be reduced to $1$. A step towards this latter conjecture was made in 2024 by Nweit and Yang, who improved the bound to $χ'_k(G) \leq 177k - 93$. In this paper, we further improve the multiplicative constant to $9$. More specifically, we prove that there is a function $f\in o(k)$ for which $χ'_k(G) \leq 7k + f(k)$ if $k$ is odd, and $χ'_k(G) \leq 9k + f(k)$ if $k$ is even. In doing so, we prove that $χ'_k(G) \leq k + O(d)$ for every $d$-degenerate graph $G$, which plays a central role in our proof.

An immersion of a graph $H$ in a graph $G$ is a minimal subgraph $I$ of $G$ for which there is an injection ${\rm i} \colon V(H) \to V(I)$ and a set of edge-disjoint paths $\{P_e: e \in E(H)\}$ in $I$ such that the end vertices of $P_{uv}$ are precisely ${\rm i}(u)$ and ${\rm i}(v)$. The immersion analogue of Hadwiger Conjecture (1943), posed by Lescure and Meyniel (1985), asks whether every graph $G$ contains an immersion of $K_{χ(G)}$. Its restriction to graphs with independence number 2 has received some attention recently, and Vergara (2017) raised the weaker conjecture that every graph with independence number 2 has an immersion of $K_{χ(G)}$. This implies that every graph with independence number 2 has an immersion of $K_{\lceil n/2 \rceil}$. In this paper, we verify Vergara Conjecture for graphs with bounded maximum degree. Specifically, we prove that if $G$ is a graph with independence number $2$, maximum degree less than $2n/3 - 1$ and clique covering number at most $3$, then $G$ contains an immersion of $K_{χ(G)}$ (and thus of $K_{\lceil n/2 \rceil}$). Using a result of Jin (1995), this implies that if $G$ is a graph with independence number $2$ and maximum degree less than $19n/29 - 1$, then $G$ contains an immersion of $K_{χ(G)}$ (and thus of $K_{\lceil n/2 \rceil}$).

Given graphs $G$ and $H$, we say that $G$ is $H$-$good$ if the Ramsey number $R(G,H)$ equals the trivial lower bound $(|G| - 1)(χ(H) - 1) + σ(H)$, where $χ(H)$ denotes the usual chromatic number of $H$, and $σ(H)$ denotes the minimum size of a color class in a $χ(H)$-coloring of $H$. Pokrovskiy and Sudakov [Ramsey goodness of paths. Journal of Combinatorial Theory, Series B, 122:384-390, 2017.] proved that $P_n$ is $H$-good whenever $n\geq 4|H|$. In this paper, given $\varepsilon>0$, we show that if $H$ satisfy a special unbalance condition, then $P_n$ is $H$-good whenever $n \geq (2 + \varepsilon)|H|$. More specifically, we show that if $m_1,\ldots, m_k$ are such that $\varepsilon\cdot m_i \geq 2m_{i-1}^2$ for $2\leq i\leq k$, and $n \geq (2 + \varepsilon)(m_1 + \cdots + m_k)$, then $P_n$ is $K_{m_1,\ldots,m_k}$-good.

A separating system of a graph $G$ is a family $\mathcal{S}$ of subgraphs of $G$ for which the following holds: for all distinct edges $e$ and $f$ of $G$, there exists an element in $\mathcal{S}$ that contains $e$ but not $f$. Recently, it has been shown that every graph of order $n$ admits a separating system consisting of $19n$ paths [Bonamy, Botler, Dross, Naia, Skokan, Separating the Edges of a Graph by a Linear Number of Paths, Adv. Comb., October 2023], improving the previous almost linear bound of $\mathrm{O}(n\log^\star n)$ [S. Letzter, Separating paths systems of almost linear size, Trans. Amer. Math. Soc., to appear], and settling conjectures posed by Balogh, Csaba, Martin, and Pluhár and by Falgas-Ravry, Kittipassorn, Korándi, Letzter, and Narayanan. We investigate a natural generalization of these results to subdivisions of cliques, showing that every graph admits both a separating system consisting of $41n$ edges and cycles, and a separating system consisting of $82 n$ edges and subdivisions of $K_4$.

We say that a sequence $a_1 \cdots a_{2t}$ of integers is repetitive if $a_i = a_{i+t}$ for every $i\in\{1,\ldots,t\}$. A walk in a graph $G$ is a sequence $v_1 \cdots v_r$ of vertices of $G$ in which $v_iv_{i+1}\in E(G)$ for every $i\in\{1,\ldots,r-1\}$. Given a $k$-coloring $c\colon V(G)\to\{1,\ldots,k\}$ of $V(G)$, we say that $c$ is walk-nonrepetitive (resp. stroll-nonrepetitive) if for every $t\in\mathbb{N}$ and every walk $v_1\cdots v_{2t}$ the sequence $c(v_1) \cdots c(v_{2t})$ is not repetitive unless $v_i = v_{i+t}$ for every $i\in\{1,\ldots,t\}$ (resp. unless $v_i = v_{i+t}$ for some $i\in\{1,\ldots,t\}$). The walk (resp. stroll) chromatic number $σ(G)$ (resp. $ρ(G)$) of $G$ is the minimum $k$ for which $G$ has a walk-nonrepetitive (resp. stroll-nonrepetitive) $k$-coloring. Let $C_n$ and $P_n$ denote, respectively, the cycle and the path with $n$ vertices. In this paper we present three results that answer questions posed by Barát and Wood in 2008: (i) $σ(C_n) = 4$ whenever $n\geq 4$ and $n \notin\{5,7\}$; (ii) $ρ(P_n) = 3$ if $3\leq n\leq 21$ and $ρ(P_n) = 4$ otherwise; and (iii) $ρ(C_n) = 4$, whenever $n \notin\{3,4,6,8\}$, and $ρ(C_n) = 3$ otherwise. In particular, (ii) improves bounds on $n$ obtained by Tao in 2023.

In 1996, Matheson and Tarjan proved that every near planar triangulation on $n$ vertices contains a dominating set of size at most $n/3$, and conjectured that this upper bound can be reduced to $n/4$ for planar triangulations when $n$ is sufficiently large. In this paper, we consider the analogous problem for independent dominating sets: What is the minimum $ε$ for which every near planar triangulation on $n$ vertices contains an independent dominating set of size at most $εn$? We prove that $2/7 \leq ε\leq 5/12$. Moreover, this upper bound can be improved to $3/8$ for planar triangulations, and to $1/3$ for planar triangulations with minimum degree 5.

The analogue of Hadwiger's conjecture for the immersion relation states that every graph $G$ contains an immersion of $K_{χ(G)}$. For graphs with independence number 2, this is equivalent to stating that every such $n$-vertex graph contains an immersion of $K_{\lceil n/2 \rceil}$. We show that every $n$-vertex graph with independence number 2 contains every complete bipartite graph on $\lceil n/2 \rceil$ vertices as an immersion.

Recently, Letzter proved that any graph of order $n$ contains a collection $\mathcal{P}$ of $O(n\log^\star n)$ paths with the following property: for all distinct edges $e$ and $f$ there exists a path in $\mathcal{P}$ which contains $e$ but not $f$. We improve this upper bound to $19 n$, thus answering a question of G.O.H. Katona and confirming a conjecture independently posed by Balogh, Csaba, Martin, and Pluhár and by Falgas-Ravry, Kittipassorn, Korándi, Letzter, and Narayanan. Our proof is elementary and self-contained.

Seymour's Second Neighborhood Conjecture (SNC) states that every oriented graph contains a vertex whose second neighborhood is as large as its first neighborhood. We investigate the SNC for orientations of both binomial and pseudo random graphs, verifying the SNC asymptotically almost surely (a.a.s.) (i) for all orientations of $G(n,p)$ if $\limsup_{n\to\infty} p < 1/4$; and (ii) for a uniformly-random orientation of each weakly $(p,A\sqrt{np})$-bijumbled graph of order $n$ and density $p$, where $p=Ω(n^{-1/2})$ and $1-p = Ω(n^{-1/6})$ and $A>0$ is a universal constant independent of both $n$ and $p$. We also show that a.a.s. the SNC holds for almost every orientation of $G(n,p)$. More specifically, we prove that a.a.s. (iii) for all $\varepsilon > 0$ and $p=p(n)$ with $\limsup_{n\to\infty} p \le 2/3-\varepsilon$, every orientation of $G(n,p)$ with minimum outdegree $Ω_\varepsilon(\sqrt{n})$ satisfies the SNC; and (iv) for all $p=p(n)$, a random orientation of $G(n,p)$ satisfies the SNC.

The $\!{}\bmod k$ chromatic index of a graph $G$ is the minimum number of colors needed to color the edges of $G$ in a way that the subgraph spanned by the edges of each color has all degrees congruent to $1\!\!\pmod k$. Recently, the authors proved that the $\!{}\bmod k$ chromatic index of every graph is at most $198k-101$, improving, for large $k$, a result of Scott [Discrete Math. 175, 1-3 (1997), 289-291]. Here we study the $\!{}\bmod k$ chromatic index of random graphs. We prove that for every integer $k\geq2$, there is $C_k>0$ such that if $p\geq C_kn^{-1}\log{n}$ and $n(1-p) \rightarrow\infty$ as $n\to\infty$, then the following holds: if $k$ is odd, then the $\!{}\bmod k$ chromatic index of $G(n,p)$ is asymptotically almost surely equal to $k$, while if $k$ is even, then the $\!{}\bmod k$ chromatic index of $G(2n,p)$ (respectively $G(2n+1,p)$) is asymptotically almost surely equal to $k$ (respectively $k+1$).

Let $S_k(n)$ be the maximum number of orientations of an $n$-vertex graph $G$ in which no copy of $K_k$ is strongly connected. For all integers $n$, $k\geq 4$ where $n\geq 5$ or $k\geq 5$, we prove that $S_k(n) = 2^{t_{k-1}(n)}$, where $t_{k-1}(n)$ is the number of edges of the $n$-vertex $(k-1)$-partite Turán graph $T_{k-1}(n)$, and that $T_{k-1}(n)$ is the only $n$-vertex graph with this number of orientations. Furthermore, $S_4(4) = 40$ and this maximality is achieved only by $K_4$.

A $P_\ell$-decomposition of a graph $G$ is a set of paths with $\ell$ edges in $G$ that cover the edge set of $G$. Favaron, Genest, and Kouider (2010) conjectured that every $(2k+1)$-regular graph that contains a perfect matching admits a $P_{2k+1}$-decomposition. They also verified this conjecture for $5$-regular graphs without cycles of length $4$. In 2015, Botler, Mota, and Wakabayashi verified this conjecture for $5$-regular graphs without triangles. In this paper, we verify it for $(2k+1)$-regular graphs that contain the $k$th power of a spanning cycle; and for $5$-regular graphs that contain special spanning $4$-regular Cayley graphs.

Let $χ'_k(G)$ denote the minimum number of colors needed to color the edges of a graph $G$ in a way that the subgraph spanned by the edges of each color has all degrees congruent to $1 \pmod k$. Scott [{\em Discrete Math. 175}, 1-3 (1997), 289--291] proved that $χ'_k(G)\leq5k^2\log k$, and thus settled a question of Pyber [{\em Sets, graphs and numbers} (1992), pp. 583--610], who had asked whether $χ_k'(G)$ can be bounded solely as a function of $k$. We prove that $χ'_k(G)=O(k)$, answering affirmatively a question of Scott.

Alon and Yuster proved that the number of orientations of any $n$-vertex graph in which every $K_3$ is transitively oriented is at most $2^{\lfloor n^2/4\rfloor}$ for $n \geq 10^4$ and conjectured that the precise lower bound on $n$ should be $n \geq 8$. We confirm their conjecture and, additionally, characterize the extremal families by showing that the balanced complete bipartite graph with $n$ vertices is the only $n$-vertex graph for which there are exactly $2^{\lfloor n^2/4\rfloor}$ such orientations.

Tuza (1981) conjectured that the size $τ(G)$ of a minimum set of edges that intersects every triangle of a graph $G$ is at most twice the size $ν(G)$ of a maximum set of edge-disjoint triangles of $G$. In this paper we present three results regarding Tuza's Conjecture. We verify it for graphs with treewidth at most $6$; we show that $τ(G)\leq \frac{3}{2}\,ν(G)$ for every planar triangulation $G$ different from $K_4$; and that $τ(G)\leq\frac{9}{5}\,ν(G) + \frac{1}{5}$ if $G$ is a maximal graph with treewidth 3. Our first result strengthens a result of Tuza, implying that $τ(G) \leq 2\,ν(G)$ for every $K_8$-free chordal graph $G$.

A path decomposition of a graph G is a collection of edge-disjoint paths of G that covers the edge set of G. Gallai (1968) conjectured that every connected graph on n vertices admits a path decomposition of cardinality at most (n+1)/2. Seminal results towards its verification consider the graph obtained from G by removing its vertices of odd degree, which is called the E-subgraph of G. Lovász (1968) verified Gallai's Conjecture for graphs whose E-subgraphs consist of at most one vertex, and Pyber (1996) verified it for graphs whose E-subgraphs are forests. In 2005, Fan verified Gallai's Conjecture for graphs in which each block of their E-subgraph is triangle-free and has maximum degree at most 3. Let calG be the family of graphs for which (i) each block has maximum degree at most 3; and (ii) each component either has maximum degree at most 3 or has at most one block that contains triangles. In this paper, we generalize Fan's result by verifying Gallai's Conjecture for graphs whose E-subgraphs are subgraphs of graphs in calG. This allows the components of the E-subgraphs to contain any number of blocks with triangles as long as they are subgraphs of graphs in calG.

A path decomposition of a graph $G$ is a collection of edge-disjoint paths of $G$ that covers the edge set of $G$. Gallai (1968) conjectured that every connected graph on $n$ vertices admits a path decomposition of cardinality at most $\lfloor (n+1)/2\rfloor$. Gallai's Conjecture has been verified for many classes of graphs. In particular, Lovász (1968) verified this conjecture for graphs with at most one vertex with even degree, and Pyber (1996) verified it for graphs in which every cycle contains a vertex with odd degree. Recently, Bonamy and Perrett (2016) verified Gallai's Conjecture for graphs with maximum degree at most $5$, and Botler et al. (2017) verified it for graphs with treewidth at most $3$. In this paper, we verify Gallai's Conjecture for triangle-free planar graphs.

A path (resp. cycle) decomposition of a graph $G$ is a set of edge-disjoint paths (resp. cycles) of $G$ that covers the edge set of $G$. Gallai (1966) conjectured that every graph on $n$ vertices admits a path decomposition of size at most $\lfloor (n+1)/2\rfloor$, and Hajós (1968) conjectured that every Eulerian graph on $n$ vertices admits a cycle decomposition of size at most $\lfloor (n-1)/2\rfloor$. Gallai's Conjecture was verified for many classes of graphs. In particular, Lovász (1968) verified this conjecture for graphs with at most one vertex of even degree, and Pyber (1996) verified it for graphs in which every cycle contains a vertex of odd degree. Hajós' Conjecture, on the other hand, was verified only for graphs with maximum degree $4$ and for planar graphs. In this paper, we verify Gallai's and Hajós' Conjectures for graphs with treewidth at most $3$. Moreover, we show that the only graphs with treewidth at most $3$ that do not admit a path decomposition of size at most $\lfloor n/2\rfloor$ are isomorphic to $K_3$ or $K_5-e$. Finally, we use the technique developed in this paper to present new proofs for Gallai's and Hajós' Conjectures for graphs with maximum degree at most $4$, and for planar graphs with girth at least $6$.

A $T$-decomposition of a graph $G$ is a set of edge-disjoint copies of $T$ in $G$ that cover the edge set of $G$. Graham and Häggkvist (1989) conjectured that any $2\ell$-regular graph $G$ admits a $T$-decomposition if $T$ is a tree with $\ell$ edges. Kouider and Lonc (1999) conjectured that, in the special case where $T$ is the path with $\ell$ edges, $G$ admits a $T$-decomposition $\mathcal{D}$ where every vertex of $G$ is the end-vertex of exactly two paths of $\mathcal{D}$, and proved that this statement holds when $G$ has girth at least $(\ell+3)/2$. In this paper we verify Kouider and Lonc's Conjecture for paths of length $4$.

Tibor Gallai conjectured that the edge set of every connected graph $G$ on $n$ vertices can be partitioned into $\lceil n/2\rceil$ paths. Let $\mathcal{G}_{k}$ be the class of all $2k$-regular graphs of girth at least $2k-2$ that admit a pair of disjoint perfect matchings. In this work, we show that Gallai's conjecture holds in $\mathcal{G}_{k}$, for every $k \geq 3$. Further, we prove that for every graph $G$ in $\mathcal{G}_{k}$ on $n$ vertices, there exists a partition of its edge set into $n/2$ paths of lengths in $\{2k-1,2k,2k+1\}$.