WikiEdge:ArXiv-2403.12691
本文的基本信息如下：
- 标题：Efficient thermalization and universal quantum computing with quantum Gibbs samplers
- 中文标题：高效热化和通用量子计算与量子吉布斯采样器
- 发布日期：2024-03-19 12:49:25+00:00
- 作者：Cambyse Rouzé, Daniel Stilck França, Álvaro M. Alhambra
- 分类：quant-ph, math-ph, math.MP
- 原文链接：http://arxiv.org/abs/2403.12691
摘要：制备物质的热态是量子模拟中的一项关键任务。在这项工作中，我们证明了一种最近提出的、可高效实现的耗散演化在足够高的温度下，以与系统大小多项式相关的时间热化到吉布斯态，并且适用于任何满足 Lieb-Robinson 界限的哈密顿量，例如晶格上的局部哈密顿量。此外，我们展示了相关纯化态或“热场双态”的高效绝热制备。根据我们所知，这些是首次严格建立高温吉布斯态及其纯化态高效制备的结果。在低温区间，我们表明，对于系统大小对数的逆温度，实施这一类耗散演化在多项式上等价于标准量子计算。在技术层面上，对于高温，我们的证明利用了将演化生成元映射为哈密顿量，然后将其作为无限温度哈密顿量的微扰进行分析。对于低温，我们则在固定运行时间下对能量可观测量的拉普拉斯变换进行零温度的微扰，并借助于电路到哈密顿量的映射，类似于量子绝热计算的普适性证明。综合来看，我们的结果表明，一类准局部的耗散演化能够高效地制备一大类量子多体态，并有潜力反映经典蒙特卡洛方法在量子多体系统中的成功。
章节摘要
本文研究了量子吉布斯采样器在量子计算中的应用，特别是在高温度和低温度条件下的效率。主要内容包括：
- 引言：介绍了马尔可夫链蒙特卡洛（MCMC）方法在经典吉布斯状态（GS）抽样中的应用，并讨论了将这些方法扩展到量子系统的挑战。本文探讨了量子算法在高温度和低温度条件下的效率。
- 量子吉布斯采样：回顾了最近提出的量子蒙特卡洛算法的生成器，并分析了其在不同温度下的效率。
- 高温度量子吉布斯采样器的谱间隙：证明了在足够高的温度下，所提出的耗散演化在多项式时间内有效地热化到吉布斯状态，并为任何满足李-罗宾逊界限的哈密顿量（如格点上的局域哈密顿量）提供了谱间隙的下界。
- 高温度下的绝热准备纯化吉布斯状态：展示了如何通过绝热路径从β=0开始，有效地准备纯化吉布斯状态或热场双态。
- 零温度吉布斯采样和通用量子计算：在接近零温度的条件下，证明了吉布斯采样器能够在多项式时间内达到与BQP困难哈密顿量的基态具有多项式重叠的状态。此外，证明了BQP、AdiabQP和GibbsQP等复杂性类别的等价性。
- 结论：本文首次证明了高温度吉布斯状态及其纯化的有效耗散准备，并展示了在适度温度下，Lindbladian演化的类别是BQP完全的。这些结果表明，量子吉布斯采样器有潜力在量子多体系统中复制经典MCMC方法的成功。
研究背景
这篇文献的背景主要集中在以下几个方面：
- 量子模拟中热态的准备：
- 在量子模拟中，制备物质的热态是一个关键任务。Markov Chain Monte Carlo (MCMC) 方法是用于从经典Gibbs态（GS）中抽样的常用工具，它们在实践中表现出效率，并且在某些情况下，如在高温下，已被证明是有效的。
- 然而，将这些算法扩展到量子系统一直是一个巨大的挑战。尽管进行了大量研究，但能够进行（准）局部更新并且能够证明收敛到量子GS的通用量子算法一直难以实现，直到最近的研究突破。
- 量子Gibbs采样器的提出：
- 最近提出的量子算法展示了其在有效准备量子态方面的能力。研究者们探讨了高温和低温两种情况。在高温情况下，证明了当温度高于某个恒定阈值时，Lindbladians 能够高效地收敛到GS，适用于所有满足Lieb-Robinson界限的哈密顿量，包括格点上的局部哈密顿量。
- 这些结果是首次严格建立的，证明了在量子计算机上有效准备高温Gibbs态及其纯化态。在低温情况下，证明了对于β = Ω(log(n))的逆温度，实现这类耗散演化与标准量子计算在多项式等价。
- 量子计算与量子热化过程的关联：
综上所述，这篇文献的背景强调了在量子计算和量子模拟领域中，通过量子Gibbs采样器有效制备量子多体态的潜力，以及其在量子热化和量子算法设计中的重要性。
问题与动机
作者面对的是量子计算和量子模拟领域中，特别是在量子热化和量子态准备方面的挑战。具体问题包括：
- 高效量子热化问题：在量子系统中，如何有效地实现从任意初始状态到热平衡态（即量子Gibbs态）的转换，这对于量子模拟和量子计算中的算法效率至关重要。
- 量子Gibbs态及其纯化态的高效准备：在量子计算中，需要找到一种方法能够在多项式时间内高效地准备出高温量子Gibbs态及其纯化态（或称热场双态），这对于量子算法的实现和量子模拟的准确性具有重要意义。
- 量子计算的普适性：探索量子Gibbs采样器在量子计算中的普适性，即证明其能够实现与通用量子电路模型等价的计算能力，特别是在低温度极限下。
研究方法
本研究的工作方法主要围绕量子吉布斯采样器（Quantum Gibbs Samplers）的高效热化和量子计算能力展开。以下是这部分的主要内容：
- 量子吉布斯采样：
- 高效热化：
- 谱间隙分析：
- 通过将演化生成器映射到哈密顿量，并分析其作为无限温度哈密顿量的微扰，证明了在高温下量子吉布斯采样器的谱间隙是恒定的。
- 低温下的量子计算：
- 展示了在低温区，实现具有系统大小对数倒数温度的耗散演化与标准量子计算在多项式时间内等价，从而为量子计算提供了一种新的途径。
- 量子热场双态（Thermofield Double）的制备：
- 量子计算的普适性：
研究结论
根据提供的文献内容，这篇论文的主要结论可以概括如下：
- 高效率的热化与量子吉布斯采样器: 论文证明了一种最近提出的、可高效实现的耗散演化能够在多项式时间内将系统热化到吉布斯态，这适用于足够高的温度以及满足Lieb-Robinson界限的任何哈密顿量，例如格点上的局域哈密顿量。
- 高温度吉布斯态及其纯化态的高效制备: 论文展示了在高温情况下，对于任意满足Lieb-Robinson界限的哈密顿量，Lindbladians能够高效地收敛到吉布斯态。此外，论文还展示了与热场双重态相关的纯化态的高效绝热制备。
- 低温下的吉布斯采样与通用量子计算: 在低温情况下，论文证明了实现β = Ω(log(n))的Lindbladians可以等价于标准量子计算模型，这意味着在低温下，通过适当选择的滤波函数，可以快速达到与BQP难题哈密顿量的基态具有多项式重叠的状态。
- GibbsQP模型的提出与BQP等价性证明: 论文提出了GibbsQP模型，这是一类通过测量与(k, l)-局域哈密顿量相关的多项式大小的吉布斯采样器输出的任意5量子比特可观测量来决定的决策问题类。论文证明了BQP、AdiabQP和GibbsQP之间的等价性。
这些结论展示了量子吉布斯采样器在量子多体系统中的应用潜力，并为量子模拟和量子计算提供了新的工具和理论基础。
术语表
这篇文章的术语表如下：
- 量子蒙特卡洛算法（Quantum Monte Carlo algorithm）：一种用于量子系统的数值算法，通过随机采样来近似量子系统的物理量。
- 量子吉布斯采样（Quantum Gibbs Sampling）：一种量子算法，用于从量子系统的吉布斯态（Gibbs state）中进行采样。
- 量子热化（Quantum Thermalization）：量子系统通过与环境的相互作用达到热平衡的过程。
- 量子态制备（Quantum State Preparation）：在量子计算中，根据特定算法或过程，将量子系统制备到期望的量子态。
- 量子相变（Quantum Phase Transition）：在量子系统中，当系统参数变化时，系统可能发生从一种相到另一种相的转变，即使温度保持不变。
- 量子退火（Quantum Annealing）：一种量子计算方法，通过模拟量子系统的物理过程来寻找问题的最优解。
- 量子门（Quantum Gate）：在量子计算中，量子门是操作量子比特的基本逻辑单元，用于实现量子态的变换。
- 量子纠缠（Quantum Entanglement）：量子态的一种特性，指两个或多个量子系统之间存在的一种非经典关联。
- 量子比特（Qubit）：量子计算中的基本信息单位，可以表示为量子态的叠加。
- 量子算法（Quantum Algorithm）：在量子计算机上执行的算法，利用量子力学的原理来解决计算问题。