EKR robustness of alternating groups
Determine whether Alt(n) is EKR robust for all sufficiently large n.
References
Question 7.5. For n sufficiently large, is Alt(n) EKR robust?
— A new measure of robustness of ErdÅ‘s--Ko--Rado Theorems on permutation groups
(2502.14582 - Gunderson et al., 20 Feb 2025) in Question 7.5, Section 7