A new measure of robustness of Erdős--Ko--Rado Theorems on permutation groups
Karen Gunderson, Karen Meagher, Joy Morris, Venkata Raghu Tej Pantangi, Mahsa N Shirazi
TL;DR
This work introduces a quantitative notion of robustness for Erdős--Ko--Rado phenomena on permutation groups by examining independence numbers of Cayley subgraphs $\mathrm{Cay}(G,\mathrm{Der}(G)\setminus D)$ obtained from the derangement graph $\Gamma_G=\mathrm{Cay}(G,\mathrm{Der}(G))$ after removing inverse-closed label sets $D$. It defines the critical parameter $\mathbf{d}_G$ as the minimal number of label-pairs whose removal can alter the independence number and demonstrates robustness for several natural group actions (e.g., regular, Frobenius, generalized dihedral) while detailing how independence numbers can jump to multiples like $2\alpha(\Gamma_G)$ (or $3\alpha$ when order-3 elements occur) in dihedral settings. The paper provides precise classifications for one- and two-label deletions in dihedral cases, shows strong robustness for $\mathrm{PGL}(2,q)$, and analyzes the more nuanced behavior in $\mathrm{Sym}(n)$, including $\mathrm{Sym}(5)$ not being robust. It also develops subgroup- and homomorphism-based tools to transfer robustness results and ends with open problems, including questions about robustness for larger symmetric/alternating groups and other Cayley-graph families.
Abstract
In this paper we introduce a new way of measuring the robustness of Erdős--Ko--Rado (EKR) Theorems on permutation groups. EKR-type results can be viewed as results about the independence numbers of certain corresponding graphs, namely the derangement graphs, and random subgraphs of these graphs have been used to measure the robustness of these extremal results. In the context of permutation groups, the derangement graphs are Cayley graphs on the permutation group in question. We propose studying extremal properties of subgraphs of derangement graphs, that are themselves Cayley graphs of the group, to measure robustness. We present a variety of results about the robustness of the EKR property of various permutation groups using this new measure.
