arXiv++ Combinatorics

For a digraph $D$, a subset $Q\subseteq V(D)$ is called a $q$-kernel if $Q$ is an independent set and all vertices in $V(D)$ are reachable from $Q$ via a directed path of length at most $q$. Given integers $q\geq 2$ and $δ\geq 1$, Spiro arXiv:2404.07305 [math.CO] posed the question: what is the smallest constant $c_{δ,q}$ such that every digraph $D$ with minimum in-degree $δ$ has a $q$-kernel of size at most $c_{δ,q}|V(D)|$? We show the constants $c_{δ,q}$ are monotone in both $δ$ and $q$, and we improve upon the known upper bounds for $c_{δ,q}$. Our main results show $\frac{1}{δ+1} \leq c_{δ,q}\leq \frac{1}{\lfloor\sqrt{δ+1}\rfloor+1}$ for all $q \geq 3$ and $δ\geq 1$, and $ c_{δ,q}=\frac{1}{δ+1}$ whenever $δ\geq 1$ and $q \geq \left\lceil\frac{3δ}{2}\right\rceil + 1$.

A Berge cycle of length $\ell$ in a hypergraph $\mathcal{H}$ is a sequence of alternating vertices and edges $v_0e_0v_1e_1...v_\ell e_\ell v_0$ such that $\{v_i,v_{i+1}\}\subseteq e_i$ for all $i$, with indices taken modulo $\ell$. For $n$ sufficiently large and $r\geq \lfloor\frac{n-1}{2}\rfloor-1$ we prove exact minimum degree conditions for an $n$-vertex, $r$-uniform hypergraph to contain Berge cycles of every length between $2$ and $n$. In conjunction with previous work, this provides sharp Dirac-type conditions for pancyclicity in $r$-uniform hypergraphs for all $3\leq r\leq n$ when $n$ is sufficiently large.

Two words $p$ and $q$ are avoided by the same number of length-$n$ words, for all $n$, precisely when $p$ and $q$ have the same set of border lengths. Previous proofs of this theorem use generating functions but do not provide an explicit bijection. We give a bijective proof for all pairs $p, q$ that have the same set of proper borders, establishing a natural bijection from the set of words avoiding $p$ to the set of words avoiding $q$.