arXiv++ Combinatorics

Browse math.CO papers from arXiv

Papers by Yiyan Zhan

3 paper(s) by this author · All BibTeX
2026-09-24
The second-order term for the largest $r$-fork-free families
A family of subsets of $[n]$ is $r$-fork-free if none of its members is strictly contained in $r$ other distinct members. For each fixed integer $r\ge2$, we prove that the maximum size of such a family is \[ \binom{n}{\lfloor n/2\rfloor} \left(1+\frac{2(r-1)}{n}+o(n^{-1})\right). \] This determines the second-order term and matches the upper bound of De Bonis and Katona. Our lower bound comes from a construction on two adjacent middle levels, using a finite ordered collection of disjoint coordinate blocks and a condition on sums modulo $n$. For each prescribed error, the blocks are fixed before $n$ tends to infinity, so the construction works for every sufficiently large $n$.
2026-09-18
Counting $t$-wise $L$-intersecting cliques with prescribed intersection sizes
Let $r,t\ge 3$ be integers and $L=\{\ell_1,\ell_2,\ldots,\ell_s\}\subseteq [0,r-1]$ a fixed set of integers with $|L|\neq r$ and $\ell_1<\ell_2<\cdots<\ell_s$. For each integer $n$, let $Ψ_{r}(n,L,t)$ be the maximum number of $r$-cliques in an $n$-vertex graph whose $r$-cliques, viewed as a family of $r$-subsets of the vertex set, form a $t$-wise $L$-intersecting family. In this paper, we prove that $Ψ_{r}(n,L,t)=o(n^{|L|})$ when the sequence $\ell_1,\ell_2,\ldots,\ell_s,r$ does not form an arithmetic progression, and we give an asymptotic formula for $Ψ_{r}(n,L,t)$ when this sequence does form an arithmetic progression. When $t=2$, our results are exactly Helliar and Liu's results.
2025-12-29 v2
Extremal results on Berge disjoint paths
The well-known Erdős-Gallai Theorem gave the Turán number of paths. Bushaw and Kettle generalized this result to consider the Turán number of disjoint paths. Since then, many studies are focused on the Turán number of linear forest. For a graph $F$, an $r$-uniform hypergraph $\mathcal{H}$ is a $\text{Berge-} F$ if there is a bijection $φ: E(F)\to E(\mathcal{H})$ such that $e\subseteq φ(e)$ for each $e\in E(F)$. When $F$ is a path, we call $\text{Berge-} F$ a Berge path. The Turán number of Berge paths was initially studied by Győri, Katona and Lemons. They gave the value of $\text{ex}_r(n,\text{Berge-}P_\ell)$ for $\ell>r+1$. This result is a generalization of Erdős-Galli Theorem. Since then, the Turán number of Berge paths has received widespread attention. Recently, Zhou, Gerbner and Yuan initially studied the Turán number of Berge disjoint paths and for the cases when all the paths have odd length. In this paper, we give a more general result, which gives the exact value of $\mathrm{ex}_r(n,\text{Berge-} kP_{\ell})$ for all $k\geq 2$, $r\ge 3$, and $\ell\geq r+7$.