research
∙
09/07/2022
Synthesizing efficient circuits for Hamiltonian simulation
We provide a new approach for compiling quantum simulation circuits that...
share
research
∙
07/12/2019
The Projection Games Conjecture and the Hardness of Approximation of SSAT and related problems
The Super-SAT or SSAT problem was introduced by Dinur, Kindler, Raz and ...
research
∙
07/09/2019
Faster provable sieving algorithms for the Shortest Vector Problem and the Closest Vector Problem on lattices in ℓ_p norm
In this paper we give provable sieving algorithms for the Shortest Vecto...
research
∙
01/08/2018