Abstract:A Berge cycle of length $\ell$ in a hypergraph is an alternating sequence of $\ell$ distinct vertices and $\ell$ distinct edges $v_1,e_1,v_2, \ldots, v_\ell, e_{\ell}$ such that $\{v_i, v_{i+1}\} \subseteq e_i$ for all $i$, with indices taken modulo $\ell$. We call an $n$-vertex hypergraph pancyclic if it contains Berge cycles of every length from $3$ to $n$. We prove a sharp Dirac-type result guaranteeing pancyclicity in uniform hypergraphs: for $n \geq 70$, $3 \leq r \leq \lfloor (n-1)/2\rfloor - 2$, if $\cH$ is an $n$-vertex, $r$-uniform hypergraph with minimum degree at least ${\lfloor (n-1)/2 \rfloor \choose r-1} + 1$, then $\cH$ is pancyclic.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the existence conditions of Berge cycles in hypergraphs, especially for uniform hypergraphs, to ensure that the hypergraph has the pancyclic property under the given minimum degree condition. Specifically, the main result of the paper is a result similar to Dirac's theorem, which proves that under certain conditions, a uniform hypergraph not only contains a Hamiltonian Berge cycle but also contains all Berge cycles with lengths from 3 to n, that is, the pancyclic property.
### Background and Motivation of the Paper
1. **Hamiltonian Graphs and Pancyclic Graphs**:
- A Hamiltonian graph refers to a graph that contains a cycle passing through all vertices.
- A pancyclic graph refers to a graph that contains all possible - length cycles, that is, all cycles with lengths from 3 to n.
- Dirac's theorem states that if the minimum degree of a graph with n vertices is at least n/2, then the graph is Hamiltonian.
- Bondy's meta - conjecture proposes that almost any non - trivial condition, as long as it can ensure that the graph is Hamiltonian, can also ensure that the graph is pancyclic.
2. **Berge Cycles**:
- In a hypergraph, a Berge cycle is a special cycle structure, consisting of alternating vertices and hyper - edges, and each vertex and its two adjacent vertices are contained in a hyper - edge.
- A Berge Hamiltonian cycle refers to a Berge cycle with length n, where n is the number of vertices of the hypergraph.
### Main Contributions
The main contribution of the paper lies in extending Bondy's meta - conjecture to hypergraphs and giving a specific condition such that a uniform hypergraph not only contains a Berge Hamiltonian cycle but also contains Berge cycles of all lengths. Specifically:
- **Main Results**:
- For positive integers n and r, if n ≥ 70 and 3 ≤ r ≤ ⌊(n - 1)/2⌋ - 2, and H is an n - vertex, r - uniform hypergraph whose minimum degree is at least ⌊⌊(n - 1)/2⌋/(r - 1)⌋ + 1, then H is pancyclic.
- **Proof Methods**:
- Prove by constructing a 2 - shadow graph and maximum matching.
- Utilize known graph - theory results, such as Brandt's theorem and Voss's stability results, to handle the pancyclic property in different situations.
### Conclusions
Through strict mathematical proofs, the paper extends the classical graph - theory results to hypergraphs, providing a new perspective to understand the cycle structures in hypergraphs. This result not only enriches the hypergraph theory but also provides new tools and methods for research in related fields.