Unifying Quantum Verification and Error-Detection: Theory and Tools for Optimisations - Archive ouverte HAL Access content directly
Preprints, Working Papers, ... Year : 2022

Unifying Quantum Verification and Error-Detection: Theory and Tools for Optimisations

Abstract

With the recent availability of cloud quantum computing services, the question of verifying quantum computations delegated by a client to a quantum server is becoming of practical interest. While Verifiable Blind Quantum Computing (VBQC) has emerged as one of the key approaches to address this challenge, current protocols still need to be optimised before they are truly practical. To this end, we establish a fundamental correspondence between error-detection and verification and provide sufficient conditions to both achieve security in the Abstract Cryptography framework and optimise resource overheads of all known VBQC-based protocols. As a direct application, we demonstrate how to systematise the search for new efficient and robust verification protocols for $\mathsf{BQP}$ computations. While we have chosen Measurement-Based Quantum Computing (MBQC) as the working model for the presentation of our results, one could expand the domain of applicability of our framework via direct known translation between the circuit model and MBQC.

Dates and versions

hal-03857850 , version 1 (17-11-2022)

Identifiers

Cite

Theodoros Kapourniotis, Elham Kashefi, Dominik Leichtle, Luka Music, Harold Ollivier. Unifying Quantum Verification and Error-Detection: Theory and Tools for Optimisations. 2022. ⟨hal-03857850⟩
23 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More