Research
The project objectives revolve around the following 4 themes:
- identifying application-inspired target problems for quantum utility
- constructing mathematical and algorithmic primitives for these tasks
- enhancing the software stack
- carefully optimizing and estimating quantum computational resources in conjunction with classical verification and benchmarking.
- PyClifford https://github.com/hongyehu/PyClifford
Near-Clifford simulation for classical benchmarking - PySCF https://github.com/pyscf/pyscf
A widely used quantum chemistry and materials science package across quantum information science - QSPPACK https://github.com/qsppack/QSPPACK
Efficient computation of phase factors used in quantum signal processing related applications - BQSKit https://github.com/BQSKit/bqskit
A circuit synthesis and resource estimation library - Quimb https://github.com/jcmgray/quimb
A circuit and tensor network library for classical benchmarking and verification, as well as to obtain numerical information for algorithmic design
Lead: Yelin
The goal of Thrust 1 is to consider quantum utility starting from a hardware perspective, i.e. the capabilities of existing NISQ and near-term fault-tolerant devices. We tailor the target problems, algorithms, mathematical techniques, and circuit compilation strategies for this purpose.
- Simulating Quantum Circuits with Efficient Magic
- Analog and Digital-Analog Simulations for Quantum Utility
- Advanced Classical Shadows for Systems with Limited Control
- Gate Synthesis and Compilation for Quantum Utility
Lead: Lin
The rapid progress towards fault tolerance in quantum computing provides the scientific computing community with unprecedented opportunities. The goal of Thrust 2 is to advance quantum algorithms towards achieving quantum utility in scientific computing applications, in a resource model that progresses from early-stage fault-tolerant quantum computing towards fully fault-tolerant systems. Thrust 2 aims at enhancing all aspects of the quantum algorithms to improve their end-to-end complexities and resource usage.
- Phase Estimation Techniques and Eigenvalue Estimation
- Block Encoding and Quantum System Representation
- Quantum Utility via Lindblad Dynamics
- Simulation of Linear Differential Equations
- Efficient Simulation of Dynamics with Unbounded Operators
- Advanced Mathematical Kernels and Software Development
Lead: Lee
Thrust 3 aims to support Thrusts 1 and 2 with scalable simulation algorithms that help to identify the boundary of utility, as well as to provide verifiers for experimental implementations. Naturally, we will use these existing strengths and software stack in the development and verification of the algorithms in Thrusts 1 and 2. We expect the work in this proposal to push the boundaries of state-of-the-art classical verification, necessitating the development of new algorithms and implementations.
- Efficient Circuit Simulation via Belief Propagation and Loop Expansion
- Simulation of Circuits that Encode Volume-laws
- Simulation of Near-Clifford circuits
- Learning Limits in Fast-Forwarding Quantum Dynamics
- Verification of Utility and Circuits Using Classical Shadows and Sampling
- Software Stack for Classical Benchmarking and Verification