no code implementations • 11 Mar 2021 • Miriam Backens, Aleks Kissinger, Hector Miller-Bakewell, John van de Wetering, Sal Wolffs
There are various gate sets used for describing quantum computation.
Quantum Physics
3 code implementations • 15 Feb 2016 • Miriam Backens, Simon Perdrix, Quanlong Wang
The stabilizer ZX-calculus is a rigorous graphical language for reasoning about quantum mechanics. The language is sound and complete: a stabilizer ZX-diagram can be transformed into another one if and only if these two diagrams represent the same quantum evolution or quantum state.
Quantum Physics Logic in Computer Science
no code implementations • 26 Jul 2013 • Miriam Backens
Here, we show that the ZX-calculus is complete for pure qubit stabilizer quantum mechanics, meaning any equality that can be derived using matrices can also be derived pictorially.
Quantum Physics