量子场是物理世界的基本组成部分,它描述所有能量尺度上的物质量子多体系统以及电磁辐射和引力辐射。量子场工程实现了前所未有的测量灵敏度,典型案例是利用压缩光将激光干涉引力波天文台 (LIGO) 的本底噪声降低到散粒噪声极限以下 [1]。在连续变量 (CV) 量子场(又称量子模(代替离散变量 (DV) 量子位))中对量子信息进行编码,已经实现了数百万个量子模上的多体纠缠。这种规模在任何量子位架构中都是无与伦比的,它为量子计算、量子通信和量子传感定义了新的视野和范式。基于量子模式的纳米光子集成设备有可能超越基于量子比特的噪声中型量子 (NISQ) [ 2 ] 计算设备的性能,从而定义未来的量子技术。量子模式的自然实现是使用量子光,这也适用于传感 [ 3 – 6 ] 和通信。
摘要 我们介绍了一种基于量子虚时间演化 (QITE) 有效解决 MaxCut 问题的方法。我们采用线性 Ansatz 进行幺正更新和不涉及纠缠的初始状态,以及在给定图和切除两个边的子图之间插值的虚时间相关哈密顿量。我们将该方法应用于数千个随机选择的图,最多有 50 个顶点。我们表明,对于所有考虑的图,我们的算法表现出 93% 及以上的性能,可以收敛到 MaxCut 问题的最大解。我们的结果与贪婪算法和 Goemans-Williamson 算法等经典算法的性能相比毫不逊色。我们还讨论了 QITE 算法的最终状态与基态的重叠作为性能指标,这是其他经典算法所不具备的量子特征。
我们介绍了一种基于量子虚时间演化 (QITE) 高效解决 MaxCut 问题的方法。我们采用线性 Ansatz 进行幺正更新和不涉及纠缠的初始状态,以及在给定图和切除两个边的子图之间插值的虚时间相关哈密顿量。我们将该方法应用于数千个随机选择的图,最多有 50 个顶点。我们表明,对于所有考虑的图,我们的算法表现出 93% 及以上的性能,收敛到 MaxCut 问题的最大解。我们的结果与经典算法(例如贪婪算法和 Goemans-Williamson 算法)的性能相比毫不逊色。我们还讨论了 QITE 算法的最终状态与基态的重叠作为性能指标,这是其他经典算法所不具备的量子特征。
摘要:在本研究中,我们探索了 (1+1) 维 QED(大规模 Schwinger 模型)中有限温度下手性磁效应 (CME) 的实时动态。通过在淬火过程中引入手性化学势 µ 5,我们使系统失去平衡,并分析感应矢量电流及其随时间的变化。修改了哈密顿量以包括时间相关的手性化学势,从而允许在量子计算框架内研究 CME。我们采用量子虚时间演化 (QITE) 算法来研究热状态,并利用 Suzuki-Trotter 分解进行实时演化。这项研究深入了解了用于建模 CME 的量子模拟能力,并为研究低维量子场论中的手性动力学提供了途径。
用于模拟热平衡量子多体系统的可扩展量子算法对于预测有限温度下量子物质的性质非常重要。在这里,我们描述并测试了最小纠缠典型热态 (METTS) 算法的量子计算版本,我们采用自适应变分方法来执行所需的量子虚时间演化。我们将该算法命名为 AVQMETTS,它动态生成紧凑且针对特定问题的量子电路,适用于嘈杂的中尺度量子 (NISQ) 硬件。我们在状态向量模拟器上对 AVQMETTS 进行基准测试,并对一维和二维中的可积和不可积量子自旋模型进行热能计算,并展示了电路复杂性的近似线性系统尺寸缩放。我们进一步绘制了二维横向场 Ising 模型的有限温度相变线。最后,我们使用现象学噪声模型研究噪声对 AVQMETTS 计算的影响。
在当前嘈杂的中等规模量子 (NISQ) 体制下,人们设计了各种算法来取得实用的量子优势。这些 NISQ 算法大多数都是变分的,即基于变分定理。变分量子算法 (VQA) 17,18 可以通过将不需要量子属性的计算卸载到传统计算机上来显著减少量子电路深度。这个想法自然而然地源于尽可能少地使用量子计算机。VQA 是启发式的,依赖于一个按照某种方案进行优化的拟定电路。VQA 的一个相当大的缺点是这个优化过程需要许多测量,这个因素可能会限制或消除获得实用量子优势的机会。14 尽管存在这个缺点,但由于与当前硬件限制有关的原因,VQA 是迄今为止研究最多的量子算法类型。变分量子特征值求解器 (VQE) 19,20 是最著名的 VQA。然而,其他方法,如变分量子虚时间演化 (VarQITE),也是有竞争力的替代方案。21
摘要:有限温度下量子场的热性质对于理解强相互作用物质至关重要,量子计算的最新发展提供了一条替代且有前途的研究途径。在这项工作中,我们使用量子算法研究仅涉及费米子的热场理论。我们首先深入研究数字量子计算机上通过量子比特呈现的费米子场,以及用于评估一般量子场论热性质的量子算法,例如量子虚时间演化。具体来说,我们使用量子模拟器展示了 1+1 维马约拉纳费米子热场理论的数值结果,例如热分布和能量密度。除了自由场理论,我们还研究了与空间均匀马约拉纳场耦合产生的相互作用的影响。在这两种情况下,我们都通过分析表明系统的热性质可以用相空间分布来描述,量子模拟结果符合分析和半经典期望。我们的工作是理解热不动点的重要一步,为实时热化的量子模拟做好准备。
随着量子器件和量子算法的发展,量子计算机可以解决经典计算机难以解决的问题。量子计算机已经成功应用于量子化学、凝聚态物理和格子场论等许多领域(例如参见参考文献 [ 1 – 7 ])。随着量子比特数量的增加和量子器件保真度的提高,我们可以处理更现实的物理模型,探索量子计算机的潜力。作为一个应用示例,本文用量子算法在不同温度下准备 Ising 模型的热态,包括接近临界温度和低温区域的点。为了证明我们方法的可行性,我们将所选物理量的量子模拟结果与经典模拟结果进行了比较。已经提出了许多算法来使量子计算机能够准备热态。这些方法包括量子热动力学方法,其中目标系统与处于平衡状态的溶液耦合 [8];基于热场双态的变分量子算法 [9,10];以及许多量子虚时间演化 (QITE) 算法,例如利用 Hubbard-Stratonovich 变换的算法 [11]、基于变分假设的 QITE (QITE-ansatz) [12]、基于测量的 QITE (QITE-measure) [13],以及通过执行坐标优化的 QITE [14]。我们的研究范围集中在有噪声的中尺度量子 (NISQ) 设备的使用 [15,16]。考虑到量子
使用经典计算获得组合优化问题的精确解需要耗费大量的计算资源。该领域的现行原则是量子计算机可以更有效地解决这些问题。虽然有前景的算法需要容错量子硬件,但变分算法已经成为近期设备的可行候选者。这些算法的成功取决于多种因素,其中假设的设计至关重要。众所周知,量子近似优化算法(QAOA)和量子退火等流行方法存在绝热瓶颈,导致电路深度或演化时间更长。另一方面,虚时间演化的演化时间受哈密顿量的逆能隙所限制,对于大多数非关键物理系统来说,该能隙是常数。在这项工作中,我们提出了受量子虚时间演化的启发的虚哈密顿变分假设(i HVA)来解决 MaxCut 问题。我们引入了参数化量子门的树形排列,从而能够使用一轮 i HVA 精确解决任意树形图。对于随机生成的 D 正则图,我们通过数值证明 i HVA 以较小的常数轮数和亚线性深度解决了 MaxCut 问题,优于 QAOA,后者需要轮数随图大小而增加。此外,我们的假设可以精确解决最多 24 个节点且 D ≤ 5 的图的 MaxCut,而经典的近最优 Goemans-Williamson 算法只能得出近似解。我们通过硬件演示在具有 67 个节点的图上验证了我们的模拟结果。
试图在大型系统上达到完全精确度显然面临着所谓的“指数墙”,这限制了最精确方法对更复杂的化学系统的适用性。到目前为止,用经典超级计算机执行的最大计算量也只包括数百亿个行列式 4 ,有 20 个电子和 20 个轨道,随着大规模并行超级计算机架构的进步,希望在不久的将来解决接近一万亿个行列式(24 个电子、24 个轨道)的问题。5 鉴于这些限制,必须使用其他类别的方法来近似更大的多电子系统的基态波函数。它们包括:(i) 密度泛函理论 (DFT),它依赖于单个斯莱特行列式的使用,并且已被证明非常成功,但无法描述强关联系统 6 – 8 ; (ii) 后 Hartree - Fock 方法,例如截断耦合团簇 (CC) 和组态相互作用 (CI) 方法,即使在单个 Slater 行列式之外仍然可以操作,但由于大尺寸分子在 Slater 行列式方面的计算要求极高,因此不能应用于大尺寸分子。9 – 16 一个很好的例子是“黄金标准”方法,表示为耦合团簇单、双和微扰三重激发 CCSD(T)。事实上,CCSD(T) 能够处理几千个基函数,但代价是巨大的运算次数,而这受到大量数据存储要求的限制。17 无论选择哪种化学基组(STO-3G、6-31G、cc-pVDZ、超越等),这些方法都不足以对大分子得出足够准确的结果。 Feynman 18,19 提出的一种范式转变是使用量子计算机来模拟量子系统。这促使社区使用量子计算机来解决量子化学波函数问题。直观地说,优势来自于量子计算机可以比传统计算机处理“指数级”更多的信息。20 最近的评论提供了有关开发专用于量子化学的量子算法的策略的背景材料。这些方法包括量子相位估计(QPE)、变分量子特征值求解器(VQE)或量子虚时间演化(QITE)等技术。21 – 24 所有方法通常包括三个关键步骤:(i)将费米子汉密尔顿量和波函数转换为量子位表示;(ii)构建具有一和两量子位量子门的电路;(iii)使用电路生成相关波函数并测量给定汉密尔顿量的期望值。重要的是,目前可用的量子计算机仍然处于嘈杂的中型量子(NISQ)时代,并且受到两个主要资源的限制: