arXiv2026
Progress on the conjecture of Banica and Bichon that the classical permutation group is a maximal quantum subgroup of the quantum permutation group remains limited to a handful of small-parameter results. By Tannaka--Krein duality, any counterexample to this Maximality Conjecture must arise from a category strictly intermediate between the category $\mathcal{NC}$ of non-crossing partitions and the category $\mathcal{P}$ of all partitions. Any such exotic category must therefore contain a linear combination of crossing-partition vectors. The categories generated by $\mathcal{NC}$ together with some such vectors are studied, with a number of generation results. It is shown that no exotic category can contain a linear combination of three crossing-partition vectors, and, using an argument of ChatGPT to account for a five-dimensional gap, there is no exotic category distinguished from $\mathcal{NC}$ or $\mathcal{P}$ at moments of order six.