Zhiyang He, Luke Robitaille, Xinyu Tan (Oct 07 2025).
Abstract: The Clifford hierarchy is a fundamental structure in quantum computation whose mathematical properties are not fully understood. In this work, we characterize permutation gates -- unitaries which permute the
2n basis states -- in the third level of the hierarchy. We prove that any permutation gate in the third level must be a product of Toffoli gates in what we define as \emphstaircase form, up to left and right multiplications by Clifford permutations. We then present necessary and sufficient conditions for a staircase form permutation gate to be in the third level of the Clifford hierarchy. As a corollary, we construct a family of non-semi-Clifford permutation gates
{Uk}k≥3 in staircase form such that each
Uk is in the third level but its inverse is not in the
k-th level.