[论文解读] Quantum many-body systems in thermal equilibrium

Álvaro M. Alhambra|arXiv (Cornell University)|Apr 18, 2022

Advanced Thermodynamics and Statistical Mechanics参考文献 171被引用 6

一句话总结

本文提供了关于热平衡下量子多体系统的严格、基于数学的教程，聚焦于局部哈密顿量。它运用量子信息理论工具，建立了普遍性质——如关联衰减、面积律和算法复杂性，证明了相互作用的局域性从根本上限制了热态的物理行为和计算可处理性。

ABSTRACT

The thermal or equilibrium ensemble is one of the most ubiquitous states of matter. For models comprised of many locally interacting quantum particles, it describes a wide range of physical situations, relevant to condensed matter physics, high energy physics, quantum chemistry and quantum computing, among others. We give a pedagogical overview of some of the most important universal features about the physics and complexity of these states, which have the locality of the Hamiltonian at its core. We focus on mathematically rigorous statements, many of them inspired by ideas and tools from quantum information theory. These include bounds on their correlations, the form of the subsystems, various statistical properties, and the performance of classical and quantum algorithms. We also include a summary of a few of the most important technical tools, as well as some self-contained proofs.

研究动机与目标

• 提供一个教学性强、数学严谨的关于热平衡下量子多体系统普遍性质的概述。
• 研究哈密顿量中相互作用的局域性如何限制物理行为和计算复杂性。
• 将量子信息理论中的概念与统计力学相衔接，强调严格的界限和证明。
• 阐明经典与量子算法在模拟热态方面的性能与局限性。
• 解决多体系统中热化、强耦合和系综等价性方面的开放问题。

提出的方法

• 以吉布斯态形式 $ \rho_\beta = e^{-\beta H}/Z $ 作为热平衡的核心模型。
• 运用算子范数分析和迹不等式来界定关联和子系统性质。
• 采用连通簇展开和热局域性估计来分析关联的衰减。
• 引入量子信念传播和迹不等式来研究子系统熵和互信息。
• 利用杜哈梅尔恒等式和函数演算推导配分函数导数和算子范数的界限。
• 应用浓度不等式（切尔诺夫、贝里-艾森斯）和大偏差理论来分析测量统计和涨落。

实验结果

研究问题

• RQ1 哈密顿量的局域性如何限制热态中关联的衰减？
• RQ2 热系统中条件互信息和关联长度的严格界限是什么？
• RQ3 经典算法在多大程度上能高效计算一维局部哈密顿量的配分函数？
• RQ4 系统与热库之间的强耦合如何影响热态的形式及其局域性？
• RQ5 在热力学极限下，局部系统中不同统计系综之间存在何种关系？

主要发现

• 局部哈密顿量的热态满足热面积律：遥远区域之间的互信息随距离呈指数衰减。
• 关联随距离呈指数衰减，且可通过算子范数和谱隙估计对衰减进行定量界定。
• 给定第三个区域时，两个区域之间的条件互信息呈指数衰减，表明在热力学极限下具有有效马尔可夫性。
• 存在一种经典算法，可高效计算一维配分函数，其时间复杂度在系统尺寸和逆温度下为多项式时间。
• 在温和条件下，对于局部哈密顿量，微正则系综与正则系综在热力学极限下是等价的。
• 在适当的系统-热库相互作用条件下，即使在强耦合下，热态仍保持与吉布斯态局部不可区分。