Categorical Quantum Computing
Goals
- Show how structures in a process theory lead to particular algorithms.
- Define ways that the structure of a process theory affect the complexity of algorithms within it.
- Use the abstract setting of process theories to generalize existing algorithms.
- Use the abstract setting of process theories to find new algorithms.
Papers
Vicary, The Topology of Quantum Algorithms 2013
Zeng & Vicary Abstract structure of unitary oracles for quantum algorithms 2014