research
∙
11/14/2022
Assessing requirements to scale to practical quantum advantage
While quantum computers promise to solve some scientifically and commerc...
share
research
∙
10/12/2022
Quantum divide and conquer
The divide-and-conquer framework, used extensively in classical algorith...
research
∙
09/06/2021
Gottesman Types for Quantum Programs
The Heisenberg representation of quantum operators provides a powerful t...
research
∙
01/22/2021
Static Analysis of Quantum Programs via Gottesman Types
The Heisenberg representation of quantum operators provides a powerful t...
research
∙
12/03/2020
Quantum learning algorithms imply circuit lower bounds
We establish the first general connection between the design of quantum ...
research
∙
03/07/2019
Quantum hardness of learning shallow classical circuits
In this paper we study the quantum learnability of constant-depth classi...
research
∙
05/28/2018