Multi-qutrit exact synthesis

We present an exact synthesis algorithm for qutrit unitaries in U3ⁿ(Z[1/3,e2π i/3]) over the Clifford$+T$ gate set with at most one ancilla. This extends the already known result of qutrit metaplectic gates being a subset of Clifford$+T$ gate set with one ancilla. As an intermediary step, we construct an algorithm to convert 3-level unitaries into multiply-controlled gates, analogous to Gray codes converting 2-level unitaries into multiply-controlled gates. Finally, using catalytic embeddings, we present an algorithm to exactly synthesize unitaries U3ⁿ(Z[1/3,e2π i/9]) over the Clifford$+T$ gate set with at most 2 ancillas. This, in particular, gives an exact synthesis algorithm of single-qutrit Clifford+D over the multi-qutrit Clifford$+T$ gate set with at most two ancillas.