[论文解读] Matrix Product State Representations

David Pérez-Garcı́a, Frank Verstraete+2 more|ArXiv.org|Aug 25, 2006

Spectroscopy and Quantum Chemical Studies被引用 26

一句话总结

本文对纯量子多体态的矩阵乘积态（MPS）表示进行了全面的理论分析，为具有或不具有平移不变性的开边界和周期性边界条件建立了规范形式。证明了在局部哈密顿量下，通用MPS的基态具有唯一性，并表明具有有限纠缠（有界键维数）的量子线路可被经典高效模拟，凸显了纠缠在量子优势中的关键作用。

ABSTRACT

This work gives a detailed investigation of matrix product state (MPS) representations for pure multipartite quantum states. We determine the freedom in representations with and without translation symmetry, derive respective canonical forms and provide efficient methods for obtaining them. Results on frustration free Hamiltonians and the generation of MPS are extended, and the use of the MPS-representation for classical simulations of quantum systems is discussed.

研究动机与目标

• 为具有或不具有平移不变性的有限量子系统，提供MPS表示中自由度的完整刻画。
• 推导开边界和周期性边界条件下MPS的规范形式，实现唯一且高效的态表示。
• 建立MPS作为局部哈密顿量精确基态的条件，包括唯一性与能隙性质。
• 证明具有低纠缠（有界键维数）的量子线路可被经典高效模拟，阐明纠缠在量子加速中的作用。
• 统一并拓展基于MPS的变分方法、母哈密顿量与顺序态制备的相关结果。

提出的方法

• 通过转移算符的广义若尔当代换分解推导规范MPS形式，利用矩阵乘积结构与CP映射处理平移不变系统。
• 应用有限相关态理论将MPS分类为遍历与周期性分量，实现唯一分解。
• 通过局部投影算子构造任意MPS的母哈密顿量，证明在通用条件下基态具有唯一性。
• 结合价键图像与矩阵乘积结构，关联MPS与纠缠及关联性质。
• 应用基于交替最小二乘法的变分算法优化MPS近似，其复杂度在键维数上为多项式资源有界。
• 通过证明当键维数D为N的多项式时，期望值与测量结果可在多项式时间内计算，实现量子线路的经典模拟。

实验结果

研究问题

• RQ1 如何完整刻画通过MPS表示给定量子态的自由度？如何将其约化为规范形式？
• RQ2 在何种条件下，局部哈密顿量的基态可被MPS唯一表示？何时会出现简并？
• RQ3 MPS能否高效近似一维量子系统的基态？需要何种纠缠标度？
• RQ4 在何种程度上，具有有限纠缠的量子线路可被经典模拟？键维数起何作用？
• RQ5 如何利用MPS顺序生成多体纠缠态？其实验可行性条件为何？

主要发现

• 对于任意具有开边界条件的MPS，在转移算符具有唯一最大本征值的条件下，存在唯一规范形式。
• 对于具有周期性边界条件的平移不变系统，态可被唯一分解为遍历与周期性分量的叠加，每一分量均可表示为规范形式。
• 若转移算符满足通用条件（C1），则由MPS构造的母哈密顿量的基态在有限系统中（无需取热力学极限）也具有唯一性。
• 若键维数D随系统尺寸N多项式增长，则此类态上的测量基量子计算可在O(poly(N))时间内被经典模拟。
• 若MPS的键维数保持有界，且每个量子比特参与的两比特门数不超过O(log N)，则此类量子线路可在O(poly(N))时间内被经典模拟。
• 基于交替最小二乘法的变分MPS方法在实践中高效，尽管由于非凸性，最坏情况复杂度可能为NP难。