Projet de recherche doctoral numero :5261


Date depot: 25 juillet 2018
Titre: Frameworks for verification of quantum technologies
Directeur de thèse: Damian MARKHAM (LIP6)
Domaine scientifique: Sciences et technologies de l'information et de la communication
Thématique CNRS : Non defini

Resumé: In the last few years we have seen unprecedented advances in quantum information technologies. Already quantum key distribution systems are available commercially. In the near future we will see waves of new quantum devices, offering unparalleled benefits for security, communication, computation and sensing. A key question to the success of this technology is their verification and validation. Quantum technologies encounter an acute verification and validation problem: On one hand, since classical computations cannot scale-up to the computational power of quantum mechanics, verifying the correctness of a quantum-mediated computation is challenging. On the other hand, the underlying quantum structure resists classical certification analysis. This PhD will focus on developing methods for verification of quantum technologies, and the fundamental physical and mathematical frameworks behind these methods. The student will build on techniques developed by supervisors in LORIA and LIP6, based around the measurement based picture of quantum information. The student will develop and extend notably two frameworks, the stabiliser framework and the ZX calculus (both partially developed by the supervisors) in order to explore how quantum features that give an advantage in quantum technology and be certified. These will be used to tackle questions of optimisation, resource tradeoff and practicality in terms of implementation. The student will also consider extensions of these frameworks for the infinite dimensional implementation of quantum information known as Continuous Variables. The infinite dimensional case requires careful consideration as many finite dimensional results do not hold (for example continuity of entropy).

Doctorant.e: Booth Robert