QII-TAQS: Simulating Entangled Quantum Chemical Abstract Machines

质子和电子的耦合量子力学行为在许多对人类生存至关重要的化学催化反应中起着中心作用。该项目的一个关键部分将涉及将复杂化学催化问题的量子力学描述映射到一种专门类型的量子计算机上，即离子阱量子模拟器。这张地图将用于开发量子软件和特定领域的计算工具。这些工具的灵感来自于一种流行且有影响力的计算模型，即化学抽象机。该研究项目将设计、构建和验证具有各种现有量子算法的通用编程模型的有效性，并将这些模型应用于化学催化问题。更广泛的影响包括新的量子科学指导的研究生、本科生和博士后在物理、化学和计算机科学方面的培训计划。此外，还将为本地初高中科学教师举办量子科学暑期工作坊。包括妇女在内的代表性不足的群体将被招募到计算和物理科学领域。将开发一个集成的量子模拟生态系统，包括数学描述，计算实现和化学催化中具有挑战性的量子问题的实验实现。这包括一个集成的特定领域的编程范例，一个量子模拟器，以及相关的量子算法，以促进映射，从而研究复杂的化学催化问题。耗散分子系统浴哈密顿量将被映射到离子晶格量子模拟器哈密顿量。这将用于开发基于化学抽象机的量子软件，在量子模拟器上对一组合成质子耦合电子转移（PCET）问题产生的耦合电子-质子态的时间演化进行编程。量子模拟的验证将通过一组分子内PCET平台的模块化实验研究以及在较小模型系统上的量子动力学和电子结构计算相结合来进行。本项目由量子飞跃大创意计划和数学与物理科学理事会化学处共同资助。该奖项反映了美国国家科学基金会的法定使命，并通过使用基金会的知识价值和更广泛的影响审查标准进行评估，被认为值得支持。

The coupled quantum-mechanical behavior of protons and electrons has a central role in many chemical catalytic reactions that are fundamental to human existence. A critical portion of this project will involve the mapping of the quantum mechanical descriptions of complex chemical catalysis problems to a specialized type of quantum computer, known as an ion-trap quantum simulator. This map will be used to develop quantum software and domain-specific computing tools. These tools are inspired by a popular and influential model of computation, known as the chemical abstract machine. The research project will design, build, and validate the effectiveness of a general programming model with a variety of existing quantum algorithms and applying the models to problems in chemical catalysis. Broader impacts include new quantum science directed graduate, undergraduate, and postdoctoral training initiatives in physics, chemistry, and computer science. Furthermore, summer workshops on quantum science for local middle- and high- school science teachers will also be initiated. Underrepresented groups, including women, will be recruited into computational and physical sciences.An integrated quantum simulation ecosystem that includes a mathematical description, a computational implementation, and an experimental realization of a challenging quantum problem in chemical catalysis will be developed. This includes an integrated domain-specific programming paradigm, a quantum simulator, and associated quantum algorithms that facilitate the mapping and consequently the study of complex chemical catalysis problems. Dissipative molecular system-bath Hamiltonians will be mapped to ion-lattice quantum simulator Hamiltonians. This will be used to develop chemical abstract machine-based quantum software to program the time evolution of coupled electron-proton states arising from a set of synthetic proton-coupled electron transfer (PCET) problems on the quantum simulator. The validation of quantum simulation will be conducted through the experimental investigations of a modular set of intramolecular PCET platforms and a combination of quantum dynamics and electronic structure calculations on the smaller model systems. This project is jointly funded by Quantum Leap Big Idea Program and the Division of Chemistry in the Mathematical and Physical Sciences Directorate.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.