Electronic Proceedings in Theoretical Computer Science (Mar 2014)

Quantum Turing automata

  • Miklós Bartha

DOI
https://doi.org/10.4204/EPTCS.143.2
Journal volume & issue
Vol. 143, no. Proc. DCM 2012
pp. 17 – 31

Abstract

Read online

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.