Continuous structures of quantum circuits

2014/06/18 by А. А. Иванов, Ivanov, Aleksander
Computer Science · #03B50 #03B70 #03C52 #03C57 #Complexity and Algorithms in Graphs #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Quantum Computing Algorithms and Architecture

paper · pdf · doi:10.48550/arxiv.1406.4635

openalex publication_date 2014/06/18 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

We consider continuous structures which are obtained from finite dimensional Hilbert spaces over ℂ by adding some unitary operators. Quantum automata and quantum circuits are naturally interpretable in such structures. We consider appropriate algorithmic problems concerning continuous theories of natural classes of these structures.

Related

• Continuous theory of operator expansions of finite dimensional Hilbert spaces, continuous structures of quantum circuits and decidability
• Quantum Logic and Quantum Computation
• Quantum computation of SU(2) lattice gauge theory with continuous variables
• From Qubits to Continuous-Variable Quantum Computation
• Formal Verification of Continuous-Variable Quantum Programs