2014/04/01 by Miklós Bartha
Physics and Astronomy · Computer Science · Mathematics · #quant-ph #cs.FL #cs.IT #math.IT
paper · pdf · doi:10.4204/eptcs.143.2
published as EPTCS 143, 2014, pp. 17-31 · In Proceedings DCM 2012, arXiv:1403.7579
arxiv created 2014/04/01 · arxiv updated 2014/04/02
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.