精确计算量子多体系统的性质是现代物理学和计算机科学中最重要的但也是最复杂的挑战之一。近年来,张量网络假设已成为最有前途的方法之一,能够以惊人的效率模拟一维系统的静态性质,并在凝聚态理论中拥有丰富的数值应用。然而,在更高维度上,与计算复杂性理论领域的联系表明,称为投影纠缠对态 (PEPS) 的二维张量网络的精确归一化是 # P 完全的。因此,PEPS 收缩的有效算法将允许解决极其困难的组合计数问题,这被认为是极不可能的。由于理解二维和三维系统的重要性,目前仍然存在的问题是:已知的典型状态结构是否与量子多体系统相关?在这项工作中,我们表明,对于典型实例,准确评估 PEPS 的规范化或期望值与计算难度最高的特殊配置一样困难。我们讨论了平均情况难度的结构特性与当前尝试张量网络收缩的有效算法研究的关系,这暗示了对量子多体理论中重要问题的平均情况难度的大量可能的进一步见解。
主要关键词