[论文解读] On the informational completeness of local observables

Isaac H. Kim|arXiv (Cornell University)|May 1, 2014

Quantum Information and Cryptography参考文献 1被引用 15

一句话总结

该论文证明，在二维具有能隙的量子多体系统中，只要条件互信息较小，所有可观测量（包括非局域可观测量）的期望值均可由局部约化密度矩阵完全确定。关键结果是一个迹距离界（公式1），该界仅通过局部测量即可认证全局态的保真度，从而在面积律假设下实现高效的态验证与层析成像。

ABSTRACT

For a general multipartite quantum state, we formulate a locally checkable condition, under which the expectation values of certain nonlocal observables are completely determined by the expectation values of some local observables. The condition is satisfied by ground states of gapped quantum many-body systems in two spatial dimensions, assuming a widely conjectured form of area law is correct. Its implications on the studies of gapped quantum many-body systems, quantum state tomography, and quantum state verification are discussed. These results are based on a partial characterization of states with small yet nonzero conditional mutual information, which may be of independent interest.

研究动机与目标

• 建立局部可观测量对量子多体系统实现信息完备性的条件。
• 通过识别一种物理上合理的结构——面积律，缓解量子多体系统希尔伯特空间维度指数增长的挑战，从而降低复杂度。
• 在不依赖变分波函数的前提下，为全局态重构与验证提供严格且局部的认证方法。
• 证明即使在长程纠缠态下，只要满足面积律，仍可从局部数据忠实重构全局态。
• 通过单一信息理论框架，统一量子态层析成像、验证与多体物理领域的洞见。

提出的方法

• 引入一个迹距离界（公式1），将全局态差异与局部约化密度矩阵关联：$||\rho - \sigma||_1 \leq \epsilon(\{\rho_{S_i}\})$。
• 利用条件互信息推导出迹距离的局部可计算上界，该上界在小扰动下保持稳定。
• 将该界应用于三体系统，其中状态近似条件独立，即 $I(A:C|B) \approx 0$。
• 结合冯·诺依曼熵的强次可加性与佩茨的重建公式，刻画条件互信息较小的态。
• 利用二维系统中的面积律，证明条件互信息随系统尺寸衰减，从而实现可局部检验的条件。
• 证明：若局部约化密度矩阵一致且界 $\epsilon$ 较小，则全局态可被唯一且准确重构。

实验结果

研究问题

• RQ1 在何种条件下，量子多体系统的全局态可完全由其局部约化密度矩阵重构？
• RQ2 如何仅通过局部测量数据来认证全局态重构的准确性？
• RQ3 面积律在多大程度上意味着二维能隙系统中局部可观测量的信息完备性？
• RQ4 尽管存在非局域关联，长程纠缠态是否仍可从局部数据中忠实重构？
• RQ5 条件互信息在从局部信息表征全局态方面起何种作用？

主要发现

• 推导出一个迹距离界（公式1），只要条件互信息较小，即可通过局部约化密度矩阵以高保真度重构全局态。
• 界 $\epsilon(\{\rho_{S_i}\})$ 仅依赖于局部数据，且无需全局态知识即可计算，从而实现实际可操作的验证。
• 对于满足面积律的二维能隙系统，条件互信息随系统尺寸衰减，确保界 $\epsilon$ 较小，从而使局部数据具备信息完备性。
• 该结果即使对长程纠缠态（$\gamma > 0$）依然成立，表明非局域关联并不妨碍从局部数据重构全局态。
• 在所推导条件下，局部约化密度矩阵的等价性蕴含全局态的等价性，为能隙基态建立了一种新的等价关系。
• 该方法实现了高效的量子态验证：若局部数据与目标态一致且 $\epsilon$ 较小，则制备态与目标态接近。