Reducing resources for verification of quantum computations

Samuele Ferracin, Theodoros Kapourniotis, Animesh Datta

Research output: Contribution to journalArticlepeer-review

Abstract / Description of output

We present two verification protocols where the correctness of a “target” computation is checked by means of “trap” computations that can be efficiently simulated on a classical computer. Our protocols rely on a minimal set of noise-free operations (preparation of eight single-qubit states or measurement of four observables, both on a single plane of the Bloch sphere) and achieve linear overhead. To the best of our knowledge, our protocols are the least demanding techniques able to achieve linear overhead. They represent a step toward further reducing the quantum requirements for verification.
Original languageEnglish
Article number022323
Number of pages20
JournalPhysical Review A
Issue number2
Publication statusPublished - 21 Aug 2018


Dive into the research topics of 'Reducing resources for verification of quantum computations'. Together they form a unique fingerprint.

Cite this