Abstract structure of unitary oracles for quantum algorithms

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

Authors

Colleges, School and Institutes

External organisations

  • University of Oxford
  • University of Singapore

Abstract

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.

Details

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
Volume172
ISSN (Electronic)2075-2180

Conference

Conference11th workshop on Quantum Physics and Logic (QPL 2014)
CountryJapan
CityKyoto
Period4/06/146/06/14