In recent years we observe a wave of novel quantum technologies such as quantum random number generators, quantum annealers or the first prototypes of quantum computers. These devices are believed to soon drastically change the way we process information and communicate, paving a way to important breakthroughs in many research disciplines, as diverse as mathematics, chemistry or even medicine. However, the promises of quantum technologies can be fulfilled only if the correct functioning of its components can be certified. This poses an extraordinary challenge to design suitable certification tools allowing the end-users to certify that the device they use operates according to its specification and generates the correct output. At the same time, it urges for thorough characterization of quantum phenomena from which these devices derive their power.
In VERIqTAS, we address these challenges and develop versatile certification methods for current and future quantum technologies that:
Our proposal is structured around three research lines. The first two are devoted to the most relevant scenarios for the successful deployment of quantum technologies: quantum networks, a very broad framework that models, for instance, quantum communication protocols; interacting quantum many-body systems, i.e., the support behind quantum computing devices. The third research line is transversal to the previous two and aims at providing novel tools and concepts for certification of general applicability in quantum information applications.
The obtained results will be crucial for a successful development, standardization, and deployment of quantum technologies in the future.