Quantum Turing automata
Quantum Physics
2014-04-02 v1 Formal Languages and Automata Theory
Information Theory
math.IT
Abstract
A denotational semantics of quantum Turing machines having a quantum control is defined in the dagger compact closed category of finite dimensional Hilbert spaces. Using the Moore-Penrose generalized inverse, a new additive trace is introduced on the restriction of this category to isometries, which trace is carried over to directed quantum Turing machines as monoidal automata. The Joyal-Street-Verity Int construction is then used to extend this structure to a reversible bidirectional one.
Cite
@article{arxiv.1404.0074,
title = {Quantum Turing automata},
author = {Miklós Bartha},
journal= {arXiv preprint arXiv:1404.0074},
year = {2014}
}
Comments
In Proceedings DCM 2012, arXiv:1403.7579