English

Tight paths in fully directed hypergraphs

Combinatorics 2026-01-05 v1

Abstract

It is well-known that every tournament has a spanning path. We consider hypergraph analogues. In an \emph{rr-uniform fully directed hypergraph}, or \emph{rr-digraph}, every edge is a list or rr distinct vertices. An (r,k)(r,k)-tournament is an rr-digraph GG such that for every rr-set SS of vertices in GG, exactly kk of the orderings of SS are edges in GG. A \emph{directed tight path} is an rr-digraph GG whose vertices can be ordered so that the intervals of size rr are the edges in GG. Let f(n,r,k)f(n,r,k) be the maximum ss such that every nn-vertex (r,k)(r,k)-tournament contains a tight path on ss vertices. Since every tournament has a spanning path, we have f(n,2,1)=nf(n,2,1)=n. In this paper, we show that the minimum kk such that f(n,r,k)f(n,r,k) tends to infinity with nn is in the interval [(11rO(logrr2loglogr))r!, (11rφ(r)1r!)r!]\left[\left(1-\frac{1}{r}-O(\frac{\log r}{r^2\log\log r})\right)r!, ~\left(1-\frac{1}{r} - \frac{\varphi(r)-1}{r!}\right)r!\right] where φ(r)\varphi(r) is the Euler Totient Function, and we find the exact value when r5r\le 5. We also show that Ω(logn/loglogn)f(n,3,3)O(logn)\Omega(\sqrt{\log n/\log \log n}) \le f(n,3,3) \le O(\log n) and f(n,3,4)Ω(n1/5)f(n,3,4)\ge \Omega(n^{1/5}).

Keywords

Cite

@article{arxiv.2601.00144,
  title  = {Tight paths in fully directed hypergraphs},
  author = {Richard C. Devine and Kevin G. Milans},
  journal= {arXiv preprint arXiv:2601.00144},
  year   = {2026}
}

Comments

17 pages, 3 figures