Approximate 3-designs and partial decomposition of the Clifford group representation using transvections

TL;DR

This paper presents a scheme for implementing an approximate unitary 3-design using transvections in the Clifford group, analyzes its convergence properties, and explores its implications for representation theory.

Contribution

It introduces a novel scheme for asymptotic unitary 3-designs via transvections and provides a partial decomposition of the Clifford group's adjoint representation.

Findings

The scheme converges to a unitary 3-design as the number of implementations increases.

Approximate 3-designs can be achieved with complexity scaling as O(m + log(1/ε)).

The scheme also implements an approximate 2-design with logarithmic complexity.

Abstract

We study a scheme to implement an asymptotic unitary 3-design. The scheme implements a random Pauli once followed by the implementation of a random transvection Clifford by using state twirling. Thus the scheme is implemented in the form of a quantum channel. We show that when this scheme is implemented $k$ times, then, in the $k \rightarrow \infty$ limit, the overall scheme implements a unitary $3$-design. This is proved by studying the eigendecomposition of the scheme: the $+1$ eigenspace of the scheme coincides with that of an exact unitary $3$-design, and the remaining eigenvalues are bounded by a constant. Using this we prove that the scheme has to be implemented approximately $\mathcal{O}(m + \log 1/\epsilon)$ times to obtain an $\epsilon$-approximate unitary $3$-design, where $m$ is the number of qubits, and $\epsilon$ is the diamond-norm distance of the exact unitary $3$-design. Also, the scheme implements an asymptotic unitary $2$-design with the following convergence rate: it has to be sampled $\mathcal{O}(\log 1/\epsilon)$ times to be an $\epsilon$-approximate unitary $2$-design. Since transvection Cliffords are a conjugacy class of the Clifford group, the eigenspaces of the scheme's quantum channel coincide with the irreducible invariant subspaces of the adjoint representation of the Clifford group. Some of the subrepresentations we obtain are the same as were obtained in J. Math. Phys. 59, 072201 (2018), whereas the remaining are new invariant subspaces. Thus we obtain a partial decomposition of the adjoint representation for $3$ copies for the Clifford group. Thus, aside from providing a scheme for the implementation of unitary $3$-design, this work is of interest for studying representation theory of the Clifford group, and the potential applications of this topic. The paper ends with open questions regarding the scheme and representation theory of the Clifford group.