arXiv++ Combinatorics

Let $F$ be a strictly $1$-balanced $k$-graph on $s$ vertices with $t$ edges and $δ_{F,d}^T$ be the infimum of $δ>0$ such that for every $α>0$ and sufficiently large $n\in \mathbb{N}$, every $k$-graph system $\mathbf H=\{H_{1}, H_{2}, \dots ,H_{tn}\}$ on the same $sn$ vertices with $δ_d(H_i)\ge (δ+α)\binom{sn-d}{k-d}$, $i\in [tn]$ contains a transversal $F$-factor, that is, an $F$-factor consisting of exactly one edge from each $H_i$. In this paper we prove the following result. Let $\mathbf{H} =\{H_{1}, H_{2}, \dots ,H_{tn}\}$ be a $k$-graph system where each $H_{i}$ is an $sn$-vertex $k$-graph with $δ_d(H_i)\ge (δ_{F,d}^T+α)\binom{sn-d}{k-d}$. Then with high probability $\mathbf{H}(p) :=\{H_{1}(p), H_{2}(p), \dots ,H_{tn}(p)\}$ contains a transversal $F$-factor, where $H_i(p)$ is a random subhypergraph of $H_i$ and $p=Ω(n^{-1/d_1(F)-1}(\log n)^{1/t})$. This extends a recent result by Kelly, Müyesser and Pokrovskiy, and independently by Joos, Lang and Sanhueza-Matamala. Moreover, the assumption on $p$ is best possible up to a constant. Along the way, we also obtain a spread version of a result of Pikhurko on perfect matchings in $k$-partite $k$-graphs.

In this note we show the following strengthening of a multipartite version of the Hajnal--Szemerédi theorem. For an integer $r \ge 3$ and $γ> 0$, there exists a constant $C$ such that if $p\ge Cn^{-2/r}(\log n)^{1/{r \choose 2}}$ and $G$ is a balanced $r$-partite graph with each vertex class of size $n$ and $δ^\ast(G)\ge (1-1/r+γ)n$, then with high probability the random subgraph $G(p)$ of $G$ contains a $K_r$-factor. We also use it to derive corresponding transversal versions.

A $K_r$-factor of a graph $G$ is a collection of vertex disjoint $r$-cliques covering $V(G)$. We prove the following algorithmic version of the classical Hajnal--Szemerédi Theorem in graph theory, when $r$ is considered as a constant. Given $r, c, n\in \mathbb{N}$ such that $n\in r\mathbb N$, let $G$ be an $n$-vertex graph with minimum degree at least $(1-1/r)n - c$. Then there is an algorithm with running time $2^{c^{O(1)}} n^{O(1)}$ that outputs either a $K_r$-factor of $G$ or a certificate showing that none exists, namely, this problem is fixed-parameter tractable in $c$. On the other hand, it is known that if $c = n^{\varepsilon}$ for fixed $\varepsilon \in (0,1)$, the problem is \texttt{NP-C}. We indeed establish characterization theorems for this problem, showing that the existence of a $K_r$-factor is equivalent to the existence of certain class of $K_r$-tilings of size $o(n)$, whose existence can be searched by the color-coding technique developed by Alon--Yuster--Zwick.

We show that for any $\varepsilon>0$ and $Δ\in\mathbb{N}$, there exists $α>0$ such that for sufficiently large $n$, every $n$-vertex graph $G$ satisfying that $δ(G)\geq\varepsilon n$ and $e(X, Y)>0$ for every pair of disjoint vertex sets $X, Y\subseteq V(G)$ of size $αn$ contains all spanning trees with maximum degree at most $Δ$. This strengthens a result of Böttcher et al.

Motivated by the concept of transition system investigated by Kotzig in 1968, Krivelevich, Lee and Sudakov proposed a more general notion of incompatibility system to formulate the robustness of Hamiltonicity of Dirac graphs. Given a graph $G=(V,E)$, an {\em incompatibility system} $\mathcal{F}$ over $G$ is a family $\mathcal{F}=\{F_v\}_{v\in V}$ such that for every $v\in V$, $F_v$ is a family of edge pairs in $\{\{e,e'\}: e\ne e'\in E, e\cap e'=\{v\}\}$. An incompatibility system $\mathcal{F}$ is \emph{$Δ$-bounded} if for every vertex $v$ and every edge $e$ incident with $v$, there are at most $Δ$ pairs in $F_v$ containing $e$. A subgraph $H$ of $G$ is \emph{compatible} (with respect to $\mathcal{F}$) if every pair of adjacent edges $e,e'$ of $H$ satisfies $\{e,e'\} \notin F_v$, where $v=e\cap e'$. Krivelevich, Lee and Sudakov proved that there is an universal constant $μ>0$ such that for every $μn$-bounded incompatibility system $\mathcal{F}$ over a Dirac graph, there exists a compatible Hamilton cycle, which resolves a conjecture of Häggkvist from 1988. We study high powers of Hamilton cycles in this context and show that for every $γ>0$ and $k\in\mathbb{N}$, there exists a constant $μ>0$ such that for sufficiently large $n\in\mathbb{N}$ and every $μn$-bounded incompatibility system over an $n$-vertex graph $G$ with $δ(G)\ge(\frac{k}{k+1}+γ)n$, there exists a compatible $k$-th power of a Hamilton cycle in $G$. Moreover, we give a construction which has minimum degree $\frac{k}{k+1}n+Ω(n)$ and contains no compatible $k$-th power of a Hamilton cycle.

An \emph{incompatibility system} $(G,\mathcal{F})$ consists of a graph $G$ and a family $\mathcal{F}=\{F_v\}_{v\in V(G)}$ over $G$ with $F_v\subseteq \{\{e,e'\}\in {E(G)\choose 2}: e\cap e'=\{v\}\}$. We say that two edges $e,e'\in E(G)$ are \emph{incompatible} if $\{e,e'\}\in F_v$ for some $v\in V(G)$, and otherwise \emph{compatible}. A subgraph $H$ of $G$ is \emph{compatible} if every pair of edges in $H$ are compatible. An incompatibility system $(G,\mathcal{F})$ is \emph{$Δ$-bounded} if for any vertex $v$ and any edge $e$ incident with $v$, there are at most $Δ$ members of $F_v$ containing $e$. This notion was partly motivated by a concept of transition system introduced by Kotzig in 1968, and first formulated by Krivelevich, Lee and Sudakov to study the robustness of Hamiltonicity of Dirac graphs. We prove that for any $α>0$ and any graph $H$ with $h$ vertices, there exists a constant $μ>0$ such that for any sufficiently large $n$ with $n\in h\mathbb{N}$, if $G$ is an $n$-vertex graph with $δ(G)\ge(1-\frac{1}{χ^*(H)}+α)n$ and $(G,\mathcal{F})$ is a $μn$-bounded incompatibility system, then there exists a compatible $H$-factor in $G$, where the value $χ^*(H)$ is either the chromatic number $χ(H)$ or the critical chromatic number $χ_{cr}(H)$ and we provide a dichotomy as in the Kühn--Osthus result. Moreover, we give examples $H$ for which there exists an $μn$-bounded incompatibility system $(G, \mathcal{F})$ with $n\in h\mathbb{N}$ and $δ(G)\ge(1-\frac{1}{χ^*(H)}+\fracμ{2})n$ such that $G$ contains no compatible $H$-factor. Unlike in the previous work of Kühn and Osthus on embedding $H$-factors, our proof uses the lattice-based absorption method.

We introduce a notion of the \emph{crux} of a graph $G$, measuring the order of a smallest dense subgraph in $G$. This simple-looking notion leads to some generalisations of known results about cycles, offering an interesting paradigm of `replacing average degree by crux'. In particular, we prove that \emph{every} graph contains a cycle of length linear in its crux. Long proved that every subgraph of a hypercube $Q^m$ (resp. discrete torus $C_3^m$) with average degree $d$ contains a path of length $2^{d/2}$ (resp. $2^{d/4}$), and conjectured that there should be a path of length $2^{d}-1$ (resp. $3^{d/2}-1$). As a corollary of our result, together with isoperimetric inequalities, we close these exponential gaps giving asymptotically optimal bounds on long paths in hypercubes, discrete tori, and more generally Hamming graphs. We also consider random subgraphs of $C_4$-free graphs and hypercubes, proving near optimal bounds on lengths of long cycles.

We study the Steiner $k$-eccentricity on trees, which generalizes the previous one in the paper [X.~Li, G.~Yu, S.~Klavžar, On the average Steiner 3-eccentricity of trees, arXiv:2005.10319, 2020]. To support the algorithm, we achieve much stronger properties for the Steiner $k$-ecc tree than that in the previous paper. Based on this, a linear time algorithm is devised to calculate the Steiner $k$-eccentricity of a vertex in a tree. On the other hand, the lower and upper bounds of the average Steiner $k$-eccentricity index of a tree on order $n$ are established based on a novel technique which is quite different from that in the previous paper but much easier to follow.

Properly colored cycles in edge-colored graphs are closely related to directed cycles in oriented graphs. As an analogy of the well-known Caccetta-Häggkvist Conjecture, we study the existence of properly colored cycles of bounded length in an edge-colored graph. We first prove that for all integers $s$ and $t$ with $t\geq s\geq2$, every edge-colored graph $G$ with no properly colored $K_{s,t}$ contains a spanning subgraph $H$ which admits an orientation $D$ such that every directed cycle in $D$ is a properly colored cycle in $G$. Using this result, we show that for $r\geq4$, if the Caccetta-Häggkvist Conjecture holds , then every edge-colored graph of order $n$ with minimum color degree at least $n/r+2\sqrt{n}+1$ contains a properly colored cycle of length at most $r$. In addition, we also obtain an asymptotically tight total color degree condition which ensures a properly colored (or rainbow) $K_{s,t}$.

A strong edge-coloring of a graph $G$ is an edge-coloring such that any two edges on a path of length three receive distinct colors. We denote the strong chromatic index by $χ_{s}'(G)$ which is the minimum number of colors that allow a strong edge-coloring of $G$. Erdős and Nešetřil conjectured in 1985 that the upper bound of $χ_{s}'(G)$ is $\frac{5}{4}Δ^{2}$ when $Δ$ is even and $\frac{1}{4}(5Δ^{2}-2Δ+1)$ when $Δ$ is odd, where $Δ$ is the maximum degree of $G$. The conjecture is proved right when $Δ\leq3$. The best known upper bound for $Δ=4$ is 22 due to Cranston previously. In this paper we extend the result of Cranston to list strong edge-coloring, that is to say, we prove that when $Δ=4$ the upper bound of list strong chromatic index is 22.