Showing 1–2 of 2 results for author: Bartha, M

Quantum Turing automata

Authors: Miklós Bartha

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-V… ▽ More 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. △ Less

Submitted 31 March, 2014; originally announced April 2014.

Comments: In Proceedings DCM 2012, arXiv:1403.7579

Journal ref: EPTCS 143, 2014, pp. 17-31

Turing Automata and Graph Machines

Authors: Miklós Bartha

Abstract: Indexed monoidal algebras are introduced as an equivalent structure for self-dual compact closed categories, and a coherence theorem is proved for the category of such algebras. Turing automata and Turing graph machines are defined by generalizing the classical Turing machine concept, so that the collection of such machines becomes an indexed monoidal algebra. On the analogy of the von Neumann d… ▽ More Indexed monoidal algebras are introduced as an equivalent structure for self-dual compact closed categories, and a coherence theorem is proved for the category of such algebras. Turing automata and Turing graph machines are defined by generalizing the classical Turing machine concept, so that the collection of such machines becomes an indexed monoidal algebra. On the analogy of the von Neumann data-flow computer architecture, Turing graph machines are proposed as potentially reversible low-level universal computational devices, and a truly reversible molecular size hardware model is presented as an example. △ Less

Submitted 7 June, 2010; originally announced June 2010.

ACM Class: F.1.1; G.2.2

Journal ref: EPTCS 26, 2010, pp. 19-31