Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Continuous theory of operator expansions of finite dimensional Hilbert
  spaces, continuous structures of quantum circuits and decidability   We consider continuous structures which are obtained from finite dimensional
Hilbert spaces over $\mathbb{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.
Replacing version contains a new section (Section 4.4).

21
The categories of this paper are: adap-org
31
The categories of this paper are: ao-sci
22
The categories of this paper are: chao-dyn
26
The categories of this paper are: bayes-an
34
The categories of this paper are: chem-ph
27
The categories of this paper are: comp-gas
9
The categories of this paper are: nlin
23
The categories of this paper are: solv-int
5
The categories of this paper are: gr-qc
18
The categories of this paper are: econ
11
The categories of this paper are: hep-lat
15
The categories of this paper are: nucl-ex
10
The categories of this paper are: q-bio
25
The categories of this paper are: patt-sol
16
The categories of this paper are: stat
35
The categories of this paper are: mtrl-th