We introduce the first complete equational theory for quantum circuits. More precisely, we introduce a set of circuit equations that we prove to be sound and complete: two circuits represent the same unitary map if and only if they can be transformed one into the other using the equations. The proof...
Research Assistant
AI chat, annotations, notes & similar papers
No comments yet
Be the first to share your thoughts!