Clifford Operation to Clifford Circuit transformation

[Krastanov]

There are many ways to synthesize a circuit (with nothing bigger than 2-qubit gates) out of given Clifford Operation. They are also equivalent to a canonicalization procedure.

Track and implement them.

Implement sparse versions for each of the "assembler" gates.

[Krastanov]

Some implemented in https://github.com/rharper2/Juqst.jl

Decomposing as a graph state is equivalent to a circuit decomposition

This is another method https://arxiv.org/abs/2003.09412

[QCmonk]

I have written code that performs this decomposition for the default canonical form. Shall I make a PR for it or are alternative methods already in the works?

Best, QCmonk

[Krastanov]

Please go ahead and do the PR, that would be the easiest way for me to review.

No, I do not know of anyone working on alternatives.