---
title: Berge-Mₖ Turán Numbers
url: https://www.emergentmind.com/topics/turan-number-of-berge-m_k
type: topic
---

# Berge-Mₖ Turán Numbers

A Berge-$M_k$ is an $r$-uniform hypergraph admitting a bijection $\phi$ from the edge set of a matching $M_k$ (a graph of $k$ independent edges) to its hyperedges, with each graph edge contained in its corresponding hyperedge. The Turán number $\ex_r(n,\mathrm{Berge}{-}M_k)$ is the maximal cardinality of an $n$-vertex $r$-uniform hypergraph with no Berge-$M_k$ as a subhypergraph. Recent research provides precise formulas, extremal configurations, and generalizations for these Turán numbers across hypergraph regimes, establishing a rich phase structure for their asymptotics and sharpness [1706.04249][2510.05422][2506.16140].

## 1. Formal Definition and Background

For fixed $k\geq1$ and $r\geq2$, the interest lies in $\ex_r(n,\mathrm{Berge}{-}M_k)$, the largest number of edges in an $n$-vertex $r$-uniform hypergraph $\mathcal{H}$ avoiding a Berge-$M_k$. A matching $M_k$ consists of $k$ independent edges—even in the hypergraph setting, the notion of "vertex-disjoint edges" is realized via the Berge mapping, so that $k$ hyperedges correspond to $k$ graph edges with pairwise-disjoint vertex sets.

This investigation is motivated by the broader theory of Turán-type extremal problems for forbidden subhypergraphs, where the transition from classic graph matchings to their Berge analogues in uniform hypergraphs introduces subtle partitioning phenomena, dependence on the uniformity parameter $r$, and intricate combinatorial constructions. The Berge-$F$ formulation generalizes classic graph forbidden subgraph problems and connects to expansion techniques, core-set methods, degree sequences, and greedy matching protocols.

## 2. Piecewise Exact Formula for $\ex_r(n,\mathrm{Berge}{-}M_k)$

Let $k\geq1$, $r\geq2$, and $n \geq N(k,r)$, for some threshold $N(k,r)$. The precise Turán number is given by the following piecewise formula [1706.04249][2506.16140][2510.05422] (with $M_{s+1}$ notation used for $k=s+1$):

\[
\ex_r(n,\,\mathrm{Berge}{-}M_k) = 
\begin{cases}
k-1, & r\ge2k-1,  \\[6pt]
\displaystyle\binom{2k-1}{r}, & k < r < 2k-1, \\[6pt]
n - k + 1, & r = k, \\[6pt]
\displaystyle \binom{k-1}{r-1}(n-k+1) + \binom{k-1}{r}, & r\le k-1. \\
\end{cases}
\]

For $r\leq k-1$ (the "star regime"), the leading term is $\binom{k-1}{r-1} n$ with lower-order correction $-\binom{k-1}{r-1}(k-1) + \binom{k-1}{r}$. For $r=k$, the extremal configuration consists of all $k$-sets containing a fixed $(k-1)$-set, yielding $n-k+1$ edges. For $k<r<2k-1$, the complete $r$-hypergraph on $2k-1$ vertices achieves the bound. When $r\ge2k-1$, the bound is the constant $k-1$, as no $k$ vertex-disjoint $r$-sets exist.

## 3. Extremal Constructions and Attaining Sharpness

The sharpness of these formulas is certified by explicit extremal hypergraph constructions, depending on the regime:

- **Star Construction ($r\leq k-1$):**
  Fix $A \subset [n]$ with $|A|=k{-}1$. All $r$-sets meeting $A$ form the extremal family. Any $k$ hyperedges must share a vertex from $A$, so no $k$ are disjoint. Counting yields the formula above.

- **Clique Construction ($k<r<2k-1$):**
  The complete $r$-uniform hypergraph on $2k{-}1$ vertices: all $\binom{2k-1}{r}$ possible edges. As $r>k$, any $k$ edges can not be mutually disjoint.

- **$r=k$ Regime:**
  All $k$-sets containing a fixed $(k{-}1)$-set constitute the unique extremal configuration, yielding $n-k+1$ edges.

- **Sparse Regime ($r\ge2k-1$):**
  In this case, only $k{-}1$ mutually disjoint $r$-edges can exist, so any $k-1$ hyperedges form the extremal system.

Every construction achieves the stated bound with equality, verifying exactness for all parameter choices.

## 4. Proof Schemes and Key Combinatorial Principles

Upper bounds are shown via two principal arguments:

- **Degree Analysis and Core-Set Reduction:**
  If a vertex in the hypergraph has degree above a threshold, a Berge-star structure emerges, facilitating seed formation for a larger Berge-matching through reduction to a link hypergraph. Inductive arguments on the matching number then force the appearance of a forbidden Berge-$M_k$.

- **Greedy Matching Argument:**
  If all degrees are lower than the threshold, a greedy procedure selects disjoint hyperedges, incrementally building toward a Berge-matching. Exceeding the exact bound guarantees a collection of disjoint edges violating $M_k$-freeness.

This analysis is applied separately to the star, clique, and sparse regimes, exploiting the combinatorial structure and uniformity of the hypergraph in each case. Lower bounds are confirmed by explicit construction as described above.

## 5. Phase Transition and Asymptotics

A pronounced phase transition structure is present in the asymptotic behavior of $\ex_r(n,\mathrm{Berge}{-}M_k)$ as $n\to\infty$ [1706.04249][2510.05422]:

| Regime                | Growth Order           | Leading Term                                     |
|-----------------------|-----------------------|--------------------------------------------------|
| $r \le k-1$           | Linear                | $\binom{k-1}{r-1} n$                             |
| $r = k$               | Linear                | $n + O(1)$                                       |
| $k < r < 2k-1$        | Constant (in $n$)     | $\binom{2k-1}{r}$                                |
| $r \ge 2k-1$          | Constant (in $n$)     | $k-1$                                            |

This sharp transition, from linear to constant, is dictated by whether sufficiently many vertices exist to assemble large matchings, with extremal bounds collapsing when $r$ exceeds the threshold for disjointness.

## 6. Generalizations: Berge Matchings With Additional Constraints

Recent expansions handle Turán numbers for families forbidding Berge-matchings jointly with other substructures:

- **Berge-$M_{s+1}$ and a Family $\mathcal{F}$:**
  For $r\leq s+1$ and a suitable $r$-graph $F$, if either $\chi(F)>2$ or $F$ lacks certain strong colorings: 
  \[
  \ex_r ( n,\, \mathrm{Berge}{-}M_{s+1} \cup \{F\}) = \ex_r(s,\mathcal{D}(F)) + \binom{s}{r-1}(n-s)
  \]
  where $\mathcal{D}(F)$ comprises all $r$-graphs from $F$ by deleting strongly independent sets [2510.05422].

- **Berge Matching Plus Berge Bipartite Graphs:**
  If $G$ is bipartite with vertex-cover number $p(G)$, then for $r \le p \le s$,
  \[
  \ex_r(n,\, \mathrm{Berge}{-}M_{s+1} \cup \mathrm{Berge}{-}G ) = \binom{p-1}{r-1} n + O(1)
  \]
  Additional regimes are classified based on $p(G)$ and $r$.

- **General Upper Bound Lemma:**
  For Berge-families $\mathcal{F}$,
  \[
  \ex_r(n,\, \mathrm{Berge}{-}\mathcal{F}) \le \max \left\{ e(G_{\text{red}}) + \mathcal{N}(K_r, G_{\text{blue}}) \mid G\text{ is $n$-vertex $\mathcal{F}$-free} \right\}
  \]
  Where edge colorings partition $G$ for optimizing derived Turán bounds.

These generalizations leverage advanced arguments, including Gallai–Edmonds decompositions, link graphs, colorings, and shadow techniques to control combinatorial proliferation in the presence of multiple forbidden families [2510.05422].

## 7. Connections to Broader Turán-Type Theory and Open Directions

The determination of Turán numbers for Berge-$M_k$ bridges classic graph-theoretic extremal questions—such as Erdős–Ko–Rado, Erdős–Frankl–Füredi, and shadows of set systems—to uniform hypergraph settings, emphasizing phase transitions, sharpness, and structure of extremal families. Extensions to forbidding more complex structures, such as bipartite Berge graphs or joint matching-and-graph conditions, highlight a direction toward broader family-based Turán extremal problems, with implications for coloring, covering, and decomposition methods [1706.04249][2510.05422].

The study of exact formulas and sharpness in intermediate regimes, as well as for small values of $n$, remains an active area, and the structural connections between hypergraph expansion and forbidden Berge configurations continue to animate ongoing extremal combinatorial research.

Source: https://www.emergentmind.com/topics/turan-number-of-berge-m_k