AF: Small: Toward Applications and Verification of Early Quantum Computers

AF：小：迈向早期量子计算机的应用和验证

基本信息

批准号：
1813814
负责人：
Andrew Childs
金额：
$ 50万
依托单位：
University of Maryland, College Park
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
2018
资助国家：
美国
起止时间：
2018-10-01 至 2022-09-30
项目状态：
已结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=1813814&HistoricalAwards=false
关键词：
AF Small Toward Applications Verification

项目摘要

Quantum computers have the potential to solve certain problems much faster than ordinary classical computers, offering the prospect of efficient solutions to problems that would otherwise be intractable. There has recently been significant progress toward the experimental realization of quantum computers, suggesting that devices with tens of well-controlled qubits may be available in the next decade. Therefore, now is a crucial time to investigate how to best take advantage of the limited capabilities of early devices, and to develop methods for verifying that they behave correctly in a regime where they are difficult to simulate classically. A major potential application of quantum computers is the task of simulating quantum physics. Since it is close to the native behavior of quantum computers, quantum simulation has relatively low overhead, so it is likely to be an early practical application. This project will investigate how to best apply quantum simulation using near-term devices. The project team will develop the theory of quantum simulation algorithms more generally, and will explore using quantum simulation to solve other computational problems, studying challenges including quantum state preparation and solutions of differential equations. A significant challenge for early quantum computers is the difficulty of ensuring that they work correctly. This project will investigate methods for certifying the correctness of quantum computations. Since many quantum computations may not have efficiently checkable proofs, the researchers will consider the more general framework of interactive verification, where a classical verifier seeks to establish the correctness of an efficient quantum prover through an exchange of messages. Building on recent progress toward interactive verification under computational assumptions, the project team will investigate the number of rounds of communication needed to perform such verification, explore the power of circuit obfuscation as a tool for interactive verification, and study the impact of varying the power of the prover and verifier (and the interaction between them) on their ability to ensure correctness.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

量子计算机有潜力比普通经典计算机更快地解决某些问题，为解决原本棘手的问题提供了有效的解决方案。最近，量子计算机的实验实现取得了重大进展，这表明具有数十个良好控制的量子位的设备可能在未来十年内问世。因此，现在是研究如何最好地利用早期设备的有限功能，并开发方法来验证它们在难以经典模拟的情况下正确运行的关键时刻。量子计算机的一个主要潜在应用是模拟量子物理的任务。由于它接近量子计算机的本机行为，量子模拟的开销相对较低，因此它很可能是早期的实际应用。该项目将研究如何使用近期设备最好地应用量子模拟。项目团队将发展更广泛的量子模拟算法理论，并将探索利用量子模拟解决其他计算问题，研究包括量子态准备和微分方程解等挑战。早期量子计算机面临的一个重大挑战是难以确保它们正常工作。该项目将研究证明量子计算正确性的方法。由于许多量子计算可能没有有效的可检查证明，因此研究人员将考虑更通用的交互式验证框架，其中经典验证者试图通过消息交换来建立有效量子证明者的正确性。基于计算假设下交互式验证的最新进展，项目团队将研究执行此类验证所需的通信轮数，探索电路混淆作为交互式验证工具的力量，并研究改变电路混淆能力的影响。证明者和验证者（以及他们之间的相互作用）确保正确性的能力。该奖项反映了 NSF 的法定使命，并通过使用基金会的智力优点和更广泛的影响审查标准进行评估，被认为值得支持。

项目成果

期刊论文数量（14）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Quantum simulation of real-space dynamics

DOI：
10.22331/q-2022-11-17-860
发表时间：
2022-03-31
期刊：
ArXiv
影响因子：
0
作者：
Andrew M. Childs;Jiaqi Leng;Tongyang Li;Jin;Chenyi Zhang
通讯作者：
Chenyi Zhang

Hamiltonian Simulation with Random Inputs

随机输入的哈密顿模拟

DOI：
10.1103/physrevlett.129.270502
发表时间：
2022-12
期刊：
Physical Review Letters
影响因子：
8.6
作者：
Zhao, Qi;Zhou, You;Shaw, Alexander F.;Li, Tongyang;Childs, Andrew M.
通讯作者：
Childs, Andrew M.

Tweezer-programmable 2D quantum walks in a Hubbard-regime lattice

哈伯德晶格中镊子可编程的二维量子行走

DOI：
10.1126/science.abo0608
发表时间：
2022-02-02
期刊：
Science
影响因子：
56.9
作者：
A. Young;William J. Eckner;N. Schine;Andrew M. Childs;A. Kaufman
通讯作者：
A. Kaufman

Quantum routing with fast reversals

具有快速反转的量子路由

DOI：
10.22331/q-2021-08-31-533
发表时间：
2021-08
期刊：
Quantum
影响因子：
6.4
作者：
Bapat, Aniruddha;Childs, Andrew M.;Gorshkov, Alexey V.;King, Samuel;Schoute, Eddie;Shastri, Hrishee
通讯作者：
Shastri, Hrishee

Quantum-accelerated multilevel Monte Carlo methods for stochastic differential equations in mathematical finance

数学金融中随机微分方程的量子加速多级蒙特卡罗方法

DOI：
10.22331/q-2021-06-24-481
发表时间：
2021-06
期刊：
Quantum
影响因子：
6.4
作者：
An, Dong;Linden, Noah;Liu, Jin;Montanaro, Ashley;Shao, Changpeng;Wang, Jiasu
通讯作者：
Wang, Jiasu