A Concrete Model for the Quantum Permutation Group on 4 Points

Nicolas Faroß,Moritz Weber
DOI: https://doi.org/10.1080/10586458.2024.2337232
2023-04-19
Abstract:In 2019, Jung-Weber gave an example of a concrete magic unitary $M$, which defines a $C^*$-algebraic model of the quantum permutation group $S_4^+$. We show with the help of a computer that there exist no polynomials up to degree $50$ separating the entries of $M$ from the generators of $C(S_4^+)$. This indicates that the magic unitary $M$ might already define a faithful model of $S_4^+$.
Quantum Algebra
What problem does this paper attempt to address?