Categorical Quantum Mechanics

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