Quantum Turing automata

MaRDI QIDQ4994838zbMATH OpenFDO

Authors Miklós Bartha

Publication date 22 June 2021

Full work available at URL https://arxiv.org/abs/1404.0074, http://eptcs.web.cse.unsw.edu.au/paper.cgi?DCM2012.2

Mathematics Subject Classification ID

Categories of machines, automata (18B20) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Characterizations of Hilbert spaces (46C15) Other nonclassical models of computation (68Q09) Quantum computation (81P68)

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.

Recommendations

• Quantum automata: an overview.
• Turing automata and graph machines
• Quantum automata theory -- a review
• Quantum computers.
• Universality of quantum Turing machines with deterministic control

Cited in

(12)

• Improved constructions of quantum automata
• Pumping lemma for quantum automata
• Local transition functions of quantum Turing machines
• Dagger categories of tame relations
• scientific article; zbMATH DE number 1839460 (Why is no real title available?)
• The monoidal structure of Turing machines
• scientific article; zbMATH DE number 1421018 (Why is no real title available?)
• scientific article; zbMATH DE number 7339588 (Why is no real title available?)
• Turing automata and graph machines
• Binary and ternary structures in physics. I. The hierarchy structure of Turing machine in physics
• Classically time-controlled quantum automata
• On traces in categories of contractions

This page was built for publication: Quantum Turing automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4994838)