Truncating loopy tensor networks by zero-mode gauge fixing: the $Z_2$ lattice gauge theory at finite temperature

本文介绍了一种用于含环张量网络的无规范固定截断方法，该方法通过分析度量张量的零模来识别并移除冗余的键维，并展示了其在利用 iPEPS 优化二维有限温度 $Z_2$ 格点规范理论纯化过程中的有效性。

要点

以下是用通俗语言和日常类比对该论文的解读。

全局概览：解开一团乱麻

想象你试图描述一个由绳子构成的极其复杂、巨大的三维绳结。在量子物理世界中，这个“绳结”代表了一个由许多相互作用的粒子组成的系统。为了在计算机上模拟这一系统，科学家使用一种称为张量网络的工具。你可以把张量网络想象成该绳结的数字地图，它由许多通过绳子（键）连接的小方块（张量）组成。

问题在于，在二维系统（如一片扁平的粒子层）中，这些网络往往会变得“臃肿”。它们包含隐藏的“信息环”，这些环实际上并没有为图像增添任何新细节，却会让计算机做比实际需要多得多的工作。这就像背着一个装满空水瓶的背包，仅仅因为它们挂在背带上一样。

本文介绍了一种新方法，可以在不丢失任何重要“水”（信息）的情况下缩小背包。

问题：看不见的环

作者 Jacek Dziarmaga 指出，标准的计算机方法往往会忽略这些“看不见的环”。

• 类比：想象一群人手拉手围成一个圆圈。如果你问“谁和谁手拉手？”，计算机可能会认为每个人都是独特的。但在现实中，他们只是同一个圆圈的一部分。计算机将它们视为独立、不同的实体来处理，从而浪费了空间，而实际上它们是冗余的。
• 在论文中，这些被称为“虚拟纠缠环”。它们会膨胀数据的大小（即“键维”），导致计算缓慢且效率低下。

解决方案：“零模”技巧

论文提出了一种巧妙的去除空白空间的方法。其工作原理分步如下：

1. “剪切与检查”法
该方法不是试图一次性修复整个绳结，而是选择网络中的一根特定绳子（键）并暂时将其剪断。

• 类比：想象你有一长串回形针。你剪断其中一个环，将两端拉开。然后你观察这两端，看看它们是否实际上在表达相同的内容。

2. 寻找“幽灵”（零模）
当作者观察被剪断绳子的两端时，他们会计算一个“度量”（衡量两端重叠程度的指标）。

• 类比：有时你会发现，链条的一端只是另一端的“幽灵”。它们在数学上是完全相同的。在物理术语中，这被称为零模。这意味着有一部分信息是 100% 冗余的。就像你的电脑上有两个相同的文件副本；你只需要一个。
• 该方法识别出这个“幽灵”并将其移除，从而缩小绳子的尺寸（降低键维）。

3. 如果没有完美的“幽灵”怎么办？
有时，两端并非完全相同，但几乎相同（就像一张略微模糊的副本）。

• 类比：想象你有一张照片，它与另一张照片 99% 相同。该方法不仅寻找完美匹配，还会找到“幽灵”的“最佳可能近似值”。它将几个“最模糊”的副本混合在一起，创建一个单一的、清晰的版本来代表它们所有。
• 这使得计算机即使在冗余不完美时也能丢弃多余数据，从而显著减少误差。

为何优于旧方法

通常，当科学家想要压缩这些网络时，会使用一种称为SVD（奇异值分解）的标准工具。

• 类比：标准的 SVD 就像用一把普通的剪刀去剪绳结。它能起作用，但可能会留下很多松散的线头，或者剪错地方，导致绳结依然凌乱。
• 新方法（ZMT）：新方法就像使用激光切割机，它会先扫描绳结，精确找到绳子松散和冗余的位置。它只剪掉无用的部分。

结果：
当作者在特定的物理模型（有限温度下的Z2 晶格规范理论）上测试该方法时，新方法产生的误差比旧方法小 10 倍。

• 类比：如果旧方法像是拍摄一张模糊的风景照，那么新方法就是用相同的内存存储空间，拍摄同一张风景的清晰照片。

“无需准备”的优势

该方法最酷的特点之一是它不需要“规范固定”。

• 类比：想象你试图测量一个房间，但墙壁上画着令人困惑的图案，让你难以分辨哪边是上。通常，你必须先重新粉刷墙壁（规范固定）才能进行测量。而新方法就像一把尺子，无论图案如何都能完美工作。它“开箱即用”，使过程更快，且更不易出现人为错误。

总结

本文提出了一种压缩复杂量子数据的更智能的方法。通过发现并去除标准方法所忽略的“幽灵”信息（冗余环），作者能够以更低的计算功耗和更高的精度模拟复杂的物理系统。这是一种解开量子世界绳结的更高效方式。

技术摘要

技术摘要：通过零模规范固定截断含环张量网络

问题陈述
张量网络（TN）方法，如投影纠缠对态（PEPS），是模拟二维强关联量子多体系统的有力工具。然而，PEPS 中闭合环的存在使得局部张量优化效果不佳。这些环引入了内部关联，标准局部程序无法完全捕捉这些关联，往往导致压缩效率低下，其中键维数因与物理指标解耦的虚拟纠缠环而被人为放大。虽然先前的工作（参考文献 31）提出了一种解决此问题的方法，但现有公式需要精确界定这些环，且缺乏在规范指标局部变换下的有效规范不变性。

方法论：零模截断（ZMT）
本文提出了一种改进算法——零模截断（ZMT），用于识别并消除构成张量网络键的态之间的线性依赖关系，从而在不预先进行规范固定的情况下降低键维数。

1. 线性依赖的识别：该方法首先“切断”网络中的特定键，以定义一组态 $|\psi_{ij}\rangle$。这些态的重叠定义了一个度规张量 $g_{ij,i'j'} = \langle \psi_{ij} | \psi_{i'j'} \rangle$。
2. 零模利用：如果度规张量存在精确的零模 $Z$（满足 $\sum g Z = 0$），则意味着存在线性依赖 $\sum Z_{ij} |\psi_{ij}\rangle = 0$。这种依赖引入了规范自由度，允许将态重写为奇异矩阵，进而通过奇异值分解（SVD）进行截断，将键维数减少一。
3. 推广至近零模：在实际场景中，若不存在精确零模（即最小特征值非零但很小），该方法构建一个试探解 $Z_{ij}$，作为度规张量 $\kappa$ 个最低特征模的线性组合。
4. 变分优化：利用共轭梯度法优化该线性组合的系数，以最小化代表截断误差的成本函数。该误差定义为截断前后态之差的范数平方。
5. 规范不变性：该算法被证明具有有效的规范不变性。最优截断子空间及由此产生的特征值在标准张量网络规范变换下保持不变，这意味着在应用截断之前无需显式的规范固定。

应用与结果
该方法被应用于正方形格点上二维 $Z_2$ 晶格规范理论的热态。热态表示为通过虚时演化（纯化）获得的无限投影纠缠对态（iPEPS）。

• 基准测试：将 ZMT 的性能与基于标准 SVD 的截断进行了比较。
• 截断误差：结果表明，ZMT 产生的截断误差显著更低。具体而言，ZMT 优化后的最终截断误差比使用标准 SVD 初始化随后进行优化所得到的误差小约一个数量级。
• 初始与最终误差：值得注意的是，即使在 ZMT 方案中，初始截断误差（在零模识别之后、变分优化之前）也低于 SVD 方案在演化后期阶段的最终误差。

主要贡献与意义
本文声称提出了一种比参考文献 31 中引入的方法更高效且更具规范不变性的版本。主要贡献包括：

• 算法简化：新公式相比其前身显著简化了算法。
• 规范不变性：该方法无需预先进行规范固定即可有效运行，因为最优截断本质上是规范不变的。
• 务实方法：该方法不试图精确定义难以捉摸的虚拟环，而是采取务实的方法：选择一个键，通过度规张量检查局部态依赖关系，并基于识别出的（近）零模进行截断。
• 性能：在 $Z_2$ 晶格规范理论上的应用验证了该方法，显示与标准技术相比，截断误差大幅降低，从而提高了在存在环关联情况下 PEPS 表示的表现力和效率。

该工作得出结论：通过利用关于环关联的局部可用信息并进行零模规范固定，可以显著改善局部键优化，为模拟晶格规范理论中的热态提供了一个稳健的工具。