Bell sampling from quantum circuits

05/31/2023
by   Dominik Hangleiter, et al.
0

A central challenge in the verification of quantum computers is benchmarking their performance as a whole and demonstrating their computational capabilities. In this work, we find a model of quantum computation, Bell sampling, that can be used for both of those tasks and thus provides an ideal stepping stone towards fault-tolerance. In Bell sampling, we measure two copies of a state prepared by a quantum circuit in the transversal Bell basis. We show that the Bell samples are classically intractable to produce and at the same time constitute what we call a circuit shadow: from the Bell samples we can efficiently extract information about the quantum circuit preparing the state, as well as diagnose circuit errors. In addition to known properties that can be efficiently extracted from Bell samples, we give two new and efficient protocols, a test for the depth of the circuit and an algorithm to estimate a lower bound to the number of T gates in the circuit. With some additional measurements, our algorithm learns a full description of states prepared by circuits with low T-count.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/27/2021

Quantum circuit synthesis of Bell and GHZ states using projective simulation in the NISQ era

Quantum Computing has been evolving in the last years. Although nowadays...
research
05/27/2020

The limits of quantum circuit simulation with low precision arithmetic

This is an investigation of the limits of quantum circuit simulation wit...
research
12/27/2021

Circuit-Oriented Symmetry Verification: From Quantum Switches to Spatio-Temporal Stabilizers

State-of-the-art noisy intermediate-scale quantum computers require low-...
research
05/15/2023

Predictive Models from Quantum Computer Benchmarks

Holistic benchmarks for quantum computers are essential for testing and ...
research
09/11/2019

Efficient template matching in quantum circuits

Given a large and a small quantum circuit, we are interested in finding ...
research
03/02/2023

quAssert: Automatic Generation of Quantum Assertions

Functional validation is necessary to detect any errors during quantum c...
research
01/18/2023

An Automata-based Framework for Verification and Bug Hunting in Quantum Circuits (Technical Report)

We introduce a new paradigm for analysing and finding bugs in quantum ci...

Please sign up or login with your details

Forgot password? Click here to reset