A multiply intersecting Erdős–Ko–Rado theorem — The principal case

AbstractLet m(n,k,r,t) be the maximum size of F⊂[n]k satisfying |F1∩⋯∩Fr|≥t for all F1,…,Fr∈F. We prove that for every p∈(0,1) there is some r0 such that, for all r>r0 and all t with 1≤t≤⌊(p1−r−p)/(1−p)⌋−r, there exists n0 so that if n>n0 and p=k/n, then m(n,k,r,t)=n−tk−t. The upper bound for t is tight for fixed p and r