On "stability" in the Erdős-Ko-Rado theorem
Denote by Kp(n,k) the random subgraph of the usual Kneser graph K(n,k) in which edges appear independently, each with probability p. Answering a question of Bollobás, Narayanan, and Raigorodskii,we show that there is a fixed p<1 such that a.s. (i.e., with probability tending to 1 as k→∞) the maximum independent sets of Kp(2k+1,k) are precisely the sets {A∈V(K(2k+1,k)):x∈A} (x∈[2k+1]). We also complete the determination of the order of magnitude of the "threshold" for the above property for general k and n≥2k+2. This is new for k∼n/2, while for smaller k it is a recent result of Das and Tran.