Verification of Quantum Technology

Lead Research Organisation: University of Edinburgh
Department Name: Sch of Informatics

Abstract

Future information and communication networks will certainly consist of both classical and quantum devices, some of which are expected to be dishonest, with various degrees of functionality, ranging from simple routers to servers executing quantum algorithms. The realisation of such a complex network of classical and quantum communication must rely on a solid theoretical foundation that, nevertheless, is able to foresee and handle the intricacies of real-life implementations. The study of security, efficiency and verification of quantum communication and computation is inherently related to the fundamental notions of quantum mechanics, including entanglement and non-locality, as well as to central notions in classical complexity theory and cryptography.

The central Research objective of our proposal is an end to end investigation of the verification and validation of quantum technologies, from full scale quantum computers and simulators to communication networks with devices of varying size and complexity down to realistic ``quantum gadgets". This goal represents a key challenge in the transition from theory to practice for quantum computing technologies.

We will work closely with experimentalists and engineers to ensure that theoretical progress takes Development considerations into account, and will design prototypes for proof-of-principle demonstrations of our methods. The experimental aspects of our proposal are supported by the PI's associate directorial position at the Oxford led hub, joint projects with the York led hub as well as other ongoing collaborations with experimental labs in France and Austria. Meanwhile the required expertise in engineering design would be supported through a new collaboration of the PI as part of the Edinburgh Li-Fi research and development centre.

The Deployment axis, complementing our core activity in research-development, will be built upon the unique Edinburgh entrepreneurial culture supported by Informatics Ventures as well as a dedicated senior business advisory board (which sponsored the PI's recent patent on quantum cloud). Advances to the problem of secure delegated computation would have an immediate significant consequence on how computational problems are solved in the real world. One can envision virtually unlimited computational power to end users on the go, using just a simple terminal to access the computing cloud which would turn any smartphone into a quantum-enhanced phone. This will generate new streams of growth for the UK cyber security sector as well as complementary business developments for the National quantum technology investment.

Planned Impact

Our approach to de-risking quantum technology initially developed within experimental labs will be eventually complemented with industrial involvement. Aligned with the global vision of the UK national investment in quantum technology, this project aims at translating fundamental knowledge obtained over the last three decades to the next era of business prosperity. We go in fact one step ahead and aim to prepare the ground for the transformation of the results obtained within the quantum hubs for the end users. Our targeted beneficiaries are hence various stakeholders in this transition era. The aim is to understand how users desired certification could be implemented within our development efforts at the experimental labs. Supported by Informatics Ventures and the business developers of the School of Informatics (with dedicated staff to this project) we are setting up a series of pilot projects with leading UK companies to establish an expert community within the industry sectors as authorities for the evaluation, certification and verification ready to engage when scalable quantum computing devices become available (such as the one to be developed within the Oxford hub).

As our joint experience with the technology improves and users' confidence increases, we plan to build up concrete revenues from external sources. This would be based on the success of our ultimate product development of a quantum-enhanced cloud infrastructure with Oxford hub providing the computation services of the server while the York hub will develop the communication network between clients. Initially we will proceed with developing IP to attract eventual external investment. We plan to build on Informatics Ventures' track record of industry partnership to generate most of this from the UK companies.

Complementary to the above is our outreach and training program, as well as responsible innovation research activity, essential for achieving the long-term vision of trusted quantum technology deployment. Our targeted dissemination programme will include regular attendance and presentation at exhibitions and conferences as well as organising advanced workshops and summer schools on quantum verification and quantum cloud, within various community that the PI has already founded such as QUISCO (see more details in Pathway to Impact). In addition, the PI is in the process of developing a specialised online quantum applications program within Virtual University of Edinburgh online program (Vue) to train the next generation of technicians for testing and employing quantum devices across the UK.

Publications

10 25 50
publication icon
Kashefi E (2017) Garbled Quantum Computation in Cryptography

publication icon
Kashefi E (2017) Multiparty Delegated Quantum Computing in Cryptography

publication icon
Gheorghiu A (2018) Keeping quantum computers honest in European Research Consortium for Informatics and Mathematics news magazine

publication icon
Kaplan M (2016) Quantum Differential and Linear Cryptanalysis in IACR Transactions on Symmetric Cryptology

publication icon
Kashefi E (2017) Optimised resource construction for verifiable quantum computation in Journal of Physics A: Mathematical and Theoretical

publication icon
Dunjko V (2016) Quantum-enhanced Secure Delegated Classical Computing in Journal of Quantum Information and Computation

publication icon
Diamanti E (2017) Best of both worlds in Nature Physics

publication icon
Clementi M (2017) Classical multiparty computation using quantum resources in Physical Review A

 
Description The research carried-out had as central pillar protocols for blind verification of quantum computation. This functionality has twofold importance. First, it can be viewed as means to test quantumness and correctness of quantum devices and second it can be viewed as a cryptographic tool to achieve secure quantum information tasks such as delegated quantum computation, quantum fully homomorphic encryption and quantum multiparty computation. All directions were pursued, involving research from all WP's, and progress in a number of projects has been made (the related publication are listed in the submission).
Exploitation Route We are currently discussing with several industry, ATOS, Keysight and VeriQLoud about potential collaboration for prototyping our results.
Sectors Digital/Communication/Information Technologies (including Software)

URL https://arxiv.org/find/quant-ph/1/au:+Kashefi/0/1/0/all/0/1?skip=0&query_id=621e4f625fa43132
 
Description Advisory board of EPSRC research programme grant on "Designing out of equilibrium many-body quantum systems"
Geographic Reach National 
Policy Influence Type Participation in a advisory committee
 
Description Advisory board of EPSRC research programme grant on "Engineering Photonic Quantum Technologies"
Geographic Reach National 
Policy Influence Type Participation in a advisory committee
 
Description EPSRC Challenges for Quantum Computer Science & Simulation Workshop
Geographic Reach National 
Policy Influence Type Membership of a guideline committee
 
Description Executive board member in charge of Applications and Controls of the Quantum Internet Alliance Flagship Project since 2018
Geographic Reach Europe 
Policy Influence Type Membership of a guideline committee
URL http://quantum-internet.team/
 
Description Founder of CNRS - Edinburgh University cooperation
Geographic Reach Europe 
Policy Influence Type Participation in a advisory committee
 
Description Managing board member and Associate director in charge of Quantum Applications development of the Networked Quantum Information Technology (NQIT) Hub since 2014
Geographic Reach National 
Policy Influence Type Membership of a guideline committee
 
Description SAP brainstorming workshop Towards a Quantum Industry
Geographic Reach Europe 
Policy Influence Type Membership of a guideline committee
 
Description Entrapping Nature - AFOSR - US Arifroce Office of Scientific Research
Amount $1,600,000 (USD)
Funding ID FA9550-17-1-0055 
Organisation US Army 
Sector Public
Country United States
Start 01/2017 
End 01/2021
 
Description UK Quantum Technology Hub: NQIT - Networked Quantum Information Technologies
Amount £38,029,961 (GBP)
Funding ID EP/M013243/1 
Organisation Engineering and Physical Sciences Research Council (EPSRC) 
Sector Academic/University
Country United Kingdom
Start 12/2014 
End 11/2019
 
Description Program Committee of the Quantum Cryptography Conference (Qcrypt 2017) 
Form Of Engagement Activity Participation in an activity, workshop or similar
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Professional Practitioners
Results and Impact This meeting is the flagship of the field of quantum cryptography however over the last few years th etopi cof verification has been hilighted and as a memebr of the program comittee I was referring related papers and deciding the program and invited speaker to reflect further the importance of this topic.
Year(s) Of Engagement Activity 2017
URL http://2017.qcrypt.net/cmmittees/
 
Description Program Committee of the XVII Conference on Quantum Information Processing 
Form Of Engagement Activity Participation in an activity, workshop or similar
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Professional Practitioners
Results and Impact As the memebr of the program comittee I contributed to referring submitted papers as well as setting up the schedule and invited speakers. The meeting is one of the flagship event of the field of quantum computing and in this year the topic of verificaiton was clearly highlightes as an important emerging topic.
Year(s) Of Engagement Activity 2019
URL http://jila.colorado.edu/qip2019/
 
Description TrustWorthy Quantum Computing Workshop 
Form Of Engagement Activity Participation in an activity, workshop or similar
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Professional Practitioners
Results and Impact The third International Workshop on Trustworthy Quantum Information was hold in Paris, Sorbonne University, June 2017.

Quantum mechanics promises extraordinary capabilities for computation and cryptography. However, as classical beings, we cannot directly verify quantum states or quantum operations. How can we trust the integrity of quantum hardware? To address this challenging question, an area of Trustworthy Quantum Information has emerged from several recent lines of research. The objective of this Workshop was to facilitate the formation of a coherent research subject and its research community from the constituting topics, which have been pursued separately by different groups of researchers. The Workshop in addition aims to bridge the gaps between theory and practice by engaging theorists and experimentalists in the same discussions.

I was the co-chair of the event and the EPSRC fellowship sponsored the meeting by covering the expances of some of the invited speakers.
Year(s) Of Engagement Activity 2016,2017