Geometry of abstraction in quantum computation
From MaRDI portal
Publication:2918880
zbMATH Open1258.81022arXiv1006.1010MaRDI QIDQ2918880FDOQ2918880
Publication date: 1 October 2012
Abstract: Quantum algorithms are sequences of abstract operations, performed on non-existent computers. They are in obvious need of categorical semantics. We present some steps in this direction, following earlier contributions of Abramsky, Coecke and Selinger. In particular, we analyze function abstraction in quantum computation, which turns out to characterize its classical interfaces. Some quantum algorithms provide feasible solutions of important hard problems, such as factoring and discrete log (which are the building blocks of modern cryptography). It is of a great practical interest to precisely characterize the computational resources needed to execute such quantum algorithms. There are many ideas how to build a quantum computer. Can we prove some necessary conditions? Categorical semantics help with such questions. We show how to implement an important family of quantum algorithms using just abelian groups and relations.
Full work available at URL: https://arxiv.org/abs/1006.1010
Quantum algorithms and complexity in the theory of computing (68Q12) Quantum computation (81P68) Categorical semantics of formal languages (18C50) Semantics in the theory of computing (68Q55)
Cited In (9)
- Title not available (Why is that?)
- Boolean coverings of quantum observable structure: a setting for an abstract differential geometric mechanism
- Chasing Diagrams in Cryptography
- Monoidal computer. I: Basic computability by string diagrams
- The Geometry of Computation-Graph Abstraction
- Retracing some paths in categorical semantics: from process-propositions-as-types to categorified reals and computers
- Monoidal computer III: a coalgebraic view of computability and complexity (extended abstract)
- Geometry of discrete quantum computing
- (Modular) Effect Algebras are Equivalent to (Frobenius) Antispecial Algebras
This page was built for publication: Geometry of abstraction in quantum computation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2918880)
