Abstract:An $r$-graph is called $t$-cancellative if for arbitrary $t+2$ distinct edges $A_1,\ldots,A_t,B,C$, it holds that $(\cup_{i=1}^t A_i)\cup B\neq (\cup_{i=1}^t A_i)\cup C$; it is called $t$-union-free if for arbitrary two distinct subsets $\mathcal{A},\mathcal{B}$, each consisting of at most $t$ edges, it holds that $\cup_{A\in\mathcal{A}} A\neq \cup_{B\in\mathcal{B}} B$. Let $C_t(n,r)$ and $U_t(n,r)$ denote the maximum number of edges that can be contained in an $n$-vertex $t$-cancellative and $t$-union-free $r$-graph, respectively. The study of $C_t(n,r)$ and $U_t(n,r)$ has a long history, dating back to the classic works of Erdős and Katona, and Erdős and Moser in the 1970s. In 2020, Shangguan and Tamo showed that $C_{2(t-1)}(n,tk)=\Theta(n^k)$ and $U_{t+1}(n,tk)=\Theta(n^k)$ for all $t\ge 2$ and $k\ge 2$. In this paper, we determine the asymptotics of these two functions up to a lower order term, by showing that for all $t\ge 2$ and $k\ge 2$, \begin{align*} \text{$\lim_{n\rightarrow\infty}\frac{C_{2(t-1)}(n,tk)}{n^k}=\lim_{n\rightarrow\infty}\frac{U_{t+1}(n,tk)}{n^k}=\frac{1}{k!}\cdot \frac{1}{\binom{tk-1}{k-1}}$.} \end{align*} Previously, it was only known by a result of Füredi in 2012 that $\lim_{n\rightarrow\infty}\frac{C_{2}(n,4)}{n^2}=\frac{1}{6}$. To prove the lower bounds of the limits, we utilize a powerful framework developed recently by Delcourt and Postle, and independently by Glock, Joos, Kim, Kühn, and Lichev, which shows the existence of near-optimal hypergraph packings avoiding certain small configurations, and to prove the upper bounds, we apply a novel counting argument that connects $C_{2(t-1)}(n,tk)$ to a classic result of Kleitman and Frankl on a special case of the famous Erdős Matching Conjecture.

A ug 2 02 0 A Dirac-type theorem for uniform hypergraphs ∗

A Dirac-Type Theorem for Uniform Hypergraphs

Minimum degree of 3-graphs without long linear paths

Degree versions of the Erdos-Ko-Rado Theorem and Erdos hypergraph matching conjecture

Dirac's theorem for linear hypergraphs

Large Degree Vertices in Longest Cycles of Graphs, II

Algorithmic Extensions of Dirac's Theorem

Counting Perfect Matchings In Dirac Hypergraphs

On the Sizes of Vertex-K-maximal R-Uniform Hypergraphs

Stability of extremal connected hypergraphs avoiding Berge-paths

Maximizing the Number of Cliques in Graphs with Given Matching Number

A Dirac-type theorem for arbitrary Hamiltonian $H$-linked digraphs

On the Number of Edges in a 3-Uniform Hypergraph with No (<i>k</i>

On a property of $2$-connected graphs and Dirac's Theorem

Maximum Spectral Radius of Graphs with Connectivity at Most K and Minimum Degree at Least Δ.

The A-index: Graphs Without Hamilton Paths and Cycles

The minimum positive uniform Turán density in uniformly dense $k$-uniform hypergraphs

Improved Bound on Vertex Degree Version of Erdős Matching Conjecture

On The Maximum Number Of Independent Cycles In A Graph

Tight minimum degree condition to guarantee C_2k+1-free graphs to be r-partite

Asymptotically sharp bounds for cancellative and union-free hypergraphs