Cross-verification of independent quantum devices

Quantum computers are on the brink of surpassing the capabilities of even the most powerful classical computers. This naturally raises the question of how one can trust the results of a quantum computer when they cannot be compared to classical simulation. Here we present a verification technique th...

Full description

Saved in:
Bibliographic Details
Published in:arXiv.org 2020-01
Main Authors: Greganti, C, Demarie, T F, Ringbauer, M, Jones, J A, Saggio, V, Calafell, I A, Rozema, L A, Erhard, A, Meth, M, Postler, L, Stricker, R, Schindler, P, Blatt, R, Monz, T, Walther, P, Fitzsimons, J F
Format: Article
Language:English
Subjects:
Circuits
Computer simulation
NMR
Nuclear magnetic resonance
Photonics
Program verification (computers)
Quantum computers
Quantum computing
Quantum theory
Qubits (quantum computing)
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Quantum computers are on the brink of surpassing the capabilities of even the most powerful classical computers. This naturally raises the question of how one can trust the results of a quantum computer when they cannot be compared to classical simulation. Here we present a verification technique that exploits the principles of measurement-based quantum computation to link quantum circuits of different input size, depth, and structure. Our approach enables consistency checks of quantum computations within a device, as well as between independent devices. We showcase our protocol by applying it to five state-of-the-art quantum processors, based on four distinct physical architectures: nuclear magnetic resonance, superconducting circuits, trapped ions, and photonics, with up to 6 qubits and 200 distinct circuits.
ISSN:2331-8422
DOI:10.48550/arxiv.1905.09790