DFG Funds Dortmund Project on Verification of Digital Quantum Simulations

The German Research Foundation (DFG) is funding a new research project at the Technical University of Dortmund as part of Priority Program 2514 "Quantum Software, Algorithms and Systems". Under the title "Scaling Verification of Digital Quantum Simulation", an interdisciplinary team is investigating how the correctness of complex quantum simulations can be efficiently verified. The project combines expertise from physics and computer science and is led by Jun. Prof. Dr. Benedikt Fauseweh (Department of Physics), Jun. Prof. Dr. Ben Hermann and Prof. Dr. Falk Howar (both Department of Computer Science).

Digital quantum simulations as a key technology of the future

Quantum technologies are among the central future fields of modern research. Digital quantum simulations in particular promise to significantly improve the modeling of complex systems in physics, chemistry and materials science. Quantum mechanical processes are simulated on quantum computers in order to precisely understand the properties of new materials or the physics of quantum particles, for example.

However, the larger and more complex the underlying quantum circuits become, the more difficult it is to reliably verify such simulations. Conventional methods of software verification quickly reach their limits - especially when complex phenomena such as entanglement come into play. This is where the Dortmund project comes in.

Goal: Creatingtrust in the results of quantum computers

The TU Dortmund University research team is developing new approaches to improve the scalability and reliability of the verification of digital quantum simulations. Formal methods from computer science - such as from program analysis and model checking - are to be combined with concepts from theoretical physics, such as entanglement entropy.

"Our aim is to create a methodological foundation that allows the correctness of quantum simulations to be checked automatically and comprehensibly," explains Prof. Dr. Ben Hermann. This is a decisive step towards creating confidence in future quantum applications - both in basic research and in industrial contexts.

Jun. Prof. Dr. Benedikt Fauseweh also emphasizes the relevance of interdisciplinary cooperation: "Quantum simulations open up new perspectives in physics. Through cooperation with computer science, the underlying computing processes can be made controllable and verifiable."

Prof. Dr. Falk Howar adds: "We have many years of experience in formal software verification. We are now bringing this expertise to the world of quantum informatics - a field of research that will become increasingly important in the coming years."

Significance for Dortmund as a science location

With the approval of this project, the Technical University of Dortmund is consolidating its position as a leading center for interdisciplinary research at the interface of physics and computer science. The project builds on existing activities in the fields of quantum computing, formal methods and software quality and strengthens the university's visibility in the growing field of quantum software engineering.

Furthermore, with its position in the priority program, the project offers excellent qualification opportunities for young scientists. It creates space for innovative research, promotes methodological training and contributes to international networking within the DFG Priority Program.

Background: DFG Priority Program 2514 "Quantum Software, Algorithms and Systems"

The DFG Priority Program 2514 supports research projects that deal with the theoretical and methodological foundations of quantum computers. The aim is to advance the development of a trustworthy software and system level for quantum hardware - from new programming paradigms and algorithms to tools for analysis and verification.

The Scaling Verification of Digital Quantum Simulation project in Dortmund is making an important contribution to this by developing methods with which quantum programs can not only be executed efficiently, but also verifiably correctly.

Contact persons for queries

• Jun.-Prof. Dr. Benedikt Fauseweh - Department of Physics, TU Dortmund University
• Jun.-Prof. Dr. Ben Hermann - Department of Computer Science, TU Dortmund University
• Prof. Dr. Falk Howar - Department of Computer Science, TU Dortmund University