Is it possible to implement a Toffoli gate exactly using just CNOT gates and single qubit complex rational gates (i.e. with entries in $\mathbb{Q}(i)$), possibly with ancillas?
I know this works with a CS (controlled square root of Z) gate. So I have been trying to implement the CS gate, but some simple constructions like $ABC=I$ and $AXBXC=S$ did not work out (as in my SAGE script reports a dimension of $-1$ for the corresponding ideal).
Is there maybe a number theoretic reason why this is impossible?