Matthew Amy

Symbolic Synthesis of Clifford Circuits and Beyond

2022 · arXiv (Cornell University)

Path sums are a convenient symbolic formalism for quantum operations with applications to the simulation, optimization, and verification of quantum protocols. Unlike quantum circuits, path sums are not limited to unitary operations, but can express …