Table of Contents
Fetching ...

An improved hypergraph Mantel's Theorem

Daniel Iľkovič, Jun Yan

TL;DR

The paper advances the hypergraph Mantel-type theory by showing that a smaller family of triangle-like tents $\mathcal{F}_{r,k}$ with $k=\lceil r/e\rceil$ already attains the universal Turán density $\pi(\mathcal{F}_{r,k})=\frac{r!}{r^r}$, generalizing Mantel’s triangle result to $r$-uniform hypergraphs. Leveraging the Chao–Yu entropy framework, it reduces the density problem to an optimisation over ratio sequences, with the maximiser uniquely given by $x_i=i/r$, thereby matching the known lower bound. The density bound then yields the exact Turán number for large $n$ via a robust stability framework, establishing that the unique extremal construction is the balanced complete $r$-partite hypergraph $T^r(n)$ for sufficiently large $n$. The work also explores generalised tents and $L$-intersecting hypergraphs, deriving additional corollaries and proposing directions for extending the method to broader subfamilies and configurations. Overall, the paper sharpens the connection between entropy methods and extremal hypergraph theory, providing precise density and extremal results and outlining paths for further generalisation.

Abstract

In a recent paper, Chao and Yu used an entropy method to show that the Turán density of a certain family $\mathcal{F}$ of $\lfloor r/2\rfloor$ triangle-like $r$-uniform hypergraphs is $r!/r^r$. Later, Liu determined for large $n$ the exact Turán number $\text{ex}(n,\mathcal{F})$ of this family, and showed that the unique extremal graph is the balanced complete $r$-partite $r$-uniform hypergraph. These two results together can be viewed as a hypergraph version of Mantel's Theorem. In this paper, building on their methods, we improve both of these results by showing that they still hold with a subfamily $\mathcal{F}'\subset\mathcal{F}$ of size $\lceil r/e\rceil$ in place of $\mathcal{F}$.

An improved hypergraph Mantel's Theorem

TL;DR

The paper advances the hypergraph Mantel-type theory by showing that a smaller family of triangle-like tents with already attains the universal Turán density , generalizing Mantel’s triangle result to -uniform hypergraphs. Leveraging the Chao–Yu entropy framework, it reduces the density problem to an optimisation over ratio sequences, with the maximiser uniquely given by , thereby matching the known lower bound. The density bound then yields the exact Turán number for large via a robust stability framework, establishing that the unique extremal construction is the balanced complete -partite hypergraph for sufficiently large . The work also explores generalised tents and -intersecting hypergraphs, deriving additional corollaries and proposing directions for extending the method to broader subfamilies and configurations. Overall, the paper sharpens the connection between entropy methods and extremal hypergraph theory, providing precise density and extremal results and outlining paths for further generalisation.

Abstract

In a recent paper, Chao and Yu used an entropy method to show that the Turán density of a certain family of triangle-like -uniform hypergraphs is . Later, Liu determined for large the exact Turán number of this family, and showed that the unique extremal graph is the balanced complete -partite -uniform hypergraph. These two results together can be viewed as a hypergraph version of Mantel's Theorem. In this paper, building on their methods, we improve both of these results by showing that they still hold with a subfamily of size in place of .

Paper Structure

This paper contains 11 sections, 30 theorems, 24 equations, 1 figure.

Key Result

Theorem 1.1

For every $r\geq 2$, $\pi(\mathcal{F}_{r,\left\lfloor r/2\right\rfloor})=r!/r^r$.

Figures (1)

  • Figure 1: Examples of triangle-like hypergraphs

Theorems & Definitions (57)

  • Theorem 1.1: CY
  • Theorem 1.2: L
  • Theorem 1.3
  • Theorem 1.4
  • Definition 2.1: Entropy
  • Proposition 2.2
  • Definition 2.3: Mixture
  • Lemma 2.4: Mixture bound, CY
  • Definition 2.5: Homomorphism
  • Definition 2.6: Blowup density
  • ...and 47 more