Research programme
Toward Tractable Quantum Energy and Circuit Problems
To address the computational intractability of quantum system design, this research presents a framework that reduces quantum states and circuits to symbolic forms, enabling verifiable and interpretable analysis through classical satisfiability solving.
- Duration
- 2026 - 2029
- Contact
- Alfons Laarman
- Funding
- Esa co-funded Research
- Partners
Co-funded by European Space Agency
Quantum circuit design, state preparation, and energy analysis are central challenges in quantum computing and physics. Many of these problems are computationally intractable, even for quantum computers. This project introduces a unified framework that reduces such quantum problems to symbolic forms—using tools from automated reasoning, symbolic AI, and satisfiability solving. By representing quantum circuits, quantum states, and thermodynamic properties as structured logical models, we make them amenable to classical analysis and design. Our framework enables interpretable and verifiable methods for quantum circuit compilation, state generation, and system analysis, supporting future applications in quantum simulation, communication, and secure computation. We validate our approach on structured physical models and explore its relevance for secure space-based quantum technologies.
This research project is part of the University-wide theme Quantum & Space.