Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1424

Preprint Number 1424

Previous Next Preprint server

1424. A. Ivanov
Continuous theory of operator expansions of finite dimensional Hilbert spaces, continuous structures of quantum circuits and decidability

Submission date: 6 May 2018


We consider continuous structures which are obtained from finite dimensional Hilbert spaces over C by adding some unitary operators. Quantum automata and circuits are naturally interpretable in such structures. We consider appropriate algorithmic problems concerning continuous theories of natural classes of these structures. We connect them with the topic of approximations by metric groups. This paper extends and corrects the paper A. Ivanov, Continuous structures of quantum circuits, arXiv: 1406.4635.

Mathematics Subject Classification: 03C57, 03C52, 03B70, 03B50, 20E26

Keywords and phrases:

Full text arXiv 1805.03070: pdf, ps.

Last updated: May 17 2018 07:59 Please send your corrections to: