WikiEdge:ArXiv-2310.02243

本文的基本信息如下：

编辑

• 标题：Learning quantum Hamiltonians at any temperature in polynomial time
• 中文标题：在多项式时间内学习任意温度下的量子哈密顿量
• 发布日期：2023-10-03 17:50:26+00:00
• 作者：Ainesh Bakshi, Allen Liu, Ankur Moitra, Ewin Tang
• 分类：quant-ph, cs.DS, cs.LG
• 原文链接：http://arxiv.org/abs/2310.02243

摘要：我们研究了在已知逆温度 $\beta>0$ 的情况下，给定其 Gibbs 状态 $\rho = e^{-\beta H}/\textrm{tr}(e^{-\beta H})$ 的局部量子哈密顿量 $H$ 的学习问题。Anshu、Arunachalam、Kuwahara 和 Soleimanifar（arXiv:2004.07266）提出了一种算法，可以在多项式数量的 Gibbs 状态 副本下，以精度 $\epsilon$ 学习 $n$ 个量子比特的哈密顿量，但该算法的运行时间是指数级的。获得一个计算上高效的算法一直是一个主要的开放问题 Alhambra'22 (arXiv:2204.08349), Anshu, Arunachalam'22 (arXiv:2204.08349)，之前的工作仅在高温 Haah, Kothari, Tang'21 (arXiv:2108.04842) 或可交换项的有限情况下解决了这个问题 Anshu, Arunachalam, Kuwahara, Soleimanifar'21。我们完全解决了这个问题，给出了一个多项式时间算法，可以从多项式数量的 Gibbs 状态 副本中，以精度 $\epsilon$ 学习哈密顿量 $H$，适用于任何常数 $\beta > 0$。我们主要的技术贡献是对指数函数的新平坦多项式近似，以及多变量标量多项式与嵌套对易子的转换。这使我们能够将哈密顿量学习表述为一个多项式系统。然后我们展示，解决这个多项式系统的低度和平方和松弛足以准确学习哈密顿量。

章节摘要

编辑

本文研究了在已知逆温度β > 0的情况下，如何从其吉布斯态ρ = e^(-βH) / tr(e^(-βH))的副本中学习局部量子哈密顿量H的问题。我们提出了一个多项式时间算法，可以在任何恒定的β > 0下，从多项式数量的吉布斯态副本中学习H到精度ε。我们的主要技术贡献是一个新的对数多项式近似，以及多变量标量多项式和嵌套对易子之间的转换。这使我们能够将哈密顿量学习表述为一个多项式系统。然后我们展示了解决这个多项式系统的低度和平方和松弛足以准确学习哈密顿量。

研究背景

编辑

这篇文献的背景主要集中在以下几个方面：

1. 量子计算与量子系统控制的重要性：
   • 量子计算的发展引发了对量子系统规模和控制能力提升的极大兴趣，这伴随着对更好算法的需求，以表征和验证这些系统。
   • 量子系统的控制和验证是实现量子技术应用的关键，例如在凝聚态物理中研究拓扑序和超导性等现象。
2. 哈密顿量学习问题：
   • 哈密顿量学习是量子系统控制中的一个核心计算任务，目标是从测量中估计物理属性，即相互作用强度。
   • 该问题在低温下特别重要，因为量子现象在零或近零温度下最为显著，而传统的高温级数展开在低温下失败。
3. 低温下哈密顿量学习的挑战：
   • 尽管哈密顿量学习的重要性，但如何从吉布斯态中学习哈密顿量在计算上并不被充分理解，尤其是在低温下。
   • 先前的工作仅在高温或具有对易项的有限情况下提供了快速算法，而在低温下，所有已知方法都遭遇了失败。

综上所述，这篇文献的背景强调了在量子系统控制和验证领域中，特别是在低温条件下，对有效哈密顿量学习算法的需求，以及现有方法的局限性。作者提出了一种新的多项式时间算法，能够在任何恒定的反温度下，从多项式数量的吉布斯态副本中学习哈密顿量。

问题与动机

编辑

作者面对的是量子系统控制和验证领域中，特别是在学习量子哈密顿量（Hamiltonian）的问题。具体问题包括：

1. • 计算复杂性：从吉布斯态（Gibbs state）中学习哈密顿量是一个计算上非常复杂的问题，尤其是在低温（低β）情况下，现有的算法无法在多项式时间内完成。
   • 低温学习问题：在低温下，量子现象最为显著，但这也是量子模拟器和量子设备验证中最具挑战性的部分，因为高温下的算法无法直接应用于低温情况。

研究方法

编辑

这篇研究论文的工作方法主要围绕量子哈密顿量学习问题展开，提出了一种在多项式时间内有效学习量子哈密顿量的算法。以下是这部分的主要内容：

1. 问题定义：
   • 定义了量子哈密顿量学习问题，即给定量子系统的吉布斯态（Gibbs state），目标是估计系统的哈密顿量，特别是其中的相互作用强度。
2. 算法设计：
   • 提出了一种新的多项式近似方法来近似指数函数，这是算法的关键技术贡献之一。
   • 介绍了一种将多变量标量多项式与嵌套对易子（nested commutators）相互转换的方法，使得哈密顿量学习问题可以被表述为一个多项式系统。
   • 展示了通过求解这个多项式系统的低度和平方和（sum-of-squares）松弛，可以准确学习哈密顿量。
3. 技术贡献：
   • 开发了一种新的多项式近似方法，用于近似量子算符的演化，这对于处理量子系统的非局部相关性至关重要。
   • 引入了一种新的系统约束，通过测量稍微不那么局部的可观测量的期望值来验证这些约束。
   • 利用和平方和框架（sum-of-squares framework）来设计一个有效的算法，该算法基于半定规划（semidefinite programming）。
4. 算法分析：
   • 证明了所提出的算法在多项式时间内运行，并能够以高概率准确估计哈密顿量的系数。
   • 讨论了算法的可行性，即证明了多项式系统是可行的，并且任何可行解都必须接近真实的哈密顿量。
   • 通过和平方和证明（sum-of-squares proofs），展示了算法的识别能力，即能够从多项式约束中准确地估计出哈密顿量的系数。

研究结论

编辑

根据提供的文献内容，这篇论文的主要结论可以概括如下：

1. 提出了一种新的量子哈密顿量学习算法：作者提出了一种新的算法，能够在多项式时间内从多项式数量的吉布斯态样本中学习局部量子哈密顿量H，对于任何常数β > 0，都能达到精度ε。
2. 算法的效率和精确度：该算法利用了新的多项式近似技术和多项式系统，能够在多项式时间内准确估计哈密顿量的系数，即使在低温（大β值）下也有效。
3. 解决了低温下哈密顿量学习的难题：论文中提出的算法解决了在低温下量子哈密顿量学习的问题，这是一个在量子计算和量子物理领域长期存在的难题。
4. 对量子系统验证和理解的重要性：该算法对于理解和验证量子系统，特别是在低温下表现出的宏观量子现象，提供了重要的工具。
5. 多项式近似和半定规划的应用：论文展示了如何通过构建新的多项式近似和利用半定规划来解决量子哈密顿量学习问题，为量子信息科学领域提供了新的视角和方法。

术语表

编辑

这篇文章的术语表如下：

• 量子哈密顿量（Quantum Hamiltonian）：量子哈密顿量是量子系统中描述粒子间相互作用的算符，通常用来表示系统的总能量。
• 吉布斯态（Gibbs state）：吉布斯态是量子系统中在特定温度下热平衡时的量子态，由哈密顿量和温度参数化。
• 局部算符（Local operator）：局部算符是指作用在量子系统的一部分子系统上的算符，其影响局限于系统的某个局部区域。
• 对数划分函数（Log-partition function）：对数划分函数是量子统计物理中用于描述系统热性质的一个函数，与系统的自由能相关。
• 高斯态（Gaussian state）：高斯态是量子信息中一类具有高斯Wigner函数的量子态，常用于描述连续变量量子系统。
• 谱分解（Eigendecomposition）：谱分解是将算符分解为其特征值和特征向量的过程，是量子力学中分析算符性质的重要工具。
• 嵌套对易子（Nested commutator）：嵌套对易子是连续对易运算的结果，用于描述算符之间的非对易关系及其对量子态的影响。
• 多项式近似（Polynomial approximation）：多项式近似是用多项式函数来近似复杂函数的方法，常用于量子算法中简化计算。
• 半定规划（Semidefinite programming）：半定规划是一种数学优化方法，用于求解线性矩阵不等式约束下的优化问题。
• 和平方和框架（Sum-of-squares framework）：和平方和框架是一种用于解决多项式优化问题的算法框架，通过将问题转化为半定规划问题来求解。