Abstract: Using a suitably non-commutative flat matrix model, it is shown that the quantum permutation group has free orbitals: that is, a monomial in the generators of the algebra of functions can be zero for trivial reasons only. It is shown that any strict intermediate quantum subgroup between the classical and quantum permutation groups must have free three orbitals, and this is used to derive some elementary bounds for the Haar state on degree four monomials in such quantum permutation groups.

Link to arXiv