Exact results on traces of sets

Mingze Li, Jie Ma, Mingyuan Rong

For non-negative integers $n$, $m$, $a$ and $b$, we write $\left(n,m\right)\to \left(a,b\right)$ if for every family $\mathcal{F}\subseteq 2^{[n]}$ with $|\mathcal{F}|…