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:002022-04-07T17:00:00Verification of Quantum ComputationEvent 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