Verification of Quantum Computation

Event Date:
2022-04-07T16:00:00
2022-04-07T17:00:00
Event Location:
Connect via zoom
Speaker:
Elham Kashefi (BC Quantum Algorithm Institute)
Related Upcoming Events:
Intended Audience:
Undergraduate
Local Contact:

Douglas Scott and Robert Raussendorf

Event Information:

Abstract: 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 Algorithm
Institute in Canada.

Add to Calendar 2022-04-07T16:00:00 2022-04-07T17:00:00 Verification of Quantum Computation Event Information: Abstract: 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 Algorithm Institute in Canada. Event Location: Connect via zoom