1: \begin{abstract}

2: We give a sound and complete equational theory for $3$-qubit quantum circuits over the Toffoli-Hadamard gate set $\{ X, CX, CCX, H\}$.

3: That is, we introduce a collection of true equations among Toffoli-Hadamard circuits on three qubits that is sufficient to derive any other true equation between such circuits.

4: To obtain this equational theory, we first consider circuits over the Toffoli-$K$ gate set $\{ X, CX, CCX, K\}$, where $K=H\otimes H$.

5: The Toffoli-Hadamard and Toffoli-$K$ gate sets appear similar, but they are crucially different on exactly three qubits.

6: Indeed, in this case, the former generates an infinite group of operators, while the latter generates the finite group of automorphisms of the well-known $E_8$ lattice.

7: We take advantage of this fact, and of the theory of automorphism groups of lattices, to obtain a sound and complete collection of equations for Toffoli-$K$ circuits.

8: We then extend this equational theory to one for Toffoli-Hadamard circuits by leveraging prior work of Li \textit{et al.} on Toffoli-Hadamard operators.

9: \end{abstract}

10: