Abstract structure of unitary oracles for quantum algorithms

Research output: Chapter in Book/Report/Conference proceedingConference contribution


Colleges, School and Institutes

External organisations

  • University of Oxford
  • University of Singapore


We show that a pair of complementary dagger-Frobenius algebras, equipped with a self-conjugate comonoid homomorphism onto one of the algebras, produce a nontrivial unitary morphism on the product of the algebras. This gives an abstract understanding of the structure of an oracle in a quantum computation, and we apply this understanding to develop a new algorithm for the deterministic identification of group homomorphisms into abelian groups. We also discuss an application to the categorical theory of signal-flow networks.


Original languageEnglish
Title of host publicationProceedings of the 11th workshop on Quantum Physics and Logic (QPL 2014)
EditorsBob Coecke, Ichiro Hasuo, Prakash Panangaden
Publication statusPublished - 28 Dec 2014
Event11th workshop on Quantum Physics and Logic (QPL 2014) - Kyoto, Japan
Duration: 4 Jun 20146 Jun 2014

Publication series

NameElectronic Proceedings in Theoretical Computer Science
PublisherOpen Publishing Association
ISSN (Electronic)2075-2180


Conference11th workshop on Quantum Physics and Logic (QPL 2014)