arXiv++ Combinatorics

A $4$-uniform $2$-cycle in a $4$-uniform hypergraph of length $t$ is a cyclic ordering of $2t$ vertices $v_1v_2\cdots v_{2t}v_1$ such that $v_{2i+1}v_{2i+2}v_{2i+3}v_{2i+4}$ are edges for $0\le i\le t-1$ while the addition is modulo $2t$. For every $γ>0$ and large $n$, we characterize the $n$-vertex $4$-uniform hypergraphs such that every triple of vertices is contained in at least $(1/3+γ)n$ edges and admits a Hamilton $2$-cycle. Up to the error term $γn$, the assumption on the minimum codegree is best possible and verifies a conjecture of Garbe and Mycroft. As a consequence, this gives a polynomial-time algorithm that decides whether an $n$-vertex $4$-uniform hypergraph with minimum codegree $(1/3+γ)n$ contains a Hamilton $2$-cycle. This stands as a steep contrast to the graph case where such a hardness gap has size $o(n)$.

Kupavskii proved a codegree version of the Erdős--Ko--Rado theorem by showing that for an intersecting family $\mathcal{F} \subseteq \binom{[n]}{k}$ with $n \geq 2k +3d/(1-d/k)$, the minimum $d$-degree of $\mathcal{F}$ is at most $\binom{n-d-1}{k-d-1}$. Huang and Zhang improved the bound on $n$ to $n \geq 2k+2d-3$. In this short note, we prove that if $d = k-1$, then the bound on $n$ can be improved to $2k + \sqrt{2k} + O(1)$. In addition, we extend our method to show that the bound on $n$ can be improved to $2k + 7k^{2/3}+O(k^{1/3})$ when $d=k-2$.

Suppose $1\le \ell <k$ such that $(k-\ell)\nmid k$. Given an $n$-vertex $k$-uniform hypergraph $\mathcal H$, for all $k/2<\ell< 3k/4$ and sufficiently large $n\in (k-\ell)\mathbb N$, we prove that if $\mathcal H$ has minimum co-degree at least $\frac{n}{\lceil \frac{k}{k-\ell}\rceil (k-\ell)}$, then $\mathcal H$ contains a Hamilton $\ell$-cycle, which partially verifies a conjecture of Han and Zhao and (partially) resolves a problem of Rödl and Ruciński. Moreover, we show that assuming minimum co-degree $\frac{n}{\lceil \frac{k}{k-\ell}\rceil (k-\ell)}+\frac{k^2}2$ is enough for all $\ell$.

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.

Given a graph $G$ and a real number $0\le p\le 1$, we define the random set $B_p(G)\subset V(G)$ by including each vertex independently and with probability $p$. We investigate the probability that the random set $B_p(G)$ is a zero forcing set of $G$. In particular, we prove that for large $n$, this probability for trees is upper bounded by the corresponding probability for a path graph. Given a minimum degree condition, we also prove a conjecture of Boyer et.\ al.\ regarding the number of zero forcing sets of a given size that a graph can have.

Given a graph $G$ with vertices $\{v_1,\ldots,v_n\}$, we define $\mathcal{S}(G)$ to be the set of symmetric matrices $A=[a_{i,j}]$ such that for $i\ne j$ we have $a_{i,j}\ne 0$ if and only if $v_iv_j\in E(G)$. Motivated by the Graph Complement Conjecture, we say that a graph $G$ is complementary vanishing if there exist matrices $A \in \mathcal{S}(G)$ and $B \in \mathcal{S}(\overline{G})$ such that $AB=O$. We provide combinatorial conditions for when a graph is or is not complementary vanishing, and we characterize which graphs are complementary vanishing in terms of certain minimal complementary vanishing graphs. In addition to this, we determine which graphs on at most $8$ vertices are complementary vanishing.

Given $1\le \ell <k$ and $δ\ge0$, let $\textbf{PM}(k,\ell,δ)$ be the decision problem for the existence of perfect matchings in $n$-vertex $k$-uniform hypergraphs with minimum $\ell$-degree at least $δ\binom{n-\ell}{k-\ell}$. For $k\ge 3$, $\textbf{PM}(k,\ell,0)$ was one of the first NP-complete problems by Karp. Keevash, Knox and Mycroft conjectured that $\textbf{PM}(k, \ell, δ)$ is in P for every $δ> 1-(1-1/k)^{k-\ell}$ and verified the case $\ell=k-1$. In this paper we show that this problem can be reduced to the study of the minimum $\ell$-degree condition forcing the existence of fractional perfect matchings. Together with existing results on fractional perfect matchings, this solves the conjecture of Keevash, Knox and Mycroft for $\ell\ge 0.4k$. Moreover, we also supply an algorithm that outputs a perfect matching, provided that one exists.

Let $Y_{3,2}$ be the $3$-uniform hypergraph with two edges intersecting in two vertices. Our main result is that any $n$-vertex 3-uniform hypergraph with at least $\binom{n}{3} - \binom{n-m+1}{3} + o(n^3)$ edges contains a collection of $m$ vertex-disjoint copies of $Y_{3,2}$, for $m\le n/7$. The bound on the number of edges is asymptotically best possible. This problem generalizes the Matching Conjecture of Erdős. We then use this result combined with the absorbing method to determine the asymptotically best possible minimum $(k-3)$-degree threshold for $\ell$-Hamiltonicity in $k$-graphs, where $k\ge 7$ is odd and $\ell=(k-1)/2$. Moreover, we give related results on $ Y_{k,b} $-tilings and Hamilton $ \ell $-cycles with $ d $-degree for some other values of $ k,\ell,d $.

We show that for any fixed $α>0$, cherry-quasirandom 3-graphs of positive density and sufficiently large order $n$ with minimum vertex degree $α\binom n2$ have a tight Hamilton cycle. This solves a conjecture of Aigner-Horev and Levy.