丁香园AV

*Register at the following link to join seminar:

Access link will be sent to your email address after registration

Synopsis

Quantum computers promise to efficiently solve not only problems believed to be intractable for classical computers, but also problems for which verifying the solution is also considered intractable. This raises the question of how one can check whether quantum computers are indeed producing correct results. This task, known as quantum verification, has been highlighted as a significant challenge on the road to scalable quantum computing technology. We review the existing approaches and compare them in terms of structure, complexity and required resources. We also comment on the use of cryptographic techniques which, for many of the presented protocols, has proven extremely useful in performing verification. Finally, we discuss issues related to fault tolerance, experimental implementations and the outlook for this field of research.

BIO: Elham Kashefi is Professor of Quantum Computing at the School of Informatics, University of Edinburgh, and Directeur de recherche au CNRS at LIP6 Sorbonne Universite. She co-founded the fields of quantum cloud computing and quantum computing verification, and has pioneered a trans-disciplinary interaction of hybrid quantum-classical solutions from theoretical investigation all the way to actual experimental and industrial commercialisation (Co-Founder of VeriQloud Ltd). She has been awarded several UK, EU and US grants and fellowships for her works in developing applications for quantum computing and communication and was awarded the French 2021 les Margaret Intrapreneur award. She is the senior science team leader of the quantum computing and simulation hub in the UK and member of the executive team of the EU quantum internet alliance. She has been recently elected as the executive director of the Quantum Algorithms Institute in Canada.