Coalgebraic Quantum Computation
Logic in Computer Science
2014-08-04 v1 Category Theory
Abstract
Coalgebras generalize various kinds of dynamical systems occuring in mathematics and computer science. Examples of systems that can be modeled as coalgebras include automata and Markov chains. We will present a coalgebraic representation of systems occuring in the field of quantum computation, using convex sets of density matrices as state spaces. This will allow us to derive a method to convert quantum mechanical systems into simpler probabilistic systems with the same probabilistic behaviour.
Cite
@article{arxiv.1408.0050,
title = {Coalgebraic Quantum Computation},
author = {Frank Roumen},
journal= {arXiv preprint arXiv:1408.0050},
year = {2014}
}
Comments
In Proceedings QPL 2012, arXiv:1407.8427