Abstract:Given the symmetric group $G = \operatorname{Sym}(n)$ and a multiplicity-free subgroup $H\leq G$, the orbitals of the action of $G$ on $G/H$ by left multiplication induce a commutative association scheme. The irreducible constituents of the permutation character of $G$ acting on $G/H$ are indexed by partitions of $n$ and if $\lambda \vdash n$ is the second largest partition in dominance ordering among these, then the Young subgroup $\operatorname{Sym}(\lambda)$ admits two orbits in its action on $G/H$, which are $\mathcal{S}_\lambda$ and its complement. In their monograph [Erdős-Ko-Rado theorems: Algebraic Approaches. {\it Cambridge University Press}, 2016] (Problem~16.13.1), Godsil and Meagher asked whether $\mathcal{S}_\lambda$ is a coclique of a graph in the commutative association scheme arising from the action of $G$ on $G/H$. If such a graph exists, then they also asked whether its smallest eigenvalue is afforded by the $\lambda$-module. In this paper, we initiate the study of this question by taking $\lambda = [n-1,1]$. We show that the answer to this question is affirmative for the pair of groups $\left(G,H\right)$, where $G = \operatorname{Sym}(2k+1)$ and $H = \operatorname{Sym}(2) \wr \operatorname{Sym}(k)$, or $G = \operatorname{Sym}(n)$ and $H$ is one of $\operatorname{Alt}(k) \times \operatorname{Sym}(n-k),\ \operatorname{Alt}(k) \times \operatorname{Alt}(n-k)$, or $\left(\operatorname{Alt}(k)\times \operatorname{Alt}(n-k)\right) \cap \operatorname{Alt}(n)$. For the pair $(G,H) = \left(\operatorname{Sym}(2k),\operatorname{Sym}(k)\wr \operatorname{Sym}(2)\right)$, we also prove that the answer to this question of Godsil and Meagher is negative.

On the Terwilliger algebra of the group association scheme of C⋊C2

The Terwilliger algebras of the group association schemes of three metacyclic groups

On the Terwilliger algebra of the group association scheme of the symmetric group $\operatorname {sym}(7)$

Almost Commutative Terwilliger Algebras of Group Association Schemes I: Classification

Terwilliger $\mathbb{F}$-algebras of certain Cayley tables

On Terwilliger $\mathbb{F}$-algebras of factorial association schemes

Structure of Terwilliger algebras of quasi-thin association schemes

Terwilliger algebras of generalized wreath products of association schemes

Terwilliger Algebra of the Ordered Hamming Scheme

Almost Commutative Terwilliger Algebras of Group Association Schemes II: Primitive Idempotents

The Terwilliger algebras of doubly regular tournaments

Terwilliger algebras constructed from Cayley tables of finite Bol loops

The Generalized Terwilliger Algebra of the Hypercube

Full automorphism groups of association schemes based on attenuated spaces

Association schemes obtained from the action of the general unitary group on isotropic vectors

Gerstenhaber algebra structure on the cohomology of a hom-associative algebra

Ternary Associativity and Ternary Lie Algebra at Cube Root of Unity

On cocliques in commutative Schurian association schemes of the symmetric group

Commutative avatars of representations of semisimple Lie groups

On the structure of a class of graded modules related to symmetric pairs

Associative Geometries. I: Torsors, linear relations and Grassmannians