Continuum limit of gauged tensor network states

本文证明，特定规范张量网络的连续极限是明确定义的，从而产生了一类新的态，适用于直接在连续时空中对规范理论进行非微扰研究。

要点

想象宇宙是建立在一套称为规范理论的不可见且严格的规则之上的。这些规则 dictates 粒子如何相互作用，并确保物理定律无论以何种方式观察都保持一致。将这些规则想象成一个巨大而复杂的拼图，其中每一块都必须与相邻的块完美契合。如果你试图以错误的方式强行放入一块，整个画面就会崩塌。

长期以来，科学家们一直使用一种“像素化”的方法来研究这些拼图，就像电子游戏中的网格一样。他们将空间分割成微小的方格（晶格），并逐个方格地求解这些规则。最近的一项突破表明，一种称为张量网络的特定类型的数字拼图块，非常适合在严格遵守规则的同时解决这些基于网格的拼图。

然而，真实的宇宙并非由像素构成；它是平滑且连续的，就像一条流动的河流。巨大的挑战在于：我们如何将这些完美的基于网格的拼图解决方案转化为平滑、连续且类似河流的解决方案，同时不破坏规则？

这篇题为《规范张量网络态的连续极限》的论文，由 Gertian Roose 和 Erez Zohar 撰写，提出了一种全新的方法来实现这一目标。

核心思想：从网格到平滑河流

作者引入了一种他们称为规范连续张量网络的新数学工具。以下是他们构建它的方法，使用了简单的类比：

1. “虚拟”阴影世界
想象你正试图用一个二维阴影（数学）来描述一个复杂的三维物体（真实宇宙）。在他们的这种方法中，存在一个由不可见场构成的“虚拟”层，它们就像皮影戏中的影子。真实的粒子（物质）和力场（如电力或磁力）与这些不可见的阴影相互作用。奇妙之处在于，这些阴影的构建方式强制现实世界自动遵守严格的规范规则。你无需手动检查规则；阴影的结构确保了规则永远不会被破坏。

2. 平滑网格
此前，科学家们只能让这些“阴影”网络在网格（如方格纸）上工作。这篇论文展示了如何拉伸该网格，直到线条消失，从而创造出平滑、连续的曲面。

• 类比：想象一张由方形像素组成的数字图像。如果你将缩放比例拉得足够大，像素的锯齿状边缘就会消失，你会看到一条平滑的曲线。作者们找到了特定的数学“缩放”方法，将他们的基于网格的拼图块转化为平滑、连续的形状，同时仍然遵守宇宙的严格规则。

3. “高斯定律”安全网
在物理学中，有一条称为高斯定律的规则（规范理论的一部分），它充当安全网。它指出，进入一个房间的“电荷”总量必须等于离开的总量，否则该房间必须为空。

• 作者证明，他们新的平滑、连续的形状始终尊重这一安全网。无论他们如何调整数学，电荷永远不会丢失或凭空产生。这至关重要，因为这意味着他们的方法描述了宇宙中物理上可能的状态。

他们如何检查工作

该论文还讨论了如何实际使用这些新形状来计算事物，例如系统的能量或粒子如何相互作用。

• 生成泛函（“食谱”）：为了获得答案，他们使用一种称为生成泛函的数学“食谱”。将其想象成一份主配料清单。如果你想知道两个粒子如何相互作用，只需稍微调整食谱，看看结果如何变化即可。
• “折叠”技巧：在三维（或包含时间的四维）中计算这些食谱极其困难，就像试图在抛接杂耍的同时解魔方一样。作者提出了一种将问题“折叠”下来的方法。他们表明，可以将复杂的三维计算简化为更简单的二维问题，然后再简化为更简单的一维问题，直到变得可管理。
• “截断”安全阀：在现实世界中，计算有时会失控并产生无穷大的数字（发散）。作者指出，通过限制他们“虚拟阴影”的大小（称为截断的过程），他们自然地阻止了这些无穷大的发生，使数学保持整洁且有限。

这意味着什么（根据论文）

该论文提出了三个主要观点：

1. 存在性：他们已成功从数学上定义了这些平滑且遵守规则的状态是什么样子的。
2. 联系：他们证明了这些平滑状态是科学家已经使用的基于网格状态的天然“连续极限”。换句话说，如果你将基于网格的拼图中的方格变得无限小，你就会得到他们描述的完全相同的结果。
3. 普适性：由于基于网格的版本已知是计算机上描述这些规则的最通用方法，作者怀疑他们新的平滑版本是描述真实、连续宇宙中这些规则的最通用方法。

总结

简而言之，这篇论文在我们要模拟宇宙的当前数字化、像素化方式与我们所观察到的平滑、连续的现实之间架起了一座桥梁。他们创造了一种新型数学“拼图块”，它像河流一样平滑流动，但其构建极其严格，以至于永远无法破坏物理学的基本定律。这为科学家提供了一套新工具，用于研究宇宙最复杂的相互作用，而不会受困于像素化网格的局限性。

技术摘要

技术摘要：规范张量网络态的连续极限

问题陈述
规范理论是现代物理学的基石，描述了标准模型中的相互作用及高维形式对称性。然而，由于其丰富的相图和规范不变可观测量（如威尔逊圈）的非局域性，对规范理论的非微扰研究极具挑战性。虽然格点规范理论已成功利用规范化的投影纠缠对态（gPEPS）提供了一个显式规范不变的框架，但这些态的严格连续极限尚未完全确立。现有的连续张量网络态，如连续矩阵乘积态（CMPS）和连续投影纠缠对态（CPEPS），描述了物质场，但缺乏规范理论所需的显式局域规范不变性。本文通过构建规范化张量网络的定义良好的连续极限来填补这一空白，从而导出一类被称为规范化连续投影纠缠对态（gCPEPS）的新态。

方法论
作者提出了一种显式洛伦兹不变且满足高斯定律约束的 gCPEPS 构造方法。该方法通过以下几个关键步骤进行：

1. 变分定义：该态定义在具有边界 $\partial M$ 的空间流形 $M$ 上，利用辅助复标量场 $\chi$（虚场）与物理物质场 $\phi$ 及规范场 $A$ 耦合的路径积分给出。该态由下式给出：
   $$|\psi_{B,V,J}\rangle = \int \mathcal{D}^2\chi \, B[\chi_{\partial M}] e^{-\int_M d^D x \, \hat{\mathcal{L}}[\hat{A}, \chi, \hat{a}^\dagger, \hat{b}^\dagger]} |0\rangle |s_E\rangle$$
   其中 $\hat{\mathcal{L}}$ 是包含作用于虚场的协变导数 $\hat{D}_\mu$ 的生成拉格朗日量，$|s_E\rangle$ 是电单态。边界泛函 $B$ 确保该态为群单态。

2. 规范不变性验证：作者明确证明，如果生成拉格朗日量和边界泛函在规范群 $G$ 下是单态，则该态满足高斯定律 $\hat{G}^a(x)|\psi\rangle = 0$。这是通过验证产生/湮灭算符及规范场的局域对称变换性质来展示的。

3. 算符表示：为了便于计算，作者引入了一种算符形式，其中虚自由度表示为作用于虚希尔伯特空间上的算符。这涉及定义转移矩阵 $\hat{T}_i$ 和将虚场与物理规范场耦合的虚哈密顿量 $\hat{H}$。在一维情况下，这简化为具有截断虚希尔伯特空间的规范化连续矩阵乘积态（gCMPS），自然地调节了紫外发散。

4. 可观测量计算：提出了两种计算生成泛函和期望值的方法：

   • 微扰展开：对于接近高斯态（在耦合常数 $g$ 下）的态，对生成泛函进行微扰展开。作者概述了如何利用紫外截断或抵消项对这些展开进行重整化，特别是在 $D \leq 3$ 维中。
   • 转移矩阵形式：对于非高斯情况，开发了一种非微扰方法。这涉及将 $D$ 维生成泛函映射为有效算符的 $(D-1)$ 维本征值问题的优化。通过迭代降维，该问题最终映射到一维 CMPS，后者可通过虚希尔伯特空间的截断进行调节。

5. 从离散 gPEPS 推导：本文确立了 gCPEPS 确实是离散规范化 PEPS 的连续极限。从通过格点链接上的二次量子化算符定义的 gPEPS 出发，作者通过耦合到链接变量引入局域规范对称性。通过取格点间距 $a \to 0$ 并适当重标度场，他们恢复了连续 gCPEPS 的定义，证实了所提出的态是最一般规范不变格点态的自然连续推广。

主要贡献与结果

• gCPEPS 的定义：本文定义了一类在连续极限中显式规范不变的新态，将 CPEPS 推广以包含局域规范对称性。
• 连续极限的证明：证明了 gCPEPS 作为离散 gPEPS 序列的连续极限而出现。鉴于近期已证明 gPEPS 是格点上最一般的规范不变态，作者论证了 gCPEPS 代表了连续极限中最一般的规范不变态。
• 计算框架：作者提供了两种计算期望值的不同框架：适用于弱耦合的微扰展开，以及通过降低问题维度从而允许非微扰处理的转移矩阵形式。
• 降维与正则化：工作强调，转移矩阵方法允许将问题迭代地降低到更低维度。在一维中，虚希尔伯特空间的截断作为紫外发散的自然调节器，这一特征通过降维在高维中得以保留，且不破坏规范对称性。
• 向费米子的扩展：指出该形式体系可通过将虚自由度视为格拉斯曼变量或直接在工作算符形式下扩展至费米子物质。

意义与主张
本文声称提供了一个利用张量网络方法直接在连续极限中研究规范理论的严格框架。通过确立 gCPEPS 是 gPEPS 的连续极限，作者指出这些态是连续极限中最一般的规范不变态。其意义在于提供了一种内在尊重规范不变性的非微扰数值假设，有可能绕过传统微扰理论中与规范固定及威尔逊圈非局域性相关的困难。

作者谦逊地指出，虽然连续极限的存在性已得到证明，但关于这些态是否为最一般态的严格证明留待未来工作完成。此外，本文提出了未来的研究方向，包括在此框架内研究可积模型、研究规范化连续张量网络的融合范畴，以及将这些方法应用于规范化矩阵乘积算符以研究连续极限中的对偶性。这项工作并未声称具有即时的实验应用，而是将其定位为对强相互作用规范理论进行非微扰分析的理论工具。