10

According to this article, any Clifford gate, acting on $n$ qubits, can be generated by Hadamard, CNOT, and S gates.

What are the set of generators for qutrit Cliffords?

glS
  • 24,708
  • 5
  • 34
  • 108
BlackHat18
  • 1,313
  • 8
  • 16

1 Answers1

7

From the paper Normal form for single-qutrit Clifford+T operators and synthesis of single-qutrit gates, the Clifford group in $p>2$ dimensions acting on a sigle qudit is generated by $S$ and $H$ given by:

$$ \begin{gather} S=\sum_{j=0}^{p-1}\omega^{j(j+1)2^{-1}}|j\rangle\langle j| \\ H = \frac{1}{\sqrt{p}}\sum_{j=0}^{p-1}\sum_{k=0}^{p-1}\omega^{jk}|j\rangle\langle k| \end{gather} $$

where $j$ and $k$ denote elements of the finite field $\mathbb{Z}_p$ with multiplication and addition defined modulo $p$, $2^{-1}$ is an element of the same field, and $\omega$ denotes a $p$th rooth of unity $\omega^p=1$. You can set $p=3$ for your case.

Now, for the equivalent of the $CNOT$ gate you want to look into this answer.

epelaez
  • 2,875
  • 1
  • 8
  • 31
  • Thanks! An additional question, just out of curiosity. Is there something like a Solovay Kitaev theorem for the Clifford group and its generators? If we have a set of generators, is there any guarantee on how many gates we need from that generating set to construct a Clifford gate? I think the answer is no, I just thought of doing a sanity check. – BlackHat18 Sep 07 '21 at 19:50
  • As a follow up question, let's say we have two different generating sets for the qubit/qutrit/qudit Clifford group: if we care about efficiency, because of the absence of any Solovay-Kitaev type theorem, the set of Clifford gates efficiently generated by these two generating sets may be very different --- is that correct? – BlackHat18 Sep 07 '21 at 19:57
  • 1
    @BlackHat18 yes I think that's right. As you state, the absence of any equivalent of the Solovay-Kitaev theorem leaves the efficiency to depend on the selected set of generators. In this paper the author gives a generator and relations presentation of the Clifford group. AFAIK, different relations (and/or different sets of generators) may yield different efficiencies on generating an arbitrary operator on the group. So this would make your statement true. Don't take my word for it since I'm not an expert on this, but the statement seems true. – epelaez Sep 07 '21 at 20:20
  • 3
    @BlackHat18 for the "standard" set of generators, the number of non-local generators needed is $O(n^2/log(n))$ and this is asymptotically optimal. For other sets of generators, this can be vastly different of course. Just by increasing your set of generators, you will get better counts. For instance, if you include all CZ circuits and all CX circuits, the gate count will be $O(n)$. Include any Clifford unitary then it's 1. Thus, if you want to compare generating sets, you should consider minimal generating sets (similar to a vector space basis). But then, the mentioned scaling is optimal. – Markus Heinrich Sep 08 '21 at 11:29
  • Might you provide a reference for the $O(n^{2}/\log n)$ scaling? Also, what's a "non-local generator"? – BlackHat18 Sep 08 '21 at 18:31
  • @BlackHat18 Most papers deal with the qubit case, but this generalises directly to arbitrary prime dimensions (partial discussion in my PhD thesis). Aaronson and Gottesman (https://link.aps.org/doi/10.1103/PhysRevA.70.052328) are the first to discuss this, they show an information-theoretic lower bound $\Omega(n^2/\log(n)$ which they achieve. More recently: Bruhat decomposition has same scaling (http://arxiv.org/abs/1705.09176, http://arxiv.org/abs/2003.09412). With "non-local" I mean that e.g. CX can act on distant qubits not only on nearest neighbours. – Markus Heinrich Sep 09 '21 at 06:45
  • @BlackHat18 the scaling originates from the decomposition of CX circuits in individual CX gates. For those, optimal scaling has been shown in https://arxiv.org/abs/quant-ph/0302002v1 which is used by the Aaronson-Gottesman paper. – Markus Heinrich Sep 09 '21 at 06:49