research
∙
03/02/2023
Certified Randomness from Quantum Supremacy
We propose an application for near-term quantum devices: namely, generat...
share
research
∙
02/16/2023
The Computational Complexity of Quantum Determinants
In this work, we study the computational complexity of quantum determina...
research
∙
05/10/2022
Classical verification of quantum depth
We present two protocols for classical verification of quantum depth. Ou...
research
∙
02/22/2021
Quantum query complexity with matrix-vector products
We study quantum algorithms that learn properties of a matrix using quer...
research
∙
10/03/2020
Proving Quantum Programs Correct
As quantum computing steadily progresses from theory to practice, progra...
research
∙
04/02/2020
On the Principles of Differentiable Quantum Programming Languages
Variational Quantum Circuits (VQCs), or the so-called quantum neural-net...
research
∙
12/04/2019
A Verified Optimizer for Quantum Circuits
We present VOQC, the first fully verified compiler for quantum circuits,...
research
∙
11/19/2019
Non-interactive classical verification of quantum computation
In a recent breakthrough, Mahadev constructed an interactive protocol th...
research
∙
11/19/2019
Two-message verification of quantum computation
We describe a two-message protocol that enables a purely classical verif...
research
∙
08/11/2019
Quantum algorithm for estimating volumes of convex bodies
Estimating the volume of a convex body is a central problem in convex ge...
research
∙
04/12/2019
Verified Optimization in a Quantum Intermediate Representation
We present sqire, a low-level language for quantum computing and verific...
research
∙
11/08/2018