arXiv++ Combinatorics

A hypergraph is linear if every pair of vertices is contained in at most one hyperedge. We study linear Turán numbers of acyclic $r$-uniform hypergraphs, extending earlier work of Gyárfás, Ruszinkó, and Sárközy from uniformity $3$ to general $r$, with emphasis on hypertrees with four hyperedges. For the linear path $P_4^r$, we prove $\operatorname{ex}^{\mathrm{lin}}_r(n,P_4^r)\le (r+1)n/r$, with equality precisely for disjoint unions of Steiner systems $S(2,r,r^2)$, whenever such systems exist. We also give counterexamples to a structural claim used in a previously proposed proof for $r=4$. The same bound and equality characterization hold for the broom $B_4^r$. For the crown $E_4^r$, writing $B=\{v:d(v)\le r\}$ and $C=\{v:r+1\le d(v)\le2r-1\}$, we prove $|E(H)|\le r|B|/(r-1)+(2r-1)|C|/r$, and hence $\operatorname{ex}^{\mathrm{lin}}_r(n,E_4^r)\le(2r-1)n/r$. We also give a lower-bound construction and formulate a sharper conjecture. Finally, for the linear star $S_k^r$, we prove $\operatorname{ex}^{\mathrm{lin}}_r(n,S_k^r)\le n(k-1)/r$, with equality precisely for $(k-1)$-regular linear $r$-uniform hypergraphs, whenever such hypergraphs exist. Under suitable divisibility and existence assumptions, we also construct $T_k^r$-free examples with $n(k-1)/r$ edges for every linear $r$-uniform hypertree $T_k^r$ with $k$ hyperedges.

A hypergraph $H$ is said to be \emph{linear} if every pair of vertices lies in at most one hyperedge. Given a family $\mathcal{F}$ of $r$-uniform hypergraphs, an $r$-uniform hypergraph $H$ is \emph{$\mathcal{F}$-free} if it contains no member of $\mathcal{F}$ as a subhypergraph. The \emph{linear Turán number} $ex_r^{\mathrm{lin}}(n,\mathcal{F})$ denotes the maximum number of hyperedges in an $\mathcal{F}$-free linear $r$-uniform hypergraph on $n$ vertices. Gyárfás, Ruszinkó, and Sárközy~[\emph{Linear Turán numbers of acyclic triple systems}, European J.\ Combin.\ (2022)] initiated the study of bounds on the linear Turán number for acyclic $3$-uniform linear hypergraphs. In this paper, we extend the study of linear Turán number for acyclic systems to higher uniformity. We first give a construction for any linear $r$-uniform tree with $k$ edges that yields the lower bound $ ex_r^{\mathrm{lin}}(n,T_k^r)\ge {n(k-1)}/{r}, $ under mild divisibility and existence assumptions. Next, we study hypertrees with four edges. We prove the exact bound $ ex_r^{\mathrm{lin}}(n,B_4^r)\le {(r+1)n}/{r} $ and characterize the extremal hypergraph class, where $B_4^r$ is formed from $S_3^r$ by appending a hyperedge incident to a degree-one vertex. We also prove the bound $ ex_r^{\mathrm{lin}}(n,E_4^r)\le {(2r-1)n}/{r} $ for the crown $E_4^r$. Finally, we give a construction showing $ ex_r^{\mathrm{lin}}(n,P_4^r)\ge {(r+1)n}/{r} $ under suitable assumptions and conclude with a conjecture on sharp upper bound for $P_4^r$.