4-Edge r-Uniform Hypertrees

• 4-edge hypertrees are connected, acyclic r-uniform hypergraphs where any two distinct edges intersect in at most one vertex, manifesting as path, rooted-star-extension, and crown configurations.
• They exhibit distinct extremal bounds, with forbidden configurations like B4^r limiting edge densities and conditions for P4^r tied to Steiner systems ensuring optimal structures.
• Enumeration formulas for labelled 4-edge hypertrees integrate factorial and combinatorial methods, linking structural insights to precise Turán-type results and encoding complexities.

A hypertree is a connected, acyclic hypergraph, generalizing the classical notion of a tree from graph theory to the uniform hypergraph setting. This article addresses $r$-uniform linear hypertrees with exactly four edges, with emphasis on forbidden configurations, Turán-type extremal bounds, enumeration, and structural characterizations.

1. Definitions of 4-Edge Linear $r$-Uniform Hypertrees

For $r \ge 3$, a linear $r$-uniform hypergraph is one in which any two distinct hyperedges intersect in at most one vertex. Among all possible hypertrees with four edges, three non-isomorphic configurations are fundamental:

• Path $P_4^r$: Edges $e_1,e_2,e_3,e_4$ satisfy $|e_i|=r$; consecutive edges intersect in a unique vertex, i.e., $e_i\cap e_{i+1}=\{v_{i+1}\}$ for $i=1,2,3$, and non-consecutive edges are disjoint ($e_i\cap e_j=\emptyset$ for $|i-j| \ge 2$).
• Rooted-star-extension $B_4^r$: Begin with a 3-edge $r$-uniform star $S_3^r$ with center $c$. Three edges, $e_i=\{c\}\cup A_i$, where each $A_i$ is an $(r-1)$-set, are formed; select a leaf $u \in A_3$ and append $e_4 = \{u\}\cup B$ with $B$ a disjoint set of $r-1$ vertices.
• Crown $E_4^r$: Three petals $f_1,f_2,f_3$ are mutually disjoint. The fourth edge $e_0$ (base) meets each petal in a single distinct vertex, so that $e_0 \cap f_i = \{x_i\}$ for $i=1,2,3$.

These incidence structures classify the minimal forbidden patterns relevant for extremal and enumerative investigations (Adak et al., 24 Jan 2026).

2. Extremal Bounds for Linear Turán Numbers

The linear Turán number $ex_r^{\mathrm{lin}}(n,\mathcal{F})$ is defined as the largest possible number of edges in an $r$-uniform linear hypergraph on $n$ vertices excluding subhypergraphs isomorphic to any member of a forbidden family $\mathcal{F}$.

For 4-edge hypertrees, the principal results are:

Forbidden Hypertree	Bound on $ex_r^{\mathrm{lin}}(n, H)$	Structure Achieving Equality (when possible)
$B_4^r$	$\frac{r+1}{r}n$	Disjoint unions of $S(2,r,r^2)$ when $r^2 \mid n$
$E_4^r$	$\frac{2r-1}{r}n$	Requires detailed analysis; no tight construction
$P_4^r$	$\ge \frac{r+1}{r}n$	Lower bound by Steiner systems; conjectured tight

$\forall n, r \ge 3$: $$ex_r^{\mathrm{lin}}(n,B_4^r) \le \frac{r+1}{r}n, \qquad ex_r^{\mathrm{lin}}(n,E_4^r) \le \frac{2r-1}{r}n, \qquad ex_r^{\mathrm{lin}}(n,P_4^r) \ge \frac{r+1}{r}n \text{ when } r^2 \mid n,\, S(2,r,r^2)\text{ exists}.$$

The root-star-extension $B_4^r$ is prohibitive for higher edge densities, while the crown configuration tolerates sparser extremals. For $P_4^r$, lower and conjectured upper bounds coincide but the precise equality case is unresolved (Adak et al., 24 Jan 2026).

3. Extremal Constructions and Characterization via Steiner Systems

A Steiner system $S(2,r,m)$ is a linear $r$-uniform hypergraph over $m$ vertices such that each pair lies in exactly one hyperedge, yielding $|E| = {\binom{m}{2}}/{\binom{r}{2}}$ edges and each vertex degree $(m-1)/(r-1)$.

For $B_4^r$:

• Under the existence of $S(2,r,r^2)$ and $r^2 \mid n$, partition $n$ vertices into disjoint blocks of size $r^2$, assign each block a copy of $S(2,r,r^2)$.
• The resulting hypergraph attains $\frac{r+1}{r} n$ edges and is $B_4^r$-free.
• Characterization: The only extremal examples achieving the $B_4^r$ bound are such unions of Steiner systems.

In the critical case $|E| = (r+1)n/r$, the hand-shaking lemma requires every vertex to have degree $r+1$, and linearity + connectedness forces the block structure and graphs isomorphic to $S(2,r,r^2)$ (Adak et al., 24 Jan 2026).

4. Enumerative Formulas for Labelled 4-Edge Hypertrees

Enumeration for labelled $r$-uniform hypertrees with $m$ hyperedges is central to combinatorial theory. For $m=4$ and $n=4(r-1)+1=4r-3$:

• Total Number of Labelled Rooted Hypertrees:

$$T(n,4,r) = \frac{n!}{4!\,(r-1)!^{4}\;n^{3}} = \frac{n!\;n^3}{24\,(r-1)!^4}$$

(where $n=4r-3$) (Lavault, 2011).

• Alternative Count (unrooted, labelled, explicit formula): $f(4r-3,r) = \frac{(4r-4)!\,(4r-3)^3\,(r-1)!^4}{24}$ This formula scales super-exponentially in $r$, dominated by the factorials and polynomial factor (Pitchanathan et al., 2017).
• Encoding Complexity: Average encoding requires

$\log_2 f(4r-3,r) + 1 + \log_2 e$

bits, with closed expansion in terms of factorial logarithms.

5. General Enumeration Structure for Arbitrary Degree and Edge Sizes

The enumeration formula for hypertrees on $\{0,1,\dots,n\}$ vertices with $k$ hyperedges of sizes $s_1,\ldots,s_k\ge2$ and degree sequence $d_0,\ldots,d_n\ge1$ is given as follows:

$$\sum_{i=1}^k s_i = n + k, \quad \sum_{j=0}^n d_j = n + k$$

Define $\lambda_i = s_i-1$, $p_j = d_j-1$, $\nu_m = \#\{i : \lambda_i = m\}$. Then

$$H\bigl(n,4; s_1,s_2,s_3,s_4; d_0,\ldots,d_n\bigr) = \frac{6 n!} {(s_1-1)! (s_2-1)! (s_3-1)! (s_4-1)! \prod_{j=0}^n (d_j-1)! \prod_{m\ge 1} \nu_m!}$$

Specialization to edge-lengths and degree-multisets produces exact counts for path-type, star-type, crown-type, etc. (Bacher, 2011).

6. Proof Methods and Structural Lemmas

• Degree-sum arguments: Used to bound minimal degrees in extremal hypergraphs (e.g., $\delta(H)\ge2$ for $B_4^r$).
• Smoothing-transfer technique: Employed for $E_4^r$ to cap excessive degree sums and analyze base–petal incidence.
• Forbidden-pattern lemma: Applied to check for the emergent structures that violate linearity or induce the forbidden hypertree.
• Partition–code bijections (Prüfer-like): Guarantee correctness and efficiency for combinatorial enumeration of rooted hypertrees.

These combinatorial, algebraic, and structural techniques underlie the rigorous Turán bounds and enumeration formulas.

7. Conjectures, Open Questions, and Significance

For the path configuration $P_4^r$: $$\text{Conjecture:} \quad ex_r^{\mathrm{lin}}(n, P_4^r) \le \frac{r+1}{r} n$$ with equality under divisibility and existence conditions for Steiner systems. The matching lower bound is confirmed but upper tightness is conjectural (Adak et al., 24 Jan 2026).

Significance: The study of 4-edge hypertrees illustrates sharp contrasts. The “extended-star” $B_4^r$ imposes strict density limitations, the crown $E_4^r$ corresponds to sparser extremal structures, and the path $P_4^r$ embodies the threshold of density mirroring the $B_4^r$-bound. Cap-and-smoothing arguments for $E_4^r$ are expected to generalize to other small linear hypertree configurations.

The exponential growth of enumeration formulas for increasing $r$ highlights the combinatorial complexity and structural diversity of hypertrees. The dependence on block-partition combinatorics and degree constraints underlines the interplay between local vertex properties and global forbidden patterns.

---

References:

• (Adak et al., 24 Jan 2026) Bounds on Linear Turán Number for Trees
• (Pitchanathan et al., 2017) Improved Encoding and Counting of Uniform Hypertrees
• (Lavault, 2011) A note on Prüfer-like coding and counting forests of uniform hypertrees
• (Bacher, 2011) On the enumeration of labelled hypertrees and of labelled bipartite trees