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 language | English |
---|---|
Article number | 022323 |
Number of pages | 20 |
Journal | Physical Review A |
Volume | 98 |
Issue number | 2 |
DOIs | |
Publication status | Published - 21 Aug 2018 |