Preparing Hamiltonians for Quantum Simulation: A Computational Framework for Cartan Decomposition via Lax Dynamics

为量子模拟准备哈密顿量：通过 Lax 动力学进行嘉当分解的计算框架

• 批准号: 2309376
• 负责人: Moody Chu
• 金额: $ 40万
• 依托单位: North Carolina State University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2023
• 资助国家: 美国
• 起止时间: 2023-09-01 至 2026-08-31
• 项目状态: 未结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2309376&HistoricalAwards=false
• 关键词: Preparing; Hamiltonians; Quantum; Simulation; Computational

The juxtaposition of Feynman's conjecture that, “if we could build a quantum simulator at our disposal, composed of spin-½ particles that we could manipulate at will, then we would be able to engineer the interaction between those particles according to the one we want to simulate, and thus predict the value of physical quantities by simply performing the appropriate measurements on the quantum simulator,” and Lloyd's article in Science affirming that, “quantum computers can be programmed to simulate any local quantum system,” evinces the profound gravity of the Hamiltonian simulation problem and its applications. To prepare for such a simulation, it is essential to convert the unitary operators described mathematically to the unitary operators recognizable as quantum circuits, yet most current techniques are prone to approximation errors which affect the simulation authenticity. This project tackles the difficulties from an innovative avenue of the Cartan decomposition via the Lax dynamics. Not only is this process numerically feasible, but also produces a genuine unitary synthesis that is optimal in both the precision and the usage of minimally required synthesis components. This project aims to establish theoretic and algorithmic foundations and develop numerical methods. Upon completion, the theory and the experiments are expected to find applicability extending from quantum simulation to other areas such as gauging the quality of other approaches or evaluating the robustness of a given system. The gains from this work will solidify the many studies under one standard framework. Preliminary results show promising potential of this project. Training of at least one graduate student on the topics of the project is expected.To simulate the time evolution of a quantum system on a classical computer is hard - The computational power required to even describe a quantum system scales exponentially with the number of its constituents, let alone integrate its equations of motion. Hamiltonian simulation on a quantum machine is a possible solution to this challenge - Assuming that a quantum system composing of spin-½ particles can be manipulated at will, then it is tenable to engineer the interaction between those particles according to the one that is to be simulated, and thus predict the value of physical quantities by simply performing the appropriate measurements on the system. Establishing a linkage between the unitary operators described mathematically as a logic solution and the unitary operators recognizable as quantum circuits for execution is therefore essential for algorithm design and circuit implementation. Most current techniques are prone to approximation errors. This project is to tackle the Cartan decomposition via the notion of Lax dynamics, which not only is numerically feasible, but also produces a genuine unitary synthesis that is optimal in both the precision with controllable integration errors and the usage of only minimally required synthesis components. This project aims at establishing theoretic and algorithmic foundations of the goals: 1) exploit the geometric properties of Hamiltonian subalgebras; 2) describe a common mechanism for deriving the Lax dynamics; 3) develop a decomposition-based quantum algorithm; and 4) experiment the algorithm on the IBM Quantum Hub systems. Six specific tasks will be undertaken to derive the theory and numerical methods to reach these goals. Upon completion, the theory and the experiments are expected to find applicability extending from quantum simulation to many-body problem, and to various research endeavors in quantum information science.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.

费曼猜想的并置是：“如果我们能够构建一个由我们随意操纵的量子模拟器，由我们可以随意操纵的自旋 1/2 粒子组成，那么我们就能够根据我们想要的方式设计这些粒子之间的相互作用通过简单地在量子模拟器上执行适当的测量来模拟，从而预测物理量的值，”劳埃德在《科学》杂志上的文章确认，“量子计算机可以被编程来模拟任何本地量子系统，”证明哈密​​顿模拟问题及其应用的深刻重要性为了准备这种模拟，必须将数学描述的酉算子转换为被认为是量子电路的酉算子，但大多数现有技术容易出现影响计算的近似误差。该项目通过 Lax 动力学解决了嘉当分解的创新途径的困难，该过程不仅在数值上可行，而且产生了在精度和最低要求的使用方面均最佳的真正的单一综合。该项目旨在建立理论和算法基础并开发数值方法，预计该理论和实验的适用性将从量子模拟扩展到其他领域，例如衡量其他方法的质量或评估方法的稳健性。这项工作的成果将巩固在一个标准框架下的许多研究，预计该项目将培训至少一名研究生。一个量子系统经典计算机很难 - 描述量子系统所需的计算能力随其组成部分的数量呈指数级增长，更不用说将其运动方程整合到量子机器上是解决这一挑战的可能解决方案 - 假设量子。如果我们可以随意操纵由自旋 1/2 粒子组成的系统，那么就可以根据要模拟的粒子来设计这些粒子之间的相互作用，从而通过简单地对系统进行适当的测量来预测物理量的值。系统。建立一个因此，数学上描述为逻辑解决方案的酉算子与被视为执行量子电路的酉算子之间的联系对于算法设计和电路实现至关重要，该项目旨在通过以下方法解决嘉当分解问题。 Lax 动力学的概念，它不仅在数值上可行，而且还产生了真正的单一综合，该综合在具有可控积分误差的精度和仅使用最少所需的综合组件方面都是最佳的。目标的算法基础：1) 利用哈密顿子代数的几何特性；2) 描述导出 Lax 动力学的通用机制；3) 开发基于分解的量子算法；4) 在 IBM Quantum Hub 系统上实验该算法将开展六项具体任务来推导出实现这些目标的理论和数值方法。完成后，理论和实验预计将适用于从量子模拟到多体问题以及各种研究工作。这反映了 NSF 的法定使命，并且通过使用基金会的智力价值和更广泛的影响审查标准进行评估，被认为值得支持。